Tue, 10 Jun 2014

15:45 - 16:45
L4

What is the [Categorical] Weil Representation?

Shamgar Gurevich
(University of Wisconsin - Madison)
Abstract
The Weil representation is a central object in mathematics responsible for many important results. Given a symplectic vector space V over a finite field (of odd characteristic) one can construct a "quantum" Hilbert space H(L) attached to a Lagrangian subspace L in V. In addition, one can construct a Fourier Transform F(M,L): H(L)→H(M), for every pair of Lagrangians (L,M), such that F(N,M)F(M,L)=F(N,L), for every triples (L,M,N) of Lagrangians. This can be used to obtain a natural “quantum" space H(V) acted by the symplectic group Sp(V), obtaining the Weil representation. In the lecture I will give elementary introduction to the above constructions, and discuss the categorification of these Fourier transforms, what is the related sign problem, and what is its solution. The outcome is a natural category acted by the algebraic group G=Sp, obtaining the categorical Weil representation. The sign problem was worked together with Ofer Gabber (IHES).
Thu, 05 Jun 2014

14:00 - 16:00
L4

Motivic L-functions

Prof. Minhyong Kim
(Mathematical Institute)
Abstract

This talk will be a brief introduction to some standard conjectures surrounding motivic L-functions, which might be viewed as the arithmetic motivation for Langlands reciprocity.

Thu, 29 May 2014

14:00 - 16:00
L4

The Ran space and contractibility of the space of rational maps

Emily Cliff
Abstract

We will define the Ran space as well as Ran space versions of some of the prestacks we've already seen, and explain what is meant by the homology of a prestack. Following Gaitsgory and possibly Drinfeld, we'll show how the Ran space machinery can be used to prove that the space of rational maps is homologically contractible.

Thu, 15 May 2014

14:00 - 16:00
L4

D-modules on prestacks

Nick Cooney
(Mathematical Insitute, Oxford)
Abstract

This talk will be an introduction to the notion of D-modules on

prestacks. We will begin by discussing Grothendieck's definition of

crystals of quasi-coherent sheaves on a smooth scheme X, and briefly

indicate how the category of such objects is equivalent to that of

modules over the sheaf of differential operators on X. We will then

explain what we mean by a prestack and define the category of

quasi-coherent sheaves on them. Finally, we consider how the

crystalline approach may be used to give a suitable generalization

of D-modules to this derived setting.

Tue, 13 May 2014

14:00 - 15:00
L4

The Crepant Transformation Conjecture and Fourier--Mukai Transforms

Tom Coates
(Imperial College London)
Abstract

Suppose that X and Y are Kahler manifolds or orbifolds which are related by a crepant resolution or flop F.  It is expected that the Gromov--Witten potentials of X and Y should be related by analytic continuation in Kahler parameters combined with a linear symplectomorphism between Givental's symplectic spaces for X and Y.  This linear symplectomorphism is expected to coincide, in a precise sense which I will explain, with the Fourier--Mukai transform on K-theory induced by F.  In this talk I will prove these conjectures, as well as their torus-equivariant generalizations, in the case where X and Y are toric.  
This is joint work with Hiroshi Iritani and Yunfeng Jian
Thu, 08 May 2014

14:00 - 16:00
L4

An introduction to infinity categories.

Tobias Dyckerhoff
Abstract

Infinity categories simultaneously generalize topological spaces and categories. As a result, their study benefits from a combination of techniques from homotopy theory and category theory. While the theory of ordinary categories provides a suitable context to analyze objects up to isomorphism (e.g. abelian groups), the theory of infinity categories provides a reasonable framework to study objects up to a weaker concept of identification (e.g. complexes of abelian groups). In the talk, we will introduce infinity categories from scratch, mention some of the fundamental results, and try to illustrate some features in concrete examples.

Tue, 27 May 2014

14:00 - 15:00
L4

Morse theory in representation theory and algebraic geometry

Thomas Nevins
(University of Illinois at Urbana Champaign)
Abstract

Hamiltonian reduction arose as a mechanism for reducing complexity of systems in mechanics, but it also provides a tool for constructing complicated but interesting objects from simpler ones. I will illustrate how this works in representation theory and algebraic geometry via examples. I will describe a new structure theory, motivated by Hamiltonian reduction (and in particular the Morse theory that results), for some categories (of D-modules) of interest to representation theorists. I will then explain how this implies a modified form of "hyperkahler Kirwan surjectivity" for the cohomology of certain Hamiltonian reductions. The talk will not assume that members of the audience know the meaning of any of the above-mentioned terms. The talk is based on joint work with K. McGerty.

Thu, 01 May 2014

14:00 - 16:00
L4

The geometric Langlands conjecture

Dario Baraldo
(University of Oxford)
Abstract
In the first meeting of this reading group, I will begin with an overview of the statement of the geometric Langlands conjecture. Then, following Arinkin and Gaitsgory, I will outline a strategy of the proof in the case of GL_n. Some ingredients of the proof are direct translations of number theoretic constructions, while others are specific to the geometric situation. No prior familiarity with the subject is assumed. However, a number of technical tools is necessary for both the statement and the proof; in this talk I intend to list these tools (to be explained in future talks) and motivate why they are essential.
Tue, 17 Jun 2014

15:45 - 16:45
L4

Torus action and Segre classes in the context of the Green-Griffiths conjecture

Lionel Darondeau
(Universite Paris-Sud)
Abstract

The goal of this second talk is to study the existence of global jet differentials. Thanks to the algebraic Morse inequalities, the problem reduces to the computation of a certain Chern number on the Demailly tower of projectivized jet bundles. We will describe the significant simplification due to Berczi consisting in integrating along the fibers of this tower by mean of an iterated residue formula. Beside the original argument coming from equivariant geometry, we will explain our alternative proof of such a formula and we will particularly be interested in the interplay between the two approaches.

Subscribe to L4