-
Metaplectic Covers of $p$-adic Groups and Quantum Groups at Roots of Unity
Authors:
Valentin Buciumas,
Manish M. Patnaik
Abstract:
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…
▽ More
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 representation theory of quantum groups. As an application of our results, we deduce geometric Casselman-Shalika type results for metaplectic covers, conjectured in a slightly different form by S. Lysenko, as well as prove a variant of G. Savin's local Shimura type correspondences at the Whittaker level.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Iwahori-metaplectic duality
Authors:
Ben Brubaker,
Valentin Buciumas,
Daniel Bump,
Henrik P. A. Gustafsson
Abstract:
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…
▽ More
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 Whittaker functions could be represented as "half-vertex operators" operating on the $q$-Fock space of Kashiwara, Miwa and Stern. In this paper the same is shown for all the members of this more general family of lattice models including the one representing Iwahori Whittaker functions.
△ Less
Submitted 8 September, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Quasi-solvable lattice models for $\mathrm{Sp}_{2n}$ and $\mathrm{SO}_{2n+1}$ Demazure atoms and characters
Authors:
Valentin Buciumas,
Travis Scrimshaw
Abstract:
We construct colored lattice models whose partition functions represent symplectic and odd orthogonal Demazure characters and atoms. We show that our lattice models are not solvable, but we are able to show the existence of sufficiently many solutions of the Yang--Baxter equation that allows us to compute functional equations for the corresponding partition functions. From these functional equatio…
▽ More
We construct colored lattice models whose partition functions represent symplectic and odd orthogonal Demazure characters and atoms. We show that our lattice models are not solvable, but we are able to show the existence of sufficiently many solutions of the Yang--Baxter equation that allows us to compute functional equations for the corresponding partition functions. From these functional equations, we determine that the partition function of our models are the Demazure atoms and characters for the symplectic and odd orthogonal Lie groups. We coin our lattice models as quasi-solvable. We use the natural bijection of admissible states in our models with Proctor patterns to give a right key algorithm for reverse King tableaux and Sundaram tableaux.
△ Less
Submitted 8 May, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
Metaplectic Iwahori Whittaker functions and supersymmetric lattice models
Authors:
Ben Brubaker,
Valentin Buciumas,
Daniel Bump,
Henrik P. A. Gustafsson
Abstract:
In this paper we compute new values of Iwahori Whittaker functions on $n$-fold metaplectic covers $\widetilde{G}$ of $\mathbf{G}(F)$ with $\mathbf{G}$ a split reductive group over a non-archimedean local field $F$. For every Iwahori Whittaker function $φ$, and for every $g\in\widetilde{G}$, we evaluate $φ(g)$ by recurrence relations over the Weyl group using novel "vector Demazure-Whittaker operat…
▽ More
In this paper we compute new values of Iwahori Whittaker functions on $n$-fold metaplectic covers $\widetilde{G}$ of $\mathbf{G}(F)$ with $\mathbf{G}$ a split reductive group over a non-archimedean local field $F$. For every Iwahori Whittaker function $φ$, and for every $g\in\widetilde{G}$, we evaluate $φ(g)$ by recurrence relations over the Weyl group using novel "vector Demazure-Whittaker operators." The general formula and strategy of proof are inspired by ideas appearing in the theory of integrable systems. Specializing to the case of $\mathbf{G} = \mathbf{GL}_r$, we construct a solvable lattice model of a new type associated with the quantum affine super group $U_q(\widehat{\mathfrak{gl}}(r|n))$ and prove that its partition function equals $φ(g)$. To prove this equality we match the recurrence relations on the lattice model side (obtained from the Yang-Baxter equation) to the recurrence relations for $φ(g)$ derived by using the representation theory of $\widetilde{G}$. Remarkably, there is a bijection between the boundary data specifying the partition function and the data determining all values of the Whittaker functions.
△ Less
Submitted 28 February, 2024; v1 submitted 31 December, 2020;
originally announced December 2020.
-
Double Grothendieck polynomials and colored lattice models
Authors:
Valentin Buciumas,
Travis Scrimshaw
Abstract:
We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt [arXiv:2003.07342] relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model…
▽ More
We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt [arXiv:2003.07342] relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model. We use our semidual model and the five-vertex model of Motegi and Sakai to given a new proof that double Grothendieck polynomials for vexillary permutations are equal to flagged factorial Grothendieck polynomials. Taking the stable limit of double Grothendieck polynomials, we obtain a new proof that the stable limit is a factorial Grothendieck polynomial as defined by McNamara. The states of our semidual model naturally correspond to families of nonintersecting lattice paths, where we can then use the Lindström-Gessel-Viennot lemma to give a determinant formula for double Schubert polynomials corresponding to vexillary permutations.
△ Less
Submitted 26 October, 2020; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Colored five-vertex models and Lascoux polynomials and atoms
Authors:
Valentin Buciumas,
Travis Scrimshaw,
Katherine Weber
Abstract:
We construct an integrable colored five-vertex model whose partition function is a Lascoux atom based on the five-vertex model of Motegi and Sakai [arXiv:1305.3030] and the colored five-vertex model of Brubaker, the first author, Bump, and Gustafsson [arXiv:1902.01795]. We then modify this model in two different ways to construct a Lascoux polynomial, yielding the first known combinatorial interpr…
▽ More
We construct an integrable colored five-vertex model whose partition function is a Lascoux atom based on the five-vertex model of Motegi and Sakai [arXiv:1305.3030] and the colored five-vertex model of Brubaker, the first author, Bump, and Gustafsson [arXiv:1902.01795]. We then modify this model in two different ways to construct a Lascoux polynomial, yielding the first known combinatorial interpretation of a Lascoux polynomial and atom. Using this, we prove a conjectured combinatorial interpretation in terms of set-valued tableaux of a Lascoux polynomial and atom due to Pechenik and the second author [arXiv:1904.09674]. We also prove the combinatorial interpretation of the Lascoux atom using set-valued skyline tableaux of Monical [arXiv:1611.08777].
△ Less
Submitted 31 March, 2020; v1 submitted 20 August, 2019;
originally announced August 2019.
-
Colored Vertex Models and Iwahori Whittaker Functions
Authors:
Ben Brubaker,
Valentin Buciumas,
Daniel Bump,
Henrik P. A. Gustafsson
Abstract:
We give a recursive method for computing all values of a basis of Whittaker functions for unramified principal series invariant under an Iwahori or parahoric subgroup of a split reductive group $G$ over a nonarchimedean local field $F$. Structures in the proof have surprising analogies to features of certain solvable lattice models. In the case $G=\mathrm{GL}_r$ we show that there exist solvable l…
▽ More
We give a recursive method for computing all values of a basis of Whittaker functions for unramified principal series invariant under an Iwahori or parahoric subgroup of a split reductive group $G$ over a nonarchimedean local field $F$. Structures in the proof have surprising analogies to features of certain solvable lattice models. In the case $G=\mathrm{GL}_r$ we show that there exist solvable lattice models whose partition functions give precisely all of these values. Here `solvable' means that the models have a family of Yang-Baxter equations which imply, among other things, that their partition functions satisfy the same recursions as those for Iwahori or parahoric Whittaker functions. The R-matrices for these Yang-Baxter equations come from a Drinfeld twist of the quantum group $U_q(\widehat{\mathfrak{gl}}(r|1))$, which we then connect to the standard intertwining operators on the unramified principal series.
We use our results to connect Iwahori and parahoric Whittaker functions to variations of Macdonald polynomials.
△ Less
Submitted 7 June, 2020; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Polynomial functors and two-parameter quantum symmetric pairs
Authors:
Valentin Buciumas,
Hankyung Ko
Abstract:
We develop a theory of two-parameter quantum polynomial functors. Similar to how (strict) polynomial functors give a new interpretation of polynomial representations of the general linear groups $\operatorname{GL}_n$, the two-parameter polynomial functors give a new interpretation of (polynomial) representations of the quantum symmetric pair $(U_{Q,q}^B(\mathfrak{gl}_n), U_q(\mathfrak{gl}_n) )$ wh…
▽ More
We develop a theory of two-parameter quantum polynomial functors. Similar to how (strict) polynomial functors give a new interpretation of polynomial representations of the general linear groups $\operatorname{GL}_n$, the two-parameter polynomial functors give a new interpretation of (polynomial) representations of the quantum symmetric pair $(U_{Q,q}^B(\mathfrak{gl}_n), U_q(\mathfrak{gl}_n) )$ which specializes to type AIII/AIV quantum symmetric pairs. The coideal subalgebra $U_{Q,q}^B(\mathfrak{gl}_n)$ appears in a Schur-Weyl duality with the type B Hecke algebra $\mathcal H^B_{Q,q}(d)$. We endow two-parameter polynomial functors with a cylinder braided structure which we use to construct the two-parameter Schur functors. Our polynomial functors can be precomposed with the quantum polynomial functors of type A producing new examples of action pairs.
△ Less
Submitted 23 January, 2020; v1 submitted 29 April, 2019;
originally announced April 2019.
-
Colored five-vertex models and Demazure atoms
Authors:
Ben Brubaker,
Valentin Buciumas,
Daniel Bump,
Henrik P. A. Gustafsson
Abstract:
Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara'…
▽ More
Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara's $\mathcal{B}_\infty$ crystal and give new algorithms for computing Lascoux-Schützenberger keys.
△ Less
Submitted 19 March, 2020; v1 submitted 5 February, 2019;
originally announced February 2019.
-
Vertex operators, solvable lattice models and metaplectic Whittaker functions
Authors:
Ben Brubaker,
Valentin Buciumas,
Daniel Bump,
Henrik P. A. Gustafsson
Abstract:
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…
▽ More
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 of KMS by Drinfeld twisting to introduce Gauss sums into the quantum wedge, which are necessary for connections to metaplectic forms. Our main theorem interprets the row transfer matrices of this ice model as `half' vertex operators on quantum Fock space that intertwine with the action of $U_q(\widehat{\mathfrak{sl}}(n))$.
In the process, we introduce new symmetric functions termed \textit{metaplectic symmetric functions} and explain how they relate to Whittaker functions on an $n$-fold metaplectic cover of GL$_r$. These resemble \textit{LLT polynomials} introduced by Lascoux, Leclerc and Thibon; in fact the metaplectic symmetric functions are (up to twisting) specializations of \textit{supersymmetric LLT polynomials} defined by Lam. Indeed Lam constructed families of symmetric functions from Heisenberg algebra actions on the Fock space commuting with the $U_q(\widehat{\mathfrak{sl}}(n))$-action. We explain that half vertex operators agree with Lam's construction and this interpretation allows for many new identities for metaplectic symmetric and Whittaker functions, including Cauchy identities. While both metaplectic symmetric functions and LLT polynomials can be related to vertex operators on the $q$-Fock space, only metaplectic symmetric functions are connected to solvable lattice models.
△ Less
Submitted 12 June, 2020; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Duality for metaplectic ice
Authors:
Ben Brubaker,
Valentin Buciumas,
Daniel Bump,
Nathan Gray
Abstract:
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.
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.
△ Less
Submitted 13 April, 2018; v1 submitted 19 September, 2017;
originally announced September 2017.
-
Quantum polynomial functors from $e$-Hecke pairs
Authors:
Valentin Buciumas,
Hankyung Ko
Abstract:
We define a new category of quantum polynomial functors extending the quantum polynomials introduced by Hong and Yacobi. We show that our category has many properties of the category of Hong and Yacobi and is the natural setting in which one can define composition of quantum polynomial functors. Throughout the paper we highlight several key differences between the theory of classical and quantum p…
▽ More
We define a new category of quantum polynomial functors extending the quantum polynomials introduced by Hong and Yacobi. We show that our category has many properties of the category of Hong and Yacobi and is the natural setting in which one can define composition of quantum polynomial functors. Throughout the paper we highlight several key differences between the theory of classical and quantum polynomial functors.
△ Less
Submitted 13 July, 2018; v1 submitted 14 August, 2017;
originally announced August 2017.
-
Hecke Modules from Metaplectic Ice
Authors:
Ben Brubaker,
Valentin Buciumas,
Daniel Bump,
Solomon Friedberg
Abstract:
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 ne…
▽ More
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$-matrices of quantum groups depending on the cover degree and associated root system.
△ Less
Submitted 18 October, 2017; v1 submitted 3 April, 2017;
originally announced April 2017.
-
A Yang-Baxter equation for metaplectic ice
Authors:
Ben Brubaker,
Valentin Buciumas,
Daniel Bump
Abstract:
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 eq…
▽ More
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}}(\widehat{\mathfrak{gl}}(1|n))$, modified by Drinfeld twisting to introduce Gauss sums. (The deformation parameter $v$ is specialized to the inverse of the residue field cardinality.) For principal series representations of metaplectic groups, the Whittaker models are not unique. The scattering matrix for the standard intertwining operators is vector valued. For a simple reflection, it was computed by Kazhdan and Patterson, who applied it to generalized theta series. We will show that the scattering matrix on the space of Whittaker functions for a simple reflection coincides with the twisted $R$-matrix of the quantum group $U_{\sqrt{v}}(\widehat{\mathfrak{gl}}(n))$. This is a piece of the twisted $R$-matrix for $U_{\sqrt{v}}(\widehat{\mathfrak{gl}}(1|n))$, mentioned above.
△ Less
Submitted 31 August, 2018; v1 submitted 7 April, 2016;
originally announced April 2016.
-
Quantum groups obtained from solutions to the parametrized Yang-Baxter equation
Authors:
Valentin Buciumas
Abstract:
In this article we use a parametrized version of the FRT construction to construct two new coquasitriangular Hopf algebras. The first one, $\widehat{SL_q(2)}$, is a quantization of the coordinate ring on affine $SL(2)$. We show that there is a duality relation between this object and the more well-known $U_q(\widehat{\mathfrak{sl}_2})$. We then build certain irreducible comodules of this Hopf alge…
▽ More
In this article we use a parametrized version of the FRT construction to construct two new coquasitriangular Hopf algebras. The first one, $\widehat{SL_q(2)}$, is a quantization of the coordinate ring on affine $SL(2)$. We show that there is a duality relation between this object and the more well-known $U_q(\widehat{\mathfrak{sl}_2})$. We then build certain irreducible comodules of this Hopf algebra and prove an irreducibility criterion for their tensor product in the spirit of Chari and Pressley.
The second object is built from a solution of the parametrized Yang-Baxter equation with parameter group $GL(2, \mathbb{C}) \times GL (1,\mathbb{C})$. This solution doesn't come from any known quantum group, though it is related to both solutions coming from $U_{\pm i}(\widehat{\mathfrak{sl}_2})$ and $U_q(\widehat{\mathfrak{gl}(1|1)})$. We then study certain irreducible comodules of this newly built object.
△ Less
Submitted 15 November, 2016; v1 submitted 12 February, 2016;
originally announced February 2016.