arXiv++ Combinatorics

We solve two open problems in Coxeter-Catalan combinatorics. First, we introduce a family of rational noncrossing objects for any finite Coxeter group, using the combinatorics of distinguished subwords. Second, we give a type-uniform proof that these noncrossing Catalan objects are counted by the rational Coxeter-Catalan number, using the character theory of the associated Hecke algebra and the properties of Lusztig's exotic Fourier transform. We solve the same problems for rational noncrossing parking objects.

We show that the transition matrix from the standard basis to the web basis for a Specht module of the Hecke algebra is unitriangular and satisfies a strong positivity property whenever the Specht module is labeled by a partition with at most two parts. This generalizes results of Russell--Tymoczko and Rhoades.

In 2012 Raghavan, Samuel, and Subrahmanyam showed that the Kazhdan--Lusztig basis for the Iwahori--Hecke algebra in type A provides a ``canonical'' basis for the centraliser algebra of the Schur algebra acting on tensor space. In 2022 the second author found a similar result for the centraliser of the partition algebra acting on the same tensor space. Each basis is indexed by permutations. We exploit these bases to show that the linear decomposition of an arbitrary invariant (in either centraliser algebra) depends integrally on its entries, and describe combinatorial rules that pick out minimal sets of such entries.

We study the space, $R_m$, of $m$-symmetric functions consisting of polynomials that are symmetric in the variables $x_{m+1},x_{m+2},x_{m+3},\dots$ but have no special symmetry in the variables $x_1,\dots,x_m$. We obtain $m$-symmetric Macdonald polynomials by $t$-symmetrizing non-symmetric Macdonald polynomials, and show that they form a basis of $R_m$. We define $m$-symmetric Schur functions through a somewhat complicated process involving their dual basis, tableaux combinatorics, and the Hecke algebra generators, and then prove some of their most elementary properties. We conjecture that the $m$-symmetric Macdonald polynomials (suitably normalized and plethystically modified) expand positively in terms of $m$-symmetric Schur functions. We obtain relations on the $(q,t)$-Koska coefficients $K_{ΩΛ}(q,t)$ in the $m$-symmetric world, and show in particular that the usual $(q,t)$-Koska coefficients are special cases of the $K_{ΩΛ}(q,t)$'s. Finally, we show that when $m$ is large, the positivity conjecture, modulo a certain subspace, becomes a positivity conjecture on the expansion of non-symmetric Macdonald polynomials in terms of non-symmetric Hall-Littlewood polynomials.

We revisit Haiman's conjecture on the relations between characters of Kazdhan-Lusztig basis elements of the Hecke algebra over the symmetric group. The conjecture asserts that, for purposes of character evaluation, any Kazhdan-Lusztig basis element is reducible to a sum of the simplest possible ones (those associated to so-called codominant permutations). When the basis element is associated to a smooth permutation, we are able to give a geometric proof of this conjecture. On the other hand, if the permutation is singular, we provide a counterexample.

To any element of a connected, simply connected, semisimple complex algebraic group G and a choice of an element of the corresponding Weyl group there is an associated Lusztig variety. When the element of G is regular semisimple, the corresponding variety carries an action of the Weyl group on its (equivariant) intersection cohomology. From this action, we recover the induced characters of an element of the Kazhdan-Lusztig basis of the corresponding Hecke algebra. In type A, we prove a more precise statement: that the Frobenius character of this action is precisely the symmetric function given by the characters of a Kazhdan-Lusztig basis element. The main idea is to find celular decompositions of desingularizations of these varieties and apply the Brosnan-Chow palindromicity criterion for determining when the local invariant cycle map is an isomorphism. This recovers some results of Lusztig about character sheaves and gives a generalization of the Brosnan-Chow solution to the Sharesian-Wachs conjecture to non-codominant permutations, where singularities are involved. We also review the connections between Immanants, Hecke algebras, and Chromatic quasisymmetric functions of indifference graphs.

