One-loop tests of supersymmetric gauge theories on spheres

We show that a recently conjectured form for perturbative supersymmetric partition functions on spheres of general dimension d is consistent with the flat space limit of 6-dimensional N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 1 super Yang-Mills. We also show that the partition functions for N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} =18-and9-dimensionaltheoriesareconsistentwiththeirknownflatspacelimits.


Introduction
It has been long known that there are difficulties in putting certain supersymmetric theories on Euclidean spaces [1]. For instance, a single vector multiplet in a 4d N = 1 gauge theory has a Majorana fermion as a superpartner to the gauge field in Minkowski space. In rotating to Euclidean space it is impossible to maintain the reality condition on the fermion, so the supercharges are naturally complexified. As shown by Zumino [1], requiring the spinors to be real leads to extra supersymmetry with additional fields in the supermultiplet, namely two extra fermion degrees of freedom as well as two scalars, where one scalar has the wrong sign kinetic term. In hindsight we can easily understand these extra fields as arising from a dimensional reduction of a Minkowskian six-dimensional vector multiplet, where one of the reduced directions is the time direction [2,3].
A similar issue occurs when we consider a vector multiplet in six dimensions. In Minkowski space an N = 1 vector multiplet has a real Weyl spinor. Analytically continuing to Euclidean space complexifies the spinor. In order to have real spinors one must increase the amount of supersymmetry to N = 2 with 16 supersymmetries. Now there will be four scalars where one of them has the wrong sign kinetic term. Note that these issues do not mean that we cannot have minimal supersymmetry on Euclidean spaces, it just means we cannot have it with only real fields.
However, the standard localization procedure often starts with ten-dimensional super Yang-Mills and dimensionally reduces to super Yang-Mills on lower dimensional spheres [4][5][6][7]. As such, the fields are real. Nevertheless, a simple argument shows that it should be possible to put a theory with N = 1 supersymmetry on S 4 . Suppose one has a U(1) vector multiplet on R 4 , with no chiral multiplets charged under the U(1). This theory is free, hence it is conformal. Therefore one can make a conformal transformation to S 4 and preserve the supersymmetry, albeit with complex fields. In any case, one can JHEP07(2017)074 use the methods of Festuccia and Seiberg, starting with off-shell supergravity to put any N = 1 theory on AdS 4 and analytically continue to S 4 [8]. However, the full partition function for a generic interacting N = 1 theory has been shown to be scheme dependent [9], questioning whether one could obtain any scheme independent results from a localized partition function. Nonetheless, certain theories might have further symmetries, opening up the possibility of localizing the theory. A prominent example of this type is the N = 1 * theory where it was shown that one can obtain unambiguous and scheme independent quantities constructed from the partition function [10]. However, there is no known way to localize an N = 1 theory on S 4 . The difficulty arises in trying to construct a positive definite localization term. It is possible to construct a positive definite Q-exact term from a supersymmetry generator, however the known generators that give such terms do not themselves close to a symmetry of the Lagrangian [11]. 1 This issue is also discussed in [12].
For six-dimensional N = 1 super Yang-Mills the situation is worse. In the four dimensional minimal supersymmetric case one expects to be able to put the theory on S 4 because of the existence of an appropriate superalgebra, namely OSp(1|4), which has four supercharges and a bosonic SO(5) subalgebra corresponding to the isometry of S 4 . For six dimensions we would want a superalgebra with a bosonic SO(7) subalgebra and 8 supercharges transforming in a spinor representation of SO (7), but no such superalgebra exists. The F (4) supergroup has an SO(7) × SU(1, 1) bosonic subalgebra and 16 supercharges, hence this is appropriate for N = 2 supersymmetry.
We encounter a similar problem when considering super Yang-Mills in eight and nine dimensions. In this case there are sixteen supersymmetries, and again, one would like to be able to put these theories on spheres. But once more there is no corresponding superalgebra with the appropriate bosonic subalgebras, namely SO(9) and SO(10) for S 8 and S 9 respectively. 2 Even if one were able to define such theories it might be the case that their partition functions suffer from ambiguities just like N = 1 theories in four dimensions. In the next section we will review explicitly the obstacles in putting these supersymmetric theories on the spheres.
Nevertheless, there are some indications that there are theories akin to N = 1 six, eight and nine dimensional supersymmetric theories on spheres. In particular, evidence was presented in [14] showing that the perturbative partition functions for super Yang-Mills with 8 supersymmetries on S 3 , S 4 and S 5 have a natural analytic continuation, such that one can continue up to six dimensions. Likewise theories with 16 supersymmetries on S d with d = 3, 4, 5, 6, 7 also have a natural analytic continuation which can then be continued up to d = 8, 9. Although, we do not have an explicit construction of Lagrangians for these theories, it is reasonable to assume that in the decompactification limit, they reduce to usual gauge theories in flat space. The main objective of this paper is to demonstrate that the partition functions are consistent with this picture. These partition functions include a JHEP07(2017)074 dependence on one-loop determinants. We show that in the decompactification limit these one-loop determinants produce the well known physics of the flat space theories.
The paper is organized as follows: in section 2 we briefly review the localization procedure in [5] and the analytic continuation in [14]. In section 3 we compute one-loop divergences from the analytically continued expressions for one-loop determinants and compare them with well known results in the literature. In section 4 we summarize our results and discuss some further issues.

