Logarithmic double ramification cycles

Let A = (a1,..., an) be a vector of integers which sum to k(2g - 2+ n). The double ramification cycle DRg,A is an element of CHg(Mg,n) on the moduli space of curves is the virtual class of an Abel-Jacobi locus of pointed curves (C, x1,..., xn) satisfying OC(Sigma i=1naixi)similar or equal to(omega Clog)k.. The Abel-Jacobi construction requires log blow-ups of M g,n to resolve the indeterminacies of the Abel-Jacobi map. Holmes (J. Inst. Math. Jussieu 2019) has shown that DRg, A admits a canonical lift logDRg,A is an element of logCHg(Mg,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 logDR g,A which lifts Pixton's formula for DRg,A. The central idea is to study the universal Jacobian over the moduli space of curves (following Caporaso (Am. Math. Soc. 7(3):589-660 1994), Kass-Pagani (Trans. Am. Math. Soc. 372:4851-4887 2019), and Abreu-Pacini (Adv. Math. 378:107520 2021)) for certain stability conditions. Using the criterion of Holmes-Schwarz (Algebr. Geom. 9(5):574-605 2022), the universal double ramification theory of Bae-Holmes-Pandharipande-Schmitt-Schwarz (Acta Math. 230(2):205-319 2023) 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.