No Arabic abstract
In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczkos permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a refined (graded) version of the Stanley-Stembridge conjecture in a special case. In this manuscript, we derive a new set of linear relations satisfied by the multiplicities of certain permutation representations in Tymoczkos representation. We also show that these relations are upper-triangular in an appropriate sense, and in particular, they uniquely determine the multiplicities. As an application of these results, we prove an inductive formula for the multiplicity coefficients corresponding to partitions with a maximal number of parts. It follows from our formula that these coefficients are non-negative, thus giving additional positive evidence for the graded Stanley--Stembridge conjecture in the general case.
We define a subclass of Hessenberg varieties called abelian Hessenberg varieties, inspired by the theory of abelian ideals in a Lie algebra developed by Kostant and Peterson. We give an inductive formula for the $S_n$-representation on the cohomology of an abelian regular semisimple Hessenberg variety with respect to the action defined by Tymoczko. Our result implies that a graded version of the Stanley-Stembridge conjecture holds in the abelian case, and generalizes results obtained by Shareshian-Wachs and Teff. Our proof uses previous work of Stanley, Gasharov, Shareshian-Wachs, and Brosnan-Chow, as well as results of the second author on the geometry and combinatorics of Hessenberg varieties. As part of our arguments, we obtain inductive formulas for the Poincare polynomials of regular abelian Hessenberg varieties.
We show Kantors conjecture (1974) holds in rank 4. This proves both the sticky matroid conjecture of Poljak and Turzik (1982) and the whole Kantors conjecture, due to an argument of Bachem, Kern, and Bonin, and an equivalence argument of Hochstattler and Wilhelmi, respectively.
Let $A$ be the polynomial algebra in $r$ variables with coefficients in an algebraically closed field $k$. When the characteristic of $k$ is $2$, Carlsson conjectured that for any $mathrm{dg}$-$A$-module $M$, which has dimension $N$ as a free $A$-module, if the homology of $M$ is nontrivial and finite dimensional as a $k$-vector space, then $Ngeq 2^r$. Here we examine a stronger conjecture concerning varieties of square-zero upper triangular $Ntimes N$ matrices with entries in $A$. Stratifying these varieties via Borel orbits, we show that the stronger conjecture holds when $N = 8$ without any restriction on the characteristic of $k$. This result also verifies that if $X$ is a product of $3$ spheres of any dimensions, then the elementary abelian $2$-group of order $4$ cannot act freely on $X$.
We give a criterion for modular extension of rank-4 hypermodular matroids, and prove a weakening of Kantors conjecture for rank-4 realizable matroids. This proves the sticky matroid conjecture and Kantors conjecture for realizable matroids due to an argument of Bachem, Kern, and Bonin, and due to an equivalence argument of Hochstattler and Wilhelmi, respectively.
We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent polynomials.