Review of localization and its analytic continuation
In this section we review the localization procedure for gauge theories with eight supersymmetries on spheres. We use the conventions in [5] which generalizes the procedure on S 4 [4], where one starts with N = 1 super Yang-Mills in ten dimensions and dimensionally reduces, including along a time-like direction so that the unreduced dimensions are Euclidean. We then review analytic continuation of the localized result to other dimensions.
In ten dimensions the Lagrangian in flat space is given by [15] where the indices run from M, N = 0, . . . 9 and Ψ a is a Majorana-Weyl spinor in the adjoint representation. The gamma matrices Γ M ab andΓ M ab are real and symmetric. The Lagrangian is invariant under the supersymmetry transformations where is any constant real spinor. We then dimensionally reduce to d dimensions so that the gauge fields are A µ , µ = 1, . . . d, while the remaining bosonic fields are scalars with φ I ≡ A I , I = 0, d + 1, . . . 9. The scalar φ 0 will have a wrong-sign kinetic term in the action because it came from the dimensional reduction of the time direction. This also leads to a noncompact R-symmetry, SO(1, 9 − d). The dimensionally reduced field-strengths become Putting the d-dimensional Euclidean space on the sphere modifies the fermion supersymmetry transformation to where the constants α I are given by

JHEP07(2017)074
The index I in (2.4) is summed over. The supersymmetry parameters are special cases of the superconformal Killing spinors on S d that satisfy where β = 1 2r , which has 32 independent components. We reduce this to 16 components by setting where Λ must satisfyΓ µ Λ = −ΛΓ µ ,ΛΛ = 1, Λ T = −Λ for consistency with (2.6). A minimal choice is Λ = Γ 0Γ8 Γ 9 , showing that this construction works up to d = 7. If we write the sphere metric as then the solutions to (2.7) are given by where s is a constant spinor. The supersymmetric Lagrangian is given by The scalars are split into two groups, φ A , A = 0, 8, 9 and φ i , i = d + 1, · · · 7. One can see from the structure of (2.10) that the R-symmetry is generically broken from SO(1, 9 − d) to SO(1, 7 − d).
The Lagrangian in (2.10) preserves 16 supersymmetries, but we can reduce this to 8 for d ≤ 5 by imposing the extra condition = +Γ , where Γ = Γ 6789 . The fermions then split into the components of a vector multiplet ψ, with ψ = +Γψ, and a hypermultiplet χ with χ = −Γχ. The gauge fields A µ and scalars φ 0 , φ d+1 . . . φ 5 are the bosonic fields of the vector multiplet, while φ 6 , . . . φ 9 are the bosonic fields for the hypermultiplet. With fewer supersymmetries we can add mass terms to the Lagrangian for the hypermultiplets. This also modifies the α I for the hypermultiplet scalars to while at the same time modifying the extra terms in the Lagrangian to

