arXiv++ Combinatorics

Recent work of Shareshian and Wachs, Brosnan and Chow, and Guay-Paquet connects the well-known Stanley-Stembridge conjecture in combinatorics to the dot action of the symmetric group $S_n$ on the cohomology rings $H^*(Hess(S,h))$ of regular semisimple Hessenberg varieties. In particular, in order to prove the Stanley-Stembridge conjecture, it suffices to construct (for any Hessenberg function $h$) a permutation basis of $H^*(Hess(S,h))$ whose elements have stabilizers isomorphic to Young subgroups. In this manuscript we give several results which contribute toward this goal. Specifically, in some special cases, we give a new, purely combinatorial construction of classes in the $T$-equivariant cohomology ring $H^*_T(Hess(S,h))$ which form permutation bases for subrepresentations in $H^*_T(Hess(S,h))$. Moreover, from the definition of our classes it follows that the stabilizers are isomorphic to Young subgroups. Our constructions use a presentation of the $T$-equivariant cohomology rings $H^*_T(Hess(S,h))$ due to Goresky, Kottwitz, and MacPherson. The constructions presented in this manuscript generalize past work of Abe-Horiguchi-Masuda, Chow, and Cho-Hong-Lee.

The chromatic symmetric function (CSF) of Dyck paths of Stanley and its Shareshian-Wachs $q$-analogue have important connections to Hessenberg varieties, diagonal harmonics, and LLT polynomials. In the case of, so-called, abelian Dyck paths they are also curiously related to placements of non-attacking rooks by results of Stanley-Stembridge (1993) and Guay-Paquet (2013). For the $q$-analogue, these results have been generalized by Abreu-Nigro (2020) and Guay-Paquet (private communication), using $q$-hit numbers, which are a variant of the ones introduced by Garsia and Remmel. Among our main results is a new proof of Guay-Paquet's elegant identity expressing the $q$-CSFs in a CSF basis with $q$-hit coefficients. We further show its equivalence to the Abreu-Nigro identity expanding the $q$-CSF in the elementary symmetric functions. This is the FPSAC extended abstract version. The full version is at ArXiv: 2104.07599.

We consider bases for the cohomology space of regular semisimple Hessenberg varieties, consisting of the classes that naturally arise from the Bialynicki-Birula decomposition of the Hessenberg varieties. We give an explicit combinatorial description of the support of each class, which enables us to compute the symmetric group actions on the classes in our bases. We then successfully apply the results to the permutohedral varieties to explicitly write down each class and to construct permutation submodules that constitute summands of a decomposition of cohomology space of each degree. This resolves the problem posed by Stembridge on the geometric construction of permutation module decomposition and also the conjecture posed by Chow on the construction of bases for the equivariant cohomology spaces of permutohedral varieties.

Peterson varieties are special nilpotent Hessenberg varieties that have appeared in the study of quantum cohomology, representation theory, and combinatorics. In type $A$, the Peterson variety $Y$ is a subvariety of the complete flag variety $Fl(n; \mathbb C)$, and is invariant under the action of a subgroup $S\cong \mathbb C^*$ of $T$, where $T$ is the standard (noncompact) torus acting on $Fl(n; \mathbb C)$. Using the Peterson Schubert basis introduced by Harada and Tymoczko obtained by restricting a specific set of Schubert classes from $H_T^*(Fl(n; \mathbb C))$ to $H_S^*(Y)$, we describe the product structure of the equivariant cohomology $H_{S}^*(Y)$. In particular, we show that the product is manifestly positive in an appropriate sense by providing an explicit positive combinatorial formula for its structure constants. Our method requires a new combinatorial identity of binomial coefficients that generalizes Vandermonde's identity.

Regular semisimple Hessenberg varieties are smooth subvarieties of the flag variety, and their examples contain the flag variety itself and the permutohedral variety which is a toric variety. We give a complete classification of Fano and weak Fano regular semisimple Hessenberg varieties in type A in terms of combinatorics of Hessenberg functions. In particular, we show that if the anti-canonical bundle of a regular semisimple Hessenberg variety is nef, then it is in fact nef and big.

In this paper we construct an additive basis for the cohomology ring of a regular nilpotent Hessenberg variety which is obtained by extending all Poincaré duals of smaller regular nilpotent Hessenberg subvarieties. In particular, all of the Poincaré duals of smaller regular nilpotent Hessenberg subvarieties are linearly independent.

