F Janda
email: janda@umich.edu

R Pandharipande

A Pixton
email: apixton@mit.edu

D Zvonkine
email: dimitri.zvonkine@uvsq.fr

Double ramification cycles with target varieties

Let X be a nonsingular projective algebraic variety over C, and let M g,n,β (X) be the moduli space of stable maps f : (C, x 1 , . . . , x n ) → X from genus g, n-pointed curves C to X of degree β. Let S be a line bundle on X. Let A = (a 1 , . . . , a n ) be a vector of integers which satisfy

Consider the following condition: the line bundle f * S has a meromorphic section with zeroes and poles exactly at the marked points x i with orders prescribed by the integers a i . In other words, we require f * S (-n i=1 a i x i ) to be the trivial line bundle on C. A compactification of the space of maps based upon the above condition is given by the moduli space of stable maps to rubber over X and is denoted by M ∼ g,A,β (X, S). The moduli space carries a virtual fundamental class

. Several applications of the new formula are given.

Introduction 0.1 Double ramification cycles

Let A = (a 1 , . . . , a n ) be a vector of n integers satisfying n i=1 a i = 0 .

In the moduli space M g,n of nonsingular curves of genus g with n marked points, consider the substack defined by the following classical condition:

(C, x 1 , . . . , x n ) ⊂ M g,n n i=1 a i x i ≃ O C . (1)
From the point of view of Gromov-Witten theory, the most natural compactification of the substack [START_REF] Abramovich | Gromov-Witten theory of Deligne-Mumford stacks[END_REF] is the space M ∼ g,A of stable maps to rubber : stable maps to CP 1 relative to 0 and ∞ modulo the C * action on CP 1 . The rubber moduli space carries a natural virtual fundamental class M ∼ g,A vir of dimension 2g -3 + n . The push-forward via the canonical morphism

ǫ : M ∼ g,A → M g,n is the double ramification cycle ǫ * M ∼ g,A vir = DR g,A ∈ A 2g-3+n (M g,n ) .
There has been substantial work on double ramification cycles since questions motivated by Symplectic Field Theory were posed by Eliashberg in 2001. Examples of early results can be found in [START_REF] Buryak | Integrals of ψ-classes over double ramification cycles[END_REF][START_REF] Cavalieri | Polynomial families of tautological classes on M rt g,n[END_REF][START_REF] Clader | Pixton's double ramification cycle relations[END_REF][START_REF] Faber | Relative maps and tautological classes[END_REF][START_REF] Grushevsky | The double ramification cycle and the theta divisor[END_REF][START_REF] Hain | Normal functions and the geometry of moduli spaces of curves in Handbook of moduli[END_REF][START_REF] Marcus | Stable maps to rational curves and the relative Jacobian[END_REF]. A complete formula was conjectured by Pixton in 2014 and proven in [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF]. For a sampling of the subsequent study and applications, see [START_REF] Buryak | DR/DZ equivalence conjecture and tautological relations[END_REF][START_REF] Clader | Powers of the theta divisor and relations in the tautological ring[END_REF][START_REF] Fan | Structures in genus 0 relative Gromov-Witten theory[END_REF][START_REF] Farkas | The moduli space of twisted canonical divisors with Appendix by F[END_REF][START_REF] Holmes | Extending the double ramification cycle using Jacobians[END_REF][START_REF] Holmes | Multiplicativity of the double ramification cycle[END_REF][START_REF] Oberdieck | Holomorphic anomaly equations and the Igusa cusp form conjecture[END_REF][START_REF] Pixton | Generalized boundary strata classes[END_REF][START_REF] Schmitt | Dimension theory of the moduli space of twisted k-differentials[END_REF][START_REF] Tseng | Higher genus relative and orbifold Gromov-Witten invariants of curves[END_REF][START_REF] Tseng | Higher genus relative and orbifold Gromov-Witten invariants[END_REF]. We refer the reader to [28, Section 0] and [START_REF] Pandharipande | A calculus for the moduli space of curves[END_REF]Section 5] for more leisurely introductions to the subject.

Our goal here is to develop a full theory of double ramification cycles for general target varieties X and to prove a parallel formula for the pushforward. In case X is a point, we will recover our previous study [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF] . The double ramification cycle construction for target varieties plays a crucial role in relative Gromov-Witten theory.

Rubber maps with target X

Let X be a nonsingular projective variety over C. Let S → X be a line bundle, and let P(O X ⊕ S) → X be the canonically associated CP 1 -bundle over X. Let D 0 , D ∞ ⊂ P(O X ⊕ S)

be the divisors defined by the projectivizations of the loci O X ⊕ {0} and {0} ⊕ S respectively. We will call D 0 the 0-divisor and D ∞ the ∞-divisor.

Let C be a nonsingular curve with n marked points, and let f : C → X be an algebraic map of degree β ∈ H 2 (X, Z). Furthermore, let s be a nonzero meromorphic section of f * S over C, defined up to a multiplicative constant, with zeros and poles belonging to the set of marked points of C. We denote the orders of zeros and poles by A = (a 1 , . . . , a n ) .

If the ith marking is neither a zero nor a pole, we set a i = 0. We have

n i=1 a i = β c 1 (S) .
The pair (f, s) defines a map to rubber with target X. Let M ∼ g,A,β (X, S)

be the compact moduli space of stable maps to rubber with target X. A general stable map to rubber with target X is a map to a rubber chain of CP 1 -bundles P(C ⊕ S) over X attached along their 0-and ∞-divisors. The space of rubber maps with target X carries a perfect obstruction theory and a virtual fundamental class, see [START_REF] Li | Lecture notes on relative GW-invariants[END_REF][START_REF] Li | A degeneration formula of GW invariants[END_REF][START_REF] Maulik | A topological view of Gromov-Witten theory[END_REF] for a detailed discussion. Let

ǫ : M ∼ g,A,β (X, S) → M g,n,β (X)
be the morphism obtained by the projection of the rubber map to X (and the contraction of the resulting unstable components).

Definition 1 The X-valued double ramification cycle is the ǫ push-forward of the virtual fundamental class of the moduli space of stable maps to rubber over X:

DR g,A,β (X, S) = ǫ * M ∼ g,A,β (X, S)
vir ∈ A vdim(g,n,β)-g (M g,n,β (X)) .

The virtual dimension vdim(g, n, β) of M g,n,β (X) is determined by vdim(g, n, β) = β c 1 (X) + (g -1)(dim C (X) -3) + n .

X-valued stable graphs

We define the set G g,n,β (X) of X-valued stable graphs as follows. A graph Γ ∈ G g,n,β (X) consists of the data

Γ = (V , H , L , g : V → Z ≥0 , v : H → V , ι : H → H, β : V → H 2 (X, Z))
satisfying the properties:

(i) V is a vertex set with a genus function g : V → Z ≥0 , (ii) H is a half-edge set equipped with a vertex assignment v : H → V and an involution ι, (iii) E, the edge set, is defined by the 2-cycles of ι in H (self-edges at vertices are permitted), (iv) L, the set of legs, is defined by the fixed points of ι and is placed in bijective correspondence with a set of n markings, (v) the pair (V, E) defines a connected graph satisfying the genus condition v∈V g(v) + h 1 (Γ) = g , (vi) for each vertex v, the stability condition holds: if β(v) = 0, then 2g(v) -2 + n(v) > 0 ,

where n(v) is the valence of Γ at v including both edges and legs, (vii) the degree condition holds:

v∈V β(v) = β .
To emphasize Γ, the notation V(Γ), H(Γ), L(Γ), and E(Γ) will also be to used for the vertex, half-edges, legs, and edges of Γ.

An automorphism of Γ ∈ G g,n,β (X) consists of automorphisms of the sets V and H which leave invariant the structures L, g, v, ι, and β. Let Aut(Γ) denote the automorphism group of Γ.

An X-valued stable graph Γ determines a moduli space M Γ of stable maps with the degenerations forced by the graph together with a canonical map, j Γ : M Γ → M g,n,β (X) .

The moduli space M Γ is the substack of the product

M Γ ⊂ v∈V M g(v),n(v),β(v) (X)
cut out by the inverse images of the diagonal ∆ ⊂ X × X under the evaluations maps associated to the edges e = (h, h ′ ) ∈ E,

v∈V M g(v),n(v),β(v) (X) eve -→ X × X .
The moduli space M Γ carries a natural virtual fundamental class M Γ vir defined by the refined intersection,

[M Γ ] vir = e∈E ev -1 e (∆) ∩ v∈V M g(v),n(v),β(v) (X) vir . (2)
0.4 Tautological ψ, ξ, and η classes

The universal curve π : C g,n,β (X) → M g,n,β (X) carries two natural line bundles: the relative dualizing sheaf ω π and the pull-back f * S of the line bundle S via the universal map,

f : C g,n,β (X) → X .
Let s i be the ith section of the universal curve, let

D i ⊂ C g,n,β (X)
be the corresponding divisor, and let

ω log = ω π n i=1 D i
be the relative logarithmic line bundle with first Chern class c 1 (ω log ). Let

ξ = c 1 (f * S)
be the first Chern class of the pull-back of S.

Definition 2

The following classes in M g,n,β (X) are obtained from the universal curve C g,n,β (X):

• ψ i = c 1 (s * i ω π ) , • ξ i = c 1 (s * i f * S) , • η a,b = π * c 1 (ω log ) a ξ b .
All can be viewed as either cohomology classes or as operational Chow classes in A * (M g,n,β (X)). We will use the term Chow cohomology for operational Chow.

Since the class η 0,2 = π * (ξ 2 ) will play a prominent role in our formulas for the X-valued DR-cycle, we will use the notational convention

η = π * (ξ 2 ) .
The standard κ classes are defined by the π push-forwards of powers of c 1 (ω log ), so we have η a,0 = κ a-1 .

Definition 3 A decorated X-valued stable graph [Γ, γ] is an X-valued stable graph Γ ∈ G g,n,β (
X) together with the following decoration data γ:

• each leg i ∈ L is decorated with a monomial ψ a i ξ b i , • each half-edge h ∈ H \ L is decorated with a monomial ψ a h ,
• each edge e ∈ E is decorated with a monomial ξ a e ,

• each vertex in V is decorated with a monomial in the variables {η a,b } a+b≥2 .

Let DG g,n,β (X) be the set of decorated X-valued stable graphs. To each decorated graph [Γ, γ] ∈ DG g,n,β (X) , we assign the cycle class j Γ * [γ] obtained via the push-forward via

j Γ : M Γ → M g,n,β (X)
of the action of the product of the ψ, ξ, and η decorations on M Γ vir ,

j Γ * [γ] def = j Γ * γ ∩ M Γ vir ∈ A * (M g,n,β (X)) . (3)
Our formula for the X-valued DR-cycle is a sum of cycle classes (3) assigned to decorated X-valued stable graphs.

Weightings mod r

Following the notation of Sections 0.2-0.4, let S → X be a line bundle on a nonsingular projective variety X. Fix the data

g ≥ 0 , β ∈ H 2 (X, Z) , A = (a 1 , . . . , a n ) subject to the condition n i=1 a i = β c 1 (S) .
Let Γ ∈ G g,n,β (X) be an X-valued stable graph, and let r be a positive integer.

Definition 4 A weighting mod r of Γ is a function on the set of half-edges,

w : H(Γ) → {0, 1, . . . , r -1} ,
which satisfies the following three properties:

(i) ∀i ∈ L(Γ), corresponding to the marking i ∈ {1, . . . , n},

