Abelian M5-brane on $S^6$

We study the abelian M5 brane on $S^6$. From the spectrum we extract a series expansion for the heat kernel. In particular we determine the normalization for the coefficient $a$ in the M5 brane conformal anomaly. When we compare our result with what one gets by computing the Hadamard-Minakshisundaram-DeWitt-Seeley coefficients from local curvature invariants on $S^6$, we first find a mismatch of one unit. This mismatch is due to an overcounting of one zero mode. After subtracting this contribution, we finally find agreement. We perform dimensional reduction along a singular circle fiber to five dimensions where we find the conformal anomaly vanishes.


Introduction
The M5 brane conformal anomaly was computed on the gravity side in [1] and for the abelian M5 brane in [2] by extracting it from the Hadamard-Minakshisundaram-DeWitt-Seeley (HMDS) coefficient a 6 in the heat kernel expansion. The coefficient a 6 was expressed in terms of 46 local invariants by Gilkey [6] for a smooth compact Riemannian six-manifold M with metric g µν and for a second order, elliptic, positive definite differential operator of the form If there is a gauge bundle over M , then E will be matrix valued in that gauge bundle and D µ will involve both the Christoffel symbol as well as the gauge bundle connection. We follow the notation of the review paper [8]. The M5 brane conformal anomaly has the general form where E 6 is proportional to the Euler density, I i are a conformal invariants that are constructed out of the Weyl tensor, and D i J i is a scheme-dependent total derivative. On the supergravity side the result is [1] A = 4N 3 (4π) 3 For the abelian M5 brane, the result that one gets by applying Gilkey's formula for a 6 is [2] A = 1 (4π) 3 We notice that the c i -coefficients agree up to an overall factor of 4N 3 , while for the coefficient a we would need to add 105/8 in order to get the same sort of agreement, There is however no reason to expect such an agreement for the a-coefficient, as was explained in [2]. Given the match of the c i -coefficients together with the motivation in [2] for why such a match should be anticipated, there seems to be little doubt about the correctness of the result for the c i coefficients for the abelian theory. But there is no such corresponding match for the a-coefficient, nor has there been any independent computation of the a-coefficient in the literature. Therefore we think that it can be motivated to present an independent computation of the a-coefficient. Only the combination aE 6 has an invariant significance, but not a in isolation since we can always rescale E 6 such that a = 1. The result we get for the integrated anomaly on S 6 in a first computation is But by a careful examination of zero modes, we trace −1 to a zero mode that has been overaccounted for [20], [21], [22] and our final result is therefore in agreement with [2]. There are many indirect evidences that suggest that this value for aE 6 is the correct one [23], [24], [25]. Since S 6 is conformally flat, the Weyl tensor is zero and so I i = 0. The only term that survives in the integrated conformal anomaly on S 6 is the term that is proportional to the Euler characteristic E 6 . By taking into account the normalization for abelian gauge group above, we may then from the result in [4], [3] infer that for SU (N ) gauge group for any finite N on S 6 we have the conformal anomaly Any product of these quantities or covariant derivatives thereof, such that all indices are contracted in the end, is called a local curvature invariant. We see that any local curvature invariant K has an even dimension. If we integrate such a local curvature invariant over an n-dimensional manifold as d n x √ gK, then this integrated curvature invariant will have a dimension that is even if n is even, and odd if n is odd. curvature invariants on a smooth manifold without boundary, then they must all have even dimensions. If we perform dimensional reduction down to five dimensions, the heat kernel expansion will acquire the following structure, If again we run the same sort of argument as above, we see that the HMDS coefficients have the dimensions [a 0 ] = −5, [a 2 ] = −3, [a 4 ] = −1 and [a 5 ] = 0. If the HMDS coefficients are given by integrated local curvature invariants on a smooth five-manifold without boundary, then they must all have odd dimensions. So as a 5 has dimension 0, which is even, we should find a 5 = 0.
It is known how the HMDS coefficients a 0 , a 2 , a 4 and a 6 can be computed from curvature invariants [5], [6]. We can also compute these coefficients directly if we know the spectrum. Our method is based on the Euler-Maclaurin integral formula. This formula is normally used as an approximation method where a discrete sum is approximated by an integral. Our key observtion is that this approximation formula gives exact results for these first few heat kernel coefficients. This is a very general result. We then apply this method to the abelian M5 brane on S 6 where we can work out both the spectrum and the curvature invariants explicitly. Our first result is as follows. On S 6 we find agreement for all heat kernel coefficients a 6 , for all fieds and ghosts fields that appear in the quantized (2, 0) tensor multiplet, when computed both ways, except for the ghost vector field where we need to add 1 to the HMDS coefficient in order to match with the result that we get from the spectrum. This 1 is later traced to an overcounted zero mode and is removed by hand. When we reduce along a singular fiber of S 6 down to 5d, we find that a 5 = 0 for all fields, except for the ghost vector field where we get a 5 = 1 that we later trace back to an overcounted zero mode that we remove by hand so as to get a 5 = 0 for all fields including the vector ghost. Not only a 6 in 6d has a physical interpretation but also the other heat kernel coefficients as well [8]. For instance they contain the information about the short distance behavior of the propagotors. Our method gives exact results not only for a 6 but also for a 0 , ..., a 5 . In section 2 we describe how we use the Euler-Maclaurin formula to compute a 0 , ..., a 6 exactly if we know the spectrum. In section 3 we apply this method to compute the heat kernel for the 6d tensor multiplet. In section 4 we perform dimensional reduction to 5d along a circle fiber that becomes singular at the north and south poles of S 6 . In section 5 we resolve the mismatch by removing any overcounted zero modes. There are three appendices. In appendix A we obtain the representations of SO (7), Casimir invariants and dimensions corresponding to the various spherical harmonics on S 6 , along with branching rules as we reduce along the singular fiber down to 5d. In appendix C we reproduce results in [2] by applying the general formula in [6] to S 6 . In appendix D we briefly discuss the partition function. We show that there is a huge supersymmetric cancelation of the modes. This is a revised version where the mismatch that appeared in the first version has been resolved. I thank Arkady Tseytlin for pointing out relevant references where it was shown that this mismatch was due to a overcounting of zero modes in the heat kernel as we change variables.

