arXiv++ Combinatorics

In this paper, we identify some sufficient conditions for a Kazhdan-Lusztig ideal to be inhomogeneous. Also, we attempt to approach the problem of giving some necessary and sufficient conditions for a Kazhdan-Lusztig ideal to be "standard homogeneous".

In this work, we investigate the arbitrary intersection of real Bruhat cells. Such objects have attracted interest from various authors, particularly due to their appearance in different contexts: such as in Kazhdan-Lusztig theory and in the study of locally convex curves. We study the homotopy type of the intersection of two real Bruhat cells. This homotopy type is the same as that of an explicit submanifold of the group of real lower triangular matrices with diagonal entries equal to 1. For $(n+1)\times(n+1)$ matrices with $n\leq4$, these submanifolds are the disjoint union of contractible connected components. Our focus is on such intersections for $6\times6$ real matrices. For this, we study the connected components of Bruhat cells for permutations $σ\in\Sn_6$ with at most 12 inversions. We make use of the structure of the dual CW complexes associated with these components. We show that for permutations with at most 12 inversions, with the exception of $σ=[563412]$ , all connected components are contractible. Furthermore, for $σ=[563412]$, we identify new non-contractible connected components with the homotopy type of the circle.

Gao and Xie (2021) conjectured that the inverse Kazhdan-Lusztig polynomial of any matroid is log-concave. Although the inverse Kazhdan-Lusztig polynomial may not always have only real roots, we conjecture that the Hadamard product of an inverse Kazhdan-Lusztig polynomial of degree $n$ and $(1+t)^n$ has only real roots. Using interlacing polynomials and multiplier sequences, we confirm this conjecture for paving matroids. This result allows us to confirm the log-concavity conjecture for these matroids by applying Newton's inequalities.

We derive a formula for computing the size of lower Bruhat intervals for elements in the dominant cone of an affine Weyl group of type $A$. This enumeration problem is reduced to counting lattice points in certain polyhedra. Our main tool is a decomposition -- or tiling -- of each interval into smaller, combinatorially tractable pieces, which we call paper boats. We also conjecture a generalization of this formula to all affine Weyl groups, restricted to elements in the lowest two-sided Kazhdan-Lusztig cell, which contains almost all of the elements.

For $(W,S)$ an arbitrary Coxeter system and any $y \in W$, we investigate the relationship between the condition that the Kazhdan-Lusztig polynomial $P_{x,y}$ is trivial for all $x \leq y$, and the condition that the Bruhat graph for the interval $[1,y]$ can be cubulated, meaning roughly that this graph can be spanned by a product of subintervals of $\mathbb{Z}$. In one direction, we combine results of Carrell-Peterson and Elias-Williamson to prove that if $[1,y]$ can be cubulated, then $P_{x,y} = 1$ for all $x \leq y$. We then investigate the converse of this statement. For $(W,S)$ finite and $w_0$ the longest element in $W$, so that $P_{x,w_0} = 1$ for all $x \in W$, we construct cubulations of $[1,w_0]$ in types $A$ and $B/C$. However, in some exceptional types, we determine elements $y \in W$ such that $P_{1,y} = 1$ but $[1,y]$ cannot be cubulated. We then prove that if there are infinitely many $y \in W$ such that $[1,y]$ can be cubulated, then $(W,S)$ must be of type $\tilde{A}_n$ for some $n \geq 1$. Finally, for $(W,S)$ of type $\tilde{A}_2$, we exhibit a cubulation of $[1,y]$ for each of the infinitely many $y \in W$ such that $P_{x,y} = 1$ for all $x \leq y$.

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.

Blundell, Buesing, Davies, Veličković, and Williamson (BBDVW) introduced the notion of a hypercube decomposition of an interval in Bruhat order. They conjectured a recursive formula in terms of this structure which, if shown for all intervals, would imply the Combinatorial Invariance Conjecture of Lusztig and Dyer, for Kazhdan-Lusztig polynomials of the symmetric group. In this article, we prove implications between the BBDVW Conjecture and several other recurrences for hypercube decompositions, under varying hypotheses, which have appeared in the recent literature. As an application, we prove the BBDVW Conjecture for lower intervals $[e,v]$, the first non-trivial class of intervals for which it has been established.

We investigate the structure of Kazhdan-Lusztig polynomials of the symmetric group by leveraging computational approaches from big data, including exploratory and topological data analysis, applied to the polynomials for symmetric groups of up to 11 strands.

We prove that the Kazhdan-Lusztig basis of Specht modules is upper triangular with respect to all generalized Gelfand-Tsetlin bases constructed from any multiplicity-free tower of standard parabolic subgroups.

We determine the p-Kazhdan-Lusztig bases for antispherical (co)minuscule Hecke categories in all characteristics, and for spherical (co)minuscule Hecke categories in good characteristic. This is achieved using geometric and diagrammatic methods. The 2-Kazhdan-Lusztig bases of antispherical cominuscule Hecke categories exhibit extremely pathological behaviour. The notions of p-small resolutions and p-tight elements are introduced and conjecturally explain this behaviour.

