arXiv++ Combinatorics

Hessenberg varieties $\mathcal{H}\mathrm{ess}(\mathsf{X},\mathbf{h})$ are subvarieties of the flag variety parameterized by a Hessenberg function $\mathbf{h}: [n] \to [n]$ and a matrix $\mathsf{X} \in \mathfrak{gl}_n(\mathbb{C})$. In recent work, Goldin and the second author showed the existence of flat degenerations of Hessenberg varieties to nilpotent Hessenberg varieties over the minimal sheet. This implies that all Hessenberg varieties over the minimal sheet have the same dimension. Our main result generalizes this dimension result to arbitrary sheets. Specifically, we prove that for a fixed Hessenberg function $\mathbf{h}:[n] \to [n]$, all Hessenberg varieties $\mathcal{H}\mathrm{ess}(\mathsf{X},\mathbf{h})$ defined in the type $A$ flag variety by linear operators $\mathsf{X}$ from the same sheet of the Lie algebra $\mathfrak{gl}_n(\mathbb{C})$ have the same dimension.

The polynomials $f_{i,j}$ are introduced by Abe-Harada-Horiguchi-Masuda to produce an explicit presentation by generators and relations of the cohomology rings of regular nilpotent Hessenberg varieties. In this paper we quantize the polynomials $f_{i,j}$ by a method of Fomin-Gelfand-Postnikov. Our main result states that their quantizations $F_{i,j}$ are related to the coordinate rings of regular semisimple Hessenberg varieties. This result yields a connection between the coordinate rings of regular semisimple Hessenberg varieties and the cohomology rings of regular nilpotent Hessenberg varieties. We also provide the quantized recursive formula for $F_{i,j}$.