w(i) = a i mod r , (ii) ∀e ∈ E(Γ), corresponding to two half-edges h, h ′ ∈ H(Γ), w(h) + w(h ′ ) = 0 mod r , (iii) ∀v ∈ V(Γ), v(h)=v w(h) = β(v) c 1 (S) mod r ,
where the sum is taken over all n(v) half-edges incident to v.

We denote by W Γ,r the finite set of all possible weightings mod r of Γ. The set W Γ,r has cardinality r h 1 (Γ) . We view r as a regularization parameter.

The double ramification formula

We denote by P d,r g,A,β (X, S) ∈ A vdim(g,n,β)-d (M g,n,β (X)) the degree d component of the tautological class

Γ∈G g,n,β (X) w∈W Γ,r r -h 1 (Γ) |Aut(Γ)| j Γ * n i=1 exp 1 2 a 2 i ψ i + a i ξ i v∈V(Γ) exp - 1 2 η(v) e=(h,h ′ )∈E(Γ) 1 -exp -w(h)w(h ′ ) 2 (ψ h + ψ h ′ ) ψ h + ψ h ′ .
Inside the push-forward in the above formula, the first product

n i=1 exp 1 2 a 2 i ψ h i + a i ξ h i is over h ∈ L(Γ)
via the correspondence of legs and markings. The class η(v) is the η 0,2 class of Definition 2 associated to the vertex. The third product is over all e ∈ E(Γ). The factor

1 -exp -w(h)w(h ′ ) 2 (ψ h + ψ h ′ ) ψ h + ψ h ′ is well-defined since
• the denominator formally divides the numerator,

• the factor is symmetric in h and h ′ .

No edge orientation is necessary.

The following fundamental polynomiality property of P d,r g,A,β (X, S) is parallel to Pixton's polynomiality in [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF]Appendix] and is a consequence of [28, Proposition 3 ′′ ].

Proposition 1 For fixed g, A, β, and d, the class

P d,r g,A,β (X, S) ∈ A * (M g,n,β (X)
) is polynomial in r (for all sufficiently large r).

We denote by P d g,A,β (X, S) the value at r = 0 of the polynomial associated to P d,r g,A,β (X, S) by Proposition 1. In other words, P d g,A,β (X, S) is the constant term of the associated polynomial in r.

The main result of the paper is a formula for the X-valued double ramification cycle parallel 1 to Pixton's proposal in case X is a point.

Theorem 2 Let X be a nonsingular projective variety with line bundle S → X .

For g ≥ 0, double ramification data A, and β ∈ H 2 (X, Z), we have

DR g,A,β (X, S) = P g g,A,β (X, S) ∈ A vdim(g,n,β)-g (M g,n,β (X)) .

Strategy of proof

Consider the projective bundle P(O X ⊕ S) → X. By applying Cadman's rth root construction [START_REF] Cadman | Using stacks to impose tangency conditions on curves[END_REF] to the 0-divisor D 0 , we obtain a bundle

P(X, S)[r] → X (4)
where every fiber is a projective line with a single stacky point of stabilizer Z/rZ.

Our proof of Theorem 2 is obtained by studying the Gromov-Witten theory of the bundle (4) relative to the ∞-divisor D ∞ . The virtual localization formula for the orbifold/relative geometry P(X, S)[r]/D ∞ yields relations for every r which depend polynomially on r (for all sufficiently large r). After setting r = 0, we obtain the equality of Theorem 2. The argument has two main parts. endowed with an rth tensor root L of the line bundle f * S(-n i=1 a i x i ). Furthermore, let π : C r g,A,β (S) → M r g,A,β (X, S) be the universal curve, and let L be the universal rth root over the universal curve. A crucial step is to prove that the push-forward of

r • c g (-Rπ * L)
to M g,n,β (X) is a polynomial in r (for all sufficiently large r) and that the polynomial has the same constant term as the polynomial P g,r g,A,β (X, S). Our formula for the X-valued DR-cycle therefore has a geometric interpretation in terms of the top Chern class c g (-Rπ * L).

Contrary to the case of ordinary DR-cycles studied in [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF], for the case of X-valued DR-cycles, we cannot use Chiodo's formulas [START_REF] Chiodo | Towards an enumerative geometry of the moduli space of twisted curves and rth roots[END_REF] to deduce polynomiality. Instead, we adapt Chiodo's computations to our geometric setting in Sections 2.3 and 2.4.

(ii) We use the localization formula [START_REF] Graber | Localization of virtual classes[END_REF] for the virtual fundamental class of the moduli space of stable maps to the orbifold/relative geometry

P(X, S)[r]/D ∞ .
The positive (respectively, negative) coefficients a i specify the monodromy conditions over the 0-divisor (respectively, the tangency conditions along the ∞-divisor).

The moduli space M r g,A,β (X, S) appears in the localization formula. Indeed, the space of stable maps to the C * -invariant locus corresponding to the stacky 0-divisor D 0 is precisely M r g,A,β (X, S). The push-forward of the localization formula to M g,n,β (X) is a Laurent series in the equivariant parameter t and in r. The coefficient of t -1 r 0 must vanish by geometric considerations. We prove that the relation obtained from the coefficient of t -1 r 0 has only two terms:

• The first is the constant term in r of the push-forward of r • c g (-Rπ * L) to M g,n,β (X).

• The second term is the X-valued double ramification cycle DR g,A,β (X, S) with a minus sign.

The vanishing of the sum of the two terms yields Theorem 2.

Notation table

To help the reader, we list here the symbols used for the various spaces which arise in the paper:

• P(X, S) the CP 1 -bundle P(O X ⊕ S) over X,

• P(X, S)[r] is the outcome of applying Cadman's rth root construction to the 0-divisor D 0 ⊂ P(X, S),

• M g,n,β (X) is the space of stable maps f : (C, x 1 , . . . , x n ) → X,

• M r g,A,β (X, S) is the space of stable maps f : (C, x 1 , . . . , x n ) → X together with an rth root of f * S(-n i=1 a i x i ),

• M g,n is the stack of prestable curves,

• M r g,n is the stack of twisted prestable curves,

• M Z g,n is the stack of prestable curves together with a degree 0 line bundle Z,

• M r,Z,triv g,n is the stack of prestable twisted curves together with a degree 0 line bundle Z where the stabilizer of every point of the twisted curve acts trivially in the fibers of the line bundle,

• M r,L g,n is the stack of prestable twisted curves together with a degree 0 line bundle L with no conditions on the stabilizers.

Acknowledgments

We are grateful to Y. Bae

π : C g,n → M g,n
and is also smooth. The Artin stack M Z g,n has a universal curve

π : C Z g,n → M Z g,n
which carries a universal line bundle Z with sections s 1 , . . . , s n .

Kresch [START_REF] Kresch | Cycle groups for Artin stacks[END_REF] has developed a theory of Chow cohomology classes on Artin stacks. A basic property is that given a morphism from a scheme to the stack, Kresch's Chow cohomology class on the stack determines a Chow cohomology class on the scheme (comptatible with further pull-backs). We describe here a family of Chow cohomology classes on M Z g,n . We first define the set G Z g,n of prestable graphs as follows. A prestable graph Γ ∈ G Z g,n consists of the data

Γ = (V , H , L , g : V → Z ≥0 , v : H → V , ι : H → H, d : V → Z)
satisfying the properties:

(i) V is a vertex set with a genus function g : V → Z ≥0 , (ii) H is a half-edge set equipped with a vertex assignment v : H → V and an involution ι, (iii) E, the edge set, is defined by the 2-cycles of ι in H (self-edges at vertices are permitted), (iv) L, the set of legs, is defined by the fixed points of ι and is placed in bijective correspondence with a set of n markings, (v) the pair (V, E) defines a connected graph satisfying the genus condition

v∈V g(v) + h 1 (Γ) = g , (vi
) the degree condition holds:

v∈V d(v) = 0 .
An automorphism of Γ ∈ G Z g,n (X) consists of automorphisms of the sets V and H which leave invariant the structures L, g, v, ι, and d. Let Aut(Γ) denote the automorphism group of Γ.

Definition 5 A decorated prestable graph [Γ, γ] is a prestable graph Γ ∈ G Z g,n
together with the following decoration data γ:

• each leg i ∈ L is decorated with a monomial ψ a i ξ b i .

• each half-edge h ∈ H \ L is decorated with a monomial ψ a h ,

• each edge e ∈ E is decorated with a monomial ξ a e ,

• each vertex in V is decorated with a monomial in the variables {η a,b } a+b≥2 .

Let DG Z g,n be the set of decorated prestable graphs. Every

[Γ, γ] ∈ DG Z g,n
determines a class in the Chow cohomology of M Z g,n :

• Γ specifies the degeneration of the curve,

• d specifies the degree distribution of Z,

• ψ i corresponds to the cotangent line class,

• ξ i = c 1 (s * i Z),
• ξ e = c 1 (s * e Z) where s e is the node associated to e,

• η a,b = π * c 1 (ω log ) a c 1 (Z) b .
We have followed here the pattern of Definition 2.

More generally, every possibly infinite linear combination of decorated prestable graphs determines a class in the Chow cohomology of M Z g,n . Indeed, for any morphism

B → M Z g,n
from a scheme B of finite type, only a finite number of terms in the linear combination will contribute. We refer the reader to the Appendix of [START_REF] Graber | Constructions of nontautological classes on moduli spaces of curves[END_REF] for the construction of the product in the Chow cohomology algebra (see also the discussion in Section 1.7 below).

Twisted curves

Let r ≥ 1 be an integer. The analog of M g,n in the context of rth roots is moduli space of M r g,n of twisted prestable curves constructed in [START_REF] Olsson | Log) twisted curves[END_REF], see also [START_REF] Abramovich | Moduli of twisted spin curves[END_REF][START_REF] Abramovich | Compactifying the space of stable maps[END_REF]. We give a short summary here.

A twisted curve is a prestable curve with stacky structure at the nodes 2 . Denote by µ r ⊂ C * the group of rth roots of unity in the complex plane. The neighborhood of a node in a family of twisted curves is obtained from the family (x, y) → z = xy by taking a µ r × µ r quotient in the source and a µ r quotient in the target.

To construct the versal deformation of the node of twisted curve, we start with the versal deformation

C 2 → C , (x, y) → z = xy (5) of the node of a prestable curve. Let (a, b) ∈ µ r × µ r act on C 2 by (x, y) → (ax, by) ,
and let c ∈ µ r act on C by z → cz. These actions commute with (5) via the group morphism

φ : µ r × µ r → µ r , (a, b) → c = ab .
After taking the stack quotient of both sides of ( 5), we obtain a family of twisted curves over [C/µ r ] with one stacky µ r -point at the origin. The fibers of the family over t = 0 are nonsingular curves isomorphic to C * . The fiber over the origin t = 0 is the union of the coordinate axes xy = 0 factored by the kernel of the morphism φ. As soon as a twisted curve acquires a node, the twisted curve simultaneously acquires an extra µ r group of symmetries (given by the image of φ).

In a family of prestable curves, the neighborhood of a node is modeled by the versal deformation (x, y) → z = xy .

Given two line bundles T x and T y over a base B, consider the tensor product

T z = T x ⊗ T y .
We construct a family of curves over the total space of T z over B by

T x ⊕ B T y → T z , (b, x, y) → (b, xy) .
Here, B is the boundary divisor and T z is the normal line bundle to B. We can construct a family of twisted curves over the total space of T z by applying Cadman's rth root construction to the zero section B ⊂ T z . In particular, the normal bundle to the locus of nodal twisted curves is now (T x ⊗ T y ) ⊗(1/r) .

