For Iwahori-spherical representations of non-Archimedean general linear groups, Chan-Savin recently expressed the Whittaker functor as a restriction to an isotypic component of a finite Iwahori-Hecke algebra module. We generalize this method to describe principal degenerate Whittaker functors. Concurrently, we view Murnaghan's formula for the Harish-Chandra--Howe character as a Grothendieck group expansion of the same module.
Comparing the two approaches through the lens of Zelevinsky's PSH-algebras, we obtain an explicit unitriangular transition matrix between coefficients of the character expansion and the principal degenerate Whittaker dimensions.
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.
This paper gives the classification of the Whittaker unitary dual for affine graded Hecke algebras of type E. By the Iwahori-Matsumoto involution, this is equivalent also to the classification of the spherical unitary dual for type E. This work completes the classification of the Whittaker Iwahori-spherical unitary dual, or equivalently, the spherical unitary dual, of split linear algebraic p-adic groups.
A construction of bases for cell modules of the Birman--Murakami--Wenzl (or B--M--W) algebra $B_n(q,r)$ by lifting bases for cell modules of $B_{n-1}(q,r)$ is given. By iterating this procedure, we produce cellular bases for B--M--W algebras on which a large abelian subalgebra, generated by elements which generalise the Jucys--Murphy elements from the representation theory of the Iwahori--Hecke algebra of the symmetric group, acts triangularly. The triangular action of this abelian subalgebra is used to provide explicit criteria, in terms of the defining parameters $q$ and $r$, for B--M--W alg…
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.
The wavefront set is a fundamental invariant arising from the Harish-Chandra-Howe local character expansion of an admissible representation. We prove a precise formula for the wavefront set of an irreducible Iwahori-spherical representation with `real infinitesimal character' and determine a lower bound for this invariant in terms of the Deligne-Langlands-Lusztig parameters. In particular, for the Iwahori-spherical representations with real infinitesimal character, we deduce that the algebraic wavefront set is a singleton, as conjectured by Moeglin and Waldspurger. As a corollary, we obtain an…
Let $F$ be a non-archimedean local field of odd residue characteristic $p$. Let $G$ be the unramified unitary group $U(2, 1)(E/F)$, and $K$ be a maximal compact open subgroup of $G$. For an $\overline{\mathbf{F}}_p$-smooth representation $π$ of $G$ containing a weight $σ$ of $K$, we follow the work of Hu (\cite{Hu12}) to attach $π$ a certain $I_K$-subrepresentation, where $I_K$ is the Iwahori subgroup in $K$. In terms of such an $I_K$-subrepresentation, we prove a sufficient condition for $π$ to be non-finitely presented. We determine such an $I_K$-subrepresentation explicitly, when $π$ is eit…
This paper is a continuation of a previous paper in which the first two authors have introduced the spherical Hecke algebra and the Satake isomorphism for an untwisted affine Kac-Moody group over a non-archimedian local field. In this paper we develop the theory of the Iwahori-Hecke algebra associated to these same groups. The resulting algebra is shown to be closely related to Cherednik's double affine Hecke algebra. Furthermore, using these results, we give an explicit description of the affine Satake isomorphism, generalizing Macdonald's formula for the spherical function in the finite-dime…
We relate Iwahori-Whittaker functions on metaplectic covers to certain Demazure-Lusztig operators, the latter of which are built from a Weyl group action previously considered by G. Chinta and P. Gunnells. Using a certain combinatorial identity for the sum of these Demazure-Lusztig operators, we obtain an analogue of the Casselman-Shalika formula for spherical Whittaker functions in this context.
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 Whitta…
We give a combinatorial evaluation of Iwahori Whittaker functions for unramified genuine principal series representations on metaplectic covers of the general linear group over a non-archimedean local field. To describe the combinatorics, we introduce new combinatorial data that we call colored data: colored Lusztig data, colored Gelfand-Tsetlin patterns, and colored lattice models. We show that all three are equivalent. To achieve the result, we give an explicit Iwahori decomposition for the maximal unipotent subgroup of a split reductive group which gives the parametrization of the generaliz…
For a $p$-adic field $F$, the space of pro-$p$-Iwahori invariants of a universal supersingular mod $p$ representation $τ$ of ${\rm GL}_2(F)$ is determined in the works of Breuil, Schein, and Hendel. The representation $τ$ is introduced by Barthel and Livné and this is defined in terms of the spherical Hecke operator. In earlier work of Anandavardhanan-Borisagar, an Iwahori-Hecke approach was introduced to study these universal supersingular representations in which they can be characterized via the Iwahori-Hecke operators. In this paper, we construct a certain quotient $π$ of $τ$, making use o…
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 wi…
The geometric Satake isomorphism is an equivalence between the categories of spherical perverse sheaves on affine Grassmanian and the category of representations of the Langlands dual group. We provide a similar description for derived categories of l-adic sheaves on an affine flag variety which are geometric counterparts of a maximal commutative subalgebra in the Iwahori Hecke algebra; of the anti-spherical module over this algebra; and of the space of Iwahori-invariant Whitakker functions.
We realize the non-split Bessel model of Novodvorsky and Piatetski-Shapiro as a generalized Gelfand-Graev representation of GSp(4), as suggested by Kawanaka. With uniqueness of the model already established by Novodvorsky and Piatetski-Shapiro, we establish existence of a Bessel model for unramified principal series representations. We then connect the Iwahori-fixed vectors in the Bessel model to a linear character of the Hecke algebra of GSp(4) following the method outlined more generally by Brubaker, Bump, and Friedberg. We use this connection to calculate the image of Iwahori-fixed vectors …
We consider the Iwahori-Hecke algebra associated to an almost split Kac-Moody group $G$ (affine or not) over a nonarchimedean local field $K$. It has a canonical double-coset basis $(T_{\mathbf w})_{\mathbf w\in W^+}$ indexed by a sub-semigroup $W^+$ of the affine Weyl group $W$. The multiplication is given by structure constants $a^ {\mathbf u}_{\mathbf w,\mathbf v}\in N=Z_{\geq0}$ : $T_{\mathbf w}*T_{\mathbf v}=\sum_{\mathbf u\in P_{\mathbf w,\mathbf v}} a^ {\mathbf u}_{\mathbf w,\mathbf v} T_{\mathbf u}$. A conjecture, by Bravermann, Kazhdan, Patnaik, Gaussent and the authors, tells that $a…
Let K be a local non-archimedian field, F=K((t)) and let G be a split semi-simple group. The purpose of this paper is to study certain analogs of spherical (and Iwahori) Hecke algebras for representations of the group G(F) and its central extension by means of K*. For instance our spherical Hecke algebra corresponds to the subgroup G(A) where A is the subring $\calO_K((t))$ where $\calO_K\subset K$ is the ring of integers. It turns out that for generic level the spherical Hecke algebra is trivial; however, on the critical level it is quite large. On the other hand we expect that the size of th…
We define a commuting family of operators $T_0,T_1,...,T_n$ in the Temperley--Lieb algebra $\mathcal{A}_n(x)$ of type $A_{n-1}$. Using an appropriate analogue to Murphy basis of the Iwahori--Hecke algebra of the symmetric group, we describe the eigenvalues arising from the triangular action of the said operators on the cell modules of $\mathcal{A}_n(x)$. These results are used to provide the Temperley--Lieb algebras of type $A_{n-1}$ with a semi--normal form, together with a branching law, and explicit formulae for associated Gram determinants.
Let G be a semisimple almost simple algebraic group defined and split over a nonarchimedean local field K and let V be a unipotent representation of G(K) (for example, an Iwahori-spherical representation). We calculate the character of V at compact very regular elements of G(K) at compact very regular elements of G(K).
Let $H$ be a generic affine Hecke algebra (Iwahori-Matsumoto definition) over a polynomial algebra with a finite number of indeterminates over the ring of integers. We prove the existence of an integral Bernstein-Lusztig basis related to the Iwahori-Matsumoto basis by a strictly upper triangular matrix, from which we deduce that the center $Z$ of $H$ is finitely generated and that $H$ is a finite type $Z$-module (this was proved after inversion of the parameters by Bernstein-Lusztig), and we give some applications to the theory of $H$-modules where the parameters act by 0. These results are re…
We determine test vectors and explicit formulas for all Bessel models for those Iwahori-spherical representations of GSp(4) over a p-adic field that have non-zero vectors fixed under the Siegel congruence subgroup.
Let $F$ be a non-Archimedean local field of characteristic $0$ and $G=Sp(4,F)$. Let $(π,W)$ be an irreducible smooth self-dual representation $G$. The space $W$ of $π$ admits a non-degenerate $G$-invariant bilinear form $(\,,\,)$ which is unique up to scaling. The form $(\,,\,)$ is easily seen to be symmetric or skew-symmetric and we set $\varepsilon(π)=\pm 1$ accordingly. In this paper, we show that $\varepsilon{(π)}=1$ when $π$ is an Iwahori spherical representation of $G$.
Let $F$ be a non-Archimedan local field, $G$ a connected reductive group defined and split over $F$, and $T$ a maximal $F$-split torus in $G$. Let $χ_0$ be a depth zero character of the maximal compact subgroup $\mathcal{T}$ of $T(F)$. It gives by inflation a character $ρ$ of an Iwahori subgroup $\mathcal{I}$ of $G(F)$ containing $\mathcal{T}$. From Roche, $χ_0$ defines a split endoscopic group $G'$ of $G$, and there is an injective morphism of ${\Bbb C}$-algebras $\mathcal{H}(G(F),ρ) \rightarrow \mathcal{H}(G'(F),1_{\mathcal{I}'})$ where $\mathcal{H}(G(F),ρ)$ is the Hecke algebra of compactly…
An exceptional cycle in a triangulated category with Serre functor is a generalization of a spherical object. Suppose that $A$ and $B$ are Gorenstein algebras, given a perfect exceptional $n$-cycle $E_*$ in $K^b(A\mbox{-}{\rm proj})$ and a perfect exceptional $m$-cycle $F_*$ in $K^b(B\mbox{-}{\rm proj})$, we construct an $A$-$B$-bimodule $N$, and prove the product $E_*\boxtimes F_*$ is an exceptional $(n+m-1)$-cycle in $K^b(Λ\mbox{-}{\rm proj})$, where $Λ=\begin{pmatrix}A & N\\ 0 & B \end{pmatrix}$. Using this construction, one gets many new exceptional cycles which is unknown before for certa…
Let $\mathcal{G}$ be a split reductive $p$-adic group with connected centre. We show that each Bernstein block in the principal series of $\mathcal{G}$ admits a definite geometric structure, namely that of an extended quotient. For the Iwahori-spherical block, this extended quotient has the form $T//W$ where $T$ is a maximal torus in the Langlands dual group of $\mathcal{G}$ and $W$ is the Weyl group of $\mathcal{G}$.
We describe the image, under the local Langlands correspondence for tori, of the characters of a torus which are trivial on its Iwahori subgroup. Let $k$ be a non-archimedian local field. Let $\boldsymbol{G}$ be a connected reductive group defined over $k$, which is quasi-split and split over a tamely ramified extension. Let $K$ be a special maximal parahoric subgroup of $\boldsymbol{G}(k)$. To the class of representations of $\boldsymbol{G}(k)$, having a non-zero vector fixed under $K$, we establish a bijection, in a natural way, with the twisted semi-simple conjugacy classes of the inertia f…
The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra-Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig's category of unipotent representations in terms of the Deligne-Langlands-Lusztig correspondence. Our formula generalizes the main result of arXiv:2112.14354, where this formula was obtained in the Iwahori-spherical case. We deduce that for any irreducible unipotent representation with real infinitesimal character, the…
In this paper, we consider the star operations for (graded) affine Hecke algebras which preserve certain natural filtrations. We show that, up to inner conjugation, there are only two such star operations for the graded Hecke algebra: the first, denoted $\star$, corresponds to the usual star operation from reductive $p$-adic groups, and the second, denoted $\bullet$ can be regarded as the analogue of the compact star operation of a real group considered by \cite{ALTV}. We explain how the star operation $\bullet$ appears naturally in the Iwahori-spherical setting of $p$-adic groups via the endo…
Non-singular weighted surface algebras satisfy the necessary condition found in [6] for existence of cluster tilting modules. We show that any such algebra whose Gabriel quiver is bipartite, has a module satisfying the necessary ext vanishing condition. We show that it is 3-cluster tilting precisely for the non-singular triangular or spherical algebras but not for any other weighted surface algebra with bipartite Gabriel quiver.
We study the rational permutation braids, that is the elements of an Artin-Tits group of spherical type which can be written $x^{-1} y$ where $x$ and $y$ are prefixes of the Garside element of the braid monoid. We give a geometric characterization of these braids in type $A_n$ and $B_n$ and then show that in spherical types different from $D_n$ the simple elements of the dual braid monoid (for arbitrary choice of Coxeter element) embedded in the braid group are rational permutation braids (we conjecture this to hold also in type $D_n$).This property implies positivity properties of the polynom…
Let $R$ be a (not necessarily commutative) ring whose additive group is finitely generated and let $U_n(R) \subset GL_n(R)$ be the group of upper-triangular unipotent matrices over $R$. We study how the homology groups of $U_n(R)$ vary with $n$ from the point of view of representation stability. Our main theorem asserts that if for each $n$ we have representations $M_n$ of $U_n(R)$ over a ring $\mathbf{k}$ that are appropriately compatible and satisfy suitable finiteness hypotheses, then the rule $[n] \mapsto \widetilde{H}_i(U_n(R),M_n)$ defines a finitely generated OI-module. As a consequence…
We obtain a complete characterisation of factorial multiparameter Hecke von Neumann algebras associated with right-angled Coxeter groups. Considering their $\ell^p$-convolution algebra analogues, we exhibit an interesting parameter dependence, contrasting phenomena observed earlier for group Banach algebras. Translated to Iwahori-Hecke von Neumann algebras, these results allow us to draw conclusions on spherical representation theory of groups acting on right-angled buildings, which are in strong contrast to behaviour of spherical representations in the affine case. We also investigate certain…
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 representa…
The article is devoted to the representation theory of locally compact infinite-dimensional group $\mathbb{GLB}$ of almost upper-triangular infinite matrices over the finite field with $q$ elements. This group was defined by S.K., A.V., and Andrei Zelevinsky in 1982 as an adequate $n=\infty$ analogue of general linear groups $\mathbb{GL}(n,q)$. It serves as an alternative to $\mathbb{GL}(\infty,q)$, whose representation theory is poor. Our most important results are the description of semi-finite unipotent traces (characters) of the group $\mathbb{ GLB}$ via certain probability measures on the…
In Part 1 we study the spherical functions on compact symmetric pairs of arbitrary rank under a suitable multiplicity freeness assumption and additional conditions on the branching rules. The spherical functions are taking values in the spaces of linear operators of a finite dimensional representation of the subgroup, so the spherical functions are matrix-valued. Under these assumptions these functions can be described in terms of matrix-valued orthogonal polynomials in several variables, where the number of variables is the rank of the compact symmetric pair. Moreover, these polynomials are u…
We study triangulated categories which can be modeled by an oriented marked surface $\mathcal{S}$ and a line field $η$ on $\mathcal{S}$. This includes bounded derived categories of gentle algebras and -- conjecturally -- all partially wrapped Fukaya categories introduced by Haiden-Katzarkov-Kontsevich. We show that triangle equivalences between such categories induce diffeomorphisms of the associated surfaces preserving orientation, marked points and line fields up to homotopy. This shows that the pair $(\mathcal{S}, η)$ is a triangle invariant of such categories and prove that it is a complet…
