Abstract:Let $A=(a_1,\ldots, a_n)$ be a vector of integers which sum to $k(2g-2+n)$. The double ramification cycle $\mathsf{DR}_{g,A}\in \mathsf{CH}^g(\mathcal{M}_{g,n})$ on the moduli space of curves is the virtual class of an Abel-Jacobi locus of pointed curves $(C,x_1,\ldots,x_n)$ satisfying $$\mathcal{O}_C\Big(\sum_{i=1}^n a_i x_i\Big) \, \simeq\, \big(\omega^{\mathsf{log}}_{C}\big)^k\, .$$ The Abel-Jacobi construction requires log blow-ups of $\mathcal{M}_{g,n}$ to resolve the indeterminacies of the Abel-Jacobi map. Holmes has shown that $\mathsf{DR}_{g,A}$ admits a canonical lift $\mathsf{logDR}_{g,A} \in \mathsf{logCH}^g(\mathcal{M}_{g,n})$ to the logarithmic Chow ring, which is the limit of the intersection theories of all such blow-ups. The main result of the paper is an explicit formula for $\mathsf{logDR}_{g,A}$ which lifts Pixton's formula for $\mathsf{DR}_{g,A}$. The central idea is to study the universal Jacobian over the moduli space of curves (following Caporaso, Kass-Pagani, and Abreu-Pacini) for certain stability conditions. Using the criterion of Holmes-Schwarz, the universal double ramification theory of Bae-Holmes-Pandharipande-Schmitt-Schwarz applied to the universal line bundle determines the logarithmic double ramification cycle. The resulting formula, written in the language of piecewise polynomials, depends upon the stability condition (and admits a wall-crossing study). Several examples of logarithmic and higher double ramification cycles are computed.

Characteristic Cycle and Wild Ramification for Nearby Cycles of Étale Sheaves

Wild ramification, the nearby cycle complexes, and the characteristic cycles of $\ell$-adic sheaves

Characteristic cycle of a rank one sheaf and ramification theory

Semi-continuity of Conductors, and Ramification Bound of Nearby Cycles

Wild ramification determines the characteristic cycle

Cycle caractéristique sur une puissance symétrique d'une courbe et déterminant de la cohomologie étale

Relative Singular Support and the Semi-Continuity of Characteristic Cycles for Étale Sheaves

Étale tame vanishing cycles over $[\mathbb{A}^1_{S}/\mathbb{G}_{m,S}]$

Ramification theory for reciprocity sheaves, III, Abbes-Saito formula

On the stability of vanishing cycles of étale sheaves in positive characteristic

F-characteristic cycle of a rank one sheaf on an arithmetic surface

On simple singularities and Weyl monodromy actions in mixed characteristic

The Fourier Transform and Characteristic Cycles of Monodromic $\ell$-adic Sheaves

Motivic Euler Characteristic of Nearby Cycles and a Generalized Quadratic Conductor Formula

The Characteristic Cycles and Semi-Canonical Bases on Type A Quiver Variety

The characteristic cycle of a non-confluent $\ell$-adic GKZ hypergeometric sheaf

Étale cohomology of algebraizable rigid analytic varieties via nearby cycles over general bases

Cycle classes on abelian varieties and the geometry of the Abel-Jacobi map

Logarithmic double ramification cycles

Double ramification cycles within degeneracy loci via moduli of roots

Multiplicativity of the double ramification cycle