We formulate and establish symmetries of certain integrable half space models, analogous to recent results on symmetries for models in a full space. Our starting point is the colored stochastic six vertex model in a half space, from which we obtain results on the asymmetric simple exclusion process, as well as for the beta polymer through a fusion procedure which may be of independent interest. As an application, we establish a distributional identity between the absorption time in a type $B$ analogue of the oriented swap process and last passage times in a half space, establishing the Baik--Ben Arous--Péché phase transition for the absorption time. The proof uses Hecke algebras and integrability of the six vertex model through the Yang--Baxter and reflection equations.

We introduce a general method for constructing modules for $0$-Hecke algebras and supermodules for $0$-Hecke-Clifford algebras from diagrams of boxes in the plane, and give formulas for the images of these modules in the algebras of quasisymmetric functions and peak functions under the relevant characteristic map. As initial applications, we resolve a question of Jing and Li (2015), introduce a new basis of the peak algebra analogous to the quasisymmetric Schur functions, uncover a new connection between Schur $Q$-functions and quasisymmetric Schur functions, give a representation-theoretic interpretation of families of tableaux used in constructing certain functions in the peak algebra, and establish a common framework for known $0$-Hecke module interpretations of bases of quasisymmetric functions.

We introduce a new basis of quasisymmetric functions, the row-strict dual immaculate functions. We construct a cyclic, indecomposable 0-Hecke algebra module for these functions. Our row-strict immaculate functions are related to the dual immaculate functions of Berg-Bergeron-Saliola-Serrano-Zabrocki (2014-15) by the involution $ψ$ on the ring of quasisymmetric functions. We give an explicit description of the effect of $ψ$ on the associated 0-Hecke modules, via the poset induced by the 0-Hecke action on standard immaculate tableaux. This remarkable poset reveals other 0-Hecke submodules and quotient modules, often cyclic and indecomposable, notably for a row-strict analogue of the extended Schur functions studied in Assaf-Searles (2019). Like the dual immaculate function, the row-strict dual immaculate function is the generating function of a suitable set of tableaux, corresponding to a specific descent set. We give a complete combinatorial and representation-theoretic picture by constructing 0-Hecke modules for the remaining variations on descent sets, and showing that \emph{all} the possible variations for generating functions of tableaux occur as characteristics of the 0-Hecke modules determined by these descent sets.

The $SL(2,\mathbb Z)$-symmetry of Cherednik's spherical double affine Hecke algebras in Macdonald theory includes a distinguished generator which acts as a discrete time evolution of Macdonald operators, which can also be interpreted as a torus Dehn twist in type $A$. We prove for all twisted and untwisted affine algebras of type $ABCD$ that the time-evolved $q$-difference Macdonald operators, in the $t\to\infty$ $q$-Whittaker limit, form a representation of the associated discrete integrable quantum Q-systems, which are obtained, in all but one case, via the canonical quantization of suitable cluster algebras. The proof relies strongly on the duality property of Macdonald and Koornwinder polynomials, which allows, in the $q$-Whittaker limit, for a unified description of the quantum Q-system variables and the conserved quantities as limits of the time-evolved Macdonald operators and the Pieri operators, respectively. The latter are identified with relativistic $q$-difference Toda Hamiltonians. A crucial ingredient in the proof is the use of the "Fourier transformed" picture, in which we compute time-translation operators and prove that they commute with the Pieri operators or Hamiltonians. We also discuss the universal solutions of Koornwinder-Macdonald eigenvalue and Pieri equations, for which we prove a duality relation, which simplifies the proofs further.

