Search

We establish a derived geometric Satake equivalence for the real group $G_{\mathbb R}=PSO(2n-1,1)$ (resp. $PE_6(F_4)$), to be called the Lorentzian Satake equivalence (resp. Octonionic Satake equivalence). By applying the real-symmetric correspondence for affine Grassmannians, we obtain a derived geometric Satake equivalence for the splitting rank symmetric variety $X=PSO_{2n}/SO_{2n-1}$ (resp. $PE_6/F_4$). As an application, we compute the stalks of the $\text{IC}$-complexes for spherical orbit closures in the real affine Grassmannian for $G_{\mathbb R}$ and the loop space of $X$. We show the stalks are given by the Kostka-Foulkes polynomials for $GL_2$ (resp. $GL_3$) but with $q$ replaced by $q^{n-1}$ (resp. $q^4$).

From a stable vector of a stable grading on a simple Lie algebra, Yun defined a rigid automorphic datum that encodes a epipelagic representation, and also an irregular connection on the projective line called $\theta$-connection. We show that under geometric Langlands correspondence, $\theta$-connection corresponds to the Hecke eigensheaf attached the rigid automorphic datum, assuming the stable grading is inner and its Kac coordinate $s_0$ is positive. We provide numerous applications of the main result including physical and cohomological rigidity of $\theta$-connections, global oper structures, and a de Rham analog of Reeder-Yu's predictions on epipelagic Langlands parameters., Comment: 29 pages. Add a section on local monodromy at zero, and clarify some ambiguity on the Kac coordinate assumption

In this paper we give a description of the depth-$r$ Bernstein center for non-negative integers $r$ of a reductive simply connected group $G$ over a non-archimedean local field as a limit of depth-$r$ standard parahoric Hecke algebras. Using the description, we construct maps from the algebra of stable functions on the $r$-th Moy-Prasad filtration quotient of hyperspecial parahorics to the depth-$r$ Bernstein center and use them to attach to each depth-$r$ irreducible representation $\pi$ an invariant $\theta(\pi)$, called the depth-$r$ Deligne-Lusztig parameter of $\pi$. We show that $\theta(\pi)$ is equal to the semi-simple part of minimal $K$-types of $\pi$., Comment: 38 pages

Let $G_\mathbb R$ be a connected real reductive group and let $X$ be the corresponding complex symmetric variety under the Cartan bijection. We construct a canonical equivalence between the relative Satake category of $G(\mathcal O)$-equivariant $\mathbb C$-constructible complexes on the loop space of $X$ and the real Satake category of $G_\mathbb R(\mathcal O_\mathbb R)$-equivariant $\mathbb C$-constructible complexes on the real affine Grassmannian. We show that the equivalence is $t$-exact with respect to the natural perverse $t$-structures and is compatible with the fusion products and Hecke actions. We further show that the relative Satake category is equivalent to the category of $\mathbb C$-constructible complexes on the moduli stack of $G_\mathbb R$-bundles on the real projective line $\mathbb P^1(\mathbb R)$ and hence provides a connection between the relative Langlands program and the geometric Langlands program for real groups. We provide numerous applications of the main theorems to real and relative Langlands duality including the formality and commutativity conjectures for the real and relative Satake categories and an identification of the dual groups for $G_\mathbb R$ and $X$., Comment: 70 pages. The paper incorporated technical material from arXiv:1805.06514 but with many new results, including a proof of a conjecture in loc. cit. on identification of dual groups. An updated version of arXiv:1805.06514 will include various generalizations of the affine Matsuki correspondence

We construct transversal slices to the closures of spherical and Iwahori orbits in loop spaces of symmetric varieties generalizing a construction of Mars-Springer in the finite dimensional setting. We show that those slices are isomorphic to certain Lagrangian subvarieties of the affine Grassmannian slices. We provide applications to the formality conjecture in relative Langlands duality., Comment: 20 pages. Add the orbits parametrization and slices construction of Iwahori orbits

Let $G$ be a split connected reductive group over a non-archimedan local field $F$. The depth zero stable Bernstein conjecture asserts that there is an algebra isomorphism between the depth zero stable Bernstein center of $G(F)$ and the ring of functions on the moduli of tame Langlands parameters. An approach to the depth zero stable Bernstein conjecture was proposed in the work of Bezrukavnikov-Kazhdan-Varshavsky \cite{BKV}. In this paper we generalize results and techniques in \cite{BKV} and apply them to give a geometric construction of elements in the depth zero Bernstein center. We conjecture that our construction produces all elements in the depth zero Bernstein center. An an illustration of the method, we give a construction of an algebra embedding from the (limit of) stable Bernstein centers for finite reductive groups to the depth zero Bernstein center and a family of elements in the depth zero Bernstein center coming from Deligne's epsilon factors. The paper is the first step toward the depth zero stable Bernstein center.

