Related papers: Singular support of coherent sheaves, and the geom…

We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…

We establish part of the statement of the geometric Langlands conjecture for l-adic sheaves over a field of positive characteristic. Namely, we show that the category of automorphic sheaves with nilpotent singular support is equivalent to…

We formulate a few conjectures on some hypothetical coherent sheaves on the stacks of arithmetic local Langlands parameters, including their roles played in the local-global compatibility in the Langlands program. We survey some known…

We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…

Let X be a smooth, complete, geometrically connected curve over a field of characteristic p. The geometric Langlands conjecture states that to each irreducible rank n local system E on X one can attach a perverse sheaf on the moduli stack…

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…

We introduce and study configuration schemes, which are obtained by ``glueing'' usual schemes along closed embeddings. The category of coherent sheaves on a configuration scheme is investigated. Smooth configuration schemes provide…

We develop a theory of singular support for various infinite dimensional stacks and establish several functoriality properties. Then we apply this theory to compute the singular support of the Grothendieck-Springer affine Springer sheaf and…

The paper contains general results on the uniqueness of a DG enhancement for triangulated categories. As a consequence we obtain such uniqueness for the unbounded categories of quasi-coherent sheaves, for the triangulated categories of…

We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and…

We compute the singular support and the characteristic cycle of a rank 1 sheaf on a smooth variety in codimension 2 using ramification theory, when the ramification of the sheaf is clean. We develop a general theory, called the partially…

We develop the theory of ind-geometric stacks, in particular their coherent and ind-coherent sheaf theory. This provides a convenient framework for working with equivariant sheaves on ind-schemes, especially in derived settings. Motivating…

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…

Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…

Recently, the singular support and the characteristic cycle of an \'etale sheaf on a smooth variety over a perfect field are constructed by Beilinson and Saito, respectively. In this article, we extend the singular support to a relative…

Let $G$ be a semisimple adjoint group over $\bold C$ and $\bar{G}$ be the De Concini-Procesi completion of $G$. In this paper, we define a Lagrangian subvariety $\Lambda$ of the cotangent bundle of $\bar{G}$ such that the singular support…

The recent proof of the unramified Geometric Langlands Conjecture has attracted a lot of publicity, so this seems like a good time to address the title question. In one line, the Geometric Langlands correspondence is an algebraic spectral…

We prove stability of logarithmic tangent sheaves of singular hypersurfaces D of the projective space with constraints on the dimension and degree of the singularities of D. As main application, we prove that determinants and symmetric…

Refined forms of the local Langlands correspondence seek to relate representations of reductive groups over local fields with sheaves on stacks of Langlands parameters. But what kind of sheaves? Conjectures in the spirit of Kazhdan-Lusztig…