A basis of the center of the 0-Hecke algebra of an arbitrary finite Coxeter group was described by He in 2015. This basis is indexed by certain equivalence classes of the Coxeter group whose explicit description is rather complicated. Even their number is not obvious. We consider case of the symmetric group $\mathfrak{S}_n$. Building on work of Geck, Kim and Pfeiffer, we obtain a complete set of representatives of the equivalence classes. This set is naturally parametrized by certain compositions of $n$ called maximal. It follows that the maximal compositions of $n$ index the basis of the center of the 0-Hecke algebra of $\mathfrak{S}_n$. We then develop an explicit combinatorial description for the equivalence classes that are parametrized by the maximal compositions whose odd parts form a hook.

For an irreducible complex reflection group $W$ of rank $n$ containing $N$ reflections, we put $g=2N/n$ and construct a $(g+1)^n$-dimensional irreducible representation of the Cherednik algebra which is (as a vector space) a quotient of the diagonal coinvariant ring of $W$. We propose that this representation of the Cherednik algebra is the single largest representation bearing this relationship to the diagonal coinvariant ring, and that further corrections to this estimate of the dimension of the diagonal coinvariant ring by $(g+1)^n$ should be orders of magnitude smaller. A crucial ingredient in the construction is the existence of a dot action of a certain product of symmetric groups acting on the parameter space of the rational Cherednik algebra and leaving invariant both the finite Hecke algebra and the spherical subalgebra; this fact is a consequence of ideas of Berest-Chalykh on the relationship between the Cherednik algebra and quasi-invariants.

We show that the Frobenius character of the equivariant Borel-Moore homology of a certain positive $GL_n$-version of the unramified affine Springer fiber $Z_k$ studied by Goreski, Kottwitz and MacPherson is computed by the matrix coefficients of the $\nabla^k$-operator, which acts diagonally in the modified Macdonald basis. We do this by relating the combinatorial formula for the $\nabla^k$-operator we obtained in an earlier paper to the GKM paving of $Z_k$, and we give an algebraic presentation of the above homology as an explicit submodule of the Kostant-Kumar nil Hecke algebra. We then study a certain open locus $U_k \subset Z_k$, and reduce a long-standing conjecture of Bergeron, Garsia, Haiman and Tesler, which predicts the sign of the coefficients of the Schur expansion of $\nabla^k$, to a vanishing conjecture about the homology groups of $U_k$. The latter conjecture is in turn reduced to a vanishing conjecture for certain open loci of the regular semisimple Hessenberg varieties which are indexed by partial Dyck paths.

Analogously to the construction of Suzuki and Vazirani, we construct representations of the $GL_m$-type Double Affine Hecke Algebra at roots of unity. These representations are graded and the weight spaces for the $X$-variables are parametrized by the combinatorial objects we call doubly periodic tableaux. We show that our representations exhaust all graded $X$-semisimple representations, and the direct sum of all our representations is faithful. Analogously to the construction of Jordan and Vazirani of rectangular DAHA representations, we show that our representations can be interpreted in terms of ribbon fusion categories associated to $U_q(\mathfrak{gl}_N)$ at roots of unity. Combining the ribbon structure with faithfulness we deduce a conjecture of Morton and Samuelson about realization of DAHA as a skein algebra of the torus with base string modulo certain local relations.

We develop a new approach for the computation of the Mullineux involution for the symmetric group and its Hecke algebra using the notion of crystal isomorphism and the Iwahori-Matsumoto involution for the affine Hecke algebra of type A. As a consequence, we obtain several new elementary combinatorial algorithms for its computation, one of which is equivalent to Xu's algorithm (and thus Mullineux' original algorithm). We thus obtain a simple interpretation of these algorithms and a new elementary proof that they indeed compute the Mullineux involution.

We prove a ``positive'' Jantzen sum formula for the Specht modules of the cyclotomic Hecke algebras of type~$A$. That is, in the Grothendieck group, we show that the sum of the pieces of the Jantzen filtration is equal to an explicit non-negative linear combination of modules $E^ν_{f,e}$, which are modular reductions of simple modules for closely connected Hecke algebras in characteristic zero. The coefficient of $E^ν_{f,e}$ in the sum formula is determined by the graded decomposition numbers in characteristic zero, which are known, and the characteristic of the field. As a consequence we see that the decomposition numbers of a cyclotomic Hecke algebra at an $e$th root of unity in characteristic $p$ depend on the decomposition numbers of related cyclotomic Hecke algebras at $ep^r$th roots of unity in characteristic zero, for $r\ge0$.