We establish a derived geometric Satake equivalence for the quaternionic general linear group GL_n(H). By applying the real-symmetric correspondence for affine Grassmannians, we obtain a derived geometric Satake equivalence for the symmetric variety GL_2n/Sp_2n. We explain how these equivalences fit into the general framework of a geometric Langlands correspondence for real groups and the relative Langlands duality conjecture. As an application, we compute the stalks of the IC-complexes for spherical orbit closures in the quaternionic affine Grassmannian and the loop space of GL_2n/Sp_2n. We show the stalks are given by the Kostka-Foulkes polynomials for GL_n but with all degrees doubled., Comment: 50 pages

Let G be a connected complex reductive group and let K be a symmetric subgroup of G. We prove a formula for the Drinfeld-Gaitsgory functor for the dg-category of K-equivariant sheaves on the flag manifold of G in terms of the Matsuki duality functor. As byproducts, we obtain a description of the Serre functor and the Deligne-Lusztig duality for (g,K)-modules., Comment: 11 pages

We prove the Chevalley restriction theorem for the commuting scheme of symplectic Lie algebras. The key step is the construction of the inverse map of the Chevalley restriction map called the spectral data map. Along the way, we establish a certain multiplicative property of the Pfaffian which is of independent interest.

We construct a family of involutions on the space $\mathfrak{gl}_n'(\mathbb C)$ of $n\times n$ matrices with real eigenvalues interpolating the complex conjugation and the transpose. We deduce from it a stratified homeomorphism between the space of $n\times n$ real matrices with real eigenvalues and the space of $n\times n$ symmetric matrices with real eigenvalues, which restricts to a real analytic isomorphism between individual $\mathrm{GL}_n(\mathbb R)$-adjoint orbits and $\mathrm{O}_n(\mathbb C)$-adjoint orbits. We also establish similar results in more general settings of Lie algebras of classical types and quiver varieties. To this end, we prove a general result about involutions on hyper-K\"ahler quotients of linear spaces. We provide applications to the (generalized) Kostant-Sekiguchi correspondence, singularities of real and symmetric adjoint orbit closures, and Springer theory for real groups and symmetric spaces., Comment: 37 pages, minor expository changes

In this article we prove a conjecture of Braverman and Kazhdan in \cite{BK1} on acyclicity of $\rho$-Bessel sheaves on reductive groups in both $\ell$-adic and de Rham settings. We do so by establishing a vanishing conjecture proposed in \cite{C1}. As a corollary, we obtain a geometric construction of the non-linear Fourier kernels for finite reductive groups as conjectured by Braverman and Kazhdan. The proof of the vanishing conjecture relies on the techniques developed in \cite{BFO} on Drinfeld center of Harish-Chandra bimodules and character D-modules, and a construction of a class of character sheaves in mixed-characteristic., Comment: 36 pages. New introduction

In this paper, we explore the structure of the Hitchin morphism for higher dimensional varieties. We show that the Hitchin morphism factors through a closed subscheme of the Hitchin base, which is in general a non-linear subspace of lower dimension. We conjecture that the resulting morphism, which we call the spectral data morphism, is surjective. In the course of the proof, we establish connections between the Hitchin morphisms for higher dimensional varieties, the invariant theory of the commuting schemes, and Weyl's polarization theorem. We use the factorization of the Hitchin morphism to construct the spectral and cameral covers. In the case of general linear groups and algebraic surfaces, we show that spectral surfaces admit canonical finite Cohen-Macaulayfications, which we call the Cohen-Macaulay spectral surfaces, and we use them to obtain a description of the generic fibers of the Hitchin morphism similar to the case of curves. Finally, we study the Hitchin morphism for some class of algebraic surfaces., Comment: This paper supersedes the preprint arXiv:1711.02592

In this article we propose a vanishing conjecture for a certain class of $\ell$-adic complexes on a reductive group $G$, which can be regraded as a generalization of the acyclicity of the Artin-Schreier sheaf. We show that the vanishing conjecture contains, as a special case, a conjecture of Braverman and Kazhdan on the acyclicity of $\rho$-Bessel sheaves \cite{BK1}. Along the way, we introduce a certain class of Weyl group equivariant $\ell$-adic complexes on a maximal torus called \emph{central complexes} and relate the category of central complexes to the Whittaker category on $G$. We prove the vanishing conjecture in the case when $G=\GL_n$., Comment: 22 pages. Minor corrections

