M-strings and Transverse Orbifold

We discuss the partition function of a single M5-brane on a circle with transverse orbifold of ADE type and show that the modes captured by the partition function are those of the tensor multiplet and the thee form field. We show that the bound states of M-strings corresponding to pair of simple roots appear, for all ADE, only when the momentum on the circle is turned on.

In this paper we study the partition function of an M5brane on a circle with transverse space S 1 × C 2 /Γ in the limit the circle size becomes large. This brane configuration has a dual Calabi-Yau geometry which is toric for the case when Γ = Z k i.e., A type orbifold [1,2]. For the A-type orbifold the partition function can be determined using the refined topological vertex. Interestingly in the toric case Γ = Z k this configuration is dual to the configuration in which we can get rid of the transverse orbifold at the expense of having k M5-branes wrapped on the circle. This duality can be achieved by going to string theory and using T-duality which maps A type orbifold to NS5-branes. As was discussed in [3,4] this can also be understood in terms of T-duality of little string theory. In the case when the transverse space was just R 5 it was shown in [5] that refined topological string partition function of a certain toric elliptic Calabi-Yau threefold captures the field content completely which was just the circle reduction of the (2, 0) tensor multiplet. We discuss in detail the case when the space transverse to the M5brane is S 1 ×C 2 /Γ ADE , where Γ ADE is the ADE discrete subgroup of SU (2). We show that in the case Γ ADE = Z k there is corresponding toric elliptically fibered CY3fold whose refined topological string partition function gives the modes of the (2, 0) tensor multiplet as well as the modes coming of the M-theory three form field reduced on the circle and the orbifold. We also show that for all ADE orbifolds M-strings do not form bound states unless the momentum is turned on the circle on which the M5-brane is wrapped. This paper is organized as follows. In section 2 we discuss the Calabi-Yau geometries dual to brane configuration shown in Fig. 1 and give the corresponding partition function for the A type orbifold. In this section we also give the dual form of the partition function coming from its realization as χ y genus of product of Hilbert scheme of points on C 2 . In section 3 we discuss the mode expansion of the refined partition functions and show that they capture the tensor multiplet modes as well as those coming from the three form field. In section 4 we generalize the A type partition function to D and E type and discuss the appearance of bound states when momentum is turned on. In section 4 we discuss our conclusions and some work in progress.
After this paper appeared in the arXiv we learned that discussion in Section II-B overlaps the discussion in [6].

II. M5-BRANE CONFIGURATION AND ITS PARTITION FUNCTION
In this section we will discuss the calculation of the partition function of the a single M5-brane with transverse space S 1 × C 2 /Z k . Going down to type IIB and using T-duality this brane/geometry configuration can be mapped to an intersecting system of a single D5-brane and k NS5-branes. The SL(2, Z) symmetry of type IIB can then map 1D5 + k NS-5 to 1 NS-5 + k D5 which can then be lifted back to M-theory to get k M5-branes with transverse space S 1 ×C 2 establishing the duality of The dual Calabi-Yau geometry after resolving the singularities of the transverse orbifold.
As is well known the (p, q) 5-brane webs are dual to Calabi-Yau threefolds [7] and in this case there is a double elliptically fibered Calabi-Yau threefolds dual to the above brane configuration [3,4]. This threefold is actually a Z k orbifold of the threefold corresponding to k = 1. The k = 1 threefold is a double elliptic fibration over the complex plane with a single I 0 fiber of both fibrations. In the limit when we take the circle on which the M5-brane is wrapped to infinity this threefold for the Z k case is birationally equivalent to A k−1 × f C where A k−1 is affine A k−1 space blown up at k points and it is fibered over C to obtain the Calabi-Yau threefold.
The affine A k−1 space has k P 1 's corresponding to the simple roots. We denote these curve classes by C a with a = 1, 2, · · · , k. The blow-up introduces k new curve classes which we denote by M a with a = 1, 2, · · · , k. The class of the elliptic curve E is given by The complexified Kähler parameters associated with these curves are given by the Kähler form ω: Because of Eq.(1) ρ is given by, The topological string partition function can be calculated using the refined topological vertex [8] and is given by [9]: where and is the refined topological vertex (See Appendix A for notation and conventions). The length of the slanted lines in Fig. 2 are all equal to m and we have defined Q m = e 2πim , similarly the length of the horizontal lines is T a and we have defined Q a = e 2πiTa such that t a = log(Q a Q m )/2πi is the distance between the two vertical lines. Using the identity we can calculate the sum in Eq.(3) to obtain:

