Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userChern class formulas for classical-type degeneracy loci
209
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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.
rate research
Read More
Using raising operators and geometric arguments, we establish formulas for the K-theory classes of degeneracy loci in classical types. We also find new determinantal and Pfaffian expressions for classical cases considered by Giambelli: the loci where a generic matrix drops rank, and where a generic symmetric or skew-symmetric matrix drops rank. In an appendix, we construct a K-theoretic Euler class for even-rank vector bundles with quadratic form, refining the Chow-theoretic class introduced by Edidin and Graham. We also establish a relation between top Chern classes of maximal isotropic subbundles, which is used in proving the type D degeneracy locus formulas.
We define degeneracy loci for vector bundles with structure group $G_2$, and give formulas for their cohomology (or Chow) classes in terms of the Chern classes of the bundles involved. When the base is a point, such formulas are part of the theory for rational homogeneous spaces developed by Bernstein-Gelfand-Gelfand and Demazure. This has been extended to the setting of general algebraic geometry by Giambelli-Thom-Porteous, Kempf-Laksov, and Fulton in classical types; the present work carries out the analogous program in type $G_2$. We include explicit descriptions of the $G_2$ flag variety and its Schubert varieties, and several computations, including one that answers a question of W. Graham. In appendices, we collect some facts from representation theory and compute the Chow rings of quadric bundles, clarifying a previous computation of Edidin and Graham.
Let V be a smooth equidimensional quasi-affine variety of dimension r over the complex numbers $C$ and let $F$ be a $(ptimes s)$-matrix of coordinate functions of $C[V]$, where $sge p+r$. The pair $(V,F)$ determines a vector bundle $E$ of rank $s-p$ over $W:={xin V:mathrm{rk} F(x)=p}$. We associate with $(V,F)$ a descending chain of degeneracy loci of E (the generic polar varieties of $V$ represent a typical example of this situation). The maximal degree of these degeneracy loci constitutes the essential ingredient for the uniform, bounded error probabilistic pseudo-polynomial time algorithm which we are going to design and which solves a series of computational elimination problems that can be formulated in this framework. We describe applications to polynomial equation solving over the reals and to the computation of a generic fiber of a dominant endomorphism of an affine space.
We express nested Hilbert schemes of points and curves on a smooth projective surface as virtual resolutions of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories to produce the virtual cycles of Vafa-Witten theory and other sheaf-counting problems. The result is an effective way of calculating invariants (VW, SW, local PT and local DT) via Thom-Porteous-like Chern class formulae.
We explain a general construction of double covers of quadratic degeneracy loci and Lagrangian intersection loci based on reflexive sheaves. We relate the double covers of quadratic degeneracy loci to the Stein factorizations of the relative Hilbert schemes of linear spaces of the corresponding quadric fibrations. We give a criterion for these double covers to be nonsingular. As applications of these results, we show that the double covers of the EPW sextics obtained by our construction give OGradys double EPW sextics and that an analogous construction gives Iliev-Kapustka-Kapustka-Ranestads EPW cubes.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
