Arxiv:2012.15778V2 [Math.RT] 18 Jan 2021 4.1
Total Page:16
File Type:pdf, Size:1020Kb
METAPLECTIC IWAHORI WHITTAKER FUNCTIONS AND SUPERSYMMETRIC LATTICE MODELS BEN BRUBAKER, VALENTIN BUCIUMAS, DANIEL BUMP, AND HENRIK P. A. GUSTAFSSON Abstract. In this paper we consider Iwahori Whittaker functions on n-fold metaplectic covers Ge of G(F ) with G a split reductive group over a non-archimedean local field F . For every element φ of a basis of Iwahori Whittaker functions, and for every g 2 Ge, we evaluate φ(g) by recurrence relations over the Weyl group using \vector Demazure-Whittaker operators." Specializing to the case of G = GLr, we exhibit a solvable lattice model whose partition function equals φ(g). These models are of a new type associated with the quantum affine super group Uq(glb(rjn)). The recurrence relations on the representation theory side then correspond to solutions to Yang-Baxter equations for the lattice models. Remarkably, there is a bijection between the boundary data specifying the partition function and the data determining all values of the Whittaker functions. Contents 1. Introduction2 2. Supersymmetric lattice models7 2.1. The monochrome model7 2.2. Equivalent model via fusion 11 2.3. The partition function for the ground state system 14 2.4. The R-matrix and the Yang-Baxter equation 16 2.5. Recurrence relations for the partition functions 22 3. Metaplectic Iwahori Whittaker functions 23 3.1. Metaplectic preliminaries 23 3.2. Intertwining operators and recurrence relations 29 3.3. Metaplectic Demazure-Whittaker operators 32 3.4. Averaged metaplectic Demazure-Whittaker operators 35 4. Main theorem and conclusions 37 arXiv:2012.15778v2 [math.RT] 18 Jan 2021 4.1. Metaplectic Iwahori Whittaker functions for G = GLr 38 4.2. The main theorem 39 4.3. R-matrices and p-adic intertwiners 40 References 43 2020 Mathematics Subject Classification. Primary: 22E50; Secondary: 82B23, 16T25, 05E05, 17B37, 11F70. 1 1. Introduction This work is the culmination of a series of papers [15, 9, 13, 10, 12] concerning a remarkable parallel between the theory of non-archimedean Whittaker functions and certain solvable lattice models. Our results are naturally divided into three parts represented by the subsequent sections of the paper: · The construction of a novel supersymmetric solvable lattice model connected to the quantum ^ group Uq gl(njr) using a fusion construction similar to [36]. · The computation of all values of metaplectic Iwahori Whittaker functions for split reductive groups using vector Demazure{Whittaker operators. · Connecting the above results in the special case of a metaplectic n-cover of GLr through a natural bijection between the data that specify the values for the metaplectic Iwahori Whittaker function and the boundary data for the lattice model. Taken together, these results show that quantum superalgebras and their associated lattice models are able to capture deep aspects of metaplectic group representations at the Iwahori level. Solvable lattice models arose in statistical physics. A special role in statistical mechanics is played by the partition function, a sum over states that controls the thermodynamic properties of the system. In solvable models, a remarkable tool, the Yang-Baxter equation, reveals unexpected symmetries of the partition function and connects to quantum groups. Solvable lattice models appear in a wide variety of different contexts, such as conformal and quantum field theory (e.g. [3, 6, 30, 29]), algebraic combinatorics ([51, 14, 20]), and integrable probability ([7, 28, 8, 1]). Surprisingly, there exist solvable lattice models whose partition functions match functions from p-adic representation theory. As the starting point of this discussion let us take the \Tokuyama model," a kind of six-vertex model where a state of the model is an assignment of \spins" to the edges of a two-dimensional grid, with six allowed configurations of spins at each vertex. The partition functions are recognizable as spherical Whittaker functions on GLr(F ), with F a non-archimedean local field. These models appeared in [49, 32, 16] and their relation to GLr(F ) is explained in [17], Chapter 19. The spherical Whittaker functions represented by the Tokuyama model are unique in two ways: in this setting Whittaker functionals are unique, and the spherical vector in the representation is also unique. We will report on two generalizations, each removing a uniqueness. In [9], solvable lattice models called metaplectic ice were constructed whose partition functions are spherical Whittaker functions on a degree n metaplectic central extension of GLr(F ), provided F contains enough roots of unity. Due to non-commutativity of the metaplectic torus, there is no longer a unique Whittaker functional, leading to an nr- dimensional space of metaplectic spherical Whittaker functions. The setup in [9] exhibits a model for each Whittaker function in a chosen basis. A common feature for the Tokuyama model and metaplectic ice is the focus on spherical Whittaker functions, meaning that they arise from a spherical vector in the unramified principal series invariant under the maximal compact subgroup. Yet it is important to have models for other Whittaker functions, particularly those fixed by the smaller Iwahori subgroup, since these better capture the representation theory of the p-adic group. 2 For the nonmetaplectic Iwahori case treated in [12], inspired by ideas in [8], we exhibited lattice models whose partitions functions are Whittaker functions invariant under an Iwahori subgroup, thereby relaxing another condition for uniqueness. For GLr(F ) there is an r!- dimensional space of Iwahori fixed vectors. In this paper, we will simultaneously generalize both [9] and [12] by exhibiting solvable lattice models whose partition functions are Iwahori Whittaker functions on a metaplectic n-cover of GLr(F ). One way to tidily express these increasing levels of generality is via the quantum group R-matrices that imply solvability of the respective models. To be precise, the R-matrix will be a Drinfeld twist of a quantum group module as highlighted in Figure1. This will ultimately give us a connection between quantum and non-archimedean representation theories in Section 4.3 via the maps induced by intertwiners on the spaces of Whittaker functionals and Iwahori fixed vectors. GLr metaplectic n-cover of GLr no scolors n scolors (or charges) spherical vector Tokuyama ice [16] Metaplectic ice [15,9] n=1 no colors Uq(glb(1j1)) Uq(glb(1jn)) identify colors identify colors Iwahori fixed vector Iwahori ice [12] Metaplectic Iwahori ice n=1 r colors Uq(glb(rj1)) Uq(glb(rjn)) Figure 1. Summary of the different lattice models for non-archimedean Whittaker functions. The arrows indicate how results from this paper generalize and recover previous results of the indicated citations. The horizontal arrows reflect the fact that the models in the left columns are special cases (with n = 1) of the models in the right column. If the boundary spins of the colored system are restricted to a single color, we recover the Tokuyama or metaplectic ice models. To look at it another way, the vertical arrows reflect the fact that the spherical Whittaker function is the sum of Iwahori Whittaker functions. The models in each of these four cases consist of a grid, whose edges are allowed to take on a limited number of values called spins. In the Tokuyama model, there are only two spins. In a state of the system, the spins can be organized into paths or lines through the grid, beginning on the top boundary and ending on the right. In the models of [12], the number of spins is increased, and the new spins are called colors. A state of the system may be described by the configuration of distinctly colored paths. Using such models with r colors we may represent a basis of Iwahori Whittaker functions on GLr. The models of [9] do not use colors, but a different scheme involving an attribute called charge, which is replaced by an equivalent scheme in this paper. If we reimagine [9] using the technology of this paper, there are again paths, but these move down and to the left to terminate on the left boundary. To distinguish these paths from the colored ones in [12], we will call their attribute super color, or simply scolor, instead of color. To model all nr Whittaker functionals, a given scolor may appear on multiple lines. 3 The colors and scolors are combined together in this paper, and roughly the colors are used to distinguish Iwahori fixed vectors while the scolors are used to distinguish different Whittaker functionals. The reason for the name \scolor" is to showcase the symmetry with colors, which is also manifested in the quantum super group Uq(glb(njr)) associated to the Yang-Baxter equation for this model. With the quantum group interpretation, the r colors and the n scolors correspond to a basis of the n + r dimensional defining module for this quantum group. Thus we think of the scolors or super colors as supersymmetric counterparts of the colors. In order to achieve the results of this paper there is work to be done both in the theory of these lattice models and in the theory of metaplectic Iwahori Whittaker functions for the unramified principal series. Both sides of this parallel involve recurrences made with certain divided difference operators, called Demazure-Whittaker operators, in which there appear Gauss sums. In the representation theory side, such recurrences were developed in [18, 26, 44, 41]. This paper redevelops this theory by introducing new vector metaplectic Demazure-Whittaker operators. Previous literature [26, 44, 41, 42] has focused on a particular (averaged) metaplectic Whittaker functional and associated Demazure-Whittaker operators, while our operators treat the vector of all Whittaker functionals. We develop the metaplectic theory in the context of a general split reductive group G, with some new results. For example, while previous works have mainly focused on the values of the metaplectic Iwahori Whittaker functions restricted to the metaplectic torus, we compute all values for the metaplectic Iwahori Whittaker functions and specify a convenient set of combinatorial data to describe the associated group element arguments in G(F ).