arXiv++ Combinatorics

As shown in our paper [JCTA 177 (2021), Paper No. 105305], the chromatic quasi-symmetric function of Shareshian-Wachs can be lifted to ${\bf WQSym}$, the algebra of quasi-symmetric functions in noncommuting variables. We investigate here its behaviour with respect to classical transformations of alphabets and propose a noncommutative analogue of Macdonald polynomials compatible with a noncommutative version of the Haglund-Wilson formula. We also introduce a multi-$t$ version of these noncommutative analogues. For rectangular partitions, their commutative images at $q=0$ appear to coincide with the multi-$t$ Hall-Littlewood functions introduced in [Lett. Math. Phys. 35 (1995), 359]. This leads us to conjecture that for rectangular partitions, multi-$t$ Macdonald polynomials are obtained as equivariant traces of certain Yang-Baxter elements of Hecke algebras. We also conjecture that all (ordinary) Macdonald polynomials can be obtained in this way. We conclude with some remarks relating various aspects of quasi-symmetric chromatic functions to calculations in Hecke algebras. In particular, we show that all modular relations are given by the product formula of the Kazhdan-Lusztig basis.

We give a classification for the irreducible $\mathfrak{u}$-diagonalizable representations of the degenerate affine Hecke algebra of type $G(\ell,1,n)$. Precisely we show that such $H_{\ell,n}$-modules are indexed by $\ell$-skew shapes and that the representation indexed by a skew shape $D$ has a basis of eigenvectors indexed by standard Young tableaux of shape $D$.

We compute the joint distribution of singular numbers for all principal corners of a $p$-adic Hermitian (resp. alternating) matrix with additive Haar distribution, the non-archimedean analogue of the GUE (resp. aGUE) corners process. In the alternating case we find that it is a Hall-Littlewood process, explaining -- and recovering as a corollary -- results of Fulman-Kaplan. In the Hermitian case we obtain a `marginal distribution' of a formal Hall-Littlewood process with both positive and negative transition `probabilities'. The proofs relate natural random matrix operations to structural results of Hironaka and Hironaka-Sato on modules over the spherical Hecke algebra, yielding other probabilistic statements of independent interest along the way.

Weak Bruhat interval modules of the $0$-Hecke algebra in type $A$ provide a uniform approach to studying modules associated with noteworthy families of quasisymmetric functions. Recently this kind of modules were generalized from type $A$ to all Coxeter types. In this paper, we give an equivalent description, in a type-independent manner, when two left weak Bruhat intervals in a Coxeter group are descent-preserving isomorphic. As an application, we classify all left weak Bruhat interval modules of $0$-Hecke algebras up to isomorphism, and thereby answer an open question and resolve in the affirmative a conjecture of Jung, Kim, Lee, and Oh. Additionally, for finite Coxeter groups we show that the set of minimum (or maximum) elements of all left weak Bruhat intervals in each descent-preserving isomorphism class forms an interval under the right weak Bruhat order.

Hopf algebroids are generalizations of Hopf algebras to less commutative settings. We show how the comultiplication defined by Kostant and Kumar turns the affine nil Hecke algebra associated to a Coxeter system into a Hopf algebroid without an antipode. The proof relies on mixed dihedral braid relations between Demazure operators and simple reflections. For researchers new to Hopf algebroids we include additional examples from ring theory, representation theory, and algebraic geometry.

In this paper we construct an algebraic invariant attached to Galois representations over number fields. This invariant, which we call an Artin symmetric function, lives in a certain ring we introduce called the ring of arithmetic symmetric functions. This ring is built from a family of symmetric functions rings indexed by prime ideals of the base field. We prove many necessary basic results for the ring of arithmetic symmetric functions as well as introduce the analogues of some standard number-theoretic objects in this setting. We prove that the Artin symmetric functions satisfy the same algebraic properties that the Artin L-functions do with respect to induction, inflation, and direct summation of representations. The expansion coefficients of these symmetric functions in different natural bases are shown to be character values of representations of a compact group related to the original Galois group. In the most interesting case, the expansion coefficients into a specialized Hall-Littlewood basis come from new representations built from the original Galois representation using polynomial functors corresponding to modified Hall-Littlewood polynomials. Using a special case of the Satake isomorphism in type GL, as formulated by Macdonald, we show that the Artin symmetric functions yield families of functions in the (finite) global spherical Hecke algebras in type GL which exhibit natural stability properties. We compute the Mellin transforms of these functions and relate them to infinite products of shifted Artin L-functions. We then prove some analytic properties of these Dirichlet series and give an explicit expansion of these series using the Hall-Littlewood polynomial functors.