JHEP07(2017)074
and the quadratic terms for the hypermultiplet to (2.14) Partition functions for theories on S 3 , S 4 , S 5 , S 6 , S 7 were computed in [4,5,16,17]. Partition functions for S d , can be written as where ξ are weights in the hypermultiplet representation and µ = mr is the dimensionalless mass parameter. Theories with sixteen supercharges are obtained by taking the vector multiplet with eight supercharges and adding a massless hypermultiplet in the adjoint gauge group. Hence the resulting one-loop determinants would be: . (2.18) This, not only gives the correct expression for theories with sixteen supercharges in 3 ≤ d ≤ 5, but also agrees with the one-loop determinants on S 6 and S 7 for sixteen supercharges.
It now seems quite natural to analytically continue the dimension past d = 5 in (2.16) and (2.17) up to d = 6, even though there is no appropriate Λ and Γ that can accommodate the above construction of vector and hypermultiplets on S 6 . At this point we will assume that our presumed theory has 8 supersymmetries and reduces to standard N = 1 super Yang-Mills in the flat space limit. One possibility is that the SO(7) symmetry is broken to SO(6) with the spinors having opposite chiralities on the north and south poles.
Likewise, it seems natural to analytically continue the dimension past d = 7 in (2.18), even though there is no appropriate Λ for the construction. In the d = 8 and d = 9 cases we will again assume that our presumed theory reduces to standard N = 1 SYM in the flat space limit. On the spheres we assume that the rotational symmetry is broken to SO(8).

JHEP07(2017)074 3 One-loop divergences from partition functions
In this section we will use the analytically continued expressions for one-loop determinants to compute effective couplings for theories with eight and sixteen supersymmetries in diverse dimensions. The ultraviolet divergences of the gauge coupling at one-loop can then be compared with the counter terms for supersymmetric theories at one-loop. In four dimensions, upon taking the decompactification limit one can compute the beta function of the theory. We show that results obtained from the analytically continued one-loop determinants are in agreement with explicit one-loop computations in these theories.

Eight supersymmetries in 4d
Recall that for a gauge theory in four dimensions with N f Dirac fermions in representation R f and N s complex scalars in representation R s of a semi-simple gauge group, the one loop beta function is given by is the quadratic Casimir in the representation R of the gauge group. For N = 2 theory with N h hypermultiplets in the representation R of the gauge group the beta function becomes The contribution from the vector multiplet was previously found in [4] by taking the hypermultiplet mass to infinity in the N = 2 * theory. We want to reproduce (3.2) by using the analytically continued one-loop determinant for the vector and hyper multiplets given in equations (2.16) and (2.17).
To do so we need to determine O σ 2 terms appearing in the one-loop determinants. To proceed we replace σ by tσ in the expressions for the one-loop determinants. The parameter t keeps track of the order of σ. Focusing only on the vector multiplet, one can easily find that (3.5)

JHEP07(2017)074
From this we can easily obtain log Z vec 1−loop = 2 C 2 (Adj) σ 2 + · · · . (3.6) A completely analogous calculation for a hypermultiplet in representation R of the gauge group gives For a gauge multiplet and N h hypermultiplets, the contribution to the O σ 2 term from the one-loop determinants can be combined with the O σ 2 term in the fixed point action as given in equation (2.15) to get where g (Λ) is the running coupling constant at the renormalization scale Λ ∼ r −1 [4], g 0 is the bare coupling. From the above equation one can easily obtain the beta function, This matches precisely with equation (3.2). For one hypermultiplet in the adjoint representation the beta function vanishes. This is to be expected since it corresponds to N = 4 SYM.

Eight supersymmetries in 6d
Since the explicit expression for one loop determinants for eight supersymmetries in 4d are known in terms of infinite products, the above results can be reproduced by regularizing those expressions by introducing a finite cut off parameter Λr and then taking the decompactification limit r → ∞. As explained earlier, it is not known how to localize a six dimensional theory with eight supersymmetries. In this case the expression (2.16) is a genuine ansatz. In this subsection we will perform a non trivial check on that ansatz by computing the effective coupling. It is well known that the six dimensional theory with eight supersymmetries has a quadratic divergence at one-loop [18,19]. We will compute the effective coupling using the one loop determinant (2.16) and show that it has a quadratic divergence in the decompactification limit. Since dimensional regularization is only sensitive to logarithmic divergences we will use a hard cutoff to isolate the quadratic divergence. At leading order in the divergence this is expected to be consistent with supersymmetry. However, there could be issues with sub-leading divergences, if for example imposing the cutoff leaves off the super-partners of modes at or near the cutoff. However, assuming that the proposed dimensional regularization respects the supersymmetry we can show that the logarithmic divergences coming from the hard cutoff are consistent with the result coming from dimensional regularization, even if the log divergence is sub-leading.