In this paper we introduce and study uniform bases for the ideal arrangements in all Lie types. Explicit uniform bases are given by Abe-Horiguchi-Masuda-Murai-Sato for types $A,B,C,G$ and we provide them for other types. Combining the explicit uniform bases with the work of Abe-Horiguchi-Masuda-Murai-Sato, we also obtain explicit presentations of the cohomology rings of regular nilpotent Hessenberg varieties in all Lie types.

We consider Hessenberg varieties in the flag variety of $GL_n(\mathbb{C})$ with the property that the corresponding Hessenberg function defines an ad-nilpotent ideal. Each such Hessenberg variety is contained in a Springer fiber. We extend a theorem of Tymoczko to this setting, showing that these varieties have an affine paving obtained by intersecting with Schubert cells. Our method of proof constructs an an affine paving for each Springer fiber that restricts to an affine paving of the Hessenberg variety. We use the combinatorial properties of this paving to prove that Hessenberg varieties of this kind are connected.

This article surveys recent developments on Hessenberg varieties, emphasizing some of the rich connections of their cohomology and combinatorics. In particular, we will see how hyperplane arrangements, representations of symmetric groups, and Stanley's chromatic symmetric functions are related to the cohomology rings of Hessenberg varieties. We also include several other topics on Hessenberg varieties to cover recent developments.

Regular semisimple Hessenberg varieties are subvarieties of the flag variety $\mathrm{Flag}(\mathbb{C}^n)$ arising naturally in the intersection of geometry, representation theory, and combinatorics. Recent results of Abe-Horiguchi-Masuda-Murai-Sato and Abe-DeDieu-Galetto-Harada relate the volume polynomials of regular semisimple Hessenberg varieties to the volume polynomial of the Gelfand-Zetlin polytope $\mathrm{GZ}(λ)$ for $λ=(λ_1,λ_2,\ldots,λ_n)$. The main results of this manuscript use and generalize tools developed by Anderson-Tymoczko, Kiritchenko-Smirnov-Timorin, and Postnikov, in order to derive an explicit formula for the volume polynomials of regular semisimple Hessenberg varieties in terms of the volumes of certain faces of the Gelfand-Zetlin polytope, and also exhibit a manifestly positive, combinatorial formula for their coefficients with respect to the basis of monomials in the $α_i := λ_i-λ_{i+1}$. In addition, motivated by these considerations, we carefully analyze the special case of the permutohedral variety, which is also known as the toric variety associated to Weyl chambers. In this case, we obtain an explicit decomposition of the permutohedron (the moment map image of the permutohedral variety) into combinatorial $(n-1)$-cubes, and also give a geometric interpretation of this decomposition by expressing the cohomology class of the permutohedral variety in $\mathrm{Flag}(\mathbb{C}^n)$ as a sum of the cohomology classes of a certain set of Richardson varieties.

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 Tymoczko's 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 Tymoczko's 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.

Hessenberg varieties are subvarieties of the flag variety parametrized by a linear operator $X$ and a nondecreasing function $h$. The family of Hessenberg varieties for regular $X$ is particularly important: they are used in quantum cohomology, in combinatorial and geometric representation theory, in Schubert calculus and affine Schubert calculus. We show that the classes of a regular Hessenberg variety in the cohomology and $K$-theory of the flag variety are given by making certain substitutions in the Schubert polynomial (respectively Grothendieck polynomial) for a permutation that depends only on $h$. Our formula and our methods are different from a recent result of Abe, Fujita, and Zeng that gives the class of a regular Hessenberg variety with more restrictions on $h$ than here.

We study the space $X_h$ of Hermitian matrices having staircase form and the given simple spectrum. There is a natural action of a compact torus on this space. Using generalized Toda flow, we show that $X_h$ is a smooth manifold and its smooth type is independent of the spectrum. Morse theory is then used to show the vanishing of odd degree cohomology, so that $X_h$ is an equivariantly formal manifold. The equivariant and ordinary cohomology of $X_h$ are described using GKM-theory. The main goal of this paper is to show the connection between the manifolds $X_h$ and the semisimple Hessenberg varieties well-known in algebraic geometry. Both the spaces $X_h$ and Hessenberg varieties form wonderful families of submanifolds in the complete flag variety. There is a certain symmetry between these families which can be generalized to other submanifolds of the flag variety.

