The equivariant cohomology rings of Peterson varieties

DOI10.2969/JMSJ/06731147MaRDI QIDQ500091zbMATH OpenOpenAlexFDO

Authors Yukiko Fukukawa, Megumi Harada, Mikiya Masuda

Publication date 8 October 2015

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.8643, https://projecteuclid.org/euclid.jmsj/1438777443

zbMATH Keywords

equivariant cohomologyflag varietyPeterson varieties

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Classical problems, Schubert calculus (14N15) Equivariant homology and cohomology in algebraic topology (55N91)

Abstract: The main result of this note is an efficient presentation of the $S^1$-equivariant cohomology ring of Peterson varieties (in type $A$) as a quotient of a polynomial ring by an ideal $mathcalJ$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety. Our result simplifies previous presentations given by Harada-Tymoczko and Bayegan-Harada. In particular, our result gives an affirmative answer to a conjecture of Bayegan and Harada that the defining ideal $mathcalJ$ is generated by quadratics.

Review text

Peterson varieties in type \(A\) can be defined as the following subvariety \(\mathcal Y\) of \(\mathrm{Flags}(\mathbb C^n)\): \[ \mathcal Y = \{V_{\bullet} \mid NV_i \subseteq V_{i+1}\text{ for all }i=1,\dots, n-1\} \] where \(V_{\bullet}\) denotes a nested sequence \(0 \subseteq V_1 \subseteq V_2 \subseteq \cdots \subseteq V_{n-1}\subseteq V_n =\mathbb C^n\) of subspaces of \(\mathbb C^n\) and \(\dim_{\mathbb C} V_i = i\) for all \(i\) and \(N : \mathbb C^n \rightarrow \mathbb C^n \) denotes a principal nilpotent operator. These varieties have been much studied due to their relation to the quantum cohomology of the flag variety. Thus it is natural to study their topology, e.g. the structure of their (equivariant) cohomology rings. There is a natural circle subgroup of \(U(n, \mathbb C)\) which acts on \(\mathcal Y\). The inclusion of \(\mathcal Y\) into \(\text{Flags} (\mathbb C^n)\) induces a natural ring homomorphism \[ {H_T}^* (\mathrm{Flags} (\mathbb C^n))\rightarrow {H_{\mathbb S^1}}^* (\mathcal Y) \] where \(T\) is the subgroup of diagonal matrices of \(U(n, \mathbb C)\) acting in the usual way on \(\mathrm{Flags} (\mathbb C^n)\). The content of this paper is to give an efficient presentation of the equivariant cohomology ring \({H_{\mathbb S^1}}^* (\mathcal Y)\). The proof uses Hilbert series and regular sequences. The main result of this paper is an explicit and efficient presentation of the \(\mathbb S^1\)-equivariant cohomology ring of type \(A\) Peterson varieties in terms of generators and relations, in the spirit of the well-known Borel presentation of the cohomology of the flag variety.

Recommendations

• The Equivariant Cohomology Rings of Peterson Varieties in All Lie Types
• A positive Monk formula in the \(S^{1}\)-equivariant cohomology of type A Peterson varieties
• A Giambelli formula for the S^1-equivariant cohomology of type A Peterson varieties
• The \(S^{1}\)-equivariant cohomology rings of \((n - k, k)\) Springer varieties
• Monk's rule and Giambelli's formula for Peterson varieties of all Lie types

Cites work

• A Giambelli formula for the S^1-equivariant cohomology of type A Peterson varieties
• A GKM description of the equivariant cohomology ring of a homogeneous space
• A positive Monk formula in the \(S^{1}\)-equivariant cohomology of type A Peterson varieties
• Combinatorics and commutative algebra.
• Exponents for 𝐵-stable ideals
• Flag manifold quantum cohomology, the Toda lattice, and the representation with highest weight
• Poset pinball, GKM-compatible subspaces, and Hessenberg varieties
• The cohomology ring of the GKM graph of a flag manifold of classical type
• Totally positive Toeplitz matrices and quantum cohomology of partial flag varieties

Cited in

(20)

• The equivariant cohomology ring of regular varieties
• Patch ideals and Peterson varieties
• A Giambelli formula for the S^1-equivariant cohomology of type A Peterson varieties
• A filtration on the cohomology rings of regular nilpotent Hessenberg varieties
• Cyclic sieving and orbit harmonics
• Monk's rule and Giambelli's formula for Peterson varieties of all Lie types
• A positive formula for type a Peterson Schubert calculus
• The torus equivariant cohomology rings of Springer varieties
• Ring structures of mod \(p\) equivariant cohomology rings and ring homomorphisms between them
• Chevalley-Monk and Giambelli formulas for Peterson varieties of all Lie types
• The Equivariant Cohomology Rings of Peterson Varieties in All Lie Types
• A Survey of Recent Developments on Hessenberg Varieties
• The Cohomology Rings of Regular Nilpotent Hessenberg Varieties in Lie Type A
• An additive basis for the cohomology rings of regular nilpotent Hessenberg varieties
• Toward cohomology rings of intersections of Peterson varieties and Richardson varieties
• A q-deformation of an algebra of Klyachko, and Macdonald's reduced word formula
• Coordinate rings of regular nilpotent Hessenberg varieties in the open opposite Schubert cell
• Peterson varieties and toric orbifolds associated to Cartan matrices
• Hessenberg varieties and hyperplane arrangements
• The \(S^{1}\)-equivariant cohomology rings of \((n - k, k)\) Springer varieties

This page was built for publication: The equivariant cohomology rings of Peterson varieties

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