A prestable twisted curve is a twisted curve with a prestable coarsification. Let M r g,n be the moduli space of prestable twisted curves of genus g with n marked points. Since M r g,n is obtained from the smooth Artin stack M g,n of ordinary prestable curves by applying Cadman's rth root construction to the boundary divisor, M r g,n is also a smooth Artin stack. The moduli space M r g,n carries three universal curves, see [START_REF] Chiodo | Towards an enumerative geometry of the moduli space of twisted curves and rth roots[END_REF]:

(i) There is the universal twisted prestable curve

C r g,n → M r g,n .
(ii) There is the fiberwise coarsification C r g,n of C r g,n . The local model of C r g,n is given by the quotient of the map (x, y) → z = xy by the kernel of the group morphism φ. An A r-1 singularity at the origin is obtained, so the universal curve C r g,n is singular.

(iii) There is the universal curve C r g,n obtained by resolving the singularities of C r g,n by a series of blow-ups. The resolution of the A r-1 singularity yields a chain of r -1 rational exceptional curves over the origin. The rational curves correspond to the vertices of the A r-1 Dynkin diagram, and their intersection points correspond to the edges. We call C r g,n the bubbly universal curve.

Twisted curves with a line bundle

We introduce two more Artin stacks denoted by M r,Z,triv g,n and M r,L g,n :

• The stack M r,Z,triv g,n is obtained from the stack M Z g,n of prestable curves with a line bundle by applying Cadman's rth root construction to the boundary divisors. It is the stack of twisted prestable curves endowed with a degree 0 line bundle Z with one extra condition: the stabilizer of every point of the twisted curve acts trivially in the fibers of the line bundle. A Chow cohomology class on M Z g,n determines a Chow cohomology class on M r,Z,triv g,n by pull-back.

• The stack M r,L g,n is the stack of twisted prestable curves with a degree 0 line bundle (with no stabilizer conditions).

These stacks are related by three natural morphisms:

M r,L g,n p 1 -→ M r,Z,triv g,n p 2 -→ M Z g,n p 3 -→ M g,n . (6)
The morphism p 1 assigns to a pair (C, L) the pair (C, Z = L ⊗r ), where C is a twisted prestable curve and L a line bundle. The morphism p 1 is étale of degree r 2g-1 . The morphism p 2 comes from Cadman's rth root construction.

The morphism p 3 assigns to a pair (C, S) the curve C.

While we have taken both Z and L to be of degree 0 in the definitions, all of the constructions and results of Sections 1 and 2 will be valid in case

deg(Z) = r deg(L) .

Commutative diagram

Let X be a nonsingular projective variety with line bundle S → X. Let A = (a 1 , . . . , a n ) be a vector of integers which satisfy

n i=1 a i = β c 1 (S) for β ∈ H 2 (X, Z).
The moduli space M r g,A,β (X, S) of stable maps

f : (C, x 1 , . . . , x n ) → X
endowed with an rth root of the degree 0 line bundle

f * S - n i=1 a i x i
plays a central role in the proof of Theorem 2. The moduli space M r g,A,β (X, S) is defined as the fiber product of the following two maps:

(i) π Z : M g,n,β (X) → M Z g,n assigns to a stable map f : C → X the pair C, f * S - n i=1 a i x i . (ii) ǫ : M r,L g,n → M Z g,n is the composition ǫ = p 2 • p 1 .
The moduli space M r g,A,β (X, S) is the fiber product of π Z and ǫ:

M r g,A,β (X, S) M r,L g,n M g,n,β (X) M Z g,n , ✲ ✲ ❄ ❄ ǫ ǫ π Z π L (7)
where we denote top arrow also by ǫ.

Lemma 3

The pull-back π * Z [Γ, γ] is obtained in terms of Chow cohomology classes of decorated X-valued stable graphs by applying the following procedure:

• Replace the degree d(v) ∈ Z of each vertex with effective classes β(v) ∈ H 2 (X, Z) satisfying β(v) c 1 (S) - i⊢v a i = d(v) ,
where the sum is over the legs i incident to v. Sum over all choices of β(v).

• Replace each class η 0,b at each vertex v with η 0,b - i⊢v b k=1 b k a k i ψ k-1 i ξ b-k i ,
where the first sum is again over the legs i incident to v.

All other decorations are kept the same.

Proof. Given a stable map f : C → X, the degree of f * S(-n i=1 a i x i ) on the component of the curve C corresponding a vertex v of the dual graph equals

β(v) c 1 (S) - i⊢v a i ,
which justifies the first operation.

Recall the divisor D i corresponds to the ith section,

D i ⊂ C Z g,n π → M Z g,n ,
and

ω log = ω π ( n i=1 D i ). The first Chern class of f * S(-n i=1 a i x i ) on the universal curve equals c 1 (S) - n i=1 a i D i . The pull-back π * S (η a,b
) is the push-forward from the universal curve of the product

K a c 1 (S) - n i=1 a i D i b , (8)
where

K = c 1 (ω log ). Since KD i = 0, the product (8) is equal to K a ξ b if a > 0. Hence, for a > 0, π * S (η a,b ) = η a,b ,
In case a = 0, we expand (c 1 (S) -n i=1 a i D i ) b and take the push-forward from the universal curve to the moduli space. We find Recall the commutative diagram ( 7):

η 0,b - i⊢v b k=1 b k a k i ψ k-1 i ξ b-k i in the
M r g,A,β (X, S) M r,L g,n M g,n,β (X) M Z g,n ✲ ✲ ❄ ❄ ǫ ǫ π Z π L
We now define Chow cohomology classes via decorated graphs on M r g,A,β (X, S) and M r,L g,n and describe the pull-back map π * L . Except for the additional data recording the twisted structure, the discussion is almost identical to our treatment of

π Z : M g,n,β (X, S) → M Z g,n .
1.6.2 The moduli space M r g,A,β (X, S)

We define the set G r g,A,β (X, S) of X-valued r-twisted stable graphs as follows. A graph Γ ∈ G r g,A,β (X, S) consists of the data

Γ = (V , H , L , g, v , ι , β : V → H 2 (X, Z), tw : H → {0, . . . , r -1})
satisfying the properties:

(i-vii) exactly as for X-valued stable graphs in Section 0.3, (viii) the twist conditions hold:

(L) ∀i ∈ L =⇒ tw(i) = 0 , (E) ∀e = (h ′ , h ′′ ) ∈ E =⇒ tw(h ′ ) + tw(h ′′ ) = 0 mod r , (V) ∀v ∈ V =⇒ ν(h)=v tw(h) = β(v) c 1 (S) -i⊢v a i mod r .
The line bundle S → X and vector A only appear in property (viii).

The universal curve

π : C r g,A,β → M r g,A,β (X, S)
carries the log relative dualizing sheaf ω log and the pull-back f * S of the line bundle S via the universal map,

f : C r g,A,β → X .
Following Section 0.4, we define Chow cohomology classes on M r g,A,β (X, S):

• ψ i = c 1 (s * i ω π ) , • ξ i = c 1 (s * i f * S) , • η a,b = π * c 1 (ω log ) a c 1 (f * S) b . Definition 6 A decorated X-valued r-twisted stable graph [Γ, γ] is an X- valued stable graph Γ ∈ G r g,A,β (
X) together with the following decoration data γ:

• each leg i ∈ L is decorated with a monomial ψ a i ξ b i , • each half-edge h ∈ H \ L is decorated with a monomial ψ a h ,
• each edge e ∈ E is decorated with a monomial ξ a e ,

• each vertex in V is decorated with a monomial in the variables {η a,b } a+b≥2 .

Let DG r g,A,β (X, S) be the set of decorated X-valued r-twisted stable graphs. Every [Γ, γ] ∈ DG r g,A,β (X, S) determines a class in the Chow cohomology of M r g,A,β (X, S) :

• Γ specifies the degeneration of the curve with twisted structure w at the nodes on the rth root of

f * S - n i=1 a i x i ,
• β specifies the curve class distribution of the map f ,

• the decorations ψ i , ξ i , ξ e , and η a,b specify Chow cohomology classes,

ξ e = c 1 (s * e f * S) . 1.6.3 The Artin stack M r,L g,n
Let G r,L g,n be the set of r-twisted prestable graphs defined as follows. A graph

Γ ∈ G r,L g,n consists of the data Γ = (V , H , L , g , v , ι , d : V → Z , tw : H → {0, . . . , r -1})
satisfying the properties:

(i-vi) exactly as for prestable graphs in Section 1.1, (vii) the twist conditions hold:

(L) ∀i ∈ L =⇒ tw(i) = 0 , (E) ∀e = (h ′ , h ′′ ) ∈ E =⇒ tw(h ′ ) + tw(h ′′ ) = 0 mod r , (V) ∀v ∈ V =⇒ ν(h)=v tw(h) = d(v) mod r . Definition 7 A decorated r-twisted prestable graph [Γ, γ] is a graph Γ ∈ G r,L g,n
together with the following decoration data γ:

• each leg i ∈ L is decorated with a monomial ψ a i ξ b i ,
• each half-edge h ∈ H \ L is decorated with a monomial ψ a h ,

• each edge e ∈ E is decorated with a monomial ξ a e ,

• each vertex in V is decorated with a monomial in the variables {η a,b } a+b≥2 .

Let DG r,L g,n be the set of decorated r-weighted prestable graphs. Every

[Γ, γ] ∈ DG r,L g,n
determines a class in the Chow cohomology of M r,L g,n :

• Γ specifies the degeneration of the curve with twisted structure w at the nodes on L,

• d specifies the degree distribution of L ⊗r ,

• ψ i corresponds to the cotangent line class,

• ξ i = c 1 (s * i L ⊗r ),
• ξ e = c 1 (s * e L ⊗r ) where s e is the node associated to e,

• η a,b = π * c 1 (ω log ) a c 1 (L ⊗r ) b . 1.6.4 The pull-back map π * L Let [Γ, γ] ∈ DG r,L g,n be a decorated prestable graph representing a Chow coho- mology class in M r,L g,n . The pull-back π * L along π L : M r g,A,β (X, S) → M r,L g,n
is computed by exactly the same rules governing π * Z . The proof is identical.

Lemma 4

The pull-back π * L [Γ, γ] is obtained in terms of Chow cohomology classes of decorated X-valued r-twisted stable graphs by applying the following procedure:

• Replace the degree d(v) ∈ Z of each vertex with all effective classes

β(v) ∈ H 2 (X, Z) satisfying β(v) c 1 (S) - i⊢v a i = d(v) ,
where the sum is over the legs i incident to v. Sum over all choices of β(v).

• Replace each class η 0,b at each vertex v with η 0,b - i⊢v b k=1 b k a k i ψ k-1 i ξ b-k i ,
where the sum is again over the legs i incident to v.

All other decorations are kept the same.

1.7 Multiplication in the Chow cohomology of M r,L g,n

The product in Chow cohomology of the classes of two decorated r-twisted prestable graphs in DG r,L g,n is defined in a very similar way to the product of stable graphs carefully described in the appendix of [START_REF] Graber | Constructions of nontautological classes on moduli spaces of curves[END_REF]. We briefly sketch the construction and highlight the differences.

An edge contraction in an r-twisted prestable graph is defined in the natural way:

• if the edge contraction merges two vertices, the corresponding genera and degrees are summed,

• if the contracted edge is a loop, the genus of the base vertex increases by 1 and the degree remains unchanged.

The total degree and twisting conditions are still satisfied after edge contraction in an r-twisted prestable graph.

