SearcharxivSearch

arXiv · 1806.07776

Vertex operators, solvable lattice models and metaplectic Whittaker functions

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, 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.

Explore related subjects

Keep this discovery

BibTeXRIS

Ben Brubaker, Valentin Buciumas, Daniel Bump, Henrik P. A. Gustafsson. 2018-06-20. Vertex operators, solvable lattice models and metaplectic Whittaker functions. https://arxiv.org/abs/1806.07776

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT