Related papers: Coherent sheaves on the stack of Langlands paramet…

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.

In this paper, we prove that there is at most one correspondence between parahoric-spherical representations and semisimple local Langlands parameters which satisfies certain natural properties. Our proof of this uniqueness statement is…

We apply the technique of S^1-equivariant localization to sheaves on loop spaces in derived algebraic geometry, and obtain a fundamental link between two families of categories at the heart of geometric representation theory. Namely, we…

Special kinds of rank 2 vector bundles with (possibly irregular) connections on P^1 are considered. We construct an equivalence between the derived category of quasi-coherent sheaves on the moduli stack of such bundles and the derived…

In math.RT/0201073 we constructed an equivalence between the derived category of equivariant coherent sheaves on the cotangent bundle to the flag variety of a simple algebraic group and a (quotient of) the category of constructible sheaves…

For a reductive group over a nonarchimedean local field, we define the stack of spherical Langlands parameters, using the inertia-invariants of the Langlands dual group. This generalizes the stack of unramified Langlands parameters in case…

We relate a coherent sheaf supported on a holomorphic curve with its mirror Langrangian submanifold in local mirror symmetry through a tropical curve by interpreting their central charges using the combinatorial information of the tropical…

The spectral side of the (conjectural) Betti geometric Langlands correspondence concerns sheaves on the character stack of an algebraic curve; in particular, the categories in question are manifestly invariant under deformations of the…

As data grows in size and complexity, finding frameworks which aid in interpretation and analysis has become critical. This is particularly true when data comes from complex systems where extensive structure is available, but must be drawn…

In this paper we prove the existence of an algebraic model for quasi-coherent sheaves on certain non-connective geometric stacks arising in stable homotopy theory and spectral algebraic geometry using the machinery of adapted homology…

We extend the categorical geometric Langlands correspondence from the locus of opers in the stack of de Rham local systems on a smooth projective algebraic curve to the formal neighborhood of opers (for any semi-simple complex algebraic…

We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.

We formulate some refinements and complements to the categorical local Langlands conjecture of Fargues-Scholze. In particular, we state the expected compatibilities with Eisenstein series and duality, and explain some of their consequences.…

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…

Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…

We survey old and new results on the existence of moduli spaces of semistable coherent sheaves both in algebraic and in complex geometry.

Many structured systems admit locally consistent descriptions that nevertheless fail to globalize when constrained by an ambient reference or feasibility condition. Diagnosing such failures is naturally an evaluative problem: given a fixed…

Let G be a reductive groups over an algebraically closed field k. Let P^{(i)} be associated parabolic subgroups, and X^{(i)}:=T^*G/P^i. The bounded derived categories of coherent sheaves on X^{(i)} are equivalent, but there is no canonical…

We give classifications of linear orbits of pairs of square matrices with non-vanishing discriminant polynomials over a field in terms of certain coherent sheaves with additional data on closed subschemes of the projective line. Our results…