We define the product of two decorated r-twisted prestable graphs

[Γ A , γ A ] , [Γ B , γ B ] ∈ DG r,L g,n
as follows. The product is a (possibly infinite) linear combination of decorated r-twisted prestable graphs.

We first consider prestable graphs

Γ ∈ G r,L g,n
with edges colored by A, B, or both A and B, satisfying the conditions:

(i) after contracting the edges not colored A, we obtain Γ A , (ii) after contracting the edges not colored B, we obtain Γ B .

For each such Γ, we add decorations by the following rules.

• The monomials ψ a ξ b on the legs of the graph Γ are obtained by multiplying the corresponding leg monomials on the graphs Γ A and Γ B .

• The monomial ψ a on a half-edge colored A only or colored B only is inherited from the graph Γ A or Γ B respectively. On an edge e = (h ′ , h ′′ ) colored both A and B, we take the product of the monomials on the corresponding edge in the graphs Γ A and Γ B and include an extra factor

- 1 r (ψ h ′ + ψ h ′′ )
corresponding to the excess intersection.

• The monomial ξ a on an edge colored A only or colored B only is inherited from the graph Γ A or Γ B respectively. On an edge colored both A and B, we take the product of the monomials on the corresponding edge in the graphs Γ A and Γ B .

• The factors η a,b of the monomials assigned to each vertex v of Γ A (and Γ B ) are split in all possible ways among the vertices which collapse to v as Γ is contracted to Γ A (and Γ B ). Each vertex of Γ is then marked with two monomials in the variables η a,b which we multiply together.

The product

[Γ A , γ A ] • [Γ B , γ B
] is then the sum over all decorated r-twisted prestable graphs [Γ, γ] produced by the above construction.

It is important to note that a product of two decorated r-twisted prestable graphs can be an infinite linear combination of decorated r-twisted prestable graphs. For instance, if we take the square of the graph with a single vertex of degree 0 and a single loop (and no decorations), we obtain, among other terms, a sum over all graphs with two vertices of degrees d and -d connected by two edges. Since the integer d can be chosen arbitrarily, the result is an infinite linear combination. However, the product of two decorated r-twisted prestable graphs or even of infinite linear combinations of such graphs, is always well-defined because the coefficient of each graph in the product only involves a finite number of graphs in the factors. Therefore, the product rule transforms the vector space of possibly infinite linear combinations of decorated r-twisted prestable graphs into an algebra which agrees with the product in the Chow cohomology of M r,L g,n .

2 GRR for the universal line bundle

2.1 Universal bundles on universal curves over M r,L g,n

The universal twisted curve

π : C r,L g,n → M r,L g,n
carries a universal line bundle L. Consider a node in a singular fiber of the universal curve. The kernel of the group morphism φ of Section 1.2 acts on the fiber of L over the node. If the generator

(1, -1) ∈ µ r × µ r
of the kernel acts on the fiber of L at the node by e 2πa/r , we assign the remainders a and -a mod r to the branches of the curve at the node. Every node in the universal curve therefore acquires a type: a pair of remainders mod r assigned to the branches meeting at the node (with vanishing sum mod r). For the line bundle Z = L ⊗r , the action of the kernel of φ is always trivial.

The push-forward L of the sheaf of invariant sections of L to the coarse universal curve C r,L g,n , is a rank 1 torsion free sheaf which is described in detail in [START_REF] Chiodo | Twisted Gromov-Witten r-spin potential and Givental's quantization[END_REF]. The push-forward of the sheaf of sections of L ⊗r to C r,L g,n is just a line bundle Z.

On the bubbly universal curve C r,L g,n , we may pull-back the line bundle Z from the coarse curve C r,L g,n . The situation is more interesting for L. Chiodo [START_REF] Chiodo | Towards an enumerative geometry of the moduli space of twisted curves and rth roots[END_REF] has proven that there exists a line bundle

L → C r,L g,n
for which the push-forward of the associated sheaf of sections to the coarse curve C r,L g,n is L. However, instead of the simple isomorphism

Z = L ⊗r on C r,L g,n ,
we have the more complicated relation

Z = L ⊗r (D) on C r,L g,n ,
where D is a linear combination of the exceptional divisors of the desingularization C r,L g,n → C r,L g,n . More precisely, a node of type (a, b) with a + b = 0 (mod r) , gives rise to a chain of r-1 rational curves in the fiber of the bubbly universal curve. These rational curves appear in D with coefficients a, 2a, . . . , (b -1)a, ab, (a -1)b, . . . , 2b, b, see [START_REF] Chiodo | Towards an enumerative geometry of the moduli space of twisted curves and rth roots[END_REF].

Polynomial classes

Consider a family of polynomials

P Γ ∈ C[tw h , r, r -1 ] Γ∈DG Z g,n .
For each graph Γ ∈ DG Z g,n , P Γ is a polynomial in the variables tw h , where h runs over the half-edges of Γ which are not legs (and P Γ is a Laurent polynomial in r). The family P Γ determines a family of Chow cohomology classes on M r,L g,n for all r:

α = Γ tw P Γ tw(h), r, r -1 • [Γ, tw] ,
where the summation is over all r-twistings tw of all decorated prestable graphs Γ ∈ DG Z g,n which, equivalently, is the set DG r,L g,n . We call such families of classes polynomial. We let Proof. Let Γ be a decorated prestable graph and tw an r-twisting. The coefficient of Γ in the product αβ is a finite linear combination of coefficients of contractions of Γ in α and β. More precisely, the coefficient is a sum over all ways to label the edges of Γ with A, B, or AB and to split every monomial on a leg, edge, or vertex of Γ into a product of two factors labeled A and B while keeping a factor

val(α) = inf Γ∈DG Z g,n val r (P Γ ) -|E(Γ)| .
- 1 r (ψ ′ + ψ ′′ )
aside for every edge labeled AB. For every such labelling, the contribution to the coefficient of Γ is the product of the two corresponding polynomials in tw(h), r, and r -1 times a factor of r -1 for each AB-edge. Therefore the coefficient of Γ is also a polynomial in tw(h), r, and r -1 .

The lowest possible order in r is given by summing the following three degrees:

• val(α) + (number of A-edges and AB-edges) from the coefficient of the A-contraction of Γ in α,

• val(β) + (number of B-edges and AB-edges) from the coefficient of the B-contraction of Γ in β,

• -(number of AB-edges) from the excess intersection factor

- 1 r (ψ ′ + ψ ′′ ) .
The sum of these three degrees is, indeed, val(α) + val(β) + |E(Γ)|, so the valuation of αβ is the sum of valuations of α and β (or larger if the lowest degree terms cancel out). ♦ Proposition 6 Let α be a polynomial family of classes in the strata algebra of M r,L g,n . Let β be the push-forward of α to the strata algebra of M Z g,n . Then, for any decorated prestable graph Γ ∈ DG Z g,n , the coefficient of Γ in β is a Laurent polynomial in r of valuation at least val(α)+2g-1, for all sufficiently large r.

Proof. For every r-twisting tw of Γ, the push-forward from the stratum [Γ, tw] of M r,L g,n to the stratum Γ of M Z g,n has degree

r v∈V (Γ) (2g(v)-1) = r 2g-2h 1 (Γ)-|V (Γ)|
see the proof of [28, Corollary 4].

The coefficient of Γ in β is obtained by summing the coefficients of [Γ, tw] in α over all r-twistings tw of Γ. According to Proposition 3 ′′ of the Appendix of [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF], the sum is a Laurent polynomial in r, for r sufficiently large, with valuation at least val(α) + |E(Γ)| + h 1 (Γ) .

Multiplying the Laurent polynomial by the degree of the push-forward map, we obtain, again, a Laurent polynomial in r with valuation at least

val(α) + |E(Γ)| + h 1 (Γ) + 2g -2h 1 (Γ) -V (Γ) = val(α) + 2g -1 as claimed. ♦ 2.3 Applying the GRR formula to C r,L g,n → M r,L g,n
The bubbly universal curve

π : C r,L g,n → M r,L g,n
is representable and proper over M r,L g,n . We may apply the Grothendieck-Riemann-Roch (GRR) formula to compute Rπ * L,

ch Rπ * L = π * ch( L) • td(π) .
As before, let D i be the class of the divisor of C r,L g,n corresponding to the ith section. Let

K = c 1 (ω log ) = c 1 ω n i=1 D i , ξ = c 1 Z .
Following the notation of Section 2.1, let D be defined by

Z = L ⊗r (D) .
Let j be the double covering of the locus of nodes in the singular fibers,

j : ∆ → C r,L g,n .
The sheets of the covering correspond to the two ways of numbering the branches of the curve at the node. The domain ∆ carries two cotangent line bundles corresponding to the two branches of the node. We denote by ν 1 and ν 2 first Chern classes of the two cotangent lines.

Using the above notation, we have:

ch( L) = e ξ/r e -D/r , td(π) = K e K -1 n i=1 D i 1 -e -D i 1 + j * 1 2 m≥1 B 2m (2m)! ν 2m-1 1 + ν 2m-1 2 ν 1 + ν 2 ,
see [START_REF] Chiodo | Towards an enumerative geometry of the moduli space of twisted curves and rth roots[END_REF][START_REF] Faber | Hodge integrals and Gromov-Witten theory[END_REF].

Lemma 7 We have π * ch( L)td(π) = π * e ξ/r K e K -1 n i=1 D i 1 -e -D i + e ξ/r-D/r 1 + j * 1 2 m≥1 B 2m (2m)! ν 2m-1 1 + ν 2m-1 2 ν 1 + ν 2 .
Proof. The following intersections vanish in C r,L g,n by the definition of ω log and the fact that the markings are disjoint from the nodes (before the bubbly resolution and, therefore, also after the bubbly resolution):

K • ∆ = D i • ∆ = D i • D = 0 .
Moreover, since the the bubble curve is crepant (see [START_REF] Chiodo | Towards an enumerative geometry of the moduli space of twisted curves and rth roots[END_REF]), we have

K • D = 0 .
The push-forward of the constant term vanishes π * (1) = 0 .

The formula is then easily obtained from the above vanishing from GRR. ♦

GRR and polynomiality in r

Proposition 8 The GRR formula for the Chern character ch k (Rπ * L) is a polynomial family with valuation -(k + 1). Its coefficients of lowest degree in r equal

r -(k+1) η 0,k+1 + r -k Γ with one edge (h,h ′ ) i+j+m=k-1 ξ m e m! tw(h) k+1-m (k + 1 -m)! (-1) i ψ i h ψ j h ′ .
Proof. The first term in Lemma 7 only involves decorated graphs with a single vertex and with a single (trivial) weighting. The dependence on r in the first term is only through e ξ/r . The degree k part of the class, obtained by π push-forward of the degree k + 1 part, is a Laurent polynomial in r with lowest degree term

r -(k+1) • π * (ξ k+1 ) = r -(k+1) η 0,k+1 .
Since the second term in Lemma 7 is supported on ∆ before π pushforward, we can write the result after π push-forward as a sum of contributions of graphs Γ with a single edge e = (h, h ′ ). Since the factor e ξ/r is then the π pull-back of ξ e , the crucial calculation is

π * e -D/r 1 + j * 1 2 m≥1 B 2m (2m)! ν 2m-1 1 + ν 2m-1 2 ν 1 + ν 2 . (9)
Fortunately, the π push-forward ( 9) was computed by Chiodo in Step 3 of [START_REF] Chiodo | Towards an enumerative geometry of the moduli space of twisted curves and rth roots[END_REF]Section 3]. The codimension k part of ( 9) is equal to a sum over r-weighted prestable decorated graphs Γ with a single edge e = (h, h ′ ) with coefficient

