1 Introduction
Let $\overline {\mathcal {M}}_{g,n}$ be the moduli space of stable curves. It parameterises tuples $(C,p_1, \ldots , p_n)$ of a nodal curve C of arithmetic genus g with n distinct smooth marked points such that C has only finitely many automorphisms fixing the points $p_i$ . After Mumford’s seminal paper [Reference MumfordMum83], there has been a substantial study of the structure of the tautological rings
The tautological rings form a system of subrings of $\mathrm {CH}^{*}(\overline {\mathcal {M}}_{g,n})_{\mathbb {Q}}$ with explicit generators defined using the universal curve and the boundary gluing maps of the spaces $\overline {\mathcal {M}}_{g,n}$ ; see [Reference Graber and PandharipandeGP03].
A natural extension of $\overline {\mathcal {M}}_{g,n}$ is the moduli stack $\mathfrak {M}_{g,n}$ of marked prestable curves, in which we drop the condition of having only finitely many automorphisms. It is a smooth algebraic stack, locally of finite type over the base field k and containing $\overline {\mathcal {M}}_{g,n}$ as an open substack. However, by allowing infinite automorphism groups, the stacks of prestable curves are no longer DeligneMumford stacks and not of finite type.Footnote ^{1}
A recent application of Chow groups of such nonfinite type algebraic stacks appeared in the paper [Reference Bae, Holmes, Pandharipande, Schmitt and SchwarzBHP+20], which studied cycle classes and tautological rings for the universal Picard stack $\mathfrak {Pic}_{g}$ over the stack $\mathfrak {M}_{g}$ . The stack $\mathfrak {Pic}_{g}$ parameterises pairs $(C,\mathcal {L})$ of a prestable curve C and a line bundle $\mathcal {L}$ on C. In [Reference Bae, Holmes, Pandharipande, Schmitt and SchwarzBHP+20], results from [Reference Janda, Pandharipande, Pixton and ZvonkineJPPZ20] are used to prove a formula for the fundamental class of the closure of the zero section $\{(C, \mathcal {O}_C)\} \subseteq \mathfrak {Pic}_{g}$ . By pulling back this equality under natural morphisms $\overline {\mathcal {M}}_{g,n} \to \mathfrak {Pic}_{g}$ , new results about the classical double ramification cycles on the moduli of stable curves are established.
In the paper [Reference Bae, Holmes, Pandharipande, Schmitt and SchwarzBHP+20], the intersection theory of $\mathfrak {Pic}_{g}$ is studied using a definition of operational Chow groups modelled on [Reference FultonFul98, Chapter 17]. In our paper, we follow the approach [Reference KreschKre99] by Kresch, who developed a cycle theory for algebraic stacks of finite type over a field k. This theory has many structural advantages over the operational theory of [Reference Bae, Holmes, Pandharipande, Schmitt and SchwarzBHP+20], such as projective pushforwards and an excision sequence, and for a smooth stack always admits a natural map to this operational theory.Footnote ^{2}
We extend Kresch’s theory from the case of finitetype stacks to the case of algebraic stacks $\mathfrak {X}$ locally of finite type over k (such as $\mathfrak {M}_{g,n}$ ) by defining their Chow groupsFootnote ^{3} as the limit
for $(\mathcal U_i)_{i \in I}$ a directed system of finitetype open substacks covering $\mathfrak {X}$ . Using this definition, we define the tautological ring $\mathrm {R}^*(\mathfrak {M}_{g,n}) \subseteq \mathrm {CH}^*(\mathfrak {M}_{g,n})$ , extending the definition [Reference Graber and PandharipandeGP03] for the moduli spaces of stable curves.Footnote ^{4}
Proper pushforwards of Chow groups of algebraic stacks
When extending the definition of the tautological ring to the stacks of prestable curves, we immediately encounter a problem: for the spaces $\overline {\mathcal {M}}_{g,n}$ of stable curves, these rings can be defined as the smallest system of subrings of $\mathrm {CH}^*(\overline {\mathcal {M}}_{g,n})$ closed under pushforwards by gluing morphisms and the morphisms $\overline {\mathcal {C}}_{g,n} = \overline {\mathcal {M}}_{g,n+1} \to \overline {\mathcal {M}}_{g,n}$ giving the universal curve over $\overline {\mathcal {M}}_{g,n}$ . However, for the stacks $\mathfrak {M}_{g,n}$ of prestable curves, the analogous universal curve morphisms are in general proper, but not projective (see [Reference FulghesuFul10b, Example 2.3]). Thus Kresch’s Chow theory, which a priori only has projective pushforwards, cannot be applied immediately. Historically, this has been a major obstruction in the study of the Chow groups $\mathrm {CH}^*(\mathfrak {M}_{g,n})$ and made it necessary to give many ad hoc constructions of classes that are traditionally defined by proper pushforwards (see [Reference FulghesuFul10c, Reference FulghesuFul10a]).
To overcome this obstacle, jointly with Skowera, we define proper pushforwards for cycle groups of algebraic stacks. The corresponding results are included as Appendix B to our paper. We state here the main properties of this construction.
Theorem 1.1 (see Theorem B.17 and Proposition B.18)
Let Y be a stack stratified by global quotient stacks, and let $f : X \to Y$ be a proper, representable morphism. Then there is a proper pushforward $f_* : \mathrm {CH}_d(X,\mathbb {Z}) \to \mathrm {CH}_d(Y,\mathbb {Z})$ for all d that is functorial (with respect to compositions) and compatible with flat pullbacks and refined Gysin pullbacks.
If, instead, f is proper and of relative DeligneMumford type, then there is a proper pushforward $f_* : \mathrm {CH}_d(X, \mathbb {Q}) \to \mathrm {CH}_d(Y, \mathbb {Q})$ for all d, with the properties above.
The universal curve over the stack of prestable curves
A second problem we encounter when generalizing the definition of the tautological ring of $\overline {\mathcal {M}}_{g,n}$ to $\mathfrak {M}_{g,n}$ is that the universal curve $\mathfrak {C}_{g,n} \to \mathfrak {M}_{g,n}$ is not given by the forgetful map $\mathfrak {M}_{g,n+1} \to \mathfrak {M}_{g,n}$ . In particular, since the forgetful maps are in general not proper, we cannot define $(\mathrm {R}^*(\mathfrak {M}_{g,n}))_{g,n}$ as the smallest system of subrings of $(\mathrm {CH}^*(\mathfrak {M}_{g,n}))_{g,n}$ closed under gluing and forgetful pushforwards.
To overcome this issue (and give a modular interpretation of $\mathfrak {C}_{g,n}$ as a stack of $(n+1)$ pointed curves), we use the notion of prestable curves with values in a semigroup $\mathcal {A}$ from [Reference Behrend and ManinBM96, Reference CostelloCos06]. Given a suitable (commutative) semigroupFootnote ^{5} $\mathcal {A}$ and an element $a \in \mathcal {A}$ , these references define a stack $\mathfrak {M}_{g,n,a}$ parameterizing tuples $(C,p_1, \ldots , p_n, (a_{C_v})_v)$ of a prestable curve $(C,p_1, \ldots , p_n)$ together with a value $a_{C_v} \in \mathcal {A}$ for each component $C_v$ of C such that all $a_{C_v}$ sum up to a in $\mathcal {A}$ . Moreover, in contrast to the stack $\mathfrak {M}_{g,n}$ , the definition of $\mathfrak {M}_{g,n,a}$ includes a stability condition: any component $C_v$ such that is the neutral element of $\mathcal {A}$ must actually be stable: that is, have a finite group of automorphisms fixing all markings and nodes on $C_v$ . The advantage of this stability condition is that the natural forgetful map $\pi : \mathfrak {M}_{g,n+1,a} \to \mathfrak {M}_{g,n,a}$ , which forgets the last marking and contracts the component containing it if it becomes unstable, does define the universal curve over $\mathfrak {M}_{g,n,a}$ .
Applying this machinery to a particularly simple semigroup, we obtain the desired modular interpretation of $\mathfrak {C}_{g,n}$ . For this, consider the semigroup
Then we show the following.
Proposition 1.2 (see Proposition 2.7, Corollary 2.8)
Let $g,n \geq 0$ , and consider the semigroup
above. Then the stack $\mathfrak {M}_{g,n}$ is naturally contained inside
as the open substack of $(C,p_1, \ldots , p_n, (a_{C_v})_v)$ such that
for all v. Thus the universal curve $\mathfrak {C}_{g,n}$ is naturally contained as an open substack of
sitting in the Cartesian diagram
In particular, this proposition indeed gives an interpretation of $\mathfrak {C}_{g,n}$ as a stack of $(n+1)$ pointed prestable curves together with some additional structure (see the paragraph below Corollary 2.8 for more details).
Tautological rings of stacks of prestable curves
Having solved both the issues with proper pushforwards and the modular interpretation of the universal curve, we are now ready to define the tautological rings. Since the discussion in the last section shows that the spaces $\mathfrak {M}_{g,n,a}$ appear naturally, we will in fact define the tautological rings for these spaces and obtain the rings for $\mathfrak {M}_{g,n}$ by restriction. To write down the definition, we note that in addition to the forgetful maps
mentioned above, there also exist gluing maps
for every prestable graph $\Gamma $ together with an $\mathcal {A}$ valuation $a: V(\Gamma ) \to \mathcal {A}$ satisfying $\sum _{v \in V(\Gamma )} a(v) = a$ . Here $V(\Gamma )$ is the set of vertices of the graph $\Gamma $ .
Definition 1.3. The tautological rings $(\mathrm {R}^*(\mathfrak {M}_{g,n,a}))_{g,n,a}$ are defined as the smallest system of $\mathbb {Q}$ subalgebras with unit of the Chow rings $(\mathrm {CH}^*(\mathfrak {M}_{g,n,a}))_{g,n,a}$ closed under taking pushforwards by the natural forgetful and gluing maps in equations (1) and (2).
The tautological ring $\mathrm {R}^*(\mathfrak {M}_{g,n}) \subseteq \mathrm {CH}^*(\mathfrak {M}_{g,n})$ is defined as the image of the restriction of to the open substack from Proposition 1.2.
Just as for the moduli spaces of stable curves, we define $\psi $ and $\kappa $ classes: given $1 \leq i \leq n$ , we set
where $\sigma _i : \mathfrak {M}_{g,n,a} \to \mathfrak {M}_{g,n+1,a}$ is the ith universal section and $\omega _{\pi }$ is the relative dualizing sheaf of $\pi $ . Similarly, given $m \geq 0$ , we set
It is easy to see that both types of classes are in fact tautological. Given any $\mathcal {A}$ valued prestable graph $\Gamma $ , consider the products
of $\psi $ and $\kappa $ classes on the space $\mathfrak {M}_{\Gamma }$ above. Then we define the decorated stratum class $[\Gamma ,\alpha ]$ as the pushforward
The following result (generalizing [Reference Graber and PandharipandeGP03, Proposition 11]) shows that these classes additively generate the tautological rings.
Theorem 1.4. The tautological ring $\mathrm {R}^*(\mathfrak {M}_{g,n,a})$ is generated as a $\mathbb {Q}$ vector space by the decorated strata classes $[\Gamma , \alpha ]$ . In addition to being closed under pushforwards by gluing and forgetful maps, the tautological rings are likewise closed under pullbacks by these maps, with explicit formulas describing all these operations on the generators $[\Gamma ,\alpha ]$ .Footnote ^{6}
This result gives an effective method to perform computations in the Chow rings of the stacks $\mathfrak {M}_{g,n,a}$ . Moreover, it shows that while both the Chow and the tautological rings of these stacks are in general infinitedimensional, the individual graded pieces of $\mathrm {R}^*(\mathfrak {M}_{g,n,a})$ always have a finite set of generators.
Relations to other work
In this section, we explain how our results relate to previous results on the intersection theory of the stacks $\mathfrak {M}_{g,n}$ .
As a first example, in [Reference GathmannGat03], Gathmann used the pullback formula of $\psi $ classes along the stabilization morphism $\mathrm {st}\colon \mathfrak {M}_{g,1}\to \overline {\mathcal {M}}_{g,1}$ to prove certain properties of the GromovWitten potential. In Section 3.2, we compute arbitrary pullbacks of tautological classes under the stabilization map, in particular recovering Gathmann’s result.
In [Reference OesinghausOes19], Oesinghaus computed the Chow rings of the open locus $\mathcal {T} \subset \mathfrak {M}_{0,3}$ of curves with dual graph of the shape
This stack has a natural interpretation as the stack of expanded pairs appearing in [Reference Abramovich, Cadman, Fantechi and WiseACFW13]. Oesinghaus showed that the Chow ring of $\mathcal {T}$ is given by the known algebra of quasisymmetric functions $\mathrm {QSym}$ (see [Reference Luoto, Mykytiuk and van WilligenburgLMvW13] for an overview). The ring $\mathrm {QSym}$ has a natural basis $M_J$ (as a $\mathbb {Q}$ vector space) indexed by positive integer vectors $J = (j_1, \ldots , j_k) \in \mathbb {Z}_{\geq 1}^{k}$ of some length $k \geq 0$ , and the product $M_J \cdot M_{J'}$ can be defined in terms of a certain shuffle rule on the vectors $J, J'$ (see [Reference OesinghausOes19, Proposition 2]).
Oesinghaus’ proof worked by writing down an open exhaustion of $\mathcal {T}$ by quotient stacks, allowing to write the Chow ring as a certain projective limit of polynomial rings that is known to produce the algebra $\mathrm {QSym}$ . However, due to the nature of this proof, a geometric interpretation for the generators $M_J$ was not immediately clear (see [Reference OesinghausOes19, Remark 7]). Using the techniques of our paper, we can now answer this question, showing that the generators $M_J$ have a concrete interpretation as tautological classes.
Proposition 1.5 (see Example 4.3)
For $J = (j_1, \ldots , j_k) \in \mathbb {Z}_{\geq 1}^{k}$ , the generator $M_J \in \mathrm {QSym} \cong \mathrm {CH}^*(\mathcal {T})$ is given by the restriction of the tautological class
on $\mathfrak {M}_{0,3}$ .
Furthermore, it is straightforward to see that the shuffle rule describing products $M_J \cdot M_{J'}$ is an immediate consequence of the product formula for the tautological classes in equation (4). Oesinghaus also computes the Chow rings of the loci $\mathfrak {M}_{0,2}^{\mathrm {ss}}$ and $\mathfrak {M}_{0,3}^{\mathrm {ss}}$ of semistable curves in $\mathfrak {M}_{0,2}$ and $\mathfrak {M}_{0,3}$ , giving a description in terms of tensor products involving the rings $\mathrm {QSym}$ . Again, we give a description in terms of tautological classes in Example 4.3.
Tautological relations in genus zero
The present paper lays down the foundations of the theory of the Chow rings $\mathrm {CH}^*(\mathfrak {M}_{g,n})$ . In the second part [Reference Bae and SchmittBS21], we use results of this paper to fully determine the Chow rings of $\mathfrak {M}_{0,n}$ for all n: we prove that all classes are tautological, and we compute all relations among generators of the tautological ring.
Structure of the paper
In Section 2, we establish basic properties of the stacks $\mathfrak {M}_{g,n}$ . We discuss boundary gluing maps in Section 2.1 and introduce the stacks of prestable curves with values in a semigroup in Section 2.2. In Section 3, we establish basic properties of the Chow group of $\mathfrak {M}_{g,n}$ . In Section 3.1, we define Chow groups and tautological rings of such stacks. In Section 3.2, we compute formulas for intersection products and pullbacks and pushforwards of tautological classes under natural maps. In Section 4, we compare our result with previous works by Gathmann [Reference GathmannGat03], Pixton [Reference PixtonPix18] and Oesinghaus [Reference OesinghausOes19].
In Appendix A, we give some general treatment of Chow groups of locally finite type algebraic stacks. We give a definition of such Chow groups based on [Reference KreschKre99] and show various basic properties. In Appendix B (jointly with J. Skowera), we construct proper pushforwards of cycles, show basic compatibility properties of these pushforwards and explain how they extend to the setting of algebraic stacks locally of finite type. Finally, in Appendix C, we give a definition and establish the basic properties of operational Chow groups on locally finite type stacks, a technical tool needed for some of the computations in Section 3.2.
2 The stack $\mathfrak {M}_{g,n}$ of prestable curves
Throughout the paper, we work over an arbitrary base field k. Let $\mathfrak {M}_{g,n}$ be the moduli stack of prestable curves of genus g with n marked points. An object of $\mathfrak {M}_{g,n}$ over a scheme S is a tuple
where C is an algebraic space and the map $\pi $ is a flat, proper morphism of finite presentation and relative dimension $1$ . The geometric fibres of $\pi $ are connected, reduced curves of arithmetic genus g with at worst nodal singularities. The morphisms $p_1, \ldots , p_n$ are disjoint sections of $\pi $ with image in the smooth locus of $\pi $ ; see [Sta20, 0E6S].
This stack is quasiseparated, smooth and locally of finite type over k ([Reference Alper and KreschAK16]) and of dimension $3g3+n$ ([Reference BehrendBeh97]). For $2g2+n>0$ , there is a natural stabilization morphism
that contracts unstable rational components. This morphism is flat by [Reference BehrendBeh97, Proposition 3].
2.1 Boundary gluing maps
A prestable graph $\Gamma $ of genus g with $n $ markings consists of the data
satisfying the properties:

(i) V is a vertex set with a genus function $g\colon V\to \mathbb {Z}_{\geq 0}$ ,

(ii) H is a halfedge set equipped with a vertex assignment $v:H \to V$ and an involution $\iota $ ,

(iii) E, the edge set, is defined by the 2cycles of $\iota $ in H (selfedges at vertices are permitted),

(iv) $L \subseteq H$ , the set of legs, is defined by the fixed points of $\iota $ and corresponds to n markings via the bijection $\ell : L \to \{1, \ldots , n\}$ ,

(v) the pair $(V,E)$ defines a connected graph satisfying the genus condition
$$ \begin{align*}\sum_{v \in V} g(v) + h^1(\Gamma) = g,\end{align*} $$where $h^1(\Gamma ) = E  V + 1$ is the first Betti number of the graph $\Gamma $ .
A prestable graph $\Gamma $ is called stable if the following additional condition is satisfied:

(vi) for each vertex $w\in V$ , we have
$$\begin{align*}2g(w)2+n(w)>0,\end{align*}$$where $n(w) = v^{1}(w)$ is the valence of w in $\Gamma $ : that is, the number of halfedges incident to w.
Given a second graph $\Gamma ' = (V',H', \ell ',g',v',\iota ')$ , an isomorphism $\varphi : \Gamma \to \Gamma '$ is the data of bijective maps
that are compatible with the remaining data of the prestable graphs, in the sense that
For every vertex $v \in V(\Gamma )$ , let $H(v)$ be the set of halfedges at v, with cardinality $n(v)$ . Then there exists a natural gluing morphism
which assigns to a collection $((C_v, (p_h)_{h \in H(v)})$ the curve $(C,p_1, \ldots , p_n)$ obtained by identifying the markings $p_h, p_{h'}$ for each pair $(h,h')$ forming an edge of $\Gamma $ .Footnote ^{7} Restricting to the preimage of the open substack $\overline {\mathcal {M}}_{g,n} \subset \mathfrak {M}_{g,n}$ , we get the usual gluing maps
Note that unless $\Gamma $ is stable, the lefthand side is empty.
On the other hand, given $m \geq 0$ , we have the forgetful morphism
Since the curve C remains prestable after forgetting a subset of the markings, there is no stabilization procedure in the morphism $F_m$ , and the underlying curve remains unchanged.
Lemma 2.1. The morphism $F_m$ is smooth and representable of relative dimension m, and the collection
forms a smooth and representable cover of $\mathfrak {M}_{g,n}$ . The complement of the image of $\overline {\mathcal {M}}_{g,n+m}$ under $F_m$ in $\mathfrak {M}_{g,n}$ has codimension $\lfloor \frac {m}{2} \rfloor +1$ , except for finitely many m in the unstable setting $2g2+n \leq 0$ .Footnote ^{8}
Proof. Except for the statement about the codimension of the complement of the image, this is [Reference BehrendBeh97, Proposition 2]. To show the formula for the codimension, observe on the one hand that in a prestable graph $\Gamma $ , every unstable vertex can be stabilized by adding at most two legs. Conversely, consider the prestable graph $\Gamma _0$ formed by a central vertex of genus g with all n legs, connected via single edges to c outlying vertices of genus $0$ with no legs. Then $\Gamma _0$ belongs to a codimension c stratum, and we need precisely $2c$ additional legs to stabilize it. Thus the stratum of $\mathfrak {M}_{g,n}$ associated to $\Gamma _0$ lies in the complement of $F(\overline {\mathcal {M}}_{g,n+m})$ if and only if $c\geq \lfloor \frac {m}{2} \rfloor +1$ . The finitely many exceptions in the unstable range arise from the fact that the central vertex of $\Gamma _0$ is not stable if $2g2+n+c<0$ .
Let $\mathrm {st}_m(\Gamma )$ be the set of stable graphs $\Gamma '$ in genus g with $n+m$ markings obtained from a prestable graph $\Gamma $ of genus g with n legs by adding m additional legs, labeled $n+1, \ldots , n+m$ , at vertices of $\Gamma $ . As explained above, for a fixed prestable graph $\Gamma $ , the set $\mathrm {st}_m(\Gamma )$ starts being nonempty for m sufficiently large.
Given $\Gamma ' \in \mathrm {st}_m(\Gamma )$ , there is a natural map
that is just the product of forgetful maps $F_{m_v} : \overline {\mathcal {M}}_{g(v),n(v)+m_v} \to \mathfrak {M}_{g(v),n(v)}$ for each $v \in V(\Gamma )=V(\Gamma ')$ .
Lemma 2.2. For every prestable graph $\Gamma $ in genus g with n markings and every $m \geq 0$ , there is a fibre diagram
In particular, the map $\xi _{\Gamma }: \mathfrak {M}_{\Gamma } \to \mathfrak {M}_{g,n}$ is representable, proper and a local complete intersection.
Proof. An object of the fibre product of $\mathfrak {M}_{\Gamma }$ with $\overline {\mathcal {M}}_{g,n+m}$ over a (connected) scheme S is given by

○ a collection of families $(C_v, (p_h)_{h \in H(v)})$ of prestable curves over S for each $v \in V(\Gamma )$ ,

○ a family $(C',p^{\prime }_1, \ldots , p^{\prime }_n, q^{\prime }_1, \ldots , q^{\prime }_m)$ of stable curves over S,

○ an isomorphism (of families of prestable curves)
$$\begin{align*}\varphi: C=\coprod_v C_v / (p_h \sim p_{h'}, (h,h') \in E(\Gamma)) \to C' \end{align*}$$satisfying $\varphi (p_i)=p_i'$ .
By the assumption that S is connected, for each $j=1, \ldots , m$ , there exists a unique $v=v(j) \in V(\Gamma )$ such that $q^{\prime }_j \in \varphi (C_v)$ at each point of S. This uses that via $\varphi $ , the smooth unmarked points of $C_v$ ( $v \in V(\Gamma )$ ) form a disjoint open cover of the smooth unmarked points of $(C',p_1, \ldots , p_n)$ in which $q^{\prime }_j$ is always contained.
But for $j,v$ as above, we obtain a section $q_j=\varphi ^{1} \circ q_j' : S \to C_v$ landing in the smooth unmarked locus of $C_v$ . Thus for every $v \in V(\Gamma )$ , this allows us to define a family
of prestable curves over S. From the fact that $(C',p^{\prime }_1, \ldots , p^{\prime }_n,q^{\prime }_1, \ldots , q^{\prime }_m)$ is a family of stable curves, it follows that the family in equation (6) is actually a family of stable curves. Then one sees that the collection $({\widehat {C}}_v)_{v \in V(\Gamma ')}$ is exactly an Spoint of one of the spaces $\overline {\mathcal {M}}_{\Gamma '}$ for the suitable $\Gamma ' \in \mathrm {st}_m(\Gamma )$ for which the marking $q_j$ is added at the vertex $v(j) \in V(\Gamma ')=V(\Gamma )$ .
The above operations define a map from $\mathfrak {M}_{\Gamma } \times _{\mathfrak {M}_{g,n}} \overline {\mathcal {M}}_{g,n+m}$ to the disjoint union of the $\overline {\mathcal {M}}_{\Gamma '}$ and clearly this disjoint union also maps to the fibre product using the maps $F_{\Gamma ' \to \Gamma }$ and $\xi _{\Gamma '}$ . One verifies that these are inverse isomorphisms.
Since being proper and being a local complete intersection is local on the target, and since the maps $F_m$ form a smooth cover of $\mathfrak {M}_{g,n}$ , these properties of $\xi _{\Gamma }$ follow from the corresponding properties of the maps $\xi _{\Gamma '}_{\overline {\mathcal {M}}_{\Gamma '}}$ .
Later we will need some stronger statements about the locus of curves whose prestable graph is exactly a given graph $\Gamma $ . This locus is a locally closed substack $\mathfrak {M}^{\Gamma }$ of $\mathfrak {M}_{g,n}$ whose geometric points are precisely the curves $(C,p_1, \ldots , p_n)$ with prestable graph isomorphic to $\Gamma $ . However, since a family of prestable curves over an arbitrary base does not in general have a welldefined prestable graph, this definition is slightly tricky to write down in a functorial way. Thus we approach the definition from a different angle and then show that it defines the desired locus.
Definition 2.3. Let $\Gamma $ be a prestable graph in genus g with n markings, and let e be the number of edges of $\Gamma $ . Then we define
where $\mathrm {im}$ denotes the stack theoretic image and the union goes over prestable graphs $\Gamma '$ with precisely $e+1$ edges.
By definition, we have that $\mathfrak {M}^{\Gamma }$ is a locally closed substack of $\mathfrak {M}_{g,n}$ . In the following lemma, we check that its geometric points are as desired.
Lemma 2.4. The geometric points of $\mathfrak {M}^{\Gamma }$ are precisely the $(C,p_1, \ldots , p_n)$ with prestable graph isomorphic to $\Gamma $ .
Proof. First we note that since $\xi _{\Gamma }$ is proper, it is surjective onto its image. Then, on the one hand, each $(C,p_1, \ldots , p_n)$ with prestable graph isomorphic to $\Gamma $ is in $\mathfrak {M}^{\Gamma }$ , since it is in the image of $\xi _{\Gamma }$ but cannot be in the image of a gluing map for a graph $\Gamma '$ with more than e edges (since its number of nodes is precisely e). Conversely, let $(C_v)_v = (C_v,(p_h)_{h\in H(v)})_{v \in V(\Gamma )} \in \mathfrak {M}_{\Gamma }$ be a geometric point. Then if all $C_v$ are smooth, its image $\xi _{\Gamma }((C_v)_v)$ has prestable graph $\Gamma $ . On the other hand, if any of the $C_v$ are not smooth, then the prestable graph of $\xi _{\Gamma }((C_v)_v)$ has at least $e+1$ edges. By contracting all but $e+1$ of them, we obtain one of the prestable graphs $\Gamma '$ in the definition of $\mathfrak {M}^{\Gamma }$ , and it is easy to see that $\xi _{\Gamma }((C_v)_v)$ is then in the image of $\xi _{\Gamma '}$ .
We have the following neat description of $\mathfrak {M}^{\Gamma }$ , which is a generalization of [Reference FulghesuFul10b, Lemma 5.1]. For the statement, let
be the open substack where the curve C is smooth. For $g,n$ in the stable range, this is the usual stack $\mathcal {M}_{g,n}$ of smooth curves, but since the latter might be defined to be empty for $2g2+n<0$ , we use the notation $\mathfrak {M}_{g,n}^{\mathrm {sm}}$ for clarity.
Proposition 2.5. For a prestable graph $\Gamma $ , consider the open substack
Then the restriction of the gluing map $\xi _{\Gamma }$ to $\mathfrak {M}_{\Gamma }^{\mathrm {sm}}$ factors through $\mathfrak {M}^{\Gamma }$ , and it is invariant under the natural action of $\mathrm {Aut}(\Gamma )$ . The induced map
from the quotient stackFootnote ^{9} of $\mathfrak {M}_{\Gamma }$ by $\mathrm {Aut}(\Gamma )$ is an isomorphism.
Proof. For each point $(C_v)_v = (C_v,(p_h)_{h\in H(v)})_{v \in V(\Gamma )} \in \mathfrak {M}_{\Gamma }^{\mathrm {sm}}$ , the stabilizer $\mathrm {Aut}(\Gamma )_{(C_v)_v}$ under the action of $\mathrm {Aut}(\Gamma )$ is the set of automorphisms of $\Gamma $ such that there exist compatible isomorphisms of the curves $(C_v,(p_h)_{h\in H(v)})$ . The stabilizer group of $[(C_v)_v] \in \mathfrak {M}_{\Gamma }^{\mathrm {sm}} / \mathrm {Aut}(\Gamma )$ is then an extension of the product of the automorphism groups of the $(C_v,(p_h)_{h\in H(v)})$ by the group $\mathrm {Aut}(\Gamma )_{(C_v)_v}$ .
On the other hand, for the curve $(C,p_1,\ldots ,p_n)$ obtained from $(C_v)_v$ by gluing and an element $\sigma \in \mathrm {Aut}(\Gamma )_{(C_v)_v}$ , the isomorphisms between the curves $C_v$ that are compatible with $\sigma $ can be glued to an automorphism of $(C,p_1,\ldots ,p_n)$ . From this it follows that there exists an exact sequence
From this sequence we see that $\mathrm {Aut}(C,p_1,\ldots ,p_n)$ is precisely the group extension defining the stabilizer of $[(C_v)_v] \in \mathfrak {M}_{\Gamma }^{\mathrm {sm}} / \mathrm {Aut}(\Gamma )$ , and hence $\xi _{\Gamma }$ induces an isomorphism of each stabilizer. Thus the morphism $\xi _{\Gamma }$ in equation (7) is representable. It is easy to check that it is bijective on geometric points and it is separated by similar argument as in Lemma 2.2. So by [Sta20, 0DUD] it is enough to show that $\xi _{\Gamma }$ is an étale morphism to conclude that it is an isomorphism.
Consider the atlas $F_m$ restricted to $\mathfrak {M}^{\Gamma }$ . Since being étale is local on the target, it is enough to show that $\xi _{\Gamma }$ is étale on each atlas. On each atlas, the dimension of the fibre is constantly zero. The domain of $\xi _{\Gamma }$ is smooth because it can be written as a quotient of a smooth algebraic space by a group scheme ([Sta20, 0DLS]). Following a slight variation of the proof of [Reference Arbarello, Cornalba and GriffithsACG11, Proposition 10.11], the stack $\mathfrak {M}^{\Gamma }$ is also smooth. Since the domain and the target of $\xi _{\Gamma }$ are smooth, the ‘miracle flatness’ ([Sta20, 00R3]) implies that $\xi _{\Gamma }$ is flat. Furthermore, the morphism is smooth because it is flat, and each geometric fibre is smooth. Smooth and quasifinite morphisms are étale, and hence $\xi _{\Gamma }$ is an isomorphism.
2.2 $\mathcal {A}$ valued prestable curves
For each $g,n$ , there exists the universal curve $\mathfrak {C}_{g,n} \to \mathfrak {M}_{g,n}$ . For later applications, it will be necessary to compute with tautological classes on $\mathfrak {C}_{g,n}$ (and tautological classes on the universal curve over $\mathfrak {C}_{g,n}$ , etc.). For the moduli spaces of stable curves, a separate theory is not necessary because the universal curve over $\overline {\mathcal {M}}_{g,n}$ is given by the forgetful map $\overline {\mathcal {M}}_{g,n+1} \to \overline {\mathcal {M}}_{g,n}$ . The same is not true for $\mathfrak {M}_{g,n}$ . Indeed, in Lemma 2.1, we saw that the forgetful morphism $\mathfrak {M}_{g,n+1} \to \mathfrak {M}_{g,n}$ is smooth, so it cannot be the universal curve over $\mathfrak {M}_{g,n}$ . In this section, we put an additional structure on prestable curves, called the $\mathcal {A}$ value, which allows us to give a modular interpretation of the universal curve as a stack of $(n+1)$ pointed curves with additional structure. This realization will be convenient to compute tautological classes on $\mathfrak {C}_{g,n}$ .
So let us start by recalling the notion of prestable curves with values in a semigroup $\mathcal {A}$ from [Reference CostelloCos06]. In what follows, let $\mathcal {A}$ be a commutative semigroup with unit
such that

○ $\mathcal {A}$ has indecomposable zero: that is, for $x,y \in \mathcal {A}$ , we have implies , ,

○ $\mathcal {A}$ has finite decomposition: that is, for $a \in \mathcal {A}$ the set
$$ \begin{align*}\{(a_1,a_2) \in \mathcal{A} \times \mathcal{A} : a_1 + a_2 =a\}\end{align*} $$is finite.
Classical examples include
or $\mathcal {A}=\mathbb {N}$ , but later we are going to work with
Fixing $\mathcal {A}$ and an element $a \in \mathcal {A}$ , BehrendManin [Reference Behrend and ManinBM96] and Costello [Reference CostelloCos06] define an algebraic stack $\mathfrak {M}_{g,n,a}$ . A geometric point corresponds to a prestable curve $(C,p_1, \ldots , p_n)$ together with a map $C_v \mapsto a_{C_v}$ from the set of irreducible components $C_v$ of the normalization of C to $\mathcal {A}$ such that the sum of all $a_{C_v}$ equals a. The curve must satisfy the stability condition that for each $C_v$ either or that $C_v$ is stable, in the sense that for $g(C_v)=0$ it carries three special points and for $g(C_v)=1$ it carries at least one special point. Over an arbitrary base scheme, the definition of $\mathcal {A}$ valued stable curves needs extra care; see [Reference CostelloCos06, p.569] for details. As an example, for any $\mathcal {A}$ as above and , we obtain .
Our main motivation for considering the moduli spaces $\mathfrak {M}_{g,n,a}$ is the fact that we have a forgetful morphism $\pi : \mathfrak {M}_{g,n+1,a} \to \mathfrak {M}_{g,n,a}$ making $\mathfrak {M}_{g,n+1,a}$ the universal curve over $\mathfrak {M}_{g,n,a}$ . The image of a point
under $\pi $ is formed by first forgetting the marked point $p_{n+1}$ . Then if the component $C_v$ of C containing $p_{n+1}$ becomes unstable,Footnote ^{10} the component $C_v$ of C is contracted. With this notation in place, we summarize the relevant properties of $\mathfrak {M}_{g,n,a}$ from [Reference CostelloCos06].
Proposition 2.6. The stack $\mathfrak {M}_{g,n,a}$ is a smooth, algebraic stack, locally of finite type and the morphism $\mathfrak {M}_{g,n,a} \to \mathfrak {M}_{g,n}$ forgetting the value in $\mathcal {A}$ is étale and relatively a scheme of finite type. The universal curve over $\mathfrak {M}_{g,n,a}$ is given by the forgetful morphism $\pi : \mathfrak {M}_{g,n+1,a} \to \mathfrak {M}_{g,n,a}$ .
Proof. See Proposition 2.0.2 and 2.1.1 from [Reference CostelloCos06].
The fact that the universal curve is given by a moduli space of curves with an extra marked point turns out to be very convenient. Indeed, as discussed above, this is not the case for the forgetful morphism $\mathfrak {M}_{g,n+1} \to \mathfrak {M}_{g,n}$ . It is easy to identify $\mathfrak {M}_{g,n+1}$ as the open substack $\mathfrak {M}_{g,n+1} \subset \mathfrak {C}_{g,n}$ given as the complement of the set of markings and nodes.
Many other constructions we saw for prestable curves work in the $\mathcal {A}$ valued setting. For instance, for $g_1+g_2=g$ , $n_1+n_2=n$ and $a_1, a_2 \in \mathcal {A}$ with $a_1 + a_2 = a$ , we have a gluing morphism
These gluing maps are again representable, proper and local complete intersections. Indeed, we have a fibre diagram
and the map at the bottom has all these properties by Lemma 2.2. More generally, one defines the notion of an $\mathcal {A}$ valued stable graph, and the corresponding gluing map has all the desired properties.
The following result allows us to apply the machinery of Costello to the moduli spaces of prestable curves.
Proposition 2.7. Let
with
; then given $g,n$ , the subset
of $\mathcal {A}$ valued curves $(C,p_1, \ldots , p_n; (a_{C_v})_v)$ such that one of the values $a_{C_v}$ equals
is closed. Let
be its complement. Then the composition
of the inclusion of $\mathfrak U_{g,n}$ with the morphism
forgetting the $\mathcal {A}$ values defines an isomorphism $\mathfrak {U}_{g,n} \cong \mathfrak {M}_{g,n}$ .
Proof. The underlying reason why $\mathfrak {Z}_{g,n}$ is closed is that is indecomposable in $\mathcal {A}$ : given a curve $(C,p_1, \ldots , p_n; (a_{C_v})_v)$ such that some , any degeneration of this curve still has some component with value since in a degeneration of $C_v$ , $a_{C_v}$ must distribute to the components to which $C_v$ degenerates.
More concretely, we can write $\mathfrak {Z}_{g,n}$ as the union of images of gluing maps $\xi _{\Gamma }$ for suitable $\mathcal {A}$ valued prestable graphs $\Gamma $ . Indeed, we exactly have to remove the images of $\xi _{\Gamma }$ for $\Gamma $ of the form
where $s \geq 1$ , $e_1, \ldots , e_s \in \mathbb {Z}_{>0}$ ,
and $I_0 \coprod I_1 \coprod \ldots \coprod I_s = \{1, \ldots , n\}$ . Note that for this locus to be nonempty, we must require $g_0>0$ or $I_0+\sum _i e_i>2$ .
While the image of each $\xi _{\Gamma }$ is closed, we use infinitely many of them. But in the open exhaustion of by the substacks of curves with at most $\ell $ nodes, each of these open substacks only intersects finitely many of the images of $\xi _{\Gamma }$ nontrivially, so the union of their images is still closed.
The fact that $\mathfrak U_{g,n} \to \mathfrak {M}_{g,n}$ is an isomorphism can be seen in different ways: its inverse is just given by the functor sending each prestable curve $(C,p_1, \ldots , p_n)$ to itself with value
on each component: that is,
Alternatively, one observes that $\mathfrak U_{g,n} \to \mathfrak {M}_{g,n}$ is étale, representable and a bijection on geometric points.
Corollary 2.8. The universal curve $\mathfrak {C}_{g,n} \to \mathfrak {M}_{g,n}$ is given by the morphism
forgetting the marking $n+1$ and contracting the component containing it if this component becomes unstable. The $\mathcal {A}$ valued prestable graphs $\Gamma $ appearing in $\mathfrak {Z}_{g,n+1}$ but not contained in $\pi ^{1}(\mathfrak Z_{g,n})$ are exactly of one of the three following forms:

○ for $i=1, \ldots , n$ , the graphs
(9)corresponding to the n sections of the universal curve $\pi : \mathfrak {C}_{g,n} \to \mathfrak {M}_{g,n}$ , 
○ boundary divisors with edge subdivided, inserting a genus zero, value vertex carrying $n+1$
Corollary 2.8 shows that in order to develop the intersection theory of $\mathfrak {M}_{g,n}$ and $\mathfrak {C}_{g,n}$ , it suffices to consider the general case of the intersection theory of (or even more generally, $\mathfrak {M}_{g,n,a}$ for any semigroup $\mathcal {A}$ and $a \in \mathcal {A}$ ).
3 Chow groups and the tautological ring of $\mathfrak {M}_{g,n}$
3.1 Definitions
In this paper, we want to study the Chow groups (with $\mathbb {Q}$ coefficients) of the stacks $\mathfrak {M}_{g,n}$ (and, more generally, the stacks $\mathfrak {M}_{g,n,a}$ for some element $a \in \mathcal {A}$ in a semigroup $\mathcal {A}$ ).
To define these Chow groups, recall that in [Reference KreschKre99], Kresch constructed Chow groups $\mathrm {CH}_*(\mathcal {X})$ for algebraic stacks $\mathcal {X}$ of finite type over a field k. Moreover, there is an intersection product on $\mathrm {CH}_*(\mathcal {X})$ when $\mathcal {X}$ is smooth and stratified by global quotient stacks Footnote ^{11} ; see [Reference KreschKre99, Theorem 2.1.12]. This last condition can be checked pointwise: a reduced stack $\mathcal {X}$ is stratified by global quotient stacks if and only if the stabilizers of geometric points of $\mathcal {X}$ are affine ([Reference KreschKre99, Proposition 3.5.9]).
Now the spaces $\mathfrak {M}_{g,n,a}$ are in general not of finite type (only locally of finite type) and so we need to extend the definition of Chow groups above. Assume that $\mathfrak {M}$ is an algebraic stack, locally of finite type over a field k. Choose a directed systemFootnote ^{12} $(\mathcal {U}_i)_{i \in I}$ of finite type open substacks of $\mathfrak {M}$ whose union is all of $\mathfrak {M}$ . Then we set
where for $\mathcal U_i \subseteq \mathcal U_j$ the transition map $\mathrm {CH}_*(\mathcal U_j) \to \mathrm {CH}_*(\mathcal U_i)$ is given by the restriction to $\mathcal U_i$ . In other words, we have
We give the details of this definition in Appendix A and show that the Chow groups of locally finite type stacks inherit all the usual properties (e.g., flat pullback, projective pushforward, Chern classes of vector bundles and Gysin pullbacks) of the Chow groups from [Reference KreschKre99]. Moreover, if $\mathfrak {M}$ is smooth and has affine stabilizer groups at geometric points, the intersection products on the groups $\mathrm {CH}_*(\mathcal U_i)$ give rise to an intersection product on $\mathrm {CH}_*(\mathfrak {M})$ . In this case, for $\mathfrak {M}$ equidimensional, we often use the cohomological degree convention
Proposition 3.1. Let $g,n \geq 0$ , and let $\mathcal {A}$ be a semigroup with indecomposable zero and finite decomposition as in Section 2.2 and $a \in \mathcal {A}$ . Then the stacks $\mathfrak {M}_{g,n}$ and $\mathfrak {M}_{g,n,a}$ have welldefined Chow groups $\mathrm {CH}_*(\mathfrak {M}_{g,n})$ and $\mathrm {CH}_*(\mathfrak {M}_{g,n,a})$ . For $(g,n) \neq (1,0)$ the stabilizer groups of all geometric points of $\mathfrak {M}_{g,n}$ and $\mathfrak {M}_{g,n,a}$ are affine and so the Chow groups have an intersection product.
Proof. The stacks $\mathfrak {M}_{g,n}$ and $\mathfrak {M}_{g,n,a}$ are locally of finite type (and smooth) by Proposition 2.6 and thus satisfy the conditions of Definition A.1 from the appendix. For the existence of intersection products, we need to check that geometric points have affine stabilizers. The stabilizer group of such a prestable curve is a finite extension of the automorphism groups of its components. The only nonfinite automorphism groups that can occur here are in genus $0$ (where they are subgroups of $\mathrm {PGL}_{2}$ and thus affine) and in genus $1$ with no special points. Since the prestable curves are assumed to be connected, the last case can only occur for $(g,n)=(1,0)$ .
Now recall from Definition 1.3 that the tautological rings $(\mathrm {R}^*(\mathfrak {M}_{g,n,a}))_{g,n,a}$ are defined as the smallest system of $\mathbb {Q}$ subalgebras with unit of the Chow rings $(\mathrm {CH}^*(\mathfrak {M}_{g,n,a}))_{g,n,a}$ closed under taking pushforwards by the natural forgetful and gluing maps.
We recall the following particular examples of tautological classes:
Definition 3.2. Let $\pi : \mathfrak {M}_{g,n+1,a} \to \mathfrak {M}_{g,n,a}$ be the universal curve over $\mathfrak {M}_{g,n,a}$ , and for $i=1, \ldots , n$ , let $\sigma _i : \mathfrak {M}_{g,n,a} \to \mathfrak {M}_{g,n+1,a}$ be the section corresponding to the ith marked points. Let $\omega _{\pi }$ be the relative canonical line bundle on $\mathfrak {M}_{g,n+1,a}$ . Then we define
and
Definition 3.3. Let $\Gamma $ be an $\mathcal {A}$ valued prestable graph in genus g with n markings with total value $a \in \mathcal {A}$ . For $\mathfrak {M}_{\Gamma } = \prod _{v \in V(\Gamma )} \mathfrak {M}_{g(v),n(v),a(v)}$ , a decoration $\alpha $ on $\Gamma $ is an element of $\mathrm {CH}^*(\mathfrak {M}_{\Gamma })$ given by a product of $\kappa $ and $\psi $ classes on the factors $\mathfrak {M}_{g(v),n(v),a(v)}$ of $\mathfrak {M}_{\Gamma }$ . Thus it has the form
where $a_i, b_{v,a}\geq 0$ and $m_v\geq 0$ are some integers. We define the decorated stratum class $[\Gamma ,\alpha ]$ as the pushforward
One of the main goals of this section is to show that the set of tautological classes $\mathrm {R}^*(\mathfrak {M}_{g,n,a}) \subseteq \mathrm {CH}^*(\mathfrak {M}_{g,n,a})$ is the $\mathbb {Q}$ linear span of all classes $[\Gamma ,\alpha ]$ .
Remark 3.4. We define tautological classes on the spaces $\mathfrak {M}_{g,n}$ and $\mathfrak {C}_{g,n}$ by seeing these stacks as open subsets of and for as in Corollary 2.8. Then tautological classes on $\mathfrak {M}_{g,n}$ and $\mathfrak {C}_{g,n}$ are given by the restrictions of tautological classes on and .
From the point of view of decorated strata classes, note that for $\mathfrak {M}_{g,n}$ , only $\mathcal {A}$ valued prestable graphs where all values are can contribute (and these are in natural bijections with prestable graphs without valuation). On the other hand, for $\mathfrak {C}_{g,n}$ , we can have vertices v with value contributing nontrivial classes. This happens exactly for the graphs shown in Corollary 2.8, corresponding to the universal sections of $\mathfrak {C}_{g,n} \to \mathfrak {M}_{g,n}$ and the loci of nodes inside $\mathfrak {C}_{g,n}$ over boundary strata of $\mathfrak {M}_{g,n}$ .
3.2 Intersections and functoriality of tautological classes
In this section, we describe how the classes $[\Gamma ,\alpha ]$ behave under taking intersections as well as pullbacks and pushforwards under natural gluing, forgetful and stabilization maps.
Pushforwards by gluing maps
Pushing forward by gluing maps is by far the easiest operation: given an $\mathcal {A}$ valued graph $\Gamma _0$ and classes $[\Gamma _v,\alpha _v] \in \mathrm {R}^*(\mathfrak {M}_{g(v),n(v),a(v)})$ for $v \in V(\Gamma _0)$ , the pushforward of the class
is given by $[\Gamma ,\alpha ]$ , where $\Gamma $ is obtained by gluing the $\Gamma _i$ into the vertices of the outer graph $\Gamma _0$ and $\alpha $ is obtained by combining the decorations $\alpha _v$ using that $V(\Gamma ) = \coprod _{v \in V(\Gamma _0)} V(\Gamma _v)$ .
Pullbacks by gluing maps and intersection products
The next natural question is how a class $[B,\beta ]$ pulls back along a gluing morphism $\xi _A$ for an $\mathcal {A}$ valued graph A. This operation allows a purely combinatorial description, generalizing the description in $\overline {\mathcal {M}}_{g,n}$ from [Reference Graber and PandharipandeGP03] (and already discussed for graphs A with exactly one edge in [Reference CostelloCos06, Section 4]). As combinatorial preparation, we recall the notion of morphisms of $\mathcal {A}$ valued stable graphs.
Definition 3.5. An Astructure on an $\mathcal {A}$ valued prestable graph $\Gamma $ (write $\Gamma \to A$ ) is a choice of subgraphs $\Gamma _v$ of $\Gamma $ such that $\Gamma $ can be constructed by replacing each vertex v of A by the corresponding $\mathcal {A}$ valued graph $\Gamma _v$ . More precisely, the data of $\Gamma \to A$ is given by maps
They must satisfy that $V(\Gamma ) \to V(A)$ is surjective, such that the preimage of $v \in V(A)$ are the vertices of a subgraph $\Gamma _v$ of $\Gamma $ with total $\mathcal {A}$ value $a_v$ . The map $H(A) \to H(\Gamma )$ of halfedges in the opposite direction is required to be injective and allows one to see halfedges $h \in H(v)$ of A with legs of the graph $\Gamma _v$ . These maps must respect the incidence relation of halfedges and vertices and the pairs of halfedges forming edges. In particular, the injection of halfedges allows us to see the set of edges $E(A)$ of A as a subset of the set of edges $E(\Gamma )$ of $\Gamma $ (see, e.g., [Reference Schmitt and van ZelmSvZ20, Definition 2.5] for more details in the case of stable graphs).
Given an Astructure $\Gamma \to A$ , there exists a gluing morphism
For a decoration $\alpha $ on $\mathfrak {M}_A$ as in equation (12), it is easy to describe $\xi _{\Gamma \to A}^* \alpha $ using that

○ $\xi _{\Gamma \to A}^* \psi _{v,i} = \psi _{w,j}$ if $\Gamma \to A$ maps halfedge i in A to halfedge j in $\Gamma $ ,

○ $\xi _{\Gamma \to A}^* \kappa _{v,\ell } = \sum _{w \mapsto v} \kappa _{w,\ell }$ , where the sum goes over vertices w of $\Gamma $ mapping to the vertex v of A on which $\kappa _{v,\ell }$ lives.
Both these properties follow immediately from the definitionsFootnote ^{13} of $\kappa $ and $\psi $ classes.
Let $f_A : \Gamma \to A$ , $f_B : \Gamma \to B$ be A and Bstructures on the prestable graph $\Gamma $ . The pair $f = (f_A, f_B)$ is called a generic $(A,B)$ structure $f=(f_A,f_B)$ on $\Gamma $ if every halfedge of $\Gamma $ corresponds to a halfedge of A or a halfedge of B. Given a second $(A,B)$ structure $f'=(f_A': \Gamma ' \to A, f_B': \Gamma ' \to B)$ , an isomorphism from f to $f'$ is an isomorphism $\Gamma \to \Gamma '$ commuting with the maps to $A,B$ . Let $\mathcal {G}_{A,B}$ be the set of isomorphism classes of prestable graphs $\Gamma $ together with a generic $(A,B)$ structures on $\Gamma $ .
Proposition 3.6. Let $A,B$ be $\mathcal {A}$ valued prestable graphs for $\mathfrak {M}_{g,n,a}$ ; then the fibre product of the gluing maps $\xi _A : \mathfrak {M}_A \to \mathfrak {M}_{g,n,a}$ and $\xi _B : \mathfrak {M}_B \to \mathfrak {M}_{g,n,a}$ is given by a disjoint union
of spaces $\mathfrak {M}_{\Gamma }$ for the set of isomorphism classes of generic $(A,B)$ structures on prestable graphs $\Gamma $ . The top Chern class of the excess bundle
is given by
where the product is over the edges of $\Gamma $ coming both from edges of A and edges of B in the generic $(A,B)$ structure.
Proof. The proof from [Reference Graber and PandharipandeGP03, Proposition 9] of the analogous result for the moduli spaces of stable curves goes through verbatim (see also [Reference Schmitt and van ZelmSvZ20, Section 2] for a more detailed version of the argument).
Using the projection formula, we can then also intersect tautological classes.
Corollary 3.7. Given decorated stratum classes $[A,\alpha ]$ , $[B,\beta ]$ on $\mathfrak {M}_{g,n,a}$ , their product is given by
Pushforwards and pullbacks by forgetful maps of points
In this section, we look at the behaviour of tautological classes under the forgetful map $\pi : \mathfrak {M}_{g,n+1,a} \to \mathfrak {M}_{g,n,a}$ , which is the universal curve over $\mathfrak {M}_{g,n,a}$ . As such, it is both flat and proper, so we can compute pullbacks as well as pushforwards. We will start with pullbacks.
Proposition 3.8. Given an $\mathcal {A}$ valued prestable graph $\Gamma $ for $\mathfrak {M}_{g,n,a}$ , we have a commutative diagram
where the graph $\widehat \Gamma _v$ is obtained from $\Gamma $ by adding the marking $n+1$ at vertex v and the map $\pi _v$ is the identity on the factors of $\mathfrak {M}_{\widehat \Gamma _v}$ for vertices $w \neq v$ and the forgetful map of marking $n+1$ at the vertex v. The induced map
satisfies that the fundamental class on the left pushes forward to the fundamental class on the right.
Proof. This follows from the definition of the gluing map $\xi _{\Gamma }$ : giving the map $\xi _{\Gamma }$ is the same as giving the universal curve over $\mathfrak {M}_{\Gamma }$ , and this curve is obtained by gluing the universal curves $\mathfrak {M}_{\widehat \Gamma _v}$ over the various factors along the halfedges connected in $\Gamma $ . The map in equation (18) is obtained by taking, for each edge $\{h_1,h_2\} \in E(\Gamma )$ the loci inside $\mathfrak {M}_{\widehat \Gamma _{v_i}}$ , where marking $p_{n+1}$ and marking $q_{h_i}$ are on a contracted component and identifying them. Thus, if $p_{n+1}$ is not on a contracted component, the map is an isomorphism in a neighborhood. Therefore the map in equation (18) is an isomorphism at the general point of each component of the righthand side, and the fundamental class pushes forward to the fundamental class.
Corollary 3.9. Given a tautological class $[\Gamma ,\alpha ]$ , write $\alpha = \prod _{v \in V(\Gamma )} \alpha _v$ with $\alpha _v$ the factors of $\alpha $ located at vertex v of $\Gamma $ . Then we have
Proof. The class $[\Gamma ,\alpha ]$ is represented by $\xi _{\Gamma *}\left (\alpha \cap \,[\mathfrak {M}_{\Gamma }]\right )$ , where $\alpha $ is an operational Chow class in $\mathrm {CH}_{\mathrm {OP}}^*(\mathfrak {M}_{\Gamma })$ . We refer the reader to Appendix C for definitions and properties of these operational classes. By Proposition 3.8, the diagram in equation (17) together with the map in equation (18) satisfies assumptions in Lemma C.8. Therefore the equality follows from Lemma C.8.
The above corollary shows that to finish our understanding of pullbacks of tautological classes, it suffices to understand how $\kappa $ and $\psi $ classes pull back.
Proposition 3.10. For the universal curve morphism $\pi : \mathfrak {M}_{g,n+1,a} \to \mathfrak {M}_{g,n,a}$ , we have
where $D_{i,n+1} \subset \mathfrak {M}_{g,n+1,a}$ is the image of the section $\sigma _i$ of $\pi $ corresponding to the ith marked point. It can be seen as the tautological class corresponding to the (undecorated) graph in equation (9) above.
Proof. The statement is a generalization of the classical pullback formulas for $\overline {\mathcal {M}}_{g,n}$ (which are the case
). A convenient way to prove it is to use that
To show this, we note that $\sigma _i$ can be identified with the gluing map
where we glue the ith marking on $\mathfrak {M}_{g,n,a}$ with the marking $\bullet $ on
. Then indeed the locus $D_{i,n+1}$ is the image of the above gluing map (similar to the usual case of stable maps), and equation (21) follows from Corollary 3.7. On the other hand, it can also be seen directly from the fact that $\sigma _i$ is a closed embedding with normal bundle $\sigma _i^*(\omega _{\pi }^{\vee })$ .
Now we have a commutative diagram
and the space in the upper left maps birationally to the fibre product of the two forgetful maps. Then
Similarly, using the same diagram, the definition of $\kappa _a$ and the pullback formula for $\psi $ , one concludes the pullback formula for $\kappa _a$ .
We now turn to the question how to push forward tautological classes $[\Gamma , \alpha ] \in \mathrm {R}^*(\mathfrak {M}_{g,n+1,a})$ under the map $\pi $ .
Proposition 3.11. Let $[\Gamma , \alpha ] \in \mathrm {R}^*(\mathfrak {M}_{g,n+1,a})$ with $\alpha = \prod _{v \in V(\Gamma )} \alpha _v$ . Let $v \in V(\Gamma )$ be the vertex incident to $n+1$ , and let $\Gamma '$ be the graph obtained from $\Gamma $ by forgetting the marking $n+1$ and stabilizing if the vertex v becomes unstable. There are two cases:

○ If the vertex v remains stable, then
$$\begin{align*}\pi_* [\Gamma,\alpha] = (\xi_{\Gamma'})_*\left((\pi_v)_* \alpha_v \cdot \prod_{w \neq v} \alpha_w \right), \end{align*}$$where $\pi _v$ is the forgetful map of marking $n+1$ of vertex v. 
○ If the vertex v becomes unstable, then $g(v)=0$ , $n(v)=3$ and . If $\alpha _v \neq 1$ , then $[\Gamma , \alpha ]=0$ . Otherwise, we have
$$\begin{align*}\pi_* [\Gamma,\alpha] = [\Gamma', \prod_{w \neq v} \alpha_w].\end{align*}$$
Proof. The result follows from the fact that the composition of the gluing map $\xi _{\Gamma }$ and the forgetful map $\pi $ factors through the gluing map $\xi _{\Gamma '}$ downstairs. In the second part, we use that , so any nontrivial decoration by $\kappa $ and $\psi $ classes on this space vanishes.
The proposition allows us to reduce to computing forgetful pushforwards of products of $\kappa $ and $\psi $ classes. As in the case of $\overline {\mathcal {M}}_{g,n}$ , these can be computed using the projection formula. Indeed, given a product
we can use Proposition 3.10 and the known intersection formulas on $\mathfrak {M}_{g,n+1,a}$ to write it as
Using the projection formula, we conclude
where $\kappa _0=2g2+n$ and $\kappa _{1}=0$ . The boundary terms are handled by induction on the degree together with Proposition 3.11.
Together with the previous results of this section, this shows that the $\mathbb {Q}$ linear span of the decorated strata classes $[\Gamma , \alpha ]$ in $\mathrm {CH}^*(\mathfrak {M}_{g,n,a})$ is closed under intersections as well as pushforwards under gluing and forgetful maps. Thus, by definition, it equals the tautological ring of $\mathfrak {M}_{g,n,a}$ so that we have finished the proof of Theorem 1.4.
Pullbacks by forgetful maps of $\mathcal {A}$ values
Proposition 3.12. For the map $F_{\mathcal {A}}: \mathfrak {M}_{g,n,a} \to \mathfrak {M}_{g,n}$ forgetting the $\mathcal {A}$ values on all components of the curve, without stabilizing, we have
where the sum is over tuples $(a_v)_v$ of elements of $\mathcal {A}$ summing to a, such that the $\mathcal {A}$ valuation $v \mapsto a_v$ on the vertices v of $\Gamma $ gives a welldefined $\mathcal {A}$ valued graph $\Gamma _{(a_v)_v}$ .
Proof. The fibre product of $F_{\mathcal {A}}$ and a gluing map $\xi _{\Gamma }$ is the disjoint union of the gluing maps $\xi _{\Gamma _{(a_v)_v}}$ . A short computation shows that $F_{\mathcal {A}}^* \psi _i = \psi _i$ and $F_{\mathcal {A}}^* \kappa _a = \kappa _a$ .
Pullback by stabilization map
We saw before that the stabilization morphism $\mathrm {st}: \mathfrak {M}_{g,n} \to \overline {\mathcal {M}}_{g,n}$ is flat, so we can ask how to pull back tautological classes along this morphism. We start by computing the pullback of gluing maps under $\mathrm {st}$ .
Proposition 3.13. Given a stable graph $\Gamma $ in genus g with n marked points (for $2g2+n>0$ ), we have a commutative diagram
where $\mathrm {st}_v : \mathfrak {M}_{g(v),n(v)} \to \overline {\mathcal {M}}_{g(v),n(v)}$ is the stabilization morphism at vertex v. Moreover, the induced map
is proper and birational. In particular
Proof. The commutativity of the diagram in equation (23) follows from the definition of the stabilization. The map in equation (24) is easily seen to be birational, and its properness follows from the diagram
and the cancellation property of proper morphisms (in the diagram, the map $\xi _{\Gamma }$ and $\mathrm {pr}_1$ are proper). Equation (25) again follows by an application of Lemma C.8.
The proposition above reduces the pullback of tautological classes under $\mathrm {st}$ to computing the pullback of $\kappa $ and $\psi $ classes.
Proposition 3.14. Let $g,n$ with $2g2+n>0$ , and let . Then for $1 \leq i \leq n$ and the stabilization map , we have
Proof. Consider the commutative diagram
where the right square is Cartesian and the map c is the map contracting the unstable components of the universal curve . By the cancellation property of proper morphisms, the map c is proper and easily seen to be birational.
For computing the pullback of $\psi _i$ under $\mathrm {st}_{\mathcal {A}}$ , we use that $\psi _i = \pi _*( D_{i,n+1}^2)$ on $\overline {\mathcal {M}}_{g,n}$ , where $D_{i,n+1} \subset \overline {\mathcal {M}}_{g,n+1}$ is the image of the ith section. By Lemma C.8, we have
The composition $c \circ \widehat {\mathrm {st}}_{\mathcal {A}}$ is just the usual stabilization map, and the pullback of $D_{i,n+1}$ under this map is the sum of three boundary divisors of : their underlying graph is the same as for $D_{i,n+1}$ and the $\mathcal {A}$ values correspond to the three different ways to distribute the value to the two vertices. A short computation using the rules for intersection and pushforward presented earlier gives the formula in equation (26).
The formula for the pullback of $\kappa $ classes is more involved, and we need to introduce a bit of notation to state it. Fix $g,n$ with $2g2+n>0$ ; then for $k \geq 0$ , let $\widehat G_k, G_k$ be the following $(n+1)$ and npointed prestable graphs in genus g with k edges
Here $v_0$ is the leftmost vertex and, for $k \geq 1$ , $h_0$ is the unique halfedge incident to this vertex. For $k=0$ , the graphs $\widehat {G}_k, G_k$ are the trivial graphs, respectively.
Also, in the proposition below, we consider the power series
We use the notation $[\Phi (t)]_{t^a \mapsto \kappa _a}$ to indicate that in the power series $\Phi $ , the term $t^a$ is substituted with the class $\kappa _a$ , getting the mixeddegree Chow class
Proposition 3.15. For $g,n$ with $2g2+n>0$ , the stabilization morphism $\mathrm {st}: \mathfrak {M}_{g,n} \to \overline {\mathcal {M}}_{g,n}$ satisfies the following equality of mixeddegree Chow classes on $\mathfrak {M}_{g,n}$ :
Here $\mathrm {Cont}_{E(G_k)}$ is the mixeddegree class
on $\mathfrak {M}_{G_k}$ . In the formula above, the term $\psi _{h_0}^{1}$ is understood to vanish unless it pairs with a term of $\mathrm {Cont}_{E(G_k)}$ containing a positive power of $\psi _{h_0}$ , and we have $\kappa _{v_0,0}=2\cdot 0 2+1=1$ .
To obtain the pullback of an individual class $\kappa _a$ under $\mathrm {st}$ , we take the degree a part of equation (28) and obtain a formula of the form
As an example, for $a=1,2$ , we obtain
and
where $e=(h_0,h_1)$ is the unique edge of the graph $G_1$ .
Proof of Proposition 3.15
Consider the following commutative diagram:
Then as $\mathfrak {C}_{g,n}$ maps proper and birationally to the fibre product in the right diagram, we have
Here we use that computations in $\mathfrak {C}_{g,n}$ can be performed in together with the pullback formula from Proposition 3.14 (noting that the third term in in equation (26) vanishes since it lies in the complement of the open substack
From now on, it will be more convenient working with mixeddegree classes and exponentials. In this language, equation (30) translates to
The occurrence of the power series $\Phi $ is due to the discrepancy between the degree a of $\kappa _a$ on the left of equation (30) and the degree $a+1$ of the term on the right. Using the rules for intersections of tautological classes, one shows
Now, in the pushforward in equation (31), the only terms supported on the trivial graph are those from
explaining the first term of the answer. All other terms of the product of the exponentials are supported on some $\widehat {G}_k$ for $k \geq 1$ , where marking $n+1$ is on a rational component with just one other halfedge $h_0$ . Using the formulas for the pushforward by the forgetful map $\pi '$ from Proposition 3.11, the only nontrivial pushforward we have to compute is the one by the universal curve $\pi _{0,1}: \mathfrak {C}_{0,1} \to \mathfrak {M}_{0,1}$ , corresponding to forgetting $n+1$ on the $2$ marked genus $0$ component $v_0$ of $\widehat {G}_k$ . Here, a short computation shows
where $\delta _{a,0}$ is the Kronecker delta, and we have the convention $\kappa _{1}=\psi _1^{1}=0$ . Applying this formula for the pushforward, the first term in equation (33) gives rise to the term of the result involving $\left [\Phi (t) \right ]_{t^a \mapsto \kappa _{v_0,a}}$ , where again $\Phi $ appears due to the shift of degree from b to $b1$ in equation (33). The second term of equation (33) gives rise to the term involving $\psi _{h_0}^{1}$ , where due to the Kronecker delta $\delta _{a,0}$ only the constant term of $\exp (\psi _{n+1})$ survives in the pushforward.
Remark 3.16. The following is a nontrivial check and application of the computations from the last sections: for $g,n,m$ with $2g2+n>0$ , consider the diagram
where $F_m$ is the map forgetting the last m markings (without stabilizing the curve), the map $\mathrm {st}$ is the stabilization map and their composition $\pi $ is the ‘usual’ forgetful map between moduli spaces of stable curves. The pullback of tautological classes under $\pi $ is known classically, and the pullback by the two other maps has been computed in the previous sections. Since the pullbacks must be compatible, this gives rise to tautological relations, which we can verify in examples.
For instance, for the class $\kappa _1 \in \mathrm {CH}^1(\overline {\mathcal {M}}_{g,n})$ , we have
where $D_{0,I} \subset \overline {\mathcal {M}}_{g,n+m}$ is the boundary divisor of curves with a rational component carrying markings I. On the other hand we have
So indeed we get the same answer.
4 Relation to previous works
In this section, we review several results in the literature relating to our study of the intersection theory of the stacks $\mathfrak {M}_{g,n}$ .
Example 4.1. In [Reference GathmannGat03, Lemma 1], Gathmann used the pullback formula of $\psi $ classes along the stabilization morphism $\mathrm {st}\colon \mathfrak {M}_{g,1}\to \overline {\mathcal {M}}_{g,1}$ to prove certain properties of the Gromov–Witten potential. It coincides with our calculation in Proposition 3.14.
Example 4.2. In [Reference PixtonPix18], Pixton introduces classes $[\Gamma ] \in \mathrm {R}^*(\overline {\mathcal {M}}_{g,n})$ indexed by prestable graphs of genus g with n legs. In his construction, chains of unstable vertices encode insertions of $\kappa $ and $\psi $ classes in such a way that the formula for products $[\Gamma ] \cdot [\Gamma ']$ takes a particularly simple shape. While it is not a priori obvious how to relate his classes to the corresponding boundary strata classes $[\Gamma ] \in \mathrm {R}^*(\mathfrak {M}_{g,n})$ in the moduli stack of prestable curves, this is a question we plan to investigate in future work.
Example 4.3. In [Reference OesinghausOes19], Oesinghaus computes the Chow ring (with integral coefficients) of a certain open substack $\mathcal {T}$ of $\mathfrak {M}_{0,3}$ , defined by the conditions that the curve is semistable (i.e., every component of the curve has at least two distinguished points) and