Geometric Langlands predicts an isomorphism between Whittaker coefficients of Eisenstein series and functions on the moduli space of $\check{N}$-local systems. We prove this formula by interpreting Whittaker coefficients of Eisenstein series as factorization homology and then invoking Beilinson and Drinfeld's formula for chiral homology of a chiral enveloping algebra.
Let X be a smooth projective curve over an algebraically closed field of characteristic >2. Let Bun_{Mp_2} be the stack of metaplectic bundles on X of rank 2. In this paper we study the derived category of genuine l-adic sheaves on Bun_{Mp_2} in the framework of the quantum geometric Langlands. We describe the corresponding Whittaker category, develop the theory of geometric Eisenstein series and calculate the most non-degenerate Fourier coefficients of these Eisenstein series. The existing constructions of automorphic sheaves for GL_n are based on using Whittaker sheaves. Our calculations lea…
Motivated by string theory scattering amplitudes that are invariant under a discrete U-duality, we study Fourier coefficients of Eisenstein series on Kac-Moody groups. In particular, we analyse the Eisenstein series on $E_9(R)$, $E_{10}(R)$ and $E_{11}(R)$ corresponding to certain degenerate principal series at the values s=3/2 and s=5/2 that were studied in 1204.3043. We show that these Eisenstein series have very simple Fourier coefficients as expected for their role as supersymmetric contributions to the higher derivative couplings $R^4$ and $\partial^{4} R^4$ coming from 1/2-BPS and 1/4-BP…
We study Whittaker coefficients for maximal parabolic Eisenstein series on metaplectic covers of split reductive groups. By the theory of Eisenstein series these coefficients have meromorphic continuation and functional equation. However they are not Eulerian and the standard methods to compute them in the reductive case do not apply to covers. For "cominuscule" maximal parabolics, we give an explicit description of the coefficients as Dirichlet series whose arithmetic content is expressed in an exponential sum. The exponential sum is then shown to satisfy a twisted multiplicativity, reducing …
We use techniques from statistical mechanics to provide new formulas for Whittaker coefficients of metaplectic Eisenstein series on odd orthogonal groups, matching Friedberg and Zhang. We study a particular variation/generalization of the six-vertex model of Cartan type C having "domain-wall boundary conditions" dependent on a given integer partition $λ$ of length at most $r$, where $r$ is a fixed positive integer. More precisely, we examine a planar, non-nested, U-turn model whose partition functions $Z_λ$ are a generalization of a deformation of characters of the symplectic group $\operatorn…
In the setting of global geometric Langlands, we show that miraculous duality on the stack of principal bundles on a curve intertwines the functor of Poincare series with the dual functor to Whittaker coefficients. We construct, for arbitrary parabolic subgroups, Jacquet functors controlling constant terms of Poincare series and Whittaker coefficients of Eisenstein series in local terms.
We prove that cuspidal automorphic D-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from GL_n to general reductive groups. The key tool is a microlocal interpretation of Whittaker coefficients. We establish various exactness properties in the geometric Langlands context that may be of independent interest. Specifically, we show Hecke functors are t-exact on the category of tempered D-modules, strengthening a classical result of Gaitsgory (with different hypotheses) for GL_n. We also show that Whittaker coefficient functors are t…
In this paper, a construction to imitate the Bernstein-Zelevinsky derivative for automorphic representations on $GL_n(\mathbb{A})$ is introduced. We will later consider the induced representation \[I(τ_1,τ_2;\underline{s}) = \mathrm{Ind}_{P_{[n_1,n_2]}}^{G_n}(Δ(τ_1,n_1)|\cdot|^{s_1}\boxtimes Δ(τ_2,n_2)|\cdot|^{s_2}).\] from the discrete spectrum representations of $GL_n(\mathbb{A})$, and apply our method to study the degenerate Whittaker coefficients of the Eisenstein series constructed from such a representation as well as of its residues. This method can be used to reprove the results on the…
This mostly expository article explores recent developments in the relations between the three objects in the title from an algebro-combinatorial perspective. We prove a formula for Whittaker functions of a real semisimple group as an integral over a geometric crystal in the sense of Berenstein-Kazhdan. We explain the connections of this formula to the program of mirror symmetry of flag varieties developed by Givental and Rietsch; in particular, the integral formula proves the equivariant version of Rietsch's mirror symmetry conjecture. We also explain the idea that Whittaker functions should …
The purpose of this of this paper is to develop the theory of Eisenstein series in the framework of geometric Langlands correspondence. Our construction is based on the study of certain relative compactification of the moduli stack of parabolic bundles on a curve suggested by V.Drinfeld. As an application we construct certain automorphic forms for global fields of positive characteristic, whose existence is non-obvious from the point of view of classical tools.
Let G be a simple simply-connected group over an algebraically closed field k, X be a smooth connected projective curve over k. In this paper we develop the theory of geometric Eisenstein series on the moduli stack Bun_G of G-torsors on X in the setting of the quantum geometric Langlands program (for étale l-adic sheaves) in analogy with [3]. We calculate the intersection cohomology sheaf on the version of Drinfeld compactification in our twisted setting. In the case G=SL_2 we derive some results about the Fourier coefficients of our Eisenstein series. In the case of G=SL_2 and X=P^1 we also c…
We develop the theory of Weyl group multiple Dirichlet series for root systems of type C. For an arbitrary root system of rank r and a positive integer n, these are Dirichlet series in r complex variables with analytic continuation and functional equations isomorphic to the associated Weyl group. In type C, they conjecturally arise from the Fourier-Whittaker coefficients of minimal parabolic Eisenstein series on an n-fold metaplectic cover of SO(2r+1). For any odd n, we construct an infinite family of Dirichlet series conjecturally satisfying the above analytic properties. The coefficients of …
Affine W-algebras are a somewhat complicated family of (topological) associative algebras associated with a semisimple Lie algebra, quantizing functions on the algebraic loop space of Kostant's slice. They have attracted a great deal of attention in geometric representation theory because of Feigin-Frenkel's duality theorem for them, which identifies W-algebras for a Lie algebra and its Langlands dual through a subtle construction. The main result of this paper is an affine version of Skryabin's theorem, describing the category of modules over the W-algebra in simpler categorical terms. But un…
Generally speaking, this thesis focuses on the interplay between the representations of Lie groups and probability theory. It subdivides into essentially three parts. In a first rather algebraic part, we construct a path model for geometric crystals in the sense of Berenstein and Kazhdan, for complex semi-simple Lie groups. We will mainly describe the algebraic structure, its natural morphisms and parameterizations. The theory of total positivity will play a particularly important role. Then, we anticipate on the probabilistic part by exhibiting a canonical measure on geometric crystals. It us…
We show that the geometric lifting of the RSK correspondence introduced by A.N. Kirillov (2001) is volume preserving with respect to a natural product measure on its domain, and that the integrand in Givental's integral formula for GL(n,R)-Whittaker functions arises naturally in this context. Apart from providing further evidence that Whittaker functions are the natural analogue of Schur polynomials in this setting, our results also provide a new `combinatorial' framework for the study of random polymers. When the input matrix consists of random inverse gamma distributed weights, the probabili…
Let G be a reductive group. The geometric Satake equivalence realized the category of representations of the Langlands dual group ^LG in terms of spherical perverse sheaves (or D-modules) on the affine Grassmannian Gr_G=G((t))/G[[t]] of the original group G. In the present paper we perform a first step in realizing the category of representations of the quantum group corresponding to ^LG in terms of the geometry of Gr_G. The idea of the construction belongs to Jacob Lurie.
The Robinson-Schensted (RS) correspondence and its variants naturally give rise to integrable dynamics of non-intersecting particle systems. In previous work, the author exhibited a RS correspondence for geometric crystals by constructing a Littelmann path model, in general Lie type. Since this representation-theoretic map takes as input a continuous path on a Euclidian space, the natural starting measure is the Wiener measure. In this paper, we characterize the measures induced by Brownian motion through the RS map. On the one hand, the highest weight in the output is a remarkable Markov proc…
Let $X$ be a (smooth and complete) curve and $G$ a reductive group. In [BG] we introduced the object that we called "geometric Eisenstein series". This is a perverse sheaf $\bar{Eis}_E$ (or rather a complex of such) on the moduli stack $Bun_G(X)$ of principal $G$-bundles on $X$, which is attached to a local system $E$ on $X$ with respect to the torus $\check{T}$, Langlands dual to the Cartan subgroup $T\subset G$. In loc. cit. we showed that$\bar{Eis}_E$ corresponds to the $\check{G}$-local system induced from $E$, in the sense of the geometric Langlands correspondence. In the present paper we…
Let G be an algebraic reductive group over a an algebraically closed field of positive characteristic. Choose a parabolic subgroup $P$ in $G$ and denote by $U$ its unipotent radical. Let $X$ be a $G$-variety. The purpose of this paper is to give two examples of a situation in which the functor of averaging of l-adic sheaves on $X$ with respect to a generic character of $U$ commutes with Verdier duality. In the first example we take $χ$ to be an arbitrary $G$-variety and we prove the above property for all $\overline{P}$-equivariant sheaves on $X$ where $\overline{P}$ is an opposite parabolic s…
Let G be a semi-simple simply connected group over complex numbers. In this paper we give a geometric definition of the (dual) Weyl modules over the group G[t] and show that their characters form an eigen-function of the lattice version of the q-Toda integrable integrable system (defined by means of the quantum group version of Kostant-Whittaker reduction due to Etingof and Sevostyanov). All the proofs are algebro-geometric and rely on our previous work which interprets the universal eigen-function of the q-Toda system in terms of rings of functions on the spaces of based quasi-maps from P^1 t…
This thesis deals with some $(1+1)$-dimensional lattice path models from the KPZ universality class: the directed random polymer with inverse-gamma weights (known as log-gamma polymer) and its zero temperature degeneration, i.e. the last passage percolation model, with geometric or exponential waiting times. We consider three path geometries: point-to-line, point-to-half-line, and point-to-line with paths restricted to stay in a half-plane. Through exact formulas, we establish new connections between integrable probabilistic models and the ubiquitous Whittaker and Schur functions. More in deta…
We prove a `motivic' analogue of the Weyl character formula, computing the Euler characteristic of a line bundle on a generalized flag manifold $G/B$ multiplied either by a motivic Chern class of a Schubert cell, or a Segre analogue of it. The result, given in terms of Demazure-Lusztig (D-L) operators, recovers formulas found by Brubaker, Bump and Licata for the Iwahori-Whittaker functions of the principal series representation of a $p$-adic group. In particular, we obtain a new proof of the classical Casselman-Shalika formula for the spherical Whittaker function. The proofs are based on local…
We introduce an elliptic version of the Grothendieck-Springer sheaf and establish elliptic analogues of the basic results of Springer theory. From a geometric perspective, our constructions specialize geometric Eisenstein series to the resolution of degree zero, semistable G-bundles by degree zero B-bundles over an elliptic curve E. From a representation theory perspective, they produce a full embedding of representations of the elliptic or double affine Weyl group into perverse sheaves with nilpotent characteristic variety on the moduli of G-bundles over E. The resulting objects are principal…