r B k+1 (tw(h)/r) (k + 1)! i+j=k-1 (-1) i ψ i h ψ j h ′ . (10)
Here, B k (x) is the Bernoulli polynomial defined by

t e xt e t -1 = k≥0 B k (x) t k k! .
We see ( 10) is a a polynomial in tw(h), r and r -1 with lowest degree term in r given by

r -k tw(h) k+1 (k + 1)! i+j=k-1 (-1) i ψ i h ψ j h ′ . (11)
The formula for the second term in Lemma 7 is then obtained by multiplying by e ξe/r . ♦

Proposition 9

The GRR formula for the Chern class c k (-Rπ * L) is a polynomial family with valuation -2k. The coefficient of lowest degree in r equals the degree k part of the mixed degree class

Γ∈G r,L g,n r -2k+|E(Γ)| |Aut(Γ)| j Γ * v∈V(Γ) exp - 1 2 η(v) e=(h,h ′ )∈E(Γ) 1 -exp -tw(h)tw(h ′ ) 2 (ψ h + ψ h ′ ) ψ h + ψ h ′ ,
where η = η 0,2 .

Proof. The Chern class c k can be expressed as a quasi-homogeneous polynomial in the Chern characters,

c k = 1 k! ch k 1 + . . . . (12)
By Proposition 5, each monomial M on the right side of ( 12) is a polynomial family of classes with valuation at least -(k + deg(M)). Since the monomial of largest degree is

M = 1 k! ch k 1 ,
the Chern class c k is a polynomial family with valuation at least -2k. Since only the lowest degree coefficient in r of the polynomial class ch 1 contributes to the lowest degree in r of the polynomial family c k , the valuation of the latter is exactly -2k.

More precisely, the lowest degree coefficient in

1 + c 1 (-Rπ * L) + c 2 (-Rπ * L) + . . .
is obtained by exponentiating the formula for ch 1 (-Rπ * L) given by Proposition 8 after changing the sign. A parallel exponentiation is taken in [28, Section 1]. ♦

We will now push-forward the GRR formula of Proposition 9 along the morphism ǫ : M r,L g,n → M Z g,n from the commutative diagram [START_REF] Buryak | Integrals of ψ-classes over double ramification cycles[END_REF].

Corollary 10

The push-forward ǫ * c k (-Rπ * L) is a Laurent polynomial in r with valuation 2g -2k -1 for r sufficiently large. The coefficient of r 2g-2k-1 is obtained by substituting r = 0 into the polynomial

Γ∈G Z g,n r-twist tw r -h 1 (Γ) |Aut(Γ)| j Γ * v∈V(Γ) exp - 1 2 η(v) e=(h,h ′ )∈E(Γ) 1 -exp -w(h)w(h ′ ) 2 (ψ h + ψ h ′ ) ψ h + ψ h ′
and extracting the part of degree k.

Proof. The claim follows directly from Proposition 6, Proposition 9, and the calculation:

-2k + |E(Γ)| + 2g -2h 1 (Γ) -|V(Γ)| -(2g -2k -1) = -h 1 (Γ) .
While graphs Γ ∈ G r,L g,n in Proposition 9 correspond to classes in the Chow cohomology of M r,L g,n , graphs Γ ∈ G Z g,n here correspond to classes in the Chow cohomology of M Z g,n . ♦ Finally, as proven by Chiodo [10, Proposition 4.3.3] and [11, Lemma 2.2.5], all of the following three push-forwards yield the same complex on M r,L g,n :

• Rπ * L via π : C r,L g,n → M r,L g,n , • Rπ * L via π : C r,L g,n → M r,L g,n , • Rπ * L via π : C r,L g,n → M r,L g,n .
Hence, Corollary 10 also holds for Rπ * L.

Corollary 11

The push-forward ǫ * c k (-Rπ * L) is a Laurent polynomial in r with valuation 2g -2k -1 for r sufficiently large. The coefficient of r 2g-2k-1 is obtained by substituting r = 0 into the polynomial

Γ∈G Z g,n r-twist tw r -h 1 (Γ) |Aut(Γ)| j Γ * v∈V(Γ) exp - 1 2 η(v) e=(h,h ′ )∈E(Γ) 1 -exp -w(h)w(h ′ ) 2 (ψ h + ψ h ′ ) ψ h + ψ h ′
and extracting the part of degree k.

3 Localization analysis

Overview

Let X be a nonsingular projective variety over C. Let S → X be a line bundle. Let A = (a 1 , . . . , a n ) be a vector of double ramification data as defined in Section 0.2,

n i=1 a i = β c 1 (S) .
The double ramification cycle

DR g,A,β (X) ∈ A * (M g,n,β (X))
is defined via the moduli space of stable maps to rubber M ∼ g,A,β (X, S). We prove here the claim of Theorem 2, DR g,A,β (X) = P g g,A,β ∈ A * (M g,n,β (X)) .

Our path follows [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF]Section 2].

Theorem 2 for an arbitrary vector A can be deduced from the case where every a i is nonzero by forgetting the markings with a i = 0. Our proof of Theorem 2 has no mathematical difficulties when A has zeros, but the discussion then requires separating markings into three types instead of just positive and negative. For simplicity, we assume every a i is nonzero.

Target geometry

Denote by P(X, S) the CP 1 -bundle P(O X ⊕ S) → X. Following the notation of Section 0.2, let D 0 , D ∞ ⊂ P(X, S)

be the divisors defined by the projectivizations of the loci O X ⊕ {0} and {0} ⊕ S respectively. After applying Cadman's rth root construction [START_REF] Cadman | Using stacks to impose tangency conditions on curves[END_REF] to D 0 , we obtain a bundle P(X, S)[r] → X with fiber given by the orbifold projective line CP 1 [r] with single orbifold point with stabilizer Z/rZ.

Denote by M g,A,β (P(X, S)[r]/D ∞ ) the moduli space of stable maps to the orbifold P(X, S)[r] relative to D ∞ . The moduli space parametrizes connected, nodal, twisted curves (C, x 1 , . . . , x n ) of genus g with n markings4 together with a map f :

C → P (X, S)[r] ,
where P (X, S)[r] is an expansion5 of P(X, S)[r] along D ∞ . The following conditions are required to hold over

D 0 , D ∞ ⊂ P (X, S)[r] : (i)
The stack structure of the domain curve C occurs only at the nodes over D 0 and at the markings corresponding to positive elements of A (which must be mapped to D 0 ). The monodromies associated to the latter markings are specified by the parts a i of A at these markings. More precisely, the monodromies are a i mod r.

(ii) The only points mapped by f to D ∞ are the markings x i with negative a i . The multiplicity of D ∞ at x i is -a i . The map f satisfies the ramification matching condition over the internal nodes of the expansion P .

(iii) Stability requires the full data (C, x 1 , . . . , x n , f, P (X, S)[r]) to have only finitely many automorphisms.

The moduli space M g,A,β (P(X, S)[r]/D ∞ ) has a perfect obstruction theory and a virtual class of dimension

dim C [M g,A,β (P(X, S)[r]/D ∞ )] vir = dim C [M g,n,β (X, S)] vir -(g -1) + i|a i >0 ⌊ a i r ⌋ , (13)
see [29, Section 1.1].

We will be most interested in the case where r > n i=1 |a i |. The last term in [START_REF] Clader | Pixton's double ramification cycle relations[END_REF] then vanishes. We refer the reader to [START_REF] Abramovich | Gromov-Witten theory of Deligne-Mumford stacks[END_REF][START_REF] Johnson | Abelian Hurwitz-Hodge integrals[END_REF][START_REF] Maulik | A topological view of Gromov-Witten theory[END_REF] for a more detailed definition of the moduli space of stable relative maps.

3.3

The C * -fixed loci

The C * -action

The standard C * -action over X on the projective bundle

P(O ⊕ S) → X, defined by ξ • [x, z, s] = [x, z, ξs] ,
lifts canonically to C * -actions on P(X, S)[r] and M g,A,β (P(X, S)[r]/D ∞ ).

Graphs

The C * -fixed loci of M g,A,β (P(X, S)[r]/D ∞ ) are in bijective correspondence with decorated graphs

Φ = (V , E , L , g : V → Z ≥0 , β : V → H 2 (X, Z) , ℓ : V → {0, ∞} , d : E → Z >0 )
which satisfy the following six properties:

(i) V is a vertex set with a genus function g, a degree function β, and a label ℓ. For v ∈ V, the degree β(v) must be an effective 6 curve class. We also require the genus and degree conditions to hold:

g = v∈V g(v) + h 1 (Φ) and β = v∈V β(v) .
(ii) L, the set of legs, is placed in bijective correspondence with the n markings:

• legs marked i with a i > 0 are incident to vertices labeled 0,

• legs marked i with a i < 0 are incident to vertices labeled ∞.

(iii) E is the edge set. For e ∈ E, the edge degree d e corresponds to the d e -th power map

CP 1 [r] → CP 1 [r] .
(iv) Φ is a connected graph, and Φ is bipartite with respect to labeling ℓ: every edge is incident to a 0-labeled vertex and an ∞-labeled vertex.

(v) If ℓ(v) = 0, denote by A(v) the list of integers formed by the values a i for the legs i incident to v and by the values -d e for the edges e incident to v. For every such vertex v, we impose the condition

|A(v)| = β(v) c 1 (S) mod r ,
where |A(v)| is the sum of the elements of A(v).

(vi) If ℓ(v) = ∞, denote by A(v) the list of integers formed by the values a i for the legs i incident to v and by the values d e for the edges e incident to v. For every such vertex, we impose the condition

|A(v)| = β(v)
c 1 (S) .

6 Effective here includes the class 0 ∈ H 2 (X, Z).

To every 0-labeled vertex v of Φ, we assign the space M r g(v),A(v),β(v) (X, S). We will use the notation

M r v = M r g(v),A(v),β(v) (X, S) .
As explained in Section 1.3, the forgetful map

M r v → M g(v),n(v),β(v) (X) is a finite map of degree r 2g-1 . The virtual fundamental class M r v vir of M r v is of dimension dim C M r v vir = dim C M g(v),n(v),β(v) (X) vir = (3 -dim(X))(g(v) -1) + n(v) + β(v) c 1 (X) .
A C * -fixed relative stable map with vector A = (a 1 , . . . , a n ),

f : (C, x 1 , . . . , x n ) → P(X, S)[r]/D ∞
takes two basic forms:

• If the target does not expand, then the stable map has a finite number of preimages of D ∞ which correspond precisely to the markings i with a i < 0. Each such preimage is then described by an unstable vertex of Φ decorated by ∞.

• If the target expands, then C contains a possibly disconnected subcurve mapping to the rubber P(X, S) -with no orbifold structure at D 0 in the rubber. The ramification in the rubber over D 0 is specified by the degrees d e of the edges of Φ, and the ramification over D ∞ is specified by the negative elements of A. The ramification in the rubber occurs over D 0 and is specified by the negative elements of A over D ∞ Every ∞-labeled vertex v describes a connected component of the rubber map. We will denote the moduli space of stable maps to rubber by M ∼ ∞ .

In the second case above, let g(∞) be the genus of the possibly disconnected domain of the rubber map, n(∞) the total number of legs and edges adjacent to ∞-labeled vertices, and β(∞) their total degree. The virtual fundamental class