Let $G_\mathbb R$ be a real reductive group and let $X$ be the corresponding complex symmetric variety under the Cartan bijection. We construct a stratified homeomorphism between the based polynomial arc group of $G_\mathbb R$ and the based polynomial arc space of $X$. We also prove a multi-point version where we replace arcs by moduli spaces of quasi-maps from the projective line $\mathbb P^1$ to $G_\mathbb R$ and $X$. The key ingredients in the proof include: (i) a multi-point generalization of the ``Gram-Schmidt" factorization of loop groups, and (ii) a nodal degeneration of moduli spaces of quasi-maps. As an application, we show that for the closures of real spherical orbits in the real affine Grassmannian, their singularities near the base point are locally homeomorphic to complex algebraic varieties., Comment: complete revision (including title) with some material moved to arXiv:2006.10279; 22 pages, 1 figure

We lift the affine Matsuki correspondence between real and symmetric loop group orbits in affine Grassmannians to an equivalence of derived categories of sheaves. In analogy with the finite-dimensional setting, our arguments depend upon the Morse theory of energy functions obtained from symmetrizations of coadjoint orbits. The additional fusion structures of the affine setting lead to further equivalences with Schubert constructible derived categories of sheaves on real affine Grassmannians., Comment: Add a new section (Section 9) on compatibility with Hecke actions

In this paper, we explore the structure of the Hitchin map for higher dimensional varieties with emphasis on the case of algebraic surfaces., Comment: 25 pages, revised version

We study the Casselman-Jacquet functor $J$, viewed as a functor from the (derived) category of $(\mathfrak{g},K)$-modules to the (derived) category of $(\mathfrak{g},N^-)$-modules, $N^-$ is the negative maximal unipotent. We give a functorial definition of $J$ as a certain right adjoint functor, and identify it as a composition of two averaging functors $\text{Av}^{N^-}_!\circ \text{Av}^N_*$. We show that it is also isomorphic to the composition $\text{Av}^{N^-}_*\circ \text{Av}^N_!$. Our key tool is the pseudo-identity functor that acts on the (derived) category of (twisted) $D$-modules on an algebraic stack., Comment: Very minor modifications, compared to previous version (to appear in Proceedings of Symposia in Pure Mathematics volume, titled "Representations of Reductive Groups")

In this article we prove a conjecture of Braverman-Kazhdan in \cite{BK} on the acyclicity of gamma sheaves in the de Rham setting. The proof relies on the techniques developed in \cite{BFO} on Drinfeld center of Harish-Chandra bimodules and character D-modules. As an application, we show that the functors of convolution with gamma D-modules, which can be viewed as a version of non-linear Fourier transforms, commute with induction functors and are exact on the category of admissible D-modules on a reductive group., Comment: 25 pages

In this paper we establish Springer correspondence for the symmetric pair $(\mathrm{SL}(N),\mathrm{SO}(N))$ using Fourier transform, parabolic induction functor, and a nearby cycle sheaves construction due to Grinberg. As applications, we obtain results on cohomology of Hessenberg varieties and geometric constructions of irreducible representations of Hecke algebras of symmetric groups at $q=-1$., Comment: Final version

In a celebrated unpublished manuscript Beilinson and Drinfeld quantize the Hitchin integrable system by showing that the global sections of critically twisted differential operators on the moduli stack of G-bundles on an algebraic curve is identified with the ring of regular functions on the space of G-opers; they deduce existence of an automorphic D-module corresponding to a local system carrying a structure of an oper. In this note we show for G=GL(n) that those results admit a short proof by reduction to positive characteristic, where they are deduced from generic Langlands duality established earlier by the first author and A. Braverman. The appendix contains a proof of some properties of the p-curvature map restricted to the space of opers., Comment: paper by Roman Bezrukavnikov and Roman Travkin with an appendix by Roman Bezrukavnikov, Tsao-Hsien Chen and Xinwen Zhu. This version features a dedication to David Kazhdan, improved exposition at several places including the appendix

In this paper we compute the cohomology of the Fano varieties of $k$-planes in the smooth complete intersection of two quadrics in $\mathbb{P}^{2g+1}$, using Springer theory for symmetric spaces., Comment: With an appendix by Dennis Stanton

In this paper we introduce a certain class of families of Hessenberg varieties arising from Springer theory for symmetric spaces. We study the geometry of those Hessenberg varieties and investigate their monodromy representations in detail using the geometry of complete intersections of quadrics. We obtain decompositions of these monodromy representations into irreducibles and compute the Fourier transforms of the IC complexes associated to these irreducible representations. The results of the paper refine (part of) the Springer correspondece for the split symmetric pair (SL(N),SO(N)) in [CVX2]., Comment: Final version