The heat kernel expansion
Let us assume that D is a differential operator on a six-manifold with eigenvalues λ n and degeneracies d n . Let us further assume that we want to regularize the following, possibly divergent, partition function There are two different ways we may regularize. One way is to introduce the Minakshisundaram-Pleijel (MP) zeta function The other way is to introduce the heat kernel We may define the partition function as Let us now assume that the eigenvalues take the form where λ n are dimensionless and r is a length scale characterizing the six-manifold. The zeta function is In order to see how the partition function scales with r, that is, the conformal anomaly, we only need to compute ζ(0), and not its derivative, which will be a slightly more complicated computation. The two quantities are related by a Mellin transform as where the contour encircles all the poles. If we only know the value of ζ D (s) at s = 0, then we can only evaluate the inverse Mellin transform at the pole of Γ(s) at s = 0. Thus we can extract the following term in the heat kernel, What the above computation shows, is that The Mellin transform is defined as We have the relation is the gamma function. The gamma function has simple poles at s = −n for n = 0, 1, 2, ... with residues 1 2πi s=−n dsΓ(s) = (−1) n n!
The inverse Mellin transform is where the contour encircles all the poles of MK D (s). Let us check this formula by an example. Let us take K D (t) = e −t . The Mellin transform is MK D (s) = Γ(s) and we get We have Now once having taking out the sum from the integral, the only poles are those of the gamma function. The integrals can be computed and we get the result This is a nice consistency check.
Let us now return to our general expression for the heat kernel, but instead of using the poles of the gamma function, let us this time use the poles from the MP-zeta function. Let us now suppose that we have the following pole structure for the MP-zeta function, In particular, there is no pole at s = 0, and near s = 0 we have the expansion Then the heat kernel becomes Let us be more specific and let us assume that the eigenvalues and the degeneracies take the following form Then, by following closely the approach in [9] 1 , we may expand and then we get the expansion We may write this as c p n p−2s + c p−1 n p−1−2s + ...c 0 n −2s + c −1 n −1−2s + ...  Let us now assume that p = 5. Then we need the following coefficients Here

