1. Introduction
This article achieves two distinct goals: The first is to establish a connection between the combinatorial properties of the genus-zero part of any cohomological field theory (CohFT) and its tropicalisation. The second is to apply this analysis to the CohFT of
$r$
-spin Witten classes (see Section 2 for a discussion) and obtain a detailed understanding of the corresponding numerical invariants. We first discuss this second goal, which allows for simple and concrete statements, and then we enlarge the scope to discuss the more general combinatorial journey that led to these results.
A genus-zero
$r$
-spin invariant
$w_r(\vec m)$
, often denoted
$(\tau ^{m_1} \cdots \tau ^{m_n})$
in the literature, is an intersection number on a moduli stack of
$n$
-pointed, genus-zero
$r$
-spin curves obtained by integrating the Euler class of the Witten bundle over a connected component of the moduli stack. Here,
$r$
is a positive integer, and
$\vec m = (m_i)\in ( 1, 2, \ldots, r)^n$
, with
$\sum _{i=1}^nm_i = (n-2)(r+1)$
, which is called a numerical monodromy vector. These intersection numbers have a rich tradition: originally proposed by Witten [Reference WittenWit93], they were developed for many reasons, including their CohFT structure [Reference Jarvis, Kimura and VaintrobJKV01], their setting in mirror symmetry as an enumerative theory for the Landau-Ginzburg model
$(\mathbb{C}, \mu _r, x^r)$
[Reference Fan, Jarvis and RuanFJR11], and their applications towards tautological relations [Reference Pandharipande and ZvonkinePPZ19]. Our first main result gives a closed formula for (primary) genus-zero
$r$
-spin invariants.
Theorem 1 (See Theorem 5.1). The genus-zero
$r$
-spin invariant of a numerical monodromy vector
$\vec m=(m_1,\ldots, m_n)$
is
\begin{align} w_r(\vec m)=\frac{1}{2\cdot r^{n-3}}\sum _{\substack{S\subseteq [n]\\\sum _{i\in S}m_i\geqslant (\left \lvert S\right \rvert -1)r+n-2}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-3}\left(\left(\sum _{i\in S}m_i\right)-(\left \lvert S\right \rvert -1)r-k\right). \end{align}
Viewing
$ m_1,\ldots, m_n,r$
as being a list of variables, one may think of
$w_r(\vec m)$
as a function defined on the integral lattice points of an unbounded polyhedron
$\mathbf{M}_n$
in
$\mathbb{R}^{n}\times \mathbb{R}$
. Formula (1) implies that
$w_r(\vec m)$
is a piecewise-polynomial function of degree
$n-3$
. The chambers of polynomiality are polyhedra that overlap in affine linear strips of width
$n-4$
. The precise statements and the equations for the walls are given in Corollary 5.2. Previously, it was known that
$w_r(\vec m)$
is a piecewise polynomial when
$n=3,4$
[Reference Jarvis, Kimura and VaintrobJKV01, Prop. 6.1]. It was also known that
$w_r(\vec m)$
is equal to the dimension of
$\mathfrak{sl}_2({\mathbb{C}})$
-invariant subspace of a certain tensor product of symmetric powers of the standard representation of
$\mathfrak{sl}_2({\mathbb{C}})$
[Reference Pandharipande and ZvonkinePPZ19, Thm. 2], and it is the genus-zero part of the r-KdV hierarchy [Reference Jarvis, Kimura and VaintrobJKV01].
We also unveil properties of genus-zero
$r$
-spin invariants that are not apparent from their expression in (1). For a fixed value of
$r$
, the dominance order is a partial ordering on the monodromy vectors
$\vec m$
that, roughly speaking, says they become smaller as they get closer to the small diagonal of
$\mathbb{R}^n$
, equivalently, as the entries of
$\vec m$
get more equidistributed (see Section 6 for a precise definition). We show that genus-zero
$r$
-spin invariants are monotonic with respect to this partial ordering.
Theorem 2 (See Theorem 6.2(1)). For any fixed
$r,n$
, the function
$w_r(\vec m)$
is weakly order-reversing with respect to the dominance ordering. That is,
\begin{equation} \vec m\leqslant \vec m' \, \, \, \implies \, \, \, w_r(\vec m)\geqslant w_r(\vec m'). \end{equation}
In [Reference Pandharipande and ZvonkinePPZ19, Prop. 1.4] the authors use character theory of
$\mathfrak{sl}_2({\mathbb{C}})$
to show that for a monodromy vector of length
$n$
,
$w_r(\vec m) = 0$
if
$m_i\leqslant n-3$
for any of the entries of
$\vec m$
; we give a direct combinatorial proof of this fact. This vanishing, together with Theorem 2, implies the following positivity statement:
Theorem 3 (See Theorem 6.2(2)). For any
$r$
and
$\vec m$
, we have
$w_r(\vec m)\geqslant 0$
, with
$w_r(\vec m)\not =0$
if and only if
$n-2\leqslant m_i \leqslant r-1$
for all
$i$
.
Notably, the formula for genus-zero
$r$
-spin invariants is more complicated than the closed formula for open
$r$
-spin invariants found in [Reference Buryak, Clader and TesslerBCT18, Theorem 1.2].
All these structure results about genus-zero
$r$
-spin invariants follow from a collection of linear recursive relations, proved in Theorem 4.1. Such relations may be derived in two equivalent ways, which leads us to discussing the first stated goal of this article.
Genus-zero
$r$
-spin invariants are degrees of the zero-dimensional cycles for the CohFT of Witten classes and comprise the numerical part of the CohFT. Very roughly speaking, a CohFT (see [Reference PandharipandePan18] for precise definitions) is an infinite collection of Chow classes on moduli spaces of curves that are self-referential with respect to restriction to boundary strata; this means that the intersection of a CohFT class with a stratum
\begin{equation*} \Delta = \mathrm {gl}_\ast \left ( \prod _i \overline {M}_{g_i, n_i}\right )\end{equation*}
is equal to the pushforward via the corresponding gluing morphism of (a linear combination of products of pullbacks via the coordinate projections of) CohFT classes from the factors. The basic linear equivalence among the three boundary points of
$\overline{M}_{0,4}\cong \mathbb{P}^1$
may be pulled-back via forgetful morphisms and/or pushed-forward via gluing morphisms and then intersected with a CohFT class and integrated to obtain a collection of relations among the numerical CohFT classes. Such relations are called WDVV relations, and they are familiar tools in and around Gromov-Witten theory, where they are, for example, responsible for the associativity of the quantum product [Reference Fulton and PandharipandeFP97]. One way to obtain the recursions in Theorem 4.1 is via WDVV. Another way is to study the tropicalisation of the CohFT. We summarize here the discussion in Section 3:
Tropical geometry [Reference Brugallé, Itenberg, Mikhalkin and ShawBIMS15, Reference MikhalkinMik06] provides a combinatorialisation of standard algebraic geometry concepts, and in the last few decades, it has found interesting applications to enumerative geometry (e.g. [Reference MikhalkinMik05, Reference Gathmann and MarkwigGM07, Reference Gathmann, Kerber and MarkwigGKM09]) and tautological intersection theory of moduli spaces of curves (e.g. [Reference MikhalkinMik07, Reference RauRau16, Reference Kerber and MarkwigKM08, Reference GrossGro18, Reference Cavalieri, Gross and MarkwigCGM22]). The moduli space of tropical curves
$M_{g,n}^{\mathrm{trop}}$
[Reference Abramovich, Caporaso and PayneACP15, Reference Cavalieri, Chan, Ulirsch and WiseCCUW20] may be identified with the boundary complex of
$\overline{M}_{g,n}$
. For any Chow class
$\alpha \in A^k(\overline{M}_{g,n})$
, its tropicalization
$\alpha ^{\mathrm{trop}}$
is a codimension-
$k$
weighted cone subcomplex of
$M_{g,n}^{\mathrm{trop}}$
, where each codimension-
$k$
cone of
$M_{g,n}^{\mathrm{trop}}$
is weighted by the intersection number of
$\alpha$
with the corresponding
$k$
-dimensional stratum of
$\overline{M}_{g,n}$
. If
$\Omega$
is a CohFT class, then it follows from the strata restriction properties that the coefficients of
$\Omega ^{\mathrm{trop}}$
are functions of numerical CohFT invariants. In other words, the tropicalization of a CohFT is completely controlled by its numerical part (Proposition 3.10).
In genus zero, the moduli space of curves is a tropical compactification [Reference TevelevTev07, Reference Gibney and MaclaganGM10], meaning that
$\overline{M}_{0,n}$
admits an embedding into a (non-proper) toric variety
$X_\Sigma$
such that the boundary stratification of
$\overline{M}_{0,n}$
coincides with the restriction of the toric boundary of
$X_\Sigma$
. It follows that
$M_{0,n}^{\mathrm{trop}}$
may be identified with
$\Sigma$
and, therefore, viewed as a balanced fan inside the vector space
$N_{\mathbb{R}}$
, spanned by the cocharacter lattice of the torus of
$X_\Sigma$
. There is a natural isomorphism
$\varphi : A^\ast (\overline{M}_{0,n}){\to } A^\ast (X_{\Sigma })$
, and the tropicalisation
$\alpha ^{\mathrm{trop}}$
of a cycle
$\alpha \in A^\ast (\overline{M}_{0,n})$
coincides with the Minkowski weight presentation of
$\varphi (\alpha )$
[Reference Fulton and SturmfelsFS97, Reference KatzKat09].
This in turn implies that
$\alpha ^{\mathrm{trop}}$
satisfies the balancing condition (12), which translates into a collection of linear equations on the weights of the cones of
$\alpha ^{\mathrm{trop}}$
. When
$\alpha$
is a CohFT class, one then obtains equations among the numerical CohFT invariants. Our next result relates these equations to the relations obtained from WDVV.
Theorem 4 (See Theorem 3.12). The collection of balancing equations for all tropical cycles
$\Omega ^{\mathrm{trop}}$
imposes the same constraints as all WDVV relations on the numerical invariants of
$\Omega$
.
The statement of this theorem can be made precise (but probably unnecessarily confusing) by saying that the two sets of equations cut down the same subvariety in some countable dimensional affine space coordinatised by the discrete invariants indexing the classes of arbitrary CohFTs. It could also be explained in working terms: If one is trying to reconstruct numerical CohFT invariants recursively given some initial conditions, doing so is equivalent to using the set of relations coming from WDVV or the balancing equations. The proof of Theorem 3.12 shows just how tight the connection is: Balancing at the cone point for 1-dimensional tropical cycles corresponds to WDVV relations obtained by pull-back via forgetful morphisms, and balancing along faces of higher dimensional cycles correspond to WDVV relations pushed-forward via appropriate gluing morphisms.
The tropicalisation of the moduli space of
$r$
-spin curves has been studied in [Reference Caporaso, Melo and PaciniCMP20, Reference Abreu, Pacini and SeccoAPS22], where the authors identify a skeleton of the Berkovich analytification of algebraic
$r$
-spin curves with a cone complex parameterising tropical
$r$
-spin curves. Our perspective is to directly tropicalise the cycles of the
$r$
-spin CohFT, bypassing the need for a tropical version of the theory of Witten classes on moduli spaces of tropical
$r$
-spin curves. Once a theory of tropical vector bundles and Chern classes is established, it would be natural to try to exhibit the tropicalisation of a genus-zero
$r$
-spin Witten class as the Euler class of a tropical version of the Witten bundle.
This article is written with the intention of its being accessible to readers from different mathematical communities, with the goal of stimulating hopefully productive interactions. Section 2 provides background and intuition on the CohFT of
$r$
-spin Witten classes, which is aimed at readers from tropical enumerative geometry. Section 3 gives background on tropical intersection theory, which is aimed at algebraic geometers interested in intersection theory on moduli spaces. Section 4 derives recursions among genus-zero
$r$
-spin numerical invariants, and these recursions are used in Section 5 to prove Theorem 1. In Section 6, we study the monotonicity of genus-zero
$r$
-spin invariants with respect to the dominance ordering.
2. The
$r$
-spin cohomological field theory
We are interested in computing
$r$
-spin invariants, which are defined as intersection numbers over moduli spaces of roots of line bundles on curves. The literature on
$r$
-spin curves is both technical and full of conflicting conventions; hence we provide in this section a self-contained overview of this story. Since our focus is combinatorial, we sweep technicalities under the rug when possible.
2.1 Moduli of
$r$
-spin curves
Fix an integer
$r\geqslant 2$
. Let
$(C, p_1, \dots, p_n)\in M_{g,n}$
be a smooth
$n$
-marked curve of genus
$g$
, and fix
$m_1, \dots, m_n \in \{1, \dots, r\}$
such that
\begin{equation} 2g - 2 + n - \sum _{i=1}^n m_i \in r\mathbb{Z}. \end{equation}
An
$r$
-spin structure of type
$\vec{m} := (m_1, \dots, m_n)$
on
$C$
is a line bundle
$L$
on
$C$
together with an isomorphism
\begin{equation*} \varphi : L^{\otimes r} \stackrel {\sim }{\longrightarrow } \omega _{C, \rm {log}}\left (-\sum _{i=1}^n m_i p_i\right ), \end{equation*}
where
$\omega _{C, \rm{log}}=\omega _C(\sum _{i=1}^n p_i)$
is the log canonical bundle of
$C$
. We refer to
$m_i$
as the monodromy of
$L$
at
$p_i$
; the terminology arises from an equivalent formulation of
$r$
-spin curves in which
$p_1,\ldots, p_n$
are orbifold points of
$C$
and
$m_i$
is the monodromy of
$L$
at
$p_i$
. We call
$\vec m$
(subject to the condition (3)) a monodromy vector and call the data
$(C, p_i, L, \varphi )$
a (smooth)
$r$
-spin curve.
Remark 2.1. The integers
$m_i$
are off by one from some standard references on
$r$
-spin curves (e.g. [Reference Jarvis, Kimura and VaintrobJKV01, Reference Buryak, Clader and TesslerBCT19, Reference Pandharipande and ZvonkinePPZ19]) but match others (e.g. [Reference ChiodoChi08b, Reference Fan, Jarvis and RuanFJR11, Reference Fan, Jarvis and RuanFJR13]).
For an
$r$
-spin curve of type
$\vec m$
, by the existence of
$\varphi$
, we immediately see
\begin{equation} \deg L = \frac{2g - 2 + n - \sum _{i=1}^n m_i}{r} \in \mathbb{Z}. \end{equation}
We denote by
$M_{g,n}^{r}(\vec{m})$
the moduli stack of smooth
$r$
-spin curves of type
$\vec{m}$
, and let
$M_{g,n}^r=\bigsqcup _{\vec m}M_{g,n}^{r}(\vec{m})$
. There is a natural compactification
$\overline{M}_{g,n}^r=\bigsqcup _{\vec m}\overline{M}_{g,n}^{r}(\vec{m})$
due to Abramovich-Jarvis and Chiodo [Reference Abramovich and JarvisAJ03, Reference ChiodoChi08a]—though other compactifications exist [Reference JarvisJar98, Reference JarvisJar00, Reference Caporaso, Casagrande and CornalbaCCC07]. In the language of [Reference ChiodoChi08a], the stack
$\overline{M}_{g,n}^r(\vec m)$
is the moduli stack of stable
$r$
-spin curves, i.e.
$r$
-th roots
$L$
of
$\omega _{C,\log }$
on nodal orbicurves
$C$
with
$\mathbb{Z}/r\mathbb{Z}$
-orbifold structure at marked points and nodes (and nowhere else), where
$m_i$
is the monodromy of
$L$
at
$p_i$
. This space admits a (finite flat surjective) forgetful map
$\rho :\overline{M}_{g,n}^{r}(\vec{m}) \to \overline{M}_{g,n}$
; see [Reference ChiodoChi08a, Thm. 4.2.3].
Remark 2.2. When
$g=0$
(and necessarily
$n\geqslant 3)$
, the forgetful map
$\rho$
is a bijection. It is not an isomorphism for stack-theoretic reasons—due to the fact that
$r$
-spin curves admit extra automorphisms—but we can largely ignore this subtlety for our purposes.
An important aspect of
$\overline{M}_{g,n}^r(\vec m)$
—similarly to
$\overline{M}_{g,n}$
—is its recursive structure, which we briefly describe here. On a stable
$r$
-spin curve
$(C,p_i,L,\varphi )$
, each node
$\eta$
of
$C$
locally looks like the quotient of an ordinary node
$V(xy)$
by an action of
$\mathbb{Z}/r\mathbb{Z}$
via
\begin{equation*}(x,y) \mapsto (\zeta x, \zeta ^{-1}y),\end{equation*}
where
$\zeta$
is an
$r$
-th root of unity. Under this identification,
$L$
is locally the quotient of
$V(xy)\times{\mathbb{C}}$
by
$\mathbb{Z}/r\mathbb{Z}$
, acting by
\begin{equation*}(x,y,t)\mapsto (\zeta x, \zeta ^{-1}y,\zeta ^a t)\end{equation*}
for some
$a\in \{1,\ldots, r\}.$
Exchanging the roles of
$x$
and
$y$
would instead give an action
$t \mapsto \zeta ^b t$
, where
$a+ b = 0 \pmod r$
. We thus have a well-defined notion of the monodromy at
$\eta$
, after picking a branch of the node.
Example 2.3. Consider a genus-
$g$
stable
$r$
-spin curve
$(C, p_1, \dots, p_n, L, \varphi )$
of type
$(m_1, \dots, m_n)$
, with exactly two irreducible components
$C_1$
and
$C_2$
of genera
$g_1$
and
$g_2$
, joined at a single node
$\eta$
. Denote by
$J\subseteq [n]$
the set of marked points on
$C_1$
(so
$J^c$
is the set of marked points on
$C_2$
). We additionally mark the two preimages
$p_J\in C_1$
and
$p_{J^c}\in C_2$
of
$\eta$
under the normalization map and pull back
$L$
to each component. This yields the following two smooth
$r$
-spin curves
\begin{equation*}(C_1,\{p_i\}_{i\in J}\cup \{p_J\},L,\varphi )\quad \quad \text {and}\quad \quad (C_2,\{p_i\}_{i\in J^c}\cup \{P_{J^c}\},L,\varphi )\end{equation*}
with monodromies
$m_J,m_{J^c}\in \{1,\ldots, r\}$
at
$p_J$
and
$p_{J^c}$
, respectively, whereFootnote 1
\begin{equation} m_J \equiv 2g -2+(|J|+1) - \sum _{i\in J} m_i \pmod r \quad\!\! \text{ and }\!\!\quad m_{J^c} \equiv 2g - 2 + (|J^c|+1) - \sum _{i\in J^c} m_i \pmod r. \end{equation}
Example 2.3 illustrates the recursive boundary stratification of
$\overline{M}_{g,n}^r(\vec m)$
, which compatibly matches the well-known recursive boundary stratification of
$\overline{M}_{g,n}$
. If
$D_{g_1,g_2,J}^r\subseteq \overline{M}_{g,n}^r(\vec m)$
denotes the divisor of stable
$r$
-spin curves generically of the type in the example, we have a bijection
\begin{equation*}D_{g_1,g_2,J}^r\to \overline {M}_{g_1,\left \lvert J\right \rvert +1}^r(\{m_i\}_{i\in J}\cup \{m_J\})\times \overline {M}_{g_2,\left \lvert J^c\right \rvert +1}^r(\{m_i\}_{i\not \in J}\cup \{m_{J^c}\}).\end{equation*}
This bijection is compatible with the decomposition of the corresponding boundary divisor
$D_J\subseteq \overline{M}_{g,n}$
as a productFootnote 2
$D_J\cong \overline{M}_{g_1,\left \lvert J\right \rvert +1}\times \overline{M}_{g_2,\left \lvert J^c\right \rvert +1}.$
(The bijection is not an isomorphism because the stack structure on the two sides is different.)
Example 2.4. We may similarly consider the locus in
$\overline{M}_{g,n}^r(\vec m)$
associated to any fixed combinatorial type of curve (i.e. fixed dual graph
$\Gamma$
). We may carry out a similar analysis to that in Example 2.3, again via the normalisation map, with one caveat, illustrated in an example as follows: If
$D^{\mathrm{loop}}\subseteq \overline{M}_{g,n}^r(\vec m)$
denotes the closure of the locus of stable
$r$
-spin curves
$C$
with one irreducible component with a self-node
$\eta$
(so that
$\Gamma$
has a single vertex with a self-loop), then the monodromies at the branches of
$\eta$
are not uniquely determined; we instead get a bijection:
\begin{equation*}D^{\mathrm {loop}}\to \bigsqcup _{k=1}^r\overline {M}_{g-1,n+2}^r(\vec m\cup \{k,r-k\}).\end{equation*}
Adapting the ideas from Examples 2.3 and 2.4, one can characterise any stratum in
$\overline{M}_{g,n}^r(\vec m)$
recursively.
2.2 Genus-zero Witten classes and
$r$
-spin invariants
In this section we describe the natural class of intersection numbers on
$\overline{M}_{g,n}^r(\vec m)$
that we are interested in, restricting to the case
$g=0$
. The Witten bundle is the derived pushforward
\begin{equation*} \mathcal {W}_{0,n}^r = (\mathbf {R}^1 \pi _* \mathcal {L}_{0,n}^r)^\vee, \end{equation*}
where
$\mathcal{L}_{0,n}^r$
is the universal line bundle on the universal curve
$\mathcal{C}_{0,n}^r \stackrel{\pi }{\rightarrow } \overline{M}_{0,n}^r$
. We denote by
$\mathcal{W}_{0,n}^r(\vec{m})$
the restriction of the Witten bundle to
$\overline{M}_{0,n}^r(\vec{m})\subseteq \overline{M}_{0,n}^r$
.
A standard argument (see [Reference Jarvis, Kimura and VaintrobJKV01, Prop. 4.4]) shows that
$\mathbf{R}^0 \pi _* \mathcal{L}_{0,n}^r=0$
. This fact depends crucially on having
$m_i\geqslant 1$
for all
$i$
. Applying Riemann-Roch and (4) yields
\begin{align} {\mathrm{rank}}\mathcal{W}_{0,n}^r(\vec{m}) = -1 +\frac{ 2 - n + \sum _i m_i}{r}. \end{align}
Definition 2.5. The (genus-zero)
$r$
-spin Witten class with monodromy vector
$\vec m$
is
\begin{equation*}W_r(\vec m)=r\cdot \rho _*\left (e(\mathcal {W}_{0,n}^{r}(\vec m))\right )\in A^*(\overline {M}_{0,n}),\end{equation*}
where
$e$
denotes the Euler class, and
$\rho :\overline{M}_{0,n}^r(\vec m)\to \overline{M}_{0,n}$
is the (bijective, by Remark 2.11) forgetful map. The (primary, genus-zero)
$r$
-spin invariant associated to the monodromy vector
$\vec{m}=(m_1, \dots, m_n)$
is
\begin{equation*} w_r(\vec m):= \int _{[\overline {M}_{0,n}]}W_r(\vec m)=r\cdot \int _{[\overline {M}_{0,n}^r(\vec m)]}e(\mathcal {W}_{0,n}^{r}(\vec m)). \end{equation*}
In the literature,
$w_r(\vec m)$
is often denoted
$\langle \tau ^{m_1} \cdots \tau ^{m_n} \rangle$
. Note that
$w_r(\vec m)\ne 0$
only if
$\textrm{rank}\ \mathcal{W}_{0,n}^r(\vec{m})=\dim \overline{M}_{0,n}^r(\vec m)=n-3$
, or equivalently, only if
\begin{equation} \sum _i m_i = (n-2)(r+1). \end{equation}
In this case, we say
$\vec m$
is numerical. This is true when
$W_r(\vec m)$
is a zero-dimensional cycle on
$\overline{M}_{0,n}^r(\vec w)$
; in general,
$W_r(\vec m)$
is a cycle of dimension
$\frac{1}{r}((n-2)(r+1)-\sum _im_i$
).
Remark 2.6 The factor of
$r$
in Definition 2.5 is essentially a matter of convention—see [Reference Jarvis, Kimura and VaintrobJKV01, Cor. 3.9] and the succeeding discussion.
Remark 2.7. The Witten bundle, Witten class and
$r$
-spin invariants may also be defined in higher genus; we briefly mention some of the history. Jarvis, Kimura and Vaintrob first gave a collection of axioms for—but not a construction of—a virtual
$r$
-spin class, as a collection of cohomology classes on each boundary stratum of each moduli space
$\overline{M}_{g,n}^r(\vec m)$
of
$r$
-spin curves [Reference Jarvis, Kimura and VaintrobJKV01, Def. 4.1]. They proved that any virtual
$r$
-spin class defines a cohomological field theory (CohFT) (see Section 2.3) by pushing forward to
$\overline{M}_{g,n}$
and also that any virtual
$r$
-spin class agrees with the Witten class defined above in genus zero [Reference Jarvis, Kimura and VaintrobJKV01, Rem. 4.2.4].
In [Reference WittenWit93, Sec. 1.3], Witten had earlier outlined an analytic construction of
$r$
-spin invariants. Fan, Jarvis, and Ruan [Reference Fan, Jarvis and RuanFJR11, Reference Fan, Jarvis and RuanFJR13] carried out and generalised this construction and proved that it defines a virtual
$r$
-spin class in the sense of [Reference Jarvis, Kimura and VaintrobJKV01]. As desired in [Reference Jarvis, Kimura and VaintrobJKV01, Rem. 4.2.5], an algebraic construction soon followed, constructed by Polishchuk and Vaintrob [Reference Polishchuk and VaintrobPV16] using matrix factorizations, which has been generalised to enumerative theories associated to general gauged linear sigma models [CFFG+18, Reference Favero and KimFK20].
2.3 Properties of
$r$
-spin classes and numerical invariants
We now list the properties of the classes
$W_r(\vec m)$
that we will need. Propositions 2.8-2.13 come directly from [Reference Jarvis, Kimura and VaintrobJKV01].
Fix a monodromy vector
$\vec m.$
Recalling Example 2.3, let
$D_J\subseteq \overline{M}_{0,n}$
be the closure of the locus of curves with two components,
$C_1$
and
$C_2$
, connected at a node
$\eta$
, with
$C_1$
containing the marks in
$J$
. As before, let
$p_J\in C_1$
and
$p_{J^c}\in C_2$
be the preimages of
$\eta$
under normalisation, and define
$m_J,m_{J^c}\in \{1,\ldots, r\}$
by
\begin{align} m_J&\equiv (\left \lvert J\right \rvert -1)(r+1)-\sum _{i\in J}m_i\pmod r&m_{J^c}&\equiv (\left \lvert J^c\right \rvert -1)(r+1)-\sum _{i\in J^c}m_i\pmod r. \end{align}
Note that (8) is equivalent to (5) when
$g=0$
. The particular form of (8) will be convenient; see Proposition 2.14.
Proposition 2.8. [Reference Jarvis, Kimura and VaintrobJKV01, Axiom C2, Cor. 3.9]. We have
\begin{equation*}W_r(\vec m)|_{D_J}=W_r((m_i)_{i\in J}\cup \{m_J\})\boxtimes W_r((m_i)_{i\in J^c}\cup \{m_{J^c}\}),\end{equation*}
where
$\boxtimes$
denotes the product of pullbacks from the factors of
$D_J\cong \overline{M}_{0,\left \lvert J\right \rvert +1}\times \overline{M}_{0,\left \lvert J^c\right \rvert +1}$
.
Remark 2.9. In genus zero, Proposition 2.8 is essentially the defining property of a cohomological field theory, so we’ll refer to it as the CohFT property. See Section 3 for further discussion.
Proposition 2.10. [Reference Jarvis, Kimura and VaintrobJKV01, Axiom 4]. If
$\vec m$
is a monodromy vector and
$m_i = r$
for some
$i$
, then
$W_r(\vec m) = 0$
.
Remark 2.11. In the physics literature, a marked point
$p_i$
is referred to as Ramond if
$m_i=r$
(and as Neveu-Schwarz otherwise); hence Proposition 2.10 is often referred to as Ramond vanishing.
The following follows from [Reference Jarvis, Kimura and VaintrobJKV01, Axiom 5].
Proposition 2.12.
Let
$\vec m$
be a numerical monodromy vector of length
$n\geqslant 4$
with
$m_i =1$
for some
$i$
. Then
$w_r(\vec m) = 0$
.
Proposition 2.13. [Reference Jarvis, Kimura and VaintrobJKV01, Prop. 6.1]. The 3-point and 4-point
$r$
-spin invariants are as follows:
-
1. For any numerical
$r$
-spin monodromy vector
$\vec m=(m_1,m_2,m_3)$
, we have
$w_r(\vec m)=1.$
-
2. For any numerical
$r$
-spin monodromy vector
$\vec m=(m_1,m_2,m_3,m_4)$
, we have
\begin{equation*}w_r(m_1,m_2,m_3,m_4)= \frac {1}{r}\min (m_1-1,m_2-1,m_3-1,m_4-1,r-m_1,r-m_2,r-m_3,r-m_4).\end{equation*}
Proposition 2.14.
Let
$\vec m=(m_1,\ldots, m_n)$
be an
$r$
-spin monodromy vector with
$n\gt 4$
such that
$W_r(\vec m)$
is a 1-dimensional cycle, i.e.
$\sum _im_i=(n-2)(r+1)-r$
. Then for
$J\subseteq (1,\ldots, n)$
with
$2\leqslant \left \lvert J\right \rvert \leqslant n-2$
, the restriction
$W_r(\vec m)|_{D_J}$
is nonzero only if the following two inequalities hold:
\begin{equation*} \sum _{i\in J} m_i \lt (|J|-1)(r+1) \quad \quad \text { and } \quad \quad \sum _{i\in J^c} m_i \lt (|J^c|-1)(r+1). \end{equation*}
Proof.
Let
$m_J,m_{J^c}$
be as in (8). Without loss of generality, suppose that
$ \sum _{i\in J} m_i \geqslant (|J|-1)$
$(r+1),$
so, in particular,
\begin{equation*}m_J+\sum _{i\in J} m_i \gt (|J|-1)(r+1).\end{equation*}
Then, by (6), we have
\begin{equation*}{\mathrm {rank}}{\mathcal W}_r((m_i)_{i\in J}\cup \{m_J\})\gt \left \lvert J\right \rvert -2=\dim \overline {M}_{0,\left \lvert J\right \rvert +1},\end{equation*}
and so
$W_r((m_i)_{i\in J}\cup \{m_J\})=0$
for dimension reasons. By Proposition 2.8,
$W_r(\vec m)|_{D_J} = 0$
.
3. Tropical realizations of classes from cohomological field theories
In this section we recall some notions about the tropical intersection theory of
$M_{0,n}^{\mathrm{trop}}$
and its relation to the intersection theory of
$\overline{M}_{0,n}$
. We define the tropicalisation of a CohFT, and then we restrict our attention to genus zero and describe the relationship between the balancing condition for tropicalised CohFT cycles and the WDVV relations. Basics of tropical moduli spaces that are assumed here may be found in [Reference Speyer and SturmfelsSS04, Reference MikhalkinMik07, Reference Gathmann, Kerber and MarkwigGKM09, Reference Abramovich, Caporaso and PayneACP15].
3.1 Tropicalization of cycle classes in
$\overline{M}_{0,n}$
The moduli space
$\overline{M}_{0,n}$
of rational, stable,
$n$
-pointed curves is a tropical compactification of
$M_{0,n}$
[Reference TevelevTev07]: The noncompact space
$M_{0,n}$
may be realised as a closed subvariety of a torus
$T$
. Denote the cocharacter lattice of
$T$
by
$N_T$
. The tropicalisation of
$M_{0,n}$
lives inside the vector space
$Q_{[n]} := N_T\otimes _{\mathbb{Z}}{\mathbb{R}}$
as a balanced fan, which is naturally identified with
$M_{0,n}^{\mathrm{trop}}$
, the moduli space of rational, stable, tropical
$n$
-pointed curves (Fact 3.2). Given a Chow class in
$\overline{M}_{0,n}$
, one may define (Definition 3.4) its tropicalisation, a weighted subfan of
$M_{0,n}^{\mathrm{trop}}$
that satisfies the balancing condition. We review the aspects of this story that we will be using and refer the reader to [Reference Kerber and MarkwigKM08, Reference KatzKat09] for proofs. Some extended examples are included for the benefit of the unfamiliar readers.
The ambient space. The vector space
$Q_{[n]}$
has dimension
$\binom{n-1}{2}-1$
; we describe it by giving it a (non-canonical) set of generators and relations. Fix
$k\in [n]$
. Then the set of pairs
$\{i,j\}$
with
$i,j\not =k$
gives a system of
$\binom{n-1}{2}$
vectors
$\mathbf{r}_{\{i,j\}}^k$
generating
$Q_{[n]}$
. Their
$\mathbb{Z}$
-span gives the integral lattice in
$Q_{[n]}$
, and they are subject to the unique relation (up to scaling):
\begin{equation} \sum _{\{i,j\} \in [n]\setminus \{k\}} \mathbf{r}_{\{i,j\}}^k = 0 \in Q_{[n]}. \end{equation}
In other words, the vectors
$\mathbf{r}_{\{i,j\}}^k$
may be thought of as the primitive vectors generating the rays for the fan of projective space
$\mathbb{P}^{\binom{n-1}{2}-1}$
.
The embedding of
$M_{0,n}^{\mathrm{trop}}$
in
$Q_{[n]}$
. The space
$M_{0,n}^{\mathrm{trop}}$
is a cone complex parameterising stable metric trees with “legs” labeled by
$[n]$
. (A leg is a labeled half-edge incident to a vertex, usually taken to have infinite length.) For each topological type of tree
$\Gamma$
, one has a cone isomorphic to
$\mathbb{R}_{\geqslant 0}^{|E(\Gamma )|}$
corresponding to all possible edge lengths, and the cones are glued together along faces by declaring a graph with an edge of length zero equivalent to the graph obtained by contracting of that edge. The abstract cone complex
$M_{0,n}^{\mathrm{trop}}$
admits a natural embedding into
$Q_{[n]}$
, which we now describe: We first give the image
${\mathbf{v}_I}\in Q_{[n]}$
of primitive vectors generating the rays of
$M_{0,n}^{\mathrm{trop}}$
; these correspond to trees with a single edge of length one, separating the set of legs into two parts—
$I, I^c$
—both of size at least
$2$
. Without loss of generality, we assume that
$k\not \in I$
. We declare
\begin{equation} {\mathbf{v}_I} = \sum _{\{i,j\}\subseteq I} \mathbf{r}_{\{i,j\}}^k. \end{equation}
Given this information, the image of
$M_{0,n}^{\mathrm{trop}}$
in
$Q_{[n]}$
is determined by multi-linearity. A point
$\textbf{ x}\in Q_{[n]}$
of (the image of)
$M_{0,n}^{\mathrm{trop}}$
corresponds to an
$n$
-marked metric tree
$\Gamma$
. Each edge
$e\in E(\Gamma )$
produces a two-part partition
$I_e, I_e^c$
of the set of indices, where we again assume
$k\not \in I_e$
. If
$l_e$
denotes the length of the edge
$e$
, then
\begin{equation} \textbf{x} = \sum _{e\in E} l_e \mathbf{v}_{I_e}. \end{equation}
Remark 3.1. Both the vector space
$Q_{[n]}$
and the embedding of
$ M_{0,n}^{\mathrm{trop}}$
may be described in a canonical way (i.e. without choosing a distinguished index
$k$
); see [Reference Kerber and MarkwigKM08, Section 2]. The choice of
$k$
provides a non-canonical system of generators that makes both statements and computations more concrete.
Balancing. A pure
$d$
-dimensional weighted fan
$\Sigma$
in a vector space
$Q$
with an integral structure is called balanced if for every face
$\tau$
of dimension
$d-1$
, one has
\begin{equation} \sum _{\sigma \succ \tau } w(\sigma ) \ \mathbf{u}_{\tau /\sigma } = 0 \in Q/\langle \tau \rangle _{\mathbb{R}}, \end{equation}
where the sum ranges over all
$d$
-dimensional cones
$\sigma$
of
$\Sigma$
that contain
$\tau$
as a face;
$w(\sigma )$
is the weight of the cone
$\sigma$
; and
$\mathbf{u}_{\tau /\sigma }$
is a primitive normal vector to
$\tau$
in
$\sigma$
, i.e. a primitive vector in the quotient space
$\langle \sigma \rangle _{\mathbb{R}}/\langle \tau \rangle _{\mathbb{R}} \subseteq Q/\langle \tau \rangle _{\mathbb{R}}$
.
Fact 3.2. (For a proof, see [Reference Gathmann, Kerber and MarkwigGKM09, Thm. 3.7]). The space
$M_{0,n}^{\mathrm{trop}}\subseteq Q_{[n]}$
, with the weight function
$w(\sigma ) = 1$
for all top dimensional cones
$\sigma$
, is a balanced fan of pure dimension
$n-3$
.
Example 3.3. We illustrate the ideas presented in the simplest nontrivial example,
$M_{0,4}^{\mathrm{trop}}$
, drawn in Figure 1. The vector space
$Q_{[4]}$
is 2-dimensional, presented as generated by three vectors. Choosing
$k = 4$
, the generators are
$\mathbf{r}^4_{\{1,2\}},$
$\mathbf{r}^4_{\{1,3\}},$
and
$\mathbf{r}^4_{\{2,3\}}$
, and the relation is
\begin{equation} \mathbf{r}^4_{\{1,2\}}+ \mathbf{r}^4_{\{1,3\}}+ \mathbf{r}^4_{\{2,3\}} = 0. \end{equation}
One may define a linear isomorphism
$Q_{[4]}\xrightarrow{\cong }{}\mathbb{R}^2$
by identifying the first two generators with the standard basis vectors; the third generator becomes the vector
$(-1,-1)$
. The rays of
$M_{0,4}^{\mathrm{trop}}$
are spanned by the primitive vectors
$\mathbf{v}_{\{1,2\}},\mathbf{v}_{\{1,3\}},\mathbf{v}_{\{2,3\}}$
, which in this simple case are equal to the corresponding vectors
$\mathbf{r}^4_{\{1,2\}},\mathbf{r}^4_{\{1,3\}},\mathbf{r}^4_{\{2,3\}}$
, generating
$Q_{[4]}$
. Since
$M_{0,4}^{\mathrm{trop}}$
is a one-dimensional fan, balancing needs to be checked only at the vertex (the unique
$0$
-dimensional face). Since all rays are given weight one, the balancing equation (12) is readily seen to reduce to (13) in this case.
Figure 1. The space
$M_{0,4}^{\mathrm{trop}}$
inside
$Q_{[4]}$
as a balanced fan.
Tropicalisation of Chow Classes. While tropical intersection theory is an actively developing field [Reference MikhalkinMik06, Reference Allermann and RauAR10, Reference KatzKat09, Reference ShawSha13, Reference GrossGro18] we make use of a limited portion of it, which we recall in the context of
$\overline{M}_{0,n}$
. We refer the reader to [Reference KatzKat09] for proofs and for a more complete treatment.
If
$Y\subseteq \overline{M}_{0,n}$
is a pure
$k$
-dimensional cycle that meets each boundary stratum in the expected dimension, then its tropicalisation is supported on the
$k$
-dimensional cones of
$M_{0,n}^{\mathrm{trop}}$
, with the coefficient of a given cone
$\sigma \subseteq M_{0,n}^{\mathrm{trop}}$
equal to the intersection number of
$Y$
with the corresponding boundary stratum
$\Delta _\sigma \subseteq \overline{M}_{0,n}$
[Reference KatzKat09, Prop. 9.4]. By the moving lemma, one may apply this construction directly to Chow classes, to obtain the following.
Definition 3.4. Let
$\alpha \in A^k(\overline{M}_{0,n})$
be a codimension-
$k$
Chow class. Define the tropicalization
$ \alpha ^{\mathrm{trop}}$
of
$\alpha$
to be
\begin{equation} \alpha ^{\mathrm{trop}} = \sum _{\sigma } \left (\int _{\overline{M}_{0,n}} \Delta _\sigma \cdot \alpha \right ) \sigma, \end{equation}
where one may sum over all cones of
$M^{\mathrm{trop}}_{0,n}$
, but where the coefficients are nonzero only for codimension-
$k$
cones.
Fact 3.5. [Reference KatzKat09, Lem. 8.13]. The weighted fan
$\alpha ^{\mathrm{trop}}\subseteq Q_{[n]}$
from Definition 3.4 is balanced.
We refer to a balanced weighted subfan of
$M_{0,n}^{\mathrm{trop}}$
as a tropical cycle.
Example 3.6. We consider the case
$n=5$
and give an example of how to check the balancing condition along a ray. We then construct the tropicalisation of the boundary divisor class
$D_{\{1,2\}}\in A^1(\overline{M}_{0,5})$
and show that it is a pure 1-dimensional weighted balanced fan.
The vector space
$Q_{[5]}$
is
$5$
-dimensional; choosing
$k=5$
, we have six generators
$\mathbf{r}^{5}_{\{i,j\}}$
, with
$i,j\not =5$
, which agree with six of the ten primitive vectors spanning the rays of
$M_{0,5}^{\mathrm{trop}}$
, i.e.
\begin{equation} \mathbf{v}_{\{i,j\}} = \mathbf{r}^{5}_{\{i,j\}}\, \, \, \, \textrm{for} i,j \not = 5. \end{equation}
By (10), the primitive vectors for the remaining four rays of
$M_{0,5}^{\mathrm{trop}}$
are
\begin{align} \mathbf{v}_{\{1,2,3\}} = \mathbf{r}^{5}_{\{1,2\}}+\mathbf{r}^{5}_{\{1,3\}}+\mathbf{r}^{5}_{\{2,3\}},\nonumber \\ \mathbf{v}_{\{1,2,4\}} = \mathbf{r}^{5}_{\{1,2\}}+\mathbf{r}^{5}_{\{1,4\}}+\mathbf{r}^{5}_{\{2,4\}},\\ \mathbf{v}_{\{1,3,4\}} = \mathbf{r}^{5}_{\{1,3\}}+\mathbf{r}^{5}_{\{1,4\}}+\mathbf{r}^{5}_{\{3,4\}},\nonumber \\ \mathbf{v}_{\{2,3,4\}} = \mathbf{r}^{5}_{\{2,3\}}+\mathbf{r}^{5}_{\{2,4\}}+\mathbf{r}^{5}_{\{3,4\}}.\nonumber \end{align}
Each 2-dimensional cone of
$M_{0,5}^{\mathrm{trop}}$
is spanned by two rays, and its image in
$Q_{[5]}$
is determined by the images of the rays. We next check that given all 2-dimensional cones of weight
$1$
, the fan
$M_{0,5}^{\mathrm{trop}}$
is balanced along the ray
$\tau$
spanned by
$\mathbf{v}_{\{1,2,3\}}$
; see Figure 2. There are three 2-dimensional cones containing
$\tau$
, denoted
$\sigma _{\{1,2\}\{4,5\}}, \sigma _{\{1,3\}\{4,5\}}, \sigma _{\{2,3\}\{4,5\}}$
. One may check that for each
$\sigma _{\{i,j\}\{4,5\}}$
, a normal vector to
$\tau$
is
$\mathbf{u}_{\tau /\sigma _{\{i,j\}\{4,5\}}} = \mathbf{v}_{\{i,j\}}$
. Then (12) becomes
\begin{equation} \mathbf{v}_{\{1,2\}}+\mathbf{v}_{\{1,3\}}+\mathbf{v}_{\{2,3\}} = 0 \in Q_{[5]}/\langle \mathbf{v}_{\{1,2,3\}}\rangle _{\mathbb{R}}, \end{equation}
which follows from (15), (16). Thus
$M_{0,5}^{\mathrm{trop}}$
is balanced along
$\mathbf{v}_{\{1,2,3\}}$
.
Consider the class
$D_{\{1,2\}} \in A^1(\overline{M}_{0,5})$
of the divisor generically parameterizing stable curves with two components, one containing the first two marks, the other containing the other marks. We construct its tropicalisation
$D_{\{1,2\}}^{\mathrm{trop}}$
and check that it is balanced.
The intersections of boundary strata in
$\overline{M}_{0,n}$
are well understood (see, for example, [Reference CavalieriCav16]). The intersection numbers of
$D_{\{1,2\}}$
with all boundary divisors are as follows:
\begin{align*} &\deg (D_{\{1,2\}}^2) = -1,\\ \deg (D_{\{1,2\}}\cdot D_{\{3,4\}}) = &\deg (D_{\{1,2\}}\cdot D_{\{3,5\}}) = \deg (D_{\{1,2\}}\cdot D_{\{4,5\}})= 1, \end{align*}
and the intersection numbers of
$D_{\{1,2\}}$
with the remaining
$6$
boundary divisors are all zero.
By Definition 3.4, we have
\begin{equation} D_{\{1,2\}}^{\mathrm{trop}} = \langle \mathbf{v}_{\{3,4\}}\rangle _{\mathbb{R}_{\geqslant 0}}+ \langle \mathbf{v}_{\{1,2,3\}}\rangle _{\mathbb{R}_{\geqslant 0}}+ \langle \mathbf{v}_{\{1,2,4\}}\rangle _{\mathbb{R}_{\geqslant 0}}- \langle \mathbf{v}_{\{1,2\}}\rangle _{\mathbb{R}_{\geqslant 0}}. \end{equation}
To check that
$D_{\{1,2\}}^{\mathrm{trop}}$
satisfies the balancing condition at the origin, we write each of the primitive vectors of the rays of
$D_{\{1,2\}}^{\mathrm{trop}}$
as linear combinations of the generators
$\mathbf{r}^5_{\{i,j\}}$
using (10). The computation is done in Table 1. Indeed, Table 1 shows that the sum of the weighted primitive normal vectors of the rays of
$D_{\{1,2\}}^{\mathrm{trop}}$
can be expressed as
$\sum _{\{i,j\}\in [5]\setminus \{5\}}\mathbf r^5_{\{i,j\}},$
which is equal to zero by (9). See also Example 3.7 below.
Table 1. The computation that
$D_{\{1,2\}}^{\mathrm{trop}}$
is a balanced cycle. The first four rows of the tables present the coefficients of the linear combination that expresses each of the weighted primitive vectors in terms of the generators
$\mathbf{r}^5_{\{i,j\}}$
. The last row, which adds up the previous ones, computes equation (12) at the origin: one obtains the relation among the
$\mathbf{r}^5_{\{i,j\}}$
’s.
Figure 2. A local picture of
$M_{0,5}^{\mathrm{trop}}$
around the ray
$\tau = \langle \mathbf{v}_{\{1,2,3\}}\rangle _{\mathbb{R}_{\geqslant 0}}$
. The red trees drawn next to the rays
$\tau, \langle \mathbf{v}_{\{2,3\}}\rangle _{\mathbb{R}_{\geqslant 0}}$
and the two dimensional cone
$\sigma _{\{2,3\}\{4,5\}}$
show the tropical curves parameterized by those cones.
We now show how to use the balancing condition to obtain explicit linear relations among the coefficients of a tropical cycle on
$M_{0,n}^{\mathrm{trop}}$
. We describe the process for a 1-dimensional tropical cycle, which is the case that will be used the most later on.
Consider a 1-dimensional tropical cycle
$A = \sum _{I} a_I \langle \mathbf{v}_I \rangle _{\mathbb{R}_\geqslant 0}$
on
$M_{0,n}^{\mathrm{trop}}$
. We are using the notation introduced in this section; that is, we have fixed
$k\in [n]$
, and we write
$\mathbf{v}_I=\sum _{\{i,j\subseteq I\}}\mathbf{r}_{\{i,j\}}^k$
for the image in
$Q_{[n]}$
of the tropical curve with one edge of length one, separating the marks into sets
$I,I^c$
with
$k\in I^c$
. The origin is the only zero-dimensional cone of
$A$
, so checking balancing for this cycle amounts to verifying that
\begin{equation} \sum _{\substack{I\subseteq [n]\smallsetminus \{k\}\\2\leqslant \left \lvert I\right \rvert \leqslant n-2}} a_I \mathbf{v}_I = 0 \in Q_{[n]}. \end{equation}
We use the same mark
$k$
to pick a set of generators for
$Q_{[n]}$
, and we rewrite each of the
$\mathbf{v}_I$
using equation (10), so the left-hand side of (19) becomes:
\begin{equation} \sum _{\substack{I\subseteq [n]\setminus \{k\}\\2\leqslant \left \lvert I\right \rvert \leqslant n-2}} a_I \left (\sum _{\{i,j\}\subseteq I} \mathbf{r}_{\{i,j\}}^k \right ) = \sum _{\{i,j\}\in [n]\setminus \{k\}} \left ( \sum _{\substack{\{i,j\}\subseteq I\subseteq [n]\setminus \{k\}\\ \left \lvert I\right \rvert \leqslant n-2}} a_I \right ) \mathbf{r}^k_{\{i,j\}} = \sum _{\{i,j\}\in [n]\setminus \{k\}} B^k_{\{i,j\}} \mathbf{r}^k_{\{i,j\}}, \end{equation}
where the notation
$B^k_{\{i,j\}}$
is defined by the second equality. Equation (20) equals the zero vector if and only if for every pair
$\{i_1, j_1\}, \{i_2, j_2\}$
with
$i_1,j_1,i_2,j_2\ne k$
, we have
\begin{equation} B^k_{\{i_1, j_1\}} = B^k_{\{i_2, j_2\}}. \end{equation}
We observe that (21) is a linear homogeneous equation in the coefficients of the tropical cycle
$A$
. We call any such equation a balancing relation.
There is a simple description for the coefficient
$B^k_{\{i, j\}}$
: It is obtained by adding the coefficient
$a_{\{i, j\}}$
of the ray
$ \langle \mathbf{v}_{\{i, j\}} \rangle _{\mathbb{R}_\geqslant 0}$
and the coefficients of the
$2^{n-3}-2$
rays
$\langle \mathbf{v}_I\rangle _{\mathbb{R}_\geqslant 0}$
adjacent to itFootnote 3 such that
$i,j\in I$
.
Example 3.7. We illustrate how to use (21) concretely. As in Example 3.6, let
$n=5$
and choose
$k=5.$
By (20) we have
\begin{align*} B_{\{1,2\}}^5&=a_{\{1,2\}}+a_{\{1,2,3\}}+a_{\{1,2,4\}},\\ B_{\{3,4\}}^5&=a_{\{3,4\}}+a_{\{1,3,4\}}+a_{\{2,3,4\}}, \end{align*}
so (21) in this case yields
\begin{equation*}a_{\{1,2\}}+a_{\{1,2,3\}}+a_{\{1,2,4\}}=a_{\{3,4\}}+a_{\{1,3,4\}}+a_{\{2,3,4\}}.\end{equation*}
We observe that this is consistent with our calculations in Example 3.6; for
$D_{\{1,2\}}^{\mathrm{trop}}$
, the above equation reads:
\begin{equation*}-1+1+1=1+0+0.\end{equation*}
We illustrate
$B_{\{1,2\}}^5$
and
$B_{\{3,4\}}^5$
in Figure 3, and note it amounts to computing the sums of the first and last columns of Table 1.
Figure 3. The Petersen graph gives a slice of the cone complex of
$M_{0,5}^{\mathrm{trop}}$
, parameterising tropical curves where the total length of all the edges is equal to one (unfortunately it is not possible to draw a 2-dimensional projection of
$M_{0,5}^{\mathrm{trop}}$
that would allow us simultaneously to observe the combinatorial structure of the cone complex as well as the structure of a balanced fan). The vertices correspond to the primitive vectors spanning the rays of
$M_{0,5}^{\mathrm{trop}}$
and are labelled by the corresponding
$\mathbf{v}_I$
’s. In red we have the cycle
$D_{\{1,2\}}^{\mathrm{trop}}$
, where the coefficients written next to the dots are the weights of the corresponding rays. Rays without a red dot have weight
$0$
. The sum of the coefficients in the shaded areas in green (resp. in blue) gives the coefficient
$B^5_{\{1,2\}}$
(resp.
$B^5_{\{3,4\}}$
). One can observe the balancing relation
$B^5_{\{1,2\}}= B^5_{\{3,4\}}=1$
in this case.
3.2 Balancing and reconstruction
In this section we apply the techniques of Section 3.1 to the genus-zero part of any cohomological field theory (CohFT). At a basic level, a CohFT should be thought of as a way to obtain a collection of Chow classes
$\Omega _{g,n}(v_1, \ldots, v_n)\in A^\ast (\overline{M}_{g,n})$
, indexed by elements
$v_i$
of some vector space, that behave recursively when restricted to any boundary stratum. We refer the reader to the introductory paper [Reference PandharipandePan18] for the precise definitions. Let
$\Omega$
be an arbitrary CohFT over a vector space
$V$
. In order to simplify the exposition and notation, we impose the following assumption:
Assumption 3.8.
There exists a basis
$\{e_\alpha \}_{\alpha \in A}$
of
$V$
such that any class of the form
$\Omega _{g,n}(e_{\alpha _1}, \ldots, e_{\alpha _n})$
is of pure dimension, denoted
$d_{g,n, \alpha _1, \ldots, \alpha _n}$
.
Assumption 3.8 is not conceptually necessary; one may decompose any mixed-degree class
$\Omega _{g,n}(v_1, \ldots, v_n)$
into its homogeneous parts, apply the constructions that follow to each homogeneous part and then formally add everything up. Assumption 3.8 essentially prevents having to carry around these sums. Many CohFTs that are constructed from geometric properties of curves satisfy Assumption 3.8, including the main example in this work, the CohFT of Witten’s
$r$
-spin classes (see Section 2).
Definition 3.9. The numerical part
$\omega$
of a CohFT
$\Omega$
records the degree of the zero-dimensional classes of
$\Omega$
, i.e.
\begin{equation} \omega _{g,n}(v_1, \ldots, v_n) = \int _{\overline{M}_{g,n}} \Omega _{g,n}(v_1, \ldots, v_n). \end{equation}
We call elements of the numerical part of a CohFT numerical CohFT invariants.
Given a CohFT class
$\Omega _{g,n}(v_1, \ldots, v_n)$
of pure dimension
$d_{g,n,v_1, \ldots, v_n }$
, one may construct its tropicalisation following Definition 3.4:
\begin{equation} \Omega ^{\mathrm{trop}}_{g,n}(v_1, \ldots, v_n) = \sum _{\sigma } \left (\int _{\overline{M}_{g,n}} \Delta _\sigma \cdot \Omega _{g,n}(v_1, \ldots, v_n)\right )\ \sigma, \end{equation}
where the sum runs over all cones
$\sigma$
of
$M_{g,n}^{\mathrm{trop}}$
.
Proposition 3.10.
The class
$\Omega ^{\mathrm{trop}}_{g,n}(v_1, \ldots, v_n)$
is supported on the
$(d_{g,n,v_1, \ldots, v_n })$
-dimensional skeleton of
$M_{g,n}^{\mathrm{trop}}$
, and the nonzero coefficients are determined by the numerical part of
$\Omega$
.
Proof.
The first part of the statement is simply a dimension count:
$\Omega ^{\mathrm{trop}}_{g,n}(v_1, \ldots, v_n)$
can intersect only nontrivial strata of codimension
$d_{g,n,v_1, \ldots, v_n }$
, which in turn correspond to cones of
$M_{g,n}^{\mathrm{trop}}$
of dimension
$d_{g,n,v_1, \ldots, v_n }$
. The second part follows from the splitting axioms for CohFTs (see [Reference PandharipandePan18, Sec. 0.3]), which imply that the restriction of the class
$\Omega ^{\mathrm{trop}}_{g,n}(v_1, \ldots, v_n)$
to a boundary stratum
$\Delta _\sigma = (\mathrm{gl}_\sigma )_\ast ([\prod _i \overline{M}_{g_i, n_i}])$
is equal to the pushforward of a linear combination of CohFT classes pulled-back from the factors of
$\prod _i \overline{M}_{g_i, n_i}$
. By Fubini’s theorem, the integral over
$\overline{M}_{g,n}$
of each summand splits as a product of integrals over the individual factors. Thus, for each factor, we obtain a corresponding numerical CohFT invariant.
Moduli spaces of tropical curves of positive genus cannot be given the structure of a balanced fan in a vector space. Therefore for the remainder of the paper, we restrict to
$g=0$
, where we can exploit the additional structure of the balancing of tropical cycles.
Example 3.11. We illustrate a balancing relation for the
$r$
-spin CohFT with
$r=10$
, using the notation of Section 2 and Examples 3.6 and 3.7. Consider the Witten class
$W_{10}(3,4,5,5,6).$
By (6),
$W_{10}(3,4,5,5,6)$
is a cycle on
$\overline{M}_{0,5}$
of codimension 1 (and dimension 1).
We use the balancing condition for
$W_{10}(3,4,5,5,6)^{\mathrm{trop}}$
to deduce a relationship between 3- and 4-point
$10$
-spin invariants. As in Example 3.6, we choose
$k=5$
to obtain six generators
$\mathbf r_{\{i,j\}}^5$
with
$i,j\in [4] = [5]\setminus \{5\}.$
We have by Definition 3.4
\begin{equation*}W_{10}(3,4,5,5,6)^{\mathrm {trop}}=\sum _{\substack { I\subseteq [4] \\ 2\leqslant |I|\leqslant 3}}a_I\mathbf v_I,\end{equation*}
where
$a_I=\int _{\overline{M}_{0,5}}D_{I}\cdot W_{10}(3,4,5,5,6).$
By (20) and (21), with
$(i_1,j_1)=(1,2)$
and
$(i_2,j_2)=(3,4)$
, we have
$B_{\{1,2\}}^5=B_{\{3,4\}}^5,$
where
\begin{align} B^5_{\{1,2\}}=\sum _{\substack{I\subseteq [4]\\1,2\in I,\,\,\left \lvert I\right \rvert \leqslant 3}}a_I=a_{\{1,2\}}+a_{\{1,2,3\}}+a_{\{1,2,4\}}, \end{align}
and
\begin{align} B^5_{\{3,4\}}=\sum _{\substack{I\subseteq [4]\\3,4\in I,\,\,\left \lvert I\right \rvert \leqslant 3}}a_I=a_{\{3,4\}}+a_{\{1,3,4\}}+a_{\{2,3,4\}}. \end{align}
By the CohFT Axiom (Proposition 2.8), we have e.g.
\begin{align*} a_{\{2,3,4\}}=\int _{\overline{M}_{0,5}}W_{10}(3,4,5,5,6)|_{D_{\{2,3,4\}}}&=\int _{\overline{M}_{0,5}}(W_{10}(4,5,5,8)\boxtimes W_{10}(3,6,2))\\ &=\left (\int _{\overline{M}_{0,4}}W_{10}(4,5,5,8)\right )\left (\int _{\overline{M}_{0,3}}W_{10}(3,6,2)\right )\\ &=w_{10}(4,5,5,8)w_{10}(3,6,2). \end{align*}
Here in the notation of Proposition 2.8, we have
$m_J=8$
and
$m_{J^c}=2.$
Similarly we compute the other terms of (24) and (25):
\begin{align*} a_{\{1,2\}}&=w_{10}(3,4,4)w_{10}(5,5,6,6)&a_{\{1,2,3\}}&=w_{10}(3,4,5,10)w_{10}(5,6,10)\\ a_{\{1,2,4\}}&=w_{10}(3,4,5,10)w_{10}(5,6,10)& a_{\{3,4\}}&=w_{10}(5,5,1)w_{10}(3,4,6,9)\\a_{\{1,3,4\}}&=w_{10}(3,5,5,9)w_{10}(4,6,1). \end{align*}
Thus the equation
$B_{\{1,2\}}^5=B_{\{3,4\}}^5$
gives us a polynomial relation between genus-zero 10-spin invariants:
\begin{align} w_{10}(3,4,4)&w_{10}(5,5,6,6)+w_{10}(3,4,5,10)w_{10}(5,6,10)+w_{10}(3,4,5,10)w_{10}(5,6,10)\\ &=w_{10}(5,5,1)w_{10}(3,4,6,9)+w_{10}(3,5,5,9)w_{10}(4,6,1)+w_{10}(4,5,5,8)w_{10}(3,6,2).\nonumber \end{align}
We can generate a huge number of relations of this form between genus-zero 10-spin invariants, both by varying
$i_1,$
$j_1$
,
$i_2,$
$j_2,$
and
$k$
and by considering the balancing of other (including higher-dimensional) 10-spin Witten classes along various cones of
$M_{0,n}^{\mathrm{trop}}$
. Theorem 3.12 shows that this collection of relations is equivalent to the WDVV equations, and in Section 4, we use the balancing relations to give an efficient recursive algorithm for reconstructing any genus-zero
$r$
-spin invariant. For the moment, we note that (26) is consistent with Proposition 2.13; indeed, (26) reads
\begin{equation*}1\cdot 4+0\cdot 1+0\cdot 1=1\cdot 1+1\cdot 1+2\cdot 1.\end{equation*}
In Figure 4, we have computed
$a_I$
for all
$I$
and labeled the rays of
$M_{0,5}^{\mathrm{trop}}$
accordingly. We have then drawn the quantities
$B^k_{\{i,j\}}$
for all
$i,j\in [5]\setminus \{k\}$
, for
$k=5$
(left picture) and for
$k=1$
(right picture). Pictorially, one can immediately confirm the balancing relations for
$B^5_{\{i,j\}}$
and
$B^1_{\{i,j\}}.$
Figure 4. The balancing relations
$B^5_{\{i,j\}}=4$
(left picture) and
$B^1_{\{i,j\}}=7$
(right picture) for the tropicalization of
$W_{10}(3,4,5,5,6)$
. In each picture, the equally colored collections of vertices all have the same sum. Example 3.11 confirms that the sums of the light-green and light-purple collections of vertices in the left picture are both equal to 4. Note that we have named each ray
$\mathbf v_I$
of
$M_{0,5}^{\mathrm{trop}}$
(corresponding to a vertex of the Petersen graph) using the convention
$k\not \in I$
; this is the only reason the vertex labels of the two pictures differ.
WDVV relations. In
$\overline{M}_{0,4}\cong \mathbb{P}^1$
we have the simple fact that any boundary divisor is equivalent in the Chow ring to the class of a point. Choosing any two of the three boundary divisors and subtracting them one obtains a relation, which we call a basic relation. Any relation obtained by pulling back via forgetful morphisms or by pushing forward via gluing morphisms of a basic relation is called a WDVV relation. Given a CohFT
$\Omega$
on a vector space
$V$
, restricting a class
$\Omega _{0,n}(v_1, \ldots, v_n)$
to a WDVV relation and integrating produces a relation among the numerical CohFT invariants that we also call a WDVV relation. Explicitly, the relation obtained from pulling back a basic relation via some forgetful morphism has the following form: Denote by
$\{e_\alpha \}$
a basis for
$V$
and by
$\{e^\alpha \}$
the dual basis with respect to the CohFT metric. Choose four numbers,
$a,b,c,d$
, in the index set
$[n]$
and for a set
$I$
denote by
${\vec{v}_I} = \{v_i\}_{i\in I}$
:
\begin{equation} \begin{aligned} \sum _{\alpha }\sum _{I\subseteq \{[n]\smallsetminus \{a,b,c,d\}\}}&\left ( \omega _{0, |I|+3}(v_a, v_b, \vec{v}_I, e_\alpha )\omega _{0, |I^c|+3}(e^\alpha, \vec{v}_{I^c}, v_c, v_d) \right . \\ & \left . - \omega _{0, |I|+3}(v_a, v_d, \vec{v}_I, e_\alpha )\omega _{0, |I^c|+3}(e^\alpha, \vec{v}_{I^c}, v_b, v_c)\right )= 0. \end{aligned} \end{equation}
We now see that the numerical part of the WDVV relations has a natural analogue in the tropicalisation.
Theorem 3.12.
For any CohFT
$\Omega$
, consider the numerical CohFT invariants as unknowns to be determined; the following two collections of equations impose equivalent constraints among the invariants of
$\omega$
:
-
1. the balancing equations (21) for all tropical cycles
$\Omega ^{\mathrm{trop}}_{0,n}(v_1, \ldots, v_n)$
. -
2. the collection of all WDVV relations.
Proof of Theorem
3.12. We prove this statement in two steps: First we show that for a CohFT class of dimension
$1$
, the fact that its tropicalisation is balanced is equivalent to numerical WDVV relations that are pull-backs of the basic ones via forgetful morphisms (and thus take the simple form from equation (27)). Next we show that for a CohFT class of arbitrary dimension, its balancing along a cone is equivalent to WDVV relations that also involve pushforwards with respect to gluing morphisms.
Step I. Assume
$\dim \Omega _{0,n}(v_1,\ldots, v_n) = 1$
. Its tropicalisation can be written as a linear combination of rays:
\begin{equation} \Omega ^{\mathrm{trop}}_{0,n}(v_1,\ldots, v_n) = \sum _{\substack{a\in I\subseteq [n]\smallsetminus k\\ 2\leqslant |I|\leqslant n-2}} a_I \langle{\mathbf{v}_I} \rangle _{\mathbb{R}_{\geqslant 0}}\subseteq Q_{[n]}, \end{equation}
with
\begin{equation} a_I = \sum _{\alpha } \omega _{0, |I|+1}(\vec{v}_I, e_\alpha )\omega _{0, |I^c|+1}(e^\alpha, \vec{v}_{I^c}), \end{equation}
where
$\omega _{0, |I|+1}(\vec{v}_I, e_\alpha )$
and
$\omega _{0, |I^c|+1}(e^\alpha, \vec{v}_{I^c})$
are numerical CohFT invariants.
Assume
$ \Omega ^{\mathrm{trop}}_{0,n}(v_1,\ldots, v_n)$
is balanced, choose
$a,b,c,d \in [n]$
and observe that the linear projection
$Q_{[n]}\to Q_{\{a,b,c,d\}}$
restricts to the forgetful morphism
$F:M^{\mathrm{trop}}_{0,n}\to M^{\mathrm{trop}}_{0,4}$
, where the marks that are remembered are
$a,b,c,d$
. A useful fact used in tropical intersection theory (see e.g. [Reference Allermann and RauAR10, Sec. 4]) is that the pushforward of a weighted, balanced fan via a map of fans is also a weighted, balanced fan. We apply this fact to the map
$F$
above. Here, as
$\Omega _{0,n}(v_1, \dots, v_n)$
is a sum of rays, its pushforward along
$F$
is a sum of rays in
$M_{0,4}^{\mathrm{trop}}$
. Since
$M_{0,4}^{\mathrm{trop}}$
is an irreducible fan, the only balanced weight functions are constant on all three rays, hence
$F_*( \Omega _{0,n}(v_1, \dots, v_n))$
is a constant times the sum of the three rays of
$M_{0,4}^{\mathrm{trop}}$
.
The coefficient of the ray
$\langle \mathbf{v}_{\{a,b\}}\rangle _{\mathbb{R}_{\geqslant 0}}$
in
$F_\ast (\Omega ^{\mathrm{trop}}_{0,n}(v_1,\ldots, v_n))$
equals the sum of the coefficients
$a_I$
, where
$a,b\in I$
and
$c,d \in I^c$
, and similarly, the coefficient of the ray
$\langle \mathbf{v}_{\{a,d\}}\rangle _{\mathbb{R}_{\geqslant 0}}$
in
$F_\ast (\Omega ^{\mathrm{trop}}_{0,n}(v_1,\ldots, v_n))$
equals the sum of the coefficients
$a_I$
where
$a,d\in I$
and
$b,c \in I^c$
. Imposing the equality of these coefficients and using (29), one obtains the WDVV relation (27). Thus we have proven that satisfying balancing implies satisfying WDVV.
Conversely, assume that the WDVV relations are satisfied among the numerical invariants of
$\Omega$
. We want to show that
$ \Omega ^{\mathrm{trop}}_{0,n}(v_1,\ldots, v_n)$
is balanced. By construction,
$\mathbf{v}_I$
is the primitive vector for the ray
$\langle{\mathbf{v}_I} \rangle _{\mathbb{R}_{\geqslant 0}}$
, and therefore this means showing that
\begin{equation} \sum _{\substack{I\subseteq [n]\smallsetminus k \\ 2\leqslant |I|\leqslant n-2}} a_I{\mathbf{v}_I} =0\in Q_{[n]}. \end{equation}
Note that we have fixed a
$k \in [n]$
to not double-count each ray. We may use (10) to rewrite:
\begin{equation} \sum _{\substack{I\subseteq [n]\setminus \{k\} \\ 2\leqslant |I|\leqslant n-2}} a_I{\mathbf{v}_I} = \sum _{\{i,j\} \in [n]\setminus \{k\}} \left ( \sum _{\substack{\{i,j\} \subseteq I\subseteq [n]\smallsetminus \{k\}\\ |I|\leqslant n-2}} a_I \right ) \mathbf{r}_{i,j}^k. \end{equation}
Subtracting the coefficient of
$\mathbf{r}_{a,b}^c$
and the coefficient of
$\mathbf{r}_{a,d}^c$
in (31), one obtains the WDVV relation (27), which we are assuming holds. Since this happens for all choices of
$a,b,c,d\in [n]$
, all the coefficients in (31) are equal so (30) holds, concluding the first part of the proof.
Step II. Let
$\Omega _{0,n}(v_1, \ldots, v_n)$
be a CohFT class of pure dimension
$d$
, and let
$\tau$
be a
$(d-1)$
- dimensional cone in
$M_{0,n}^{\mathrm{trop}}$
corresponding to a graph
$\Gamma$
. The corresponding stratum
$\Delta _\tau$
is isomorphic to a product
$\prod _{\mathrm{v} \in V(\Gamma )} \overline{M}_{0, n_{\mathrm{v}}}$
, where
$n_{\mathrm{v}}$
denotes the valence of the vertex
$\mathrm{v}$
of
$\Gamma$
. Denote by
$\phi : \bigcup _{\mathrm{v}\in V(\Gamma )} \{\mathrm{ v}\}\times [n_{\mathrm{v}}]\to \mathcal{P}([n])$
is the function that assigns to each half-edge
$h$
of
$\Gamma$
and is the set of marks in the connected component of
$\Gamma\ v$
that contains
$h$
.
Choose a
$k\in [n]$
, and for every vertex
$\mathrm{v}$
denote by
$k_{\mathrm{v}}$
the unique element of
$[n_{\mathrm{v}}]$
such that
$k\in \phi ([k_{\mathrm{v}}])$
.
Claim 3.13. For every
$I_{\mathrm{v}}\subseteq [n_{\mathrm{v}}]$
not containing
$k_{\mathrm{v}}$
, the assignment
\begin{equation} \mathbf{v}_{I_{\mathrm{v}}}\mapsto \mathbf{v}_{\cup _{i\in I_{\mathrm{v}}} \phi (\mathrm{v,i})}, \end{equation}
gives a linear injection
\begin{equation} \Phi : \bigoplus _{\mathrm{v}\in V(\Gamma )} Q_{[n_{\mathrm{v}}]} \to Q_{[n]}/\langle \tau \rangle _{\mathbb{R}}. \end{equation}
We defer the proof of the claim to not break the flow of this proof. For dimension reasons, the CohFT class of dimension
$d$
restricted to the stratum associated to the cone
$\tau$
can be nonzero only if it decomposes as a sum over the vertices
$\mathrm{v}$
of
$\Gamma$
, where each summand is a product of a 1-dimensional CohFT class
$\Omega ^1_{\mathrm{v}}$
supported on the vertex
$ \mathrm{v}$
with a multiple of the class of a point on all the other vertices. In formulas, we have:
\begin{equation} \Omega _{0,n}(v_1, \ldots, v_n)|_{\Delta _\tau } = \sum _{\mathrm{v}\in V(\Gamma )}{\mathrm{gl}_\Gamma }_\ast \left (c_{\mathrm{v}}\pi _{\mathrm{v}}^\ast (\Omega ^1_{\mathrm{v}})\boxtimes \prod _{\mathrm{w}\not = \mathrm{v}} \pi _{\mathrm{w}}^\ast (pt) \right ), \end{equation}
where
$\mathrm{gl}_\Gamma : \prod _{\mathrm{v} \in V(\Gamma )} \overline{M}_{0, n_{\mathrm{v}}}\to \overline{M}_{0, n}$
is the gluing morphism,
$\pi _{\mathrm{v}}$
denotes the projection on the factor corresponding to vertex
$\mathrm{v}$
and the coefficients
$c_{\mathrm{v}}$
are real numbers determined by the splitting axioms. These coefficients are obtained from numerical CohFT invariants and the CohFT metric, but this information will not be explicitly used in this argument.
Any
$d$
-dimensional cone
$\sigma$
in
$M^{\mathrm{trop}}_{0,n}$
of which
$\tau$
is a face corresponds to a graph
$\Gamma _\sigma$
with an edge contraction
$c_{e_\sigma }:\Gamma _\sigma \to \Gamma$
. Denote by
$\hat{\mathrm{v}}:\{\sigma \succ \tau \}\to V(\Gamma )$
the function that assigns to each
$d$
-dimensional cone
$\sigma$
the vertex
$c_{e_\sigma }(e_\sigma )$
of
$\Gamma$
that is the image of the contracted edge. The edge
$e_\sigma$
also determines a two-part partition of the set of indices in
$[n_{\hat{\mathrm{v}}(\sigma )}]$
, i.e. a ray
$\rho _\sigma$
with primitive vector
$\mathbf{v}_{I_\sigma }$
in
$M^{\mathrm{trop}}_{0,n_{\hat{\mathrm{v}}}(\sigma )} \subseteq Q_{[n_{\hat{\mathrm{v}}(\sigma )}]}$
. By the CohFT splitting axioms, the restriction of
$\Omega _{0,n}(v_1, \ldots, v_n)$
to
$\Delta _\sigma$
satisfies
\begin{equation} \int _{\Delta _\sigma }\Omega _{0,n}(v_1, \ldots, v_n) = c_{\mathrm{v}}\ \int _{\overline{M}_{0, n_{\mathrm{\hat{v} (\sigma )}}}}\Omega ^1_{\mathrm{v}}\cdot \Delta _{\rho _\sigma }. \end{equation}
We can now analyse the balancing condition along the face
$\tau$
:
\begin{equation} \sum _{\sigma \succ \tau } \Omega _{0,n}(v_1, \ldots, v_n)|_{\Delta _\sigma }{\mathbf{u}_{\tau /\sigma }} = \sum _{\mathrm{ v}\in V(\Gamma )} c_{\mathrm{v}} \Phi \left (\sum _{\sigma \in \hat{\mathrm{v}}^{-1}(\mathrm{v})} \left ( \int _{\overline{M}_{0,n_{\hat{\mathrm{v}}}(\sigma )}}\Omega ^1_{\mathrm{v}}\cdot \Delta _{\rho _\sigma } \right ) \mathbf{v}_{I_\sigma } \right ). \end{equation}
The vanishing of the left-hand side of (36) gives the balancing of
$\Omega _{0,n}(v_1, \ldots, v_n)$
along the higher-dimensional face
$\tau$
; on the right-hand side, this quantity is expressed as a sum over the vertices
$\mathrm{v}$
of
$\Gamma$
; inside the large parentheses, we recognise the weighted sum of normal vectors, whose vanishing gives balancing for the 1-dimensional CohFT class
$\Omega ^1_{\mathrm{v}}$
at the cone point of
$\overline{M}_{0,n_{\hat{\mathrm{v}}}(\sigma )}$
. Then we take the image via
$\Phi$
, which is a linear injection by Claim 3.13. Thus (36) shows that the balancing equation for a CohFT class along a higher-dimensional face
$\tau$
reduces to a collection of balancing equations for 1-dimensional CohFT classes. The theorem is proved by invoking Step I.
Proof of Claim
3.13. This statement is well-known to the experts, but we include a proof here since we are not aware of a reference to it in the literature. We begin by proving the codimension-
$1$
case. Let
$\tau$
be a ray in
$M_{0,n}^{\mathrm{trop}}$
corresponding to a graph
$\Gamma$
with only one edge separating the legs into two subsets,
$I$
and
$I^c$
. Without loss of generality, we assume that
$k\not \in I$
and that the marks in
$I$
are adjacent to
$\mathrm{v}_1$
: those in
$I^c$
to
$\mathrm{v_2}$
. In this case,
$n_{\mathrm{v_1}} = |I|+1$
, and we denote the additional mark (corresponding to the germ of the edge) by
$k_{\mathrm{v_1}}$
, following the notation in the proof of Theorem 3.12. The 1-dimensional linear space of
$Q_{[n]}$
containing the ray
$\tau$
is spanned by the vector
$\mathbf{v}_\tau = \sum _{i,j\in I} \mathbf{r}_{i,j}^k$
. The map
$\Phi |_{Q_{[n_{\mathrm{v}_1}]}}$
is a linear isomorphism onto its image in
$Q_{[n]}/\langle \tau \rangle _{\mathbb{R}}$
: It is defined by
$\mathbf{r}_{i,j}^{k_{\mathrm{v}_1}}\mapsto \mathbf{r}_{i,j}^k$
, and the image of the relation among the generators of
$Q_{[n_{\mathrm{v}_1}]}$
is precisely the vector
$\mathbf{v}_\tau$
. Denoting by
$x$
the mark corresponding to the germ of the edge attaching to
$\mathrm{v_2}$
, the map
$\Phi |_{Q_{[n_{\mathrm{v}_2}]}}$
is defined as follows:
\begin{align*} \mathbf{r}_{i,j}^{k}\mapsto \mathbf{r}_{i,j}^k\, \, \, \, \, & \, \, \, \, \, \textrm{if}\ i,j\ \textrm{in}\ I^c\\ \mathbf{r}_{j,x}^{k}\mapsto \sum _{i\in I}\mathbf{r}_{i,j}^k & \, \, \, \, \, \textrm{if }\ j\ \textrm{ in }\ I^c, \end{align*}
where we have already set
$\mathbf{v}_\tau = 0$
. It is immediately necessary to check that the restriction
$\Phi |_{Q_{[n_{\mathrm{ v}_2}]}}$
is injective and that
$\Phi{(Q_{[n_{\mathrm{v}_1}]}\oplus 0)}\cap \Phi{(0\oplus Q_{[n_{\mathrm{v}_1}]})} = 0$
, proving the claim in the case
$\dim \tau = 1$
. To prove the claim for a general cone
$\tau$
of dimension
$d$
(corresponding to a graph
$\Gamma$
), one can choose arbitrarily an ordering of the edges of
$\Gamma$
and can iterate this construction
$d$
times, adding one edge at a time until
$\Gamma$
is obtained, thus composing all the resulting linear injections.
4. Recursive structure of
$r$
-spin invariants
In this section we introduce a recursion for
$r$
-spin invariants, deducible from either the WDVV equations or (equivalently by Proposition 3.10) the balancing relations of tropical cycles. We will use the recursion extensively in proving Theorems 5.1 and 6.2.
Theorem 4.1.
Let
$\vec m=(m_1,\ldots, m_n)$
be a numerical
$r$
-spin monodromy vector. Fix distinct elements
$i,j,k\in [n]$
with
$m_i\gt 1$
and
$m_j\lt r$
. Then
\begin{align} w_r(\vec m)-w_r(m_1,\ldots, m_{i}-1,\ldots, m_j+1,\ldots, m_n)=(n-3)\cdot T_r^{i,j,k}(m_1,\ldots, m_n), \end{align}
where, for distinct elements
$i,j,k\in [n]$
,
\begin{align} T_r^{i,j,k}(m_1,&\ldots, m_n):=\frac{1}{r}\Bigl (\delta _{m_j+m_k\geqslant r+1}w_r(m_i-1,m_1,\ldots, \hat{m_i},\hat{m_j},\hat{m_k},\ldots, m_{n},m_j+m_k-r)\nonumber \\ &-\delta _{m_i+m_k\geqslant r+2}w_r(m_j,m_1,\ldots, \hat{m_i},\hat{m_j},\hat{m_k},\ldots, m_{n},m_i+m_k-r-1)\Bigr ), \end{align}
the symbol
$\delta _{a\geqslant b}$
equals one when the inequality is satisfied and zero otherwise.
Remark 4.2. The left hand side of (37) is independent of
$k,$
which implies that
$T_r^{i,j,k}(m_1,\ldots, m_n)$
is independent of
$k$
.
Proof.
Since
$w_r(\vec m)$
is invariant under permuting the entries of
$\vec m$
, we may assume that
$i=1$
and
$j=2.$
By Theorem 3.12, we may equivalently use either the WDVV equations or the balancing condition for tropical cycles to carry out the proof. Let
\begin{equation*}\vec m^{*}=(m_1^*,\ldots, m_{n+1}^*)=(m_1-1,m_2,m_3,\ldots, m_n,2),\end{equation*}
and consider the 1-dimensional tropical cycle
$W_r(\vec m^{*})$
. The balancing condition implies
\begin{align*} B^{n+1}_{\{1,3\}}(W_r(\vec m^{*}))=\sum _{\substack{J\subseteq \{1,\ldots, n+1\}\\2\leqslant \left \lvert J\right \rvert \leqslant n-1\\1,3\in J,\,\, n+1\not \in J}}\int _{\overline{M}_{0,n}}W_r(\vec m^{*})|_{D_J}=\sum _{\substack{J\subseteq \{1,\ldots, n+1\}\\2\leqslant \left \lvert J\right \rvert \leqslant n-1\\2,3\in J,\,\, n+1\not \in J}}\int _{\overline{M}_{0,n}}W_r(\vec m^{*})|_{D_J}=B^{n+1}_{\{2,3\}}(W_r(\vec m^{*})). \end{align*}
Terms
$W_r(\vec m^{*})|_{D_J}$
, with
$\{1,2,3\}\subseteq J$
, appear on both sides of the above equation, so we may remove them, thus obtaining a WDVV equation:
\begin{align} \sum _{\substack{J\subseteq \{1,\ldots, n+1\}\\1,3\in J,\,\,2,n+1\not \in J}}\int _{\overline{M}_{0,n}}W_r(\vec m^{*})|_{D_J}&=\sum _{\substack{J\subseteq \{1,\ldots, n+1\}\\2,3\in J,\,\,1,n+1\not \in J}}\int _{\overline{M}_{0,n}}W_r(\vec m^{*})|_{D_J}. \end{align}
By the CohFT property (Proposition 2.8), we have:
\begin{align} \int _{\overline{M}_{0,n}}W_r(\vec m^*)|_{D_J}= w_r(( m_i^*)_{i\in J},m_J^*))w_r((m_i^*)_{i\not \in J},m_{J^c}^*), \end{align}
where
$m_J,m_{J^c}$
are as in (8). Note that by Proposition 2.14, (40) vanishes unless
\begin{equation*}(\left \lvert J\right \rvert -1)(r+1)-r\lt \sum _{i\in J}m_i^*\lt (\left \lvert J\right \rvert -1)(r+1).\end{equation*}
We now apply the following additional vanishing property, which we prove after finishing this proof.
Claim 4.3. Let
$n\geqslant 5$
, and suppose that
$\vec m=(m_1,\ldots, m_n)$
is a numerical
$r$
-spin monodromy vector with
$m_i=2$
for some
$i$
. Then
$w_r(\vec m)=0$
.
Since
$m_{n+1} = 2$
, Claim 4.3 and (40) imply that any term on either side of (39) with
$|J^c|\gt 4$
, or equivalently
$\left \lvert J\right \rvert \lt n-3$
, vanishes. The remaining terms on the left-hand side are:
-
• The term with
$J=[n+1]\setminus \{2,n+1\}$
, i.e.and
\begin{equation*}w_r(m_1-1,m_3,\ldots, m_n,m_2+1)w_r(m_2,2,r-1-m_2)=w_r(m_1-1,m_2+1,m_3,\ldots, m_n),\end{equation*}
-
• The terms with
$J=[n+1]\setminus \{2,k,n+1\}$
for
$k\in \{4,\ldots, n\},$
namely
\begin{align*} &\sum _{k=4}^nw_r(m_1-1,m_3,m_4,\ldots, \hat m_k,\ldots, m_n,m_2+m_k-r)w_r(m_2,m_k,2,2r-m_2-m_k)\\& \qquad =\frac{1}{r}\sum _{k=4}^n\delta _{m_2+m_k\geqslant r+1}\cdot w_r(m_1-1,m_3,\ldots, \hat m_k,\ldots, m_n,m_2+m_k-r). \end{align*}
Identical calculations show that the right-hand side of (39) is
\begin{equation*}w_r(\vec m)+\frac {1}{r}\sum _{k=4}^n\delta _{m_1+m_k\geqslant r+2}\cdot w_r(m_2,m_3,\ldots, \hat m_k,\ldots, m_n,m_1+m_k-r-1).\end{equation*}
Combining all terms above yields
\begin{align} w_r(\vec m)-w_r(m_1-1,m_2+1,m_3,\ldots, m_n)&=\sum _{k=4}^nT^{1,2,k}(\vec m). \end{align}
Finally, we observe that the left-hand side of (41) is invariant under permuting
$m_3,\ldots, m_n$
, hence the right-hand side is also. It follows that the
$n-3$
summands on the right-hand side of (41) are all equal, yielding (37).
Proof of Claim
4.3. If
$m_i=r$
for some
$i\in [n],$
then
$w_r(\vec m)=0,$
so assume
$m_i\leqslant r-1$
for all
$i\in [n]$
. Suppose
$m_1=2.$
Define the monodromy vector
\begin{equation*}\vec m^{**}=(m_1^{**},\ldots, m_{n+1}^{**})=(2,m_2-1,m_3,\ldots, m_n,2).\end{equation*}
Analogously to (39), the balancing condition
$B^{3}_{\{1,2\}}(W_r(\vec m^{**}))=B^3_{\{1,4\}}(W_r(\vec m^{**}))$
for the 1-dimensional tropical cycle
$W_r(\vec m^{**})$
implies the WDVV equation
\begin{align} \sum _{\substack{J\subseteq \{1,\ldots, n+1\}\\1,2\in J,\,\,3,4\not \in J}}\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=\sum _{\substack{J\subseteq \{1,\ldots, n+1\}\\1,4\in J,\,\,2,3\not \in J}}\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}. \end{align}
First note that using the constraints
$m_i \leqslant r-1$
,
$m_1=2$
,
$n \geqslant 5$
, and
$\sum _{i=1}^{n} m_i = (n-2)(r+1)$
, one can deduce that
\begin{align} m_i+m_j\geqslant r+3\ \textrm{for all distinct } i,j\in \{2,\ldots, n\}. \end{align}
Second, using
$m_1^{**}=m_{n+1}^{**}=2$
,
$m_i^{**} \leqslant r-1$
and
$\sum _{i=1}^{n+1}m_i=(n-1)(r+1)-r$
, we have that if
$1,n+1 \in J$
, then
\begin{equation*} \sum _{i\in {J^c}}m_i\geqslant (n-1)(r+1)-r-4-(\left \lvert J\right \rvert -2)(r-1)=(\left \lvert J^c\right \rvert -1)(r+1)+(2\left \lvert J\right \rvert -7). \end{equation*}
Proposition 2.14 implies
$W_r(\vec m^{**})|_{D_J}=0$
if
$\left \lvert J\right \rvert \geqslant 4$
. If
$\left \lvert J\right \rvert =3$
, then
$W_r(\vec m^{**})|_{D_J}$
could be nonzero only if
$m_{J^c}=1$
. But in this case,
$n\geqslant 5$
implies
$\left \lvert J^c\right \rvert \geqslant 3$
, so Propositions 2.8 and 2.12 imply
$W_r(\vec m^{**})|_{D_J}=0$
. To summarize:
\begin{align} \text{If } \left \lvert J\right \rvert \geqslant 3\ \text{ and } \{1,n+1\}\subseteq J, \text{ then } \int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0. \end{align}
We now show that
$w_r(\vec m)=0$
by induction on
$n$
, with base case
$n=5$
. If
$n=5$
, then a straightforward analysis using Proposition 2.8, Proposition 2.13, and Observations (A) and (B) imply the following about the terms in the left-hand side of (42):
-
• When
$J=\{1,2\}$
, we have
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=w_r(2, m_2-1, r-m_2) \cdot w_r(\vec m)=w_r(\vec m).$
-
• When
$J=\{1,2,5\}$
, we use (A) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}= (1/r^2)\cdot \delta _{m_2+m_5\geqslant r+3}=1/r^2$
. -
• When
$J=\{1,2,6\}$
, we use (B) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
. -
• When
$J=\{1,2,5,6\}$
, we use (B) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
.
By the same arguments, the right side of (42) has the following terms:
-
• When
$J=\{1,4\}$
, we have
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=w_r(2,m_2-1,m_3,m_4+1,m_5)$
. -
• When
$J=\{1,4,5\}$
, we use (A) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=(1/r^2)\cdot \delta _{m_2+m_3\geqslant r+2}=1/r^2$
. -
• When
$J=\{1,4,6\}$
, we use (B) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
. -
• When
$J=\{1,4,5,6\}$
, we use (B) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
.
Thus (42) reduces to
\begin{equation*}w_r(\vec m)=w_r(2,m_2-1,m_3,m_4+1,m_5).\end{equation*}
Iterating, we have
\begin{equation*}w_r(\vec m)=w_r(m_1,m_2-j,m_3,m_4+j,m_5),\end{equation*}
for all
$0\leqslant j\leqslant \min (m_2-1, r-m_4)$
. In fact (1) implies
$\min (m_2-1,r-m_4)=r-m_4.$
Taking
$j= r-m_4$
, we conclude
$w_r(\vec m)=0$
from Proposition 2.10. This completes the base case.
Now assume
$n\gt 5$
and that the claim holds for all
$5\leqslant n'\lt n$
. The inductive hypothesis implies that every term on both sides of (42) with
$4\leqslant \left \lvert J\right \rvert \leqslant n-2$
vanishes. We now account for the remaining terms on the left side of (42):
-
• When
$J=\{1,2\}$
, we have
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=w_r(\vec m)$
. -
• When
$J=\{1,2,i\}$
for
$i\in \{5,\ldots, n\}$
, the inductive hypothesis shows
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
. -
• When
$J = \{1,2,n+1\}$
, we use (B) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
. -
• When
$J=[n]\setminus \{3,4\}$
, we use (B) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
.
We then account for the right side:
-
• When
$J=\{1,4\}$
, we have that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=w_r(2,m_2-1,m_3,m_4+1,m_5,\ldots, m_n)$
. -
• When
$J=\{1,4,i\}$
for
$i\in \{5,\ldots, n\}$
, the inductive hypothesis shows
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
. -
• When
$J=\{1,4,n+1\}$
, we use (B) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
. -
• When
$J=[n+1]\setminus \{2,3\}$
, we use (B) to see that
$\int _{\overline{M}_{0,n}}W_r(\vec m^{**})|_{D_J}=0$
.
Thus (42) reads
\begin{equation*}w_r(\vec m)=w_r(2,m_2-1,m_3,m_4+1,m_5,\ldots, m_n).\end{equation*}
As in the base case, we iterate to see
$w_r(\vec m)=w_r(2,m_2-j,m_3,m_4+j,m_5,\ldots, m_n)$
for
$0 \leqslant j \leqslant \min (m_2-1, r-m_4)$
. Again,
$\min (m_2-1,r-m_4)=r-m_4$
by (A). Taking
$j = r-m_4$
, we obtain
$w_r(\vec m)=0$
.
We next use Theorem 4.1 to give direct proofs of two statements proved by Pandharipande-Pixton-Zvonkine [Reference Pandharipande and ZvonkinePPZ19] using the representation theory of
$\mathfrak{sl}_2({\mathbb{C}})$
. The first, which follows from [Reference Pandharipande and ZvonkinePPZ19, Thm. 2], is the following divisibility statement.
Corollary 4.4.
For any numerical monodromy vector
$\vec m$
of length
$n$
,
$w_r(\vec m)$
is an integer multiple of
$\frac{(n-3)!}{r^{n-3}}$
.
Proof.
We induct on
$n$
. The base case
$n=3$
follows from 2.13. If
$n\gt 3,$
(37) expresses
$w_r(\vec m)$
as
$\frac{n-3}{r}\cdot F$
, where
$F$
is a
$\mathbb{Z}$
-linear combination in invariants
$w_r(\vec m')$
with
$\left \lvert m'\right \rvert =n-1.$
By the inductive hypothesis,
$F$
is an integer multiple of
$\frac{(n-4)!}{r^{n-4}}$
, and the result follows.
In Theorem 6.2, we will see that in fact
$w_r(\vec m)$
is a nonnegative integer multiple of
$\frac{(n-3)!}{r^{n-3}}$
. The second statement is the following generalization of Claim 4.3, which is [Reference Pandharipande and ZvonkinePPZ19, Prop. 1.4].
Corollary 4.5.
Let
$n\geqslant 4,$
and suppose
$\vec m=(m_1,\ldots, m_n)$
is an
$r$
-spin monodromy vector with
$\sum _{i=1}^n m_i=(n-2)(r+1)$
. If
$m_i\leqslant n-3$
for some
$i$
, then
$w_r(\vec m)=0$
.
Proof.
We may assume
$m_1\leqslant n-3.$
We proceed by induction on
$n$
and
$m_1$
, with base cases
$m_1=1$
(for all
$n$
) following from Proposition 2.13.
If
$n=4$
the base case is the only case, so let
$n\gt 4.$
Assume that the Corollary holds for
$n'\lt n$
and for
$n' = n, \ m_1'\lt m_1$
. Since
$\sum _im_i=(n-2)(r+1),$
we may also assume without loss of generality that
$m_2\lt r.$
By Theorem 4.1,
\begin{equation*}w_r(\vec m)-w_r(m_1-1,m_2+1,m_3,\ldots, m_n)=(n-3)T^{1,2,3}_r(m_1,\ldots, m_n).\end{equation*}
Both terms of
$T^{1,2,3}_r(m_1,\ldots, m_n)$
contain an
$(n-1)$
-pointed
$r$
-spin invariant. By induction on
$n$
, both of these invariants are zero: the first term has an insertion
$m_1-1\leqslant (n-1)-3$
, and the second term has an insertion
$m_1+m_3-r-1\leqslant m_1-1\leqslant (n-1)-3$
. Thus
\begin{equation*}w_r(\vec m)=w_r(m_1-1,m_2+1,m_3,\ldots, m_n).\end{equation*}
By induction on
$m_1$
,
$w_r(\vec m)=0.$
Our next goal is to prove Lemma 4.9, a reconstruction result for
$w_r(\vec m)$
, which we will use in Section 5 to give a recursive proof of Theorem 5.1.
Definition 4.6.
Let
$\vec{m} = (m_i)$
and
$\vec{m}' = (m_i')$
be two monodromy vectors of length
$n$
. We say that
$\vec{m}$
and
$\vec{m}'$
are neighbors if there are
$i, j \in \{1, \dots, n\}$
so that
\begin{equation*} \vec {m} - \vec {m}' = (d_1, \dots, d_n), \text { where } d_k = \delta _{ik} - \delta _{jk}, \end{equation*}
or, equivalently,
$\vec m - \vec m'$
is some permutation of the vector
$(-1,1,0,\ldots, 0)$
.
Example 4.7. The two
$r$
-spin monodromy vectors
$(2,2,r-1,r-1)$
and
$(2,3,r-2,r-1)$
are neighbors.
We need the following fact.
Lemma 4.8.
Given two
$r$
-spin monodromy vectors
$\vec m$
and
$\vec{m'}$
of length
$n$
, there exists a sequence of monodromy vectors
$\vec{m_0} = \vec m, \vec{m_1}, \ldots, \vec{m}_{n-1}, \vec{m_n} = \vec{m'}$
such that
$\vec{m_i}$
and
$\vec{m}_{i+1}$
are neighbors for all
$i$
.
Proof. This follows from a standard inductive argument.
Lemma 4.9.
Let
$D$
be the set of numerical monodromy vectors for a given
$r$
, and let
$\widetilde w_r:D\to{\mathbb{C}}$
be a function such that:
-
(i)
$\widetilde w_r(\vec m) = 1$
when
$|\vec m| = 3$
, -
(ii)
$\widetilde w_r(\vec m)=0$
if
$\left \lvert \vec m\right \rvert \geqslant 4$
and
$m_i=r$
for some
$i\in \{1,\ldots, \left \lvert \vec m\right \rvert \},$
-
(iii)
$\widetilde w_r$
satisfies the recursion
(37)
.
Then
$\widetilde w_r=w_r$
.
Remark 4.10. Lemma 4.9 is a slight variation of previous reconstruction lemmas in the literature. In [Reference Jarvis, Kimura and VaintrobJKV01, Prop. 6.2], property (iii) is replaced by the WDVV relations and a nonvanishing 4-point invariant. In [Reference Pandharipande and ZvonkinePPZ19, Lem. 1.3], property (ii) is replaced with vanishing of
$\widetilde w_r(\vec m)$
if
$m_i=1$
for some
$i$
. Lemma 4.9 is in a form particularly suited to proving Theorem 5.1.
Proof of Lemma
4.9. We prove that
$\widetilde w_r=w_r$
by induction on the length
$n$
of the monodromy vector. The base case
$n=3$
holds by Proposition 2.13. Let
$k\gt 3$
and assume
$w_r=\widetilde w_r$
holds for all monodromy vectors of length less than
$k$
. By (ii) and Proposition 2.10,
$\widetilde w_r(\vec m) = w_r(\vec m)$
if
$\vec m$
is a length-
$k$
monodromy vector with
$m_i=r$
for some
$i$
. (It is easy to see that there must exist such a monodromy vector.)
By Theorem 4.1, if
$\vec m$
and
$\vec m'$
are neighbors such that
$w_r(\vec m) = \widetilde w_r(\vec m)$
, and such that
$w_r(\vec{a}) = \widetilde w_r(\vec{a})$
for all monodromy vectors
$\vec{a}$
of length less than
$|\vec m|$
, then
$w_r(\vec m') = \widetilde w_r(\vec m')$
. Combining this with Lemma 4.8 implies that
$w_r(\vec m) = \widetilde w_r(\vec m)$
for all monodromy vectors
$\vec m$
of length
$k$
, proving the claim.
5. Explicit piecewise-polynomial formula
In this section, we prove a closed formula for genus-zero primary
$r$
-spin invariants.
Theorem 5.1.
For
$\vec m=(m_1,\ldots, m_n)$
a numerical genus-zero
$r$
-spin monodromy vector, we have the formula
\begin{align} w_r(\vec m)=\frac{1}{2r^{n-3}}\sum _{\substack{S\subseteq [n]\\\sum _{i\in S}m_i\geqslant (\left \lvert S\right \rvert -1)r+n-2}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr ). \end{align}
This immediately implies:
Corollary 5.2.
$w_r(m_1,\ldots, m_n)$
is a piecewise-polynomial function of the inputs
$m_1,\ldots, m_n,r$
. Precisely, the set
\begin{equation*}\mathbf K_n:=\{(m_1,\ldots, m_n,r)\,\,|\,\,1\leqslant m_i\leqslant r-1,\textstyle \sum _im_i=(n-2)(r+1)\}\subseteq \mathbb {Z}_{\gt 0}^n\times \mathbb {Z}_{\gt 0},\end{equation*}
of numerical
$n$
-pointed monodromy vectors is the set of lattice points of an unbounded polyhedron
$\mathbf M_n$
, and there is a finite wall-chamber decomposition of
$\mathbf M_n$
such that in each chamber,
$w_r(m_1,\ldots, m_n)$
is a polynomial.
Proof. This is immediate from the form of (43); the walls are the affine-linear spaces
\begin{equation*}L_S:=\{(m_1,\ldots, m_n,r)\,\,|\,\,{\textstyle \sum _{i\in S}m_i}=(\left \lvert S\right \rvert -1)r+n-3\},\end{equation*}
for subsets
$S\subseteq [n].$
Remark 5.3. In fact, a stronger version of piecewise-polynomiality holds. The walls of the above wall-chamber decomposition have “width
$n-3$
” in the sense that if
$E$
and
$E'$
are adjacent chambers separated by a single wall
$L_S$
and if
$P,P'\in \mathbb{Q}[m_1,\ldots, m_n,r]$
are such that
$w_r(\vec m)=P$
after restriction to
$E$
and
$w_r(\vec m)=P'$
after restriction to
$E'$
, then
$P$
and
$P'$
agree not only on the wall
$L_S$
but also on the set
\begin{equation*}\{(m_1,\ldots, m_n,r)\in \mathbf K_n\,\,|\,\,(\left \lvert S\right \rvert -1)r+1\leqslant \textstyle \sum _{i\in S}m_i\leqslant (\left \lvert S\right \rvert -1)r+n-3\}.\end{equation*}
For the proof of Theorem 5.1, we introduce two pieces of notation:
Notation 5.4. For
$\vec m=(m_1,\ldots, m_n)$
, a numerical
$r$
-spin monodromy vector, let
$\widetilde w_r(\vec m)$
denote the right-hand side of (43):
\begin{align} \widetilde w_r(\vec m) := \frac{1}{2r^{n-3}}\sum _{\substack{S\subseteq [n]\\\sum _{i\in S}m_i\geqslant (\left \lvert S\right \rvert -1)r+n-2}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr ). \end{align}
Therefore, our goal for the remainder of this section is to prove
$\widetilde w_r(\vec m)=w_r(\vec m)$
for all
$r$
and
$\vec m$
.
Notation 5.5. Let
$\vec m$
be a fixed
$n$
-pointed genus-zero
$r$
-spin monodromy vector. For a subset
$S\subseteq [n]$
, we say that
$S$
satisfies (*1) (resp. (*2)) if
\begin{align} \sum _{i\in S}m_i&\geqslant (\left \lvert S\right \rvert -1)r+n-2, \end{align}
\begin{align} \sum _{i\in S}m_i&\geqslant (\left \lvert S\right \rvert -1)r+n-3.\end{align}
We will say that, e.g.
$S$
, satisfies (*1) with respect to
$\vec m$
if
$\vec m$
is unclear from context. From (44), it is clear why Condition (*1) is useful: the usefulness of (*2) will become clear in the proof of Theorem 5.1.
Observe that if
$\left \lvert S\right \rvert \leqslant 1$
, then
$S$
necessarily satisfies (*1), while if
$\left \lvert S\right \rvert \geqslant n-1$
, then
$S$
cannot satisfy (*1).
We now state two lemmas that we will use in the proof, starting with the following well-known combinatorial fact:
Lemma 5.6.
Let
$T\subseteq A$
be finite sets, and let
$F(x)\in{\mathbb{C}}[x]$
with
$\deg (F(x))\lt \left \lvert A\right \rvert -\left \lvert T\right \rvert$
. Then
\begin{align} \sum _{T\subseteq S\subseteq A}(-1)^{\left \lvert S\right \rvert }F(\left \lvert S\right \rvert )=0. \end{align}
Proof.
We reduce to the case
$T=\emptyset$
by summing over
$S\subseteq A\setminus T$
and performing the substitution
$\left \lvert S\right \rvert \mapsto \left \lvert S\right \rvert +\left \lvert T\right \rvert$
(which does not affect the degree of
$F$
). We then reduce to the case
$F(x)=x^j$
since the left-hand side of (45) is linear in
$F$
. Finally, the left-hand side of (45) is equal to
$\sum _{k=0}^{|A|} (-1)^k \binom{|A|}{k}k^j,$
which (up to sign) counts surjections
$[j]\to A$
by a famous inclusion-exclusion argument. There are clearly no such surjections.
In proving Theorem 5.1, we will apply Lemma 5.6 in the following form:
Lemma 5.7.
Let
$n$
be a positive integer, let
$m_1, \dots, m_{n-2}\in{\mathbb{C}}$
and let
$\ell _k(x) \in{\mathbb{C}}[x]$
be linear functions for
$k = 1, \dots, n-4$
. Then
\begin{align} \sum _{S\subseteq \{1,2,\ldots, n-2\}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i \Bigr )-\ell _k(|S|)\Bigr )=0. \end{align}
Proof.
Consider the left-hand side of (46) as a degree-
$(n-4)$
polynomial in formal variables
$m_1,m_2, \dots, m_{n-2}$
, and denote this polynomial by
$G(m_1,m_2,\ldots, m_{n-2})$
. Fix integers
$a_1,\ldots, a_{n-2}\geqslant 0$
with
$\sum _{i=1}^{n-2}a_i\leqslant n-4,$
and let
$M=\prod _{i=1}^{n-2}(m_i)^{a_i}$
. The coefficient of the monomial
$M$
in
$G(m_1, \ldots, m_{n-2})$
is equal to
\begin{equation*}\sum _{\substack {S\subseteq \{1,\ldots, n-2\}\\S\supseteq \{i:a_i\gt 0\}}}(-1)^{\left \lvert S\right \rvert }F_{M}(\left \lvert S\right \rvert ),\end{equation*}
where
\begin{equation*}F_{M}(x)=\sum _{\substack {B\subseteq \{1,\ldots, n-4\}\\\left \lvert B\right \rvert =\sum _ia_i}}\binom {\left \lvert B\right \rvert }{a_1,\ldots, a_{n-2}}\prod _{k\in \{1,\ldots, n-4\}\setminus B}\ell _k(x).\end{equation*}
Then
$F_M(x)$
has degree
\begin{equation*}\deg (F_{M}(x))=n-4-\sum _{i=1}^na_i\lt n-2-\left \lvert \{i:a_i\gt 0\}\right \rvert, \end{equation*}
By Lemma 5.6, the coefficient of
$M$
in
$G(m_1, \ldots, m_{n-2})$
is zero. Since
$M$
is arbitrary,
$G$
vanishes identically as desired.
Proof of Theorem
5.1 It suffices to show that
$\widetilde w_r(\vec m)$
satisfies conditions (i), (ii) and (iii) of Lemma 4.9.
If
$n=3$
, then for any
$\vec m$
, the only subsets
$S$
satisfying (*1) are those with
$\left \lvert S\right \rvert \leqslant 1$
. Then
$\widetilde w_r(\vec m)=\tfrac{3}{2} - \tfrac{1}{2} = 1$
as desired, proving condition (i).
Next, suppose
$\vec m$
is a numerical
$r$
-spin monodromy vector of length
$n\geqslant 4$
, with
$m_i = r$
for some
$i\in [n]$
. Suppose without loss of generality that
$i=n$
. Let
$S\subseteq [n-1]$
. Observe that
$S$
satisfies (*1) if and only if
$S\cup \{n\}$
satisfies (*1) and the summands corresponding to
$S$
and
$S\cup \{n\}$
of
$\widetilde w_r(\vec m)$
are identical with opposite signs since
$\left \lvert S\cup \{n\}\right \rvert =\left \lvert S\right \rvert +1$
. This shows that
$\widetilde w_r(\vec m)=0$
, proving (ii).
Next, suppose
$\vec m$
is a numerical
$r$
-spin monodromy vector of length
$n\geqslant 4$
with
$m_i = r$
for some
$i\in [n]$
. Suppose without loss of generality that
$i=n$
. Let
$S\subseteq [n-1]$
. Observe that
$S$
satisfies (*1) if and only if
$S\cup \{n\}$
satisfies (*1), and the summands corresponding to
$S$
and
$S\cup \{n\}$
of
$\widetilde w_r(\vec m)$
are identical with opposite signs since
$\left \lvert S\cup \{n\}\right \rvert =\left \lvert S\right \rvert +1$
. This shows
$\widetilde w_r(\vec m)=0$
, proving (ii).
Finally, we must prove that
$\widetilde w_r$
satisfies (37). We do so by induction on
$n$
, with base case
$n=3$
. When
$n=3$
, the calculation
$\widetilde w_r(\vec m)=1$
above implies that both sides of (37) vanish. For
$n\geqslant 4$
, let
\begin{align} \vec m^*=(m_1^*,\ldots, m_n^*)=(m_1-1,m_2+1,m_3,\ldots, m_n). \end{align}
Then we compute
\begin{align} \widetilde w_r(\vec m)-\widetilde w_r(\vec m^*)&=\frac{n-3}{2r^{n-3}}\Biggr(\sum _{\substack{S\subseteq [n]\\ (*1)\\ 1\in S,\,\,2\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\left(\left(\sum _{i\in S}m_i\right)-(\left \lvert S\right \rvert -1)r-k\right)\\[-6pt] &\quad -\sum _{\substack{S\subseteq [n]\\ (*2)\\ 2\in S,\,\,1\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\left(\left(\sum _{i\in S}m_i\Biggl)-(\left \lvert S\right \rvert -1)r-k\right)\right).\nonumber \end{align}
The factor
$n-3$
appears as the difference of a
$k=1$
factor and a
$k=n-3$
factor, from the definition of
$\widetilde{w}_r$
. By induction, we have
\begin{align} T_r^{1,2,3}(\vec m)&=\frac{1}{r}\Bigl (\delta _{m_2+m_3\geqslant r+1}\widetilde w_r(m_1-1,m_4,\ldots, m_{n},m_2+m_3-r)\\ &\quad \quad -\delta _{m_1+m_3\geqslant r+2}\widetilde w_r(m_2,m_4,\ldots, m_{n},m_1+m_3-r-1)\Bigr ).\nonumber \end{align}
Let
$\vec m^{**}=(m_1-1,m_4,\ldots, m_n,m_2+m_3-r)$
, where we index this tuple by the set
$\{1,4,\ldots, n,\dagger \}$
and let
$\vec m^{***}=(m_2,m_4,\ldots, m_n,m_1+m_3-r-1)$
, where we index this tuple by the set
$\{2,4,\ldots, n,\bullet \}$
. Plugging in (44) to (49), we have four cases, according to whether
$m_2+m_3\geqslant r+1$
and whether
$m_1+m_3\geqslant r+2$
.
Case 1:
$m_2+m_3\geqslant r+1$
and
$m_1+m_3\geqslant r+2$
. By (49) and the definition of
$\widetilde w_r$
, we have
\begin{align} T_r^{1,2,3}(\vec m)&=\frac{1}{2r^{n-3}}\left (\sum _{\substack{S'\subseteq \{1,4,\ldots, n,\dagger \} \text{(*2) w.r.t. } \vec m^{**}}} (-1)^{1+\left \lvert S'\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S'}m_i^{**}\Bigr )-(\left \lvert S'\right \rvert -1)r-k)\right .\nonumber\\ &\left .\quad -\sum _{\substack{S''\subseteq \{2,4,\ldots, n,\bullet \}\text{(*2) w.r.t. } \vec m^{***}}}(-1)^{1+\left \lvert S''\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S''}m_i^{***}\Bigr )-(\left \lvert S''\right \rvert -1)r-k)\right ). \end{align}
To clarify, e.g., in the first summation, we sum over all
$S'$
that satisfy (*2) with respect to
$\vec m^{**}$
, as defined in Notation 5.5.
A subset
$S'\subseteq \{4,\ldots, n\}$
(satisfying (*2) with respect to
$\vec m^{**}$
, and equivalently with respect to
$\vec m^{***}$
) contributes to both sums in (50) with opposite signs. The contribution from a subset
$S'\supseteq \{1,\dagger \}$
(satisfying (2) with respect to
$\vec m^{**}$
) cancels with an identical contribution from the corresponding subset
$S''=(S'\cup \{2,\bullet \})\setminus \{1,\dagger \}$
(which necessarily satisfies (*2) with respect to
$\vec m^{***}$
).
We now translate the sums over
$S'$
and
$S''$
in (50) into sums over
$S$
. If a subset
$S'\subseteq \{1,4,\ldots, n,\dagger \}$
contains
$\dagger, $
then
$S'$
satisfies (*2) with respect to
$\vec m^{**}$
if and only if
$S:=(S'\setminus \{\dagger \})\cup \{2,3\}$
satisfies (*2) with respect to
$\vec m$
. If instead
$S'$
contains
$1$
, then
$S'$
satisfies (*2) with respect to
$\vec m^{**}$
if and only if
$S:= S'$
satisfies (*1) with respect to
$\vec m$
. Using these observations (and similar calculations for
$S''$
), we rewrite the sums in (50) as sums over subsets of
$[n]$
:
\begin{align} T_r^{1,2,3}(\vec m)&=\frac{1}{2r^{n-3}}\left(\sum _{\substack{S\subseteq [n]\\ (*1)\\ 1\in S,\,\, 2,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\right.\nonumber\\ &+\sum _{\substack{S\subseteq [n]\\ (*2)\\ 2,3\in S,\,\, 1\not \in S}}(-1)^{\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber \\ &-\sum _{\substack{S\subseteq [n]\\ (*2)\\ 2\in S,\,\, 1,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber \\ &\left.-\sum _{\substack{S\subseteq [n]\\ \\ 1,3\in S,\,\, 2\not \in S}}(-1)^{\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\right).\end{align}
Combining the first and last sums in (51), as well as the second and third sums, and comparing with (48), shows that (37) is satisfied. This completes Case 1.
Case 2:
$m_2+m_3\leqslant r$
and
$m_1+m_3\geqslant r+2$
. In this case, if a subset
$S\subseteq [n]$
satisfies
$2,3\not \in S$
, then by an easy calculation,
$S$
must satisfy (*1) with respect to
$\vec m$
. Similarly, if
$2,3\in S$
, then
$S$
does not satisfy (*1). Thus (48) reads:
\begin{align} \widetilde w_r(\vec m)-\widetilde w_r(\vec m^*)&=\frac{n-3}{2r^{n-3}}\left(\sum _{\substack{S\subseteq [n]\\ (*1)\\ 1,3\in S,\,\,2\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\right.\nonumber\\ &\quad +\sum _{\substack{S\subseteq [n]\\1\in S,\,\,2,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber \\ &\quad \left.-\sum _{\substack{S\subseteq [n]\\ (*2)\\ 2\in S,\,\,1,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\right). \end{align}
On the other hand, (49) reads as
\begin{align} T_r^{1,2,3}(\vec m)&=-\frac{1}{r}\widetilde w_r(m_2,m_4,\ldots, m_n,m_1+m_3-r-1)\nonumber\\ &=\frac{1}{2r^{n-3}}\sum _{\substack{S''\subseteq \{2,4,\ldots, n,\bullet \}\\ \text{ (*1) w.r.t. } \vec m^{***}}}(-1)^{1+\left \lvert S''\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S''}m_i^{***}\Bigr )-(\left \lvert S''\right \rvert -1)r-k\Bigr ). \end{align}
If a subset
$S''$
contains both 2 and
$\bullet$
, then by the assumption
$m_2+m_3\leqslant r$
,
$S''$
does not contribute to the sum. Using this and rewriting all sums in terms of subsets of
$[n]$
as above, we obtain:
\begin{align} T_r^{1,2,3}(\vec m)&=\frac{-1}{2r^{n-3}}\Biggr(\sum _{\substack{S\subseteq [n]\\ (*2)\\ 2\in S,\,\,1,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber\\ &+\sum _{\substack{S\subseteq [n]\\ (*1)\\ 1,3\in S,\,\,2\not \in S}}(-1)^{\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber \\ &\left.+\sum _{\substack{S\subseteq [n]\\1,2,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\right). \end{align}
Note that the first two sums in (54) match the first and third sums in (52). To prove that (37) holds, it remains to prove
\begin{align} \sum _{S\subseteq \{1,4,\ldots, n\}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i^*\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )=0, \end{align}
where
$m_i^*$
is as in (47). Here we have written
$m_i^*$
because the second sum in (52), and the third sum in (54) can be combined cleanly only after the substitution
$m_1\mapsto m_1-1$
. One sees that (55) is a special case of Lemma 5.7. This completes Case 2.
Case 3:
$m_2+m_3\geqslant r+1$
and
$m_1+m_3\leqslant r+1$
. This case is almost identical to Case 2. Similar computations to those in Case 2 give
\begin{align} \widetilde w_r(\vec m)-\widetilde w_r(\vec m^*)&=\frac{n-3}{2r^{n-3}}\Biggr(\sum _{\substack{S\subseteq [n]\\ (*1)\\ 1\in S,\,\,2,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber\\[4pt] &\quad -\sum _{\substack{S\subseteq [n]\\ (*2)\\ 2,3\in S,\,\,1\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber \\[4pt] &\quad \left.-\sum _{\substack{S\subseteq [n]\\2\in S,\,\,1,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\right). \end{align}
and
\begin{align} T_r^{1,2,3}(\vec m)&=\frac{1}{2r^{n-3}}\left(\sum _{\substack{S\subseteq [n]\\ (*1)\\ 1\in S,\,\,2,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\right.\nonumber\\ &+\sum _{\substack{S\subseteq [n]\\ (*2)\\ 2,3\in S,\,\,1\not \in S}}(-1)^{\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber \\ &\left.+\sum _{\substack{S\subseteq [n]\\1,2,3\not \in S}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\right). \end{align}
From (56) and (57), we see that (37) is equivalent to
\begin{equation*}\sum _{S\subseteq \{2,4,\ldots, n\}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )=0,\end{equation*}
which is a special case of Lemma 5.7. This completes Case 3.
Case 4:
$m_2+m_3\leqslant r$
and
$m_1+m_3\leqslant r+1$
. In this case, if
$S\subseteq [n]$
satisfies
$1,3\not \in S$
or
$2,3\not \in S,$
then
$S$
must satisfy (*1). Similarly, if
$2,3\in S$
or
$1,3\in S$
, then
$S$
does not satisfy (*1). Thus (48) simplifies to:
\begin{align} \widetilde w_r(\vec m)-\widetilde w_r(\vec m^*)&=\frac{n-3}{2r^{n-3}}\Biggl (\sum _{\substack{S\subseteq \{1,4,\ldots, n\}}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=2}^{n-3}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\nonumber\\ &\quad -\sum _{\substack{S\subseteq \{2,4,\ldots, n\}}}(-1)^{1+\left \lvert S\right \rvert }\prod _{k=1}^{n-4}\Bigl (\Bigl (\sum _{i\in S}m_i\Bigr )-(\left \lvert S\right \rvert -1)r-k\Bigr )\Biggr ), \end{align}
while (49) is equal to zero. Again, Lemma 5.7 implies that both sums in (58) are equal to zero, so (37) is satisfied, completing Case 4.
We have now checked that
$\widetilde w_r$
satisfies all of the conditions of Lemma 4.9, so we conclude
$\widetilde w_r=w_r$
.
6. Monotonicity of genus
$0$
$r$
-spin invariants
The techniques introduced also imply that genus
$0$
$r$
-spin invariants satisfy a monotonicity property, which is not obvious from the closed formula in the previous section.
Recall the dominance partial ordering on partitions of an integer
$N$
, where for partitions
$\vec p=(p_1,p_2,\ldots )$
and
$\vec p\thinspace '=(p_1',p_2',\ldots )$
of
$N$
with
$p_1\leqslant p_2\leqslant \cdots$
and
$p_1'\leqslant p_2'\leqslant \cdots$
, we say that
$\vec p\leqslant \vec p\thinspace '$
if for all
$i\geqslant 0$
, we have
$p_1+\cdots +p_i\leqslant p_1'+\cdots +p_i'$
. That is,
$\vec p\leqslant \vec p\thinspace '$
if
$\vec p$
is a “more balanced distribution of
$N$
’ than
$\vec p\thinspace '$
. If
$\vec p \leqslant \vec p\thinspace '$
, we say
$\vec p\thinspace '$
dominates
$\vec p$
.
Remark 6.1. The dominance partial ordering is a fundamental structure of partitions (or, more generally, vectors of real numbers with a fixed sum) and thus arises in many contexts inside (and outside) mathematics. See [Reference Marshall, Olkin and ArnoldMOA79] for a survey of such appearances. In algebraic geometry, the dominance partial ordering is known for (among other things) its connections to the geometry of Hilbert schemes of points on surfaces; see [Reference NakajimaNak16].
Theorem 6.2.
Genus-zero
$r$
-spin invariants satisfy the following properties:
-
1. For any
$r$
and
$n$
,
$w_r$
is a weakly order-reversing function on
$n$
-part partitions of
$(n-2)(r+1)$
with respect to the dominance order. That is, if
$\vec m$
and
$\vec m'$
are two numerical
$r$
-spin monodromy vectors and
$\vec m\leqslant \vec m'$
, then
$w_r(\vec m)\geqslant w_r(\vec m')$
. -
2. For any numerical
$r$
-spin monodromy vector
$\vec m$
,
$w_r(\vec m)\geqslant 0$
, with
$w_r(\vec m)\ne 0$
if and only if
$n-2\leqslant m_i\leqslant r-1$
for all
$i$
.
We prove the theorem in several steps, beginning with the following standard fact about the dominance order (see [Reference BrylawskiBry73, Prop. 2.3]).
Fact 6.3.
A partition
$\vec p$
is dominated by
$\vec p\thinspace '$
if and only if there is a finite sequence
\begin{equation*}\vec p\thinspace '=\vec p\thinspace ^0,\vec p\thinspace ^1,\ldots, \vec p\thinspace ^k=\vec p,\end{equation*}
such that
$\vec p\thinspace ^i$
is obtained from
$\vec p\thinspace ^{i-1}$
by replacing two parts
$a,b\in \vec p\thinspace ^{i-1}$
, where
$a\lt b-1$
, with nonnegative integers
$c =a+1$
and
$d=b-1$
, respectively. That is,
$\vec p\thinspace ^i$
and
$\vec p\thinspace ^{i+1}$
are neighbours, and
$\vec p\thinspace ^{i+1}$
dominates
$\vec p\thinspace ^i$
. Intuitively, a “richer’ part (
$b$
) donates one “cookie’ to a “poorer’ part (
$a$
) but only if doing so would not make
$b$
poorer than
$a$
.
Lemma 6.4.
Suppose
$\vec m$
and
$\vec m'$
are numerical
$r$
-spin monodromy vectors. If
$\vec m$
and
$\vec m'$
are neighbours and if
$\vec m \geqslant \vec m'$
, then
$w_r(\vec m) \leqslant w_r( \vec m')$
.
Proof.
We proceed by induction on
$n$
. The base case is
$n=4$
, which follows from Proposition 2.36.
Fix
$n$
, and assume that both statements hold for
$k$
-pointed monodromy vectors if
$k\lt n$
. Without loss of generality, write
$\vec{m}=(m_1,\ldots, m_n)$
and
$\vec m' = (m_1 - 1, m_2 +1, m_3, \ldots, m_n),$
with
$1\lt m_1\leqslant m_2\lt r$
as
$\vec m \leqslant \vec m'$
. For
$j\in \{4,\ldots, n\},$
we have, by definition,
\begin{equation*}T_r^{1,2,j}(m_1,\ldots, m_n)=w_r(\vec m^1)w_r(\vec m^2)-w_r(\vec m^3)w_r(\vec m^4),\end{equation*}
where:
\begin{align*} \vec m^1&=(m_1-1,m_3,\ldots, \hat{m_j},\ldots, m_{n},m_2+m_j-r)&\vec m^2&=(2,m_2,m_j,2r-m_2-m_j)\\ \vec m^3&=(m_2,m_3,\ldots, \hat{m_j},\ldots, m_{n},m_1+m_j-r-1)&\vec m^4&=(2,m_1-1,m_j,2r+1-m_1-m_j). \end{align*}
Note first that
\begin{equation*} (m_1-1)+(m_2+m_j-r)=(m_1+m_j-r-1)+(m_2),\end{equation*}
and that
\begin{equation*}m_2\gt \max \{m_1-1,m_2+m_j-r\} \geqslant \min \{m_1-1,m_2+m_j-r\} \gt m_1 +m_j -r - 1.\end{equation*}
Thus, there is a finite sequence such as that in Fact 6.3 between
$\vec m^3$
and
$\vec m^1$
. This proves
$\vec m^1\leqslant \vec m^3$
, so by the inductive hypothesis, we have
\begin{align} w_r(\vec m^1)\geqslant w_r(\vec m^3). \end{align}
Next, we prove
$w_r(\vec m^2)\geqslant w_r(\vec m^4)$
. As both are 4-point invariants with an insertion of 2, both are either
$0$
or
$\tfrac{1}{r}$
. We need only to show that if
$w_r(\vec m^2) = 0$
, then
$w_r(\vec m^4) = 0$
. Indeed, using Proposition 2.13 and the fact that
$m_2 \lt r$
,
$w_r(\vec m^2)=0$
implies that either
$2r-m_2-m_j\geqslant r$
or
$m_j = 1$
, which in turn implies that either
$2r+1-m_1-m_j\geqslant r$
or
$m_j = 1$
. Thus,
$w_r(\vec m^4)=0$
. In conclusion,
\begin{align} w_r(\vec m^2)\geqslant w_r(\vec m^4). \end{align}
By the inductive hypothesis, the expressions
$w_r(\vec m^1),$
$w_r(\vec m^2),$
$w_r(\vec m^3)$
and
$w_r(\vec m^4)$
are nonnegative, so (59) and (60) imply
$T_r^{1,2,j}\geqslant 0$
. Thus,
\begin{align} w_r(m_1,\ldots, m_n)&\geqslant w_r(m_1-1,m_2+1,m_3,\ldots, m_n), \end{align}
completing the proof.
Lemma 6.5.
Let
$\vec m=(m_1,\ldots, m_n)$
be a monodromy vector with
$m_1=n-2$
and let
$n-2\leqslant m_i\leqslant r-1$
for all
$i$
. Then
$w_r(\vec m)=\frac{(n-3)!}{r^{n-3}}$
.
Proof.
We proceed by induction on
$n,$
with base case
$n=4$
following from Proposition 2.13.
For
$n\gt 4,$
we apply Theorem 4.1 to
$\vec m$
, with
$(i,j,k)=(1,2,3)$
. Since
$m_1=n-2,$
by Corollary 4.5,
$w_r(m_1-1,m_2+1,m_3,\ldots, m_n)=0$
, so Theorem 4.1 reads
\begin{equation*}w_r(\vec m)=(n-3)T^{1,2,3}_r(\vec m).\end{equation*}
We thus have
\begin{align*}m_2+m_3-r & =(n-2)(r+1)-(n-2)-r-\sum _{i=4}^nm_i\geqslant (n-2)(r+1)\\& \quad -(n-2)-r-(n-3)(r-1)=n-3,\end{align*}
and
\begin{equation*}m_1+m_3-r-1\leqslant (n-2)+(r-1)-r-1=n-4,\end{equation*}
which imply
\begin{equation*}T^{1,2,3}_r(\vec m)=\frac {1}{r}(1\cdot w_r(m_1-1,m_4,\ldots, m_n,m_2+m_3-r)-0)=\frac {1}{r}\cdot \frac {(n-4)!}{r^{n-4}}\end{equation*}
by induction. Thus
$w_r(\vec m)=(n-3)T^{1,2,3}_r(\vec m)=\frac{(n-3)!}{r^{n-3}}.$
Proof of Theorem
6.2 Fix an
$n$
-pointed
$r$
-spin monodromy vector
$\vec m'$
with
$\vec m'\geqslant \vec m$
. According to Fact 6.3, there is a finite sequence
$\vec m'=\vec m\thinspace ^0\gt \vec m\thinspace ^1\gt \cdots \gt \vec m\thinspace ^k=\vec m$
of neighbors, where
$\vec m\thinspace ^{i}$
is dominated by
$\vec m\thinspace ^{i+1}$
. By Lemma 6.4,
$w_r(\vec m\thinspace ^{i})\leqslant w_r(\vec m\thinspace ^{i+1})$
for all
$i$
, so we conclude
$W_r(\vec m)\geqslant W_r(\vec m')$
. This proves statement (i).
Applying Lemma 6.4 repeatedly, we have
\begin{equation*}w_r(\vec m)-w_r(m_1-k,m_2+k,m_3,\ldots, m_n)\geqslant 0,\end{equation*}
for any
$k\leqslant \min \{m_1-1,r-m_2\}$
. Taking
$k=\min \{m_1-1,r-m_2\}$
gives
$w_r(\vec m)\geqslant 0$
. This proves the first half of statement (ii).
For the second half of statement (ii), the “if’ direction follows from Proposition 2.10 and Corollary 4.5. For the “only if’ direction, suppose
$\vec m=(m_1,\ldots, m_n)$
is a monodromy vector such that
$n-2\leqslant m_i\leqslant r-1$
for all
$i$
, with
$m_1\leqslant \cdots \leqslant m_n$
. It is easy to check, using Fact 6.3, that
$\vec m$
is dominated by a monodromy vector
$\vec m'$
with
$m_1=n-2$
and
$n-2\leqslant m_i\leqslant r-1$
for
$i\in \{2,\ldots, n\}$
. (Roughly,
$m_1$
repeatedly “donates a cookie’ to a part
$m_i\lt r-1$
; such a part is guaranteed to exist by
$\sum _im_i=(n-2)(r+1),$
and
$\vec m'\geqslant \vec m$
follows from the assumption that
$m_1\leqslant m_2\leqslant \cdots \leqslant m_n$
). Thus, by statement (i) proved just above, it is sufficient to prove
$w_r(\vec m)\gt 0$
in the case where
$m_1=n-2$
and
$n-2\leqslant m_i\leqslant r-1$
for all
$i$
. This is the immediate conclution from Lemma 6.5.
Acknowledgements
The authors would like to thank Alexander Barvinok, Alessandro Chiodo, Hannah Markwig and Diane Maclagan for discussions relating to this work. We also thank the referee for their detailed comments and feedback which have improved the article. The second and third authors would also like to thank the hospitality of Colorado State University during their visit. Lastly, all the authors would like to thank the Instituto Nacional de Matemática Pura e Aplicada (IMPA) for their hospitality; we discovered Theorem 5.1 while participating in the conference ALGA XV.
Conflicts of Interest
None.
Journal Information
Moduli is published as a joint venture of the Foundation Compositio Mathematica and the London Mathematical Society. As not-for-profit organisations, the Foundation and Society reinvest
$100\%$
of any surplus generated from their publications back into mathematics through their charitable activities.
Open access