In \cite{CVX3}, we have established a Springer theory for the symmetric pair $(\operatorname{SL}(N),\operatorname{SO}(N))$. In this setting we obtain representations of (the Tits extension) of the braid group rather than just Weyl group representations. These representations arise from cohomology of families of certain (Hessenberg) varieties. In this paper we determine the Springer correspondence explicitly for IC sheaves supported on order 2 nilpotent orbits. In this process we encounter universal families of hyperelliptic curves. As an application we calculate the cohomolgy of Fano varieties of $k$-planes in the smooth intersection of two quadrics in an even dimensional projective space.

Let (G,K) be a symmetric pair over the complex numbers, and let X=K\G be the corresponding symmetric space. In this paper we study a nearby cycles functor associated to a degeneration of X to MN\G, which we call the "wonderful degeneration". We show that on the category of character sheaves on X, this functor is isomorphic to a composition of two averaging functors (a parallel result, on the level of functions in the p-adic setting, was obtained in [BK, SV]). As an application, we obtain a formula for the geometric Jacquet functor of [ENV] and use this formula to give a geometric proof of the celebrated Casselman's submodule theorem and establish a second adjointness theorem for Harish-Chandra modules., Comment: Revised version. Equivariancy replaces stratification arguments, so that the results are applicable to all sheaf settings

Let $G$ be a simple complex group of adjoint type. In his unpublished work, Z. Yun associated to each $\theta$-group $(G_0, \mathfrak g_1)$ and a vector $X\in\mathfrak g_1$ a flat $G$-connection $\nabla ^X$ on $\mathbb P^1-\{0,\infty\}$, generalizing the construction of Frenkel and Gross in [FG]. In this paper we study the local monodromy of those flat $G$-connections and compute the de Rham cohomology of $\nabla^X$ with values in the adjoint representations of $G$. In particular, we show that in many cases the connection $\nabla^X$ is cohomologically rigid., Comment: Rewrite introduction and typos corrected. To appear in IMRN

It is expected that, under mild conditions, local Langlands correspondence preserves depths of representations. In this article, we formulate a conjectural geometrisation of this expectation. We prove half of this conjecture by showing that the depth of a categorical representation of the loop group is less than or equal to the depth of its underlying geometric Langlands parameter. A key ingredient of our proof is a new definition of the slope of a meromorphic connection, a definition which uses opers. In the appendix, we consider a relationship between our conjecture and Zhu's conjecture on non-vanishing of the Hecke eigensheaves produced by Beilinson and Drinfeld's quantisation of Hitchin's fibration for non-constant groups.

Let $G$ be a semisimple algebraic group over an algebraically closed field $k$, whose characteristic is positive and does not divide the order of the Weyl group of $G$, and let $\breve G$ be its Langlands dual group over $k$. Let $C$ be a smooth projective curve over $k$. Denote by $\Bun_G$ the moduli stack of $G$-bundles on $C$ and $ \Loc_{\breve G}$ the moduli stack of $\breve G$-local systems on $C$. Let $D_{\Bun_G}$ be the sheaf of crystalline differential operators on $\Bun_G$. In this paper we construct an equivalence between the bounded derived category $D^b(\on{QCoh}(\Loc_{\breve G}^0))$ of quasi-coherent sheaves on some open subset $\Loc_{\breve G}^0\subset\Loc_{\breve G}$ and bounded derived category $D^b(D_{\Bun_G}^0\on{-mod})$ of modules over some localization $D_{\Bun_G}^0$ of $D_{\Bun_G}$. This generalizes the work of Bezrukavnikov-Braverman in the $\GL_n$ case., Comment: 57 pages, corrected some arguments in section 3.6 and 3.7, to appear in Compositio Math

Let G be a reductive group over an algebraically closed field of positive characteristic. Let C be a smooth projective curve over k. We give a description of the moduli space of flat G-bundles in terms of the moduli space of G-Higgs bundles over the Frobenius twist C' of C. This description can be regarded as the non-abelian Hodge theory for curves in positive characteristic., Comment: The introduction and the example for GL_n are partially rewritten. Section 3 is re-organized. Various typos are corrected. To appear in GAFA

For each integral dominant weight $\lambda$, we construct a twisted global section functor $\Gamma^{\lambda}$ from the category of critical twisted $D$-modules on affine Grassmannian to the category of $\lambda$-regular modules of affine Lie algebra at critical level. We proved that $\Gamma^{\lambda}$ is exact and faithful. This generalized the work of Frenkel and Gaitsgory in the case when $\lambda=0$., Comment: 19 pages, preliminary version