arXiv subjects

Ben Brubaker

Publications and source records attributed to Ben Brubaker.

At least 19 recordsLinked to original sources

arXiv2025

Lattice Models for Double Whittaker Polynomials and Motivic Chern Classes

We will describe solvable lattice models whose partition functions depend on two sets of variables, $x_1,\cdots,x_n$ and $y_1, y_2, \cdots $ that have different connections with the representation theory of $\text{GL}(n,F)$ where $F$ is a nonarchimedean local field. If the boundary conditions are chosen in one way, they are essentially the Motivic Chern classes that were used very effectively by Aluffi, Mihalcea, Sch\"urmann and Su (AMSS) to study such problems. In particular, using this specialization we can obtain deformations $r_{u,v}$ of the Kazhdan-Lusztig R-polynomials that were used by Bump, Nakasuji and Naruse to study matrix coefficients of intertwining operators (introduced by Casselman). Thus we are able see that the recursion formula for the $r_{u,v}$ is a reflection of the Yang-Baxter equation. On the other hand, with more general boundary conditions, specializing the parameters $y_i\to 0$ we recover colored lattice models that were previously used by Brubaker, Buciumas, Bump and Gustafsson to represent Iwahori Whittaker functions on $GL(n,F)$. Thus we term the resulting two-variable-set family of functions as ``double Whittaker polynomials.''

math.RT↗

arXiv2025

Quantum superalgebras and the free-fermionic Yang-Baxter equation

The free-fermion point refers to a $\operatorname{GL}(2)\times\operatorname{GL}(1)$ parametrized Yang-Baxter equation within the six-vertex model. It has been known for a long time that this is connected with the quantum group $U_q(\mathfrak{gl}(1|1))$. We demonstrate that $R$-matrices from the finite quantum superalgebra $U_q(\mathfrak{gl}(1|1))$ produce a dense subset of the free-fermionic Yang-Baxter equations of the six-vertex model, matching those of the prime, simple modules in the affine quantum superalgebra $U_q(\widehat{\mathfrak{gl}}(1|1))$. Either of these quantum groups can be used to generate the full free-fermion point, and we discuss them both. Our discussion includes 6 families of six-vertex models used by Brubaker, Bump, and Friedberg in connection with Tokuyama's theorem, a deformation of the Weyl character formula. Thus our work gives quantum group interpretations for those models, known informally as Tokuyama ice.

math.RT↗

arXiv2024

Kirillov's conjecture on Hecke-Grothendieck polynomials

We use algebraic methods in statistical mechanics to represent a multi-parameter class of polynomials in several variables as partition functions of a new family of solvable lattice models. The class of polynomials, defined by A. N. Kirillov, is derived from the largest class of divided difference operators satisfying the braid relations of Cartan type $A$. It includes as specializations Schubert, Grothendieck, and dual-Grothendieck polynomials, among others. In particular, our results prove positivity conjectures of Kirillov for the subfamily of Hecke-Grothendieck polynomials, while the larger family is shown to exhibit rare instances of negative coefficients.

math.CO↗

arXiv2024

Metaplectic Iwahori Whittaker functions and supersymmetric lattice models

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.

math.RT↗

arXiv2023

Special Functions for Hyperoctahedral Groups Using Bosonic, Trigonometric Six-Vertex Models

Recent works have sought to realize certain families of orthogonal, symmetric polynomials as partition functions of well-chosen classes of solvable lattice models. Many of these use Boltzmann weights arising from the trigonometric six-vertex model $R$-matrix (or generalizations or specializations of these weights). In this paper, we seek new variants of bosonic models on lattices designed for type B/C root systems, whose partition functions match the zonal spherical function in type C. Under general assumptions, we find that this is possible for all highest weights in rank $2$ and $3$, but not for higher rank.

math.CO↗

arXiv2022

Solving the n-color ice model

Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named because their admissible vertices have adjacent edges labeled by one of $n$ colors with additional restrictions. The two-colored case specializes to the six-vertex model, in which case our results recover the familiar quadric condition of Baxter for solvability. The general $n$-color case includes important solutions to the Yang-Baxter equation like the evaluation modules for the quantum affine Lie algebra $U_q(\hat{\mathfrak{sl}}_n)$. Finally, we demonstrate the invariance of this class of solutions under natural transformations, including those associated with Drinfeld twisting.