JHEP07(2017)074
We use d = 6 in (2.16) and truncate the infinite product at n max = Λr to find quadratic dependence on the energy cutoff Λ. It is straightforward to find that the divergent contribution to the σ 2 term from the vector one-loop determinant is log Z vec 1−loop = Λ 2 r 2 + 5Λr 6 + 11 3 log (Λr) C 2 (Adj) σ 2 + · · · . (3.10) By combining this with the fixed point action, we find the effective coupling given by In the r → ∞ limit only the leading terms in r survive and one obtains 1 We see that the effective coupling diverges quadratically with the scale Λ. It is also known that the six dimensional theory can be made finite at one loop by adding a suitable hypermultiplet. This would be the case if the hypermultiplet and the vector multiplet contribute to the quadratic divergence with opposite sign. This is also consistent with the one-loop determinant (2.17). For a hypermultiplet in representation R, the contribution to O σ 2 term is given by So that the effective coupling with N h hypermultiplets in the representation R is given by: (3.14) In particular, for a single hypermultiplet in the adjoint representation the quadratic divergence vanishes as expected [18].

Sixteen supersymmetries in 4d and 6d
In four and six dimensions, explicit expressions for the one-loop determinants for sixteen supersymmetries are known. We will compute the effective coupling at one-loop using both of these expressions and show that it is consistent. For four dimensions, we compute effective coupling from (2.18) using d = 4. We will truncate the infinite product at n max = Λr. By doing so one finds that the contribution to O σ 2 term vanishes.
Combining this with the fixed point action, we obtain the effective coupling which is given by: We see that the coupling has a logarithmic dependence on the scale Λ. It is easy to see that Logarithmic dependence is produced by using dimensional regularization for d = 6 − in the analytically continued expression. Doing so we find that: Combining this with the contribution from the fixed point action and noting that in 6 −dimensions r 2 g 2 has mass dimension − we get: where a Λ-independent infinite piece is absorbed in 1 . This gives the same logarithmic dependence on the energy scale Λ. Note that in the decompactification limit this logarithmic divergence vanishes, consistent with the fact that the six dimensional theory with 16 supersymmetries is finite at one-loop.

Sixteen supersymmetries in 8d and 9d
For d = 8, 9, it is not known how to localize. Here we show that the analytically continued expression for the one-loop determinant is consistent with known results. It is known that for d = 8, 9, none of the terms present in the tree level Lagrangian need a counter term at one-loop [19,20]. Hence, the effective coupling determined from the analytically continued expressions for one-loop determinants should not have any divergences. This can be easily demonstrated by using the methods of this section. A short calculation shows that the contribution to O σ 2 term from the one-loop determinant (2.18)  which leads to following expression for effective coupling: This is independent of the UV scale Λ in the decompactification limit. The same calculation can be repeated for d = 10 and it can be shown that the one-loop determinants do not contribute any divergences to the gauge coupling in the decompactification limit.

Summary and discussions
In this note we have presented some nontrivial evidence in favor of the analytically continued expressions for one-loop determinants of supersymmetric gauge theories on S d . We have computed the one-loop contribution to the gauge coupling as predicted from these determinants and showed that it is consistent with the well known one-loop behavior of minimally supersymmetric gauge theories in diverse dimensions. Unfortunately, at this point it is not clear what are the actual Lagrangians for these gauge theories when they are on the sphere. Attempts to construct these theories by starting from ten dimensional SYM have not been successful so far. Another possible way to find supersymmetric theories on spheres is to consider offshell supergravity coupled to vector multiplets and then take the rigid limit, as in [8,21]. An off-shell formalism is known for N = 1 supergravity in six dimensions, [22][23][24]. This possibility was analyzed partially in [25] and it was shown that the off-shell theory with R-symmetry gauging does not admit S 6 as a supersymmetric background. It would be interesting to complete this analysis by determining whether or not the off-shell theory without R-symmetry gauging admits S 6 as a supersymmetric background, although in this case the supersymmetry might be enhanced to N = 2. For eight and nine dimensions we are unaware of an off-shell supergravity formulation.
It is reasonable to believe that the theories, assuming they exist, will have Lagrangians that have explicit terms that break the bosonic symmetries down to SO(6) SU(4) in the six dimensional case, leaving an invariance under the SU(4|1) superalgebra. Likewise, we expect the eight and nine dimensional theories to only have an SO(8) symmetry and be invariant under an OSp(8|2) superalgebra. From the supergravity perspective, it would correspond to turning on non trivial background fields in addition to metric.