Preface Pitt, D Curien, P Abramsky, S Pitts, A Poigne, A Rydeheard, D (01 Jan 1991)
Quantales, observational logic and process semantics
Abramsky, S Vickers, S Mathematical Structures in Computer Science volume 3 issue 2 161-227 (04 Jun 1993)
The theory of strictness analysis for higher order functions
Burn, G Hankin, C Abramsky, S Lecture Notes in Computer Science volume 217 42-62 (29 May 1986)
Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings
Pitt, D Curien, P Abramsky, S Pitts, A Poigne, A Rydeheard, D Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 530 LNCS (01 Jan 1991)
Preface Abramsky, S Maibaum, T (01 Jan 1991)
Study of a Hall thruster discharge with an intermediate electrode
Parra, F Ahedo, E 39th AIAA/ASME/SAE/ASEE Joint Propulsion Conference and Exhibit (01 Dec 2003)
Mon, 26 Nov 2018

14:15 - 15:15
L4

Amplituhedron meets Jeffrey-Kirwan residue

Tomasz Lukowski
(University of Hertfordshire)
Abstract

Amplituhedra are mathematical objects generalising the notion of polytopes into the Grassmannian. Proposed as a geometric construction encoding scattering amplitudes in the four-dimensional maximally supersymmetric Yang-Mills theory, they are mathematically interesting objects on their own. In my talk I strengthen the relation between scattering amplitudes and geometry by linking the amplituhedron to the Jeffrey-Kirwan residue, a powerful concept in symplectic and algebraic geometry. I focus on a particular class of amplituhedra in any dimension, namely cyclic polytopes, and their even-dimensional
conjugates. I show how the Jeffrey-Kirwan residue prescription allows to extract the correct amplituhedron canonical differential form in all these cases. Notably, this also naturally exposes the rich combinatorial structures of amplituhedra, such as their regular triangulations

Mon, 29 Oct 2018

14:15 - 15:15
L4

Differentiable chiral and factorisation algebras

Kobi Kremnitzer
(Oxford)
Abstract

The Beilinson-Drinfeld Grassmannian, which classifies a G-bundle trivialised away from a finite set of points on a curve, is one of the basic objects in the geometric Langlands programme. Similar construction in higher dimensions in the algebraic and analytic settings are not very interesting because of Hartogs' theorem. In this talk I will discuss a differentiable version. I will also explain a theory of D-modules on differentiable spaces and use it
to define differentiable chiral and factorisation algebras. By linearising the Grassmannian we get examples of differentiable chiral algebras. This is joint work with Dennis Borisov.

 

Subscribe to