Let G be a reductive group (over an algebraically closed field) equipped with the metaplectic data. In this paper we study the corresponding twisted Whittaker category for G. We construct and study a functor from the latter category to the corresponding category of factorizable sheaves. It plays the role of the restriction functor from the category of representations of the big quantum group to those of the graded small quantum group. We also prove an analog in our setting of the Lusztig-Steinberg tensor product theorem for quantum groups describing the semi-simple part of the Whittaker category as a module over the Hecke algebra.
We study Whittaker functions on nonlinear coverings of simple algebraic groups over a non-archimedean local field. We produce a recipe for expressing such a Whittaker function as a weighted sum over a crystal graph, and show that in type A, these expressions agree with known formulae for the prime power supported coefficients of Multiple Dirichlet Series.
This paper establishes a combinatorial link between different approaches to constructing Whittaker functions on a metaplectic group over a non-archimedean local field. We prove a metaplectic analogue of Tokuyama's Theorem and give a crystal description of polynomials related to Iwahori-Whittaker functions. The proof relies on formulas of metaplectic Demazure and Demazure-Lusztig operators, proved previously in joint work with Gautam Chinta and Paul E. Gunnells.
In a previous paper the first two named authors defined an action of a Weyl group on rational functions and used it to construct multiple Dirichlet series. These series are related to Whittaker functions on an n-fold metaplectic cover of a reductive group. In this paper, we define metaplectic analogues of the Demazure and Demazure-Lusztig operators. We show how these operators, together with results of McNamara, can be used to compute Whittaker functions on metaplectic groups over p-adic fields.
We relate Iwahori-Whittaker functions on metaplectic covers to certain Demazure-Lusztig operators, the latter of which are built from a Weyl group action previously considered by G. Chinta and P. Gunnells. Using a certain combinatorial identity for the sum of these Demazure-Lusztig operators, we obtain an analogue of the Casselman-Shalika formula for spherical Whittaker functions in this context.
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…
Starting from some linear algebraic data (a Weyl-group invariant bilinear form) and some arithmetic data (a bilinear Steinberg symbol), we construct a cover of a Kac-Moody group generalizing the work of Matsumoto. Specializing our construction over non-archimedean local fields, for each positive integer n we obtain the notion of $n$-fold metaplectic covers of Kac-Moody groups. In this setting, we prove a Casselman-Shalika type formula for Whittaker functions.
Let $G^{(r)}$ denote the metaplectic covering group of the linear algebraic group $G$. In this paper we study conditions on unramified representations of the group $G^{(r)}$ not to have a nonzero Whittaker function. We state a general Conjecture about the possible unramified characters $χ$ such that the unramified sub-representation of $Ind_{B^{(r)}}^{G^{(r)}}χδ_B^{1/2}$ will have no nonzero Whittaker function. We prove this Conjecture for the groups $GL_n^{(r)}$ with $r\ge n-1$, and for the exceptional groups $G_2^{(r)}$ when $r\ne 2$.
This paper studies spherical Whittaker functions for central extensions of reductive groups over local fields. We follow the development of Chinta and Offen to produce a metaplectic Casselman-Shalika formula for tame covers of all unramified groups.
We show that spherical Whittaker functions on an $n$-fold cover of the general linear group arise naturally from the quantum Fock space representation of $U_q(\widehat{\mathfrak{sl}}(n))$ introduced by Kashiwara, Miwa and Stern (KMS). We arrive at this connection by reconsidering solvable lattice models known as `metaplectic ice' whose partition functions are metaplectic Whittaker functions. First, we show that a certain Hecke action on metaplectic Whittaker coinvariants agrees (up to twisting) with a Hecke action of Ginzburg, Reshetikhin, and Vasserot. This allows us to expand the framework o…
We construct a family of solvable lattice models whose partition functions include $p$-adic Whittaker functions for general linear groups from two very different sources: from Iwahori-fixed vectors and from metaplectic covers. Interpolating between them by Drinfeld twisting, we uncover unexpected relationships between Iwahori and metaplectic Whittaker functions. This leads to new Demazure operator recurrence relations for spherical metaplectic Whittaker functions. In prior work of the authors it was shown that the row transfer matrices of certain lattice models for spherical metaplectic Whitta…
The classical theta correspondence, based on the Weil representation, allows one to lift automorphic representations on symplectic groups or their double covers to automorphic representations on special orthogonal groups. It is of interest to vary the orthogonal group and describe the behavior in this theta tower (the Rallis tower). In prior work, the authors obtained an extension of the classical theta correspondence to higher degree metaplectic covers of symplectic and special orthogonal groups that is based on the tensor product of the Weil representation with another small representation. …
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 present a new framework for a broad class of affine Hecke algebra modules, and show that such modules arise in a number of settings involving representations of $p$-adic groups and $R$-matrices for quantum groups. Instances of such modules arise from (possibly non-unique) functionals on $p$-adic groups and their metaplectic covers, such as the Whittaker functionals. As a byproduct, we obtain new, algebraic proofs of a number of results concerning metaplectic Whittaker functions. These are thus expressed in terms of metaplectic versions of Demazure operators, which are built out of $R$-matri…
We will give new applications of quantum groups to the study of spherical Whittaker functions on the metaplectic $n$-fold cover of $GL(r,F)$, where $F$ is a nonarchimedean local field. Earlier Brubaker, Bump, Friedberg, Chinta and Gunnells had shown that these Whittaker functions can be identified with the partition functions of statistical mechanical systems. They postulated that a Yang-Baxter equation underlies the properties of these Whittaker functions. We confirm this, and identify the corresponding Yang-Baxter equation with that of the quantum affine Lie superalgebra $U_{\sqrt{v}}(\wideh…
In this paper, we extend results connecting quantum groups to spherical Whittaker functions on metaplectic covers of $GL_r(F)$, for $F$ a nonarchimedean local field. Brubaker, Buciumas, and Bump showed that for a certain metaplectic $n$-fold cover of $GL_r(F)$ a set of Yang-Baxter equations model the action of standard intertwiners on principal series Whittaker functions. These equations arise from a Drinfeld twist of the quantum affine Lie superalgebra $U_{\sqrt{v}}(\widehat{\frak{gl}}(n)),$ where $v = q^{-1}$ for $q$ the cardinality of the residue field. We extend their results to all metapl…
We give a combinatorial evaluation of Iwahori Whittaker functions for unramified genuine principal series representations on metaplectic covers of the general linear group over a non-archimedean local field. To describe the combinatorics, we introduce new combinatorial data that we call colored data: colored Lusztig data, colored Gelfand-Tsetlin patterns, and colored lattice models. We show that all three are equivalent. To achieve the result, we give an explicit Iwahori decomposition for the maximal unipotent subgroup of a split reductive group which gives the parametrization of the generaliz…
The Whittaker module $M_ψ$ and its quotient Whittaker module $L_{ψ, ξ}$ for the twisted affine Nappi-Witten Lie algebra $\widehat{H}_{4}[τ]$ are studied. For nonsingular type, it is proved that if $ξ\neq 0$, then $L_{ψ,ξ}$ is irreducible and any irreducible Whittaker $\widehat{H}_{4}[τ]$-module of type $ψ$ with ${\bf k}$ acting as a non-zero scalar $ξ$ is isomorphic to $L_{ψ,ξ}$. Furthermore, for $ξ=0$, all Whittaker vectors of $L_{ψ, 0}$ are completely determined. For singular type, the Whittaker vectors of $L_{ψ, ξ}$ with $ξ\neq 0$ are fully characterized.
We interpret values of spherical Whittaker functions on metaplectic covers of the general linear group over a nonarchimedean local field as partition functions of two different solvable lattice models. We prove the equality of these two partition functions by showing the commutativity of transfer matrices associated to different models via the Yang-Baxter equation.
Spherical Whittaker functions on the metaplectic n-fold cover of GL(r+1) over a nonarchimedean local field containing n distinct n-th roots of unity may be expressed as the partition functions of statistical mechanical systems that are variants of the six-vertex model. If n=1 then in view of the Casselman-Shalika formula this fact is related to Tokuyama's deformation of the Weyl character formula. It is shown that various properties of these Whittaker functions may be expressed in terms of the commutativity of row transfer matrices for the system. Potentially these properties (which are alread…
We describe the structure of the Whittaker or Gelfand-Graev module on a $n$-fold metaplectic cover of a $p$-adic group $G$ at both the Iwahori and spherical level. We express our answer in terms of the representation theory of a quantum group at a root of unity attached to the Langlands dual group of $G$. To do so, we introduce an algebro-combinatorial model for these modules and develop for them a Kazhdan-Lusztig theory involving new generic parameters. These parameters can either be specialized to Gauss sums to recover the $p$-adic theory or to the natural grading parameter in the representa…
We define Whittaker modules for the twisted Heisenberg-Virasoro algebra and obtain analogues to several results from the classical setting, including a classification of simple Whittaker modules by central characters.
In our earlier paper, based on a paper by Bump and Ginzburg, we used an Eisenstein series on the double cover of GL(r) to obtain an integral representation of the twisted symmetric square L-function of GL(r). Using that, we showed that the (incomplete) twisted symmetric square L-function of GL(r) is holomorphic for Re(s) > 1. In this paper, we will determine the possible poles of this Eisenstein series more precisely and show that the (incomplete) twisted symmetric square L-function is entire except possible simple poles at s = 0 and s = 1.
Let T be a split torus over local or global function field. The theory of Brylinski-Deligne gives rise to the metaplectic central extensions of T by a finite cyclic group. The representation theory of these metaplectic tori has been developped to some extent in the works of M. Weissman, G. Savin, W. T. Gan, P. McNamara and others. In this paper we propose a geometrization of this theory in the framework of the geometric Langlands program (in the everywhere nonramified case).
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…
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.
We construct Weil representations of twisted loop groups of type $A_n^{(2)}$ over local fields. We prove that the associated cover of the twisted loop group is the two fold metaplectic cover of the affine Kac-Moody group of type $A_n^{(2)}$ given by Patnaik-Puskas.
In this note, we extend the results of arxiv:1111.2266 and arxiv:1203.1583 to the non simply laced case. To this end we introduce and study the twisted zastava spaces.
We study a category of Whittaker modules over a complex semisimple Lie algebra by realizing it as a category of twisted D-modules on the associated flag variety using Beilinson-Bernstein localization. The main result of this paper is the development of a geometric algorithm for computing the composition multiplicities of standard Whittaker modules. This algorithm establishes that these multiplicities are determined by a collection of polynomials we refer to as Whittaker Kazhdan-Lusztig polynomials. In the case of trivial nilpotent character, this algorithm specializes to the usual algorithm fo…
For an arbitrary split adjoint group we identify the unramified Whittaker space with the space of skew-invariant functions on the lattice of coweights and deduce from it the Casselman-Shalika formula.
We classify contravariant pairings between standard Whittaker modules and Verma modules over a complex semisimple Lie algebra. These contravariant pairings are useful in extending several classical techniques for category $\mathcal{O}$ to the Miličić--Soergel category $\mathcal{N}$. We introduce a class of costandard modules which generalize dual Verma modules, and describe canonical maps from standard to costandard modules in terms of contravariant pairings. We show that costandard modules have unique irreducible submodules and share the same composition factors as the corresponding standard …
We propose integral representations of the Whittaker functions for the classical Lie algebras sp(2l), so(2l) and so(2l+1). These integral representations generalize the integral representation of gl(l+1)-Whittaker functions first introduced by Givental. One of the salient features of the Givental representation is its recursive structure with respect to the rank of the Lie algebra gl(l+1). The proposed generalization of the Givental representation to the classical Lie algebras retains this property. It was shown elsewhere that the integral recursion operator for gl(l+1)-Whittaker function in t…
Lapid and Mao formulated a conjecture on an explicit formula of Whittaker Fourier coefficients of automorphic forms on quasi-split classical groups and metaplectic groups as an analogue of Ichino-Ikeda conjecture. They also showed that this conjecture is reduced to a certain local identity in the case of unitary groups. In this paper, we study even unitary group case. Indeed, we prove this local identity over $p$-adic fields. Further, we prove an equivalence between this local identity and a refined formal degree conjecture over any local field of characteristic zero. As a consequence, we prov…
Let $θ$ and $θ'$ be a pair of exceptional representations in the sense of Kazhdan and Patterson [KP], of a metaplectic double cover of $GL_n$. The tensor $θ\otimesθ'$ is a (very large) representation of $GL_n$. We characterize its irreducible generic quotients. In the square-integrable case, these are precisely the representations whose symmetric square L-function has a pole at s=0. Our proof of this case involves a new globalization result. In the general case these are the representations induced from distinguished data or pairs of representations and their contragradients. The combinatorial…
In this paper, we first obtain a general result on sufficient conditions for tensor product modules to be simple over an arbitrary Lie algebra. We classify simple modules with a nice property over the infinite-dimensional Heisenberg algebra ${\H}$, and then obtain a lot of simple modules over the twisted Heisenberg-Virasoro algebra $\LL$ from generalized oscillator representations of $\LL$ by extending these $\H$-modules. We give the necessary and sufficient conditions for Whittaker modules over $\LL$ (in the more general setting) to be simple. We use the "shifting technique" to determine the …
We prove the Casselman-Shalika formula for unramified groups over a non-archimedean local field by studying the action of the spherical Hecke algebra on the space of compact spherical Whittaker functions via the twisted Satake transform. This method provides a conceptual explanation of the appearance of characters of a dual group in the Casselman-Shalika formula.
We study the twisted Weyl symbol of metaplectic operators; this requires the definition of an index for symplectic paths related to the Conley-Zehnder index. We thereafter define a metaplectically covariant algebra of pseudo-differential operators acting on functions on symplectic space.
We describe the twisted doubling integrals of Cai-Friedberg-Ginzburg-Kaplan in a conceptual way. This also extends the construction to the quaternionic unitary groups. We carry out the unfolding argument uniformly in this article. To do so, we define a family of degenerate Whittaker coefficients that are suitable in this setup and study some of their properties. We also prove certain related global and local results that use the same tools.
The notion of derivatives for smooth representations of $GL(n,\mathbb{Q}_p)$ was defined in [BZ77]. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations in [Sah89] and called the "adduced" representation. In [AGS] derivatives of all orders were defined for smooth admissible Frechet representations (of moderate growth). A key ingredient of this definition is the functor of twisted coinvariants with respect to the nilradical of the mirabolic subgroup. In this paper we prove exactness of this functor and compute it on a certain class of …
We extend Bezrukavnikov and Finkelberg's description of the G(\C[[t]])-equivariant derived category on the affine Grassmannian to the twisted setting of Finkelberg and Lysenko. Our description is in terms of coherent sheaves on the twisted dual Lie algebra. We also extend their computation of the corresponding loop rotation equivariant derived category, which is described in terms of Harish-Chandra bimodules for the twisted dual Lie algebra. To carry this out, we have to find a substitute for the functor of global equivariant cohomology. We describe such a functor, and show as in Bezrukavnikov…
We introduce a new family of twisted generalized Weyl algebras, called multiparameter twisted Weyl algebras, for which we parametrize all simple quotients of a certain kind. Both Jordan's simple localization of the multiparameter quantized Weyl algebra and Hayashi's q-analog of the Weyl algebra are special cases of this construction. We classify all simple weight modules over any multiparameter twisted Weyl algebra. Extending results by Benkart and Ondrus, we also describe all Whittaker pairs up to isomorphism over a class of twisted generalized Weyl algebras which includes the multiparameter …
Let $\mathfrak{g}$ be a complex semisimple Lie algebra. The Beilinson-Bernstein localization theorem establishes an equivalence of the category of $\mathfrak{g}$-modules of a fixed infinitesimal character and a category of modules over a twisted sheaf of differential operators on the flag variety of $\mathfrak{g}$. In this expository paper, we give four detailed examples of this theorem when $\mathfrak{g}=\mathfrak{sl}(2,\mathbb{C})$. Specifically, we describe the $\mathcal{D}$-modules associated to finite-dimensional irreducible $\mathfrak{g}$-modules, Verma modules, Whittaker modules, discre…
We develop a functorial theory of spinor and oscillator representations parallel to the theory of Schur functors for general linear groups. This continues our work on developing orthogonal and symplectic analogues of Schur functors. As such, there are a few main points in common. We define a category of representations of what might be thought of as the infinite rank pin and metaplectic groups, and give three models of this category in terms of: multilinear algebra, diagram categories, and twisted Lie algebras. We also define specialization functors to the finite rank groups and calculate the …
