Spelling suggestions: "subject:"demazure's cooperator"" "subject:"demazure's inoperator""
1 |
Cotangent Schubert Calculus in GrassmanniansOetjen, David Christopher 15 June 2022 (has links)
We find formulas for the Segre-MacPherson classes of Schubert cells in T-equivariant cohomology and the motivic Segre classes of Schubert cells in T-equivariant K-theory. In doing so we look at the pushforward of the projection map from the Bott-Samelson (Kempf-Laksov) desingularization to the Grassmannian. We find that the Segre-MacPherson classes are stable under pullbacks of maps embedding a Grassmannian into a bigger Grassmannian. We also express these formulas using certain Demazure-Lusztig operators that have previously been used to study these classes. / Doctor of Philosophy / Schubert calculus was first introduced in the nineteenth century as a way to answer certain questions in enumerative geometry. These computations relied on the multiplication of Schubert classes in the cohomology ring of Grassmannians, which parameterize k-dimensional linear subspaces of a vector space.
More recently Schubert calculus has been broadened to refer to computations in generalized cohomology theories, such as (equivariant) K-theory.
In this dissertation, we study Segre-MacPherson classes and motivic Segre classes of Schubert cells in Grassmannians. Segre-MacPherson classes are related to Chern-Schwartz-MacPherson classes, which are a generalization to singular spaces of the total Chern class of the tangent bundle. Motivic Segre classes are similarly related to motivic Chern classes, which are a K-theory analogue of Chern-Schwartz-MacPherson classes.
This dissertation also studies the relationship between Schubert varieties and their Bott-Samelson desingularizations, specifically their (T-equivariant) cohomology and K-theory rings. Since equivariant cohomology (or K-theory) classes can be represented by polynomials, we can represent the Segre-MacPherson (or motivic Segre) classes as rational functions. Furthermore, we use certain operators that act on such polynomials (or rational functions) to find formulas for the rational function representatives of the aforementioned classes.
|
Page generated in 0.0665 seconds