Showing 1–14 of 14 results for author: Gustafsson, H P A

The Schützenberger involution and colored lattice models

Authors: Henrik P. A. Gustafsson, Carl Westerlund

Abstract: Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variant… ▽ More Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta. For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions. △ Less

Submitted 12 May, 2025; originally announced May 2025.

MSC Class: 82B23 (Primary) 16T25; 05E10; 05A19; 05E05 (Secondary)

Quantum superalgebras and the free-fermionic Yang-Baxter equation

Authors: Ben Brubaker, Daniel Bump, Henrik P. A. Gustafsson

Abstract: 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-… ▽ More 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. △ Less

Submitted 2 July, 2025; v1 submitted 31 March, 2025; originally announced March 2025.

MSC Class: 82B23 (Primary) 16T25; 05E10; 17B37; 17B10 (Secondary)

The Cohomological Sarnak-Xue Density Hypothesis for $SO_5$

Authors: Shai Evra, Mathilde Gerbelli-Gauthier, Henrik P. A. Gustafsson

Abstract: We prove the cohomological version of the Sarnak--Xue Density Hypothesis for $SO_{5}$ over a totally real field and for inner forms split at all finite places. The proof relies on recent lines of work in the Langlands program: (i) Arthur's Endoscopic Classification of Representations of classical groups, extended to inner forms by Taïbi and its explicit description for $SO_{5}$ by Schmidt, and (ii… ▽ More We prove the cohomological version of the Sarnak--Xue Density Hypothesis for $SO_{5}$ over a totally real field and for inner forms split at all finite places. The proof relies on recent lines of work in the Langlands program: (i) Arthur's Endoscopic Classification of Representations of classical groups, extended to inner forms by Taïbi and its explicit description for $SO_{5}$ by Schmidt, and (ii) the Generalized Ramanujan--Petersson Theorem, proved for cohomological self-dual cuspidal representations of general linear groups. We give applications to the growth of cohomology of arithmetic manifolds, density-Ramanujan complexes, cutoff phenomena and optimal strong approximation. △ Less

Submitted 25 June, 2025; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: 74 pages, minor revisions to Section 2 and Section 8

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.

Comments: v2: there have been substantial additions and rewritings to the paper. New main theorems D, E and Corollary F. Section 5 and most of Section 4 are new v3: new Cor 4.7, fixed exposition in some places

MSC Class: Primary: 82B23 Secondary: 22E50; 16T25; 05E05; 17B37; 17B69

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.

MSC Class: 22E50; 82B23; 16T25; 05E05; 17B37; 11F70

Eulerianity of Fourier coefficients of automorphic forms

Authors: Dmitry Gourevitch, Henrik P. A. Gustafsson, Axel Kleinschmidt, Daniel Persson, Siddhartha Sahi

Abstract: We study the question of Eulerianity (factorizability) for Fourier coefficients of automorphic forms, and we prove a general transfer theorem that allows one to deduce the Eulerianity of certain coefficients from that of another coefficient. We also establish a `hidden' invariance property of Fourier coefficients. We apply these results to minimal and next-to-minimal automorphic representations, a… ▽ More We study the question of Eulerianity (factorizability) for Fourier coefficients of automorphic forms, and we prove a general transfer theorem that allows one to deduce the Eulerianity of certain coefficients from that of another coefficient. We also establish a `hidden' invariance property of Fourier coefficients. We apply these results to minimal and next-to-minimal automorphic representations, and deduce Eulerianity for a large class of Fourier and Fourier-Jacobi coefficients. In particular, we prove Eulerianity for parabolic Fourier coefficients with characters of maximal rank for a class of Eisenstein series in minimal and next-to-minimal representations of groups of ADE-type that are of interest in string theory. △ Less

Submitted 3 March, 2021; v1 submitted 29 April, 2020; originally announced April 2020.

Comments: 28 pages. v2: Clarified connection to Fourier-Jacobi coefficients and references added. v3: Minor corrections

MSC Class: 11F30; 11F70; 22E55; 20G45

Fourier coefficients of minimal and next-to-minimal automorphic representations of simply-laced groups

