Abstract
K3 surfaces play a prominent role in string theory and algebraic geometry. The properties of their enumerative invariants have important consequences in black hole physics and in number theory. To a K3 surface, string theory associates an Elliptic genus, a certain partition function directly related to the theory of Jacobi modular forms. A multiplicative lift of the Elliptic genus produces another modular object, an Igusa cusp form, which is the generating function of BPS invariants of \(\textrm{K3} \times E\). In this note, we will discuss a refinement of this chain of ideas. The Elliptic genus can be generalized to the so-called Hodge-Elliptic genus which is then related to the counting of refined BPS states of \(\textrm{K3} \times E\). We show how such BPS invariants can be computed explicitly in terms of different versions of the Hodge-Elliptic genus, sometimes in closed form, and discuss some generalizations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
String theory compactifications on \(\textrm{K3}\) surfaces underlie a series of connections between gravitational physics, number theory and geometry. The Elliptic genus, a certain partition function in conformal field theory, transforms as a Jacobi modular form [39, 47]; its coefficients are related to the irreducible representations of the Mathieu group [23]; its multiplicative lift, a certain Siegel modular form, counts BPS invariants which have the interpretation as black hole microstates in supergravity [18, 20]. See Refs. [3, 38, 44] for topical reviews.
In this note, we will focus on the connection with enumerative geometry and investigate how it is modified when the Elliptic genus is replaced by the Hodge-Elliptic genus, introduced in Kachru and Tripathy [32]. In particular, we will focus on its relation with certain refined enumerative invariants of \(\textrm{K3} \times E\), with E an elliptic curve, see also Cheng et al. [13]. The Hodge-Elliptic genus for K3 is invariant under complex structure deformations, and therefore, its multiplicative lift should lead to objects invariant under such deformations.
The Hodge-Elliptic genus is, however, not invariant over the K3 moduli space, but jumps at specific jumping loci. The origin of these jumping phenomena, different from wall-crossing, is that the Hodge-Elliptic genus is not an index and is therefore sensitive to the appearance of boson-fermion pairs which would leave an index invariant. Remarkably such an object is often computable in closed form.
In this note, we will concentrate on three specific definitions of such refined partition functions: the generic, the orbifold and the complex Hodge-Elliptic genera. The generic Hodge-Elliptic genus was introduced in Wendland [46] and is conjectured to capture physically the refined partition function at a generic point in the moduli space. It can be computed under reasonable assumptions using conformal field theory methods and geometrically reflects the use of the chiral de Rham complex to model twisted sigma models [35]. The orbifold Hodge-Elliptic genus was introduced in Kachru and Tripathy [32] and captures the physics at an orbifold point. It can be computed in closed form and counts extra states with respect to the generic Hodge-Elliptic genus. The complex Hodge-Elliptic genus was also introduced in Kachru and Tripathy [32] as a refinement of the usual Elliptic genus, by replacing its geometric formulation as the Euler characteristic of a certain bundle, with the weighted sum of the dimension of certain cohomology groups. Also, this partition function contains extra states with respect to the generic Hodge-Elliptic genus. While we could not determine precisely the locus in the \(\textrm{K3}\) moduli space where such states appear, it is reasonable to expect that an object invariant under complex structure deformations does indeed occur physically as a refinement of the Elliptic genus at some point of the moduli space. We therefore include it in our analysis, and indeed one of our results is an explicit closed form for the complex Hodge-Elliptic genus. In the process of doing so we also present an explicit computation of the ordinary Elliptic genus, by direct integration from its definition, which highlights the geometric origin of each of its terms. The closed-form computation of the complex Hodge-Elliptic genus can be extended to certain twining genera.
The Elliptic genus of a \(\textrm{K3}\) surface determines the enumerative geometry of reduced Donaldson–Thomas invariants of \(\textrm{K3} \times E\). We investigate how this relation is generalized in the case of the refined partition functions. Following Kachru and Tripathy [32], we conjecture that the resulting generating functions capture a refinement of ordinary Donaldson–Thomas theory. We exhibit closed-form formulas for the first terms of the generating functions in all cases, and a prescription to compute higher-order terms order by order. Interestingly, the specific form of the generic Hodge-Elliptic genus suggests that the moonshine phenomenon should be visible geometrically in the refined Donaldson–Thomas theory.
Ordinary Donaldson–Thomas theory is blind to the moonshine phenomenon due to a subtle interplay between the coefficients of the Elliptic genus, which we discuss in the text. It has been suggested in Kachru and Tripathy [36] that the situation could be different in the refined theory. However, a closer investigation reveals that this is not the case [27] for the generating function introduced in Katz et al. [36], but leaves the door open for higher-order generating functions. Our results seem to imply that this is indeed the case.
This paper is organized as follows. Section 2 contains a brief review of certain aspects of the geometry of \(\textrm{K3}\) surfaces, of Elliptic genera and modular forms, and of enumerative geometry. We also connect these aspects explicitly, by showing how the terms in the elliptic genus count certain curves and how this counting is reflected in its (mock) modularity. In Sect. 3, we discuss Hodge-Elliptic genera and quickly review the orbifold and generic refined partition sums. We also present an explicit closed-form derivation of the complex Hodge-Elliptic genus; in order to do so we revisit the Elliptic genus and compute it explicitly from its integral definition. In doing so, we elucidate the geometric interpretation of each term as it arises from the characters of the symmetric product of the tangent bundle to the \(\textrm{K3}\). Finally, we show explicitly that each Hodge-Elliptic genus admits a refined decomposition in terms of the holomorphic characters of the superconformal algebra. Section 4 contains an explicit derivation in closed form of certain terms in a refinement of Donaldson–Thomas theory, predicted using the Hodge-Elliptic genera. Higher-order terms can be derived with a similar prescription order by order. Finally, Sect. 5 extends the computation of the complex Hodge-Elliptic genus to certain twined case, obtained by working equivariantly with respect to certain finite-order symplectic automorphisms of \(\textrm{K3}\) surfaces. The last Sect. 6 summarizes our findings and offers some discussions of open problems.
Two appendices contain some technical results. The supporting mathematica file contains most of the computations hereby discussed [16].
2 K3 Surfaces, the Elliptic Genus and Enumerative Geometry
In this section, we review some aspects of the relation between \(\textrm{K3}\) surfaces and the elliptic genus. We will show how known facts about the Elliptic genus can be put in direct relation with certain Donaldson–Thomas invariants.
2.1 Some Geometric Aspects of K3 Surfaces
Here, we review some facts about K3 and geometry which will be used along the paper
Recall that for S a K3 surface \(H^1 (S , {{\mathcal {O}}}_S) = 0\) and \(\Omega ^2_S \simeq {{\mathcal {O}}}_S\). The cotangent sheaf \(\Omega _S\) is locally free and of rank two, and its determinant is trivial \({{\mathcal {K}}}_S \simeq {{\mathcal {O}}}_S\). Furthermore, we have the isomorphism \({{\mathcal {T}}}_S \simeq \Omega _S\). The Hodge numbers are given by \(h^{p,q} (S) = \dim H^q (S , \Omega ^p_S) \). In particular \(h^{p,q}=1\) for \((p,q)=(2,0),(0,2),(0,0),(2,2)\), \(h^{1,1}= 20\), and all the other Hodge numbers are vanishing. Note that \(h^0 (S, \Omega _S) = h^0 (S , {{\mathcal {T}}}_S) = 0\) and there are no global nontrivial vector fields on S.
For a rank r sheaf \({{\mathcal {E}}}\) on S, the splitting principle allows us to write the Chern polynomial as
with \(\textsf{t}\) a formal parameter. The Chern character is given by
and the Todd class by
The Euler characteristic of a sheaf \({{\mathcal {E}}}\) can be computed via the Riemann–Roch theorem
where \({{\mathcal {T}}}\) is the holomorphic tangent space to S. This theorem can be used to compute geometrical quantities associated with the \(\textrm{K3}\). For example, from the fact that \(\chi ({{\mathcal {O}}}) = 2\) we deduce an expression for the integral of the second Chern class
The tangent sheaf of a \(\textrm{K3}\) surfaces satisfies
and therefore
a fact that we will use extensively when computing the Elliptic genus.
2.2 The Elliptic Genus
The definition of the Elliptic genus is rooted in conformal field theory. When the string propagates in a Calabi–Yau variety, the worldsheet theory is described by a \({{\mathcal {N}}}=2\) superconformal algebra. This algebra consists of two copies, the left-moving and the right-moving sectors. If we let \(L_0\) and \(J_0\) denote, respectively, the zero modes of the Virasoro and R-symmetry current generators, the Elliptic genus is defined as a trace over the RR sector
We have introduced the notation \(q = {\textrm{e}}^{2 \pi {\,\textrm{i}\,}\tau }\) and \(y = {\textrm{e}}^{2 \pi {\,\textrm{i}\,}z}\). Due to supersymmetry, this quantity is independent of \({\overline{\tau }}\) and depends holomorphically on \(\tau \) and z. Physically the Elliptic genus counts RR states which are in the ground state in the left-moving sector and are unconstrained in the right-moving sector. It can be understood as computing the dimensions of certain cohomology groups graded by the \(L_0\) and \(J_0\) quantum numbers. The existence of an inner automorphism of the superconformal algebra, the spectral flow, implies that the Elliptic genus is a weak Jacobi form of weight zero and index \(m = \frac{c}{6}\), where c is the central charge. The spectral flow symmetry also implies that Fourier expansion of the Elliptic genus has the structure
since the combination of operators which is invariant under spectral flow is precisely \(4 \, m \, L_0 - J_0^2\).
In the case of a \(\textrm{K3}\) surface, supersymmetry is enhanced and the Elliptic genus is a weak Jacobi form of weight zero and index 1. The space of these forms is one-dimensional and generated by the form \(\phi _{0,1} (\tau , z)\). Explicitly the Elliptic genus can be written as
Here,
are a theta function and the Dedekind eta function. Furthermore, we have introduced the Appell–Lerch sum
and the function
where \(E_2 (\tau )\) is the weight two (quasi-modular) Eisenstein series
and
The function \(H(\tau )\) is a mock modular form with shadow \(24 \, \eta (\tau )^3\). This means that
is a weight 1/2 modular form for \(SL(2 ; {{\mathbb {Z}}})\). Similarly, \(\mu (\tau , z )\) is a mock modular form with shadow \(- \eta (\tau )^3\), so that
is a weight 1/2 modular form for \(SL(2 ; {{\mathbb {Z}}})\). A striking fact about (2.10) is that the relative coefficients are such that the shadows of the two mock modular forms cancel exactly and the full Elliptic genus is an ordinary Jacobi form. See [18] for a more complete discussion.
Geometrically, the Elliptic genus is the holomorphic Euler characteristics of a certain sheaf, constructed out of a sheaf \({{\mathcal {E}}}\) on a variety Y. If we denote \(r = \textrm{rank}\, {{\mathcal {E}}}\) and \(d = \dim _{{\mathbb {C}}}Y\), then
where explicitly
and we have introduced the notation
We will often drop the explicit dependence on Y from the notation when it is clear from the context. In the following, we will take \({{\mathcal {E}}}= {{\mathcal {T}}}_Y\) the holomorphic tangent bundle. In the case of a \(\textrm{K3}\) surface, we will simply call this \({{\mathcal {T}}}\). By using the Riemann–Roch theorem, the Elliptic genus can be written as
The Elliptic genus captures information about certain BPS states in compactifications of the type II string on \(\textrm{K3} \times E\) Dijkgraaf et al. [20], where E is an elliptic curve. These are states corresponding to the partition function of the second quantized string theory on \(\textrm{K3} \times E\). The argument of [20] identifies such a partition function with the partition function of a single string which propagates on the symmetric product. The latter is expressed as
in terms of the Siegel modular form of weight 10, computed as a multiplicative lift of the Elliptic genus
where the product is over all \(s \in {{\mathbb {Z}}}\) and \(n,m \ge 0\) such that one of the following two conditions holds
-
\(n > 0\) or \(m >0\),
-
\(n=m=0\) and \(s < 0\).
Note that the function (2.24) is symmetric in the exchange \(p \leftrightarrow q\). Finally, the Jacobi form \(\varphi _{10,1} (\tau , z)\) which appears in (2.23) can also be thought of as the generating function of \(\chi _y\) genera
with
2.3 Donaldson–Thomas Theory of \(\textrm{K3} \times E\)
Donaldson–Thomas theory is the mathematical formalism underlying BPS states formed by bound states of D-branes with electric and magnetic charges. In its simplest version, one considers bound states of a single D6 brane with a gas of D2-D0 branes on a Calabi–Yau X. These configurations are parametrized by the Hilbert scheme
The Donaldson–Thomas invariant is defined via virtual integration over this moduli space
In the case at hand \(X = \textrm{K3} \times E\), with E an elliptic curve. This is the main example that we will consider and therefore we shall often omit the specification of the variety X from the notation. In this case, one can parametrize the curve C as \(C = \beta + d E\), where \(\beta \) is (the push-forward of) a primitive curve in the \(\textrm{K3}\) with \(\beta ^2 = \langle \beta , \beta \rangle = 2 h-2\), in terms of the intersection pairing. In this case, all the relevant invariants vanish; this follows from the localization formulas, since the torus E acts on itself, and therefore on the moduli space, freely. Physically this vanishing is related to the presence of an extra fermionic zero mode \(\textrm{K3} \times E\) compactifications.
To avoid this problem, the relevant moduli space is the quotient of the Hilbert scheme \(\textsf{Hilb}^{C,n} (\textrm{K3} \times E) / E\). Then, one can introduce (reduced) BPS invariants as \(\texttt{DT}_{h,d,n} (X) := \texttt{DT}_{\beta + d E , n} (X)\) corresponding to the Hilbert scheme \(\textrm{Hilb}^{h,d,n} (X) := \textrm{Hilb}^{\beta + d E , n} (X) / E\). It is useful to encode this information in the generating function
where we have introduced the counting parameter \(p = {\textrm{e}}^{2 \pi {\,\textrm{i}\,}\sigma }\).
The counting parameters have the following physical interpretation. BPS states on X are parametrized by a certain vector of electric and magnetic charges. However, due to T-duality this information is redundant, and only three T-duality invariant scalar combinations of the charges are physical, as reviewed, for example, in Sen [44]. By an appropriate T-duality rotation, we can parametrize the T-duality invariant charges as
which are then the parameters which enter in the generating function (2.29). Here, \(p^0 =1\) is the D6 brane charge, \(q_0 = n\) the number of D0 branes and the remaining \(q_1\) and \(q_a\) with \(a=2,\dots ,23\) are the charges of D2 branes wrapping the elliptic curve or 2-cycles in the K3, respectively. Here, \(C^{ab}\) is the signature (3, 19) intersection product on \(H_2 (\textrm{K3})\). Note that in the generating function (2.29) the functions \(\texttt{DT}_h\) have fixed electric charge Q, which is different from what one normally does in the physics literature. The geometrical reason for this is that it is easier to count invariants by fixing the curve class in the \(\textrm{K3}\) and summing over the covering of the elliptic curve than vice versa. Ultimately this should be just a matter of conventions since the generating function is symmetric in the exchange \(p \leftrightarrow q\).
The generating function of reduced Donaldson–Thomas invariants is conjecturally given by Bryan [8]
in terms of the Siegel modular form (2.24). See also [9, 10]. The Gromov–Witten formulation of this conjecture [37, 42] was proven in [43].
In particular, Bryan proves Bryan [8]
by a direct toric localization computation. This is quite remarkable since \(\textrm{K3}\) is not a toric manifold. However, the relevant moduli space admits a stratification where each stratum is separately toric, even if the torus action does not glue to a globally defined action. These results, as we will see momentarily, give a very good control on the precise geometric interpretation of every BPS state.
In particular, since the sum in (2.23) starts from \(n=0\) and since \(\textsf{Hilb}^1 (K3)= K3\), we find
We will now use this fact to derive a few non-trivial identities.
Noting that
we can then rewrite the Elliptic genus as
where dove \( \wp (\tau , y)\) is the Weierstrass \(\wp \)-function. Let us consider this expression term by term and compare it with (2.10). It is easy to see that
and therefore
By comparing with the known expression of the Elliptic genus, we deduce the fairly non-trivial identity
which we will use in the following. Note that for this identity to hold it is crucial that the \(2 F_{2}^{(2)} (\tau ) / \eta ^3 (\tau )\) term cancels the y-independent terms in the Appell–Lerch sum (2.13), since in the left-hand side every term in the q-expansion has a y-dependent coefficient. The above relation can also be proven indirectly using modularity, by using the fact that the ratio of Jacobi forms \(\varphi _{0,1} / \varphi _{-2,1}\) is proportional to the Weierstrass \(\wp \)-function, see Dabholkar et al. [18], for example.
The function \(H(\tau )\) (2.14), whose coefficient encodes the dimensions of certain irreducible representations of the Mathieu group \(\mathbb {M}_{24}\), does not appear to have an independent geometrical interpretation. This fact underlies the difficulty in finding a geometric interpretation of the Mathieu group representations. We will discuss more aspects of the geometry of curves in the target space \(\textrm{K3} \times E\) momentarily.
2.4 Enumerative Aspects of Jacobi Forms
We will now give an example of what kind of information we can gain from the explicit expression of the enumerative invariants (2.32). It was shown in Dabholkar et al. [18] that the coefficients of the expansion of \(1 / \Phi _{10}\) at fixed magnetic charges are meromorphic Jacobi forms. These can be decomposed into a finite part, a certain finite linear combination of classical theta series where the coefficients are mock modular forms, and a polar part, that is completely determined by the poles of the original meromorphic Jacobi form. Physically the finite part counts microstates associated with immortal black holes, defined over all the moduli space, while the polar part captures the degeneracies associated with two centered black holes. While this decomposition is perfectly clear from the point of view of modular forms, it begs for a geometric explanation. For example, one can ask what is the enumerative content of single-centered black holes, or if we can give a precise mapping between enumerative invariants and black hole microstates. In other words, given a certain Donaldson–Thomas invariant, possibly in terms of a moduli space of schemes, how can we know in purely geometrical terms if it corresponds to a single center black hole or not?
In our case the situation is slightly different, since we are considering the coefficients of the expansion of \(1 / \Phi _{10}\) at fixed electric charges; nevertheless, \(\Phi _{10}\) is symmetric under this exchange and the results of Dabholkar et al. [18] formally still hold. Such an expansion is somewhat unnatural from the physical point of view and possibly needs a clearer interpretation. (Possibly it holds in a different region of the moduli space). Nevertheless, we will show explicitly such decomposition for \(\texttt{DT}_1\).
Before addressing the issue, let us clarify the geometrical content of the generating functions (2.32), following [8]. Consider \(X = K3 \times E\) and let \(p_{1,2}\) be the projections onto the first and second factors. Then, a curve C is called vertical if its projection \(p_2 : C \longrightarrow E\) has degree zero, so that the curve lies in \(K3 \times pt\). Similarly a curve C is called horizontal if the projection \(p_1 : C \longrightarrow K3\) has degree zero. A curve which is neither vertical nor horizontal is called diagonal. This classification determines a decomposition
This decomposition follows from the fact that since \(\beta \) is irreducible, any subscheme Z will have a unique component which is either diagonal or vertical, while all the other components are horizontal. In particular, if \(h=0\), only vertical components are possible.
Let us now focus on the \(\texttt{DT}_1\) contribution. Consider the vertical part in the decomposition (2.40). In the case \(h=1\), we have \(\beta ^2 = 0\). Equivalently the K3 are elliptically fibered and \(\beta \) is the class of the fiber. The fibration \(S \longrightarrow {\mathbb {P}}^1\) has 24 singular fibers. As proven in Bryan [8], the computation of the BPS invariants receives contributions from subschemes whose unique vertical component is a smooth fiber:
where 22 is the Euler characteristics of the base \({\mathbb {P}}^1\) minus 24 points, and from subschemes whose unique vertical component is a nodal fiber:
To these, one must add the contribution from the diagonal curves
These three terms give a concrete geometrical interpretation of (2.33). We will now show how precisely these terms contribute to the black hole partition function. It follows from Dabholkar et al. [18] that we expect that each \(\texttt{DT}_h\) splits into a polar part
and a finite part \(\texttt{DT}_h^{F} = \texttt{DT}_h - \texttt{DT}_h^{(P)}\). Indeed in our case
Then, we have (from Dabholkar et al. [18] eq 8.54; both \(\varphi _{0,1}\) and \(\varphi _{-2,1}\) here are defined with the opposite sign as there)
where
is the averaging operator. In our case, it is easy to see that
We conclude that
Now, we have an explicit enumerative interpretation of the Jacobi form \(\texttt{DT}_1\): The BPS states counted by the finite part correspond to the diagonal curves (2.43) as well as those curves whose vertical component is a smooth fiber (2.41) or a nodal curve without points, that is, the \(y^0\) term in (2.42). The rest of the vertical curves in (2.42) are associated with the polar part.
This example shows that by carefully analyzing the interplay between modularity and geometry we can give a very explicit description of the BPS states.
3 Hodge-Elliptic Genera on K3 Surfaces
In this section, we introduce various Hodge-Elliptic genera for K3 surfaces, following [32, 46], and discuss some of their properties. The Hodge-Elliptic genus is invariant under complex structure deformations but depends sensitively on the Kähler structure. The orbifold Hodge-Elliptic genus [32] corresponds to \(\textrm{K3}\) surfaces which are resolutions of a certain quotient, while the generic conformal field theoretic Hodge-Elliptic genus [46] is conjectured to capture the large radius conformal field theory. Both are explicitly computable. We also discuss the complex Hodge-Elliptic genus [32] and express it in closed form by using representation theory arguments. In passing we also clarify the structure of each contribution to the Elliptic genus from bundles on \(\textrm{K3}\).
3.1 Refined Partition Functions
Counting functions of BPS states can usually be refined by keeping track of additional quantum numbers. For example, the function \(1/ \varphi _{10,1}\) can be interpreted as counting 1/4-BPS states in type II string compactifications on \(\textrm{K3} \times E\) with fixed electric charge and transforming in a certain spin representation of \(\textrm{SU}(2)_L\). The function \(\varphi _{10,1}\) admits a refinement which was derived by Katz, Klemm and Pandharipande [36]
where we have introduced the new counting parameter \(u = {\textrm{e}}^{2 \pi {\,\textrm{i}\,}\nu }\). Physically \(1 / \phi _{KKP} (\tau , z , \nu )\) refines the counting of \(1/ \varphi _{10,1}\) in the sense that the fugacity u keeps track of the spin representation now in \(\textrm{SU}(2)_R\). This function has also a geometrical interpretation as
where the Hodge polynomial for a variety Y is given by
For a \(\textrm{K3}\) surface, \(\chi _{\textrm{Hodge}} (\textrm{K3}) = 1/(u y) +y/u + 20 + u/y + y \, u\), which reduces to \(\chi _{y} (\textrm{K3}) = 2 \, y+20+2/y\) for \(u=1\).
Precisely as the generating function \(\varphi _{10,1}\) admits the refinement \(\phi _{KKP}\), also the elliptic genus and the associated generating functions can be refined. Kachru and Tripathy [32] introduce the conformal field theory Hodge-Elliptic genus as a refinement of the Elliptic genus
The trace is taken only over states which are arbitrary in the left-moving sector but in a Ramond ground state in the right-moving sector. Such a quantity takes its name from the fact that its first term in the q expansion is the Hodge polynomial of the \(\textrm{K3}\). It is, however, not a genus in the strict mathematical sense. (For example, it is non-vanishing on the torus.) This quantity is moduli dependent and jumps over the Calabi–Yau moduli space, for example, at those points where the left chiral CFT algebra is enhanced.
At first sight, (3.4) is similar to (2.8) and the variable u appears to play a role similar to the variable y. Therefore, it is tempting to promote it to an elliptic variable and try to interpret (3.4) as a Jacobi form with two elliptic variables. However, this symmetry is not really there, due to the fact that the trace is taken only over those states which are in a Ramond ground state in the right-moving sector. As a consequence, the range of values of the variable m in (3.4) is restricted to a finite number (we will see that \(m=-1,0,1\) with the appropriate normalization) and (3.4) is only a Laurent polynomial in u. This argument, however, does not rule out that u could transform in a more complicated way under the modular group. In this paper, we take the simplest route and assume that u is invariant under the modular group.
The Hodge-Elliptic genus can also be given a geometric definition on a variety Y using the geometric realization of the Elliptic genus as the Euler characteristic of the sheaf (2.20) [32]:
As for the Elliptic genus, we will only consider the case where Y is a \(\textrm{K3}\) surface and \({{\mathcal {E}}}= {{\mathcal {T}}}\) its holomorphic tangent bundle. We will refer to this as the complex Hodge-Elliptic genus. In general, a direct computation of the Hodge-Elliptic genus will give different results when carried out at different points of the moduli space, as we will discuss momentarily. Remarkably in certain cases the Hodge-Elliptic genus is known in closed form. A direct computation of (3.4) was done in Kachru and Tripathy [32] at a certain orbifold point and in Wendland [46] in the strict large radius limit. We will refer to these as \(\mathsf {H\text { -}Ell}^{\textrm{orb}}\) and \(\mathsf {H\text { -}Ell}^g\); when writing \(\mathsf {H\text { -}Ell}\) without any further specification we refer to properties which hold for each of the Hodge-Elliptic genera described so far.
The main interest of this paper is how Hodge-Elliptic genera are related to enumerative geometry. As shown in Kachru and Tripathy [32], essentially following the argument of Dijkgraaf et al. [20] one can define a generating function
The authors of Kachru and Tripathy [32] conjecture that this \(\Phi ^{\textrm{ref}} (\tau , z , \nu , \sigma )\) is the generating function of motivic/refined Donaldson–Thomas invariants. Since it is defined in terms of the Hodge-Elliptic genus, its precise form will depend on the Calabi–Yau moduli. In this note, we will study various \(\Phi ^{\textrm{ref}} (\tau , z , \nu , \sigma ) \) corresponding to different version of the Hodge-Elliptic genus and use it to make prediction for enumerative invariants. These matters will be discussed in Sect. 4.
3.2 BPS Jumping Loci
The flavored partition function (3.4) is not an index and can exhibit jumping behavior at certain points in the moduli space [33, 34]. This behavior is generically different from wall-crossing and is due to the unprotected nature of the new partition function. For example, the indexed count can differ from the flavored partition function at generic points in the moduli space due to the presence of boson-fermion pairs (where the statistics refers to the fermion number appearing in the index, so typically we really are talking about different multiplets) whose contribution to the Elliptic genus cancels exactly. Additionally, an extra chiral current can appear at special points in the moduli space, leading to more state appearing (always in Bose–Fermi pairs to leave the indexed count invariant). A physical interpretation could be that for special loci in the moduli space some particles in the full spectrum are now annihilated by a certain supercharge (or a combination thereof). Another difference with wall-crossing is that jumping loci are typically of higher codimension.
For example, the moduli space of type IIA compactification on K3 surfaces has the form of a locally symmetric space
which can be understood as the moduli space of lattices \(\Gamma ^{p,q}\) of signature (p, q). By adopting this perspective, the appearance of extra chiral currents corresponds to loci in the moduli space where the lattice generated by a collection of k vectors becomes purely left moving, corresponding to subvarieties of the form \({{\mathcal {M}}}(p,q-k) \subset {{\mathcal {M}}}(p,q)\) and called special cycles. In algebraic geometry, such loci where the rank of the lattice changes abruptly are known as Noether–Lefschetz loci, or generalization thereof, and are often Shimura varieties. Remarkably the formal generating functions of these loci, that is sums whose coefficients are special cycles, are in certain cases (mock) modular forms valued in \(H^\bullet ({{\mathcal {M}}}(p,q))\) [34].
3.3 The Orbifold Hodge-Elliptic Genus
In Kachru and Tripathy [32], the Hodge-Elliptic genus is computed at a certain point in the moduli space where the \(\textrm{K3}\) is a resolution of the quotient of \({{\mathbb {T}}}^4\) (a product of two square tori with unit volume) by the \({{\mathbb {Z}}}_2\) inversion. Using CFT techniques, one finds explicitlyFootnote 1
with \(\theta _1^* (\tau , 0 ) = - 2 q^{1/8} \prod _{n=1}^\infty (1-q^n)^3\). We can rewrite this as
Define the functionFootnote 2\(\Lambda _N (\tau ) \in M_2 (\Gamma _0 (N))\) as
Then, using the identity [21]
one can write
which has the structure of the sum of two Jacobi forms with coefficients which are u-dependent and a weight 2 modular form on \(\Gamma _0 (2)\).
3.4 The Generic Hodge-Elliptic Genus
The generic conformal field theory Hodge-Elliptic genus corresponds to the partition function (3.4) computed in the infinite volume limit. It was computed in Wendland [46] by a careful analysis of the space of ground states and of the representation theory of the superconformal algebra. The result is
where the second term on the right-hand side is proportional to the character \(\textrm{ch}_{\frac{1}{4} , \frac{1}{2}} (\tau , z)\) of the superconformal algebra, which will, however, appear later on. The latter can also be written as the quantity \(\eta (\tau )^3 \left[ q^{-1/8} - 2 \mu (\tau , z) \right] \) multiplying the Jacobi form \(\varphi _{-2,1} (\tau , z) = \theta _1 (\tau , z)^2 / \eta (\tau )^6\). Therefore, also the generic Hodge-Elliptic genus has the structure of the sum of two Jacobi forms with u-dependent coefficients. However, now the u-dependent part spoils the modular properties, due to the presence of the term \(q^{-1/8}\) and of the mock modular form \(\mu (\tau , z)\).
Remarkably (3.14) has a geometric interpretation in terms of the chiral de Rham complex \(\Omega ^{ch}\) of \(\textrm{K3}\) introduced in Malikov [40]. Recall that the chiral de Rham complex is a sheaf of vertex operator algebras obtained by gluing together local \((b c - \beta \gamma )\)-systems. Taking the sheaf homology \(H^\bullet (\textrm{K3} , \Omega ^{ch})\) provides a model for the sigma model Hilbert space of states. Then, it is shown in Wendland [46] that
where the combination \(L_0 - \frac{1}{2} J_0\) signals that the chiral de Rham complex carries the action of a topologically twisted superconformal algebra.
By using (2.10), we can write (3.14) in a form similar to (3.13)
3.5 The Complex Hodge-Elliptic Genus and Representation Theory
We will now outline a procedure to compute (3.5) directly from the definition, as an expansion in q. The idea is to reduce the computation to a sum of factors which can be read of from the ordinary elliptic genus expansion, with different weights.
A \(\textrm{K3}\) surface has strict \(\mathrm {SU(2)}\) holonomy and therefore \(\mathrm {SU(2)}\) acts on the tangent space \({{\mathcal {T}}}\). By using the splitting principle, we can write the character \(\textrm{ch}({{\mathcal {T}}}) = t + 1/t\) which is then identified with the character of the fundamental representation of SU(2). In the case of SU(2) characters, one can compute explicitly the generating function
We can think of t as a one-dimensional module under the action of the diagonal \(\textrm{U}(1) \subset \textrm{SU}(2)\). Here \(\chi _n (t) = \frac{t^{n+1} - t^{-n-1}}{t-t^{-1}} = \sum _{i=0}^n t^{2 i-n}\).
Now, we look explicitly at the bundle \(\mathbb {E}\) in (2.20). It has a form of a direct sum of bundles whose coefficients are weighted by \(q^n\). The antisymmetric factors only contain a finite number of terms. We can then write
Under the SU(2) action \({{\mathcal {S}}}^k ({{\mathcal {T}}})\) corresponds to the character \(\chi _k\). The reason why it is useful to think in this terms is that \(H^0 (X , {{\mathcal {S}}}^m {{\mathcal {T}}}) = 0\) \(\forall m >0\), by a classic result of Kobayashi. Therefore to compute the Hodge-Elliptic genus, it is sufficient to single out the terms which admit global sections. The terms which do not admit global sections have trivial \(H^0\) and therefore by Serre’s duality trivial \(H^2\). The strategy of the computation is to use the representation theory of SU(2) to decompose a generic term \({{\mathcal {T}}}^k\) into terms which admit global sections (that are given by \({{\mathcal {O}}}\) and correspond to the trivial representation) and terms which do not (which have the form \( {{\mathcal {S}}}^m {{\mathcal {T}}}\) and correspond to non-trivial characters). Note that products of terms of the form \({{\mathcal {S}}}^m {{\mathcal {T}}}\) may contain a copy of the trivial bundle in their decomposition.
In order to extract the full contribution of the trivial bundle, we will formally write
More precisely, we formally identify \({{\mathcal {T}}}\) with the character of the fundamental representation of SU(2) and interpret the above formula as a formal power series in its generator. This rewriting is convenient since now by expanding we have succeeded in writing \(\mathbb {E}\) as a direct sum whose summands are all of the form \({{\mathcal {T}}}^k\) for some \(k \in \mathbb {N}\).
Now to extract the contribution of the trivial bundle \({{\mathcal {O}}}\), we have to use repeatedly the tensor product decomposition rules, recalling that \({{\mathcal {T}}}\) transforms as the character of the fundamental representation under the SU(2) action. One starts by \({{\mathcal {T}}}\otimes {{\mathcal {T}}}= {{\mathcal {O}}}\oplus {{\mathcal {S}}}^2 {{\mathcal {T}}}\), where the second factor does not admit global sections and can therefore be discarded. Tensoring again by \({{\mathcal {T}}}\) one gets \({{\mathcal {T}}}^3 = 2 {{\mathcal {T}}}\oplus {{\mathcal {S}}}^3 {{\mathcal {T}}}\). Similarly, \({{\mathcal {T}}}^4 = 2 {{\mathcal {O}}}\oplus 3 {{\mathcal {S}}}^2 {{\mathcal {T}}}\oplus {{\mathcal {S}}}^4 {{\mathcal {T}}}\). It is easy to see that any time we tensor \({{\mathcal {T}}}^k\) with k odd with \({{\mathcal {T}}}\), and the resulting decomposition of \({{\mathcal {T}}}^{k+1}\) has one \({{\mathcal {O}}}\) factor whose coefficient is the same as the coefficient of the \({{\mathcal {T}}}\) factor in the decomposition of \({{\mathcal {T}}}^k\). Similarly, any time we tensor \({{\mathcal {T}}}^n\) with n even with \({{\mathcal {T}}}\), the decomposition \({{\mathcal {T}}}^{n+1}\) has one \({{\mathcal {T}}}\) factor whose coefficient is the sum of the coefficients of \({{\mathcal {O}}}\) and \(S^2 {{\mathcal {T}}}\) in \({{\mathcal {T}}}^n\). The coefficient of \({{\mathcal {S}}}^2 {{\mathcal {T}}}\) in \({{\mathcal {T}}}^n\) is, however, the sum of the coefficients of \({{\mathcal {T}}}\) and \({{\mathcal {S}}}^3 {{\mathcal {T}}}\) in \({{\mathcal {T}}}^{n-1}\). All these facts follow immediately from the tensor product decomposition of products of the fundamental representation. In summary we see that
where \(i \in \mathbb {N}\) and \(C_i = \frac{(2i)!}{(i+1)! i!}\) is the \(i^\textrm{th}\) Catalan number. The dots denote terms which are sums of factors of the form \({{\mathcal {S}}}^k {{\mathcal {T}}}\) with \(k>1\).
We are finally ready to put all of our results together. The Hodge-elliptic genus has two contributions: the contribution from the \({{\mathcal {S}}}^{k >0} {{\mathcal {T}}}_X\) bundles, which is equal to their contribution to the elliptic genus (the u factor cancels with the overall 1/u normalization of (3.5)) since for these bundles only \(H^1\) is non-trivial; and the contribution from the \({{\mathcal {O}}}_X\) factors which by Serre duality is equal to their contribution to the elliptic genus weighted by \(\frac{1}{2} \left( u + \frac{1}{u} \right) \), since for these bundles only \(H^0 \) and \(H^2\) are non-trivial and they are weighted, respectively, by 1/u and u.
Therefore, an equivalent and perhaps simpler way of computing the Hodge-elliptic genus is to compute the ordinary elliptic genus and add the contribution of the trivial bundles weighted by \(\frac{1}{2} \left( u + \frac{1}{u} \right) -1\). We formally express this by writing
where \( \textsf{Ell} (\tau , z ) \big \vert _{{{\mathcal {O}}}_X}\) is the contribution to the Elliptic genus from the flat bundle \({{\mathcal {O}}}_X\), and this equation is intended as an equivalence between formal power series.
This strategy can be easily implemented to compute \(\mathsf {H\text { -}Ell}^c (\tau , z, \nu )\) as a power series in q
We will show momentarily how to obtain \(\mathsf {H\text { -}Ell}^c (\tau , z, \nu )\) in closed form, by finding a way to implement the above arguments systematically. Before that we have to revisit the computation of the Elliptic genus.
3.6 The Elliptic Genus Revisited
The Elliptic genus integrand is determined, up to a normalization, by the Chern character of the bundle (2.20). By using (3.19), we can write
where we have used the splitting principle to write \(\textrm{ch} ({{\mathcal {T}}}) = \zeta + 1/\zeta \), where \(\zeta = {\textrm{e}}^x\) and x is the integration variable. Now, following [17] we use the following denominator formulas from Kac and Wakimoto [31] (see Example 4.1)
Noting that
we can now write (3.23) as
by changing summation variable \(i+j=N\). In the last step, we have introduced the functions
As we have discussed, we would like to rewrite the Chern character of \(\mathbb {E}\) in a form where the contribution from each \(S^N {{\mathcal {T}}}\) bundle is highlighted:
in terms of certain functions \(\mathscr {F}_N\) to be determined by comparing with (3.28). In order to do so note that on the right-hand side of (3.28) the coefficient of \(\zeta ^k\) is of the form \(\sum _{i=k}^\infty \mathscr {F}_{2 i}\). Therefore, it follows that we can obtain \(\mathscr {F}_N\) by taking the difference between the coefficient of \(\zeta ^N\) and the coefficient of \(\zeta ^{N+2}\) in (3.26), since all the other terms cancel. Therefore,
In particular, now we know how to isolate the trivial character which corresponds to the contribution of the trivial bundle.
We prove in Appendix A that
with
Therefore, we can write the full Elliptic genus as
The integration is now elementary:
where we have used (2.7).
We conclude that the Elliptic genus can be written as
It is convenient to rearrange terms as
The first three contributions can be checked directly. All the other follow from some boring but straightforward algebra
To summarize, we have shown
Furthermore, the combination
gives the Eisenstein series \(E_2 (\tau )\). Indeed the latter can be written asFootnote 3
where we have used \(\sum _{n=1}^{\infty } n = \zeta (-1) = - \frac{1}{12}\) in terms of the analytically continued Riemann zeta function \(\zeta (s)\). By putting everything together, we finally have
as expected.
The above result was obtained by using the zeta function regularization. One may wonder if this procedure introduces ambiguities in the final expression; for example, a different prescription could shift the Eisenstein function by a constant. However, such shifts are not compatible with modular invariance, which apparently forces this specific form of regularization. Nevertheless, it would be desirable to find a better argument which does not assume modular invariance, for example, by avoiding divergent expressions altogether.
3.7 The Complex Hodge-Elliptic Genus
We have just shown that
Similarly, we can write for the complex Hodge-Elliptic genus
where we have used
Now, we can compute the trivial bundle contribution
Finally, putting everything together we conclude that
Equivalently, we can use the definition (2.14) to write
Recall that \(\mu (\tau ,z)\) and \(H (\tau )\) are mock modular forms with shadows \(- \eta (\tau )^3\) and \(24 \eta (\tau )^3\). Remarkably the u-dependence factors out in the first line and again the two shadows cancel exactly to give a Jacobi form with a u-dependent coefficient which reduces to one in the limit \(u \rightarrow 1\). In the second line, \(\varphi _{-2,1} = - \theta _1^2 / \eta ^6\) is also a Jacobi form, and \(E_2 (\tau )\) is a quasi-modular form, and it transforms as a modular form of weight 2 when we add \(-3/ \pi \textrm{Im} (\tau )\). Modular properties are, however, spoiled by the presence of the rational function.
Note that the form (3.46) of the u-dependent factor \( \frac{1}{24} \left( 20 + 2 u + \frac{2}{u} \right) \) multiplying the Elliptic genus plus a correction is common to all Hodge-Elliptic genera.
3.8 Character Decomposition and Mathieu Moonshine
Among the connections between string theory and number theory, perhaps one of the most striking is the observation by Eguchi, Ooguri and Tachikawa [23] that certain coefficients in the character expansion of the Elliptic genus are twice the dimensions of certain irreducible representations of the largest Mathieu group \(\mathbb {M}_{24}\). We would like to investigate how this statement is modified when the Elliptic genus is refined into its Hodge-Elliptic counterpart. The main motivation in doing so is that often in string theory refined enumerative invariant helps to understand the Hilbert space of BPS statesFootnote 4 and could help in identifying the physical and geometrical reason the Mathieu group appears. We will now show directly that all the Hodge-Elliptic genera we have seen can be decomposed as a sum over the same superconformal characters as the Elliptic genus with u dependent coefficients.
The Elliptic genus admits the following decomposition [23]
in terms of the characters of the superconformal algebra. These have the form
where an irreducible representation \(V_{h , \ell }\) of the \({{\mathcal {N}}}=4\) algebra is labeled by the quantum numbers h and \(\ell \), the eigenvalues of \(L_0\) and \(J_0^3\), respectively. For central charge \(c=6\), the massless representations have quantum numbers \((h,\ell ) = (\frac{1}{4} , 0)\) and \((h,\ell ) = (\frac{1}{4} , \frac{1}{2})\), while the massive representations have \((h,\ell ) = (\frac{1}{4} + n , 0)\) with \(n=1,2,\dots \). Their characters are [24,25,26]
In (3.47), the coefficients \(c_H (n)\) are defined via (2.14), or equivalently
Now, let us consider the Hodge-Elliptic genera (3.46), (3.13) and (3.14). Differently from (3.47), the Hodge-Elliptic genus will involve also right-moving characters of the form
However, since the sum is constrained to states with \(\overline{L}_0 = \frac{\overline{c}}{24}\), the net effect is that we expect a decomposition similar to that of (3.47) whose coefficients depend now on the fugacity u. In the following, we will exhibit explicitly this structure for the three Hodge-Elliptic partition functions we know in closed form. The results have the form of a refined Mathieu moonshine. It is natural to hope that the u-dependent coefficients can now be interpreted as a refined trace over the \(\mathbb {M}_{24}\) module which appear in the decomposition (3.47). Indeed from the geometrical point of view in the complex and generic definitions (3.5) and (3.16), the refinement consists in an extra parameter which weight differently the cohomology groups. We will see that this structure is preserved in the holomorphic character decomposition.
Consider first the complex Hodge-Elliptic genus (3.46). Using the definitions of the characters and (3.47), we see that
Adding and subtracting \((\frac{1}{u} + u) q^{- \frac{1}{8}} \frac{\theta _1 (\tau ,z)^2}{\eta (\tau )^3}\), we can write
We can interpret the second line as a correction to the coefficients \(c_H (n)\). Indeed, it is clear that the terms in square brackets have a q expansion without constant term, since in the q expansion the zeroth-order terms coming from the rational function and from the Eisenstein series precisely cancel the 5/6 factor:
Therefore, the whole expression can be understood as a correction to the coefficients of the characters \(\textrm{ch}_{\frac{1}{4} + n , \frac{1}{2}}\). We can write the complex Hodge-Elliptic genus as
where now the coefficients
are functions of u.
Equivalently, we could have started from the expression (3.45) and obtained
Now, the term in square brackets has an integral expansion in q without constant term
so that the whole expression can be understood as a shift of the coefficients of the characters \(\textrm{ch}_{\frac{1}{4} + n , \frac{1}{2}}\). We can therefore write the Hodge-Elliptic genus as
where now
and clearly coincide with (3.56). Regardless of which expression for these coefficients we find more convenient, we can write down the first few terms
It remains to be understood if these coefficients have any interpretation in the context of Mathieu Moonshine.
Also, the orbifold Hodge-Elliptic genus (3.13) can be written in terms of the superconformal characters
The term on the second line has a q expansion which starts with a constant term. We can, however, write it in terms of the superconformal characters as
where
which has no constant term. Putting everything together, the orbifold Hodge-Elliptic genus has the simple expression
where
Finally, let us consider the generic Hodge-Elliptic genus (3.14)
In the case only, the coefficient of \( \textrm{ch}_{\frac{1}{4},\frac{1}{2}} (\tau ; z) \) is modified.
Overall, we find that the Hodge-Elliptic genera we have consider always admit a character expansion of the form (3.47) but where now the coefficients are u dependent.
4 Refined Dyons and Enumerative Geometry
In this section, we will discuss a refined version of the counting function \(\Phi _{10}\) and use it to make some predictions for enumerative geometry. We will discuss this procedure in general, and then, we will specialize to the several Hodge-Elliptic genera we have encountered in the previous Section. To each one, we can associate a different set of enumerative invariants, conjecturally related by wall-crossing.
Now that we have an explicit form for the Hodge-Elliptic partition function, we can use it to define a refined version of the Igusa cusp form \(\Phi _{10}\). We expand the Hodge-Elliptic genus as
and use the coefficients of the expansion to define the function
where the notation \((s,t,r,v) > 0\) means that the product is over all the \(t, v \in {{\mathbb {Z}}}\) and \(s,r \ge 0\) such that one of the following two conditions hold
-
\(s > 0\) or \(r >0\),
-
\(s=r=0\) and \(t < 0\).
Note that by definition the range of v is just \(v = -1,0,1\) since otherwise the coefficients \(c (r\, s , t , v)\) vanish, by direct inspection of the Hodge-Elliptic genera. Of course the function \(\Phi ^{\textrm{ref}} \) will contain arbitrary powers of u. We also stress that the function \(\Phi ^{\textrm{ref}} \) so defined, including the range of indices, is again formally symmetric for the exchange of q and p.
Then, the main conjecture of Kachru and Tripathy [32] is that
where
is the generating function of (reduced) refined Donaldson–Thomas invariants for \(K3 \times E\).
This conjecture requires, however, some explanation. Since the Hodge-Elliptic genus depends on the Kähler moduli, the same is true for the generating function of refined BPS invariants. While the unrefined partition function already has some mild wall-crossing behavior when crossing codimension 1 walls of marginal stability, the refined partition function is expected to be sensitive also to BPS jumping loci, higher codimension loci in the moduli space where certain extra BPS states appear, leaving the rest of the spectrum unchanged [32,33,34]. Across such loci the full generating function is expected to change also for \({{\mathcal {N}}}=4\) compactifications.
The origin of this phenomenon is the fact that the Hodge-Elliptic genus is not an index and in particular jumps at points in the moduli space where extra chiral currents appear. For example, the generic Hodge-Elliptic genus should capture the physics of the infinite volume limit, while the orbifold Hodge-Elliptic genus is defined at a particular point where the orbifold \({{\mathbb {T}}}^4/ {{\mathbb {Z}}}_2\) is resolved. Therefore, one expects, and indeed finds, two distinct partition functions \(\texttt{DT}^{\textrm{ref}}\). Less clear is the situation for the complex Hodge-Elliptic genus for which a certain SU(2) vertex operator algebra extends the \({{\mathcal {N}}}=4\) superconformal algebra [17]. Since this quantity is independent of complex structure deformations [32, 46] and explicitly computable, it is natural to expect that it captures the physics somewhere in the K3 moduli space. Unfortunately, we could not find explicitly this locus or show its existence; at this stage this is only a conjecture as no deformation of the large radius sigma model is known which would lead to such a point.
Geometrically, we expect the BPS invariants to be defined in terms of the intersection theory of the reduced Hilbert scheme \(\textrm{Hilb}^{h,d,n} (X) / E\). Let us denote by \(\mathscr {M}_\gamma \) the relevant moduli spaces for a charge vector \(\gamma \). The general problem in extracting enumerative invariants from the spaces \(\mathscr {M}_\gamma \) is that these are poorly understood with several singularities and branches of different dimensions. If \(\mathscr {M}_\gamma \) were smooth, one could define the refined Donaldson–Thomas invariants as \(\chi _u\) genera of such moduli spaces, appropriately normalized. Following [32], it is natural to identify the invariants \(\texttt{DT}^{\textrm{ref}}_{h,d,n} \) with motivic invariants. Roughly speaking, one considers \(\left[ \mathscr {M}_\gamma \right] \) as a class in the abelian K-theory group of varieties, generated by isomorphism classes of complex varieties modulo the scissor relations, extended by \(\mathbb {L}^{-1}\), the formal inverse of the Lefschetz motive (the class of the affine line). Taking the symmetrized Poincaré polynomials
provides a working definition for the refined invariants.
It is tempting to speculate that such objects could more naturally be obtained in terms of the M2-brane index, defined in [41] for smooth toric manifolds and in [15] in noncommutative chambers. Indeed, it was shown in Nekrasov and Okounkov [8] that the unrefined invariants with \(h=0,1\) can be computed directly via toric localization. While the compact geometry is not toric, there exist in this case a stratification of the relevant moduli spaces where each strata is separately toric. Roughly speaking, the strategy of Refs. [15, 41] is to perform the localization computation by keeping all the toric weights and then identifying the product of all the toric weights with the refined parameter. Such product is kept finite in a scaling limit which sends all the weights to zero or to infinity. While in Nekrasov and Okounkov [8] the toric action is different in each strata, one can speculate that a refined parameter introduced in this way should be identified across different strata and would correspond to a square root of the canonical bundle of \(\textrm{K3} \times E\). We leave such speculations for future work.
Regrettably, speculations notwithstanding, we do not have a precise definition of the refined invariants nor we understand how to precisely associate a counting function with a point in the moduli space. Presumably, this would entail introducing a theory of stability conditions on the reduced Hilbert scheme of \(\textrm{K3} \times E\). In this note, we take a working approach and compute such invariants in the hope that this could help clarifying their geometrical meaning.
It is worth mentioning that certain refined BPS invariants can also be derived by duality constraints [1, 2]. As already discussed in Sect. 2.4 in order to compare with the geometrical results of Bryan [8], we use an expansion in a different variable from what is commonly used in the literature. This give results which are not immediately comparable, although we hope to return to this problem in the future. Finally, in Sen [45] it was proposed to interpret the counting of refined invariants from a representation theory perspective as a refinement of a certain helicity supertrace.
Let us go back to the definition (4.3) and try to elucidate its structure. As in Katz et al. [32], we have
Note that
Equivalently
where we have introduced the Hecke-like operators
which implement the plethystic symmetrization. If we introduce the notation
, we can then express
in terms of the Schur polynomials (for the symmetric representations). The first few are
Explicitly now
In particular, comparing term to term
we see that we can write explicitly the refined invariants in terms of the Hodge-Elliptic genus and its powers (computed at different values of the arguments)
Using the explicit form of the Hodge-Elliptic genus, we have a prediction for the full series of refined Donaldson–Thomas invariants, order by order. Now, we will specialize to different version of the Hodge-Elliptic genus and try to extract geometrical information from the counting functions.
The first prediction was actually proven in Katz et al. [36]
and is universal, independent of the particular Hodge-Elliptic genus one is considering.
Consider first the complex Hodge-Elliptic partition function (3.45). Multiplying it by (4.16) and using the identities (2.38) and (2.39), we find the prediction
One of the effects of the refinement is to produce an overall ratio of theta functions. We see that the vertical curves with nodal fibers are refined also by a multiplicative factor \(\left( 20 + 2 u + \frac{2}{u} \right) \), which replaces the 24 which counts the number of singular fibers. This factor is replaced by \(\left( 18 + 2 u+ \frac{2}{u} \right) \) for smooth vertical curves. The refinement of the diagonal curves is more complicated. The contribution from the diagonal curves captured by the Eisenstein series should really be paired with the rational function, since they are the only q-dependent terms without any y-dependence (up to the constant term in the expansion of the rational function). Indeed, we show in Appendix B that the rational function can be interpreted as shifting the first terms in the Eisenstein sum, when this is rephrased in terms of cyclotomic polynomials. However, we do not have a simple geometrical interpretation of this.
Consider now the Kummer surface, the \({{\mathbb {Z}}}_2\) orbifold of complex two-tori. In this case, we consider the orbifold Hodge-Elliptic partition function (3.13) multiplied by (4.16). By using again the identities (2.38) and (2.39), we find the prediction
We see that the contribution of the vertical curves with nodal fibers has the same structure as in the previous case (4.17), while now smooth vertical curves contribute with a weight \(\left( 20 + u + \frac{1}{u} \right) \). More complicated is the situation for diagonal curves. Similarly to what happens in (4.17), the effect of the refinement on diagonal curves involves correcting the coefficients of the Eisenstein series by u-dependent shifts. As above it is not clear what is the geometrical interpretation.
Finally, let us consider the generic Hodge-Elliptic genus (3.16). As before multiplying by (4.16), we obtain
The first two lines are a simple multiplicative refinement of the Elliptic genus, and we recognize immediately the contributions of the various types of curves. The last line is more challenging to interpret. Also in the two previous cases, one can start with a multiplicative refinement of the Elliptic genus, as in (3.46) or (3.13), but then the extra terms conspire precisely to alter the weights of the contributions of various curves. Here, the situation is different, due to the appearance of the function \(H (\tau )\). As we have remarked in Sect. 2.3, this function has a clear interpretation in terms of the geometry of \(\textrm{K3} \times E\) only when in combination with the Appell–Lerch sum \(\mu (\tau , z)\). Its appearance in the refined Donaldson–Thomas generating function leads to the surprising prediction that in the refined setting its coefficients, which are related to the dimensions of the irreducible representations of the Mathieu group \(\mathbb {M}_{24}\), should have a direct geometric representation in terms of the reduced Hilbert scheme on \(\textrm{K3} \times E\). Note that this does not happen in \(\phi _{KKP} (\tau , z , \nu )\) but only in the higher-order terms in the Donaldson–Thomas expansion. Furthermore, the term \((2-\frac{1}{u} - u)\) guarantees that the unrefined theory is blind to the action of \(\mathbb {M}_{24}\) on the Hilbert space of BPS states.
Consider now the Hilbert space decomposition \({{\mathcal {H}}}_{h=1} = \bigoplus _{d,n} {{\mathcal {H}}}_{d,n} q^{d-1} (-y)^{n}\) where the Donaldson–Thomas invariant is interpreted as a refined Witten index associated to each Hilbert space subfactor. Each \({{\mathcal {H}}}_{d,n}\) can be in turn decomposed as a sum of factors according to the structure of (4.19) and (4.16), for example, by keeping track of the diagonal and vertical curve contributions. Due to the presence of the function \(H(\tau )\) in (4.19), we see that one of these factors carries the action of the Mathieu group. It would be interesting to develop this further.
Higher-order enumerative invariants can be computed similarly, using the expansion (4.14). The first few orders for \(\texttt{DT}_2^{\textrm{ref}}\) and \(\texttt{DT}_3^{\textrm{ref}}\) for all three Hodge-Elliptic genera can be found in the supporting mathematica file [16].
5 The Mathieu Group and Twined Complex Hodge-Elliptic Genera
In this section, we will consider the case where there is a finite symmetry group G which commutes with the superconformal symmetries of the model. In this case, one can define the elliptic genus twined by \(g \in G\), see [14, 22, 28, 29] for a sample of the literature. We can generalize (2.8) and define the elliptic genus twined by any \(g \in G\) as
In this section, we will introduce twined complex Hodge-Elliptic genera and compute explicitly several examples.
In particular, there is a class of twining genera which are induced by certain geometric automorphisms of K3 surfaces. A geometric automorphism which acts trivially on the holomorphic 2-forms of the K3 is called symplectic. The automorphisms which have finite order, so that they only have isolated fixed points, are classified and correspond to certain subgroups of the Mathieu group \(\mathbb {M}_{23}\), with certain conditions. The non-trivial minimal subgroups are given in the following table, together with their atlas names as elements of \(\mathbb {M}_{24}\), the number of fixed points and their eigenvalues at the fixed point:
The corresponding Elliptic genus can be computed as before, with the result
where \(\chi _g (\textrm{K3})\), counting the number of fixed points, and the function \( {\tilde{T}}_g (\tau )\) can be read off table 1. The functions \(\Lambda _N (\tau )\) were introduced in (3.10).
This result follows from the fixed point formula applied to the integral (3.32) by writing
where the eigenvalues \(\lambda _i\) can be read off table (1), and \(\chi _N\) denotes the SU(2) characters. The result can be compactly written as an equivariant Euler characteristic
where the function \(\mathscr {F}_N (\tau , z)\) was defined in (3.29) in terms of the functions (3.30) and (3.31). The computation proceeds as in Section 3.6. For example, in the case \([g] = 2A\)
The quantity in round brackets can be written as
where we have repeatedly used the analytical continuationFootnote 5\(\sum _{n=1}^\infty n = - 1/12\) and (3.39) to write
By putting everything together, we can write
The remaining cases can all be treated similarly and are left to the reader.
We can now define a twining Hodge-Elliptic genus as
where as before the right movers are in the ground states. Geometrically, we can start from the relation (3.42) to define
The computation of the complex Hodge-Elliptic genus proceeds as in Sect. 3.7, by weighting the contribution of the flat bundles with an appropriate factor. The flat bundle contribution is the \(N=0\) term in the sum (5.4). One can see by direct computation that this term is the same for all conjugacy classes and is determined by the combination
Then, repeating the computations of Sect. 3.7 step by step now gives the flat bundle contribution
so that the Hodge-Elliptic twining genera are given by
Equivalently, we can rewrite this as
in terms of the equivariant \(\chi _u\) genus
evaluated by localization.
6 Conclusions
In this note, we have studied the implications of three Hodge-Elliptic genera for the refined enumerative geometry of \(\textrm{K3} \times E\). We have found explicit formulas showing how the ordinary Donaldson–Thomas sums are modified, in the process elucidating also certain aspects of the ordinary Elliptic genus. The results should function as a starting point to study refinements of Donaldson–Thomas theory on \(\textrm{K3} \times E\). We conclude with a few comments and open problems:
-
It would be very interesting to reproduce the results obtained here via a direct localization computation. As already mentioned in the text, a possible strategy is to use the full K-theory vertex and afterward take a certain scaling limit of the toric weights. A reason this could work is that the localization computation of the ordinary enumerative invariants is carried on by using a stratification of the moduli space, where strata are separately toric. While the toric action will not glue globally, the scaling limit should individuate a parameter associated with the square root of the canonical bundle and therefore should make sense globally. Note that there are several possible scaling limits of the toric weights, a fact perhaps explaining why different versions of the Hodge-Elliptic genus can appear.
-
We do not really understand the modular properties of Hodge-Elliptic genera. They fail to be modular but in a very specific way. It would be interesting to explore this issue further.
-
The relation between jumping phenomena, wall-crossing and the analytic properties of the refined BPS counting function should be established precisely.
-
An intriguing aspect of the construction is the appearance of the function \(H(\tau )\) whose coefficients are related to the representations of the Mathieu group \(\mathbb {M}_{24}\). This function appears in the generic Hodge-Elliptic genus and therefore in the enumerative geometry of \(\textrm{K3} \times E\). In contrast with what happens in the case of the Elliptic genus, in the refinement this function appears unpaired with the Appell–Lerch sum \(\mu (\tau , z)\). In the unrefined case, the combination of these two functions decomposes in a non-trivial way to capture the geometry of curves in the target space. Unfortunately in this decomposition the individual coefficients are mixed up and all information of the representations of \(\mathbb {M}_{24}\) is lost. Apparently, this is not the case for the generic Hodge-Elliptic genus. Our results imply that it should be possible to see the Mathieu Moonshine phenomenon geometrically when one considers refined invariants which have nonzero indices in both the K3 and the elliptic curve directions. This phenomenon appears only starting from \(\texttt{DT}_1\) but persists at higher orders.
-
As we have explained, it is natural to conjecture that the refined partition functions that we have constructed in the course of the paper are related to a refinement of Donaldson–Thomas theory. This leads naturally to the further conjecture that the refined counting of BPS states is related to the refined topological string. As was conjectured in Oberdieck and Pandharipande [42] and then proven in Oberdieck and Pixton [43], the BPS counting function \(\Phi _{10}\) can be expressed in terms of the (disconnected, reduced) Gromov–Witten invariants. One can define the generating function
$$\begin{aligned} \textsf{GW} = \sum _{g \in {{\mathbb {Z}}}} \sum _{h \ge 0} \sum _{d \ge 0} \textsf{GW}_{g,h,d} \ \lambda ^{2 \, g-2} p^{h-1} q^{d-1} \end{aligned}$$(6.1)where the labels have the same meaning as in (2.29). The generating function of Gromov–Witten invariants is related to the Igusa cusp form as
$$\begin{aligned} \textsf{GW} = - \frac{1}{\Phi _{10}} \end{aligned}$$(6.2)where the genus counting parameter \(\lambda \) appears in the right-hand side via the substitution \(q = - {\textrm{e}}^{{\,\textrm{i}\,}\lambda }\). It is natural to propose that the GW-DT correspondence also holds in the refined setting for \(\textrm{K3} \times E\). This corresponds to considering the \({{\mathcal {N}}}=4\) string on the \(\Omega \)-background and taking an appropriate limit [41]. That such a construction should be possible is suggested by the fact that in the Donaldson–Thomas side the relevant moduli space admits a stratification where each strata admits a toric action, even if this does not glue globally. Since the GW-DT correspondence should hold in the large volume limit, it should be compared with the chiral Hodge-Elliptic genus. As an aside comment, it is an interesting open problem to define the worldsheet theory of the refined \({{\mathcal {N}}}=4\) topological string, generalizing the construction of [4].
-
We have computed certain twining complex Hodge-Elliptic genera associated with geometrical automorphisms of K3 surfaces. It would be interesting to extend this computation to all the available twisted-twined genera, as well as the generic and orbifold Hodge-Elliptic genera, to predict enumerative invariants which would refine the partition functions computed in Refs. [11, 12, 19, 30].
Data Availability
All data generated or analyzed during this study are included in this article (and its supplementary information files). Alternatively, they are freely available for download at https://cirafici.dmg.units.it/HEsupporting.nb, as well as with the arXiv submission.
Notes
The sign difference with Kachru and Tripathy [32] is due to a different convention in the definition of \(\theta _1 (\tau , z)\).
Here \(M_2 (\Gamma _0 (N))\) denotes the space of weight 2 modular forms on \(\Gamma _0 (N)\), the congruence subgroup of the modular group of level N. Also, recall that \(\Gamma (N) \subset \Gamma _1 (N) \subset \Gamma _0 (N) \subset \textrm{SL} (2 ; {{\mathbb {Z}}})\) and \(\Gamma (N') \subset \Gamma (N)\) whenever \(N \vert N'\). If \(\Gamma \subset \Gamma '\), then \(M_k (\Gamma ') \subset M_k (\Gamma )\).
Note that this identity does not hold as a truncated expansion, because of the analytical continuation.
On general ground one expects that the categorification of Donaldson–Thomas invariants will provide a model for the Hilbert space of BPS states. Making sense of this statement is one of the goals of Donaldson–Thomas theory.
We stress again that the above identities do not hold in a truncated form.
References
Alexandrov, S., Nampuri, S.: Refinement and modularity of immortal dyons. JHEP 01, 147 (2021). [arXiv:2009.01172 [hep-th]]
Alexandrov, S., Manschot, J., Pioline, B.: S-duality and refined BPS indices. Commun. Math. Phys. 380(2), 755–810 (2020). [arXiv:1910.03098 [hep-th]]
Anagiannis, V., Cheng, M. C. N.: TASI Lectures on Moonshine, PoS TASI2017 (2018), 010 [arXiv:1807.00723 [hep-th]]
Antoniadis, I., Hohenegger, S., Narain, K.S.: N=4 topological amplitudes and string effective action. Nucl. Phys. B 771, 40–92 (2007). [arXiv:hep-th/0610258 [hep-th]]
Benjamin, N.: A refined count of BPS states in the D1/D5 system. JHEP 06, 028 (2017). [arXiv:1610.07607 [hep-th]]
Benjamin, N., Kachru, S., Tripathy, A.: Counting spinning dyons in maximal supergravity: the Hodge-elliptic genus for tori. Lett. Math. Phys. 107(11), 2081–2092 (2017). [arXiv:1704.05423 [hep-th]]
Benjamin, N., Harrison, S.M.: Symmetries of the refined D1/D5 BPS spectrum. JHEP 11, 091 (2017). [arXiv:1708.02244 [hep-th]]
Bryan, J.: The Donaldson-Thomas theory of \(K3\times E\) via the topological vertex. In: Geometry of Moduli, (eds. Christophersen, J. A. and Ranestad, K.) Abel Symposia, 14 (Springer, 2018). arXiv:1504.02920 [math.AG]
Bryan, J., Kool, M.: Donaldson–Thomas invariants of local elliptic surfaces via the topological vertex. Forum Math. Sigma 7, e7 (2019). [arXiv:1608.07369 [math.AG]]
Bryan, J., Kool, M., Young, B.: Trace identities for the topological vertex. Selecta Math. 24, 1527–1548 (2018). [arXiv:1603.05271 [math.CO]]
Bryan, J., Oberdieck, G.: CHL Calabi-Yau threefolds: curve counting, Mathieu moonshine and Siegel modular forms. Commun. Num. Theor. Phys. 14(4), 785–862 (2020). [arXiv:1811.06102 [math.AG]]
Chattopadhyaya, A., David, J.R.: Dyon degeneracies from Mathieu moonshine symmetry. Phys. Rev. D 96(8), 086020 (2017). [arXiv:1704.00434 [hep-th]]
Cheng, M.C.N., Duncan, J.F.R., Harrison, S.M., Kachru, S.: Equivariant K3 invariants. Commun. Num. Theor. Phys. 11, 41–72 (2017). [arXiv:1508.02047 [hep-th]]
Cheng, M.C.N., Harrison, S.M., Volpato, R., Zimet, M.: K3 string theory, lattices and moonshine. [arXiv:1612.04404 [hep-th]]
Cirafici, M.: On the M2-brane index on noncommutative Crepant resolutions. Lett. Math. Phys. 112, 88 (2022). [arXiv:2111.01102 [hep-th]]
Cirafici, M.: supporting mathematica file, available at https://cirafici.dmg.units.it/HEsupporting.nb or as an ancillary file in the arXiv submission
Creutzig, T., Höhn, G.: Mathieu moonshine and the geometry of K3 surfaces. Commun. Num. Theor. Phys. 08, 295–328 (2014). [arXiv:1309.2671 [math.QA]]
Dabholkar, A., Murthy, S., Zagier, D.: Quantum black holes, wall crossing, and mock modular forms. [arXiv:1208.4074 [hep-th]]
David, J.R., Jatkar, D.P., Sen, A.: Dyon spectrum in generic N=4 supersymmetric Z(N) orbifolds. JHEP 01, 016 (2007). [arXiv:hep-th/0609109 [hep-th]]
Dijkgraaf, R., Moore, G.W., Verlinde, E.P., Verlinde, H.L.: Elliptic genera of symmetric products and second quantized strings. Commun. Math. Phys. 185, 197–209 (1997). [arXiv:hep-th/9608096 [hep-th]]
Duncan, J.F.R., Mack-Crane, S.: Derived equivalences of K3 surfaces and twined elliptic genera. [arXiv:1506.06198 [math.RT]]
Eguchi, T., Hikami, K.: Note on twisted elliptic genus of \(K3\) surface. Phys. Lett. B 694, 446–455 (2011). [arXiv:1008.4924 [hep-th]]
Eguchi, T., Ooguri, H., Tachikawa, Y.: Notes on the K3 surface and the Mathieu group \(M_{24}\). Exper. Math. 20, 91 (2011). [arXiv:1004.0956 [hep-th]]
Eguchi, T., Taormina, A.: Unitary representations of \(N=4\) superconformal algebra. Phys. Lett. B 196, 75 (1987)
Eguchi, T., Taormina, A.: Character formulas for the \(N=4\) superconformal algebra. Phys. Lett. B 200, 315 (1988)
Eguchi, T., Taormina, A.: On the unitary representations of \(N=2\) and \(N=4\) superconformal algebras. Phys. Lett. B 210, 125–132 (1988)
Harvey, J.A., Moore, G.W.: Conway subgroup symmetric compactifications of heterotic string. J. Phys. A 51(35), 354001 (2018). [arXiv:1712.07986 [hep-th]]
Gaberdiel, M.R., Hohenegger, S., Volpato, R.: Mathieu twining characters for K3. JHEP 09, 058 (2010). [arXiv:1006.0221 [hep-th]]
Gaberdiel, M.R., Hohenegger, S., Volpato, R.: Symmetries of K3 sigma models. Commun. Num. Theor. Phys. 6, 1–50 (2012). [arXiv:1106.4315 [hep-th]]
Gaberdiel, M.R., Persson, D., Ronellenfitsch, H., Volpato, R.: Generalized Mathieu moonshine. Commun. Num. Theor Phys. 07, 145–223 (2013). [arXiv:1211.7074 [hep-th]]
Kac, V.G., Wakimoto, M.: Integrable highest weight modules over affine superalgebras and number theory. In: Brylkinski, J.L., Brylinski, R., Guillemin, V., Kac, V. (eds.) Lie Theory and Geometry Progress in Mathematics, 123rd edn. Birkhauser, Boston (1994)
Kachru, S., Tripathy, A.: The Hodge-elliptic genus, spinning BPS states, and black holes. Commun. Math. Phys. 355(1), 245 (2017). [arXiv:1609.02158 [hep-th]]
Kachru, S., Tripathy, A.: BPS jumping loci and special cycles. [arXiv:1703.00455 [hep-th]]
Kachru, S., Tripathy, A.: BPS jumping loci are automorphic. Commun. Math. Phys. 360(3), 919–933 (2018). [arXiv:1706.02706 [hep-th]]
Kapustin, A.: Chiral de Rham complex and the half-twisted sigma-model. [arXiv:hep-th/0504074 [hep-th]]
Katz, S., Klemm, A., Pandharipande, R.: On the motivic stable pairs invariants of K3 surfaces. arXiv:1407.3181 [math.AG]
Katz, S.H., Klemm, A., Vafa, C.: M theory, topological strings and spinning black holes. Adv. Theor. Math. Phys. 3, 1445–1537 (1999). [arXiv:hep-th/9910181 [hep-th]]
Kawai, T.: K3 surfaces, Igusa cusp form and string theory. [arXiv:hep-th/9710016 [hep-th]]
Kawai, T., Yamada, Y., Yang, S.K.: Elliptic genera and N=2 superconformal field theory. Nucl. Phys. B 414, 191–212 (1994). [arXiv:hep-th/9306096 [hep-th]]
Malikov, F., Schechtman, V., Vaintrob, A.: Chiral de Rham complex. Comm. Math. Phys. 204, 439–473 (1999)
Nekrasov, N., Okounkov, A.: Membranes and sheaves. Algebraic Geom. 3(3), 320–369 (2016). arXiv:1404.2323 [math.AG]
G. Oberdieck, R. Pandharipande, Curve counting on \(K3 \times E\), the Igusa cusp form \(\chi _{10}\), and descendent integration, in K3 surfaces and their moduli, C. Faber, G. Farkas, and G. van der Geer, eds., Birkhauser Prog. in Math. 315 (2016), 245-278
Oberdieck, G., Pixton, A.: Holomorphic anomaly equations and the Igusa cusp form conjecture. Invent. Math. 213, 507 (2018). [arXiv:1706.10100 [math.AG]]
Sen, A.: Black hole entropy function, attractors and precision counting of microstates. Gen. Rel. Grav. 40, 2249–2431 (2008). [arXiv:0708.1270 [hep-th]]
Sen, A.: BPS spectrum, indices and wall crossing in N=4 supersymmetric Yang-mills theories. JHEP 06, 164 (2012). [arXiv:1203.4889 [hep-th]]
Wendland, K.: Hodge-elliptic genera and how they govern K3 theories. Commun. Math. Phys. 368(1), 187–221 (2019)
Witten, E.: Elliptic genera and quantum field theory. Commun. Math. Phys. 109, 525 (1987)
Acknowledgements
I thank S. Alexandrov, P.A. Grassi, M. Kool, S. Mozgovoy and B. Pioline for discussions. These results were presented at the Workshop on Superstrings and Supermoduli, SISSA 27-30 June 2022, and BPS states, Mirror Symmetry and Exact WKB II, University of Sheffield, 5–9 September 2022. I thank the participants for discussions and the organizers for providing a cozy atmosphere and financial support. I am a member of INDAM-GNFM and I am supported by INFN via the Iniziativa Specifica GAST.
Funding
Open access funding provided by Università degli Studi di Trieste within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The corresponding author states that there is no conflict of interest.
Additional information
Communicated by Katrin Wendland.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A Some Technical Identities
In this appendix, we prove some of the technical identities used in the main text
Lemma A.1
The following identities hold
for \(k \ge 0\) and \(N \ge 2\).
Proof
Consider first (A.2). We prove it by induction. Setting \(k=0\), we see
which indeed holds. Now, we assume that (A.2) holds for a certain k and we prove the identity for \(k+1\). For \(k+1\), we use the induction hypothesis to write the left-hand side of (A.2) as
which holds by direct computation.
Consider now (A.3). Again we proceed by induction. For \(k=0\), we have to prove the identity
or equivalently
This identity holds if and only if the following identity
is true and only the \(i=0\) term in the sum is non-trivial. To prove this, let us consider separately the cases where N is odd or even.
If N is odd, we can split the sum as
The middle term is identically zero, since \(q^{(N-1)-2 i}\) equals 1 when \(i=\frac{N-1}{2}\). To evaluate the last term, let us relabel \(i = (N-1)-j\). Then, since
the first and third sums cancel exactly and (A.8) is proven.
Consider now N even. Now, we simply split
By using the same relabeling \(i = (N-1)-j\), we see that again the sums cancel each other. Therefore, the first step of the induction is proven.
Now, let us assume that the identity (A.3) holds for a generic k. To simplify the exposition introduces the notation
Using the induction hypothesis, we can write
We have to prove that this is equivalent to \(\sum _{i=0}^{N-2} g_{k+1,N} (i) \). However, since in \(g_{k,N} (i)\), k and i only appear in the combination \(k-i\), it is easy to see that \(\sum _{i=0}^{N-2} g_{k+1,N} (i) = \sum _{i=0}^{N-2} g_{k,N} (i-1) \). Therefore, we have to prove that
It is easy to see that
since the terms in the sum cancel pairwise. Then, it is only a matter of brute force to show that the identity
holds. \(\square \)
We now can prove our
Proposition A.17
We have that
where \(N \ge 2\)
Proof
By definition, we have
with \(M=0\) or \(M \ge 2\). By the results of the previous lemma
To take the limit, recall that \(q = {\textrm{e}}^{2 \pi {\,\textrm{i}\,}\tau }\) is an analytic function of \(\tau \) defined in the upper half plane. Therefore, \(\lim _{k\rightarrow \infty } q^k = 0 \) since the oscillatory part is bounded.
Then, the result (A.18) follows immediately. To derive (A.19), we commute the limit with the finite sum and evaluate the limit at N and i fixed. Each limit gives the result \(\frac{1}{1-q^{N-1}}\); evaluating the finite sum gives the result. \(\square \)
Finally, we have
Proposition A.23
We have the following identity
Proof
From the definition of \(s_1 (\tau , z)\), we have
We can write
By using the expansions
we find
Putting all together, we see
and the proposition follows from the identity (2.39) \(\square \)
B The Eisenstein Series \(E_2 (\tau )\) and the Cyclotomic Polynomials
To have a different perspective on the rational function in (3.46), let us consider a truncated expansion of the Eisenstein series \(E_2 (\tau )\) in terms of cyclotomic polynomials. Recall that the cyclotomic polynomials are defined as
In particular, one has
Consider now the following truncation of the Eisenstein series
Using (B.2), we can write
It is easy to see that
expressed in terms of the reminder of the division of the polynomial \( q \, \Phi '_d (q)\) by \( \Phi _d (q)\). Indeed by taking the logarithmic derivative of (B.2), one finds
which implies by adding and subtracting 1 to the numerator on the left-hand side
The result follows from the fact that
which, for example, can be seen directly using the long polynomial division algorithm. Here, \(\phi (d)\) denotes the degree of \(\Phi _d (q)\). Finally, (B.5) follows by substituting (B.8) into (B.7) and using \(\sum _{d \vert n} \phi (d) = n\).
Therefore, we can write
where the coefficients \(r_N (n)\) count the number of times an integer n appears as a divisor of the set of integers \(\{ 1 , \dots , N \}\)
Since we can write
the rational function can be thought of as a shift of the first coefficients of the Eisenstein series.
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
Cirafici, M. Hodge-Elliptic Genera, K3 Surfaces and Enumerative Geometry. Ann. Henri Poincaré 25, 2731–2779 (2024). https://doi.org/10.1007/s00023-023-01375-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-023-01375-1