Related papers: Between Coherent and Constructible Local Langlands…

We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

The paper studies representation theoretic aspects of a nonabelian version of the Jacobian for a smooth complex projective surface $X$ introduced in [R1]. The sheaf of reductive Lie algebras $\bf\calG$ associated to the nonabelian Jacobian…

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…

Let G be a reductive p-adic group. We study how a local Langlands correspondence for irreducible tempered G-representations can be extended to a local Langlands correspondence for all irreducible smooth representations of G. We prove that,…

We study the intermediate extension of the character sheaves on an adjoint group to the semi-stable locus of its wonderful compactification. We show that the intermediate extension can be described by a direct image construction. As a…

We consider four classes of classical groups over a non-archimedean local field F: symplectic, (special) orthogonal, general (s)pin and unitary. These groups need not be quasi-split over F. The main goal of the paper is to obtain a local…

Local connection forms provide a very useful tool for handling connections on principal bundles, because they ignore any complexities of the total space and, essentially, involve only two fundamental features of the structure group, namely…

We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…

We introduce graded Hecke algebras H based on a (possibly disconnected) complex reductive group G and a cuspidal local system L on a unipotent orbit of a Levi subgroup M of G. These generalize the graded Hecke algebras defined and…

On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex…

The coherent-constructible correspondence is a realization of toric mirror symmetry in which the A-side is modeled by constructible sheaves on $T^n$. This paper provides a geometric realization of the mirror Picard group action in this…

We introduce and survey a Betti form of the geometric Langlands conjecture, parallel to the de Rham form developed by Beilinson-Drinfeld and Arinkin-Gaitsgory, and the Dolbeault form of Donagi-Pantev, and inspired by the work of…

The geometric Langlands correspondence for complex algebraic curves differs from the original Langlands correspondence for number fields in that it is formulated in terms of sheaves rather than functions (in the intermediate case of curves…

We construct the geometric Langlands functor in one direction (from the automorphic to the spectral side) in characteristic zero settings (i.e., de Rham and Betti). We prove that various forms of the conjecture (de Rham vs Betti, restricted…

In an earlier paper, we considered several restriction problems in the representation theory of classical groups over local and global fields. Assuming the Langlands-Vogan parameterization of irreducible representations, we formulated…

The nonequivariant coherent-costructible correspondence is a microlocal-geometric interpretation of homological mirror symmetry for toric varieties conjectured by Fang-Liu-Treumann-Zaslow. We prove a generalization of this conjecture for a…

We prove that various morphisms related to the six Grothendieck operations on sheaves become isomorphisms when restricted to (weakly) constructible sheaves. To this end, we first study some properties of weakly cohomologically constructible…

In this paper, we consider how the approach of Bezrukavnikov and Kaledin to understanding the categories of coherent sheaves on symplectic resolutions can be applied to the Coulomb branches introduced by Braverman, Finkelberg and Nakajima.…

Symplectic vector spaces are the phase spaces of linear mechanical systems. The symplectic form describes, for example, the relation between position and momentum as well as current and voltage. The category of linear Lagrangian relations…