M ∼ ∞ vir has dimension dim C M ∼ ∞ vir = dim C M g(∞),n(∞),β(∞) (X) vir -g(∞) = (3 -dim(X))(g(∞) -1) + n(∞) + β(∞) c 1 (X) -g(∞) .
The image of the virtual fundamental class M ∼ ∞ vir in the moduli space of (not necessarily connected) stable maps to X is denoted by DR ∞ .

Unstable vertices

A vertex v ∈ V(Φ) is unstable if β(v) = 0 and 2g(v) -2 + n(v) ≤ 0.
There are four types of unstable vertices:

(i) ℓ(v) = 0, g(v) = 0, v carries no markings and one incident edge, (ii) ℓ(v) = 0, g(v) = 0, v carries no markings and two incident edges, (iii) ℓ(v) = 0, g(v) = 0, v carries one marking and one incident edge, (iv) ℓ(v) = ∞, g(v) = 0, v carries one marking and one incident edge.

The target of the stable map expands if and only if there is at least one ∞-labeled stable vertex.

A stable map in the C * -fixed locus corresponding to Φ is obtained by gluing together maps associated to the vertices v ∈ V(Φ) with Galois covers associated to the edges. Denote by V 0 st (Φ) the set of 0-labeled stable vertices of Φ. Then the C * -fixed locus corresponding to Φ is isomorphic to the product

M Φ =        v∈V 0 st (Φ) M r v × M ∼ ∞ , if the target expands, v∈V 0 st (Φ) M r v ,
if the target does not expand, quotiented by the automorphism group of Φ and the product of cyclic groups Z de associated to the Galois covers of the edges.

The natural morphism corresponding to Φ,

ι : M Φ → M g,A,β (P(X, S)[r]/D ∞ ) , is of degree |Aut(Φ)| • e∈E(Φ) d e
onto the image ι(M Φ ).

Lemma 12 For r sufficiently large, the unstable vertices of type (i) and (ii) can not occur.

Proof. We define β ′ ∈ H 2 (X, Z) to be an effective summand of β if both β ′ and β -β ′ are effective cycle classes (including 0). Let b be the maximum of β ′ c 1 (S) over all effective summands of β. Further, let

a + = i|a i >0 a i
be the sum of the positive elements of the vector A. Assume r > 2(a + + b) .

Let β 0 (respectively, β ∞ ) be the sum of degrees of all vertices of Φ with label 0 (respectively, ∞), so

β = β 0 + β ∞ .
We then have a + -

β 0 c 1 (S) = e∈E(Φ) d e .
By our choice of r, we have e∈E(Φ) d e < r/2.

At each 0-labeled stable vertex v ∈ V(Φ), the condition

i ⊢v a i - β(v) c 1 (S) = e ⊢v d e mod r
holds by the conditions on the graph Φ. By our choice of r, both the absolute value of i ⊢v a iβ(v) c 1 (S) and e ⊢v d e are less than r/2. Therefore, the equality mod r is actually an exact equality:

i ⊢v a i - β(v) c 1 (S) = e ⊢v d e . (14)
For an unstable vertex of type (i) or (ii), we have both i ⊢v a i = 0 and β(v) = 0. The sum of the degrees of edges adjacent to such a vertex then vanishes by [START_REF] Clader | Powers of the theta divisor and relations in the tautological ring[END_REF]. However, the degree of every edge is a positive integer and the graph Φ is connected. The resulting contradiction implies that there are no unstable vertices of types (i) and (ii). ♦

Localization formula

We write the C * -equivariant Chow ring of a point as

A * C * (•) = Q[t] ,
where t is the first Chern class of the standard representation.

For the localization formula, we will require the inverse of the C * -equivariant Euler class of the virtual normal bundle in M g,A,β (P(X, S)[r]/D ∞ ) to the C *fixed locus corresponding to Φ. Let

f : (C, x 1 , . . . , x n ) → P (X, S)[r] , [f ] ∈ M Φ ,
where P (X, S)[r] is a possible expansion of P(X, S)[r] along D ∞ . Denote by

T → P(X, S)[r]
the tangent line bundle to the fiber of P(X, S)[r] → X. For simplicity, we will also denote by T the pull-back of T from P(X, S)[r] to the expansion P (X, S)[r]. The formula for the inverse Euler class can then be written as:

1 e(Norm vir ) = e(H 1 (C, f * T (-D ∞ ))) e(H 0 (C, f * T (-D ∞ ))) 1 i e(N i ) 1 e(N ∞ ) . ( 15
)
Several aspects of Formula (15) require explanation. To start, we assume that r is sufficiently large (using Lemma 12) to exclude the presence of unstable vertices of types (i) and (ii) in Φ. To compute the leading factor of ( 15), e(H 1 (C,

f * T (-D ∞ ))) e(H 0 (C, f * T (-D ∞ ))) , (16)
we use the normalization exact sequence for the domain C tensored with the line bundle f * T (-D ∞ ). The associated long exact sequence in cohomology decomposes the leading factor into a product of vertex, edge, and node contributions:

• Let v ∈ V(Φ) be a stable vertex over D 0 ⊂ P(X, S)[r] corresponding to a moduli space M r v = M r g(v),A(v),β(v) (X, S) . The orbifold universal curve 7 π : C r,orb g(v),A(v),β(v) → M r g(v),A(v),β(v)
carries an orbifold line bundle L orb (the rth root of the pull-back of S) which is the pull-back of T to the universal curve. Therefore, the contribution e(H

1 (C v , f * T (-D ∞ )) e(H 0 (C v , f * T (-D ∞ )) yields the class e (-Rπ * L orb ) ⊗ O (1/r) = c rk (-Rπ * L orb ) ⊗ O (1/r) in A * (M r v ) ⊗ Q t, 1
t , where O (1/r) is a trivial line bundle with a C *action of weight 1 r and rk = g(v)

-1 + |E(v)|
is the virtual rank of -Rπ * L orb .

Unstable 0-labeled vertices of type (iii) contribute factors of 1. Since the restriction of T (-D ∞ ) to D ∞ is trivial, the ∞-labeled vertices also contribute factors of 1. 7 The moduli space M r g,A,β (X) may be considered with the universal curve C r g,A,β of Section 1.6.2 or with the orbifold universal curve C r,orb g,A,β . While C r g,A,β has orbifold structure only at the nodes of the fibers, C r,orb g,A,β has orbifold structure both at the markings x i and at the nodes. A full discussion of the differences will be given in Section 3.5.4.

• The edge contribution is trivial since the degree d i r of f * T (-D ∞ ) is less than 1, see [START_REF] Johnson | Abelian Hurwitz-Hodge integrals[END_REF]Section 2.2].

• The contribution of a node N over D 0 is trivial. Indeed, the space of sections H 0 (N, f * T (-D ∞ )) vanishes because N must be stacky, and

H 1 (N, f * T (-D ∞ )) is trivial for dimension reasons. Nodes over D ∞ contribute 1.
Consider next the last two factors of ( 15),

1 i e(N i ) 1 e(N ∞ )
.

• The product i e(N i ) -1 is over the nodes that correspond to half-edges of the graph Φ adjacent to a 0-labeled vertex. If N is a node corresponding to an edge e ∈ E(Φ) and the associated vertex v is stable, then

e(N) = t + ev * e (c 1 (S)) r d e - ψ e r . (17)
The factor corresponds to the smoothing of the node N of the domain curve: e(N) is the first Chern class of the normal line bundle of the divisor of nodal domain curves. The first Chern classes of the tangent lines to the branches at the node are divided by r because of the orbifold twist, see Section 1.2.

In the case of an unstable vertex of type (iii), the associated edge does not produce a node of the domain. The type (iii) edge incidences do not appear in i e(N i ) -1 .

• N ∞ corresponds to the expansion of the target P(X, S)[r] over D ∞ .

The factor e(N ∞ ) is 1 if the target (P(X, S)[r]/D ∞ ) does not expand and e(N

∞ ) = - t + Ψ ∞ e∈E(Φ) d e if the target expands.
Here, Ψ ∞ is the first Chern class of a line bundle defined as follows. Consider a point of the moduli space M g,A,β (P(X, S)[r]/D ∞ ) where the target expands. For the target over the point, the divisor along which the target expands carries tangent line bundles to the two components of the target. The tensor product of these two line bundles is a trivial line bundle. Thus the tensor product is the pull-back of a line bundle N over the divisor of M g,A,β (P(X, S)[r]/D ∞ ) where the target expands, and Ψ ∞ is the first Chern class of N. See [START_REF] Maulik | A topological view of Gromov-Witten theory[END_REF] for more details.

The virtual class of M g,A,β (P(X, S)[r]/D ∞ ) can be written in terms of the C * -fixed point loci by the virtual localization formula [START_REF] Graber | Localization of virtual classes[END_REF]:

M g,A,β (P(X, S)[r]/D ∞ ) vir = Φ 1 |Aut(Φ)| 1 e∈E(Φ) d e • ι * Φ ] vir e(Norm vir ) (18) in A * M g,A,β (P(X, S)[r]/D ∞ ) ⊗ Q[t, 1 t ].
Our analysis of the inverse Euler class of the virtual normal bundle yields the following contributions to for each stable vertex v ∈ V(Φ) over 0, where E(v) is the set of edges incident to v,

• a factor

- e∈E(Φ) d e t + ψ ∞ • DR ∞
if the target expands, where DR ∞ is the virtual class of the moduli space of map to the rubber over D ∞ .

3.5

The formula for the DR-cycle

Three operations

We will now perform three operations on the localization formula [START_REF] Faber | Tautological and non-tautological cohomology of the moduli space of curves in Handbook of moduli[END_REF] for the virtual class [M g,A,β (P(X, S)[r]/D ∞ )] vir :

(i) the C * -equivariant push-forward via

ǫ : M g,A,β (P(X, S)[r]/D ∞ ) → M g,n,β (X) (19)
to the moduli space M g,n,β (X) of stable maps to X with trivial C *action,

(ii) extraction of the coefficient of t -1 after push-forward by ǫ * ,

(iii) extraction of the coefficient of 0 .

After push-forward by ǫ * , the coefficient of t -1 is equal to 0 because

ǫ * [M g,A,β (P(X, S)[r]/D ∞ )] vir ∈ A * (M g,n,β (X)) ⊗ Q[t] .
Using Proposition 9, all terms of the t -1 coefficient will be seen to be polynomials in r, so operation (iii) will be well-defined. After operations (i-iii), only two nonzero terms will remain. The cancellation of the two remaining terms will prove Theorem 2.

To perform (i-iii), we multiply the ǫ-push-forward of the localization formula (18) by t and extract the coefficient of t 0 r 0 . To simplify the computations, we introduce the new variable s = tr .

Then, instead extracting the coefficient of t 0 r 0 , we extract the coefficient of s 0 r 0 . 3.5.2 Push-forward to M g,n,β (X)

For each vertex v ∈ V(Φ), following the notation of Section 3.3.2, we have

M r v = M r g(v),A(v),β(v) .
As in diagram [START_REF] Buryak | Integrals of ψ-classes over double ramification cycles[END_REF], we denote the morphism obtained projection to X by

ǫ : M r v → M g(v),n(v),β(v) (X) . ( 20
)
The maps ǫ in [START_REF] Fan | Structures in genus 0 relative Gromov-Witten theory[END_REF] and [START_REF] Farkas | The moduli space of twisted canonical divisors with Appendix by F[END_REF] are compatible. Denote by

c d = r 2d-2g(v)+1 ǫ * c d (-Rπ * L orb ) ∈ A d (M g(v),n(v),β(v) (X)) . (21)
By Corollary 10, c d is a polynomial in r for r sufficiently large.