and then we get
Also, since a −n = 0 at s = 0 for n = 1, 2, ..., we see that at s = 0 we have We can now present the final result in a closed formula, If the spectrum is discrete, the trace of the heat kernel is an discrete sum. It may be hard to compute the sum exactly. However, a sum can be approximated by an integral using the Euler-Maclaurin formula [10]. If we have a function f (x) whose value at infinity and whose every derivative at infinity vanishes, then the Euler-Maclaurin formula can be reduced to where B 2k are the Bernoulli numbers. It may seem that not much has been gained as the infinite sum on the right-hand side may seem to be even more difficult than the sum that we started with. Indeed, this is not the way that the Euler-Maclaurin formula is usually presented. Instead the sum on the right-hand side is usually truncated at some finite value and an error term is added. Here we are interested in exact results, and therefore it seems more appropriate for us to write the infinite sum without adding an error term.
Here the derivatives at zero sit in a Taylor expansion of f (x) around zero as Let us now apply this to the specific case when D has eigenvalues on the form for some coefficients a and b. Let us assume these eigenvalues come with the degeneracies for some polynomial of degree p. The trace of the heat kernel is given by the sum We then define the associated Euler-Maclaurin integral as The key point is that the full integrand when evaluated at t = 0 reduces to d(x), which is a polynomial of finite degree. It is this simple observation that explains how the Euler-Maclaurin formula can give us exact results for the first few coefficients in the small-t expansion. By applying the Euler-Maclaurin formula, we find that For p = 5 we get where the integral can be computed. Its series expansion reads We also find that The heat kernel coefficients a k are integrals of local geometric invariants. No such invariant exists for a smooth manifold without boundary in odd dimensions. Therefore we must have a k = 0 for odd k's. This puts constraints the spectrum, the degeneracy must be correlated with the eigenvalues so that a k = 0 for odd k's. For all the cases that we will encounter, we find that indeed a k = 0 for odd k's. By identifying this result with the one that we got in (2.4), we find the identity which gives us the values of the Riemann zeta function at negative integers [11], [12], [13] ζ The heat kernel for the tensor multiplet where R is the Ricci scalar. In this Lagrangian, H M N P is non-selfdual. For the quantization of the two-form gauge field, we need to supplement this Lagrangian with terms coming from two anticommuting vector-ghosts and three commuting massless scalar ghosts. The partition function for a non-selfdual two-form, including the ghost contributions, is given by By Hodge decomposition, any nonzero mode is either exact or coexact. We may then write the partition function as [19] Z B = det where the subscript coex means that we restrict to the space of coexact forms. On S 6 it is these coexact form that correspond to states in irreducible representations of SO (7).
We will now apply the Euler-Maclaurin formula to obtain the heat kernel expansions for each field in the tensor multiplet. The sum that we compute is on the general form To compute the small-t expansion of this sum, we use the spectrum (λ n and d n ) of the corresponding differential operator acting on that field. We work out the spectrum on S 6 using representation theory of its isometry group SO(7) in appendix A.

Conformally coupled scalar field
The Ricci scalar is R = 30 on S 6 of unit radius. The conformal Laplacian conf ormal = + 6 has the spectrum We have λ n = n 2 + 5n + 6 d n = 1 60 n 5 + 5 24 The Euler-Maclaurin integral is It has the series expansion The Bernoulli part is In total therefore

Vector ghost
We have The Euler-Maclaurin integral is Its series expansion is The Bernoulli part is In total therefore From a 0 we read off that the vector field here has 5 components (since 1/12 = 5/60). This can be understood from that co-exact one-forms constitute only one part of the vector harmonics. The other part is consisting of one derivative acting on scalar harmonics. That amounts to in total 5 + 1 = 6 vector components.

