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.
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.
Motivated by the realizability problem for principal tropical divisors with a fixed ramification profile, we explore the tropical geometry of the double ramification locus in $mathcal{M}_{g,n}$.There are two ways to define a tropical analogue of the double ramification locus: one as a locus of principal divisors, the other as a locus of finite effective ramified covers of a tree. We show that both loci admit a structure of a generalized cone complex in $M_{g,n}^{trop}$, with the latter contained in the former. We prove that the locus of principal divisors has cones of codimension zero in $M_{g,n}^{trop}$, while the locus of ramified covers has the expected codimension $g$. This solves the deformation-theoretic part of the realizability problem for principal divisors, reducing it to the so-called Hurwitz existence problem for covers of a fixed ramification type.
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.
The flex locus parameterizes plane cubics with three collinear cocritical points under a projection, and the gothic locus arises from quadratic differentials with zeros at a fiber of the projection and with poles at the cocritical points. The flex and gothic loci provide the first example of a primitive, totally geodesic subvariety of moduli space and new ${rm SL}_2(mathbb{R})$-invariant varieties in Teichmuller dynamics, as discovered by McMullen-Mukamel-Wright. In this paper we determine the divisor class of the flex locus as well as various tautological intersection numbers on the gothic locus. For the case of the gothic locus our result confirms numerically a conjecture of Chen-Moller-Sauvaget about computing sums of Lyapunov exponents for ${rm SL}_2(mathbb{R})$-invariant varieties via intersection theory.