Enumerative Geometry 05 Schubert Polynomial
Review 04
- Projection to Grassmannian
- What is the image of Schubert class?
- Permutation is Grassmanian if it has only one descent.
- Given partitions, how to determine the Schubert structure coefficitents?
- Prieri’s Rule Analogue- Monk’s Formula.
- Coefficient not positive combinatorial description.
- AJS formula not positive (Open quest).
Equivariant Schubert Calculus
- Equivariant Cohomology
- Space with symmetry (action of group) then invariance which accounts for symmetry (action).
- \(EG\) contractible space with free G-Action. The quotient space \(EG \times X\) identifying action points. Cohomology of this space.
- Example: Let \(G= \mathbb{C*}\). Infinite sphere is contractible.
- Approximate infinite by finite.
- Properties shared with ordinary cohomology.
- Functorial for equivariant maps.
- Unique to Equivariant setting
- Restricts to ordinary cohomology.
- Determined at fixed locus.
- Torus: invariant \(k\)-dimensional subspaces are generated by basis choose \(k\).
- Equivariant Schubert Class
- Schubert Cell with position indexed by \(k\) element subset is T-invariant subvariety.
Knutson-Tao Puzzle
- Littlewood Richardson counts puzzles.
- Tile an \(n \times n\) equilateral triangle with pieces.
- Equivariant puzzles
- K-theory puzzles