Abstract:Over the past decade, Janda, Pandharipande, Pixton, and Zvonkine introduced an extremely useful method using $r$th roots for singling out fundamental classes on moduli of curves within polynomials arising from Riemann--Roch. The so-called double ramification (DR) cycles provide a natural framework embracing most of these classes. They are both fundamental in recent developments in enumerative geometry and central in algebraic geometry, because they express the loci where line bundles on a family of curves are trivial along the fibres. The aim of this paper is to show that the above $r$th root method can be regarded as a technique to remove excess intersection occurring in the presence of an unwanted subcurve which we call the parasitic curve. To this end, we reinterpret the DR cycle as a distinguished component of the degeneracy class of a map of vector bundles. When applied to moduli of $r$th roots and combined with a Riemann--Roch computation, this point of view yields a proof of the Hodge-DR Conjecture, along with new proofs of many known formulae for DR cycles and logarithmic DR cycles. Our proofs are valid in arbitrary characteristic.

Mumford representation and Riemann Roch space of a divisor on a hyperelliptic curve

Mumford representation and Riemann-Roch space of a divisor on a hyperelliptic curve

Double ramification cycles within degeneracy loci via moduli of roots

Blowdowns of the Deligne-Mumford Spaces of Real Rational Curves

Galois Representations Associated to $p$-adic Families of Modular Forms of Finite Slope

The Cohomology Ring of the Deligne-Mumford Moduli Space of Real Rational Curves with Conjugate Marked Points

The class of the Prym-Brill-Noether divisor

Explicit Riemann-Roch spaces in the Hilbert class field

Multivariable de Rham representations, Sen theory and $p$-adic differential equations

Effective divisors on projectivized Hodge bundles and modular forms

Non-Archimedean plectic Jacobians

Divisors and curves on logarithmic mapping spaces

Equivariant Gromov-Witten Theory of Affine Smooth Toric Deligne-Mumford Stacks

Duality for Hodge-Witt cohomology with modulus

The Riemann-Roch strategy, Complex lift of the Scaling Site

The Moduli Space of Rational Elliptic Surfaces

Deuring's mass formula of a Mumford family

Monodromy groups and exceptional Hodge classes

Higher Genus FJRW Invariants of a Fermat Cubic

Cohomology and Duality for (φ, Γ)-modules over the Robba Ring

Cohomology and Duality for (Phi,gamma)-Modules over the Robba Ring