Table of Contents
Fetching ...

Equivariant Chevalley, Giambelli, and Monk Formulae for the Peterson Variety

Rebecca Goldin, Rahul Singh

Abstract

We present a formula for the Poincaré dual in the flag manifold of the equivariant fundamental class of any regular nilpotent or regular semisimple Hessenberg variety as a polynomial in terms of certain Chern classes. We then develop a type-independent proof of the Giambelli formula for the Peterson variety, and use this formula to compute the intersection multiplicity of a Peterson variety with an opposite Schubert variety corresponding to a Coxeter word. Finally, we develop an equivariant Chevalley formula for the cap product of a divisor class with a fundamental class, and a dual Monk rule, for the Peterson variety.

Equivariant Chevalley, Giambelli, and Monk Formulae for the Peterson Variety

Abstract

We present a formula for the Poincaré dual in the flag manifold of the equivariant fundamental class of any regular nilpotent or regular semisimple Hessenberg variety as a polynomial in terms of certain Chern classes. We then develop a type-independent proof of the Giambelli formula for the Peterson variety, and use this formula to compute the intersection multiplicity of a Peterson variety with an opposite Schubert variety corresponding to a Coxeter word. Finally, we develop an equivariant Chevalley formula for the cap product of a divisor class with a fundamental class, and a dual Monk rule, for the Peterson variety.
Paper Structure (20 sections, 26 theorems, 93 equations, 3 tables)

This paper contains 20 sections, 26 theorems, 93 equations, 3 tables.

Key Result

Theorem 1.1

Suppose $H_0\subset H$. We have the following equalities in the equivariant homology of the flag manifold $G/B$: where the product is over the set $\left\{\alpha\in\Phi\,\middle\vert\,\mathfrak g_{-\alpha}\not\subset H\right\}$.

Theorems & Definitions (45)

  • Theorem 1.1
  • Theorem 1.2: Giambelli formula
  • Theorem 1.3: Multiplicity Formula
  • Theorem 1.4: Equivariant Chevalley formula
  • Theorem 1.5: Equivariant Monk Rule
  • Lemma 2.1: cf. graham:positivity
  • Lemma 2.2
  • Corollary 2.3
  • Corollary 2.4
  • proof
  • ...and 35 more