Abstract
We prove a q-refined tropical correspondence theorem for higher genus descendant logarithmic Gromov–Witten invariants with a \(\lambda _g\) class in toric surfaces. Specifically, a generating series of such logarithmic Gromov–Witten invariants agrees with a q-refined count of rational tropical curves satisfying higher valency conditions. As a corollary, we obtain a geometric proof of the deformation invariance of this tropical count. In particular, our results give an algebro-geometric meaning to the tropical count defined by Blechman and Shustin. Our strategy is to use the logarithmic degeneration formula, and the key new technique is to reduce to computing integrals against double ramification cycles and connect these integrals to the non-commutative KdV hierarchy.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We study the logarithmic Gromov–Witten theory of toric varieties, relative their full toric boundary. Our results continue a line of inquiry which connects Hodge integrals [51], the local Gromov–Witten theory of curves [7], and refined tropical curve counting [5]. Our main theorem is a tropical correspondence theorem which relates these logarithmic Gromov–Witten invariants of toric surfaces to refined tropical enumerative invariants introduced in work of Blechman and Shustin [3]. The Gromov–Witten theory of threefolds is particularly interesting: it connects to sheaf-counting theories, and the dimension of the moduli spaces associated to the enumerative count are independent of genus. Our theorem can be viewed as a result for the “local surface threefolds” given by \(X\times {\mathbb {A}}^1\), where X is a toric surface.
Fix a multiset \(\Delta ^\circ \) of vectors in \(\mathbb {Z}^2 {\setminus } \{(0,0)\}\) with sum zero, together with non-negative integers n and \(k_1,\ldots ,k_n\) such that
Associated to this discrete data are two enumerative invariants.
-
(1)
The datum \(\Delta ^\circ \) determines a toric surface \(X_{\Delta }\) and a curve class \(\beta _{\Delta }\) on this toric surface. For every genus \(g\ge 0\), there is an associated logarithmic Gromov–Witten invariant with \(\lambda _g\) insertion defined as the following intersection product
$$\begin{aligned} {N}_{g,\Delta }^{{\textbf {k}}} =\int _{[\textsf{M}_{g,\Delta }]^{\text { vir}}} (-1)^{g} \lambda _g \prod _{i=1}^{n} {{\,\mathrm{\textsf{ev}}\,}}_i^{\star }({\textsf{pt}}) \, \psi _{i}^{k_i}. \end{aligned}$$Our notation is defined in Sect. 2.1. This logarithmic Gromov–Witten invariant captures information about algebraic curves passing through a generic collection of n points in \(X_{\Delta }\) subject to stationary descendant constraints. The multiset \(\Delta ^\circ \) controls the tangency constraints as well as the curve class corresponding to this Gromov–Witten invariant.
-
(2)
Fixing a generic ordered tuple of n points \(p = (p_1,\ldots ,p_n)\) in \(\mathbb {R}^2\), the data \((\Delta ^\circ ,{\textbf {k}})\) defines a finite set of genus zero tropical curves \(T_{\Delta ,p}^{{\textbf {k}}}\). To each tropical curve \(h \in T_{\Delta ,p}^{{\textbf {k}}}\) we assign a rational function \(m_h(q)\) of formal variable \(q^{1/2}\). We define a count of tropical curves
$$\begin{aligned} {N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}(q) = \sum _{h \in T_{\Delta ,p}^{{\textbf {k}}}} m_h(q). \end{aligned}$$The rational function \({N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}(q)\) is an invariant defined in terms of polyhedral geometry.
A precise statement of the following theorem appears in Sect. 2.2.
Theorem A
After the change of variables \(q=e^{iu}\) we have the equality
The tropical curve count on the right of Theorem A can be computed in two steps.
-
(1)
A combinatorial process to enumerate all tropical curves.
-
(2)
Compute the multiplicity of each tropical curve as a product over its vertices.
The first step is possible through floor diagrams, lattice path algorithms [44] or with software [16]. Although tropical curves are studied in higher dimensions, we emphasise that, in dimension two, these techniques provide an efficient method to enumerate all tropical curves. See [3, Appendix, p. 26–28] for an explicit computation of \({N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}\) in a particular example using a lattice path algorithm.
Remarkably, the tropical invariants that arise in Theorem A were discovered through combinatorial considerations by Blechman–Shustin. Our work sheds light on several features. Notably, a priori \({N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}(q)\) depends on the choice of points p in \(\mathbb {R}^2\). The left hand side of the equation in Theorem A does not depend on p. Blechman and Shustin showed that this deformation invariance imposes a severe restriction on \(m_h(q)\) and were thus able to write down a multiple of \(m_h(q)\) and so a multiple of \({N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}\), without establishing its relation to Gromov–Witten invariants. Theorem A thus provides a new proof of the following result of Blechman and Shustin [3].
Corollary B
The count of tropical curves \({N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}\) is independent of the choice of points p.
Our results suggest a generalisation of the Blechman–Shustin multiplicity to tropical curves of genus greater than zero, see Sect. 0.4.4. The count of genus g tropical curves with this generalised multiplicity is independent of p.
1.1 Tropical correspondence theorems
Tropical geometry is a combinatorial shadow of algebro-geometric problems, well suited to capturing enumerative information. Mikhalkin pioneered the connection between tropical and enumerative geometry by establishing an equality between counts of algebraic curves in toric surfaces of fixed degree and genus and a weighted count of tropical curves, of the same degree and genus [44]. A number of subsequent results have exhibited this correspondence principle [11,12,13, 19, 20, 23, 38, 49]. Notably, Nishinou and Siebert [49] applied degeneration techniques to generalise Mikhalkin’s result to counts of rational curves in toric varieties of arbitrary dimension. Contemporary results often connect tropical geometry to logarithmic Gromov–Witten invariants, which are readily accessible through these degeneration techniques.
A logarithmic Gromov–Witten invariant is defined as an intersection product on the moduli space of stable logarithmic maps and thus tautological cohomology classes on this moduli space may be used as insertions to define new invariants. Two flavours of tautological cohomology classes play an important role in the sequel: Chern classes of cotangent line bundles denoted \(\psi _i\) and the top Chern class of the Hodge bundle denoted \(\lambda _g\). We recall the definition of these classes in Sect. 2.1.1.
Mikhalkin suggested that under a correspondence theorem \(\psi \)-classes should correspond to counts of tropical curves with high valence vertices [45]. Genus zero correspondences with descendants are known for \(\mathbb {P}^2\), \(\mathbb {P}^1\) and \(\mathbb {P}^1 \times \mathbb {P}^1\) [14, 26, 41, 56], with the most general results coming from [25, 38]. More recently, there have been results for \(\lambda _g\) class insertions, but the relationship is more complicated and takes the form of a refined tropical correspondence. The significance of the \(\lambda _g\) class is that it allows us to pass from curve counting on a toric surface X, to curve counting on the associated local Calabi–Yau threefold \(X \times \mathbb {A}^1\). On any threefold, the virtual dimension of the mapping space is independent of the genus, and in this case the associated invariants are exactly the logarithmic Gromov–Witten invariants of X with a \(\lambda _g\) insertion. By packaging these invariants in an appropriate generating function, one obtains refined curve counts.
Refined tropical correspondence theorems are an example of a ubiquitous phenomena in mathematics: quantum analogues to classical results. Such a result depends on a parameter q which recovers the classical result as \(q \rightarrow 1\). In the setting of tropical correspondence theorems this began with [4]. The authors gave multiplicities of plane tropical curves, depending on a parameter q which refined the ordinary multiplicity appearing in the traditional tropical correspondence theorems. In classical situations, such as Severi degrees, enumerative invariants can be calculated via Euler characteristics of relative Hilbert schemes of points on planar curves. The authors of [22] suggested that refined tropical invariants corresponded to Severi degrees with \(\chi _y\) genus in place of the Euler characteristic, see also [48].
Correspondence results involving \(\lambda _g\) class insertions and higher genus logarithmic Gromov–Witten theory appeared later in work of Bousseau [5]. This provides an alternative perspective on the algebro-geometric information encoded in q-refined tropical curve counts. Theorem A is parallel to the work of Bousseau, in that we provide the connection between logarithmic Gromov–Witten theory and the tropical curve counts of Blechman and Shustin [3], who extended the refined counts of Block–Göttsche to plane tropical curves with higher valence vertices.
1.2 Relationship to literature
The contribution of the present paper is to handle the simultaneous presence of \(\lambda _g\) and \(\psi \) class insertions. The place of our result in the literature may be summarised with the following diagram.
-
(1)
We are not aware of how to generalise Bousseau’s argument to the descendant setting, so we must perform certain atomic calculations directly. As a result we provide a new proof of the special case that there are no descendants: a theorem proved in Bousseau’s work. Our proof uses three key ingredients. First, the degeneration formula for logarithmic Gromov–Witten theory. This was already used in Bousseau’s work, but new subtleties appear in the descendant setting. Secondly, the connection between logarithmic Gromov–Witten invariants of toric surfaces and double ramification cycles [54]. Finally, we use the connection between intersections against double ramification cycles and the KdV hierarchy [8, 9].
-
(2)
Our theorem provides an algebro-geometric interpretation of the tropical count defined by Blechman and Shustin. Their invariants, though purely combinatorial, are part of a natural system that contain the geometric refinements of rational curve counts. The generalization of Blechman–Shustin’s work to higher genus is a topic of ongoing interest.
-
(3)
Due to the nature of our correspondence theorem, the tropical curves arising in our computations coincide with the ones considered by Markwig–Rau [41]. Our multiplicities coincide with Markwig–Rau’s multiplicities when q approaches 1. This is a combinatorial statement. From a geometric viewpoint, the \(q \rightarrow 1\) specialization simply recovers the correspondence theorems of [25, 38], in the special case of plane curves. The multiplicity of the tropical curves in our theorem split as a product over multiplicities assigned to vertices. This contrasts with the general case of [25, 38].
1.3 Proof strategy: double-ramification cycles and integrable hierachies
Degeneration arguments and logarithmic intersection theory allow us to build on [27, 53] to prove a simple degeneration formula in our setting. This is parallel to the degeneration arguments of [5, 38, 49] but additional subtleties arise due to the intersection of the \(\lambda _g\) and \(\psi \) conditions. This reduces the proof of Theorem A to computing intersection products of the form
which we call vertex contributions. Here \(\textsf{pt}\) denotes the cohomology class poincare dual to a generic point. These vertex contributions are also descendant logarithmic Gromov–Witten invariants of a toric surface with at most one \(\lambda _g\) class, albeit simpler, with a single point insertion and power of a \(\psi \) class.
In joint work with Ranganathan [54] the third author proved a result implying that vertex contributions could be expressed as intersection products on the moduli space \(\overline{\mathcal {M}}_{g,n}\) of genus g curves
The class \(\textsf{TC}_{g}(\Delta )\) is the toric contact cycle, a higher rank generalisation of the double ramification cycle \(\textsf{DR}_g({\textbf {a}})\). The toric contact sometimes appears in literature, under the moniker the double double ramification cycle, see [31, 33, 46] for background. Both classes are recalled in Sect. 4.
Let \(\Delta \) be the \(2 \times (n+r)\) matrix defined by setting the first n columns zero and the final columns to be the elements of \(\Delta ^\circ \). When computing vertex contributions we may assume \(n=1\). Writing \(\Delta ^x, \Delta ^y\) for the rows of the matrix \(\Delta \), we establish
in Proposition 4.5.5. The naive hope that \(\textsf{DR}_g(\Delta ^x) \cdot \textsf{DR}_g(\Delta ^y) = \textsf{TC}_g(\Delta )\) is false, and only true on the compact type locus, so correction terms are required. The content of Proposition 4.5.5 then is that \(\lambda _g\) annihilates the correction terms. See also [32] for a closely related statement. We are left to compute integrals of the form
These integrals are computed with techniques from the theory of integrable hierarchies. Buryak [8] constructed the double ramification hierarchy, whose hamiltonians are generating functions of these integrals. This double ramification hierarchy coincides with the non-commutative KdV hierarchy [9]. This KdV hierarchy is well understood, allowing us to write explicit formulas for generating functions of \(I_{g,d}(a_1,\ldots ,a_n;b_1,\ldots ,b_n)\).
Example 0.3.1
Set
and fix points \((p_1,p_2,p_3,p_4)= p\). See Fig. 1 for a tropical curve contributing to \({N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}\) for a certain choice of \(p_i\). The multiplicity of this tropical curve is a product over vertices. The vertex marked by \(p_2\) contributes \(\frac{1}{2}(q^{1/2}+q^{-1/2})\) and all other vertices contribute \((-i)(q^{1/2}-q^{-1/2})\). This tells us the total contribution of this tropical curve is \(\frac{i}{2}(q^{1/2}+q^{-1/2})(q^{1/2}-q^{-1/2})^3\).
1.4 Future directions
The long term hope is to compute the descendant partition function of Gromov–Witten invariants of toric threefolds pairs in all genus. To achieve this goal, two generalisations of current results are required: passing to honest threefolds, rather than local surfaces, and higher genus tropical curves. Parker established the primary part of the above computation in the setting of his theory of exploded manifolds [52]. Even assuming the equivalence of logarithmic and exploded invariants, our results are new because we handle descendants.
1.4.1 Logarithmic Gromov–Witten/Donaldson–Thomas invariants
The \(q = e^{iu}\) change of variables appearing in Theorem A is the same change of variables that controls the logarithmic Gromov–Witten/Donaldson–Thomas correspondence [42, 43]. Including descendants in the logarithmic Gromov–Witten/Donaldson–Thomas correspondence is a subtle problem, studied intensely by Moreira, Okounkov, Oblomkov, and Pandharipande [47, 50]. Since the Donaldson–Thomas/ Pandharipande–Thomas wall-crossing is expected to be trivial in this setting, our calculations offer a concrete and testable prediction for these new conjectures.
1.4.2 Higher starting genus
Fix a multiset \(\Delta ^\circ \) of vectors in \(\mathbb {Z}^2 {\setminus } \{(0,0)\}\) with sum zero, together with non-negative integers \(g_0, n\) and \(k_1,\ldots ,k_n\) such that
For every genus \(g\ge g_0\) we consider the following logarithmic Gromov–Witten invariant
The present paper establishes a tropical correspondence theorem in the the case \(g_0=0\). The case \(g_0>0\) without descendant insertions is known [5]. The difficulty with higher genus tropical curves of higher valence is that such curves may be superabundant [38, Remark 2.6]. Consequently, the degeneration and gluing arguments of Sect. 3 fail.
1.4.3 Weak Frobenius Structure Conjecture
In Gross–Hacking–Keel’s construction of the mirror to a log Calabi–Yau surface X [28], the mirror is constructed as the spectrum of an algebra of theta functions: the first example of a theta function is the unit. The weak frobenius structure conjecture asserts that the coefficient of the unit in any product of theta functions is a sum of genus zero descendant logarithmic Gromov–Witten invariants of X. The conjecture is known for cluster varieties [37], and Looijenga pairs satisfying [30, Assumptions 1.1] by [34].
A deformation quantization of the Gross–Hacking–Keel mirror, depending on a parameter q, is known [6]. Once again this involves the construction of an algebra, this time non-commutative, generated by quantum theta functions. Theorem A provides an avenue to explore the connection between the unit term in any product of quantum theta functions, and descendant logarithmic Gromov–Witten invariants with a \(\lambda _g\) insertion. Products of quantum theta functions are computed with quantum scattering diagrams, which one expects are related to refined counts of tropical curves. Upcoming work of Gräfnitz, Ruddat, Zaslow and Zhou offers progress in this direction [24].
1.4.4 Generalised Blechman–Shustin
Our results suggest a generalisation of the multiplicities of Blechman and Shustin to higher genus tropical curves. Indeed, the degeneration arguments of Sect. 3 show that there is a tropical correspondence result for the logarithmic Gromov–Witten invariants
On the tropical side one sums over tropical curves of genus \(g_0\). One can define the generalised Blechman–Shustin multiplicity as the multiplicity of a tropical curve under such a correspondence theorem. Theorem A shows that the generalised Blechman–Shustin multiplicity coincides with the Blechman–Shustin multiplicity in the case \(g_0=0\). A version of Corollary B shows counting tropical curves with the generalised Blechman–Shustin multiplicity is independent of the choice of p. This argument does not suggest that the generalised Blechman–Shustin multiplicity of a tropical curve \(\Gamma \) will be a product over vertices of \(\Gamma \).
2 Tropical Enumerative Geometry
In this section we set up the tropical enumerative problem. Fix \(\Delta ^\circ = \{\delta _1,\ldots ,\delta _r\}\) a multiset of non-zero vectors in \(\mathbb {Z}^2\) with sum zero. Fix also an ordered tuple \({\textbf {k}} = (k_1,\ldots ,k_n)\) of n non–negative integers. In the main body, \(\Delta ^\circ \) will record the tangency order of curves with the boundary and \({\textbf{k}}\) will record the \(\psi \) class power attached to each of the n marked points.
In the sequel we partially record these data in a \(2\times (r+n)\) matrix denoted \(\Delta \). The first n columns are zero and the final r columns are the vectors \(\delta _i\). In writing down such a matrix we implicitly choose an order on the \(\delta _i\); we fix this order without further comment.
2.1 First definitions
Define the lattice length \(\ell \) of a vector \(\delta _i\in \mathbb {Z}^2\) to be the maximal positive integer \(\ell \) such that one can write \(\delta _i = \ell \overline{\delta }_i\) for \(\overline{\delta }_i\) a vector in \(\mathbb {Z}^2\) called the direction of \(\delta _i\).
2.1.1 Tropical curves
Our definition of tropical curve coincides with the definition presented in [5, Section 2.3]. We refer the reader to [2, 38, 44, 49] for background.
Definition 1.1.1
A graph \(\Gamma \) is a triple consisting of
-
(1)
a finite set of vertices \(V(\Gamma )\);
-
(2)
a finite set \(E_f(\Gamma )\) of pairs of elements of \(V(\Gamma )\) called the bounded edges;
-
(3)
and a multiset \(E_{\infty }(\Gamma )\) of elements of \(V(\Gamma )\) called the unbounded edges.
For us, all graphs are connected. This means for any two elements v, w of \(V(\Gamma )\) there exists a sequence of elements \(v=u_1,\ldots ,u_k=w\) such that \(\{u_i,u_{i+1}\}\) lies in \(E_f(\Gamma )\) for all i.
An abstract tropical curve \(|\Gamma |\) is the underlying topological space of a graph \(\Gamma \).
Definition 1.1.2
A parametrised tropical curve \({h}:{\Gamma } \rightarrow \mathbb {R}^2\) consists of the following data.
-
(1)
A graph \(\Gamma \) and a non–negative integer \(g_V\) assigned to each vertex V of \(\Gamma \) called the genus.
-
(2)
A bijective function
$$\begin{aligned} L: E_\infty (\Gamma )\rightarrow \{1,\ldots ,r+n\}. \end{aligned}$$ -
(3)
A vector weight \(v_{V,E} \in \mathbb {Z}^2\) for every edge–vertex pair (V, E) with \(E\in E_f(\Gamma )\cup E_\infty (\Gamma )\) and \(V\in E\) such that for every vertex V, the following balancing condition is satisfied:
$$\begin{aligned} \sum _{E: V \in E} v_{V,E}=0. \end{aligned}$$ -
(4)
For each bounded edge \(E \in E_f(\Gamma )\) a positive real number \(\ell (E)\), called the length of E.
-
(5)
A map of topological spaces \(h: |\Gamma | \rightarrow \mathbb {R}^2\) such that restricting h to the edge \(\{v_1,v_2\}\) is affine linear to the line segment connecting \(h(V_1)\) and \(h(V_2)\) and moreover
$$\begin{aligned} h(V_2) - h(V_1) = \ell (E)v_{V_1,E}. \end{aligned}$$Also, restricting h maps an unbounded edge E associated to vertex V to the ray \(h(V) + \mathbb {R}_{\ge 0}v_{V,E}\).
We say h has degree \(\Delta \) if \(v_{V,E}\) coincides with the \(L(E)^\textrm{th}\) column of \(\Delta \) whenever \(E \in E_\infty (\Gamma )\). The genus of a parametrised tropical curve is obtained by adding the sum of \(g_V\) to the Betti number of \(|\Gamma |\). The weight of an edge E, denoted w(E), is the lattice length of \(v_{V,E}\).
For a vertex V of \(\Gamma \) write \(E_\infty ^+(V)\) for the set of unbounded edges E adjacent to V such that \(v_E\ne 0\) and \(E_f(V)\) for the set of bounded edges adjacent to V. The valency \(\textsf{val}_V\) of a vertex V is the cardinality of \(E_f(V)\cup E_\infty ^+(V)\). Write \(\Delta _V^\circ \) for the multiset of all \(v_{V,E}\) for fixed V.
2.2 Multiplicities
In the sequel we count parametrised genus zero tropical curves of degree \(\Delta \) satisfying certain incidence conditions. Tropical curves are counted with a multiplicity, closely related to the multiplicity of [3]. This multiplicity is a product over multiplicities assigned to each vertex of our tropical curve. Fix for the remainder of the section a parametrised tropical curve \({h}:\Gamma \rightarrow \mathbb {R}^2\).
We will be counting tropical curves passing through a tuple of points \(p=(p_1,\ldots ,p_n)\) in \(\mathbb {R}^2\), and thus vertices of \(\Gamma \) come in two flavours. A vertex is pointed if its image under h coincides with one of the \(p_i\). Vertices which are not pointed are unpointed.
2.2.1 Notation
Given two elements \(v_1,v_2 \in \mathbb {Z}^2\) we define \(v_1\wedge v_2\) to be the determinant of the matrix with first column \(v_1\) and second column \(v-2\). Following [3], define functions of q
The cyclic group with N elements acts on the set of ordered tuples of N distinct elements from the set \(\{1,\ldots ,N\}\). The action is induced by sending the integer in position i to position \(i+1\) mod N. The set of orbits of this action is the set \(\Omega _N\) of cyclic permutations. We sometimes write \(\Omega _N=\Omega _N(a_1,\ldots ,a_N)\) when we wish to think of \(\Omega _N\) as the set of cyclic permutations of vectors \((a_1,\ldots ,a_N)\). Where no confusion is likely we omit \((a_1,\ldots ,a_N)\) from the notation. For \(\omega \) a cyclic permutation, choose an ordered tuple \(\tilde{\omega }\) in the orbit \(\omega \). Define
where \(\tilde{\omega }(i)\) sends i to the element in the \(i^{\textsf{th}}\) position of the chosen representative \(\tilde{\omega }\). As the vectors \(a_i\) will always have sum zero, \(k(\omega )\) is well defined. Define also a function of formal variable q
2.2.2 Multiplicity of an unpointed vertex
Let V be an unpointed trivalent vertex with outgoing vector weights the balanced set of vectors \((a_1,a_2,a_3)\). The multiplicity assigned to V is
2.2.3 Multiplicity of a pointed vertex
A vertex V adjacent to edges with vector weights \(a_1,\ldots ,a_N\) defines a balanced set of vectors \(\Delta _V = (a _1,\ldots ,a_N)\) in \(\mathbb {R}^2\). From this data we define a function of q
which is the multiplicity of V.
2.2.4 Multiplicity of a tropical curve
The multiplicity of the parametrised tropical curve \({h}:{\Gamma } \rightarrow \mathbb {R}\) is the product of \(m_V\) over vertices of \(\Gamma \).
2.2.5 Blechman–Shustin multiplicity
The Blechman–Shustin multiplicity of a (pointed) vertex V of valency N with outgoing edges of vector weight \(a_1,\ldots ,a_N\) denoted \(\theta _N(a_1,\ldots ,a_N)\) is defined recursively on the valency. When \(N=3\) they defined
and then recursively
Here a hat denotes omission.
2.2.6 Formula for Blechman–Shustin multiplicity
We provide an explicit formula for the Blechman–Shustin multiplicity.
Proposition 1.2.1
For all choices of \(a_i\), there is an equality
The proof of Proposition 1.2.1 was communicated to us by Thomas Blomme.
Proof
The proof proceeds by induction on N. When \(N = 3\) there are two cyclic orders which have representatives \(\omega _1=(3,1,2)\) and \(\omega _2=(3,2,1)\). We thus learn
For the inductive step assume \(\theta _{N-1}(a_1,\ldots ,a_{N-1}) = \frac{(N-1)!}{3!}\mu _{N-1}(a_1,\ldots ,a_{N-1})\). Let \(W_N\) be the set of ordered pairs (i, j) where \(1 \le i<j\le N\). Define \(\Omega \) to be the set of cyclic permutations of \((a_1,\ldots ,a_N)\) and \(\Omega _{i,j}\) the set of cyclic permutations of
where hat denotes omission. We now proceed with the following chain of equalities.
In the sequel use \(\Omega [i,j]\) for \(i \ne j\) to denote the set of cyclic orders of \((a_1,\ldots ,a_N)\) in which \(a_i,a_j\) are adjacent. There is a two to one map
obtained by coupling \(a_i\) and \(a_j\). The map is two to one to account for the two orders of \(a_i\) and \(a_j\) and moreover \(k(\varphi (x)) = k(x) \pm a_i \wedge a_j\) where the sign depends on the order of \(a_i,a_j\). We deduce,
\(\square \)
2.3 Moduli of tropical curves and maps
Following [40], note that assuming \(n>0\) a parametrised tropical curve of degree \(\Delta \)
is specified by the following two data:
-
(1)
the image of the first (necessarily contracted) unbounded edge \(h(E_1)\);
-
(2)
the data of \(\Gamma \) and the length of its edges.
The slope of each unbounded edge is determined by the degree of h and the slope of bounded edges are determined by the balancing condition.
For m a non–negative integer, there is a cone complex \(\mathcal {M}_{0,m}^\textsf{trop}\) whose points biject with abstract tropical curves \(\Gamma \) equipped with m unbounded ends [20, 36]. Datum (1) above is a point in \(\mathbb {R}^2\) and the second datum is a point in \(\mathcal {M}_{0,n+r}^\textsf{trop}\). In this way \(\mathbb {R}^2\times \mathcal {M}_{0,n+r}^\textsf{trop}\) is a moduli space of parametrised tropical curves [10].
There are n evaluation maps
sending a parametrised tropical curve h to the image of the \(i^\textsf{th}\) unbounded edge under h. This image is necessarily a single point. The cone complex \(\mathcal {M}_{0,n +r}^\textsf{trop}\) has a natural embedding into a vector space such that the evaluation maps are pulled back from linear functions [20].
2.3.1 Dimension of a cone
The combinatorial type of a tropical curve corresponding to a point p of \(\mathbb {R}^2 \times \mathcal {M}_{0,n+r}^\textsf{trop}\) is the data of the corresponding cone \(\sigma _p\) of \(\mathcal {M}_{0,n+r}^\textsf{trop}\). Consider now a parametrised tropical curve of degree \(\Delta \). Assume our tropical curve has valency 3 at all vertices except the vertices supporting one of the first n marked points \(\{q_1,\ldots ,q_n\}\) which are \(\ell _i +2\) valent for \(\ell _i\) non–negative integers.
Lemma 1.3.1
There is an equality
Proof
The dimension of a cone in \(\mathcal {M}_{0,n}^\textsf{trop}\) is the number of bounded edges in a tropical curve of the corresponding combinatorial type. We induct on the number of vertices.
If there is a single vertex then there are no interior edges, r coincides with the valency and the equality reads
so the result is true.
For the inductive step suppose we add a vertex \(V_0\) of valency \(k_0\) to the graph by replacing an unbounded edge with a bounded one to \(V_0\). This increases \(\textsf{dim}(\sigma _p)\) by one because there is one new unbounded edge. The value of r is increased by \(k_0 - 2\) and so the right hand side of our equality increases by one overall. \(\square \)
2.4 Tropical counting problem
Recall we have fixed a pair \((\Delta ^\circ ,{\textbf {k}})\). In this section we associate a function of q to this data. The function of q is a count of tropical curves with multiplicity passing through a generic tuple of points.
2.4.1 Passing through points
Let \(p=(p_1,\ldots ,p_k)\) be a tuple of points with \(p_i \in \mathbb {R}^2\). A parametrised tropical curve h of degree \(\Delta \) is said to pass through p with degree \({\textbf {k}}\) if \({h}(E_i) = p_i\) for \(i=1,\ldots ,n\) and \(E_i\) is attached to a vertex of valency at least \(k_i+2\). We say a parametrised tropical curve h through p of degree \(\Delta \) is rigid if h is unique among its combinatorial type in having this property.
2.4.2 Weighted count of tropical curves
For p a generic tuple of points in \(\mathbb {R}^2\), let \(T_{\Delta ,p}^{{\textbf {k}}}\) be the set of rigid parametrised tropical curves of degree \(\Delta \) passing through p with degree \({\textbf {k}}\).
Proposition 1.4.1
There is an open dense subset \(U_{n}^{{\textbf {k}} }\) of \(\textsf{Ev}^\textsf{trop}\) such that whenever \(p\in U_{n}^{{\textbf {k}} }\) then \(T_{\Delta ,p}^{{\textbf {k}}}\) is a finite set and the valency of the vertex supporting unbounded edge \(E_i\) is \(k_i + 2\). Moreover we may choose \(U_{n}^{{\textbf {k}} }\) such that all parametrised tropical curves passing through p with degree \({\textbf {k}}\) are rigid.
In the sequel we assume \(p_i \ne p_j\) whenever i and j are distinct without further comment.
Remark 1.4.2
Since there are only finitely many combinatorial types of rigid parametrised tropical curves of degree \(\Delta \), it is automatic that the set \(T_{\Delta ,p}^{{\textbf {k}}}\) is finite.
Proof
Let T be the set of points in \(\mathcal {M}_{0,n}\times \mathbb {R}^2\) corresponding to degree \(\Delta \) tropical curves passing through p with degree \({\textbf {k}}\). Our task is to show that by choosing \(U_n^{{\textbf {k}}}\) generically we may ensure first \(T =T_{\Delta ,p}^{{\textbf {k}}} \) and second each point of T lies in the interior of cones in which the vertex mapped to marked point \(p_i\) has valency precisely \(k_i+2\).
Since \(\mathcal {M}_{0,n}^\textsf{trop}\) has finitely many cones, it suffices to identify for each cone \(\sigma \) a dense open \(U_\sigma \) of \(\textsf{Ev}^\textsf{trop}\) such that \(T\cap \sigma = T_{\Delta ,p}^{{\textbf {k}}}\cap \sigma \) and if this set is not empty then the combinatorial type of tropical curves corresponding to points in the interior of \(\sigma \) have valency \(k_i+2\) at the vertex supporting \(E_i\).
We assume marked point \(q_i\) on \(\Gamma \) has valency \(k_i'+2\) for every tropical curve associated to a point in the interior of \(\sigma \). If a point p of \(\mathcal {M}_{0,n} \times \mathbb {R}^2\) corresponds to a tropical curve in \(T_{\Delta ,p}^{{\textbf {k}}}\) then the vertex carrying marked point i must have valency at least \(k_i\). Thus we may assume the vertex of \(\Gamma \) mapped to \(p_i\) has valency at least \(k_i\). Assuming the set \(\{p_i\}\) of marked points are distinct, Lemma 1.3.1 implies \(\textsf{dim}(\sigma )\le N-3-\sum _i (k_i-3)\). Thinking of \(\sigma \) as a cone embedded in \(\mathbb {R}^\ell \), the restriction of \(\textsf{Ev}\) to \(\sigma \) then specifies a linear map \(\mathbb {R}^{\textsf{dim}(\sigma )} \rightarrow \mathbb {R}^{2n}\). For a generic choice of \(\{p_i\}\) and for fixed \(\sigma \) whenever \(\sigma \) contains a point of T this linear map surjects. Rank-nullity gives a lower bound and the fact \(k_i'\ge k_i\) for all i gives the following upper bound
from which we deduce \(k_i' = k_i\) for all i. \(\square \)
Definition 1.4.3
Recall notation \(m_V\) for multiplicities of vertex V defined in Sect. 1.2.3. Fix \( p = (p_1,\ldots ,p_n)\) in \(U_n^{{\textbf {k}}}\) and define
Define also \({N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}(1)={N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}\).
A priori the count \({N}_{\textsf{trop}}^{\Delta ,{\textbf {k}}}(q)\) depends on the choice of p. We suppress this dependence from our notation as it is independent a posteriori.
2.5 Anatomy of tropical curves
We record properties of tropical curves which will be of later use.
Proposition 1.5.1
The complement of the pointed vertices of a parametrised tropical curve h in \(T_{\Delta ,p}^{{\textbf {k}}}\) is a union of trees, each with a single unbounded edge.
One may specify a component of this complement by the collection \(\kappa _i\) of vertices which lie in its closure. For each \(\kappa _i\) define a parametrised tropical curve
as follows. First define \(\Gamma _i\) from h by deleting from \(\Gamma \) every vertex not in \(\kappa _i\), and also deleting every edge which has at least one end not in \(\kappa _i\). The map \(h_i\) is the restriction of h to \(\Gamma _i\).
Proof
All \(\Gamma _i\) are trees by [44, Proposition 4.19]. We are required to show \(\Gamma _i\) has precisely one unbounded edge which is not contracted by \(h_i\). This is because unbounded edges contracted by \(h_i\) are the pointed vertices which are deleted in the proposition statement (see Fig. 2 for an example).
Assume that \(\Gamma _i\) has k contracted unbounded edges and \(\ell \) unbounded edges which are not contracted. The moduli space of parametrised tropical curves with the same combinatorial type as \(\Gamma _i\) is written \(\sigma _i\) and has dimension \(2k + \ell -1\). Since h was rigid, so is \(h_i\). In order for \(h_i\) to be rigid, the dimension of \(\sigma _i\) must equal two times the number of bounded edges. That is,
Thus there is precisely one unbounded edge which is not contracted. \(\square \)
3 Precise Statement of Main Theorem
Fix \((\Delta ^\circ ,{\textbf {k}})\) as in Sect. 1 and recall notation \(\Delta \) for the associated matrix from the same section. Fixing a lattice direction \(\rho \) write \(n_\rho \) for the sum of the lattice lengths of the vectors in \(\Delta ^\circ = \{\delta _1,\ldots ,\delta _r\}\) of direction \(\rho \). Associated to \((\Delta ^\circ ,{\textbf {k}})\) is the following data.
-
(1)
Set \(X_\Delta \) the unique toric surface corresponding under the toric dictionary to the fan with rays in the direction of the vectors of \(\Delta ^\circ \). See [18] for the toric dictionary.
-
(2)
Set \(\beta _\Delta \) the unique curve class on \(X_{\Delta }\) whose intersection with the boundary divisor corresponding to the ray \(\rho \) is \(n_\rho \).
We consider \(X_\Delta \) as a logarithmic scheme with the divisorial logarithmic structure from its toric boundary.
3.1 Logarithmic Gromov–Witten Invariants
The moduli space parametrising \((r+n)\)-pointed, genus g stable maps to \(X_{\Delta }\) of degree \(\beta _{\Delta }\) with the tangency to the toric boundary in the final r markings given by the vectors \(\delta _i\), \(i=1,\dots r\) is not proper. The space of stable logarithmic maps of type \(\Delta \) written \(\textsf{M}_{g,\Delta } = \textsf{M}_{g,\Delta }^{\log }(X_{\Delta }|\partial X_{\Delta },\beta _{\Delta })\) is a compactification [1, 15, 29]. In the relative situation, such a moduli space exists for any logarithmically smooth proper morphism \(X \rightarrow S\).
3.1.1 Moduli of curves
Writing \(\overline{\mathcal {M}}_{g,m}\) for the moduli space of stable genus g curves with m marked points. This space comes equipped with universal curve \(p:\mathcal {C} \rightarrow \overline{\mathcal {M}}_{g,m}\). Since under the hypotheses of the introduction \(m=n+r>2\), there is a forgetful morphism
The moduli space of stable curves carries two flavours of tautological bundle of import to us.
-
The Hodge bundle \(\mathbb {E}_g = p_\star \omega _p\) where \(\omega _p\) is the relative dualising sheaf of p. We write \(\lambda _g = c_g(\mathbb {E}_g)\).
-
Note \(\overline{\mathcal {M}}_{g,n+r}\) carries \(n+r\) tautological sections identifying the marked points. Denote the first n sections as \(s_1,\ldots ,s_n\) and define
$$\begin{aligned} \psi _i = c_{1}(s_i^\star \omega _p). \end{aligned}$$
Both \(\psi _i\) and \(\lambda _g\) can be pulled back along \(\pi \) to define tautological classes on the moduli space of stable logarithmic maps.
Remark 2.1.1
The \(\psi _i\) and \(\lambda _g\) classes on the moduli space of logarithmic stable maps can instead be defined directly as Chern classes of tautological bundles on \(\textsf{M}_{g,\Delta }\). These definitions are equivalent: see [38, Proposition 3.4] for the case of \(\psi _i\) classes.
For the \(\lambda _g\) class, we will argue that the Hodge bundle on \(\textsf{M}_{g,\Delta }\) coincides with the pullback of the Hodge bundle on \(\overline{\mathcal {M}}_{g,n+r}\) along \(\pi \). Indeed write \( q:C\rightarrow \textsf{M}_{g,\Delta }\) for the domain universal curve and \(p'=\pi ^\star p: \pi ^\star \mathcal {C}\rightarrow \textsf{M}_{g,\Delta }\) for the pullback of the universal curve from the moduli of stable curves. There is a stabilisation map \(\textsf{stab}:C \rightarrow \pi ^\star \mathcal {C}\) over \(\textsf{M}_{g,\Delta }\). In this notation, the promised identification of Hodge bundles is an isomorphism between \(R^1p_\star ' \mathcal {O}_{\pi ^\star \mathcal {C}}\) and \(R^1q_\star \mathcal {O}_{C}\). The identification is immediate from two facts: first the five term exact sequence associated to the relative Leray spectral sequence for the functors \(\textsf{stab}_\star \) and \(p'_\star \); second properties of stabilisation for a family of prestable curves [57, TAG 0E8A].
3.1.2 Evaluation maps
For each of the \(n+r\) marked points \(\{q\}\) there is a tautological morphism
called the evaluation morphism associated to q. This morphism sends a stable logarithmic map to the image of q in \(X_\Delta \). Write \(\textsf{ev}_1,\ldots ,\textsf{ev}_n\) for evaluation maps at the first n sections.
3.1.3 Invariants
The moduli space \(\textsf{M}_{g,\Delta }\) carries a virtual fundamental class \(\left[ \textsf{M}_{g,\Delta }\right] ^\textsf{vir}\) allowing us to define logarithmic Gromov–Witten invariants. We will consider the following descendant logarithmic Gromov–Witten invariants with a \(\lambda _g\) insertion.
3.2 Main theorem
We are now ready to state our main theorem.
Theorem 2.2.1
(Theorem A). Set \(q=e^{iu}\). There is an equality
Remark 2.2.2
Bousseau [5] proved a tropical correspondence result for integrals of the form
We provide a new proof of the special case \(g_\Delta =0\) of Bousseau’s result: set \({\textbf {k}}\) to be the zero vector in Theorem A. Both our proof and Bousseau’s work proceed by reducing to computing vertex contributions. Bousseau computes vertex contributions through a consistency argument. We are able to handle descendants because our computation of the vertex contributions in Sects. 4 and 5 involves intersection theory on the moduli space of stable curves. Furthermore, in this case, the vertex contributions are of the same form for \(g_{\Delta } \ne 0\), so the same technique can be used to reprove Bousseau’s general result.
4 Decomposition and Gluing
Fix once and for all a generic choice of points p in \(\mathbb {R}^2\). By generic we mean \(p\in U^{\textbf {k}}_n\) from Proposition 1.4.1. The arguments of this section follow [5] and proceed in the following steps.
-
(1)
Use the tropical curves in \(T_{\Delta ,p}^{{\textbf {k}}}\) to build a toric degeneration of \(X_{\Delta }\), see Sect. 3.1.
-
(2)
Appeal to the decomposition formula of [2] to turn a computation on the central fibre of this degeneration into a sum over the tropical curves, see Sect. 3.2.
-
(3)
Use the gluing theorem of [53] to decompose the contribution of each tropical curve as a product of contributions from each vertex. See Sect. 3.4.
4.1 Toric degeneration
Following [5, 4.2], [49, Proposition 3.9] and [38, Lemma 3.1], the set of tropical curves \(T_{\Delta ,p}^\mathbf{{k}}\) determine a polyhedral decomposition \(\mathcal {P}\) of \(\mathbb {R}^2\) satisfying
-
the asymptotic fan of \(\mathcal {P}\) is the fan of \(X_{\Delta }\).
-
The image of the vertices of any \(h: \Gamma \rightarrow \mathbb {R}^2\) in \(T^\mathbf{{k}}_{\Delta ,p}\) are vertices of \(\mathcal {P}\) and the image of any edges of h are a union of edges of \(\mathcal {P}\).
Moreover by rescaling \(\mathbb {R}^2\), we can assume \(\mathcal {P}\) to be an integral polyhedral decomposition. This determines a degeneration
with general fibre \(X_{\Delta }\) and special fibre \(X_0 = \cup _{V} X_V\) a union of components indexed by vertices of the decomposition \(\mathcal {P}\). Since \(\nu \) is toric, equipping \(X_{\mathcal {P}}\) and \(\mathbb {A}^1\) with the divisorial logarithmic structures from their respective toric boundaries, makes \(\nu \) into a logarithmically smooth morphism.
Restricting to the central fibre, there is a logarithmically smooth morphism \(X_0\rightarrow {\textsf{pt}}_\mathbb {N}\). Write \(\textsf{M}_{g,\Delta }(X_0/{\textsf{pt}}_{\mathbb {N}})\) for the moduli space of stable logarithmic maps, where a family over a fine and saturated logarithmic scheme S is a commutative diagram
with C/S a logarithmic curve, and the contact order data is specified by \(\Delta \). The notation highlights that although the discrete data is unchanged, the target has been degenerated.
Each of the \(p_j\) determines a section of \(\nu \) [5, Section 4.2]. The restriction of this section to the special fibre defines a point
Define \(\textsf{M}_{g,\Delta }(X_0/{\textsf{pt}}_{\mathbb {N}},P^0)\) as the fibre product
By deformation invariance of logarithmic Gromov–Witten invariants and [17, Example 6.3.4 (a)],
where \([\textsf{M}_{g,\Delta }(X_0/{\textsf{pt}}_{\mathbb {N}},P^0)]^\textsf{vir} = i_{P^0}^{!}[\textsf{M}_{g,\Delta }(X_0/{\textsf{pt}}_{\mathbb {N}})]^\textsf{vir}\).
4.2 Decomposition
We now use the decomposition formula of [2] to write \(N_{g,\Delta }^{{\textbf {k}}}\) of integrals indexed by the tropical curves in \(T^{{\textbf {k}}}_{\Delta ,p}\).
4.2.1 Genus g from genus 0
All tropical curves in \(T_{\Delta ,p}^{{\textbf {k}}}\) have genus zero, however the decomposition formula provides the integral as a sum over genus g tropical curves. Given \(h:\Gamma \rightarrow \mathbb {R}^2 \in T_{\Delta ,p}^{{\textbf {k}}}\) we can build genus g tropical curves \(\tilde{h}: \tilde{\Gamma } \rightarrow \mathbb {R}^2\) in two steps.
-
(1)
Add a genus zero bivalent unpointed vertex to \(\Gamma \) at each point \(h^{-1}(V)\) for V a vertex of \(\mathcal {P}\).
-
(2)
Distribute an assignment of genus \(g_V \in \mathbb {N}\) to the vertices V of \(\tilde{\Gamma }\) such that \(\sum _{V \in \tilde{\Gamma }} g_V = g\).
We call the resulting set of parametrised tropical curves \(T^{g,{\textbf {k}}}_{\Delta ,p}\).
4.2.2 Maps marked by \(\tilde{h}\)
Not all rigid parametrised tropical curves lie in \(T^{g,{\textbf {k}}}_{\Delta ,p}\). For any rigid, genus g parametrised tropical curve \(\tilde{h}: \tilde{\Gamma } \rightarrow \mathbb {R}^2\) passing through p, an n-pointed, genus g stable logarithmic map marked by \(\tilde{h}\) is the following data.
-
(1)
An n-pointed genus g stable logarithmic map \(f: C/{\textsf{pt}}_{\mathcal {M}} \rightarrow X_0/{\textsf{pt}}_{\mathbb {N}}\) of type \(\Delta \) passing through \(P^0\).
-
(2)
For each vertex \(V \in V(\tilde{\Gamma })\), an ordinary stable map \(f_V:C_V \rightarrow X_{\Delta _V}\) of class \(\beta _{\Delta _V}\) with marked points \(x_\delta \) for any \(\delta \in \Delta _V\) such that \(f_V(x_{\delta }) \in D_\delta \), where \(D_\delta \) is the toric divisor dual to \(\delta \).
These are subject to the following requirements. The underlying curve of C is isomorphic to the curve given by gluing the curves \(C_V\) along the points \(x_{\delta }\) according to \(\tilde{\Gamma }\). Moreover, under the isomorphism above, the scheme-theoretic morphism \(C \rightarrow X_0\) obtained by gluing the morphisms \(f_V\) agrees with the underlying morphism of f.
The moduli space of n-pointed genus g stable logarithmic maps marked by \(\tilde{h}\), denoted \(\textsf{M}^{\tilde{h}}_{g,\Delta }\) is a proper Deligne–Mumford stack with a natural perfect obstruction theory and a forgetful morphism
4.2.3 From maps marked by \(\tilde{h}\) to Gromov–Witten invariants
For each \(\tilde{h} \in T^{g,{\textbf {k}}}_{\Delta ,p}\) define
where we abuse notation by writing \(\lambda _g = i_{\tilde{h}}^\star \lambda _g\) and \(\psi _i = i_{\tilde{h}}^\star \psi _i\). The decomposition formula of [2] tells us that
Here \(n_{\tilde{h}}\) denotes the smallest positive integer such that \(\tilde{h}\) has integral vertices after being rescaled by a factor of \(n_{\tilde{h}}\). The number \(|\textsf{Aut}(\tilde{h})|\) is the order of the group of automorphisms of the parametrised tropical curve \(\tilde{h}\).
Proposition 3.2.1
There is an equality of rational numbers
Proof
Any \(\tilde{h} \in T^{g,{\textbf {k}}}_{\Delta ,p}\) is a rigid parametrised tropical curve. Since \(\mathcal {P}\) is chosen to be integral all such curves have \(n_{\tilde{h}} = 1\). Only tropical curves in \(T^{g,{\textbf {k}}}_{\Delta ,p}\) contribute because all other rigid tropical curves have positive Betti number. The presence of the \(\lambda _g\) insertion ensures that such tropical curves do not contribute, see [5, Lemma 8]. Finally, there are no automorphisms of \(\tilde{h}\) because it is rational. \(\square \)
4.3 Vertex contribution
Let \(\tilde{h}: \tilde{\Gamma } \rightarrow \mathbb {R}^2\) be an element of \(T^{g,{\textbf {k}}}_{\Delta ,p}\), there are four types of vertices of \(\tilde{\Gamma }\).
-
(1)
Trivalent unpointed vertices, coming from \(\Gamma \), we call the set of these \(V^{3}(\tilde{\Gamma })\).
-
(2)
Bivalent pointed vertices, coming from \(\Gamma \), we call the set of these \(V^{2\textsf{p}}(\tilde{\Gamma })\).
-
(3)
Bivalent unpointed vertices, not coming from \(\Gamma \), we call the set of these \(V^{2}(\tilde{\Gamma })\).
-
(4)
m-valent (\(m \ge 3\)) pointed vertices, coming from \(\Gamma \), we call the set of these \(V^{\textsf{mp}}(\tilde{\Gamma })\).
Recall \(\Delta _V^\circ \) denotes the balanced multiset of vectors arising from edges adjacent to V. Write \(\Delta _V\) for the matrix whose columns are the vectors \(v_{V,E}\) for E any edge adjacent to V. Just as in Sect. 2, this determines a toric surface \(X_{\Delta _V}\), a curve class \(\beta _{\Delta _V}\) and tangency conditions for \(\beta _{\Delta _V}\) with respect to the toric boundary. If the elements of \(\Delta _V^{\circ }\) do not span \(\mathbb {R}^2\), replace \(X_{\Delta _V}\) with some toric compactification, the choice is unimportant.
Recall from Proposition 1.5.1 that the complement of the pointed vertices are trees with a single unbounded edge. Consequently we may choose a consistent orientation from pointed vertices to the unbounded edges. We now fix this orientation without further comment.
4.3.1 Trivalent unpointed contribution
Let V be an unpointed trivalent vertex of \(\tilde{\Gamma }\). For our fixed orientation \(X_{\Delta _V}\) has two divisors oriented inwards \(D_1,D_2\) with associated edges \(E_{V}^{\textsf{in},1},E_{V}^{\textsf{in},2}\) and one oriented outwards \(D_{\textsf{out}}\). Let \(\textsf{M}_{g_V,\Delta _V}\) be the moduli space of stable logarithmic maps to \(X_{\Delta _V}\) of genus \(g_V\) and of type \(\Delta _V\). We have evaluation morphisms with image in the toric boundary of X. We can therefore think of these evaluation maps as morphisms
Define the trivalent unpointed contribution
4.3.2 Bivalent pointed contribution
Let V be a pointed bivalent vertex of \(\tilde{\Gamma }\). Let \(\textsf{M}_{g_V,\Delta _V}\) be the moduli space of stable log maps to \(X_{\Delta _V}\) of genus \(g_V\) and of type \(\Delta _V\). We have an evaluation morphism \({{\,\mathrm{\textsf{ev}}\,}}_V: \textsf{M}_{g_V,\Delta _V} \rightarrow X_{\Delta _V}\). Define the bivalent pointed contribution
4.3.3 Bivalent unpointed contribution
Let V be a bivalent unpointed vertex of \(\tilde{\Gamma }\). Let \(\textsf{M}_{g_V,\Delta _V}\) be the moduli space of stable log maps to \(X_{\Delta _V}\) of genus \(g_V\) and of type \(\Delta _V\). The orientation defines a divisor \(D_{\textsf{in}}\) with associated edge \(E_{\textsf{in}}\). Define the bivalent unpointed contribution
4.3.4 m-Valent pointed contribution
Let V be an m-valent pointed vertex of \(\tilde{\Gamma }\) (\(m \ge 3\)). Since it is a higher valency pointed vertex there is a corresponding \(k_i = m-2 \ge 1\). Let \(\textsf{M}_{g_V,\Delta _V}\) be the moduli space of stable log maps to \(X_{\Delta _V}\) of genus \(g_V\) and of type \(\Delta _V\). We have an evaluation morphism \({{\,\mathrm{\textsf{ev}}\,}}_V: \textsf{M}_{g_V,\Delta _V} \rightarrow X_V\). Define the m-valent pointed contribution
4.4 Gluing the vertices
Proposition 3.2.1 reduces computing \(N^{\textbf {k}}_{g,\Delta }\) to integrals over (the virtual class of) \(\textsf{M}^{\tilde{h}}_{g,\Delta }\). We now express these integrals as a product of the vertex contributions defined in Sect. 3.3. The intuitive picture is that curves mapping to \(X_{\Delta _V}\) glue together to form a map from a curve to \(X_0\). In [5], the author proves a gluing statement at the level of virtual classes on the locus where the curve does not map into the torus fixed points of any \(X_{\Delta _V}\). It is then shown that the \(\lambda _g\) insertion will kill any contribution supported away from this locus. This is no longer true by the same arguments in this situation due to the presence of higher valent vertices; the key being that [5, Lemma 17] is false in our situation. Instead, we use the gluing formula of [53]. In general, this gluing formula is somewhat different due to allowing target expansions, but in the special case of degeneration of surfaces with at worst triple points, then the naive gluing formula holds when cutting along a single edge [53, 6.5.3], and we will use this to prove that \(N_{g,\Delta }^{{\textbf {k}}}\) is equal to a product of the vertex contributions.
4.4.1 Notation
For V a pointed vertex of \(\tilde{\Gamma }\), there is an \(i_V \in \{1,\ldots ,n\}\) such that \(P_{i_V}^0 \in X_{\Delta _V} \subset X_0\). Let \(\textsf{M}'_{g_V,\Delta _V}\) be the fibre product
As in Sect. 3.1, there is a virtual class \([\textsf{M}'_{g_V,\Delta _V}]^{\text { vir}}\) on \(\textsf{M}'_{g_V,\Delta _V}\) given by Gysin pullback which pushes forward to \({{\,\mathrm{\textsf{ev}}\,}}_V^*({{\textsf{pt}}}) \cap [\textsf{M}_{g_V,\Delta _V}]^{\text { vir}}\). For V an unpointed vertex, set \(\textsf{M}'_{g_V,\Delta _V} = \textsf{M}_{g_V,\Delta _V}\)
Observe that for each \(E \in E_f(\tilde{\Gamma })\), there are two natural maps
because each edge is adjacent to two vertices. With this observation we build a map
For \(\tilde{h}\in T^{g,\textbf{k}}_{\Delta , p}\) we define the map:
by partially normalizing the source curve of a stable logarithmic map marked by \(\tilde{h}\) (See [5, p.\(36-37\)] for a detailed construction). Let \(\kappa _{\tilde{h}}: \prod _{E \in E_{f}(\tilde{\Gamma }) } D_E \rightarrow \prod _{E \in E_{f}(\tilde{\Gamma })} D^2_E\) be the diagonal embedding and similarly, for an edge \(F \in E_f(\tilde{\Gamma })\), let \(\kappa _F:D_F \rightarrow D_{F} \times D_F\) the diagonal embedding. We will use the same notation to refer to the cohomology class associated to the diagonal embedding.
Proposition 3.4.1
There is an equality of Chow cycles
Proof
We induct on \(| V(\tilde{\Gamma }) |\). The base case \(| V(\tilde{\Gamma }) |=1\) is vacuous. We now assume the statement is true for \(| V(\tilde{\Gamma }) |< m\) with \(m\ge 2\). Let the source graph \(\tilde{\Gamma }\) of \(\tilde{h}\) have exactly m vertices. We cut at a bounded edge \(F\in E_f(\tilde{\Gamma })\) yielding two rigid parametrised tropical curves
Associated to \(\tilde{h}_1,\tilde{h}_2\) are moduli spaces \(M_{\tilde{h}_i}\) of stable logarithmic maps marked by \(\tilde{h}_i\). Consider the following diagram
By [53, p. 45 penultimate sentence] we have
By the inductive hypothesis
Combining with a diagram chase, we get
This completes the proof. \(\square \)
Proposition 3.4.2
Proof
The integrand of \(N_{g,\Delta }^{\tilde{h},{\textbf {k}}}\) can be written
since \(\lambda _g\) classes can be glued [5, Lemma 7] and \(\psi \) classes pull back under gluing. Combining with proposition 3.4.1 we learn,
By definition of the virtual class on \(\textsf{M}'_{g_V,\Delta _V}\) we have, abusing notation, that
Claim 3.4.3
In Eq. (2) we may replace \({{\,\mathrm{\textsf{ev}}\,}}_{(e)}^\star (\kappa _{\tilde{h}})\) by
After proving Claim 3.4.3 the proposition follows from rearranging equation (2).
Proof
Certainly,
where \(V_E^s,V_E^t\) are the source and target vertices with respect to the orientation on \(\tilde{\Gamma }\). By the induction argument of [5, Proposition 22], only the summand \(({{\,\mathrm{\textsf{ev}}\,}}_{V^t_E}^E)^\star {\textsf{pt}}_E\) contributes to our integral. A minor adaptation of op cit is required in our situation: we must check it applies to edges whose source is an m-valent pointed vertex. Indeed, if \(V \in V^{\textrm{mp}}(\tilde{\Gamma })\), and E an outgoing edge of \(V = V^s\), then \(({{\,\mathrm{\textsf{ev}}\,}}_{V^s_E}^E)^\star {\textsf{pt}}_E\) cannot contribute to the integral because the corresponding term would involve an integral of
but this has degree greater than the virtual dimension of \(\textsf{M}_{g_V,\Delta _V}\). \(\square \)
\(\square \)
Proposition 3.4.2 expresses \(N_{g,\tilde{h}}^{\Delta ,{\textbf {k}}}\) as a product over all of the vertices of \(\tilde{\Gamma }\), the graph appearing in \(\tilde{h}: \tilde{\Gamma } \rightarrow \mathbb {R}^2 \in T^{g,{\textbf {k}}}_{\Delta ,p}\). On the other hand, we want to relate this to a product over the vertices of \(\Gamma \) - the graph underlying an element of \(T^{{\textbf {k}}}_{\Delta ,p}\). In [5], the author proved that the contributions from the ‘extra vertices’ of \(\tilde{\Gamma }\) exactly cancel out the contributions of the weights coming from the ‘extra edges’ of \(\tilde{\Gamma }\). More precisely,
Proposition 3.4.4
([5, Corollary 16]). Assume \(\tilde{h}: \tilde{\Gamma } \rightarrow \mathbb {R}^2\) is an element of \(T^{g,{\textbf {k}}}_{\Delta ,p}\).
-
(1)
If there exists a bivalent vertex V of \(\tilde{\Gamma }\) with \(g_V \ne 0\) then
$$\begin{aligned} N_{g,\Delta }^{\tilde{h},{\textbf {k}}} = 0. \end{aligned}$$ -
(2)
If \(g_V = 0\) for all the bivalent vertices V of \(\Gamma \), then
$$\begin{aligned} N_{g,\Delta }^{\tilde{h},{\textbf {k}}} = \left( \prod _{E \in E_{f}(\Gamma )}w(E)\right) \left( \prod _{V \in V^{3}(\tilde{\Gamma })}N_{g_V,V}\right) \left( \prod _{V \in V^{\textsf{mp}}(\tilde{\Gamma })}N_{g_V,V}\right) . \end{aligned}$$
5 Logarithmic Gromov–Witten Theory and Double Ramification Cycles
Following Proposition 3.4.4, computing \(N_{g,\Delta }^{\tilde{h},{\textbf {k}}}\) amounts to working out the m-valent pointed vertex contibutions defined in Sect. 3.3.4
as the trivalent contributions of Sect. 3.3.1 are calculated in [5].
These numbers are logarithmic Gromov–Witten invariants of a toric surface. In this section we show these Gromov–Witten invariants are equal to integrals of tautological classes on \(\overline{\mathcal {M}}_{g,n}\) against a product of double ramification cycles. The crucial step for this result is using machinery developed in [54, Section 3.4] to turn integrals against the virtual class of the moduli space of stable logarithmic maps into integrals against the toric contact cycle, a higher rank generalisation of the double ramification cycle. We use the same technique to reprove Bousseau’s formula for the trivalent unpointed vertex contribution.
5.1 The double ramification cycle
Fix an ordered tuple of integers with sum zero \({\textbf {a}}=(a_1,\ldots ,a_n)\). To define the double ramification cycle we study the space of maps to the unique proper toric variety of dimension one: \(\mathbb {P}^1\). There is a moduli space \(\textsf{M}^\textsf{rub}_{g,\textbf{a}}(\mathbb {P}^1)\) of equivalence classes of relative stable map to \(\mathbb {P}^1\) for which the \(i^\textsf{th}\) marked point has contact order \(a_i\) [39]. Two maps are identified if there is a torus automorphism of \(\mathbb {P}^1\) carrying one map to the other. There is a forgetful map
which forgets the map and stabilises the underlying curve. The moduli space \(\textsf{M}^\textsf{rub}_{g,\textbf{a}}(\mathbb {P}^1)\) carries a virtual cycle \([\textsf{M}_{g, {\textbf{a}}}^{\textsf{rub}}]^\textsf{vir}\) [39]. The double ramification cycle \(\textsf{DR}({\textbf{a}})\) is the class
5.2 Toric contact cycle
The toric contact cycle is the analogue of the double ramification cycle replacing \(\mathbb {P}^1\) by a dimension r toric variety. The contact order of a marked point is now recorded by an integral vector in \(\mathbb {Z}^r\). The tuple \({\textbf{a}}\) is replaced by a \(r \times n\) matrix with row sum zero. For us this matrix will always be \(\Delta _V\) from the previous section.
5.2.1 Rubber stable maps
There is a universal compactification \(\mathbb {G}_\textsf{log}^r\) of an r-dimensional torus, see [54] for background. This is a stack on the category of logarithmic schemes and admits every choice of two dimensional toric variety as a subdivision. See [54, Section 1.1] for the definition of subdivision. There is a moduli space \(\textsf{M}_{g,\Delta _V}^\textsf{rub}(\mathbb {G}_\textsf{log}^r)\) of stable logarithmic maps to rubber \(\mathbb {G}_\textsf{log}^r\) with contact data \(\Delta _V\) tracking stable maps to \(\mathbb {G}_\textsf{log}^r\) up to the action of \(\mathbb {G}_\textsf{log}^r\), see [54, 55].
Remark 4.2.1
The functor \(\mathbb {G}_\textsf{log}^r\) is not representable by an algebraic stack with logarithmic structure, however the moduli space \(\textsf{M}_{g,\Delta _V}^\textsf{rub}(\mathbb {G}_\textsf{log}^r)\) is a Deligne–Mumford stack with logarithmic structure.
5.2.2 Virtual fundamental class
Consider the cartesian diagram,
The lower horizontal map is the Abel Jacobi section and 0 denotes the section corresponding to the trivial line bundle. The fibre product in the bottom right involves r copies of \(\textsf{Pic}_{g,n}\) and is taken over \(\overline{\mathcal {M}}_{g,n}\). The moduli space \(\textsf{M}_{g,\Delta _V}^\textsf{rub}(\mathbb {G}_\textsf{log}^r)\) admits a virtual fundamental class defined as
where upper shriek denotes refined Gysin pullback. See [39, pp. 22–23] for details in the case \(r=1\) and [54, Section 3.3.3] in general.
5.2.3 Toric contact cycle
We define the toric contact cycle,
where \(\pi \) denotes the stabilization morphism \(\textsf{M}_{g, {\Delta _V}}^{\textsf{rub}}\rightarrow \overline{\mathcal {M}}_{g,n}\). In the literature the toric contact cycle is sometimes called the double double ramification cycle, see [31, 33, 46] for background and development of the theory. In the sequel we will mean \(r=2\) when we say toric contact cycle. Setting \(r=1\) the toric contact cycle coincides with the double ramification cycle defined in Sect. 4.1, see [39].
5.3 Rubber and rigidified geometry
Each column vector \(\delta _i\) of \({\Delta _V}\) determines a toric stratum \(Y_i\) of \(X_{{\Delta _V}}\) for \(i=1, \ldots , n\). The rigid evaluation space is the toric variety
In the sequel we assume that the dense torus \(T=(\mathbb {C}^{\star })^2\) of \(X_{\Delta _V}\) acts effectively on \(\textsf{Ev}_{{\Delta _V}}\). Thus we identify the dense torus of \(X_{\Delta _V}\) as a subtorus T of the dense torus \(\textsf{Ev}_{{\Delta _V}}^\circ \) of \(\textsf{Ev}_{{\Delta _V}}\). There is a smooth toric compactification \(\textsf{Ev}^{\textsf{rub}}_{{\Delta _V}}\) of \(\textsf{Ev}_{{\Delta _V}}^\circ /T\) such that the following proposition holds.
Proposition 4.3.1
([54, Section 3.4, Proof of Theorem B]). After possibly replacing \(\textsf{Ev}_{{\Delta _V}}, \textsf{M}_{g, {\Delta _V}}, \textsf{M}_{g, {\Delta _V}}^{\textsf{rub}}\) by a subdivision, there is a commutative diagram with the right hand square cartesian,
Both \(\tilde{\epsilon }\) and \(\delta \) are flat and proper. The morphism \(\delta \) is toric and on the level of tori restricts to the quotient map
Corollary 4.3.2
For \(\gamma \) an element of \(\textsf{A}^\star (\textsf{Ev}_{{\Delta _V}})\) there is an equality
Proof
From [54, Theorem 3.3.2] we get \([\textsf{M}_{g, {\Delta _V}}]^\textsf{vir} = {\epsilon }^\star [\textsf{M}^{\textsf{rub}}_{g, {\Delta _V}}(\mathbb {G}_\textsf{log}^2)]^\textsf{vir}\). Now appeal to the fact that the cartesian square in Proposition 4.3.1 is Cartesian. \(\square \)
5.4 Vertex contributions as integrals on \(\overline{\mathcal {M}}_{g,n}\)
Write \({\textsf{pt}}_{D_i}\) for the class of a point on \(D_i\) in \(\textsf{A}^\star (\textsf{Ev}_{\Delta _V})\).
5.4.1 m-valent pointed vertices
We require a preparatory Lemma. Let n be a natural number and choose a morphism
Lemma 4.4.1
There is a Cartesian square
Proof
There is certainly a map
and our task is to verify this map is an isomorphism. For T an arbritary test scheme equipped with sheaf of monoids \(M_T\) we have
A point in the set on the right hand side is specified by an element of \((h_1,h_2) \in \Gamma (T,M_T)^n\times \Gamma (T,M_T)^2\), but tuples \((h_1,h_2), (h_1',h_2')\) correspond to the same point of \(\textsf{Hom}(T,\mathbb {G}_\textsf{log}^n/ \varphi '(\mathbb {G}_\textsf{log}^2)\times \mathbb {G}_\textsf{log}^2)\) if and only if \(h_2= h_2'\) and \(h_1^{-1}h_1'\) lies in the image of \(\varphi '\). Elementary group theory shows \(\alpha _T\) is a bijection and we deduce \(\alpha \) is an isomorphism.
\(\square \)
Lemma 4.4.2
Let V be a pointed m-valent vertex. We then have
Proof
Since \(\textsf{Ev}_{\Delta _V}\) is toric we may regard it as a subdivision of \(\mathbb {G}_\textsf{log}^k\) for some k. The map \(\delta \) can then be understood as obtained from a quotient map
by compatible subdivision of source and target.
We now think of \(\delta ^\circ \) as the left vertical arrow of the diagram in Eq. (3). Choose a subdivision of every space in Eq. (3) such that, after replacing \(\textsf{Ev}_{{\Delta _V}}\) by a subdivision, we have a cartesian square
Here W is a toric variety of dimension two. Replacing P and \(\textsf{M}_{g, {\Delta _V}}^{\textsf{rub}}(\mathbb {G}_\textsf{log}^2)\) by a subdivision, we may concatenate the Cartesian squares in Eqs. 3 and 4,
By abstract nonsense we have built a cartesian square of logarithmic schemes which fits into the larger diagram
Let \(\textsf{pt}\) be the cohomology class dual to a point in the dense torus of W. There is an equality of Chow cycles
Applying both sides to \([\textsf{M}_{g, {\Delta _V}}^\textsf{rub}(\mathbb {G}_\textsf{log}^2)]^\textsf{vir}\) we obtain
where the first equality is from the projection formula. To complete the proof, push this formula forward to \(\overline{\mathcal {M}}_{g,n}\) along the map
and observe \(\pi = \pi '\circ \epsilon \) and by use of [54, Theorem 3.3.2] we also have \(\overline{\epsilon }^\star [\textsf{M}_{g, {\Delta _V}}^\textsf{rub}(\mathbb {G}_\textsf{log}^2)]^\textsf{vir} = t_{\star }[\textsf{M}_{g, {\Delta _V}}]^\textsf{vir}\). \(\square \)
5.4.2 Trivalent unpointed vertices
Lemma 4.4.3
Let V be a trivalent unpointed vertex. Let \({v}_1\) and \({v}_2\) denote the primitive generators of the rays corresponding to \(D_1\) and \(D_2\).
where \(\pi \) denotes the forget and stabilise morphism.
Proof
The proof involves explicit computation so we fix coordinates. Consider the morphism
Restricting to dense tori \(\delta \) is the quotient map
Here the action of \((\mathbb {C}^\star )^2\) is the action of the dense torus of X on its toric boundary strata. Therefore, on the level of cocharacters the map \(\delta ^\circ \) is specified by quotienting by the column span W of the matrix with rows \(v_i\). Passing to a subdivision if necessary, we may assume \(\textsf{Ev}\) is smooth. The cohomology class \(\textsf{pt}_{D_1}\cup \textsf{pt}_{D_2}\) is poincare dual to the closure Z in \(\textsf{Ev}\) of \(V(X-1,Y-1)\). Note Z is just a copy of \(\mathbb {P}^1\).
Restricting \(\delta ^\circ \) or \(\delta \) to the dense torus in Z yields the map \(\mathbb {C}^\star \rightarrow \mathbb {C}^\star \) which factors as
On the level of cocharacters these maps are
This extends to a map \(\mathbb {P}^1 \rightarrow \mathbb {P}^1\) of degree \(|{v}_1\wedge {v}_2|\) because this is the factor by which cocharacters are scaled. It follows from definitions that on the level of cycles
The rest of the proof follows the steps in the proof of Proposition 4.4.2. \(\square \)
5.5 Double ramification and toric contact cycles
We have expressed vertex contributions as integrals over the toric contact cycle, and it remains to compute these integrals. In this section we establish Proposition 4.5.5 which asserts that in the presence of a \(\lambda _g\) class, the toric contact cycle is a product of double ramification cycles.
5.5.1 The compact type locus
Define an open subscheme
called the compact type locus parametrising curves whose arithmetic and geometric genus coincide. The preimage of \(\mathcal {M}_{g,n}^\textsf{ct}\) in \(\textsf{M}^\textsf{rub}_{g,\Delta _V}(\mathbb {G}_\textsf{log}^2)\) is denoted \(k:\textsf{M}^\textsf{rub,ct}_{g,\Delta _V}(\mathbb {G}_\textsf{log}^2)\hookrightarrow \textsf{M}^\textsf{rub}_{g,\Delta _V}(\mathbb {G}_\textsf{log}^2).\) Similarly define
Recall \({\Delta _V}\) is a \({2 \times n}\) matrix of balanced contact order data with rows \({\Delta _V^x},{\Delta _V^y}\).
Proposition 4.5.1
There is an equality in the Chow group of \(\mathcal {M}_{g,n}^\textsf{ct}\),
The proof of Proposition 4.5.1 requires preparatory lemmas. We have maps
These maps restrict to define
Consider the diagram
The first horizontal map is the diagonal embedding; the second is the Abel–Jacobi section on each factor. Define a class
Lemma 4.5.2
Proof
Applying [17, Theorem 6.4] to diagram 5 we learn
Push this equality forward along the map \(\pi \) to complete the proof. \(\square \)
Lemma 4.5.3
There is an equality
and similarly for \(k_x,k_y\).
Proof
We prove the statement for k and note \(k_x,k_y\) follow similarly. Consider the commutative diagram in which all squares are cartesian
Observe the map \(\mathcal {M}^{\textsf{ct}}_{g,n} \rightarrow \textsf{M}^{\textsf{rub}}_{g,\Delta }(\mathbb {G}_\textsf{trop}^2)\) is an open immersion, and thus the result follows from [17, Theorem 6.2 (b)]. \(\square \)
Lemma 4.5.4
There is an equality in the Chow group of \(\overline{\mathcal {M}}_{g,n}\),
Proof
Note \(\textsf{M}^{\textsf{rub}}_{g,\Delta }(\mathbb {G}_\textsf{trop}^2)\) is an open subscheme in a subdivision \(\tilde{\mathcal {M}}_{g,n}\) of \(\overline{\mathcal {M}}_{g,n}\). We thus have a commutative diagram,
The result now follows combining Lemma 4.5.3 and [57, TAG 0EPD]. \(\square \)
Proof of Proposition 4.5.1
By Lemma 4.5.2 we know
in the Chow group of \(\mathcal {M}^\textsf{ct}_{g,n}\). Combining with Lemma 4.5.4 this equation becomes
Substituting in the definition of toric contact cycle and double ramification cycle, the proof is complete. \(\square \)
5.5.2 Connecting toric contact and double ramification cycles
The key result of this subsection follows.
Proposition 4.5.5
There is an equality in the Chow group of \(\overline{\mathcal {M}}_{g,n}\)
Proof
Our task is to establish
Combining the excision sequence
with Proposition 4.5.1 we learn there is some class \(R' \in \textsf{A}_\star (Z)\) which pushes forward to \(\textsf{TC}_g({\Delta _V}) - \textsf{DR}_g({\Delta _V^x})\textsf{DR}_g({\Delta _V^y})\). Observe \(R = \lambda _g\cap \iota _\star R' = \iota _\star (j^\star \lambda _g \cap R')\). Since \(j^\star \lambda _g=0\) [5, Lemma 7,8] we deduce \(R=0\) and the proof is complete. \(\square \)
5.6 Vertex contributions and double ramification cycles
To finish this section we apply Proposition 4.5.5 to provide a new formula for the vertex contributions introduced in Sect. 3.3.
Lemma 4.6.1
Let V be a trivalent unpointed vertex and let \({v}_1,{v}_2\) denote the first two columns of \(\Delta _V\).
Proof
Starting with the definition of the left hand side,
we apply Lemma 4.4.3 and the projection formula to obtain,
The result now follows by Proposition 4.5.5. \(\square \)
Lemma 4.6.2
We have an equality
Proof
Similar to proof of Lemma 4.6.1, except we apply Lemma 4.4.2 in place of Lemma 4.4.3. \(\square \)
6 Results from the Theory of Double Ramification Hierarchies
Set d a positive integer and let \({\textbf {a}}, {\textbf {b}}\) be tuples of \(d+2\) integers with sum zero. Write \({\textbf {a}}_0,{\textbf {b}}_0\) the vectors formed from \({\textbf {a}},{\textbf {b}}\) by prefixing zero. In this section we evaluate
Combining with Lemma 4.6.2 for \(d = m-2\) we have computed the m-valent pointed vertex contribution \(N_{g_V,V}\).
The geometric input in this computation are the WDVV relations on the Losev–Manin space [35]. Buryak and Rossi leveraged these equations to study generating series involving \(I_{g,d}({\textbf {a}};{\textbf {b}})\) [8, 9]. We use their analysis to understand \(I_{g,d}({\textbf {a}};{\textbf {b}})\).
We set up notation. Throughout this section \(u_{p,q},p^{a}_b, e^{iy}, e^{ix},\epsilon \) denote formal variables and we often write \(u_{0,0} = u\). The heuristic is to study a function on \(S^1 \times S^1\) expressed as a fourier series
More formally, define a map
For g an element of \(\mathbb {C}[[p_\star ^\star ,\epsilon ,e^{\pm i x},e^{\pm i y}]]\) we write \(\overline{g}\) for its \(e^{i0}\) coefficient considered an element of \(\mathbb {C}[[p_\star ^\star ,\epsilon ]]\). This is the algebraic incarnation of an integration map. Moreover set \(T_0: \mathbb {C}[[u_{\star ,\star }, \epsilon ]]\rightarrow \mathbb {C}[[p_\star ^{\star }, \epsilon ]]\) by composing T with projection to the coefficient of \(e^{i0}\). The next definitions, motivated by the chain rule, complete our setup,
6.1 The quadratic double ramification integrable hierarchy
Buryak and Rossi study integrals \(I_{g,d}({\textbf {a}};{\textbf {b}})\) in the context of integrable hierarchies. We introduce some language from this area so that we may extract Proposition 5.2.1.
6.1.1 Variational derivative
Write W for the subspace of \(\mathbb {C}[[p^\star _\star ,\epsilon ]]\) defined by image of \(T_0\). The variational derivative of \(\overline{g}\) in \(W\subseteq \mathbb {C}[[p^\star _\star ,\epsilon ]]\) is defined by choosing f in \(\mathbb {C}[[u_{\star ,\star },\epsilon ]]\) such that \(T_0(f) = \overline{g}\). Thinking of \(\overline{g}\) as depending on u and its derivatives in this way, we may ask how \(\overline{g}\) is affected by changes in \(u_{i,j}\). This information is tracked with a variational derivative which we define through the formula
This definition is independent of the choice of f.
Lemma 5.1.1
For \(\bar{g} \in W\) there is an equality
Proof
Recall that a bar over a symbol means take coefficient of \(e^{i0}\). We write \(\overline{g} = T_0(f)\). Applying the chain rule we learn
To complete the proof we establish
for any \(h\in \mathbb {C}[[u_{\star ,\star },\epsilon ]]\), and apply it to the case \(h = \frac{\partial {f}}{\partial {u_{k_1,k_2}}}\). We will write \(T(h) = \sum _{a,b \in \mathbb {Z}}h_{a,b} e^{i(ay+bx)}\) so that \(\partial _x^{k_1}\partial _y^{k_2} h = \sum _{a,b \in \mathbb {Z}}(i)^{k_1+k_2}h_{a,b} a^{k_1}b^{k_2}e^{i(ay+bx)}\). Equation (6) can now be deduced by comparing coefficients of \(e^{i(ax+by)}\). \(\square \)
6.1.2 The noncommutative Moyal product
Let f and g be in \(\mathbb {C}[[u_{\star ,\star }, \epsilon ]]\) and define the non-commutative Moyal product,
6.1.3 Generating series
The integrals \(I_{g,d}\) can be packaged in a generating function
considered as an element of \(\mathbb {C}[[p^\star _\star , \epsilon ]]\). Buryak and Rossi showed that \(\overline{g}_d\) lies in the image of \(T_0\). In particular it will make sense to take a variational derivative.
6.1.4 A result of Buryak and Rossi
The variational derivatives of \(\overline{g}_d\) are related to the non-commutative Moyal product through the following theorem.
Theorem 5.1.2
([9, Theorem 4.1]). There is an equality
where there are \(d+1\) copies of u on the right hand side.
Remark 5.1.3
Integrable hierarchies are systems of differential equations. Originally such systems arose from studying commuting Hamiltonian flows on a symplectic manifold. The equations in an integrable hierarchy take the form
For us, as for Buryak and Rossi, we understand the left hand side as a formal symbol. Buryak has shown that partial cohomological field theories on finite dimensional vector spaces naturally give rise to such an integrable hierarchy [8].
Let V be the free vector space with basis \(\{e_a\}_{a \in \mathbb {Z}}\) and define maps \(V \mapsto H^\star (\overline{\mathcal {M}}_{g,n})\)
Buryak and Rossi execute a version of Buryak’s construction for a cohomological field theory on V built from this data. The resulting quadratic double ramification hierarchy consists of equations
The left hand side is a formal symbol.
Buryak and Rossi therefore understand Theorem 5.1.2 as follows. The equations of the quadratic double ramification hierarchy coincide with the equations of the hierarchy
This second hierarchy is called the dispersionless noncommutative KdV hierachy.
6.2 Expression for the double ramification integrals
In the remainder of this section we extract an expression for \(I_{g,d}({\textbf {a}};{\textbf {b}})\) recorded in the following proposition.
Proposition 5.2.1
For \(a_1, \ldots , a_{d+1}, b_1, \ldots , b_{d+1}\in \mathbb {Z}\) we have
In the sequel given a tuple \({\textbf {a}} = a_1,\ldots ,a_n\) define \(S_{\textbf {a}} = -\sum _i a_i\). We write \(\overline{{\textbf {a}}}= (a_1,\ldots ,a_n,S_{\textbf {a}})\). Applying the map T to the equation of Theorem 5.1.2 and applying Lemma 5.1.1 yields
Proof of Proposition 5.2.1
We first make the following claim.
Claim 5.2.2
where the first sum on the right hand side is over integers \({a_1,\ldots ,a_{d+1},b_1,\ldots ,b_{d+1}}\). The product on the left is \(d+1\) times after substituting \(u=i\epsilon \).
We prove Claim 5.2 by induction on d. The base case \(d=1\) is done in [9, Proof of Theorem 4.1], after using the dilaton equation to remove the \(\psi \) class. By definition of the Moyal product there is an expression for \(\dagger = T((u \star \dots \star u) \star u)\) as
where we have that the summation range only contributes for even indices because \((u \star \dots \star u) \star u = u \star (u \star \dots \star u)\). The induction step tells us that \(T(\partial _x^{k_1} \partial _{y}^{k_2}(u \star \dots \star u))\) introduces the factor of
which combines with \((-1)^{k_2}(i(b_{d+1}))^{k_2}(i(a_{d+1}))^{k_1}\) to introduce a factor of
Now we observe that
Note that this is the cosine factor in the statement of the lemma for \(j=d\). It follows now that after substituting \(u=i\epsilon \)
This completes the proof of the claim. Proposition 5.2.1 follows from substituting the formula in the claim into Eq. (7), and taking coefficients. \(\square \)
7 Completing Proof of Theorem A
We complete the proof of Theorem A, by combining Proposition 3.4.4 with Lemmas 4.6.1, 4.6.2 and Proposition 5.2.1. Recall our goal is to prove the following theorem.
Theorem 6.0.1
(Theorem A). After the change of variables \(q=e^{iu}\) we have the equality
7.1 Generating series as sums over tropical curves
The following definitions follow [5] and are motivated by Lemma 6.1.1. After fixing an orientation on \(\tilde{\Gamma }\) as in Sect. 3.3.1, for a trivalent unpointed vertex \(V \in V^{3}(\tilde{\Gamma })\) define
and for an m-valent pointed vertex V with \(m\ge 3\) define
Lemma 6.1.1
Proof
Observe first that by definition
By Proposition 3.4.4 we know
whenever \(\tilde{h}\) is a parametrised tropical curve with all bivalent vertices having genus 0. Thus we may rewrite
Since every tropical curve in \(T_{\Delta ,p}^{g,{\textbf {k}}}\) has \(|\Delta ^\circ | - 2 - \sum _i k_i\) unpointed trivalent vertices we learn,
Now we have,
completing the proof. \(\square \)
7.2 Formulae for vertex contributions
The right hand side of Lemma 6.1.1 resembles the right hand side of Theorem A. We have formulae for the summands on the right hand side.
Corollary 6.2.1
Let V be an unpointed trivalent vertex with \(\Delta _V^{\circ } = \{v_1,v_2, v_3\}\). After the change of variables \(q=e^{iu}\) we have
Proof
By Lemma 4.6.1 we have that
By combining the dilaton equation with Proposition 5.2.1, or explicitly [9, Theorem 2.1], this is equal to
After the substituting \(q = e^{iu}\) this gives the result. \(\square \)
For an m-valent pointed vertex with \(m \ge 3\) write the multiset
Corollary 6.2.2
After the change of variables \(q=e^{iu}\) we have
Proof
Follows from Proposition 5.2.1 by comparing coefficients of powers of u, and identifying \(d=m-2\). \(\square \)
Lemma 6.2.3 relates the formulae of Corollary 6.2.2 to the tropical curve multiplicity defined in Sect. 1.2.
Lemma 6.2.3
There is an equality
.
The proof of Lemma 6.2.3 was communicated to us by Thomas Blomme. We record definitions before giving a proof. For \(\omega \) in \(\Omega _m\) write \(\hat{\omega }\) for the unique representative in the group \(S_m\) of permutations of \(\{1,\ldots ,m\}\) which fixes m. For \(\sigma \in S_{m-1}\) let \(\textsf{A}_\sigma \) be the set of cyclic permutations \(\omega \in \Omega _{m}\), such that for any integer \(k\le m-1\),
A cyclic permutation \(\omega \) will be recorded by a unique tuple
Write \(\{-1,1\}^{[j]}\) for the set of functions \(\epsilon :\{1,\ldots ,j\} \rightarrow \{-1,1\}\). There is a bijective function
To define T we recursively define \(T_1 = (1)\) and then \(T_\ell \) is \((\ell ,T_{\ell -1})\) if \(\epsilon (\ell )=-1\) and \((T_{\ell -1},\ell )\) if \(\epsilon (\ell ) =1.\) We then set \(T(\epsilon )\in {A}_{\textsf{id}}\) to be \((m,T_{m-2}(\epsilon ))\). It is now possible to define
by composing T with the action of \(\sigma \) on \(\Omega _n\).
Proof
We may rewrite the left hand side as
where the second sum is over functions \(\epsilon \in \{1,-1\}^{[j]}\). We now claim that for fixed \(\sigma \)
Indeed,
Thus we may write
The number \(\textsf{card}\{\sigma | \omega \in A_\sigma \}\) is independent of \(\omega \) and so we assume \(\omega = \textsf{id}\). Then note \(\textsf{card}\{\sigma | \omega \in A_\sigma \} = 2^{m-2}\). We conclude
and the result is proved. \(\square \)
7.3 Finishing the proof
In this section we will write \(\mu _m(\delta _1^V,\ldots ,\delta _m^V) = \mu _V(q)\).
Proof of Theorem A
Substituting Corollary 6.2.2 and Lemma 6.2.3 into Lemma 6.1.1 then rearranging we learn,
This completes our proof.\(\square \)
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed.
References
Abramovich, D., Chen, Q.: Stable logarithmic maps to Deligne–Faltings pairs II. Asian J. Math. 18, 465–488 (2014)
Abramovich, D., Chen, Q., Gross, M., Siebert, B.: Decomposition of degenerate Gromov–Witten invariants. Compos. Math. 156, 2020–2075 (2020)
Blechman, L., Shustin, E.: Refined descendant invariants of toric surfaces. Discret. Comput. Geom. 62, 180–208 (2019)
Block, F., Göttsche, L.: Refined curve counting with tropical geometry. Compos. Math. 152, 115–151 (2016)
Bousseau, P.: Tropical refined curve counting from higher genera and lambda classes. Invent. Math. 215, 1–79 (2018)
Bousseau, P.: Quantum mirrors of log Calabi–Yau surfaces and higher-genus curve counting. Compos. Math. 156, 360–411 (2020)
Bryan, J., Pandharipande, R.: The local Gromov–Witten theory of curves. J. Am. Math. Soc., 21 (2008), pp. 101–136. With an appendix by Bryan, C. Faber, A. Okounkov and Pandharipande
Buryak, A.: Double ramification cycles and integrable hierarchies. Commun. Math. Phys. 336, 1085–1107 (2015)
Buryak, A., Rossi, P.: Quadratic double ramification integrals and the noncommutative KdV hierarchy. Bull. Lond. Math. Soc. 53, 843–854 (2021)
Cavalieri, R., Chan, M., Ulirsch, M., Wise, J.: A moduli stack of tropical curves, Forum of Mathematics, Sigma, 8 (2020)
Cavalieri, R., Johnson, P., Markwig, H.: Tropical Hurwitz numbers. J. Algebr. Combin. 32, 241–265 (2010)
Cavalieri, R., Johnson, P., Markwig, H.: Wall crossings for double Hurwitz numbers. Adv. Math. 228, 1894–1937 (2011)
Cavalieri, R., Markwig, H., Ranganathan, D.: Tropicalizing the space of admissible covers. Math. Ann. 364, 1275–1313 (2016)
Cavalieri, R., Markwig, H., Ranganathan,D.: Tropical compactification and the Gromov–Witten theory of\({{\mathbb{P}}}^1\), Selecta Math. (N.S.), 23 (2017), pp. 1027–1060
Chen, Q.: Stable logarithmic maps to Deligne–Faltings pairs I. Ann. Math. 2(180), 455–521 (2014)
Corey, D., Markwig, H., Ranganathan, D.: Counting tropical curves in \(\mathbb{P}^1\times \mathbb{P}^1\): computation & polynomiality properties (2022)
Fulton, W.: Intersection Theory. Springer, New York (1998)
Fulton, W.: Introduction to Toric Varieties. (AM-131). Princeton University Press, Princeton (2016)
Gathmann, A., Markwig, H.: The Caporaso–Harris formula and plane relative Gromov–Witten invariants in tropical geometry. Math. Ann. 338, 845–868 (2007)
Gathmann, A., Markwig, H.: Kontsevich’s formula and the WDVV equations in tropical geometry. Adv. Math. 217, 537–560 (2008)
Göttsche, L., Schroeter, F.: Refined broccoli invariants. J. Algebr. Geom. 28, 1–41 (2019)
Göttsche, L., Shende, V.: Refined curve counting on complex surfaces. Geom. Topol. 18, 2245–2307 (2014)
Graefnitz, T.: Tropical correspondence for smooth del Pezzo log Calabi–Yau pairs. J. Algebr. Geom. 31, 687–749 (2022)
Graefnitz, T., Ruddat, H., Zaslow, E., Zhou, B.: Quantum theta function from open mirror symmetry (in preparation)
Gross, A.: Intersection theory on tropicalizations of toroidal embeddings. Proc. Lond. Math. Soc. (3) 116, 1365–1405 (2018)
Gross, M.: Mirror symmetry for \(\mathbb{P} ^2\) and tropical geometry. Adv. Math. 224, 169–245 (2010)
Gross, M.: Remarks on gluing punctured logarithmic maps (2023) arXiv:2306.02661
Gross, M., Hacking, P., Keel, S.: Mirror symmetry for log Calabi–Yau surfaces I. Publ. Math. Inst. Hautes Études Sci. 122, 65–168 (2015)
Gross, M., Siebert, B.: Logarithmic Gromov–Witten invariants. J. Am. Math. Soc. 26, 451–510 (2013)
Gross, M., Siebert, B.: The canonical wall structure and intrinsic mirror symmetry. Invent. Math. 229, 1101–1202 (2022)
Holmes, D., Molcho, S., Pandharipande, R., Pixton, A., Schmitt, J.: Logarithmic double ramification cycles (2022) arXiv:2207.06778
Holmes, D., Pixton, A., Schmitt, J.: Multiplicativity of the double ramification cycle. Doc. Math. 24, 545–562 (2019)
Holmes, D., Schwarz, R.: Logarithmic intersections of double ramification cycles. Algebr. Geom. 9, 574–605 (2022)
Johnston, S.: Comparison of non-archimedean and logarithmic mirror constructions via the Frobenius structure theorem (2022) arXiv:2204.00940
Losev, A., Manin, Y.: New moduli spaces of pointed curves and pencils of flat connections, Michigan Math. J., 48, pp. 443–472 (2000). Dedicated to William Fulton on the occasion of his 60th birthday
Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry. American Mathematical Society, Providence (2015)
Mandel, T.: Theta bases and log Gromov–Witten invariants of cluster varieties. Trans. Am. Math. Soc. 374, 5433–5471 (2021)
Mandel, T., Ruddat, H.: Descendant log Gromov–Witten invariants for toric varieties and tropical curves. Trans. Am. Math. Soc. 373, 1109–1152 (2020)
Marcus, S., Wise, J.: Logarithmic compactification of the Abel-Jacobi section. Proc. Lond. Math. Soc. (3) 121, 1207–1250 (2020)
Markwig, H.: Tropical curves and covers and their moduli spaces. Jahresber. Dtsch. Math.-Ver. 122, 139–166 (2020)
Markwig, H., Rau, J.: Tropical descendant Gromov–Witten invariants. Manuscr. Math. 129, 293–335 (2009)
Maulik, D., Ranganathan, D.: Logarithmic Donaldson–Thomas theory (2020)
Maulik, D., Ranganathan, D.: Logarithmic enumerative geometry for curves and sheaves (in preparation) (2023)
Mikhalkin, G.: Enumerative tropical algebraic geometry in \(\mathbb{R} ^2\). J. Am. Math. Soc. 18, 313–377 (2003)
Mikhalkin, G.: Moduli spaces of rational tropical curves. In: Proceedings of Gökova Geometry-Topology Conference (2006), Gökova Geometry/Topology Conference (GGT), Gökova, 2007, pp. 39–51
Molcho, S., Ranganathan, D.: A case study of intersections on blowups of the moduli of curves. arXiv:2106.15194, (2021)
Moreira, M., Oblomkov, A., Okounkov, A., Pandharipande, R.: Virasoro constraints for stable pairs on toric threefolds. Forum Math. Pi, 10 (2022), pp. Paper No. e20, 62
Nicaise, J., Payne, S., Schroeter, F.: Tropical refined curve counting via motivic integration. Geom. Topol. 22, 3175–3234 (2018)
Nishinou, T., Siebert, B.: Toric degenerations of toric varieties and tropical curves. Duke Math. J. 135, 1–51 (2006)
Oblomkov, A., Okounkov, A., Pandharipande, R.: GW/PT descendent correspondence via vertex operators. Commun. Math. Phys. 374, 1321–1359 (2020)
Pandharipande, R.: Hodge integrals and degenerate contributions. Commun. Math. Phys. 208, 489–506 (1999)
Parker, B.: Three dimensional tropical correspondence formula. Commun. Math. Phys. 353, 791–819 (2017)
Ranganathan, D.: Logarithmic Gromov–Witten theory with expansions. Algebr. Geom. 9, 714–761 (2022)
Ranganathan, D., Kumaran, A.U.: Logarithmic Gromov–Witten theory and double ramification cycles (2022) arXiv:2212.11171
Ranganathan, D., Wise, J.: Rational curves in the logarithmic multiplicative group. Proc. Am. Math. Soc. 148, 103–110 (2020)
Rau, J.: Intersections on tropical moduli spaces. Rocky Mt. J. Math. 46, 581–662 (2016)
The Stacks Project Authors. Stacks Project. https://stacks.math.columbia.edu (2018)
Acknowledgements
The authors are grateful to their common PhD advisor Dhruv Ranganathan for numerous helpful conversations, suggesting the project and without whom this project would not have happened. We thank Thomas Blomme for helpful conversations which established the link between our multiplicity and the multiplicity of Blechman and Shustin, we especially thank Thomas for communicating the proofs of Proposition 1.2.1 and Lemma 6.2.3. Finally, we thank Paulo Rossi for a valuable email exchange as well as Sam Johnston and Danilo Lewanski for numerous helpful conversations. P.K.-H. is supported by an EPSRC Studentship, reference 2434344. A.U.K. is supported by an EPSRC Studentship, reference 2597628. Q.S. is supported by UKRI Future Leaders Fellowship through Grant number MR/T01783X/1.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
There are no Conflict of interest to declare. See Section 0.5 for funding information.
Additional information
Communicated by J. Sparks.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kennedy-Hunt, P., Shafi, Q. & Urundolil Kumaran, A. Tropical Refined Curve Counting with Descendants. Commun. Math. Phys. 405, 240 (2024). https://doi.org/10.1007/s00220-024-05114-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00220-024-05114-3