Poset pinball, the dimension pair algorithm, and type A regular nilpotent Hessenberg varieties

DOI10.5402/2012/254235MaRDI QIDQ448534zbMATH OpenOpenAlexWikidataFDO

Authors Darius Bayegan, Megumi Harada

Publication date 7 September 2012

Published in ISRN Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1012.4054

zbMATH Keywords

equivariant cohomologyposet pinballtype \(A\) regular nilpotent Hessenberg varieties

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43) Grassmannians, Schubert varieties, flag manifolds (14M15) Equivariant homology and cohomology in algebraic topology (55N91)

Abstract: 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 $3leqileqn-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}^{\ast }(pt)$-module basis for the $S^1$-equivariant cohomology ring of the Hessenberg variety.

Review text

In the paper under review, the authors develop the theory of \textit{poset pinball}, a combinatorial game introduced in [\textit{M. Harada} and \textit{J. Tymoczko}, ``Poset pinball, GKM-compatible subspaces, and Hessenberg varieties, \url{arXiv:1007.2750}] to study the equivariant cohomology ring of a GKM-compatible subspace \(X\) of a GKM space (see Definition 4.5 of [loc. cit.]); Harada and Tymoczko also proved that, in certain circumstances, a \textit{successful outcome of Betti poset pinball} yields a module basis for the equivariant cohomology ring of \(X\). In this paper, the authors first define a \textit{dimension pair algorithm}, which yields 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. This algorithm is motivated by a correspondence between Hessenberg affine cells and certain Schubert polynomials. Second, in a special case of regular nilpotent Hessenberg varieties, the authors prove that the pinball outcome is \textit{poset-upper-triangular}, and hence the corresponding classes form a \(H^\ast_{S^1}\)(pt)-module basis for the \(S^{1}\)-equivariant cohomology ring of the Hessenberg variety.

Recommendations

• Poset pinball, GKM-compatible subspaces, and Hessenberg varieties
• Poset pinball, highest forms, and (n-2,2) Springer varieties
• The containment poset of type \(A\) Hessenberg varieties
• scientific article; zbMATH DE number 6466769
• Hessenberg varieties and hyperplane arrangements
• On dimension of poset variety
• scientific article; zbMATH DE number 1990775
• H-algebraic poset
• The cohomology rings of regular nilpotent Hessenberg varieties and Schubert polynomials
• Poset embeddings of Hilbert functions and Betti numbers

Cites work

• A Giambelli formula for the S^1-equivariant cohomology of type A Peterson varieties
• A Hessenberg generalization of the Garsia-Procesi basis for the cohomology ring of Springer varieties
• A positive Monk formula in the \(S^{1}\)-equivariant cohomology of type A Peterson varieties
• Combinatorics of Coxeter Groups
• Descent identities, Hessenberg varieties, and the Weil conjectures
• Flag manifold quantum cohomology, the Toda lattice, and the representation with highest weight
• Hessenberg Varieties
• scientific article; zbMATH DE number 3534719 (Why is no real title available?)
• Kostant polynomials and the cohomology ring for \(G/B\)
• Linear conditions imposed on flag varieties
• On the equivariant cohomology of subvarieties of a \(\mathfrak{B}\)-regular variety
• On the topology of components of some Springer fibers and their relation to Kazhdan-Lusztig theory.
• Poset pinball, GKM-compatible subspaces, and Hessenberg varieties
• Poset pinball, highest forms, and (n-2,2) Springer varieties
• The equivariant cohomology ring of regular varieties
• The fixed point subvarieties of unipotent transformations on the flag varieties
• Totally positive Toeplitz matrices and quantum cohomology of partial flag varieties

Cited in

(5)

• Poset pinball, GKM-compatible subspaces, and Hessenberg varieties
• Poset pinball, highest forms, and (n-2,2) Springer varieties
• scientific article; zbMATH DE number 6456850 (Why is no real title available?)
• scientific article; zbMATH DE number 6466769 (Why is no real title available?)
• The Cohomology Rings of Regular Nilpotent Hessenberg Varieties in Lie Type A

This page was built for publication: Poset pinball, the dimension pair algorithm, and type \(A\) regular nilpotent Hessenberg varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q448534)