Two-form gauge field
We have λ n = n 2 + 5n + 6 The Euler-Maclaurin integral is whose series expansion is The Bernoulli contribution is In total therefore From a 0 we read off that the two-form has 10 = 5 · 4/2 components since 1/6 = 10/60.

Fermion
The fermionic harmonics correspond to the representation (n, 0, 1) of SO (7). This representation has the Casimir invariant and the dimension According to [14], the eigenvalues of the Dirac operator on S 6 are ±(n + 3) where each sign comes with the degeneracy f n = 1 15 (n+1)(n+2)(n+3)(n+4)(n+5) for n = 0, 1, 2, .... We see that f n = d n , while the eigenvalues are related to the Casimir invariant through the Lichnerowicz formula where for S 6 we have R/8 = 15/4. The partition function is The associated heat kernel is The overall factor of −2 comes from the way that we map (2.1) to (2.3). We have the Euler-Maclaurin integral whose series expansion is The Bernoulli contribution is In total therefore The heat kernel coefficient associated to the two-form is because spherical harmonics correspond to co-exact forms [19]. We get In the tensor multiplet there are 5 conformally coupled scalar fields, one selfdual two form and 4 Majorana-Weyl fermions. The heat kernel coefficient for the tensor multiplet is therefore Let us now compare our result with the coefficients 2 of the Euler density that were obtained in [2], For the whole tensor multiplet then We see that we have a perfect match 3 for a S and a F . Then we have a mismatch only for a B . We would now like to track this mismatch a bit further. In [2], the explicit expressions for the ghosts associated to the two-form were not written down in the final form where the coefficient of E 6 could have been read off. But we can easily extract the value of that coefficient from the expressions presented in [2] by evaluating the curvature invariants 4 on S 6 . By using the expression of A B written in terms of curvature invariants 5 , we get Hence there appears (no surprise) the factor of 8 7 = 60N that shall be common to all expressions in [2] where curvature invariants appear. We further compute those expressions in [2] for the individual contributions to the two-form on S 6 with the following results Comparing these numbers with ours, we see that there is mismatch only for a tot,V

6
. Reinstating the normalization factor N , this mismatch becomes

Dimensional reduction to five dimensions
We view S 6 as an S 5 fibered over an interval such that S 5 shrinks to zero size at the endpoints, and perform dimensional reduction along the Hopf fiber of S 5 . Group theoretically this amounts to first re-arranging the SO(7) harmonics in terms of SO(6) harmonics of 3 We can not really say that much because we could always fix say a S to whatever number we like by changing the overall coefficient. However, we think our match is much stronger than that. One reason to believe so, is because 191 is a large prime integer number. 4 The relations between curvature invariants in [2]

Massless scalar ghost
We will now pick the states with zero U (1) H charge from the heat kernel of scalar harmonics (n, 0, 0). Using the branching rules in the appendix A, we see that we shall keep the following representations of SU (3), We have the dimension dim( , ) = ( + 1) 3 . Then the heat kernel becomes The sum is  The Bernoulli contribution is obtained from expanding out the summand at t = 0 Thus we get

Conformally coupled scalar
Let us next consider the conformally coupled scalar. This gives the Euler-Maclaurin integral while the Bernoulli part is the same as for the massless scalar, resulting in The other heat kernel coefficients are of course interesting to study as well. From a 0 and a 2 we may deduce that For a 4 , we may understand the difference by applying a formula for a 4 where for a conformal scalar E = −6, This explains the difference betweeen a 4 in for the above the two heat kernels.

Vector ghost
The representations with zero U (1) H charge can be extracted from the branching rules in the appendix A. They are The heat kernel becomes The corresponding Euler-Maclaurin integral becomes

Two-form gauge field
The representations with zero U (1) H charge can be extracted from the branching rules in the appendix A. They are The heat kernel becomes We get

The 5d SYM
The total heat kernel coefficient is obtained by the same formula as in 6d, where, from the above results, we have Therefore we get This is not an integer and seems to be not directly related to the mismatch of 1 that we got in 6d. But let us notice that for the total heat kernels Let us further note that a two-form in 6d, reduces to both a two-form and a one-form in 5d. So it seems that we always find this extra contribution of 1 from the one-forms, wherever they appear.