Authors: Dmitry Gourevitch, Henrik P. A. Gustafsson, Axel Kleinschmidt, Daniel Persson, Siddhartha Sahi

Abstract: In this paper we analyze Fourier coefficients of automorphic forms on a finite cover $G$ of an adelic split simply-laced group. Let $π$ be a minimal or next-to-minimal automorphic representation of $G$. We prove that any $η\in π$ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to… ▽ More In this paper we analyze Fourier coefficients of automorphic forms on a finite cover $G$ of an adelic split simply-laced group. Let $π$ be a minimal or next-to-minimal automorphic representation of $G$. We prove that any $η\in π$ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to the Piatetski-Shapiro--Shalika formula for cusp forms on $GL_n$. We also derive explicit formulas expressing the form, as well as all its maximal parabolic Fourier coefficient in terms of these Whittaker coefficients. A consequence of our results is the non-existence of cusp forms in the minimal and next-to-minimal automorphic spectrum. We provide detailed examples for $G$ of type $D_5$ and $E_8$ with a view towards applications to scattering amplitudes in string theory. △ Less

Submitted 7 October, 2019; v1 submitted 21 August, 2019; originally announced August 2019.

Comments: 46 pages, this paper builds upon and extends the results of the second half of arXiv:1811.05966v1, which was split into two parts. The first part (with new title) is arXiv:1811.05966v2 and the present paper is an extension of the second part; v2: minor improvements, typos corrected

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.

MSC Class: 22E50 (Primary) 11F70; 82B23; 16T25; 05E05 (Secondary)

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.

MSC Class: 05E10 (Primary) 16T25; 82B23; 05E05 (Secondary)

A reduction principle for Fourier coefficients of automorphic forms

Authors: Dmitry Gourevitch, Henrik P. A. Gustafsson, Axel Kleinschmidt, Daniel Persson, Siddhartha Sahi

Abstract: We consider a general class of Fourier coefficients for an automorphic form on a finite cover of a reductive adelic group ${\bf G}(\mathbb{A}_{\mathbb{K}})$, associated to the data of a `Whittaker pair'. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal ele… ▽ More We consider a general class of Fourier coefficients for an automorphic form on a finite cover of a reductive adelic group ${\bf G}(\mathbb{A}_{\mathbb{K}})$, associated to the data of a `Whittaker pair'. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal elements for the quasi-order are `Levi-distinguished' Fourier coefficients, which correspond to taking the constant term along the unipotent radical of a parabolic subgroup, and then further taking a Fourier coefficient with respect to a $\mathbb{K}$-distinguished nilpotent orbit in the Levi quotient. Thus one can express any Fourier coefficient, including the form itself, in terms of higher Levi-distinguished coefficients. In follow-up papers we use this result to determine explicit Fourier expansions of minimal and next-to-minimal automorphic forms on split simply-laced reductive groups, and to obtain Euler product decompositions of their top Fourier coefficients. △ Less

Submitted 3 March, 2021; v1 submitted 14 November, 2018; originally announced November 2018.

Comments: 39 pages. v2: Extended results and paper split into two parts with second part appearing soon. New title to reflect new focus of this part. v3: Minor corrections and updated reference to the second part that has appeared as arXiv:1908.08296. v4: Minor corrections and reformulations. v5: Restructured exposition with more details on the reduction algorithm

MSC Class: 11F30; 11F70; 22E55; 20G45

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.

Comments: v3 changes: minor edits

MSC Class: 22E50 (primary); 05E05; 17B69; 20G42 (secondary)

Fourier coefficients attached to small automorphic representations of ${\mathrm{SL}}_n(\mathbb{A})$

Authors: Olof Ahlén, Henrik P. A. Gustafsson, Axel Kleinschmidt, Baiying Liu, Daniel Persson

