arXiv++ Combinatorics

Lusztig varieties are subvarieties in flag manifolds $G/B$ associated to an element $w$ in the Weyl group $W$ and an element $x$ in $G$, introduced in Lusztig's papers on character sheaves. We study the geometry of these varieties when $x$ is regular semisimple. In the first part, we establish that they are normal, Cohen-Macaulay, of pure expected dimension and have rational singularities. We then show that the cohomology of ample line bundles vanishes in positive degrees, in arbitrary characteristic. This extends to nef line bundles when the base field has characteristic zero or sufficiently large characteristic. Along the way, we prove that Lusztig varieties are Frobenius split in positive characteristic and that their open cells are affine. We also prove that the open cells in Deligne-Lusztig varieties are affine, settling a question that has been open since the foundational paper of Deligne and Lusztig. In the second part, we explore their relationship with regular semisimple Hessenberg varieties. Both varieties admit Tymoczko's dot action of $W$ on their (intersection) cohomology. We associate to each element $w$ in $W$ a Hessenberg space using the tangent cone of the Schubert variety associated with $w$, and show that the cohomology of the associated regular semisimple Lusztig varieties and Hessenberg varieties is isomorphic as graded $W$-representations when they are smooth. This relationship extends to the level of varieties: we construct a flat degeneration of regular semisimple Lusztig varieties to regular semisimple Hessenberg varieties. In particular, this proves a conjecture of Abreu and Nigro on the homeomorphism types of regular semisimple Lusztig varieties in type $A$, and generalizes it to arbitrary Lie types.

Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to $ωX_G(t)$, where $X_G(t)$ is the chromatic quasisymmetric function of the incomparability graph $G$ of the corresponding natural unit interval order, and $ω$ is the usual involution on symmetric functions. We prove the Shareshian--Wachs conjecture. Our proof uses the local invariant cycle theorem of Beilinson-Bernstein-Deligne to obtain a surjection from the cohomology of a regular Hessenberg variety of Jordan type $λ$ to a space of local invariant cycles; as $λ$ ranges over all partitions, these spaces collectively contain all the information about the dot action on a regular semisimple Hessenberg variety. Using a palindromicity argument, we show that in our case the surjections are actually isomorphisms, thus reducing the Shareshian-Wachs conjecture to computing the cohomology of a regular Hessenberg variety. But this cohomology has already been described combinatorially by Tymoczko; we give a bijective proof (using a generalization of a combinatorial reciprocity theorem of Chow) that Tymoczko's combinatorial description coincides with the combinatorics of the chromatic quasisymmetric function.

Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.