In this paper we study a relation between the cohomology ring of a regular nilpotent Hessenberg variety and Schubert polynomials. To describe an explicit presentation of the cohomology ring of a regular nilpotent Hessenberg variety, polynomials $f_{i,j}$ were introduced by Abe-Harada-Horiguchi-Masuda. We show that every polynomial $f_{i,j}$ is an alternating sum of certain Schubert polynomials.

Flag varieties are well-known algebraic varieties with many important geometric, combinatorial, and representation theoretic properties. A Hessenberg variety is a subvariety of a flag variety identified by two parameters: an element $X$ of the Lie algebra $\mathfrak{g}$ and a Hessenberg subspace $H\subseteq \mathfrak{g}$. This paper considers when two Hessenberg spaces define the same Hessenberg variety when paired with $X$. To answer this question we present the containment poset $\mathcal{P}_X$ of type $A$ Hessenberg varieties with a fixed first parameter $X$ and prove directly that if $X$ is not a multiple of the element $\bf 1$ then the Hessenberg spaces containing the Borel subalgebra determine distinct Hessenberg varieties. Lastly we give a natural involution on $\mathcal{P}_X$ that induces a homeomorphism of varieties and prove additional properties of $\mathcal{P}_X$ when $X$ is a regular nilpotent element.

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 Poincaré polynomials of regular abelian Hessenberg varieties.

This paper studies the geometry and combinatorics of three interrelated varieties: Springer fibers, Steinberg varieties, and parabolic Hessenberg varieties. We prove that each parabolic Hessenberg variety is the pullback of a Steinberg variety under the projection of the flag variety to an appropriate partial flag variety and we give three applications of this result. The first application constructs an explicit paving of all Steinberg varieties in Lie type $A$ in terms of semistandard tableaux. As a result, we obtain an elementary proof of a theorem of Steinberg and Shimomura that the well-known Kostka numbers count the maximal-dimensional irreducible components of Steinberg varieties. The second application proves an open conjecture for certain parabolic Hessenberg varieties in Lie type A by showing that their Betti numbers equal those of a specific union of Schubert varieties. The third application proves that the irreducible components of parabolic Hessenberg varieties are in bijection with the irreducible components of the Steinberg variety. All three of these applications extend our geometric understanding of the three varieties at the heart of this paper, a full understanding of which is unknown even for Springer varieties, despite over forty years' worth of work.

In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plücker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plücker embeddings.

Given a semisimple complex linear algebraic group $G$ and a lower ideal $I$ in positive roots of $G$, three objects arise: the ideal arrangement $\mathcal{A}_I$, the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$, and the regular semisimple Hessenberg variety $\mbox{Hess}(S,I)$. We show that a certain graded ring derived from the logarithmic derivation module of $\mathcal{A}_I$ is isomorphic to $H^*(\mbox{Hess}(N,I))$ and $H^*(\mbox{Hess}(S,I))^W$, the invariants in $H^*(\mbox{Hess}(S,I))$ under an action of the Weyl group $W$ of $G$. This isomorphism is shown for general Lie type, and generalizes Borel's celebrated theorem showing that the coinvariant algebra of $W$ is isomorphic to the cohomology ring of the flag variety $G/B$. This surprising connection between Hessenberg varieties and hyperplane arrangements enables us to produce a number of interesting consequences. For instance, the surjectivity of the restriction map $H^*(G/B)\to H^*(\mbox{Hess}(N,I))$ announced by Dale Peterson and an affirmative answer to a conjecture of Sommers-Tymoczko are immediate consequences. We also give an explicit ring presentation of $H^*(\mbox{Hess}(N,I))$ in types $B$, $C$, and $G$. Such a presentation was already known in type $A$ or when $\mbox{Hess}(N,I)$ is the Peterson variety. Moreover, we find the volume polynomial of $\mbox{Hess}(N,I)$ and see that the hard Lefschetz property and the Hodge-Riemann relations hold for $\mbox{Hess}(N,I)$, despite the fact that it is a singular variety in general.

Recently Brosnan and Chow have proven a conjecture of Shareshian and Wachs describing a representation of the symmetric group on the cohomology of regular semisimple Hessenberg varieties for $GL_n(\mathbb{C})$. A key component of their argument is that the Betti numbers of regular Hessenberg varieties for $GL_n(\mathbb{C})$ are palindromic. In this paper, we extend this result to all reductive algebraic groups, proving that the Betti numbers of regular Hessenberg varieties are palindromic.