Resolving the mismatch
Let us now resolve the mismatch.
There is a zero mode in the spectrum. The zero mode is for the scalar ghost where λ n = n 2 + 4n = 0 for n = 0 which comes with the degeneracy d 0 = 1. Thus here is a zero mode that we need to further gauge fix. In the end that gauge fixing amounts to just removing the n = 0 mode from the spectrum. It does not concern the vector ghost, and at first sight it does not seem to explain the mismatch. One may argue that we should then shift a S 0 6 by one unit. If we do that, then we get one more mismatch. It does not cure the mismatch. It makes it worse. The heat kernel is well-defined with the zero mode included. In fact, zero modes play an important role in heat kernels when they are applied to index theorems [7].
Nevertheless, the key to understanding the mismatch, is to realize that the heat kernel includes zero modes, and that new zero modes can arise as we do the Hodge decomposition of a p-form. Any such new zero modes that arises by the Hodge decomposition must be removed by hand since they were not there originally. This mechanism was first discovered in [20], [21] and it was applied to higher spin fields on S 6 in [22]. I would like to thank Tseytlin for helping me resolve the mismatch puzzle by pointing out the relevant references.
Let us now illustrate how this mechanism resolves the mismatch by considering the vector ghost. The vector field v i on S 6 decomposes into an exact plus a coexact piece as where zero modes are not included. The relation for the heat kernels is different because for the heat kernels we include the zero modes. Therefore, for the heat kernels, the corresponding relation will read where for the scalar v we have to subtract the zero modes that otherwise would be overaccounted for, since it was not there originally, on the left-hand side. Namely, these zero modes do not survive as we take the derivative of v to get the exact piece v i = ∂ i v+.... There is exactly one zero mode for a scalar on S 6 . This amounts to a correction of our previous claim that a tot,V 6 = a V 6 + a S 0 6 . The corrected relation reads This in turn corrects (3.1) to now read a tot,V 6 − a V = 0 and thus after the correction, we find agreement. Let us next consider the two-form. Again Hodge-decomposing the two-form in a coexact and exact pieace as we find that we need to subtract any zero modes of the vector field B i on S 6 from the heat kernel for the two-form. Now there are no zero modes for the vector field on S 6 , so therefore we got the agreement for the two-form without any correction. As we dimensionally reduce, we again find the same pattern. By correcting for zero mode for the ghost vector, we find the result a V 5 = 0. Our result can not be used to exclude the possibilty that we may need to add some extra local degrees of freedom at loci where the circle fiber shrinks to zero size, that is, at the north and south poles of S 6 . Such extra local contributions will not depend on r because the local geometry near the norh and south poles is flat R 5 and no r-dependence can arise from there. A similar situation occurs when we put M5 brane on S 4 × Σ where Σ is a Riemann manifold [17]. If we view S 4 as S 3 fibered over an interval such that S 3 shrinks to zero size at the end points, and reduce along the Hopf fiber of S 3 , we find new degrees of freedom at the north and south poles corresponding to a D4 brane ending on a D6 brane. We may remove the north pole of S 4 by cutting along a small boundary-S 3 near the north pole (and similarly for the south pole). In M-theory we then have the boundary manifold S 3 × N 5 where N 5 is the five-dimensional normal bundle of S 4 × Σ in eleven dimensions. We see that by cutting out the north pole, the M5 brane will end on an eight-manifold. Upon dimensional reduction along the Hopf fiber of S 3 down to Type IIA string theory, this eight-manifold becomes a seven-manifold that will correspond to a D6-brane as was shown in [17]. For our S 6 we may do an analogous thing. Cutting along a small S 5 near the north pole we get a boundary manifold S 5 × N 5 . This boundary should correspond to an M9 brane in M-theory. We may reduce along the Hopf fiber of S 5 down to Type IIA string theory, where we find D4 brane ending on some nine-manifold, which should be identified with some 8-brane in IIA string theory on which D4 can end. and for B 3 this is given by The inverse is Dynkin coefficients of a weight Λ are defined as The Dynkin coefficients of the simple root α i become that is, the i-th row in the Cartan matrix is the simple root α i in Dynkin labels. Thus the simple roots have the Dynkin labels The 9 positive roots are {α 1 , α 2 , α 3 , α 1 + α 2 , α 2 + α 3 , α 2 + 2α 3 , α 1 + α 2 + α 3 , α 1 + α 2 + 2α 3 , α 1 + 2α 2 + 2α 3 }. The sum of them is The Casimir invariant associated with the representation with the highest weight Λ is given by (see equation (XI.23) in [16]) The dimension of this representation is given by Weyl's dimension formula Explicitly, we get dim(Λ) = 1 720 (Λ 1 + 1)(Λ 2 + 1)(Λ 3 + 1) and For the first few representations we find the following dimensions, dim(1, 0, 0) = 7 dim(0, 1, 0) = 21 dim(0, 0, 1) = 8 These correspond to the vector, the antisymmetric rank-2 tensor and the spinor representations of SO (7) respectively. The Casimir invariant for Λ = (n, 0, 0) becomes C(n, 0, 0) = n 2 + 5n Now let us compare this Casimir invariant with the eigenvalues of the Laplacian acting on scalar harmonics. We use the method where we embed S D in R D+1 . Spherical harmonics of rank n are given by where C i 1 ···in are symmetric and traceless. In polar coordinates in R D+1 with the metric We note that on R 7 we have Expanding this relation in spherical coordinates, we get Y n = 1 r 2 n 2 + (D − 1)n Y n where denotes the Laplacian on S 6 . Here D = 6 and therefore Y n = 1 r 2 n 2 + 5n Y n Thus we see that the Casimir invariant on the representation (n, 0, 0) matches the eigenvalue of the scalar Laplacian on S 6 of unit radius.