For arbitrary Coxeter systems, we prove that inverse Kazhdan-Lusztig polynomials satisfy a monotonicity property. This follows from the validity of Soergel's conjecture and the existence of injective morphisms between Rouquier complexes in the mixed perverse Hecke category. The monotonicity property is generalised to parabolic Kazhdan-Lusztig polynomials.

We study equivariant Kazhdan--Lusztig (KL) and $Z$-polynomials of matroids. We formulate an equivariant generalization of a result by Braden and Vysogorets that relates the equivariant KL and $Z$-polynomials of a matroid with those of a single-element deletion. We also discuss the failure of equivariant $γ$-positivity for the $Z$-polynomial. As an application of our main result, we obtain a formula for the equivariant KL polynomial of the graphic matroid gotten by gluing two cycles. Furthermore, we compute the equivariant KL polynomials of all matroids of corank~$2$ via valuations. This provides an application of the machinery of Elias, Miyata, Proudfoot, and Vecchi to corank $2$ matroids, and it extends results of Ferroni and Schröter.

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.

By the work of Ferroni and Larson, Kazhdan-Lusztig polynomials and Z-polynomials of complete graphs have combinatorial interpretations in terms of quasi series-parallel matroids. We provide explicit formulas for the number of series-parallel matroids and the number of simple series-parallel matroids of a given rank and cardinality, extending results of Ferroni-Larson and Gao-Proudfoot-Yang-Zhang.

We prove that the combinatorial invariance conjecture for parabolic Kazhdan-Lusztig polynomials, formulated by Mario Marietti, is equivalent to its restriction to maximal quotients. This equivalence lies at the other extreme in respect to the equivalence, recently proved by Barkley and Gaetz, with the invariance conjecture for Kazhdan-Lusztig polynomials, which turns out to be equivalent to the conjecture for maximal quotients.

A natural unit interval order is a naturally labelled partially ordered set that avoids patterns ${\bf 3} + {\bf 1}$ and $\bf 2 + 2$. To each natural unit interval order one can associate a symmetric function. The Stanley-Stembridge conjecture states that each such symmetric function is positive in the basis of complete homogenous symmetric functions. This conjecture has connections to cohomology rings of Hessenberg varieties, and to Kazhdan-Lusztig theory. We use a diagrammatic technique to re-prove the special case of the conjecture for unit interval orders additionally avoiding pattern $\bf 2 + 1 + 1$. Originally this special case is due to Gebhard and Sagan.

We show that the Combinatorial Invariance Conjecture for Kazhdan-Lusztig polynomials due to Lusztig and to Dyer, its parabolic analog due to Marietti, and a refined parabolic version that we introduce, are equivalent. We use this to give a new proof of Marietti's conjecture in the case of lower Bruhat intervals and to prove several new cases of the parabolic conjectures.

In this article, we derived some consequences to the symmetrization process developed in \cite{Deng23}. This consists a geometric derivation of part of the properties which uniquely determines the Kazhdan-Lusztig polynomials of type $A_n$ as well as an interpretations of the last property by the decomposition theorem of \cite{BBD}. Finally, the relation of geometry of graded nilpotent classes to Parabolic Kazhdan-Lusztig polynomials is discussed for the purpose of later applications to Zelevinsky's derivatives.

Elements of Lusztig's dual canonical bases are Schur-positive when evaluated on (generalized) Jacobi-Trudi matrices. This deep property was proved by Rhoades and Skandera, relying on a result of Haiman, and ultimately on the (proof of) Kazhdan-Lusztig conjecture. For a particularly tractable part of the dual canonical basis - called Temperley-Lieb immanants - we give a generalization of Littlewood-Richardson rule: we provide a combinatorial interpretation for the coefficient of a particular Schur function in the evaluation of a particular Temperley-Lieb immanant on a particular Jacobi-Trudi matrix. For this we introduce shuffle tableaux, and apply Stembridge's axioms to show that certain graphs on shuffle tableaux are type $A$ Kashiwara crystals.

We state combinatorial formulas for hyperoctahedral group ($\mathfrak B_n$) character evaluations of the form $χ( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$, where ${{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1) \in \Bbb Z[\mathfrak B_n]$ is a type-BC Kazhdan-Lusztig basis element, with $w \in \mathfrak B_n$ corresponding to simultaneously smooth type-B and C Schubert varieties. We also extend the definition of symmetric group codominance to elements of $\mathfrak B_n$ and show that for each element $w \in \mathfrak B_n$ above, there exists a BC-codominant element $v \in \mathfrak B_n$ satisfying $χ( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1)) = χ( {{\widetilde C}_v}^{\negthickspace\negthickspace BC}\negthickspace(1))$ for all $\mathfrak B_n$-characters $χ$. Combinatorial structures and maps appearing in these formulas are type-BC extensions of planar networks, unit interval orders, indifference graphs, poset tableaux, and colorings. Using the ring of type-BC symmetric functions, we introduce natural generating functions $Y( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$ for the above evaluations. These provide a new type-BC analog of Stanley's chromatic symmetric functions [Adv. Math. 111 (1995) pp. 166-194].