The immaculate Hecke poset was introduced and investigated by Niese, Sundaram, van Willigenburg, Vega and Wang, who established the full poset structure, and determined modules for the 0-Hecke algebra action on immaculate and row-strict immaculate tableaux. In this paper, we extend their results by introducing the skew immaculate Hecke poset. We investigate the poset structure, and construct modules for the 0-Hecke algebra action on skew immaculate and skew row-strict immaculate tableaux, thus showing that the skew immaculate Hecke poset captures representation-theoretic information analogous to the immaculate Hecke poset. We also describe branching rules for the resulting skew modules.

We give a Hecke algebra derivation of Macdonald's expansion formula for Hall-Littlewood polynomials in terms of semistandard Young tableaux. This is accomplished by first obtaining a Hecke algebra lift of the expansion coefficients and then proving a generalization of Klostermann's recursions.

We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer variety and compare it to the ordinary two-row Springer fiber as well as Kato's exotic Springer fiber corresponding to a one-row bipartition. In addition to that, we extend the action of the symmetric group on the homology of the two-row $Δ$-Springer variety to an action of a degenerate affine Hecke algebra and relate this action to a $\mathfrak{gl}_{2}$-tensor space.

We generalize random-to-random shuffling from a Markov chain on the symmetric group to one on the Type A Iwahori Hecke algebra, and show that its eigenvalues are polynomials in q with non-negative integer coefficients. Setting q=1 recovers results of Dieker and Saliola, whose computation of the spectrum of random-to-random in the symmetric group resolved a nearly 20 year old conjecture by Uyemura-Reyes. Our methods simplify their proofs by drawing novel connections to the Jucys-Murphy elements of the Hecke algebra, Young seminormal forms, and the Okounkov-Vershik approach to representation theory.

Every double coset in $\text{GL}_m(k[[z]])\backslash \text{GL}_m(k((z)))/\text{GL}_m(k((z^2)))$ is uniquely represented by a block diagonal matrix with diagonal blocks in $\{1,z, \begin{pmatrix} 1& z\\ 0 &z^i \end{pmatrix} (i>1)\}$ if $char(k) \neq 2$ and $k$ is a finite field. These cosets form a (spherical) Hecke module $\mathcal{H}(G,H,K)$ over the (spherical) Hecke algebra $\mathcal{H}(G,K)$ of double cosets in $K\backslash G/H$, where $K=\text{GL}_m(k[[z]])$ and $H=\text{GL}_m(k((z^2)))$ and $G=\text{GL}_m(k((z)))$. Similarly to Hall polynomial $h_{λ,ν}^μ$ from the Hecke algebra $\mathcal{H}(G,K)$, coefficients $h_{λ,ν}^μ$ arise from the Hecke module. We will provide a closed formula for $h_{λ,ν}^μ$, under some restrictions over ${λ,ν,μ}$.

We compare two generalisations of the notion of hook lengths for partitions. We apply this in the context of the modular representation theory of Ariki-Koike algebras. We show that the Schur element of a simple module is divisible by the Schur element of the associated (generalised) core. In the case of Hecke algebras of type $A$, we obtain an even stronger result: the Schur element of a simple module is equal to the product of the Schur element of its core and the Schur element of its quotient.

We show that coefficients in unicellular LLT polynomials are evaluations of Hecke algebra traces at Kazhdan-Lusztig basis elements. We express these in terms of traditional trace bases, induction, and Kazhdan-Lusztig R-polynomials.

For the Tits building B(G) of a finite group of Lie type G(Fq), we study the edge zeta function, which enumerates edge-geodesic cycles in the 1-skeleton. We show that every nonzero edge eigenvalue becomes a power of q after raising to a bounded exponent k depending on the type of G. The proof is uniform across types using a Hecke algebra approach. This extends previous results for type A and for oppositeness graphs to the full edge-geodesic setting and all finite groups of Lie type.

We compare the following three families of geometric objects: Schubert varieties in flag manifolds, matrix Schubert varieties, and Borel orbits of 2-nilpotent matrices. The first family is governed by permutations, the second by partial permutations, and the last one by "link patterns". These geometric objects admit characteristic classes in equivariant elliptic cohomology obtained within the framework created by Borisov and Libgober. We construct a Hecke-type algebra for computing elliptic classes and extend its action to include partial permutations and linking patterns. A uniform point of view facilitates a better understanding of duality.