There is a striking similarity between Macdonald's reduced word formula and the image of the Schubert class in the cohomology ring of the permutahedral variety $\mathrm{Perm}_n$ as computed by Klyachko. Toward understanding this better, we undertake an in-depth study of a $q$-deformation of the $\mathbb{S}_n$-invariant part of the rational cohomology ring of $\mathrm{Perm}_n$, which we call the $q$-Klyachko algebra. We uncover intimate links between expansions in the basis of squarefree monomials in this algebra and various notions in algebraic combinatorics, thereby connecting seemingly unrelated results by finding a common ground to study them. Our main results are as follows. 1) A $q$-analog of divided symmetrization ($q$-DS) using Yang-Baxter elements in the Hecke algebra. It is a linear form that picks up coefficients in the squarefree basis. 2) A relation between $q$-DS and the ideal of quasisymmetric polynomials involving work of Aval--Bergeron--Bergeron. 3) A family of polynomials in $q$ with nonnegative integral coefficients that specialize to Postnikov's mixed Eulerian numbers when $q=1$. We refer to these new polynomials as remixed Eulerian numbers. For $q>0$, their normalized versions occur as probabilities in the internal diffusion limited aggregation (IDLA) stochastic process. 4) A lift of Macdonald's reduced word identity in the $q$-Klyachko algebra. 5) The Schubert expansion of the Chow class of the standard split Deligne--Lusztig variety in type $A$, when $q$ is a prime power.

The purpose of this paper is to provide a unified method for dealing with various 0-Hecke modules constructed using tableaux so far. To do this, we assign a $0$-Hecke module to each left weak Bruhat interval, called a weak Bruhat interval module. We prove that every indecomposable summand of the $0$-Hecke modules categorifying dual immaculate quasisymmetric functions, extended Schur functions, quasisymmetric Schur functions, and Young row-strict quasisymmetric Schur functions is a weak Bruhat interval module. We further study embedding into the regular representation, induction product, restriction, and (anti-)involution twists of weak Bruhat interval modules.

The paper compares (and reproves) the alcove walk and the nonattacking fillings formulas for type $GL_n$ Macdonald polynomials which were given in Haglund-Haiman-Loehr arXiv:math.CO/0601693, Alexandersson arXiv:1602.05153 and Ram-Yip arXiv:0803.1146. The "compression" relating the two formulas in this paper is the same as that of Lenart arXiv:0804.4716. We have reformulated it so that it holds without conditions and so that the proofs of the alcove walk formula and the nonattacking fillings formula are parallel. This reformulation highlights the role of the double affine Hecke algebra and Cherednik's intertwiners. An exposition of the type $GL_n$ double affine braid group, double affine Hecke algebra, and all definitions and proofs regarding Macdonald polynomials are provided to make this paper self contained.

In a preceding paper the theory of nonsymmetric Macdonald polynomials taking values in modules of the Hecke algebra of type $A$ (Dunkl and Luque SLC 2012) was applied to such modules consisting of polynomials in anti-commuting variables, to define nonsymmetric Macdonald superpolynomials. These polynomials depend on two parameters $\left( q,t\right) $ and are defined by means of a Yang-Baxter graph. The present paper determines the values of a subclass of the polynomials at the special points $\left( 1,t,t^{2},\ldots\right) $ or$\left( 1,t^{-1},t^{-2},\ldots\right) $. The arguments use induction on the degree and computations with products of generators of the Hecke algebra. The resulting formulas involve $\left( q,t\right)$-hook products. Evaluations are also found for Macdonald superpolynomials having restricted symmetry and antisymmetry properties.