Vector harmonics
When we take the tensor product of a vector with a scalar harmonics, we get a decomposition that contains the vector harmonics,

Spinor harmonics
We take the product of a spinor with the scalar harmonics and get spinor harmonics as (0, 0, 1) ⊗ (n, 0, 0) = (n, 0, 1) ⊕ (n − 1, 0, 1) The eigenvalues for p-form Laplacians on spheres has been obtained before and in full generality in [15]. In Theorem 4.2 of this reference there is a list of eigenvalues for spheres of even and odd dimensions. If we specialize to S 6 , then we can read off from this list the following eigenvalues. For the representation (n, 0, 0) corresponding to 0-form harmonics, we have λ n = n(n + 5). For the representation (n, 1, 0) corresponding to the 1-form harmonics we have λ n = (n + 2)(n + 5). For the representation (n, 0, 2) corresponding to 2-form harmonics we have λ n = (n + 1)(n + 4). These eigenvalues as well as the corresponding representations are in precise agreement with our results. Furthermore Proposition 2.3 in this reference says that the Casimir invariant equals the eigenvalues of the Laplacian.

A.1 Branching rules under SO(7) → SO(6)
The representations for spherical harmonics of SO(6) can be found in [19]. The dimension of an irreducible representation of SO(6) is given by 6 The  [19] and we use the same notation here. The Dynkin labels for SU (4) = SO(6) are related as We have the branching rules [3] (2, k − 1, 0) SU (4) → [3] (1, k, 0) SU (4) → k p=0 (p, k − p) [−3/2] ⊕ (p, k − p + 1) [3/2] A subscript in square brackets attached to an SU (3) representation as (m, n) [q] gives the U (1) H charge Q as follows, The volume of S 6 of unit radius is Vol(S 6 ) = 16π 3 15 The first term in the heat kernel of a scalar field is therefore We define the Riemann tensor, the Ricci tensor and the scalar curvature as On S 6 of radius r, we have We have the cubic curvature invariants whose explicit values on S 6 become Let us now view S 6 as a S 5 -bundle over the interval θ ∈ [0, π]. We write the metric on S 6 as where we subsequently write the metric on unit S 5 as The metric on CP 2 is written as The volume of CP 2 is computed as Now we view S 6 as a singular fibration with fiber being the Hopf fiber of S 5 . The basemanifold M 5 has conical singularities at θ = 0 and θ = π and is otherwise a smooth five-manifold. The metric is The volume is computed as Vol(M 5 ) = r 5 π 0 dθ sin 4 θ π 2 2 = 3π 3 r 5 16 The first term in the heat kernel is expected to be When we reduce along a singular circle fiber, singularities may arise at points where the fiber shrinks to zero size. An example can be found in two dimensions. Consider S 2 with metric in polar coordinates ds 2 = sin 2 θdϕ 2 + dθ 2 Here ϕ ∼ ϕ + 2π parametrizes a circle fiber with radius r(θ) = sin θ that becomes zero at θ = 0 and θ = π. Reducing along the fiber, we get a one-manifold with the metric The one-manifold is smooth everywhere, except at the endpoints of the interval.
We believe that our M 5 that we obtain from reducing S 6 along a singular fiber, is smooth everywhere. The metric is Possibly dangerous points would be at θ = 0 and θ = π which are where the circle fiber has zero length. Let us examine the vicinity of θ = 0. For small θ, and small χ, the metric is Of course there is no singularity at χ = 0 since we know that CP 2 is smooth, and indeed the metric corresponds to a foliation of R 4 with three-spheres of radii χ ≥ 0. Also then there is no singularity at θ = 0 as we may think on the metric locally around that point as as a foliation of R 5 by four-spheres. So we conclude that the local geometry around θ = 0 and χ = 0 is given by R 5 , so there is no conical singularity at that point. As we move away from χ = 0 there does arise a conical singularity at θ = 0 and θ = π for each submanifold defined by a constant value of χ. However, those singularities arise by the choice of a singular submanifold inside the bigger smooth manifold M 5 and so they are not real singularities.
For other fields, or for other manifolds, there will be more terms appearing in these coefficients, but for one massless scalar on S 6 , this is all there is. If we compute these coefficients for S 6 , then we get where a 0 (4π) 3 = 1 60

