Abstract
We provide a closed form expression for linear Hodge integrals on the hyperelliptic locus. Specifically, we find a succinct combinatorial formula for all intersection numbers on the hyperelliptic locus with one \(\lambda \)-class, and powers of a \(\psi \)-class pulled back along the branch map. This is achieved by using Atiyah–Bott localization on a stack of stable maps into the orbifold \(\left[ {\mathbb {P}}^1/{\mathbb {Z}}_2\right] \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Context, history, motivation
The moduli space \(\overline{{\mathcal {M}}}_{g, n}\) of stable genus g curves with n marked points has been an object of interest since the pioneering work of Deligne and Mumford [1, 2]. In order to gain a deeper understanding of this moduli space, a promising strategy is to probe its intersection theory
A natural way to construct cycles \([\alpha ] \in A^\bullet (\overline{{\mathcal {M}}}_{g, n})\) is to consider loci of curves with certain geometric properties. The locus of curves that we are primarily interested in is the hyperelliptic locus i.e. the locus of curves that admit a degree 2 map to \({\mathbb {P}}^1\). We denote the hyperelliptic locus by \(\overline{{\mathcal {H}}}_{g, 2\,g + 2} \subseteq \overline{{\mathcal {M}}}_{g, 2\,g + 2}\), where the marked points are Weierstrass points. There are two natural maps, the branch map and source map, which we informally and briefly discuss here. Each moduli point in \(\overline{{\mathcal {H}}}_{g, 2g + 2}\) consists of the data \([C_g, \varphi : C_g \rightarrow (T, p_1, \ldots , p_{2\,g + 2})]\), where \([C_g] \in \overline{{\mathcal {M}}}_{g, 2\,g + 2}\), and \([T, p_1, \ldots p_{2\,g + 2}] \in \overline{{\mathcal {M}}}_{0, 2\,g + 2}\). The marked points on the latter curve are the branch points of the degree 2 map \(\varphi \). Given a point in \(\overline{{\mathcal {H}}}_{g. 2g + 2}\), we can either remember the source curve or the target curve of \(\varphi \). This is summed up in the following diagram:
There is a slight variant on the above situation that we also consider. The points in \(\overline{{\mathcal {H}}}_{g, 2g + 2, 2}\) will correspond to branched coverings as before, but the last two marked points are a conjugate pair of points that are interchanged under the hyperelliptic involution. In this situation, br now maps to \(\overline{{\mathcal {M}}}_{0, 2g + 3}\), where the last marked point is the image of the conjugate pair.
Let \({\mathbb {E}}_g\) be the Hodge bundle over \(\overline{{\mathcal {M}}}_{g, 2g + 2}\), and let \({\mathbb {L}}_i\) be the \(i^{th}\) universal cotangent line bundle over \(\overline{{\mathcal {M}}}_{0, 2g + 2}\). We define \(\lambda _i:= c_i({\mathbb {E}}_g)\), and \(\psi _i:= c_1({\mathbb {L}}_i)\). Our goal is to investigate the following two types of intersection numbers:
These intersection numbers are examples of hyperelliptic Hodge integrals. In this paper, we find a closed form expression for these integrals:
Theorem 1
Let \(\displaystyle e_i(x_1, \ldots , x_n):= \sum _{1 \le j_1< \ldots < j_i \le n}x_{j_1}x_{i_2}\ldots x_{j_j}\) be the \(i^{th}\) elementary symmetric function on \(x_1, \ldots x_n\). Then
There has been much progress made in the computations of hyperelliptic Hodge integrals. The earliest result goes back to Faber and Pandharipande [3], in which they prove that
where \(B_{2g}\) is the \(2g^{th}\) Bernoulli number. In [4], Cavalieri generalized Faber and Pandharipande’s result by computing the generating functions of all integrals of the form
In [5], Wise showed that
In [6], Johnson et al found an algorithm to compute linear Hodge integrals over spaces of cyclic covers, in terms of Hurwitz numbers. Furthermore, using the results from [7], one can extract hyperelliptic Hodge integrals as coefficients of a twisted J-function.
Despite the tremendous progress made in the calculation of these intersection numbers, a closed form expression, as stated in the theorem above, does not seem to follow directly from the work of previous authors. As such, the main result of this paper provides a simple, yet highly nontrivial, expression for linear Hodge integrals over the hyperelliptic locus.
1.2 Outline of paper
The main strategy that this paper employs is Atiyah–Bott localization on \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\). We recognize the space \(\overline{{\mathcal {H}}}_{g, 2g + 2}\) as the space of genus 0 stable maps into the stacky point \({\mathcal {B}}{\mathbb {Z}}_2\), all of whose marked points have nontrivial isotropy,
The space \(\overline{{\mathcal {H}}}_{g, 2g + 2, 2}\) is isomorphic to the space of genus 0 stable maps into \({\mathcal {B}}{\mathbb {Z}}_2\), but the last marked point has trivial isotropy,
In order to compute linear hyperelliptic Hodge integrals, we compute auxiliary integrals on the space \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\), which vanish for dimension reasons. The integrals that we are interested in appear as ‘vertex terms’ in the localization computation. We find recursions relating these integrals, and check that the purported formula for the integrals satisfy the recursions, thus proving the desired result.
In Chapter 2, we introduce the spaces \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\), and \(\overline{{\mathcal {M}}}_{0, k, \ell }({\mathcal {B}}{\mathbb {Z}}_2)\). In Chapter 3, we explain our localization set up, in Chapter 4 we discuss our auxiliary integrals, and in the final Chapter, we put all of the pieces together in order to prove the theorem.
1.3 Future work
To generalize the result in this paper, we can allow arbitrarily many insertions of \(\lambda \)-classes. The author will investigate this generalization in his PhD thesis.
2 The spaces \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\) and \(\overline{{\mathcal {M}}}_{0, k, \ell }({\mathcal {B}}{\mathbb {Z}}_2)\)
The intersection numbers that we are interested in come from an auxiliary computation on a larger moduli stack: \(\overline{{\mathcal {M}}}_{0, k}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1)\). Intersection numbers on this space are examples of orbifold Gromov-Witten invariants. Foundational material on orbifold Gromov-Witten (GW) theory can be found in [8] and [9]. We will not need the entire machinery of orbifold GW theory. Instead, we highlight enough of the theory in order to begin the relevant computations.
Let \(\overline{{\mathcal {M}}}_{0, k}({\mathcal {X}}, d)\) be the moduli stack of genus 0 degree d stable maps with k marked points, into the orbifold \({\mathcal {X}}\). The inertia stack of \({\mathcal {X}}\) (see [10], Section 1]), denoted \({\mathcal {I}}{\mathcal {X}}\), is the fiber product
where \(\Delta \) is the diagonal map. The product is taken in the 2-category of stacks. The points in \({\mathcal {I}}{\mathcal {X}}\) can be identified with all pairs (x, g), where \(x \in {\mathcal {X}}\) and \(g \in \text {Aut}_{{\mathcal {X}}}(x)\). In the case that \({\mathcal {X}} = [V/G]\), where V is a smooth projective variety, and G is a finite abelian group, we have
In this paper, \({\mathcal {X}} = [{\mathbb {P}}^1/{\mathbb {Z}}_2] ={\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2\), where \({\mathbb {Z}}_2\) acts trivially on \({\mathbb {P}}^1\). Let us denote the elements in \({\mathbb {Z}}_2\) as \({\mathbb {Z}}_2 = \{0, 1\}\). Then \({\mathcal {I}}{\mathcal {X}}\) is the disjoint union of two copies of \({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2\), where each copy is indexed by elements in \({\mathbb {Z}}_2 = \{0, 1\}\). If we define \({\mathcal {I}}{\mathcal {X}}_0\) and \({\mathcal {I}}{\mathcal {X}}_1\) to be the copy indexed by \(0 \in {\mathbb {Z}}_2\) and \(1 \in {\mathbb {Z}}_2\), respectively, then the inertia stack is
The main difference between ordinary GW theory and orbifold GW theory is that the source curves are allowed to be orbicurves, that is, the marked points and the nodes are allowed to have non-trivial orbifold structure. Furthermore, the evaluation maps no longer land in the target space, but instead land in the rigidified inertia stack,
The definition of the rigidified inertia stack is technical, and we refer the reader to [9], Section 3] for details. However, as explained in [9], Section 6], even though there is not a well defined evaluation map from the stack of stable maps to the inertia stack, because there is an isomorphism between the cohomology groups of \(\overline{{\mathcal {I}}}{\mathcal {X}}\) and \({\mathcal {I}}{\mathcal {X}}\), there is a well defined map
If \({\mathcal {X}} = [{\mathbb {P}}^1/{\mathbb {Z}}_2]\), since \({\mathcal {I}}{\mathcal {X}}\) only consists of two components, the marked points on the source curve are either ’untwisted’ or ’twisted’, i.e. maps to \({\mathcal {I}}{\mathcal {X}}_0\) or maps to \({\mathcal {I}}{\mathcal {X}}_1\). In the former case, the marked point has trivial isotropy, and in the latter, it has non-trivial isotropy. With this, we have the following definitions:
Definition 1
The substack \(\overline{{\mathcal {M}}}_{0, k, \ell }({\mathbb {P}}^1\times {\mathbb {Z}}_2, d) \subset \overline{{\mathcal {M}}}_{0, k + l}({\mathbb {P}}^1\times {\mathbb {Z}}_2, d)\) is defined to be the space of degree d maps of genus 0 curves into \([{\mathbb {P}}^1/{\mathbb {Z}}_2]\), in which the first k marked points are twisted, and the last \(\ell \) marked points are untwisted. Similarly, the substack \(\overline{{\mathcal {M}}}_{0, k, \ell }({\mathcal {B}}{\mathbb {Z}}_2) \subset \overline{{\mathcal {M}}}_{0, k + \ell }({\mathcal {B}}{\mathbb {Z}}_2)\) is the space of degree 0 maps of genus 0 curves into the stack point \({\mathcal {B}}{\mathbb {Z}}_2= [pt./{\mathbb {Z}}_2]\), in which the first k marked points are twisted, and the last \(\ell \) marked points are untwisted.
Remark 1
In the case that \(\ell = 0\), we suppress \(\ell \) from the notation, and simply indicate the number of twisted points. In this paper, the number of twisted points is always greater than zero, so this suppression is unambiguous.
Let \([{\mathcal {C}} \rightarrow {\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2] \in \overline{{\mathcal {M}}}_{0, k}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1)\). If we compose the map \({\mathcal {C}} \rightarrow {\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2\) with projection onto the \({\mathcal {B}}{\mathbb {Z}}_2\) factor, we get the map \({\mathcal {C}} \rightarrow {\mathcal {B}}{\mathbb {Z}}_2\), which is equivalent to the data of a principal \({\mathbb {Z}}_2\)-bundle over \({\mathcal {C}}\) branched over the k marked points. By Riemann-Hurwitz, the total space of this bundle is a curve C of genus \(g = \frac{k - 2}{2}\).
Definition 2
The Hodge bundle \({\mathbb {E}}_g\) over \(\overline{{\mathcal {M}}}_{0, k}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1)\) is the vector bundle whose fiber over the point \([{\mathcal {C}} \rightarrow {\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2]\) is \(\Omega ^1(C)\), where C is the ramified cover of \({\mathcal {C}}\) described above. The Chern classes of this vector bundle are denoted \(\lambda _i:= c_i({\mathbb {E}}_g)\).
We now identify the moduli stack of stable maps into \({\mathcal {B}}{\mathbb {Z}}_2\) with the moduli stack of hyperelliptic curves. We will be informal in our description. For a rigorous treatment, see for example [11].
If \([{\mathcal {C}} \rightarrow {\mathcal {B}}{\mathbb {Z}}_2] \in \overline{{\mathcal {M}}}_{0, k}({\mathcal {B}}{\mathbb {Z}}_2)\), then again, the map \({\mathcal {C}} \rightarrow {\mathcal {B}}{\mathbb {Z}}_2\) is equivalent to the data of a degree 2 branched covering of \({\mathcal {C}}\), whose branch locus is the k marked points on the source curve. Similarly, if \([{\mathcal {C}} \rightarrow {\mathcal {B}}{\mathbb {Z}}_2] \in \overline{{\mathcal {M}}}_{0, k, 1}({\mathcal {B}}{\mathbb {Z}}_2)\), the map \({\mathcal {C}} \rightarrow {\mathcal {B}}{\mathbb {Z}}_2\) is equivalent to a degree 2 branched covering of \({\mathcal {C}}\), in which the branch locus is the k twisted points on the source curve, but the last marked point, which is untwisted/has trivial isotropy, is not a branch point of the covering. The preimage of the untwisted point is a pair of conjugate points that are interchanged under the hyperelliptic involution. With this geometric description, we see that
Lastly, we also need to know the dimensions of the spaces we’ve discussed (see [11], Section 1.1.3):
3 Atiyah–Bott localization
The computational tool we use to prove our main result is Atiyah–Bott localization on \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\). Whenever a space has a torus action, a classical result of Atiyah and Bott says that computing intersection numbers on this space amounts to ’localizing’ to the torus-fixed locus. More precisely:
Theorem 2
([12], Section 3) Let \({\mathcal {X}}\) be a projective variety with a \({\mathbb {C}}^*\)-action. Let \(\Gamma _1, \ldots , \Gamma _n\) be the irreducible components of the fixed locus of the action. Then for any \(\alpha \in H^*({\mathcal {X}}, {\mathbb {Q}})\),
where e(_) denotes the Euler class, and \(N_{\Gamma _i}\) is the normal bundle to \(\Gamma _i\). \(\square \)
The \({\mathbb {C}}^*\)-action on the coarse space of \({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2\) is given by
and this action induces a \({\mathbb {C}}^*\)-action on \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\) by post composition.
Throughout, we let t be the equivariant parameter of the \({\mathbb {C}}^*\)-equivariant cohomology ring of \(\overline{{\mathcal {M}}}_{0, kt}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1)\) i.e. \(H_{{\mathbb {C}}^*}^\bullet (pt.) = {\mathbb {C}}[t]\). The variable t has a precise meaning. The classifying space of \({\mathbb {C}}^*\) is \({\mathbb {P}}^\infty \). This space has a tautological line bundle \({\mathcal {O}}_{{\mathbb {P}}^\infty }(-1)\), and t is the first Chern class of the dual to this line bundle.
By Theorem 2, in order to compute intersection numbers on \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\), we need two ingredients: the components of the fixed point locus, and the Euler class to the normal bundle of each component.
The components of the fixed point locus are described as follows. If \([f: {\mathcal {C}} \rightarrow {\mathbb {P}}^1\times {\mathcal {B}}{\mathbb {Z}}_2] \in \overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\) is a fixed point of the \({\mathbb {C}}^*\)-action, the map f must send the marked points on the source curve to the \({\mathbb {C}}^*\)-fixed points on \({\mathbb {P}}^1\), namely, \( 0:= [1: 0]\) and \( \infty := [0: 1]\). Since f is a map of degree 1, the only way a marked point can be mapped to either 0 or \(\infty \) is if \(f^{-1}(0)\) or \(f^{-1}(\infty )\) is a marked point, or, the marked points lie on a contracted component over 0 or \(\infty \). In the case that a component is contracted to 0 or \(\infty \), in order for f to still be a degree 1 map, this contracted component is attached, via a node, to a \({\mathbb {P}}^1\) that maps with degree 1 to the target. Because of this description, we can index/enumerate the components of the \({\mathbb {C}}^*\)-fixed locus using simple graphs, which are called localization graphs ([13], Section 4).
Definition 3
A localization graph \(\Gamma \) for \(\overline{{\mathcal {M}}}_{0, k}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1)\) is a decorated graph with the following properties:
-
1.
\(\Gamma \) has two vertices, denoted \(v_0\) and \(v_\infty \). They correspond to contracted components over 0 and \(\infty \), respectively.
-
2.
\(\Gamma \) has one edge connecting \(v_0\) and \(v_\infty \). This edge corresponds to the component mapping with degree 1 to the target, and we refer to this edge as the central component of \(\Gamma \)
-
3.
The vertices \(v_0\) and \(v_\infty \) can be incident to half edges.We denote the set of half edges incident to \(v_0\) and \(v_\infty \) as \(e_0\) and \(e_\infty \), respectively. We require that \(|e_0| + |e_\infty | = k\)
-
4.
The half edges are labelled, i.e. there is a bijective map \(\nu : e_0\cup e_\infty \rightarrow \{1, 2, \ldots , k\}\).
Each localization graph \(\Gamma \) represents a fixed locus in \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\). The spaces \(\overline{{\mathcal {M}}}_\Gamma \) are isomorphic to components of the fixed loci, up to a difference in gerbe structure due to gluing at the nodes. Consequently, integrals over a component of the fixed locus may be computed as an integral over the corresponding \(\overline{{\mathcal {M}}}_\Gamma \), after correcting by a factor, known as the gluing factor [14]. The space \(\overline{{\mathcal {M}}}_\Gamma \) is determined by the vertices of the localization graph,
The spaces \(\overline{{\mathcal {M}}}_{v_0}\) and \(\overline{{\mathcal {M}}}_{v_\infty }\) are described as follows. If \(|e_0|\) is odd, then \(\overline{{\mathcal {M}}}_{v_0}:= \overline{{\mathcal {M}}}_{0, (|e_0| + 1)}({\mathcal {B}}{\mathbb {Z}}_2)\), and if \(|e_0|\) is even, \(\overline{{\mathcal {M}}}_{v_0}:= \overline{{\mathcal {M}}}_{0, |e_0|, 1}({\mathcal {B}}{\mathbb {Z}}_2)\). Similarly, if \(|e_\infty |\) is odd, \(\overline{{\mathcal {M}}}_{v_\infty }:= \overline{{\mathcal {M}}}_{0, (|e_\infty | + 1)}({\mathcal {B}}{\mathbb {Z}}_2)\), and if \(|e_\infty |\) is even, \(\overline{{\mathcal {M}}}_{v_\infty }:= \overline{{\mathcal {M}}}_{0, |e_\infty |, 1}({\mathcal {B}}{\mathbb {Z}}_2)\).
Example 1
It’s best to understand localization graphs by seeing some examples. Consider the space \(\overline{{\mathcal {M}}}_{0, 6}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1)\). Below are two examples of localization graphs for this space:
The graph on the left corresponds to a single component of the \({\mathbb {C}}^*\)-fixed locus. Each map in this component has the following properties:
-
The map has a rational component mapping with degree 1 to the target, corresponding to the central component of \(\Gamma \).
-
The rational component mapping with degree 1 is nodal to two rational components, one of which contracts to the point 0, and the other contracts to \(\infty \).
-
The rational component that contracts to 0 contains the first 3 marked points, and the rational component that contracts to \(\infty \) contains the last three marked points
Notice that the nodes are forced to have non-trivial isotropy. If we take a map in this fixed locus, and restrict the map to either of the contracted components, we would get an element in \(\overline{{\mathcal {M}}}_{0, 4}({\mathcal {B}}{\mathbb {Z}}_2)\); the first three marked points have non-trivial isotropy, but by Riemann-Hurwitz, the last marked point must also be twisted. Furthermore due to the subtleties that arise from working with stacks, when we integrate against these fixed loci, we must also take into account a gluing factor. The precise formulation/derivation of gluing factors can be found in [14], but in the context of this paper, we can state the gluing factors explicitly in terms of the localization graph: each node contributes a factor of 2 and the central component mapping with degree 1 contributes a factor of \(\frac{1}{2}\). By this reasoning, if \(\alpha \in A^*\left( \overline{{\mathcal {M}}}_{0, 6}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1\right) \), we have
Similarly, for the localization graph on the right, we have
\(\square \)
In general, localization graphs will correspond to products of smaller moduli spaces, which is precisely the reason why we obtain recursions of intersection numbers over these spaces.
Now let us describe how one computes \(\frac{1}{e(N_{\overline{{\mathcal {M}}}_\Gamma })}\). For a derivation from first principles, see [15]. Let \([f: {\mathcal {C}} \rightarrow {\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2] \in \overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\). Then the inverse of the Euler class to the normal bundle to this point is given by
where \(T{\mathcal {X}}\) and \(T{\mathcal {C}}\) are the tangent bundles of \({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2\) and \({\mathcal {C}}\), respectively. If \(\Gamma \) is a localization graph of \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\), in order to compute \(\frac{1}{e(N_{\overline{{\mathcal {M}}}_\Gamma })}\), we take all of the terms appearing in 1 and restrict to \(\overline{{\mathcal {M}}}_\Gamma \).
Before we state what each of the terms are in 1, let us explain a product notation we use for elements in \(H_{{\mathbb {C}}^*}^*(\overline{{\mathcal {M}}}_{\Gamma })\). Since \(\overline{{\mathcal {M}}}_{\Gamma } = \overline{{\mathcal {M}}}_{v_0} \times \overline{{\mathcal {M}}}_{v_{\infty }}\), we have two canonical projection maps \(\pi _1: \overline{{\mathcal {M}}}_{\Gamma } \rightarrow \overline{{\mathcal {M}}}_{v_0}\) and \(\pi _2: \overline{{\mathcal {M}}}_{\Gamma } \rightarrow \overline{{\mathcal {M}}}_{v_{\infty }}\). Whenever we denote an element \((a) \times (b) \in H_{{\mathbb {C}}^*}^*(\overline{{\mathcal {M}}}_{\Gamma })\), what we mean is \(\pi ^*(a) \cdot \pi ^*(b)\).
The formula for \(\frac{1}{e(N_{\overline{{\mathcal {M}}}_\Gamma })}\) is summed up in the following Lemma:
Lemma 1
Let \(\Gamma \) be a localization graph of \(\overline{{\mathcal {M}}}_{0, (2\,g + 2)}([{\mathbb {P}}^1/{\mathbb {Z}}_2], 1)\). We define the following subsets of vertices of \(\Gamma \):
-
\(\text {Val}_0(1):= \{\text {vertices of valence 1 over 0}\}\)
-
\(\text {Val}_\infty (1):= \{\text {vertices of valence 1 over} \ \infty \}\)
-
\(\text {Val}_0(3):= \{\text {vertices of valence 3 over 0}\}\)
-
\(\text {Val}_\infty (3):= \{\text {vertices of valence 3 over} \ \infty \}\)
-
\(\text {Val}_0(\ge 3):= \{\text {vertices of valence at least 3 over 0}\}\)
-
\(\text {Val}_\infty (\ge 3):= \{\text {vertices of valence at least 3 over}\ \infty \}\)
With the above definitions, we have
-
1.
\(e(H^0({\mathcal {C}}, T{\mathcal {C}})) = t^{|\text {Val}_0(1))|}(-t)^{|\text {Val}_\infty (1)|}\)
-
2.
\(e(H^1({\mathcal {C}}, f^*(T[{\mathbb {P}}^1/{\mathbb {Z}}_2]))) = 1\)
-
3.
\(e(H^0({\mathcal {C}}, f^*(T[{\mathbb {P}}^1/{\mathbb {Z}}_2]))) = -t^2\)
-
4.
\(e(H^1({\mathcal {C}}, T{\mathcal {C}})) = \left( (t - \psi _0)^{|\text {Val}_0(\ge 3)|}\right) \times \left( (-t - \psi _{\infty })^{|\text {Val}_\infty (\ge 3)|}\right) \)
Incorporating the gluing factor of \(\Gamma \), which is \((2)^{\left| \text {Val}_0(3)\right| + \left| \text {Val}_\infty (3) \right| }\left( \frac{1}{2}\right) \), we obtain
\(\square \)
Again, we refer the reader to [15] for complete details.
In the context of our computations, the Atiyah–Bott localization theorem can be stated as follows:
Corollary 1
Let \(\alpha \in A^\bullet (\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1))\). Then
where the sum is over all localization graphs \(\Gamma \) of \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\). \(\square \)
4 Auxiliary integrals
In this section, we set up two auxiliary integrals that are zero for dimension reasons. These integrals give us recursions for integrals over the spaces \(\overline{{\mathcal {M}}}_{0, k}({\mathcal {B}}{\mathbb {Z}}_2)\) and \(\overline{{\mathcal {M}}}_{0, k, 1}({\mathcal {B}}{\mathbb {Z}}_2)\).
4.1 Setup
In order to ease notation, we make the following definition:
Definition 4
For \(k = 2g + 2\), we define
From previous results [4, 16], we have the following initial values:
In order to begin the computations, we need the following two standard facts. If \(\Gamma \) is a localization graph, then the classes \(\text {ev}_i^*(0), \text {ev}_i^*(\infty )\) restrict to \(\overline{{\mathcal {M}}}_\Gamma \) as
If \(\overline{{\mathcal {M}}}_\Gamma = \overline{{\mathcal {M}}}_{0, k_1, l_1}({\mathcal {B}}{\mathbb {Z}}_2) \times \overline{{\mathcal {M}}}_{0, k_2, l_2}({\mathcal {B}}{\mathbb {Z}}_2)\), we have
4.2 First auxiliary integral
Consider the following integral
Since \(\text {dim}\left( \overline{{\mathcal {M}}}_{0, k}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1)\right) = k\), as long as \(k \ge 6\), this integral vanishes. Indeed, the degree of the classes appearing in the integrand of \(I_{A}^{i, k}\) add up to \(3 + i\). Since \(0 \le i \le g\), where g is the genus of the hyperelliptic cover, and since \(k = 2g + 2\), the integral vanishes as long as \(3 + i< k \iff 3 + i < 2\,g + 2 \iff g> \frac{3 + i }{2} > 1 \iff g \ge 2 \iff k \ge 6\). We already know the initial conditions
and therefore, we do not need the auxiliary integral for \(k = 4\).
Remark 2
The initial conditions above are valid for all \(k \ge 2\). In particular, we have the initial condition \(\int _{\overline{{\mathcal {M}}}_{0, 2}({\mathcal {B}}{\mathbb {Z}}_2)}1 = \frac{1}{2}\). The moduli space \(\overline{{\mathcal {M}}}_{0, 2}({\mathcal {B}}{\mathbb {Z}}_2)\) has dimension \(-1\). As such, this integral doesn’t have any geometric meaning. However, our recursions will require this integral as an initial condition, and it turns out that declaring the value of this integral to be \(\frac{1}{2}\) is a convention that makes the recursions consistent.
Since the product \(\text {ev}_1^*(0) \text {ev}_2^*(0)\text {ev}_3^*(\infty )\) is in the integrand of \(I_A^{i, k}\), when we use localization to compute \(I_A^{i, k}\), all of the localization graphs that appear in the computation must have the first two marked points over 0, and the third marked point over \(\infty \). What remains is a systematic way to enumerate all of the localization graphs that have this property.
Definition 5
Define \(A^k_j\) to be the set of all localization of graphs of \(\overline{{\mathcal {M}}}_{0, k}({\mathbb {P}}^1 \times {\mathcal {B}}{\mathbb {Z}}_2, 1)\) with the following properties: The first two marked points lie over 0, the third marked point is over \(\infty \), there are \(k - 3 - j\) marked points over 0, and the remaining j points are over \(\infty \) (Fig. 1).
When we localize, by Corollary 1, we have
We evaluate this integral by computing the contributions coming from each set \(A_j^k\). To organize the workflow, we define
Let us first consider \(A_0^k\) and \(A_1^k\). The set \(A_0^k\) only contains one localization graph \(\Gamma \), and the corresponding moduli space is \(\overline{{\mathcal {M}}}_\Gamma = \overline{{\mathcal {M}}}_{0, k}({\mathcal {B}}{\mathbb {Z}}_2)\). So the contribution to \(I_A^{i, k}\) coming from \(A_0^k\) is
Now let us consider \(A_1^k\). There are \({k - 3 \atopwithdelims ()1} = k - 3\) localization graphs contained in \(A_1^k\), coming from the choice of labeling of the marked point over \(\infty \). The moduli space corresponding to each of these localization graphs is \(\overline{{\mathcal {M}}}_\Gamma = \overline{{\mathcal {M}}}_{0, (k - 2), 1}({\mathcal {B}}{\mathbb {Z}}_2) \times \overline{{\mathcal {M}}}_{0, 2, 1}({\mathcal {B}}{\mathbb {Z}}_2)\). The second factor is a moduli space of dimension 0, and when we integrate the fundamental class against it, we get \(\frac{1}{2}\) ([16], Proposition 3.4). So the contribution of \(A_1^k\) to \(I_A^{i, k}\) is
Now we need to consider \(A_j^k\) for \(j \ge 2\). Notice that the corresponding moduli spaces of each localization graph will vary, depending on whether j is even or odd, so we consider both cases separately. In the case that j is even, each localization graph of \(A_j^k\) corresponds to the moduli space
There are \(k - 3 \atopwithdelims ()j\) localization graphs in \(A_j^k\), so the contribution of \(A_j^k\) to \(I_A^{i, k}\) is
In the case that j is odd, the localization graphs contained in \(A_j^k\) correspond to
and the contribution of \(A_j^k\) is
Now, recall that \(I_A^{i, k} = 0\) for \(k \ge 6\) and \(i \ge 0\). After combining all of the contributions from Eqs. 2, 3, 4, and 5, and multiplying through by \(t^{k - 3 - i}\), we get
Notice that
Indeed, when \(j = 1\), the only term that is nonzero in the sum \(\sum _{\ell = 0}^i(-1)^{\ell }d_{i - \ell , k - 1 - j}d_{\ell , j + 1}\) is the term corresponding to \(\ell = 0\), in which case one obtains
as desired.
We therefore have the following recursion for \(D_{i, k}\):
4.3 Second auxiliary integral
Now consider the integral
Again, \(I_B^{i, k} = 0\) for dimension reasons, so evaluating it will result in a recursion as before. As in the previous auxiliary integral, we enumerate the relevant localization graphs.
Definition 6
\(B_j^k\) is the set of all localization graphs of \(\overline{{\mathcal {M}}}_{0, k}(\mathbb {P}^1\times {\mathcal {B}}{\mathbb {Z}}_2, 1)\) with the following properties: the first two marked points lie over 0, j marked points lie over \(\infty \), and the remaining \(k - 2 - j\) marked points lie over 0 (Fig. 2).
By Corollary 1, we see that
As in the case of the first auxiliary integral, we define
We begin by considering \(B_0^k, B_1^k\), and \(B_2^k\). There is one localization graph in \(B_0^k\), whose corresponding moduli space is \(\overline{{\mathcal {M}}}_\Gamma = \overline{{\mathcal {M}}}_{k, 1}({\mathcal {B}}{\mathbb {Z}}_2)\), so the contribution of \(B_0^k\) to \(I_B^{i, k}\) is
Each localization graph of \(B_1^k\) has corresponding moduli space \(\overline{{\mathcal {M}}}_\Gamma = \overline{{\mathcal {M}}}_{0, k}({\mathcal {B}}{\mathbb {Z}}_2)\), and we get
For \(B_2^k\), each localization graph has corresponding moduli space \(\overline{{\mathcal {M}}}_\Gamma = \overline{{\mathcal {M}}}_{0, (k - 2), 1}({\mathcal {B}}{\mathbb {Z}}_2) \times \overline{{\mathcal {M}}}_{0, 2, 1}({\mathcal {B}}{\mathbb {Z}}_2)\), and we get
Now lets consider \(B_j^k\) for \(j \ge 3\). As in the previous auxiliary integral, we consider the two subcases where j is either even or odd. If j is odd, each localization has corresponding moduli space \(\overline{{\mathcal {M}}}_\Gamma = \overline{{\mathcal {M}}}_{0, (k - j + 1)}({\mathcal {B}}{\mathbb {Z}}_2) \times \overline{{\mathcal {M}}}_{0, (j + 1)}({\mathcal {B}}{\mathbb {Z}}_2)\), and we get
If j is even, each localization graph has corresponding moduli space \(\overline{{\mathcal {M}}}_\Gamma = \overline{{\mathcal {M}}}_{0, (k - j), 1}({\mathcal {B}}{\mathbb {Z}}_2) \times \overline{{\mathcal {M}}}_{0, j, 1}({\mathcal {B}}{\mathbb {Z}}_2)\), and we get
Since \(I_B^{i, k} = 0\), for \(k \ge 4\) and \(i \ge 0\), when we combine all of the contributions in Eqs. 7, 8, 9, 10, and 11, and multiply through by \(t^{k - 2 - i}\), we get
Now, we have
Indeed, when \(j = 1\), the only nonzero term in the sum \(\sum _{\ell = 0}^iD_{i - \ell , k - j + 1}D_{\ell , j + 1}\) is achieved when \(\ell = 0\) (see Remark 2), in which case one obtains
as desired. A similar argument also shows that
Therefore, we have the following recursion for \(d_{i, k}\):
5 Proof of main Theorem
With the two recursions obtained in the previous chapter, we are ready to prove our main theorem. The elementary symmetric functions play a big role in our discussion.
Definition 7
Let \(x_1, \ldots , x_n\) be indeterminates. The i th elementary symmetric function on \(x_1, \ldots , x_n\), denoted \(e_i(x_1, \ldots , x_n)\), is defined as
First, we need some preliminary results.
Lemma 2
For \(p \le n\), we have the following identity:
Proof
The proof of this identity can be found in [17] on pg. 30. \(\square \)
Furthermore, we have a simple corollary to the above lemma
Corollary 2
If \((m_1, \ldots , m_n) \in {\mathbb {R}}^n\), we have
Proof
We have
A similar argument is used to show the vanishing of the second expression. \(\square \)
We are now ready to state and prove our main theorem.
Theorem 3
The following equalities hold for \(D_{i, k}\) and \(d_{i, k}\):
Proof
In order to prove the theorem, we simply need to check that the purported expressions of \(D_{i, k}\) and \(d_{i, k}\) in Eqs. 13 and 14 satisfy the recursions obtained in the previous chapter, along with the initial conditions. The initial conditions follow easily. Indeed,
When we plug in 13 and 14 into the recursion obtained in Eq. 6, we get
Lemma 3
Eq. 15 is equivalent to the following equality of polynomials:
where we make the convention that \(\prod _{n = 1}^0(1 - 2nt):= 1\)
Before we can proceed with the proof of Lemma 3, we need a few standard combinatorial facts (see [18, 19]). The elementary symmetric functions have a very nice description via their generating functions,
where by \([t^i] \cdot p(t)\), we mean the degree i coefficient of p(t). Furthermore, recall that, if \(\displaystyle f(t) = \sum _{i \ge 0} a_it^i\) and \(\displaystyle g(t) = \sum _{i \ge 0}b_it^i\) are generating functions for sequences \(a_i\) and \(b_i\), then \(f(t)g(-t)\) is the generating function of the sequence \(c_i\), where
Proof of Lemma 3
Using the above facts, we see that the left hand side of Eq. 15 is
The first sum on the right hand side of Eq. 15 is
The second sum on the right hand side of Eq. 15 is
Cancelling the terms \(\left( \frac{1}{2}\right) ^{i + 1}\) on both sides, Lemma 3 follows. \(\square \)
Making the variable substitution \(g:= \frac{k - 2}{2}\) in Equation (16), we get
Lemma 4
Eq. 17 is equivalent to the vanishing of the polynomial
Proof of Lemma 4
The first claim is that
Indeed, if j is odd, we have
A similar argument shows that
Therefore, the right hand side of Eq. 17 becomes
Now, if we take the product \(\prod _{n = 1}^{g}(1 + (2\,g - 1 - j - 2(n - 1))t)\) and set j equal to zero, we obtain
Putting all of these calculations together gives the desired result. \(\square \)
It remains to show that the polynomial P(t) in Lemma 4 actually vanishes. Consider the following variable transformation for P(t)
For \(1 \le n \le g\), define \(m_n(t):= t + 2g - 1 - 2(n - 1)\), so that \(\widehat{P}(t)\) becomes
By direct application of Corollary 2,
Therefore, \(\widehat{P}(t)\) has \(g + 1\) distinct roots. But since the degree of \(\widehat{P}(t)\) is g, it follows that \(\widehat{P}(t) = 0\), and therefore, \(P(t) = 0\). This shows that
In order to prove that \(d_{i, k} = \left( \frac{1}{2} \right) ^{i + 1} e_i(2, 4, \ldots , k - 2)\), we plug in this expression into the recursion in 12, and run through the same arguments as before. After going through the analogous computations as in the case for \(D_{i, k}\), the desired result follows after showing the vanishing of the polynomial
\(\square \)
References
Deligne, P., Mumford, D.: The irreducibility of the space of curves of given genus. Publ. Math. l’IHES 36, 75–109 (1969)
Mumford, D.: Towards an enumerative geometry of the moduli space of curves. In: Arith. Geom., pp. 271–328. Birkhäuser, Boston, MA (1983)
Faber, Carel, Pandharipande, R.: Logarithmic series and Hodge integrals in the tautological ring. Mich. Math. J 48, 215–252 (2000)
Cavalieri, R.: Generating functions for Hurwitz –Hodge integrals. Adv. Math. 218(5), 1419–1429 (2008)
Wise, J.: A hyperelliptic Hodge integral. arXiv preprint arXiv:0807.3964 (2008)
Johnson, P., Pandharipande, R., Tseng, H.-H.: Abelian Hurwitz–Hodge integrals. Mich. Math. J. 60(1), 171–198 (2011). arXiv:0803.0499
Coates, T., Corti, A., Iritani, H., Tseng, H.H.: Computing genus-zero twisted Gromov–Witten invariants. Duke Math. J. 147(3), 377–438 (2009)
Chen, W., Ruan, Y.: Orbifold Gromov–Witten theory. Contemp. Math. 310, 25–85 (2002)
Abramovich, D., Graber, T., Vistoli, A.: Gromov–Witten theory of Deligne–Mumford stacks. Am. J. Math. 130(5), 1337–1398 (2008)
Lee, Yuan-Pin., Shoemaker, Mark: A mirror theorem for the mirror quintic. Geom. Topol. 18(3), 1437–1483 (2014)
Johnson, P.: Equivariant GW theory of stacky curves. Commun. Math. Phys. 327(2), 333–386 (2014)
Atiyah, M.F., Bott, R.: The moment map and equivariant cohomology. In: Michael Atiyah Collected Works: Volume 5: Gauge Theories, vol. 5(1), pp. 429 (1988)
Graber, Tom, Pandharipande, Rahul: Localization of virtual classes. Invent. Math. 135(2), 487–518 (1999)
Cadman, C., Cavalieri, R.: Gerby localization, \({\mathbb{Z} }_3\)-Hodge integrals and the GW theory of \([{\mathbb{C} }^3/{\mathbb{Z} }_3]\). Am. J. Math. 131(4), 1009–1046 (2009)
Hori, K., Thomas, R., Katz, S., Vafa, C., Pandharipande, R., Klemm, A., Zaslow, E.: Mirror Symmetry, vol. 1. American Mathematical Society (2003)
Jarvis, T., Kimura, T.: Orbifold quantum cohomology of the classifying space of a finite group, Orbifolds in mathematics and physics (Madison, WI, 2001), 123–134. Contemp. Math, 310
Faber, C., & Pandharipande, R.: (2003). Relative maps and tautological classes. arXiv preprint arXiv:math/0304485
Stanley, R.: Enumerative Combinatorics, vol. 1. Cambridge University Press, New York, NY (2011)
Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford University Press (1998)
Acknowledgements
This paper would not have been possible without my advisors, M. Shoemaker and R. Cavalieri. Their patience and willingness to listen to my arguments, and their feedback and comments on early drafts of this paper, have helped tremendously.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
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
Afandi, A. Linear hyperelliptic Hodge integrals. manuscripta math. 174, 679–701 (2024). https://doi.org/10.1007/s00229-023-01519-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-023-01519-x