A. Partition function and Hilbert Scheme of points
The above partition function that we obtained in Eq.(5) related to the index of Dirac operator couple to bifundamental matter and can be obtained using a slight generalization of the χ y genus. Recall that the χ y genus of a manifold M is given by, where x i are roots of the Chern polynomial of the tangent bundle of M . It can be generalized using a vector bundle V of rank equal to the rank of the tangent bundle to get, where w i are the roots of the Chern polynomial of V . Using χ y (M, V ) we can write the partition function in Eq.(5) as, where H m1,..,m k is the product of Hilbert scheme of points on C 2 , and V is a vector bundle on H m1,..,m k whose fiber at a point can be described as follows. Recall that the Hilb m [C 2 ] is the resolution of m-th symmetric product of C 2 and points in it can be identified with codimension m ideals in the ring C[x, y] [10]. Thus a point in H m1,..,m k is a collection of ideals (I 1 , I 2 , · · · , I k ) such that The fiber of the vector bundle V over the point (I 1 , I 2 , · · · , I k ) is given by, For the ADE case it is natural to expect that the partition function is still given by an expression of the kind Eq.(8) with manifold being, M(r 1 , m 1 ) × M(r 2 , m 2 ) × · · · × M(r k , m k ) , (10) where M(r, m) is the moduli space of U (r) instantons on C 2 with charge m and r a are the Kac labels of the ADE Dynkin diagram. The description of the bundle in this case is slightly more involved and will be discussed in [11].

B. Modes and Supermultiplets
From the partition function Eq.(5) we can determine the contribution of various supermultiplets in five dimensions. Massless particles in five dimensions have little group Spin(3) = SU (2) and the massive particles have little group Spin(4) = SU (2) L × SU (2) R . Fields in the massive multiplet (which is actually (2, 0) multiplet of the N = 2 supersymmetry in five dimensions) are in the following representation [12], The five dimensional vector multiplet containing the massless vector field is in the following representation of Spin(3) [12], 1. Single M5-brane The case of single M5-brane (i.e., k = 1) was discussed in [5,13]. We discuss it briefly to make comparison later to k > 1 case. From the plethystic logarithm of the Z 1 in Eq.(5) we get, Where in the above equation we have indicated the massless and the KK massive modes. From Eq.(13) it follows that massless and the massive multiplets are in the following representation of the SU (2) L × SU (2) R , massive : 1 2 , 0 ⊕ 2 (0, 0) .
As discussed in [13] the contribution of the universal halfhypermultiplet is needed to get the full Spin(4) content [14]. The half hypermultiplet is ( 1 2 , 0)⊕2(0, 0) and tensoring with it and reducing to the diagonal for the massless gives [5,13]: The above is the six dimensional tensor multiplet reduced on the circle [12].

M5-brane with Transverse Orbifold and Modes
For the case of M5-brane with transverse orbifold we use Z k given in Eq. (5). To determine the spin content of the various modes we consider F k + F k where F k is defined by, In [6] the form of F k was conjectured by taking into account the Kaluza-Klein charge of the wrapping instanton.
Using the identity, where P E denotes the plethystic exponential we get , From the above we see that the massless and the massive multiplets are in the following representations of As discussed for the k = 1 case we are still missing the contribution of the universal half hypermultiplet associated with the position of the particle in

BPS State for each positive root
Thus we see that the supermultiplets correspond to reduction of one 6D tensor multiplet on a circle together with (k −1) vector multiplets coming from the three form field which we can writ as: where A a is the gauge field of the vector multiplet and ω a are the Kähler form for the curves corresponding to simple positive roots in the resolved orbifold.