Let $\mathfrak b_n(\mathbb F_q)$ denote the Lie algebra of upper triangular $n \times n$ matrices over $\mathbb F_q$, and let $\mathfrak u_n(\mathbb F_q)$ be the subalgebra of strictly upper triangular matrices. For every $\mathfrak b_n(\mathbb F_q)$-stable ideal $\mathfrak a \subseteq \mathfrak u_n(\mathbb F_q)$ and partition $μ$ of $n$, we give an explicit formula for the number of elements in $\mathfrak a$ of Jordan type $μ$. Up to a power of $q$, the number of points is given by the Hall scalar product of a modified Hall-Littlewood function indexed by $μ$ and a chromatic quasisymmetric function associated to $\mathfrak a$. In the special case $\mathfrak a = \mathfrak u_Λ(\mathbb F_q)$, the nilradical of the standard parabolic subalgebra of $\mathfrak{gl}_n(\mathbb F_q)$ corresponding to a composition $Λ$ of $n$, our formula specializes to a result of Karp and Thomas: up to a polynomial in $q$, the number of elements in $\mathfrak u_Λ(\mathbb F_q)$ of Jordan type $μ$ equals the coefficient of $\mathbf x^Λ$ in the specialization of the dual Macdonald symmetric function $\mathrm Q_{μ'}(\mathbf x; q^{-1}, t)$ at $t = 0$. We give a new and shorter proof using a parabolic version of Borodin's division algorithm. We present four applications: (1) a formula for the number of points on a nilpotent Hessenberg variety; (2) a derivation of Kirillov's recurrence for counting nilpotent matrices of fixed Jordan type; (3) a formula for the number of $X \in \mathfrak u_Λ(\mathbb F_q)$ with $X^2 = 0$, yielding a new proof of the Kirillov-Melnikov-Ekhad-Zeilberger formula via two-row Macdonald polynomials; (4) a formula for the number of double cosets $\mathsf U_1 \backslash \mathsf{GL}_n(\mathbb F_q) / \mathsf U_2$, where $\mathsf U_1$ and $\mathsf U_2$ are unipotent subgroups from $\mathfrak b_n(\mathbb F_q)$-stable ideals.

Let $G$ be a complex semisimple linear algebraic group. Fix a subset $Θ$ of simple roots. Given a lower ideal $I$ in positive roots, one can define the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$ in the full flag variety $G/B$. For a $Θ$-ideal $I$ (which is a special lower ideal), we can define the regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ in the partial flag variety $G/P$. In this manuscript we first provide a summand formula and a product formula for the Poincaré polynomial of regular nilpotent partial Hessenberg varieties. It is a well-known result from Bernstein-Gelfand-Gelfand that the cohomology ring of the partial flag variety $G/P$ is isomorphic to the invariants in the cohomology ring of the full flag variety $G/B$ under an action of the parabolic Weyl group $W_Θ$ generated by $Θ$. We generalize this result to regular nilpotent partial Hessenberg varieties. More concretely, we give an isomorphism between the cohomology ring of a regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ and the $W_Θ$-invariant subring of the cohomology ring of the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$. Furthermore, we provide a description of the cohomology ring for a regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ in terms of the $W_Θ$-invariants in the logarithmic derivation module of the ideal arrangement $\mathcal{A}_I$, which is a generalization of the result by Abe-Masuda-Murai-Sato with the author.

We exhibit a bijection between acyclic orientations of a Dyck graph and Tymoczko cells of a regular nilpotent Hessenberg variety. This implies the Shareshian-Wachs formula for the sum of the coefficients of the chromatic quasi-symmetric function of a Dyck graph in the elementary basis.

We prove the addition-deletion theorems for the Solomon-Terao polynomials, which have two important specializations. Namely, one is to the characteristic polynomials of hyperplane arangements, and the other to the Poincarè polynomials of the regular nilpotent Hessenberg varieties. One of the main tools to show them is the free surjection theorem which confirms the right exactness of several important exact sequences among logarithmic modules. Moreover, we introduce a generalized polynomial $B$-theory to the higher order logarithmic modules, whose origin was due to Terao.

Dale Peterson has discovered a surprising result that the quantum cohomology ring of the flag variety $\mbox{GL}_n(\mathbb{C})/B$ is isomorphic to the coordinate ring of the intersection of the Peterson variety $\mbox{Pet}_n$ and the opposite Schubert cell associated with the identity element $Ω_e^\circ$ in $\mbox{GL}_n(\mathbb{C})/B$. This is an unpublished result, so papers of Kostant and Rietsch are referred for this result. An explicit presentation of the quantum cohomology ring of $\mbox{GL}_n(\mathbb{C})/B$ is given by Ciocan-Fontanine and Givental-Kim. In this paper we introduce further quantizations of their presentation so that they reflect the coordinate rings of the intersections of regular nilpotent Hessenberg varieties $\mbox{Hess}(N,h)$ and $Ω_e^\circ$ in $\mbox{GL}_n(\mathbb{C})/B$. In other words, we generalize the Peterson's statement to regular nilpotent Hessenberg varieties via the presentation given by Ciocan-Fontanine and Givental-Kim. As an application of our theorem, we show that the singular locus of the intersection of some regular nilpotent Hessenberg variety $\mbox{Hess}(N,h_m)$ and $Ω_e^\circ$ is the intersection of certain Schubert variety and $Ω_e^\circ$ where $h_m=(m,n,\ldots,n)$ for $1<m<n$. We also see that $\mbox{Hess}(N,h_2) \cap Ω_e^\circ$ is related with the cyclic quotient singularity.

We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This leads to several implications for the dual picture, where we consider maps that generalize the Grothendieck-Springer resolution of the whole Lie algebra. In particular we are able to prove a conjecture of Brosnan. As we vary the maps, the cohomology of the corresponding nilpotent Hessenberg varieties often satisfy a relation we call the geometric modular law, which also has origins in the work on De Concini, Lusztig, and Procesi. We connect this relation in type $A$ with a combinatorial modular law defined by Guay-Paquet that is satisfied by certain symmetric functions and deduce some consequences of that connection.

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.

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.

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.

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.

Let $n$ be a fixed positive integer and $h: \{1,2,\ldots,n\} \rightarrow \{1,2,\ldots,n\}$ a Hessenberg function. The main results of this paper are twofold. First, we give a systematic method, depending in a simple manner on the Hessenberg function $h$, for producing an explicit presentation by generators and relations of the cohomology ring $H^\ast(Hess(\mathsf{N},h))$ with $\mathbb{Q}$ coefficients of the corresponding regular nilpotent Hessenberg variety $Hess(\mathsf{N},h)$. Our result generalizes known results in special cases such as the Peterson variety and also allows us to answer a question posed by Mbirika and Tymoczko. Moreover, our list of generators in fact forms a regular sequence, allowing us to use techniques from commutative algebra in our arguments. Our second main result gives an isomorphism between the cohomology ring $H^*(Hess(\mathsf{N},h))$ of the regular nilpotent Hessenberg variety and the $S_n$-invariant subring $H^*(Hess(\mathsf{S},h))^{S_n}$ of the cohomology ring of the regular semisimple Hessenberg variety (with respect to the $S_n$-action on $H^*(Hess(\mathsf{S},h))$ defined by Tymoczko). Our second main result implies that $\mathrm{dim}_{\mathbb{Q}} H^k(Hess(\mathsf{N},h)) = \mathrm{dim}_{\mathbb{Q}} H^k(Hess(\mathsf{S},h))^{S_n}$ for all $k$ and hence partially proves the Shareshian-Wachs conjecture in combinatorics, which is in turn related to the well-known Stanley-Stembridge conjecture. A proof of the full Shareshian-Wachs conjecture was recently given by Brosnan and Chow, but in our special case, our methods yield a stronger result (i.e. an isomorphism of rings) by more elementary considerations. This paper provides detailed proofs of results we recorded previously in a research announcement.

We study type $A$ nilpotent Hessenberg varieties equipped with a natural $S^1$-action using techniques introduced by Tymoczko, Harada-Tymoczko, and Bayegan-Harada, with a particular emphasis on a special class of nilpotent Springer varieties corresponding to the partition $λ= (n-2,2)$ for $n \geq 4$. First we define the adjacent-pair matrix corresponding to any filling of a Young diagram with $n$ boxes with the alphabet $\{1,2,\ldots,n\}$. Using the adjacent-pair matrix we make more explicit and also extend some statements concerning highest forms of linear operators in previous work of Tymoczko. Second, for a nilpotent operator $N$ and Hessenberg function $h$, we construct an explicit bijection between the $S^1$-fixed points of the nilpotent Hessenberg variety $\Hess(N,h)$ and the set of $(h,λ_N)$-permissible fillings of the Young diagram $λ_N$. Third, we use poset pinball, the combinatorial game introduced by Harada and Tymoczko, to study the $S^1$-equivariant cohomology of type $A$ Springer varieties $\mathcal{S}_{(n-2,2)}$ associated to Young diagrams of shape $(n-2,2)$ for $n\geq 4$. Specifically, we use the dimension pair algorithm for Betti-acceptable pinball described by Bayegan and Harada to specify a subset of the equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety $\mathcal{F}\ell ags(\C^n)$ which maps to a module basis of $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$ under the projection $H^*_T(\mathcal{F}\ell ags(\C^n)) \to H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. Our pinball module basis is not poset-upper-triangular; this is the first concrete such example in the literature. A consequence of our proof is that there exists a simple and explicit change of basis which transforms our basis to a poset-upper-triangular module basis for $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. We close with open questions for future work.

In this manuscript we develop the theory of poset pinball, a combinatorial game recently introduced by Harada and Tymoczko for the study of the equivariant cohomology rings of GKM-compatible subspaces of GKM spaces. Harada and Tymoczko also prove that in certain circumstances, a successful outcome of Betti poset pinball yields a module basis for the equivariant cohomology ring of the GKM-compatible subspace. Our main contributions are twofold. First we construct an algorithm (which we call the dimension pair algorithm) which yields the result of a successful outcome of Betti poset pinball for any type $A$ regular nilpotent Hessenberg and any type $A$ nilpotent Springer variety, considered as GKM-compatible subspaces of the flag variety $\Flags(\C^n)$. The definition of the algorithm is motivated by a correspondence between Hessenberg affine cells and certain Schubert polynomials which we learned from Erik Insko. Second, in the special case of the type $A$ regular nilpotent Hessenberg varieties specified by the Hessenberg function $h(1)=h(2)=3$ and $h(i) = i+1$ for $3 \leq i \leq n-1$ and $h(n)=n$, we prove that the pinball result coming from the dimension pair algorithm is poset-upper-triangular; by results of Harada and Tymoczko this implies the corresponding equivariant cohomology classes form a $H^*_{S^1}(\pt)$-module basis for the $S^1$-equivariant cohomology ring of the Hessenberg variety.

We define a family of ideals $I_h$ in the polynomial ring $\mathbb{Z}[x_1,...,x_n]$ that are parametrized by Hessenberg functions $h$ (equivalently Dyck paths or ample partitions). The ideals $I_h$ generalize algebraically a family of ideals called the Tanisaki ideal, which is used in a geometric construction of permutation representations called Springer theory. To define $I_h$, we use polynomials in a proper subset of the variables ${x_1,...,x_n}$ that are symmetric under the corresponding permutation subgroup. We call these polynomials {\em truncated symmetric functions} and show combinatorial identities relating different kinds of truncated symmetric polynomials. We then prove several key properties of $I_h$, including that if $h>h'$ in the natural partial order on Dyck paths then $I_{h} \subset I_{h'}$, and explicitly construct a Gröbner basis for $I_h$. We use a second family of ideals $J_h$ for which some of the claims are easier to see, and prove that $I_h = J_h$. The ideals $J_h$ arise in work of Ding, Develin-Martin-Reiner, and Gasharov-Reiner on a family of Schubert varieties called partition varieties. Using earlier work of the first author, the current manuscript proves that the ideals $I_h = J_h$ generalize the Tanisaki ideals both algebraically and geometrically, from Springer varieties to a family of nilpotent Hessenberg varieties.

