A positive Monk formula in the S^1-equivariant cohomology of type A Peterson varieties

DOI10.1112/PLMS/PDQ038MaRDI QIDQ3018645zbMATH OpenOpenAlexFDO

Authors Megumi Harada, Julianna Tymoczko

Publication date 27 July 2011

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

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

zbMATH Keywords

cohomology ringflag varietyHessenberg varietyMonk formulaPeterson varietySchubert calculus

Mathematics Subject Classification ID

Classical problems, Schubert calculus (14N15) Equivariant homology and cohomology in algebraic topology (55N91)

Abstract: Peterson varieties are a special class of Hessenberg varieties that have been extensively studied e.g. by Peterson, Kostant, and Rietsch, in connection with the quantum cohomology of the flag variety. In this manuscript, we develop a generalized Schubert calculus, and in particular a positive Chevalley-Monk formula, for the ordinary and Borel-equivariant cohomology of the Peterson variety $Y$ in type $A_{n-1}$, with respect to a natural $S^1$-action arising from the standard action of the maximal torus on flag varieties. As far as we know, this is the first example of positive Schubert calculus beyond the realm of Kac-Moody flag varieties $G/P$. Our main results are as follows. First, we identify a computationally convenient basis of $H_{S^1}^{\ast }(Y)$, which we call the basis of Peterson Schubert classes. Second, we derive a manifestly positive, integral Chevalley-Monk formula for the product of a cohomology-degree-2 Peterson Schubert class with an arbitrary Peterson Schubert class. Both $H_{S^1}^{\ast }(Y)$ and $H^{\ast }(Y)$ are generated in degree 2. Finally, by using our Chevalley-Monk formula we give explicit descriptions (via generators and relations) of both the $S^1$-equivariant cohomology ring $H_{S^1}^{\ast }(Y)$ and the ordinary cohomology ring $H^{\ast }(Y)$ of the type $A_{n-1}$ Peterson variety. Our methods are both directly from and inspired by those of GKM (Goresky-Kottwitz-MacPherson) theory and classical Schubert calculus. We discuss several open questions and directions for future work.

Recommendations

• Monk's rule and Giambelli's formula for Peterson varieties of all Lie types
• A positive formula for type a Peterson Schubert calculus
• Chevalley-Monk and Giambelli formulas for Peterson varieties of all Lie types
• A Giambelli formula for the S^1-equivariant cohomology of type A Peterson varieties
• The Equivariant Cohomology Rings of Peterson Varieties in All Lie Types

Cited in

(27)

• The singular locus of semisimple Hessenberg varieties
• The equivariant cohomology ring of regular varieties
• Patch ideals and Peterson varieties
• Generalizing Tanisaki's ideal via ideals of truncated symmetric functions
• 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
• Hessenberg varieties of parabolic type
• Monk's rule and Giambelli's formula for Peterson varieties of all Lie types
• Schubert calculus and the homology of the Peterson variety
• The cohomology rings of regular nilpotent Hessenberg varieties and Schubert polynomials
• Intersection theory of the Peterson variety and certain singularities of Schubert varieties
• A positive formula for type a Peterson Schubert calculus
• Poset pinball, the dimension pair algorithm, and type \(A\) regular nilpotent Hessenberg varieties
• Chevalley-Monk and Giambelli formulas for Peterson varieties of all Lie types
• The geometry and combinatorics of Springer fibers
• The Equivariant Cohomology Rings of Peterson Varieties in All Lie Types
• An equivariant basis for the cohomology of Springer fibers
• The equivariant cohomology rings of Peterson varieties
• The Cohomology Rings of Regular Nilpotent Hessenberg Varieties in Lie Type A
• Toward cohomology rings of intersections of Peterson varieties and Richardson varieties
• Geometry of Peterson Schubert calculus in type A and left-right diagrams
• Positivity of Peterson Schubert calculus
• On positivity for the Peterson variety
• A concise introduction to GKM theory, 25 years on
• Geometric vertex decomposition, Gröbner bases, and Frobenius splittings for regular nilpotent Hessenberg varieties
• Equivariant Chevalley, Giambelli, and Monk formulas for the Peterson variety
• Peterson varieties and toric orbifolds associated to Cartan matrices

This page was built for publication: A positive Monk formula in the \(S^{1}\)-equivariant cohomology of type A Peterson varieties

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