We now write the inverse Euler class of the virtual normal bundle for the C * -fixed point locus associated to the graph Φ after push-forward along

• a factor r s • e∈E(v) d e 1 + r s ev * e (c 1 (S)) -rde s ψ e • d≥0 c d s g(v)-d • M g(v),n(v),β(v) (X) vir ∈ A * (M g(v),n(v),β(v) (X)) ⊗ Q s, 1 s for each stable vertex v ∈ V(Φ) over 0, • a factor - r s • e∈E(Φ) d e 1 + r s Ψ ∞ • DR ∞ if the target degenerates.
For the first factor, we have used the compatibility of the virtual classes

ǫ * M r v vir = r 2g-1 M g(v),n(v),β(v) (X)
vir proven in [4, Theorem 6.8].

Extracting coefficients

From ( 18) and the contribution calculus for Φ presented in Section 3.5.2, we have a complete formula for the C * -equivariant push-forward of t times the virtual class:

ǫ * t[M g,A,β (P(X, S)[r], D ∞ )] vir = s r • Φ 1 |Aut(Φ)| 1 e∈E(Φ) d e • ǫ * [M Φ ] vir e(Norm vir ) . (22)
Extracting the coefficient of r 0 . By Corollary 10, the classes c d are polynomial in r for r sufficiently large. We have an r in the denominator in the prefactor on the right side of ( 22) which comes from the multiplication by t on the left side. However, in all other factors, we only have positive powers of r, with at least one r per 0-labeled vertex of the graph and one more r if the target degenerates. The only graphs Φ which contribute to the coefficient of r 0 are those with exactly one r in the numerator. There are only two graphs which have exactly one r factor in the numerator:

• the graph Φ ′ with a 0-labeled stable vertex of full genus g and an ∞labeled unstable vertex of type (iv) for each negative element of A,

• the graph Φ ′′ with a stable ∞-labeled vertex of full genus g and a 0-labeled unstable type (iii) vertex for each positive element of A.

No terms involving ev * (c 1 (S)), ψ or Ψ ∞ classes contribute to the r 0 coefficient of either Φ ′ or Φ ′′ since every ψ class in the localization formula comes with an extra factor of r. We can now write the r 0 coefficient of the right side of [START_REF] Graber | Constructions of nontautological classes on moduli spaces of curves[END_REF] as

|Aut| • Coeff r 0 ǫ * t[M g,A,β (P(X, S)[r], D ∞ )] vir = ( 23
) Coeff r 0 d≥0 c d s g-d • M g,n,β (X) vir -DR g,A,β (X) in A * (M g,n,β (X)) ⊗ Q[s, 1 s ]. Here, |Aut| = |Aut(Φ ′ )| = |Aut(Φ ′′ )| = 1.
Extracting the coefficient of s 0 . The remaining powers of s in [START_REF] Grushevsky | The double ramification cycle and the theta divisor[END_REF] appear only in the classes c d (in the contribution of the graph Φ ′ ). In order to obtain s 0 , we must take d = g,