We extend the notion of ascent-compatibility from symmetric groups to all Coxeter groups, thereby providing a type-independent framework for constructing families of modules of $0$-Hecke algebras. We apply this framework in type $B$ to give representation-theoretic interpretations of a number of noteworthy families of type-$B$ quasisymmetric functions. Next, we construct modules of the type-$B$ $0$-Hecke algebra corresponding to type-$B$ analogues of Schur functions and introduce a type-$B$ analogue of Schur $Q$-functions; we prove that these shifted domino functions expand positively in the type-$B$ peak functions. We define a type-$B$ analogue of the $0$-Hecke--Clifford algebra, and we use this to provide representation-theoretic interpretations for both the type-$B$ peak functions and the shifted domino functions. We consider the modules of this algebra induced from type-$B$ $0$-Hecke modules constructed via ascent-compatibility and prove a general formula, in terms of type-$B$ peak functions, for the type-$B$ quasisymmetric characteristics of the restrictions of these modules.

This paper uses Lusztig varieties to give central elements of the Iwahori-Hecke algebra corresponding to unipotent conjugacy classes in the finite Chevalley group $GL_n(\mathbb{F}_q)$. We explain how these central elements are related to Macdonald polynomials and how this provides a framework for generalizing integral form and modified Macdonald polynomials to Lie types other than $GL_n$. The key steps are to recognize (a) that counting points in Lusztig varieties is equivalent to computing traces on the Hecke algebras, (b) that traces on the Hecke algebra determine elements of the center of the Hecke algebra, (c) that the Geck-Rouquier basis elements of the center of the Hecke algebra produce an `expansion matrix', (d) that the parabolic subalgebras of the Hecke algebra produce a `contraction matrix' and (e) that the combination `expansion-contraction' is the plethystic transformation that relates integral form Macdonald polynomials and modified Macdonald polynomials.

Given a lattice polytope $P$ and a prime $p$, we define a function from the set of primitive symplectic $p$-adic lattices to the rationals that extracts the $\ell$th coefficient of the Ehrhart polynomial of $P$ relative to the given lattice. Inspired by work of Gunnells and Rodriguez-Villegas in type $\mathsf{A}$, we show that these functions are eigenfunctions of a suitably defined action of the spherical symplectic Hecke algebra. Although they depend significantly on the polytope $P$, their eigenvalues are independent of $P$ and expressed as polynomials in $p$. We define local zeta functions that enumerate the values of these Hecke eigenfunctions on the vertices of the affine Bruhat--Tits buildings associated with $p$-adic symplectic groups. We compute these zeta functions by enumerating $p$-adic lattices by their elementary divisors and, simultaneously, one Hermite parameter. We report on a general functional equation satisfied by these local zeta functions, confirming a conjecture of Vankov.

Q-exchangeable ergodic distributions on the infinite symmetric group were classified by Gnedin-Olshanski (2012). In this paper, we study a specific linear combination of the ergodic measures and call it the Mallows product measure. From a particle system perspective, the Mallows product measure is a reversible stationary blocking measure of the infinite-species ASEP and it is a natural multi-species extension of the Bernoulli product blocking measures of the one-species ASEP. Moreover, the Mallows product measure can be viewed as the universal product blocking measure of interacting particle systems coming from random walks on Hecke algebras. For the random infinite permutation distributed according to the Mallows product measure we have computed the joint distribution of its neighboring displacements, as well as several other observables. The key feature of the obtained formulas is their remarkably simple product structure. We project these formulas to ASEP with finitely many species, which in particular recovers a recent result of Adams-Balazs-Jay, and also to ASEP(q,M). Our main tools are results of Gnedin-Olshanski about ergodic Mallows measures and shift-invariance symmetries of the stochastic colored six vertex model discovered by Borodin-Gorin-Wheeler and Galashin.

We construct a bijection between certain Deodhar components of a braid variety constructed from an affine Kac-Moody group of type $A_{n-1}$ and vertex-labeled trees on $n$ vertices. By an argument of Galashin, Lam, and Williams using Opdam's trace formula in the affine Hecke algebra and an identity due to Haglund, we obtain an elaborate new proof for the enumeration of the number of vertex-labeled trees on $n$ vertices.