Geometric Langlands duality and representations of algebraic groups over commutative rings
I. Mirkovic, K. Vilonen
备注：
This version contains a new Appendix B. In the original version there appears to be a gap in section 12. To fix the gap we explain in Appendix B how to read through section 12 without having to pose condition (12.11c)
In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of perverse sheaves on the complex affine Grassmannian. We can work with perverse sheaves with coefficients in an arbitrary commutative ring and then we recover the representation theory of the split form of the dual group over the commutative ring.
The category of perverse sheaves on the affine Grassmannian of a complex reductive group $G$ gives a canonical geometric construction of the split form of the Langlands dual group $\check G_\bZ$ over the integers. Given a field $k$, we give a Tannakian construction of the quasi-split forms of $\check G_k$, as well as a construction of the gerbe associated to an inner form of $\check G_k$.
We prove duality isomorphisms of certain representations of W-algebras which play an essential role in the quantum geometric Langlands Program and some related results.
In this paper we construct an equivariant Poincaré duality between dual tori equipped with finite group actions. We use this to demonstrate that Langlands duality induces a rational isomorphism between the group $C^*$-algebras of extended affine Weyl groups at the level of $K$-theory.
We prove three new results about the global Springer action defined in \cite{GSI}. The first one determines the support of the perverse cohomology sheaves of the parabolic Hitchin complex, which serves as a technical tool for the next results. The second one (the Endoscopic Decomposition Theorem) links certain direct summands of the parabolic Hitchin complex of $G$ to the endoscopic groups of $G$. This result generalizes Ngô's geometric stabilization of the trace formula in \cite{NgoFL}. The third result links the stable parts of the parabolic Hitchin complexes for Langlands dual groups, and e…
We give a representation-theoretic interpretation of the Langlands character duality of Frenkel and Hernandez, and show that the "Langlands branching multiplicities" for symmetrizable Kac-Moody Lie algebras are equal to certain tensor product multiplicities. For finite type quantum groups, the connection with tensor products can be explained in terms of tilting modules.
We establish a correspondence (or duality) between the characters and the crystal bases of finite-dimensional representations of quantum groups associated to Langlands dual semi-simple Lie algebras. This duality may also be stated purely in terms of semi-simple Lie algebras. To explain this duality, we introduce an "interpolating quantum group" depending on two parameters which interpolates between a quantum group and its Langlands dual. We construct examples of its representations, depending on two parameters, which interpolate between representations of two Langlands dual quantum groups.
The Langlands Program was launched in the late 60s with the goal of relating Galois representations and automorphic forms. In recent years a geometric version has been developed which leads to a mysterious duality between certain categories of sheaves on moduli spaces of (flat) bundles on algebraic curves. Three years ago, in a groundbreaking advance, Kapustin and Witten have linked the geometric Langlands correspondence to the S-duality of 4D supersymmetric gauge theories. This and subsequent works have already led to striking new insights into the geometric Langlands Program, which in partic…
Let G be a connected reductive complex algebraic group. This paper is devoted to the space Z of meromorphic quasimaps from a curve into an affine spherical G-variety X. The space Z may be thought of as an algebraic model for the loop space of X. In this paper, we associate to X a connected reductive complex algebraic subgroup $\check H$ of the dual group $\check G$. The construction of $\check H$ is via Tannakian formalism: we identify a certain tensor category Q(Z) of perverse sheaves on Z with the category of finite-dimensional representations of $\check H$. Combinatorial shadows of the grou…
This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the Langlands dual group is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in and some o…
We show that the Hitchin integrable system for a simple complex Lie group $G$ is dual to the Hitchin system for the Langlands dual group $\lan{G}$. In particular, the general fiber of the connected component $\Higgs_0$ of the Hitchin system for $G$ is an abelian variety which is dual to the corresponding fiber of the connected component of the Hitchin system for $\lan{G}$. The non-neutral connected components $\Higgs_α$ form torsors over $\Higgs_0$. We show that their duals are gerbes over $\Higgs_0$ which are induced by the gerbe of $G$-Higgs bundles $\gHiggs$. More generally, we establish a …
We describe a correspondence (or duality) between the q-characters of finite-dimensional representations of a quantum affine algebra and its Langlands dual in the spirit of q-alg/9708006 and 0809.4453. We prove this duality for the Kirillov-Reshetikhin modules and their irreducible tensor products. In the course of the proof we introduce and construct "interpolating (q,t)-characters" depending on two parameters which interpolate between the q-characters of a quantum affine algebra and its Langlands dual.
We verify the relative Langlands duality conjecture proposed by Ben-Zvi, Sakellaridis, Venkatesh for the hyperspherical Hamiltonian variety $T^*(\operatorname{Sp}_{2n}\backslash \operatorname{GL}_{2n+1})$. We provide numerical (over number fields and function fields) and geometric (in the étale setting) evidence that its dual Hamiltonian variety should be $T^*(\operatorname{GL}_n \times \operatorname{GL}_{n+1} \backslash \operatorname{GL}_{2n+1})$ as is predicted by Ben-Zvi, Sakellaridis, Venkatesh.
Geometric Langlands duality is usually formulated as a statement about Riemann surfaces, but it can be naturally understood as a consequence of electric-magnetic duality of four-dimensional gauge theory. This duality in turn is naturally understood as a consequence of the existence of a certain exotic supersymmetric conformal field theory in six dimensions. The same six-dimensional theory also gives a useful framework for understanding some recent mathematical results involving a counterpart of geometric Langlands duality for complex surfaces. (This article is based on a lecture at the Raoul B…
Maximally supersymmetric gauge theory in four dimensions admits local boundary conditions which preserve half of the bulk supersymmetries. The S-duality of the bulk gauge theory can be extended in a natural fashion to act on such half-BPS boundary conditions. The purpose of this note is to explain the role these boundary conditions can play in the Geometric Langlands program. In particular, we describe how to obtain pairs of Geometric Langland dual objects from S-dual pairs of half-BPS boundary conditions.
A recent attempt to extend the geometric Langlands duality to affine Kac-Moody groups, has led Braverman and Finkelberg [arXiv:0711.2083] to conjecture a mathematical relation between the intersection cohomology of the moduli space of G-bundles on certain singular complex surfaces, and the integrable representations of the Langlands dual of an associated affine G-algebra, where G is any simply-connected semisimple group. For the A-type groups, where the conjecture has been mathematically verified to a large extent, we show that the relation has a natural physical interpretation in terms of six…
In the setting of the geometric Langlands conjecture, we argue that the phenomenon of divergence at infinity on Bun_G (that is, the difference between $!$-extensions and $*$-extensions) is controlled, Langlands-dually, by the locus of semisimple $\check{G}$-local systems. To see this, we first rephrase the question in terms of Deligne-Lusztig duality and then study the Deligne-Lusztig functor DL_G^\spec acting on the spectral Langlands DG category IndCoh_N(LS_G). We prove that DL_G^\spec is the projection IndCoh_N(LS_G) \to QCoh(LS_G), followed by the action of a coherent D-module St_G which w…
The geometric Satake isomorphism is an equivalence between the categories of spherical perverse sheaves on affine Grassmanian and the category of representations of the Langlands dual group. We provide a similar description for derived categories of l-adic sheaves on an affine flag variety which are geometric counterparts of a maximal commutative subalgebra in the Iwahori Hecke algebra; of the anti-spherical module over this algebra; and of the space of Iwahori-invariant Whitakker functions.
In this paper we consider the Baum-Connes correspondence for the affine and extended affine Weyl groups of a compact connected semisimple Lie group. We show that the Baum-Connes correspondence in this context arises from Langlands duality for the Lie group.
We construct an isomorphism between the (universal) spherical Hall algebra of a smooth projective curve of genus g and a convolution algebra in the (equivariant) K-theory of the genus g commuting varieties C_{{gl}_r}={(x_i, y_i) \in {gl}_r^{2g}; \sum_{i=1}^g [x_i,y_i]=0}. We can view this isomorphism as a version of the geometric Langlands duality in the formal neighborhood of the trivial local system, for the group GL_r. We extend this to all reductive groups and we compute the image, under our correspondence, of the skyscraper sheaf supported on the trivial local system.
Geometric Langlands duality can be understood from statements of mirror symmetry that can be formulated in purely topological terms for an oriented two-manifold $C$. But understanding these statements is extremely difficult without picking a complex structure on $C$ and using Hitchin's equations. We sketch the essential statements both for the ``unramified'' case that $C$ is a compact oriented two-manifold without boundary, and the ``ramified'' case that one allows punctures. We also give a few indications of why a more precise description requires a starting point in four-dimensional gauge th…
I introduce new Langlands duality conjectures concerning skein modules of 3-manifolds, which we have made recently with David Ben-Zvi, Sam Gunningham, and Pavel Safronov. I recount some historical motivation and some recent special cases where the conjecture is confirmed. The proofs in these cases combine the representation theory of double affine Hecke algebras and a new 1-form symmetry structure on skein modules related to electric-magnetic duality. This note is an expansion of my talk given at String Math 2022 in Warsaw, and is submitted to the String Math 2022 Proceedings publication.
A special case of the geometric Langlands correspondence is given by the relationship between solutions of the Bethe ansatz equations for the Gaudin model and opers - connections on the projective line with extra structure. In this paper, we describe a deformation of this correspondence for $SL(N)$. We introduce a difference equation version of opers called $q$-opers and prove a $q$-Langlands correspondence between nondegenerate solutions of the Bethe ansatz equations for the XXZ model and nondegenerate twisted $q$-opers with regular singularities on the projective line. We show that the quant…
In 1967, Langlands conjectured a natural correspondence between automorphic representations and Galois representations, over number fields as well as over function fields. In 1983, Drinfeld discovered a geometric analog of the Langlands correspondence in the function field case, which extends the geometric class field theory of Lang and Rosenlicht. The so called Drinfeld-Langlands correspondence is a conjectural duality between two moduli spaces that are naturally associated to an algebraic curve X and a reductive group G. When X is projective and G is the full linear group GL(n), a large part…
Let $G$ and $\tilde G$ be reductive groups over a local field $F$. Let $η: \tilde G \to G$ be a $F$-homomorphism with commutative kernel and commutative cokernel. We investigate the pullbacks of irreducible admissible $G$-representations $π$ along $η$. Following Borel, Adler--Korman and Xu, we pose a conjecture on the decomposition of the pullback $η^* π$. It is formulated in terms of enhanced Langlands parameters and includes multiplicities. This can be regarded as a functoriality property of the local Langlands correspondence. We prove this conjecture for three classes: principal series repr…
We review and extend the vertex algebra framework linking gauge theory constructions and a quantum deformation of the Geometric Langlands Program. The relevant vertex algebras are associated to junctions of two boundary conditions in a 4d gauge theory and can be constructed from the basic ones by following certain standard procedures. Conformal blocks of modules over these vertex algebras give rise to twisted D-modules on the moduli stacks of G-bundles on Riemann surfaces which have applications to the Langlands Program. In particular, we construct a series of vertex algebras for every simple …
Let $\mathbf{S}_k$ denote a maximal torus in the complex Lie group $\mathbf{G} = \mathrm{SL}_n(\mathbb{C})/C_k$ and let $T_k$ denote a maximal torus in its compact real form $\mathrm{SU}_n(\mathbb{C})/C_k$, where $k$ divides $n$. Let $W$ denote the Weyl group of $\mathbf{G}$, namely the symmetric group $\mathfrak{S}_n$. We elucidate the structure of the extended quotient $\mathbf{S}_k // W$ as an algebraic variety and of $T_k // W$ as a topological space, in both cases describing them as bundles over unions of tori. Corresponding to the invariance of $K$-theory under Langlands duality, this ca…
Let $G$ be a connected semisimple Lie group. There are two natural duality constructions that assign to it the Langlands dual group $G^\vee$ and the Poisson-Lie dual group $G^*$. The main result of this paper is the following relation between these two objects: the integral cone defined by the cluster structure and the Berenstein-Kazhdan potential on the double Bruhat cell $G^{\vee; w_0, e} \subset G^\vee$ is isomorphic to the integral Bohr-Sommerfeld cone defined by the Poisson structure on the partial tropicalization of $K^* \subset G^*$ (the Poisson-Lie dual of the compact form $K \subset G…
Recently we propose a class of infinite-dimensional integral representations of classical gl(n+1)-Whittaker functions and local Archimedean local L-factors using two-dimensional topological field theory framework. The local Archimedean Langlands duality was identified in this setting with the mirror symmetry of the underlying topological field theories. In this note we introduce elementary analogs of the Whittaker functions and the Archimedean L-factors given by U(n+1)-equivariant symplectic volumes of appropriate Kahler U(n+1)-manifolds. We demonstrate that the functions thus defined have a d…
In Part I, we extend our analysis in [arXiv:0807.1107], and show that a mathematically conjectured geometric Langlands duality for complex surfaces in [1], and its generalizations -- which relate some cohomology of the moduli space of certain ("ramified") G-instantons to the integrable representations of the Langlands dual of certain affine (sub) G-algebras, where G is any compact Lie group -- can be derived, purely physically, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent. In Part II, to the setup in Part I, we introduce Ome…
We prove a system of relations in the Grothendieck ring of the category O of representations of the Borel subalgebra of an untwisted quantum affine algebra U_q(g^) introduced in [HJ]. This system was discovered in [MRV1, MRV2], where it was shown that solutions of this system can be attached to certain affine opers for the Langlands dual affine Kac-Moody algebra of g^, introduced in [FF5]. Together with the results of [BLZ3, BHK], which enable one to associate quantum g^-KdV Hamiltonians to representations from the category O, this provides strong evidence for the conjecture of [FF5] linking t…
Topological-Holomorphic ${\mathcal N} =4$ Gauge Theory: From Langlands Duality of Holomorphic Invariants to Mirror Symmetry of Quasi-topological Strings
We further explore the implications of our framework in [arXiv:1301.1977, arXiv:1309.4775], and physically derive, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent, (i) a 5d AGT correspondence for any compact Lie group, (ii) a 5d and 6d AGT correspondence on ALE space of type ADE, and (iii) identities between the ordinary, q-deformed and elliptic affine W-algebras associated with the 4d, 5d and 6d AGT correspondence, respectively, which also define a quantum geometric Langlands duality and its higher analogs formulated by Feigin…
This is a survey of results and conjectures on mirror symmetry phenomena in the non-Abelian Hodge theory of a curve. We start with the conjecture of Hausel-Thaddeus which claims that certain Hodge numbers of moduli spaces of flat SL(n,C) and PGL(n,C)-connections on a smooth projective algebraic curve agree. We then change our point of view in the non-Abelian Hodge theory of the curve, and concentrate on the SL(n,C) and PGL(n,C) character varieties of the curve. Here we discuss a recent conjecture of Hausel-Rodriguez-Villegas which claims, analogously to the above conjecture, that certain Hodge…
We present a new characterization of Lusztig's canonical quotient group. We also define a duality map: to a pair consisting of a nilpotent orbit and a conjugacy class in its fundamental group, the map assigns a nilpotent orbit in the Langlands dual Lie algebra.