math-ph↗

arXiv2022

Iwahori-metaplectic duality

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.

math.RT↗

arXiv2021

Frozen Pipes: Lattice Models for Grothendieck Polynomials

We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(β,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $β$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partition functions of solvable lattice models. Moreover, the associated quantum group of the solvable model for polynomials in $n$ pairs of variables is a Drinfeld twist of the $U_q(\widehat{\mathfrak{sl}}_{n+1})$ $R$-matrix. By leveraging the resulting Yang-Baxter equations of the lattice model, we show that these polynomials simultaneously generalize double $β$-Grothendieck polynomials and dual double $β$-Grothendieck polynomials for arbitrary permutations. We then use properties of the model and Yang-Baxter equations to reprove Fomin-Kirillov's Cauchy identity for $β$-Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial double $β$-Grothendieck polynomials, and prove a new branching rule for double $β$-Grothendieck polynomials.

math.CO↗

arXiv2020

Vertex operators, solvable lattice models and metaplectic Whittaker functions

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.

math.RT↗

arXiv2020

Colored Vertex Models and Iwahori Whittaker Functions

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.

math.RT↗

arXiv2020

Colored five-vertex models and Demazure atoms

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.

math.CO↗

arXiv2018

A Yang-Baxter equation for metaplectic ice

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.

math.RT↗

arXiv2018

Duality for metaplectic ice

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.

math-ph↗

arXiv2017

Hecke Modules from Metaplectic Ice

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.

math.RT↗

arXiv2016

On Hamiltonians for six-vertex models

In this paper, we explain a connection between a family of free-fermionic six-vertex models and a discrete time evolution operator on one-dimensional Fermionic Fock space. The family of ice models generalize those with domain wall boundary, and we focus on two sets of Boltzmann weights whose partition functions were previously shown to generalize a generating function identity of Tokuyama. We produce associated Hamiltonians that recover these Boltzmann weights, and furthermore calculate the partition functions using commutation relations and elementary combinatorics. We give an expression for these partition functions as determinants, akin to the Jacobi-Trudi identity for Schur polynomials.

math.CO↗

arXiv2015

Matrix Coefficients and Iwahori-Hecke Algebra Modules

We establish a connection between certain unique models, or equivalently unique functionals, for representations of p-adic groups and linear characters of their corresponding Hecke algebras. This allows us to give a uniform evaluation of the image of spherical and Iwahori-fixed vectors in the unramified principal series for this class of models. We provide an explicit alternator expressionfor the image of the spherical vectors under these functionals in terms of the representation theory of the dual group.

math.RT↗

arXiv2014

The 6-vertex model and deformations of the Weyl character formula

We use statistical mechanics -- variants of the six-vertex model in the plane studied by means of the Yang-Baxter equation -- to give new deformations of Weyl's character formula for classical groups of Cartan type B, C, and D, and a character formula of Proctor for type BC. In each case, the corresponding Boltzmann weights are associated to the free fermion point of the six-vertex model. These deformations add to the earlier known examples in types A and C by Tokuyama and Hamel-King, respectively. A special case for classical types recovers deformations of the Weyl denominator formula due to Okada.

math.CO↗

arXiv2011

Whittaker Functions and Demazure Operators

We consider a natural basis of the Iwahori fixed vectors in the Whittaker model of an unramified principal series representation of a split semisimple p- adic group, indexed by the Weyl group. We show that the elements of this basis may be computed from one another by applying Demazure-Lusztig operators. The precise identities involve correction terms, which may be calculated by a combinatorial algorithm that is identical to the computation of the fibers of the Bott-Samelson resolution of a Schubert variety. The Demazure-Lusztig operators satisfy the braid and quadratic relations satisfied by the ordinary Hecke operators, and this leads to an action of the affine Hecke algebra on functions on the maximal torus of the L-group. This action was previously described by Lusztig using equivariant K-theory of the flag variety, leading to the proof of the Deligne-Langlands conjecture by Kazhdan and Lusztig. In the present paper, the action is applied to give a simple formula for the basis vectors of the Iwahori Whittaker functions.

math.RT↗