arXiv++ Combinatorics

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ürmann 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.''

We give an algebraic (non-analytic) proof of the deformed boson-fermion Fock space construction of Molev's double supersymmetric Schur functions, among other results, from our previous paper. In other words, we make no assumptions on the variables and parameters. By specializing to a finite number of variables and shifting parameters, we recover the factorial Schur functions. Furthermore, we realize the bosonic construction through a representation of a completion of the infinite rank general linear Lie algebra.

We use a double shifted power analog of free fermion fields to introduce current operators, Hamiltonians, and vertex operators which are deformed by two families of parameters and satisfy analogous formulas to the classical case. We show that the deformed half vertex operators correspond to the row transfer matrices of a solvable six vertex model recently given by Naprienko [arXiv:2301.12110], which under a specialization yields the factorial Schur functions (up to a reindexing of parameters). As a consequence, we show that under the boson-fermion correspondence using our deformed half vertex operators, the natural basis (under this specialization) maps to the double factorial Schur functions. Furthermore, the image of the natural basis vectors are tau function solutions to the 2D Toda lattice.

Let $(π_{\mathbf{z}},V_{\mathbf{z}})$ be an unramified principal series representation of a reductive group over a nonarchimedean local field, parametrized by an element $\mathbf{z}$ of the maximal torus in the Langlands dual group. If $v$ is an element of the Weyl group $W$, then the standard intertwining integral $\mathcal{A}_v$ maps $V_{\mathbf{z}}$ to $V_{v\mathbf{z}}$. Letting $ψ^{\mathbf{z}}_w$ with $w\in W$ be a suitable basis of the Iwahori fixed vectors in $V_{\mathbf{z}}$, and $\widehatψ^{\mathbf{z}}_w$ a basis of the contragredient representation, we define $σ(u,v,w)$ (for $u,v,w\in W$) to be $\langle \mathcal{A}_vψ_u^{\mathbf{z}},\widehatψ^{v\mathbf{z}}_w\rangle$. This is an interesting function and we initiate its study. We show that given $u$ and $w$, there is a minimal $v$ such that $σ(u,v,w)\neq 0$. Denoting this $v$ as $v_\hbox{min}=v_\hbox{min}(u,w)$, we will prove that $σ(u,v_\hbox{min},w)$ is a polynomial of the cardinality $q$ of the residue field. Indeed if $v>v_\hbox{min}$, then $σ(u,v,w)$ is a rational function of $\mathbf{z}$ and $q$, whose denominator we describe. But if $v=v_\hbox{min}$, the dependence on $\mathbf{z}$ disappears. We will express $σ(u,v_\hbox{min},w)$ as the Poincaré polynomial of a Bruhat interval. The proof leads to fairly intricate considerations of the Bruhat order. Thus our results require us to prove some facts that may be of independent interest, relating the Bruhat order $\leqslant$ and the weak Bruhat order $\leqslant_R$. For example we will prove (for finite Coxeter groups) the following "mixed meet" property. If $u, w$ are elements of $W$, then there exists a unique element $m \in W$ that is maximal with respect to the condition that $m \leqslant_R u$ and $m \leqslant w$. Thus if $z \leqslant_R u$ and $z \leqslant w$, then $x \leqslant m$. The value $v_\hbox{min}$ is $m^{-1}u$.

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.

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.

A problem in representation theory of $p$-adic groups is the computation of the \textit{Casselman basis} of Iwahori fixed vectors in the spherical principal series representations, which are dual to the intertwining integrals. We shall express the transition matrix $(m_{u,v})$ of the Casselman basis to another natural basis in terms of certain polynomials which are deformations of the Kazhdan-Lusztig R-polynomials. As an application we will obtain certain new functional equations for these transition matrices under the algebraic involution sending the residue cardinality $q$ to $q^{-1}$. We will also obtain a new proof of a surprising result of Nakasuji and Naruse that relates the matrix $(m_{u,v})$ to its inverse.

Factorial Schur functions are generalizations of Schur functions that have, in addition to the usual variables, a second family of "shift" parameters. We show that a factorial Schur function times a deformation of the Weyl denominator may be expressed as the partition function of a particular statistical-mechanical system (six vertex model). The proof is based on the Yang-Baxter equation. There is a deformation parameter $t$ which may be specialized in different ways. If $t=-1$, then we recover the expression of the factorial Schur function as a ratio of alternating polynomials. If $t=0$, we recover the description as a sum over tableaux. If $t=\infty$ we recover a description of Lascoux that was previously considered by McNamara. We also are able to prove using the Yang-Baxter equation the asymptotic symmetry of the factorial Schur functions in the shift parameters. Finally, we give a proof using our methods of the dual Cauchy identity for factorial Schur functions. Thus using our methods we are able to give thematic proofs of many of the properties of factorial Schur functions.

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 already proved by other methods, but very nontrivial) are amenable to proof by the Yang-Baxter equation.

The Casselman basis of Iwahori fixed vectors in a principal series representation of a p-adic group G is dual to the standard intertwining operators. To compute it one must compute a matrix m(u,v) indexed by pairs of Weyl group elements. This matrix is upper triangular with respect to the Bruhat order. In general this matrix is difficult to compute but it is shown that certain elements have a nice expression. This is also true of the inverse matrix to m(u,v). This leads to interesting conjectures regarding the Bruhat order.

We show that within the six-vertex model there is a parametrized Yang-Baxter equation with nonabelian parameter group GL(2)xGL(1) at the center of the disordered regime. As an application we rederive deformations of the Weyl character formule of Tokuyama and of Hamel and King.