C.2 Conformally coupled scalar
We now consider turning on a conformal mass term, which amounts to turning on E that is shifting the Laplacian. We then get and extra contibution [6]. Using the notation in [8], this extra contribution reads We have By plugging this into (C.1), we get Evaluating this on S 6 , we get Then adding the massless contribution, we get in total In other words 1 60 a 6 = 1 750

D Supersymmetric cancelation
The partition functions for a two-form (B), conformally coupled scalar (S), and fermions (F ) are given by (n 2 + 5n + 4) d V n /2 (n 2 + 5n + 6) d T n /2 (n 2 + 7n + 6) d S 0 The M5 brane partition function is (n 2 + 5n + 4) d V n /4 (n + 3) 2d F n (n 2 + 5n + 6) d T n /4+5d S n /2 (n 2 + 7n + 6) d S 0 n+1 /4 By noting that n 2 + 5n + 4 = (n + 4)(n + 1) n 2 + 5n + 6 = (n + 3)(n + 2) n 2 + 7n + 6 = (n + 6)(n + 1) we may, at least naively, shift the arguments n so that we get Of course this kind of manipulation for an infinite divergent product is not legitimate, and so there is no point in trying to make precise what happens at the lower summation point as we have indicated by n =?. Nevertheless, we think that it is interesting to compute the exponent, which simplifies drastically. We get While the naive expectation might have been that we would get a fifth order polynomial in the exponent, we instead get a first order polynomial, This shows that there is a huge cancelation of modes thanks to fermi-bose cancelations, which is typical behavior of a superconformal index. We can repeat the same computation for the (1, 0) tensor multiplet, consisting of one scalar, two SU (2)-Majorana-Weyl fermions, and a selfdual two-form. The partition function is With less amount of supersymmetry, there is now less cancelation of modes and we end up with the cubic polynomial, P (1,0) (n) = n 3 3 − 7n 3 It would be very interesting if one could get these polynomials P (2,0) (n) and P (1,0) (n) from an index theorem and if one can find the corresponding nonabelian generalizations.