Elliptic CY3folds and Non-Perturbative Modular Transformation

We study the refined topological string partition function of a class of toric elliptically fibered Calabi-Yau threefolds. These Calabi-Yau threefolds give rise to five dimensional quiver gauge theories and are dual to configurations of M5-M2-branes. We determine the Gopakumar-Vafa invariants for these threefolds and show that the genus $g$ free energy is given by the weight $2g$ Eisenstein series. We also show that although the free energy at all genera are modular invariant the full partition function satisfies the non-perturbative modular transformation property discussed by Lockhart and Vafa in arXiv:1210.5909 and therefore the modularity of free energy is up to non-perturbative corrections.


Introduction
In this paper we study the refined topological string partition function of a class of toric elliptically fibered Calabi-Yau threefolds which are dual to a set of parallel M5-branes with a transverse direction compactified to a circle. The size of the circle is related to the Kähler parameter of the elliptic curve class on the Calabi-Yau threefolds. We determine the Gopakumar-Vafa invariants for all curve classes and also show that for these Calabi-Yau threefolds the genus g free energy takes a particularly simple for and is given by the Eisenstein series. We also study the modular properties of the refined partition function and show that it satisfies the non-perturbative modular transformation discovered in [1]. As was shown in [1] for the case of N = 1, N being the number of M5-branes, the partition function is not modular invariant but satisfies a more involved transformation which maps the g s to 1 gs where g s is the topological string coupling constant hence the name non-perturbative modular transformation.
This note is organized as follows. In section 2 we discuss the Calabi-Yau geometry and the dual brane configuration. In section 3 we use the refined topological vertex formalism to express the partition function as a trace of an operator acting on the fermionic Fock space. In section 4 we determine the Gopakumar-Vafa invariants for all curve classes and the genus g fee energy. In section 5 we express the partition function in terms of double elliptic gamma functions and show that it satisfies the non-perturbative modular transformation property.

Elliptic CY3fold and dual brane configuration
The class elliptic Calabi-Yau threefolds we are interested in are dual to certain brane configurations which arose in the study of M-strings [2]. These Calabi-Yau threefolds are birationally equivalent A N −1 × f C where A N −1 is affine A N −1 space blown up at N points and it is fibered over C to obtain the Calabi-Yau threefold. We will denote these by X N .
The affine A N −1 space has N P 1 's corresponding to the simple roots of affine SU (N ). We denote these curve classes by C a with a = 1, 2, · · · , N . The blow-up introduces N new curve classes which we denote by M a with a = 1, 2, · · · , N . The class of the elliptic curve E is given by (2.1) The complexified Kähler parameters associated with these curves are given by the Kähler form ω: Because of Eq.(2.1) ρ is given by, 3) The (p, q) 5-brane web dual to X N and the Newton polygon are given by Fig. 1(a) and Fig. 1(b) respectively. The Calabi-Yau threefolds X N are dual to certain M5-brane configurations. Consider N M5brane with worldvolume coordinates X A , A = 0, 1, 2, 3, 4, 5. The transverse space is R 5 with coordinates X I , I = 6, 7, 8, 9, 10. We consider the X 6 direction and separate the N M5-branes along this direction and then compactify this direction to a circle so that M5-branes are sprinkled on the X 6 circle. The transverse space to the M5-branes is R 4 ⊥ × S 1 and one can introduce a deformation by fibering this transverse space over the X 6 circle so that as one goes around the X 6 circle there is an SO(4) action on R 4 ⊥ given by [2], The deformation m breaks the maximal supersymmetry of the brane configuration. In the type IIB picture the the theory living on the (p, q) brane web is five dimensional quiver gauge theory with eight supercharges. The partition function of this gauge theory can be calculated using the Nekrasov's instanton calculus or by applying the refined topological vertex formalism to the (p, q) brane web of Fig. 1(a).

