Chern class formulas for classical-type degeneracy loci
arXiv:1504.03615 · doi:10.1112/S0010437X18007224
Abstract
In previous work, we employed a geometric method of Kazarian to prove Pfaffian formulas for a certain class of degeneracy loci in types B, C, and D. Here we refine that approach to obtain formulas for more general loci, including those coming from all isotropic Grassmannians. In these cases, the formulas recover the remarkable theta- and eta-polynomials of Buch, Kresch, Tamvakis, and Wilson. The streamlined geometric approch yields simple and direct proofs, which proceed in parallel for all four classical types. In an appendix, we develop some foundational algebra and prove several Pfaffian identities. Another appendix establishes a basic formula for classes in quadric bundles.
32 pages; v2 corrects the definitions of triples and partitions in sections 2 and 4, and clarifies the relationship with the (typed) k-strict partitions of Buch-Kresch-Tamvakis; v3 includes corrections to the published version, specifically in condition (d3) of Section 4, and Lemma 1 of Section A.3; v4 replaces (c4) and (d4) with less restrictive conditions
References in corpus (3)
Cited by in corpus (14)
- Degeneracy Loci Classes in -theory - Determinantal and Pfaffian Formula -
- Double theta polynomials and equivariant Giambelli formulas
- Double eta polynomials and equivariant Giambelli formulas
- Segre classes and Kempf-Laksov formula in algebraic cobordism
- Schubert Polynomials in Types A and C
- Kempf-Laksov Schubert classes for even infinitesimal cohomology theories
- Gröbner geometry for skew-symmetric matrix Schubert varieties
- Schubert defects in Lagrangian Grassmannians
- Pfaffian formula for -theory of odd orthogonal Grassmannians
- Identities for Schur-type determinants and pfaffians
- Infinite flags and Schubert polynomials
- Degeneracy locus formulas for amenable Weyl group elements
- Symplectic and odd orthogonal Pfaffian formulas for algebraic cobordism
- A tableau formula for vexillary Schubert polynomials in type C