The Springer variety is the set of flags stabilized by a nilpotent operator. In 1976, T.A. Springer observed that this variety's cohomology ring carries a symmetric group action, and he offered a deep geometric construction of this action. Sixteen years later, Garsia and Procesi made Springer's work more transparent and accessible by presenting the cohomology ring as a graded quotient of a polynomial ring. They combinatorially describe an explicit basis for this quotient. The goal of this paper is to generalize their work. Our main result deepens their analysis of Springer varieties and extends it to a family of varieties called Hessenberg varieties, a two-parameter generalization of Springer varieties. Little is known about their cohomology. For the class of regular nilpotent Hessenberg varieties, we conjecture a quotient presentation for the cohomology ring and exhibit an explicit basis. Tantalizing new evidence supports our conjecture for a subclass of regular nilpotent varieties called Peterson varieties.

We study a family of subvarieties of the flag variety defined by certain linear conditions, called Hessenberg varieties. We compare them to Schubert varieties. We prove that some Schubert varieties can be realized as Hessenberg varieties and vice versa. Our proof explicitly identifies these Schubert varieties by their permutation and computes their dimension. We use this to answer an open question by proving that Hessenberg varieties are not always pure dimensional. We give examples that neither semisimple nor nilpotent Hessenberg varieties need be pure; the latter are connected, non-pure-dimensional Hessenberg varieties. Our methods require us to generalize the definition of Hessenberg varieties.