BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Dennis Gaitsgory appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This is the final paper in the series of five, in which we prove the geometric Langlands conjecture (GLC). We conclude the proof of GLC by showing that there exists a unique (up to tensoring up by a vector space) Hecke eigensheaf corresponding to an irreducible local system (hence, the title of the paper). We achieve this by analyzing the geometry of the stack of local systems.
This note corrects a certain construction in (the old version of) the paper [GL]. The construction in question starts from a Brylinski-Deligne datum, which is an extension of a group G by K_2, and produces a factorization line bundle on the affine Grassmannian of the group G.
We sketch a proof of a conjecture of [FFKM] that relates the geometric Eisenstein series sheaf with semi-infinite cohomology of the small quantum group with coefficients in the tilting module for the big quantum group.
This is an informal note that explains that the classical Langlands theory over function fields can be obtained from the geometric one by taking the trace of Frobenius. The operation of taking the trace of Frobenius takes place at the categorical level, and this we deduce that the space of automorphic functions is the trace of the Frobenius on the category of automorphic sheaves.
These are informal notes written in 2007 that outline the local and global quantum Langlands program. (I decided to make them public in view of the revived interest in the subject.)
The is the English version of the text of the talk at Séminaire Bourbaki on February 16, 2016
This short note is an erratum to arXiv:1306.4304, correcting the proof of one of its main results. It includes some counterexamples regarding infinite-dimensional unipotent groups and affine spaces that may be of independent interest.
The goal of the paper is to show that the (derived) category of D-modules on the stack Bun_G(X) is compactly generated. Here X is a smooth complete curve, and G is a reductive group. The problem is that Bun_G(X) is not quasi-compact, so the above compact generation is not automatic. The proof is based on the following observation: Bun_G(X) can be written as a union of quasi-compact open substacks, which are "co-truncative", i.e., the j_! extension functor is defined on the entire category of D-modules.
Let X_1 and X_2 be schemes of finite type over a field of characteristic 0. Let Q be an object in the category D-mod(X_1\times X_2) and consider the functor F:D-mod(X_1)->Dmod(X_2) defined by Q. Assume that F admits a right adjoint also defined by an object P in D-mod(X_1\times X_2). The question that we pose and answer in this paper is how P is related to the Verdier dual of Q. We subsequently generalize this question to the case when X_1 and X_2 are no longer schemes but Artin stacks, where the situation becomes much more interesting.
We develop the notion of crystal in the context of derived algebraic geometry, and to connect crystals to more classical objects such as D-modules.
We give a new proof of Braden's theorem ([Br]) about \emph{hyperbolic restrictions} of constructible sheaves/D-modules. The main geometric ingredient in the proof is a 1-parameter family that degenerates a given scheme Z equipped with a G_m-action to the product of the attractor and repeller loci.
We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.
We define the notion of 1-affineness for a prestack, and prove an array of results that establish 1-affineness of certain types of prestacks.
We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.
We define an algebro-geometric model for the space of rational maps from a smooth curve X to an algebraic group G, and show that this space is homologically contractible. As a consequence, we deduce that the moduli space Bun(G) of G-bundles on X is uniformized by the appropriate rational version of the affine Grassmannian, where the uniformizing map has contractible fibers.
We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the formulation of the categorical Geometric Langlands Correspondence.
We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of quasi-coherent sheaves is continuous.
Let $X$ be an algebraic variety, $f$ a regular function, $j:U\subset X$ the complement to the locus of vanishing of $f$, and $M$ a holonomic D-module on $U$. Consider the $D_U[s]$-module $M\otimes "f^s"$. The goal of this note is to describe all $D_X[s]$-submodules $N\subset j_*(M\otimes "f^s")$ such that $j^*(N)\simeq M\otimes "f^s"$.
We extend the theory of chiral and factorization algebras, developed for curves by Beilinson and Drinfeld in \cite{bd}, to higher-dimensional varieties. This extension entails the development of the homotopy theory of chiral and factorization structures, in a sense analogous to Quillen's homotopy theory of differential graded Lie algebras. We prove the equivalence of higher-dimensional chiral and factorization algebras by embedding factorization algebras into a larger category of chiral commutative coalgebras, then realizing this interrelation as a chiral form of Koszul duality. We apply these techniques to rederive some fundamental results of \cite{bd} on chiral enveloping algebras of $\star$-Lie algebras.