The partition function from topological vertex
The partition function of the (p, q) brane web shown in Fig. 1 can be calculated by applying refined topological vertex formalism to the web. The refined vertex requires a choice of preferred direction [3] which determines the form of the partition function as a sum over Young diagrams but the partition function itself is invariant under the change in the preferred direction. In this case the simplest choice for the preferred direction is vertical and, as we will see below, in this case the sum can be carried out exactly and partition function becomes an infinite product. We denote the topological string partition function of this Calabi-Yau threefold by Z N and it is given by [4] is the refined topological vertex. The length of the slanted lines in Fig. 1 are all equal to m and we have defined Q m = e −m , similarly the length of the horizontal lines is T a and we have defined Q a = e −Ta such that t a = T a + m is the distance between the two vertical lines. λ, µ and η are Young diagrams and s λ/µ (x 1 , x 2 , · · · ) is the skew-Schur polynomial in variables x 1 , x 2 , · · · . t −ρ denotes the following set of variables: t −ρ = {t 1/2 , t 3/2 , · · · }. Using repeatedly the identity and the following properties of the skew-Schur functions, the partition function in Eq.(3.1) can be written as, where: In the above equations −log(Q ρ ) is the Kähler parameter associated to the elliptic curve which is dual to the circle transverse to the M5-branes. The form of the partition function given in Eq.(3.5) was obtained in [4] where it was related to the periodic Schur process of period N .

Product representation of partition function using free fermions
In this section we express the partition function given in Eq.(3.5) as an infinite product. To do this, following [5] we introduce the free fermion Fock space spanned by creation and annihilation operators (ψ a , ψ * a ) satisfying the relations With these we can construct the operators These operators satisfy the following commutation relation, The fermionic Fock space is spanned by states which are in one-to-one correspondence with partitions. For a partition λ = (λ 1 , λ 2 , · · · ) we have the state, The ground state |0 is annihilated by ψ k for k < 0. The operators defined in Eq.(3.8) are useful when working with symmetric polynomials due to the following, To simplify the equations we will use the following notation: i Γ ± (x i ) = Γ ± (x). Using Eq.(3.5) and Eq.(3.11) we can write Z N := Z N /Π(Q m ) N as trace, over the free fermionic Fock space, of infinite product of operators: In the above equations L 0 is such that L 0 |λ = |λ| |λ . Using the commutation relations of Γ ± (x), we can write Eq.(3.12) as, where Using commutation relation of Γ ± (x) repeatedly we get, where we have denoted The trace appearing in Eq.(3.16) can be written in the form of a product [6], such that the partition function is given by

Free energy and Gopakumar-Vafa invariants
Using the refined topological string partition function we can calculate the free energy and the Gopakumar-Vafa invariants [7,8] for the different curve classes. The free energy is given by, where Π(Q m ) is given by Eq. (3.6) and Z N is given by Eq. (3.22). After some simplification F N can be written as, .
From Eq.(4.2) we can see that the SU (2) L × SU (2) R spin content of various curve classes is given by: From Eq.(4.2) we can isolate the contribution of the elliptic curve E to F N , which we will denote by F E N , by considering only those terms which depend only on Q ρ and other Kähler parameter, .
We will restrict ourselves to the unrefined case so that q = t and in terms of the topological string coupling constant g s , where B k are the Bernoulli numbers therefore where E 2g (ρ) is the Eisenstein series defined as: (4.8)

Non-perturbative modular transformation
For an elliptic Calabi-Yau threefold with modular parameter ρ one naively would expect the partition function to be invariant under the modular transformation, where q = e i 1 and t = e −i 2 . However, quite surprisingly in [1] it was shown that the refined topological partition function of X 1 , which is dual to a single M5-brane wrapped on a circle, satisfies a non-perturbative modular transformation, .
Since 1 , 2 are related to the topological string coupling constant g s by therefore Eq.(5.2) implies that i.e., modularity holds only up to non-perturbative corrections. For this reason the transformation in Eq.(5.2) was called non-perturbative modular transformation and it was argued that this gives the non-perturbative completion of the topological string partition function for the case of elliptic Calabi-Yau threefolds. To show that Z N also satisfies equation similar to Eq.(5.2) we write it in terms of double elliptic gamma functions. Recall that the double elliptic Gamma function is defined as, Using Eq.(5.8) and the modular transformation satisfied by G 2 (z; ρ, 1 , 2 ) we see that: Thus this class of elliptic Calabi-Yau threefold do indeed satisfy the non-perturbative modular transformation of Lockhart and Vafa [1].

Discussion
In this paper we have shown that there is a simple class of elliptic Calabi-Yau threefolds for which the product representation of the refined topological string partition function can be determined using the relation between Schur functions and free fermionic Fock space. The product representation allows us to study the non-perturbative modular transformations of [1]. The class of elliptic Calabi-Yau threefolds discussed in this paper were simplest in the sense that they had no compact 4-cycles. It would be interesting to see of the non-perturbative modular transformation holds for an elliptic Calabi-Yau threefold with compact 4-cycles. We hope to report on this in the future [9].