Abstract: We show that Fourier coefficients of automorphic forms attached to minimal or next-to-minimal automorphic representations of ${\mathrm{SL}}_n(\mathbb{A})$ are completely determined by certain highly degenerate Whittaker coefficients. We give an explicit formula for the Fourier expansion, analogously to the Piatetski-Shapiro-Shalika formula. In addition, we derive expressions for Fourier coefficien… ▽ More We show that Fourier coefficients of automorphic forms attached to minimal or next-to-minimal automorphic representations of ${\mathrm{SL}}_n(\mathbb{A})$ are completely determined by certain highly degenerate Whittaker coefficients. We give an explicit formula for the Fourier expansion, analogously to the Piatetski-Shapiro-Shalika formula. In addition, we derive expressions for Fourier coefficients associated to all maximal parabolic subgroups. These results have potential applications for scattering amplitudes in string theory. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: 55 pages

MSC Class: 11F70; 22E55; 11F30

Eisenstein series and automorphic representations

Authors: Philipp Fleig, Henrik P. A. Gustafsson, Axel Kleinschmidt, Daniel Persson

Abstract: We provide an introduction to the theory of Eisenstein series and automorphic forms on real simple Lie groups G, emphasising the role of representation theory. It is useful to take a slightly wider view and define all objects over the (rational) adeles A, thereby also paving the way for connections to number theory, representation theory and the Langlands program. Most of the results we present ar… ▽ More We provide an introduction to the theory of Eisenstein series and automorphic forms on real simple Lie groups G, emphasising the role of representation theory. It is useful to take a slightly wider view and define all objects over the (rational) adeles A, thereby also paving the way for connections to number theory, representation theory and the Langlands program. Most of the results we present are already scattered throughout the mathematics literature but our exposition collects them together and is driven by examples. Many interesting aspects of these functions are hidden in their Fourier coefficients with respect to unipotent subgroups and a large part of our focus is to explain and derive general theorems on these Fourier expansions. Specifically, we give complete proofs of the Langlands constant term formula for Eisenstein series on adelic groups G(A) as well as the Casselman--Shalika formula for the p-adic spherical Whittaker function associated to unramified automorphic representations of G(Q_p). In addition, we explain how the classical theory of Hecke operators fits into the modern theory of automorphic representations of adelic groups, thereby providing a connection with some key elements in the Langlands program, such as the Langlands dual group LG and automorphic L-functions. Somewhat surprisingly, all these results have natural interpretations as encoding physical effects in string theory. We therefore also introduce some basic concepts of string theory, aimed toward mathematicians, emphasising the role of automorphic forms. In particular, we provide a detailed treatment of supersymmetry constraints on string amplitudes which enforce differential equations of the same type that are satisfied by automorphic forms. Our treatise concludes with a detailed list of interesting open questions and pointers to additional topics which go beyond the scope of this book. △ Less

Submitted 6 July, 2016; v1 submitted 13 November, 2015; originally announced November 2015.

Comments: 326 pages. Detailed and example-driven exposition of the subject with highlighted applications to string theory. v2: 375 pages. Substantially extended and small corrections

Small automorphic representations and degenerate Whittaker vectors

Authors: Henrik P. A. Gustafsson, Axel Kleinschmidt, Daniel Persson

Abstract: We investigate Fourier coefficients of automorphic forms on split simply-laced Lie groups G. We show that for automorphic representations of small Gelfand-Kirillov dimension the Fourier coefficients are completely determined by certain degenerate Whittaker vectors on G. Although we expect our results to hold for arbitrary simply-laced groups, we give complete proofs only for G=SL(3) and G=SL(4). T… ▽ More We investigate Fourier coefficients of automorphic forms on split simply-laced Lie groups G. We show that for automorphic representations of small Gelfand-Kirillov dimension the Fourier coefficients are completely determined by certain degenerate Whittaker vectors on G. Although we expect our results to hold for arbitrary simply-laced groups, we give complete proofs only for G=SL(3) and G=SL(4). This is based on a method of Ginzburg that associates Fourier coefficients of automorphic forms with nilpotent orbits of G. Our results complement and extend recent results of Miller and Sahi. We also use our formalism to calculate various local (real and p-adic) spherical vectors of minimal representations of the exceptional groups E_6, E_7, E_8 using global (adelic) degenerate Whittaker vectors, correctly reproducing existing results for such spherical vectors obtained by very different methods. △ Less

Submitted 17 December, 2014; originally announced December 2014.

Comments: 55 pages

Report number: AEI-2014-064