arXiv subjects

Keith McNulty

Publications and source records attributed to Keith McNulty.

2 recordsLinked to original sources

arXiv2026

Hook monomial immanants are Kazhdan-Lusztig positive

Stembridge conjectured that every monomial immanant is non-negative on totally non-negative matrices, and Haiman proposed a stronger statement which at $q=1$ says that every monomial immanant is a non-negative integer combination of the Kazhdan-Lusztig immanants of Rhoades and Skandera. We prove this for every hook shape $(a,1^{n-a})$ and every $n$. More precisely, each of the per-vertex functions obtained by splitting Stembridge's formula for hook characters is Kazhdan-Lusztig positive. The main tool is a positivity statement for products: a product of Kazhdan-Lusztig positive immanants of complementary submatrices is Kazhdan-Lusztig positive, which we deduce at $q=1$ from Braden's hyperbolic localization, following Billey and Braden. With Haiman's theorem for irreducible characters, it shows that every class function whose Frobenius characteristic lies in the semiring generated by Schur functions and hook monomial symmetric functions is Kazhdan-Lusztig positive; for example, Skandera's chain of normalised hook immanants is Kazhdan-Lusztig positive for every $n$. We place these results in a comparison of three cones of class functions, and show that the remaining obstructions to Haiman's conjecture lie at singular Schubert varieties that are not reached by an iterated doubling identity of Abreu and Nigro, for which we give an explicit criterion. Finally, on the full span of permutation monomials, an element that is non-negative on totally non-negative matrices can have a negative coefficient at the Kazhdan-Lusztig immanant $\mathrm{Imm}_w$ if and only if the Schubert variety $X_w$ is singular; Skandera proved the smooth half.

math.CO↗

arXiv2026

Haiman's conjecture for n <= 10: Kazhdan-Lusztig positivity of monomial immanants

Haiman conjectured that for every partition $λ\vdash n$ and every $w\in S_n$ the polynomial $c_{λ,w}(q)$, a monomial character of the Hecke algebra evaluated at the Kazhdan-Lusztig basis, has non-negative integer coefficients and is symmetric and unimodal, and he verified this by computer for $n\le7$. We verify it for every $n\le10$. A stability lemma reduces the statement to $n=10$, which we settle by an exact computation that stores only the 1,252,173,030 pairs $(x,w)$ in $S_{10}$ with $x$ maximal in its double coset for the descent sets of $w$, and takes the traces of the standard basis from the class polynomials of Geck and Pfeiffer. Every stored Kazhdan-Lusztig polynomial agrees with du Cloux's Coxeter3, and the coefficients pass several independent checks, including a comparison at all 16,796 codominant $w$ with chromatic quasisymmetric functions computed from colourings. Consequently, for $n\le10$ every monomial immanant is a non-negative integer combination of Kazhdan-Lusztig immanants, Stembridge's monomial immanant conjecture holds, and a class-function immanant is non-negative on totally non-negative matrices if and only if it is non-negative at the block matrices $J_μ$. We use this to describe the order of normalised irreducible-character immanants on totally non-negative matrices for $n\le10$, and to prove Pate's inequalities there. On the full span of permutation monomials we give a Newton-polytope criterion for the coefficient of $\mathrm{Imm}_w$ to be non-negative throughout the totally non-negative cone, show that for $n=4,5$ this happens exactly when $X_w$ is smooth, and check by exact computation for $n\le10$ the proof of this for all $n$ given in a companion paper.

math.CO↗