|Aut| • Coeff s 0 r 0 ǫ * t[M g,A,β (P(X, S)[r], D ∞ )] vir = (24) Coeff r 0 c g • M g,n,β (X) vir -DR g,A,β (X)
in A * (M g,n,β (X).

Proof of Theorem 2

Since Coeff s 0 r 0 ǫ * t[M g,A,β (P(X, S)[r], D ∞ )] vir vanishes, we can rewrite equality [START_REF] Hain | Normal functions and the geometry of moduli spaces of curves in Handbook of moduli[END_REF] as

DR g,A,β (X) = Coeff r 0 rǫ * c g (-Rπ * L orb ) • M g,n,β (X) vir ∈ A * (M g,n,β (X)) . (25)
Here, we have used the definition (21) of c g ,

c g = rǫ * c g (-Rπ * L orb ) .
What is the relationship between the line bundle L on π : C r g,A,β → M r g,A,β (X) considered in Section 1.6.2 and the line bundle

L orb on π : C r,orb g,A,β → M r g,A,β (
X) which appears in [START_REF] Holmes | Extending the double ramification cycle using Jacobians[END_REF] here? The definitions are slightly different:

• C r g,A,β has orbifold structure only at the nodes of the fibers, • L ⊗r = f * S(-n i=1 a i x i ), • C r,orb g,A,β has orbifold structure both at the markings x i and at the nodes,

• L orb = f * T .
The universal curve C r g,A,β is the coarsification along the markings x i of C r,orb g,A,β . By considering the sheaf of invariant sections of L orb on C r g,A,β , we obtain an rth root of

f * S - i|a i >0 a i x i - e∈E (r -d e )x e = f * S - n i=1 a i x i ⊗ O C - i|a i <0 x i ⊗r .
So the rth roots corresponding to L and the coarsification of L orb are related simply by the factor O C -i|a i <0 x i which yields a shift

ξ → ξ -r i|a i <0 D i
in the study of L in Section 2. The lowest r terms of c g (-Rπ * L) and c g (-Rπ * L orb ) are therefore exactly equal, and we can apply Corollary 11 to calculate

Coeff r 0 rǫ * c g (-Rπ * L orb ) • M g,n,β (X) vir ∈ A * (M g,n,β (X)) .
Corollary 11 gives the coefficient of r -1 of ǫ * c g (-Rπ * L) in the Artin stack M Z g,n . The answer is obtained by the r = 0 restriction of the degree g part of

Γ∈G Z g,n r-twist tw r -h 1 (Γ) |Aut(Γ)| j Γ * v∈V(Γ) exp - 1 2 η(v) e=(h,h ′ )∈E(Γ) 1 -exp -w(h)w(h ′ ) 2 (ψ h + ψ h ′ ) ψ h + ψ h ′ .
By applying Lemma 4, we can calculate the pull-back of the class in M g,n,β (X). After interpreting the twists as weights, we obtain the r = 0 restriction of the degree g part of

Γ∈G g,n,β (X) w∈W Γ,r r -h 1 (Γ) |Aut(Γ)| j Γ * n i=1 exp 1 2 a 2 i ψ i + a i ξ i v∈V(Γ) exp - 1 2 η(v) e=(h,h ′ )∈E(Γ) 1 -exp -w(h)w(h ′ ) 2 (ψ h + ψ h ′ ) ψ h + ψ h ′ .
The result is exactly the formula for the X-valued DR-cycle claimed in Theorem 2. ♦ 4 Applications

A topological view

Let X be a nonsingular projective variety with a line bundle S → X, and let

P(O X ⊕ S) → X
be the canonically associated CP 1 -bundle over X with 0-divisor D 0 and ∞divisor D ∞ .

Localization with respect to the fiberwise C * -action immediately leads to a calculation of the Gromov-Witten theory of P(O X ⊕ S) in terms of the Gromov-Witten theory of X and the class

c 1 (S) ∈ H 2 (X, Z) .
In [START_REF] Maulik | A topological view of Gromov-Witten theory[END_REF], an effective procedure was given to compute the Gromov-Witten invariants of the associated rubber geometry and the three relative geometries

P(O X ⊕ S)/D 0 , P(O X ⊕ S)/D ∞ , P(O X ⊕ S)/D 0 ∪ D ∞
in terms of the Gromov-Witten theory of X and the class c 1 (S). The results may be viewed as analogues in Gromov-Witten theory of the Leray-Hirsch Theorem.

A basic consequence of the X-valued DR-cycle formula of Theorem 2 is a much stronger result on the level of Gromov-Witten classes (not invariants).

Proposition 13

The X-valued DR-cycle formula calculates the push-forward to the moduli space of maps to X of the virtual fundamental classes of the moduli spaces of stable maps to

P(O X ⊕ S)/D 0 , P(O X ⊕ S)/D ∞ , P(O X ⊕ S)/D 0 ∪ D ∞ ( 26
)
in terms of tautological classes and c 1 (S) ∈ A 1 (X).

Proof. Theorem 2 provides a formula for the push-forward to the moduli space of maps to X of the virtual fundamental classes of moduli space of maps to rubber in terms of tautological classes and c 1 (S) ∈ A 1 (X) .

To apply Theorem 2, we localize the equivariant virtual fundamental classes of the moduli spaces of stable maps to the three relative geometries [START_REF] Holmes | Multiplicativity of the double ramification cycle[END_REF] with respect to the fiberwise C * -action. The C * -fixed contributions are either absolute or relative. The virtual localization formula [START_REF] Graber | Localization of virtual classes[END_REF] on the absolute side is already of the desired form. On the relative side, after removing the cotangent line via the rubber calculus [36, Section 1.5], the desired form is provided by Theorem 2. ♦ While [START_REF] Maulik | A topological view of Gromov-Witten theory[END_REF] provides an algorithm for calculating the Gromov-Witten invariants of the relative geometries [START_REF] Holmes | Multiplicativity of the double ramification cycle[END_REF], the complexity of the method is not practical for calculations 8 . On the other hand, Theorem 2 may be used effectively for calculation.

In case X is a point, exact calculations using Pixton's formula were presented in [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF]Section 3] for Hodge classes and Hodge integrals. In Section 4.2 below, an application of Theorem 2 is presented where X is the resolution of the surface A ℓ -singularity.

Resolution of surface singularities 4.2.1 Gromov-Witten invariants of X ℓ

Maulik [START_REF] Maulik | Gromov-Witten theory of A n -resolutions[END_REF] computed the Gromov-Witten invariants of the toric surface X ℓ obtained by resolving the surface A ℓ -singularity. We briefly review the geometry of the problem and refer the reader to [START_REF] Maulik | Gromov-Witten theory of A n -resolutions[END_REF] for a more detailed treatment.

The resolution of the A ℓ -singularity is a nonsingular quasi-projective surface X ℓ with ℓ exceptional divisors. The intersection pairing of the divisors is given by the Cartan matrix C of the Lie algebra A ℓ . For a simply laced Lie algebra, the Cartan matrix is given by

C ii = -2 , C ij = 1
if vertices i and j in the Dynkin diagram are connected by an edge.

There is a (C * ) 2 -action on the resolution X ℓ of the A ℓ -singularity which leaves every exceptional divisor invariant. We denote by t 1 and t 2 the corresponding equivariant weights. Because X ℓ is a holomorphic symplectic variety, the ordinary Gromov-Witten invariants of X ℓ vanish except in degree 0. Maulik computed the reduced Gromov-Witten invariants which correspond to (t 1 + t 2 )-coefficient of the (C * ) 2 -equivariant Gromov-Witten invariants of X ℓ . The (t 1 + t 2 )-coefficient is the lowest nonvanishing coefficient.

Theorem 14 (Maulik [34]) Let α be a root, let β = dα ∈ H 2 (X ℓ , Z) be a nonzero curve class, and let ω 1 , . . . , ω p ∈ H 2 (X ℓ , Z) be divisor classes. Let b 1 , . . . , b p ≥ 0 and c 1 , . . . , c q > 0 be integers subject to the dimensional constraint p i=1 b i + q j=1 c j = g + q .

Then, we have (c j -1)! (2c j -1)! -1 2

c j -1 .
If β is not a multiple of a root or if the dimensional constraint is not satisfied, then the invariant vanishes.

The DR-cycle

The rank of the Cartan matrix for A ℓ is ℓ. The dimension of the equivariant cohomology of X ℓ is ℓ + 1, and the Poincaré intersection form is given by an extension of the Cartan matrix C :

η = 1 (p+1)t 1 t 2 0 0 C . ( 27
)
Let A = (a 1 , . . . , a n ) be a vector of integers satisfying n i=1 a i = 0. Let β = 0. We can compute the reduced rubber Gromov-Witten invariant n i=1 τ 0 (ω i ) • DR g,A,β (X ℓ , O X ℓ ) red [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF] over the edges carrying the class 1 on both half-edges. We distribute the edge factor t 2 to the two adjacent vertices, one factor of t for each vertex. For the invariant [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF], all legs of Γ carry divisors. Hence, every half-edge carrying the class 1 contributes a factor of t to the monomial. Every degree 0 vertex therefore contributes a factor of t 2g(v)-2+p+q = t 2g(v)-2+n (v) .

By the stability condition, for a degree 0 vertex, the integer 2g(v) -2 + n(v) is positive. Every degree 0 vertex thus contributes a monomial factor of positive degree. A product of such factors can never have a constant term. We conclude that there are no degree 0 vertices and, as claimed, only one vertex of nonzero degree. ♦

We are ready now to compute the reduced rubber Gromov-Witten invariant

n i=1 τ 0 (ω i ) • DR g,A,β (X ℓ , O X ℓ ) red .
For the computation, we will need two identities. Proof. After multiplying the left side by (2n+2)!, we obtain the well-known sum of odd binomial coefficients. ♦

The Bernoulli number are defined by the following generating series:

∞ m=0 B m t m m! = t e t -1
.

sum over the number k of loops: In the above sum, c ′ j and c ′′ j are the powers of the ψ-classes at the branches of the jth node. The indices µ and ν run over a basis of (C * ) 2 -equivariant divisor classes of X ℓ and η µν is the inverse of the Poincaré intersection form η µν .

In fact, we can restrict the range of µ j and ν j in the diagonal splitting by one. Indeed, η 1,1 = (p + 1)t 1 t 2 , while we are interested in the coefficient of t 1 + t 2 . We can therefore replace the inverse of η by the inverse of the Cartan matrix C and write (C -1 ) µν instead of η µν .

Next, we apply Maulik's formula of Theorem 14 to the reduced Gromov-Witten invariants which appear and use our definitions of the generating series S and G, We conclude that (28) equals

d 2g+n-3 n i=1 (α, ω i ) × k≥0 1 2 k k! [t 2g ] n i=1 S(a i t) 2G(t) µ,ν (α, ω µ )(C -1 ) µν (α, ω ν ) k .
Since µ,ν (α, ω µ )(C -1 ) µν (α, ω ν ) = (α, α) = -2, the formula simplifies to

d 2g+n-3 n i=1 (α, ω i ) • k≥0 1 2 k k! [t 2g ] n i=1 S(a i t) (-4G(t)) k = d 2g+n-3 n i=1 (α, ω i ) • [t 2g ] n i=1
S(a i t) exp(-2G(t))

1

  ,β (X, S) be the moduli space of stable maps f : C → X Our handling of the prefactor 2 -g in [28, Theorem 1] differs here. The factors of 2 are now placed in the definition of P d,r g,A,β .

1. 5

 5 The pull-back map π * Z We describe here the pull-back map π * Z for Chow cohomology classes defined by decorated graphs. Let [Γ, γ] ∈ DG Z g,n be a decorated prestable graph representing a Chow cohomology class in M Z g,n following the conventions of Section 1.1.

  notation of decorated X-valued stable graphs. ♦ 1.6 Chow cohomology classes on M r g,A,β (X, S) and M r,L g,n 1.6.1 Overview

Proposition 5

 5 If α and β are two polynomial families of classes of valuations val(α) and val(β), then the product 3 of αβ is a polynomial family of classes satisfying val(αβ) ≥ val(α) + val(β) .

[

  M Φ ] vir e(Norm vir ) associated to the graph Φ : • a factor e∈E(v) r t+ev * e (c 1 (S)) de -ψ e • d≥0 c d (-Rπ * L orb ) t r g(v)-1+|E(v)|-d

ǫ

  : M g,n,β (P(X, S)[r]/D ∞ ) → M g,n,β (X) in terms of s = rt. The analysis of Section 3.4 yields the following contributions to ǫ * ι * [M Φ ] vir e(Norm vir ) :

τ

  b i (ω i ) q j=1 τ c j (1) X ℓ , red g,p+q,β = (2g + p + q -3)! (2g + p -3)! d 2g+p-3

k≥0 1 2 1 µ 1

 211 k k! b 1 ,...,bn c 1 ,...,c k c ′ 1 +c ′′ 1 =c 1 -1 ... c ′ k +c ′′ k =c k -,ν 1 ... µ k ,ν k k j=1 -η µ j ν j B 2c j 2c j j (ω µ j )τ c ′′ j (ω ν j ) red g-k,β.

A more complete name is balanced twisted curve, but we omit the word balanced, since these are the only twisted curves that we consider. While stacky structure can also be imposed at the markings of the curve, our twisted curves have stacky structure only at the nodes.

The product of two families of Chow cohomology classes is defined by taking the products of the corresponding Chow cohomology classes on M r,L g,n for all r.

As always, the markings are distinct and away from the nodes.

The expansion has a canonical D 0 ⊂ P (X, S)[r] from the bulk and a canonical D ∞ ⊂ P (X, S)[r] from the last component of the expansion.

The results, however, have been used for theoretical purposes, see[START_REF] Pandharipande | Descendents for stable pairs on 3-folds, Modern Geometry: A celebration of the work of Simon Donaldson[END_REF][START_REF] Pandharipande | GW/P correspondence for the quintic 3fold[END_REF].

using the formula of Theorem 2 for the X ℓ -valued DR-cycle. The intersection number [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF] is, by definition, the coefficient of t 1 + t 2 in the corresponding equivariant intersection (the lowest nonvanishing coefficient).

Lemma 15

The only X ℓ -valued stable graphs which contribute to the coefficient of t 1 + t 2 are graphs with one vertex.

Proof. The (C * ) 2 -equivariant Gromov-Witten invariant associated to a vertex v of the graph Γ with β(v) = 0 is polynomial divisible by t 1 +t 2 since X ℓ is holomorphic symplectic. By formula [START_REF] Janda | Relations on M g,n via equivariant Gromov-Witten theory of P 1[END_REF] for η, an edge of Γ contributes either a constant, if the markings at the half-edges are divisors, or a factor of (p + 1)

if the markings at the half-edges are equal to 1.

For a vertex v of Γ with β(v) = 0, a more careful study using the (C * ) 2localization formula for the degree 0 Gromov-Witten invariants of X ℓ is required. The (C * ) 2 -invariant locus in X ℓ consists of ℓ + 1 points. The tangent weights at the kth point are [START_REF] Johnson | Abelian Hurwitz-Hodge integrals[END_REF] and satisfy the equation

For a divisor class ω of X ℓ , we denote by ω (k) (t 1 , t 2 ) the restriction of ω to the kth invariant point in (C * ) 2 -equivariant cohomology. The restriction

,n(v) corresponding to constant maps to the ℓ + 1 invariant points. The contribution of the kth copy to the (C * ) 2 -equivariant integral

Here, we use the notation

.

The weights α k , α k+1 , and ω

are linear forms in t 1 and t 2 .

By formula [START_REF] Johnson | Abelian Hurwitz-Hodge integrals[END_REF], the weights α k and α k+1 are never proportional to t 1 +t 2 . Thus, the (t 1 + t 2 )-valuation of the rational function ( 30) is nonnegative. In other words, every vertex v of Γ of nonzero degree has (t 1 + t 2 )-valuation at least one, while every edge and degree zero vertex has (t 1 + t 2 )-valuation at least zero. Since we are interested in the coefficient of t 1 + t 2 of the result, there can be only one vertex of nonzero degree, and we can restrict ourselves to the (t 1 + t 2 )-valuation zero part of every degree zero vertex contribution.

We can extract the (t 1 + t 2 )-valuation zero part of (30) by substituting

In particular, then α k = -α k+1 and hence, by Mumford's identity [START_REF] Mumford | Towards an enumerative geometry of the moduli space of curves[END_REF] for Hodge classes,

Thus, the contribution (30) simplifies to

where α k and ω (k) i are now linear forms in t.

The contribution (31) is a Laurent monomial in t of degree 2g -2 + p. In the total contribution of the graph Γ, we will have a product of these monomials over the genus 0 vertices and also a product of monomials

We define the functions S(t) and G(t) by

The last equality follows from Lemma 16.

Lemma 17

We have S(t) = e G(t) .

Proof. The verification is straightforward:

♦ We now substitute the formula of Theorem 2 for the DR-cycle in [START_REF] Janda | Double ramification cycles on the moduli spaces of curves[END_REF]. Since only graphs with a single vertex contribute, we obtain the following 2 .

The final equality coincides 9 with [34, Proposition 3.6] except for the automorphism factors of the partitions (omitted here since we have numbered our marked points).

The same calculation as above using the formula of Theorem 2 for the DR-cycle yields the following more general evaluation for the rubber theory over X ℓ .

Theorem 18 Let S → X ℓ be a (C * ) 2 -equivariant line bundle on X ℓ . Let α be a root, let β = dα ∈ H 2 (X ℓ , Z) be a nonzero curve class, and let A = (a 1 , . . . , a n ) be a vector of integers satisfying

Then, we have the evaluation 2 .

Proof. Since S → X is now not necessarily trivial, Theorem 2 has additional ξ i terms at the markings and π * (ξ 2 ) terms at the vertices. Lemma 15 still holds since the changes in the DR-cycle formula due to the line bundle S play no role in the argument. The k-loop summation for

red 9 The result is also stated in [START_REF] Maulik | Gromov-Witten theory of A n -resolutions[END_REF]Proposition 3.1] where the factor

.

The extra ξ i and π * (ξ 2 ) terms produce additional factors of the equivariant parameters (and hence do not affect the reduced invariants). The evaluation of the k-loop formula is then just as before. ♦

Remarks

Maulik's evaluation of the reduced rubber invariants (28) played a crucial role in establishing the GW/DT/PT correspondences for toric 3-folds, see [START_REF] Maulik | Gromov-Witten/Donaldson-Thomas correspondence for 3-folds[END_REF][START_REF] Pandharipande | GW/P descendent correspondence for 3folds[END_REF]. His calculation of (28) in the case of A 1 relied upon the evaluation of the stationary theory of CP 1 in [START_REF] Okounkov | Gromov-Witten theory, Hurwitz numbers, and completed cycles[END_REF][START_REF] Okounkov | The equivariant Gromov-Witten theory of P 1[END_REF]. Using Maulik's A 1 argument in the reverse direction, Theorem 2 via Theorem 18 provides a completely new DR derivation of the stationary Gromov-Witten theory of CP 1 .

Theorem 18 is also new. The DR-cycle for the rubber

constructed from the line bundle S → X ℓ had not been considered before.

The DR perspective puts all the rubber theories over X ℓ on the same footing.

The tautological ring of the moduli of stable maps

Pixton's formula for the standard DR-cycle leads to relations in the tautological ring of M g,n first conjectured by Pixton [START_REF] Pixton | Double ramification cycles and tautological relations on M g,n[END_REF] and later proven by Clader and Janda [START_REF] Clader | Pixton's double ramification cycle relations[END_REF]. After defining an appropriate strata algebra and tautological ring for the moduli space of stable maps M g,n,β (X), Bae [START_REF] Bae | Tautological relations for stable maps to a target variety[END_REF] uses the formula of Theorem 2 for the X-valued DR-cycle to construct tautological relations in the Chow theory of M g,n,β (X), a rich new direction of study.