III. ADE ORBIFOLDS AND BOUND STATES OF M-STRINGS
In the previous sections we discussed the partition function of an M5-brane with transverse A N geometry.
This partition function can be obtained in many different ways using the duality of this brane configuration with Calabi-Yau geometry, 2D gauge theories or 2D sigma models. For the case when the transverse orbifold is of D or E type the topological vertex can not be used since the corresponding Calabi-Yau threefold is not toric. However, by using the fact that holomorphic curves in the geometry are in one to one correspondence with positive roots of the ADE groups we can generalize the partition function to all ADE cases to obtain: where r is the rank of the group G and ∆ + is the set of positive real roots corresponding affine ADE group. The parameters Q α and Q ρ are related to the Kähler parameters of the resolved orbifold, where C α is the holomorphic curve corresponding to the positive real root α and C δ is the holomorphic curve corresponding to the imaginary root δ of the affine ADE group. In the above equation ω is the complexified Kähler form of the resolved orbifold. Since the function G 2 itself is a product we see that Z G is an infinite product over positive roots of the affine G. Due to modular transformation properties of the function G 2 the partition function Z G satisfies a non-perturbative modular transformation [5,15], .
From the partition function in Eq(18) we can calculate the bound states by taking the plethystic logarithm, .
Thus we see that there is a single state corresponding to each positive root and there are no bound states corresponding to sum of positive roots. Actually bound states appear when we turn on the momentum along the compact direction. To see this recall that a dual description of this brane system is given by N = 1 * 5D affine ADE gauge theory. The partition function in Eq.(18) is the perturbative part of partition function of this gauge theory. Including the instanton part requires turning on momentum along the compact direction i.e.., going away from the τ → i∞ limit since τ is the gauge coupling on the gauge theory side and equal to 1/R where R is the radius of the compact direction on which the M5-brane is wrapped. Thus if we consider instanton contribution the partition function of the gauge theory becomes where I 1 is the one instanton contribution. Since the one instanton moduli space can be factored where the factor C 2 gives the position of the instanton in C 2 and M 1 includes the orientation of the instanton within the gauge group. The Hilbert series of M 1 is well known and given by the character of the adjoint representation of the ADE group χ G,adj (Q i ) [16] and the contribution from the C 2 factor is given by (q 1/2 −q −1/2 ) −1 (t 1/2 −t −1/2 ) −1 . Thus the partition function becomes: Taking the plethystic logarithm to get the contribution of bound states we get: Since the factor χ G,adj (Q i ) contains products of factors Q i corresponding to different simple roots therefore we see that we now have bound states corresponding to sum of positive roots. These bound states disappear in the limit Q τ → 0 and hence these states corresponding to simple roots form bound states only with the help of momentum on the compact circle.

IV. CONCLUSIONS
In this short paper we discussed the partition function of an M5-brane with transverse orbifold. We saw that the partition function calculated using the topological vertex captures the modes of the tensor multiplet corresponding to the M5-brane as well as the modes of the 3-form field on the transverse orbifold. We generalized the partition function to the case of ADE orbifold and argued that bound states of M-strings corresponding to pair of simple roots appear when the M-5brane is wrapped on a circle and momentum is turned on the circle.
It will be useful to study the dual partition function coming from the worldvolume of the M2-branes for arbitrary ADE orbifold. In the case of A type orbifold the M2-brane theory in the infrared gives a (0, 2) sigma model whose target space is the product of Hilbert scheme of points on C 2 . For arbitrary ADE it is expected that the target space space is product of instanton moduli space with ranks equal to the dynkin label of the corresponding ADE diagram [11].

APPENDIX A
We give some useful formulas in this appendix which have been used in paper. In the text Greek letters λ, µ, ν have been used to denote partitions of natural numbers and the notation (i, j) ∈ λ represents coordinates of a box in the Young diagram of the partition λ. The index i labels the parts of the partition and goes from 1 to (λ), where (λ) is the number of parts of the partition. If we fix i the index j takes values in the set {1, 2, · · · , λ i } where λ i is the i-th part of the partition. λ t denotes the transpose of the partition which is obtained by reflection of the Young diagram of λ in the diagonal.
The refined vertex is a function of two parameters q and t. For q = t it reduces to the usual topological vertex [18] with g s = lnq being the topological string coupling constant. The parameters q and t are related to the Omega background parameters ( 1 , 2 ) [19] as follows, (q, t) = (e i 1 , e −i 2 ) , so that the unrefined case corresponds to 1 + 2 = 0.