Wrapped branes and punctured horizons

Large classes of AdSp supergravity backgrounds describing the IR dynamics of p-branes wrapped on a Riemann surface are determined by a solution to the Liouville equation. The regular solutions of this equation lead to the well-known wrapped brane supergravity solutions associated with the constant curvature metric on a compact Riemann surface. We show that some singular solutions of the Liouville equation have a physical interpretation as explicit point-like brane sources on the Riemann surface. We uncover the details of this picture by focusing on 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 theories of class S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{S} $$\end{document} arising from M5-branes on a punctured Riemann surface. We present explicit AdS5 solutions dual to these SCFTs and check the holographic duality by showing the non-trivial agreement of ’t Hooft anomalies.


JHEP06(2020)011 1 Introduction
Studying the low-energy physics of p-branes in string and M-theory wrapped on an ndimensional curved manifold, M, has provided a rich arena for understanding the dynamics of strongly coupled quantum field theories. This is facilitated by three distinct vantage points that provide complementing insights into the physics of these systems. One can view this setup as realizing a partial topological twist on M of the (p + 1)-dimensional supersymmetric QFT on the world-volume of the brane. At low energies this leads to a QFT in (p − n + 1) dimensions which preserves part of the original supersymmetry. Alternatively, one can realize the same system more geometrically by studying the low-energy dynamics of the p-brane wrapped on a calibrated cycle M in a special holonomy manifold. Holography offers a third point of view on the same physics. When the number of p-branes is large they backreact on the geometry and this often leads to supergravity solutions dual to the QFTs of interest. In this work we will study the case n = 2, i.e. M is a Riemann surface, and show how to construct these supergravity solutions for various p-branes in the presence of punctures on the Riemann surface.
Studying wrapped branes on Riemann surfaces using holography was initiated in the seminal work of Maldacena-Núñez [1], see [2] for a review. Renewed interest in the physics of these systems arose from understanding the four-dimensional N = 2 quantum field theories of class S arising on worldvolume of M5-branes wrapping a Riemann surface [3,4]. A key role in the class S construction is played by the punctures on the Riemann surface, C. They encode information about additional flavor symmetries and matter fields in the quantum field theory. In the brane setup these punctures correspond to M5-branes which intersect the Riemann surface at points and share four dimensions with the wrapped branes. Such punctures on the Riemann surface can also be incorporated in the holographic description of the class S setup. It was shown in [5] that the gravitational description of this system is captured by a generalization of the class of 1 2 -BPS AdS 5 solutions described in [6]. These solutions are described by a single function obeying the non-linear SU(∞) Toda equation which in the presence of punctures on C is modified by including a singular source. A large number of non-trivial consistency checks of this proposal were performed in [5] and all of them lead to nice agreement with the field theory analysis of [3,4].
Given this success it is natural to ask whether this supergravity description of wrapped branes on punctured Riemann surfaces can be generalized to branes in other dimensions or systems with smaller number of supercharges. Unfortunately the approach followed in [5] proves to be hard to generalize in these setups. For instance if one wants to generalize the N = 1 class S construction of [7][8][9] to Riemann surfaces with punctures one has to study 1 4 -BPS AdS 5 backgrounds of eleven-dimensional supergravity. While solutions of this type have been classified in [10] the supergravity BPS equations reduce to a complicated system of coupled nonlinear PDEs. Despite the progress described in [11,12], it appears to be hard to apply the idea of [5] and introduce singular brane sources to this system of equations and find explicit solutions. This state of affairs is even more grim for other wrapped brane systems like D3-or M2-branes. Where one should classify 1 8 -BPS AdS 3 or 1 16 -BPS AdS 2 solutions of type IIB or eleven-dimensional supergravity and introduce singular sources to JHEP06(2020)011 the corresponding BPS equations. Given this impasse it is clearly beneficial to explore alternative approaches to the construction of this type of supergravity solutions. Our goal here is to present one such approach.
Our strategy is based on the observation that the constructions of many wrapped branes supergravity solutions proceeds along the lines of [1]. Namely, one starts with an appropriate lower-dimensional gauged supergravity which is a consistent truncation of ten-or eleven-dimensional supergravity on a compact manifold (typically a sphere). One then studies an appropriate ansatz for the fields of the gauged supergravity theory which implements the holographic description of the partial twist of the dual SCFT on the compact Riemann surface and then constructs solutions of the supergravity BPS equations. We modify this procedure in a simple way, we allow for the metric on the Riemann surface to be general, as opposed to the constant curvature metric in [1]. We then study this setup in the maximal gauged supergravity theories in four, five, six, and seven dimensions relevant for the holographic description of M2-, D3-, D4-D8, and M5-branes. We find that in all cases the supergravity BPS equations reduce to the following PDE on the Riemann surface ϕ + κe ϕ = 0 , for one of the functions in the ansatz, where κ is the normalized curvature of C. This is the well-known Liouville equation. Its regular solutions lead to the well-known supergravity solutions describing branes wrapped on a compact Riemann surface. Our main observation is that introducing a singular source on the right hand side of the Liouville equation allows for new solutions that have not been explored before. We interpret these solutions as providing the supergravity description of branes wrapped on a punctured Riemann surface. We can then rely on a well-known supergravity uplift formulae to present the corresponding ten-or eleven-dimensional supergravity solutions. In this way we circumvent the need to classify AdS supergravity solutions and solve complicated PDEs directly in the ten or elevendimensional theory.
To gain confidence in the proposal described above we study it in detail for the case of M5-branes wrapped on a punctured Riemann surface with a general choice of topological twist preserving N = 1 supersymmetry. We first show that for the special twist with N = 2 supersymmetry our results are compatible with the ones in [5]. This comparison also exhibits a small limitation in our approach. The singular source in the Liouville equation does not capture the full information about the puncture present in the eleven-dimensional solutions of [5] and only serves as an approximate description. Nevertheless, the gauged supergravity approach provides enough information for many interesting questions, in particular in the large N approximation. We show this utility by studying more general N = 1 setups of class S where we show how the results computed using the supergravity solutions agree with the M5-brane anomaly polynomial as well as explicit constructions of the dual quantum field theories using vector and hyper multiplets as well as T N building blocks.
In the next section we present our main proposal on how to treat punctured Riemann surfaces in gauged supergravity and present some details on solutions corresponding to wrapped M2-, D3-, D4-D8, and M5-branes. From section 3 onwards we focus on M5-branes wrapped on punctured Riemann surfaces in order to accumulate evidence for our general JHEP06(2020)011 prescription. We start by describing the different twists of the N = (2, 0) theory and summarize how to integrate the anomaly polynomial of the M5-branes over the punctured Riemann surface to obtain the anomalies of the IR four-dimensional theories. In section 4 we revisit the AdS 5 supergravity solutions of section 2 and describe our treatment of singularities on the Riemann surface. We also compute the conformal anomalies of these solutions holographically and obtain an exact match with the result from the anomaly polynomial at leading order in N . Moreover, we compute the dimension of protected operators arising from M2-branes wrapping the Riemann surface and describe the marginal deformations of our solutions. Finally, in section 5 we construct the quiver gauge theories dual to a subset of our supergravity solutions. We compute the conformal anomalies, the dimensions of the M2-brane operators and the dimension of the conformal manifold and on all fronts find agreement with supergravity and the anomaly polynomial. We finish by briefly discussing various non-trivial Seiberg-like dualities. The four appendices contain technical details on the supergravity constructions we employ, a review of some solutions of the Liouville equation, as well as a brief summary of our SCFT conventions.

Punctured horizons
We consider (d − 3)-dimensional SCFTs arising from twisted compactifications of SCFTs in d − 1 dimensions on a punctured Riemann surface C. These can be realized as the theories living on the worldvolume of D-or M-branes where the worldvolume takes the form R 1,d−4 × C. In general when putting a supersymmetric field theory on a curved manifold all supersymmetries are broken. However, by performing a (partial) topological twist we can preserve some supersymmetry [1,13,14]. The generator of supersymmetry is a spinor, , which in the presence of a background metric and R-symmetry gauge field obeys an equation of the schematic form Here ω ab µ is the spin connection and A µ is the background gauge field coupled to the Rsymmetry. By identifying the structure group of C with a subgroup of the R-symmetry this equation can be solved by taking a constant spinor obeying ∂ µ = 0. In order to perform a topological twist on a Riemann surface we need at least U(1) R superconformal R-symmetry. In this paper we focus on SCFTs with the maximal number of supercharges in three, four, five, and six dimensions which have a larger R-symmetry group and thus the (d − 3)-dimensional SCFTs in the IR preserve some amount of supersymmetry. 1 Following the seminal work [1] we study these twisted SCFTs using holography. To this end we consider maximally supersymmetric gauged supergravity theories in d = 4, 5, 6 and 7 dimensions and study the most general topological twist on C in every dimension. The construction follows a similar pattern for every value of d and before we focus on each individual case we describe the general structure.

JHEP06(2020)011
We work with a truncation of the maximal gauged supergravity which reduces the bosonic fields to the metric and a number of Abelian gauge fields and real scalars. The supergravity solutions dual to the twisted SCFTs described above are of the following form The range of the indices i = 1, . . . , n A and I = 1, . . . , n λ differs on a case by case basis and will be specified for each dimension separately. In these expressions all functionsf ,φ, A (i) x 1 ,x 2 and λ I -only depend on the radial coordinate r and the coordinates x 1 and x 2 of the Riemann surface. For Riemann surfaces with Gaussian curvature κ = −1, the coordinates (x 1 , x 2 ) parametrize the hyperbolic plane H which we quotient by a discrete Fuchsian subgroup Γ ∈ PSL(2, R) to obtain a genus g > 1 Riemann surface. Furthermore we focus on the IR behavior of these wrapped brane solutions where the geometry becomes AdS d−2 × C. The metric functions in this IR region are fixed to where f 0 and ϕ 0 are constants and the scalars take constant values. The gauge coupling g is related to the radius of the UV AdS d solution, R AdS d = 2 g . It is worth pointing out that the more general BPS equations which describe the holographic RG flow from the AdS d UV region to the AdS d−2 IR near-horizon region were studied in detail in [17,18]. 2 The result is that these equations admit solutions for arbitrary metric on the Riemann surface in the UV region, however in the IR the metric flows to the constant curvature metric on C. This behavior is known as holographic uniformization [17,18]. From now on we concentrate solely on the IR region and investigate the resulting near-horizon geometries. As described in appendix A one can show that the BPS equations at the IR fixed point reduce to a number of algebraic equations for the scalars together with one universal second order equation for the conformal factor ϕ of the metric on the Riemann surface. The gauge fields in turn are -up to a choice of twist -fully determined in terms of this function ϕ. The equation determining ϕ is given by This is nothing but the Liouville equation for the conformal factor of the metric on the Riemann surface. 3 When one considers smooth Riemann surfaces one finds the constant curvature metric on the covering space

JHEP06(2020)011
The crucial observation for our work is that there are more general solutions to the Liouville equation. One can construct many more IR AdS d−2 solutions by allowing singular solutions to the Liouville equation where the Riemann surface includes conical defects or punctures. Our main observation is that regular punctures on the wrapped curve correspond to conical defects of the Riemann surface in the lower dimensional supergravity description. In order to accommodate such singularities one has to add localized sources to the Liouville equation where i runs over all singularities and 0 ≤ ξ i ≤ 1 specifies the opening angle of the conical defect at the point P i . The limiting values ξ = 0 and ξ = 1 correspond to respectively a true puncture and a regular point. Near a singular point the Liouville field needs to satisfy appropriate boundary conditions. Near a conical singularity with defect angle ξ, the boundary conditions are where r 2 = x 2 1 + x 2 2 and the singularity is chosen to lie at the origin. Once a solution to the Liouville equation on a Riemann surface with prescribed singularities is given, the gauge field strength is fully determined by the conformal factor ϕ, up to a choice of partial topological twist. In terms of the spin connection ω µ = 1 2 ω ab µ ab , we choose the R-symmetry background gauge field A µ such that its field strength is, up to a d-dependant prefactor, given by for κ = 0 and F ∼ −T vol g,ξ for κ = 0. Here we defined vol g,ξ to be the volume form on the singular Riemann surface of genus g with n conical defects with opening angles ξ j and V g,ξ is its volume This implies that in order guarantee that the volume is positive we must have κ = sgn[2 − 2g− n j=1 (1−ξ j )]. The gauge field is taken along the generator T = a i T i where T i are the generators of the Cartan of the R-symmetry group. The a i are constants parametrizing the partial topological twist. In order to preserve supersymmetry a i need to obey the constraint (2.10) For smooth Riemann surfaces the condition for the R-symmetry bundle to be well defined, together with the twisting condition, (2.10), imply that the a i can only take quantized values a i ∈ Z. On the other hand, for a singular Riemann surface with conical singularities, with deficit angles {ξ j } j=1,··· ,n , the quantization condition is slightly altered and becomes (2.11)

JHEP06(2020)011
This condition corresponds to the quantization of the fluxes F (i) and is very similar in spirit to the quantization of electric charge in the presence of a magnetic monopole. Namely, when a monopole of magnetic charge m is present the charge quantization condition takes the form mn ∈ Z.
Another useful point of view on this quantization condition is more geometric and is offered by uplifting these backgrounds to string or M-theory. There the quantization arises for imposing the normal bundle to the wrapped branes is well-defined. For an SU(N ) gauge group the twisted SCFTs theories describe the low energy limit of a D-or M-brane wrapped on a singular curve C inside a Calabi-Yau m-fold, where m = n A + 1, which is a n A i=1 L i line bundle over C.
The degrees of the line bundles are deg(L i ) = −κa i for κ = 0 and deg(L i ) = a i for κ = 0. The Calabi-Yau condition reduces to n A i=1 L i = K C , where K C is the canonical line bundle of C. This relation is equivalent to the twist condition (2.10). Note that due to the presence of singularities the degrees of the line bundles can take rational values [20].
It proves convenient for the subsequent analysis to split the parameters a i into global and local parts where the global part corresponds to the background flux present for the topological twist on a smooth C, i.e. such that i a i global = (2g − 2). For each puncture there is a choice to add the local contribution to one of the magnetic fields or equivalently to one of the a i 's indicating in which direction normal to the branes the puncture extends. 4 Graphically we can represent this choice by assigning a color to each conical defect, see figure 1 for an illustration valid for M5-branes wrapped on C, as follows For theories of class S with gauge group SU(N ) regular punctures are classified by Young tableaux with N boxes [3,21]. Similarly we conjecture that in other dimensions and with smaller number of supercharges many punctures can be classified in the same manner. Around a puncture we can uplift our supergravity solution to ten or eleven dimensions. For ξ −1 ∈ Z the uplifted geometry around the puncture in 10 or 11 dimensions takes the form One can consider the more general case where the contribution from a single singularity is split over multiple a i . In this case the singularity still extends in a one-dimensional subspace of the transverse space the will locally still preserve half-maximal supersymmetry. By choosing a different basis for the transverse space we recover the same picture as above. However, when a singularity extends in a subspace of the transverse space with dimension d > 1 we have a truly different situation and the intuitive picture developed above will no longer be correct. To the best of our knowledge this situation has not been studied in the literature and we do not consider it here.
JHEP06(2020)011 In class S theories this kind of geometry corresponds to a puncture characterized by a rectangular Young tableau with rows of equal length ξ −1 . The geometrical structure associated to punctures with more general Young tableaux is more complicated as the singularities are spread out along the internal space [5]. In order to analyze these singularities in full detail one should consider the full ten or eleven-dimensional description of the solution. However, in the large N limit we can approximately describe these solutions with conical singularities with defect angles ξ ∈ { r N |r = 1, . . . , N − 1}. A conical defect with ξ = r N corresponds to the set of all regular punctures described by Young tableaux with r rows; to select the specific Young tableau from this class one needs additional information encoded in the transverse geometry. Such more general punctures might violate the quantization conditions formulated above. For the moment we do not worry about this and merely consider this as an effective description in the gauged supergravity. Using this approximation we show that for N = 1 theories of class S we can match the conformal anomalies and dimensions of specific operators for all types of punctures in the dual field theory.
In the remainder of this section we construct explicit gauged supergravity solutions corresponding to M2-, D3-, D4-D8-and M5-branes wrapping the singular Riemann surface C.

M2-branes on singular curves
The gauge theory arising on the worldvolume of N M2-branes is given by the threedimensional N = 8 ABJM theory [22] which at large N is dual to eleven-dimensional supergravity on AdS 4 × S 7 . 5 A twisted compactification of this theory on a complex curve C is described holographically by an eleven-dimensional supergravity background which is asymptotically locally AdS 4 × S 7 but for which the topology at a fixed value of the radial coordinate is an S 7 fibration over C. An efficient way to construct these supergravity solutions is to study them in the maximal four-dimensional SO(8) gauged supergravity [23] which is a consistent truncation of the eleven-dimensional theory on S 7 . For our purposes we do not need the full structure of the four-dimensional N = 8 theory and restrict to a 5 For simplicity we focus on the ABJM theory with Chern-Simons level k = 1.

JHEP06(2020)011
further truncation studied in [24]. The bosonic subsector of this truncation consists of a metric, four abelian gauge fields in the Cartan of the SO(8) gauge group and three real neutral scalars. It can be shown that all solutions of this truncation can be uplifted to solutions of eleven-dimensional supergravity [24].
In [25,26] the near-horizon geometry of M2-branes wrapped on a smooth Riemann surface was analyzed using the same truncation. One can show that by inserting our ansatz in the BPS equations they indeed reduce to the Liouville equation for the conformal factor ϕ together with algebraic equations for the other fields [18]. In terms of ϕ, the gauge field strengths are given by 6 where g is the gauge coupling constant of the supergravity theory and i = 1, 2, 3, 4. The constants a i determine the specific choice of twist and are constraint to satisfy the condition in (2.10). For generic choices of a i the solution preserves 2 real supercharges, i.e. it is 1 16 -BPS. When one of the a i is zero the solution is 1 8 -BPS, when two vanish 1 4 -BPS, and when three vanish 1 2 -BPS. As discussed around (2.13) all a i consist of a global part a i global and a local part a i local accounting for the local contributions of the punctures. For each puncture there is a choice to add the puncture contribution to one of the four a i . We can illustrate this choice by giving each puncture a color -red, green, blue or yellow. The puncture contributions now becomes

(2.17)
This construction can be phrased more geometrically in M-theory. The twisted ABJM theory describes the low-energy dynamics of N M2-branes wrapped on a holomorphic twocycle C in a local Calabi-Yau five-fold X, which is constructed as four line bundles over C The degree of each line bundle L i is a i hence the coloring indicated in which transverse direction to C the puncture extends. The constraint coming from the twisting, (2.10), translates into the Calabi-Yau condition for X. The local contributions a i local account for the local information encoded in the specific geometry of the punctures.

(2.21)
We can uplift these solutions to solutions of eleven-dimensional supergravity using the uplift formulae in appendix C.1. Locally around each of the punctures we can analyze the uplifted solution. The puncture locally preserve half of the maximal supersymmetry so we can make a local gauge and coordinate transformation such that a 1 = χ g,ξ and a 2 = a 3 = a 4 = 0 and ξ = 1 k . In that case we find that the eleven-dimensional solution is regular up to a Z k singularity at α = 0. Near that point the uplifted metric becomes which matches the expectation (2.15) from the general discussion above.

D3-branes on singular curves
The gauge theory living on the worldvolume of N D3-branes is given by four-dimensional N = 4 super Yang-Mills theory which at large N and large 't Hooft coupling is dual to ten-dimensional type IIB supergravity on AdS 5 × S 5 . Compactifying the N = 4 theory on the surface C is described holographically by a ten-dimensional supergravity background which is asymptotically locally AdS 5 × S 5 but for which the topology at a fixed value of the radial coordinate is an S 5 fibration over C [1,27]. Once again the construction of these solutions is most efficient in a truncation of the maximal five-dimensional SO(6) gauged supergravity [28][29][30] studied in [24]. This truncation contains the metric, three Abelian gauge fields in the Cartan of the SO(6) gauge group and two real scalars. All solutions of this truncated theory can be uplifted to solutions of type IIB supergravity on S 5 [24]. In [27] the near-horizon geometry of N D3-branes wrapped on a smooth Riemann surface was analyzed using this truncation. We can extend this analysis by using the more JHEP06(2020)011 general ansatz in (2.2). The BPS equations then reduce to the Liouville equation (2.4) for the conformal factor ϕ. In terms of this conformal factor, the field strengths are given by where g is the gauge coupling of the supergravity theory and i = 1, 2, 3. The constants a i determine the choice of topological twist and have to satisfy (2.10). For generic choices of a i the theory preserves N = (0, 2) supersymmetry, when one of the a i is zero and the other two are equal we get N = (2, 2), when two a i vanish the supersymmetry is N = (4, 4) and when all a i vanish (and g = 1) we have N = (8, 8) supersymmetry. As in (2.13) all a i consist of a regular part a i global and a local part associated to the punctures a i local . For each puncture we have the choice to add the puncture contribution to one of the three a i . We represent this choice by assigning a color to each puncture -red, green or blue. Then the puncture contribution to the a i becomes The geometric interpretation of this construction is by now familiar The twisted N = 4 theory describes the low-energy dynamics of N D3-branes wrapped on a holomorphic twocycle C in a local Calabi-Yau four-fold X, which is composed of three line bundles over C As before, the degree of each line bundle L 1 is a i and the coloring describes in which part of the line bundle the puncture. Finally the twist condition (2.10) translates into the Calabi-Yau condition on X. The local information of the puncture is captured by a i local . The solution for the two scalars, λ 1 and λ 2 , is given by 26) and the constants appearing in the metric by We can uplift these five-dimensional solutions to type IIB supergravity using the uplift formulae in appendix C.2 and analyze the solution locally around each puncture. The punctures locally preserve N = (4, 4) supersymmetry so we can make a local change of JHEP06(2020)011 coordinates such that a 1 = χ g,ξ and a 2 = a 3 = 0 and ξ = 1 k . The result is a regular solution up to a Z k singularity at α = 0. Near this point the uplifted metric becomes which matches the expectation (2.15) from the general discussion above.

D4-D8-branes on singular curves
The gauge theory living on the worldvolume of a stack of N D4-branes in a background of N f D8-branes with an O8-plane is non-renormalizable but flows to a five-dimensional N = 1 SCFT in the UV. At large N the SCFT is dual to ten-dimensional massive type IIA supergravity on AdS 6 × S 4 /Z 2 [31]. A twisted compactification of the SCFT on a curve C results in a ten-dimensional supergravity background which is asymptotically locally AdS 6 × S 4 /Z 2 but for which the topology at a fixed value of the radial coordinate is an S 4 /Z 2 fibration over C, see [32][33][34]. Massive type IIA supergravity admits a truncation to the Romans six-dimensional SU(2) gauged supergravity [35]. For the solutions of interest we can restrict to a further truncation containing only the metric, an Abelian gauge field in the Cartan of the SU(2) gauge group and one real scalar. All solutions of this truncation can be uplifted to solutions of massive type IIA supergravity [36]. 7 As shown in [18] inserting the Ansatz (2.2) in the BPS equations of the six-dimensional supergravity leads to the Liouville equation for ϕ. Since the supergravity truncation has only one gauge field there is only one possible twist and all fields are fully fixed in terms of ϕ. The field strength F is given by The scalar λ and the metric constants are given by Here g is the gauge coupling of the six-dimensional supergravity which is related to the mass parameter m of massive type IIA supergravity by m = √ 2 3 g. We can uplift this solution to massive type IIA supergravity using the uplift formulae of [36] (which are summarized in appendix C.3) and study the resulting ten-dimensional solution near a conical defect with opening angle ξ. Due to the fact that the uplift only includes half of the four-sphere, S 4 /Z 2 this case deviates slightly from the general story. The resulting geometry takes the form where the six-dimensional internal space is given by

JHEP06(2020)011
and the Riemann surface is parametrized by the coordinates ρ and θ. The (σ 2 1 + σ 2 2 ) part of the metric has the correct symmetries to account for the U(1) R R-symmetry of a threedimensional N = 2 theory however it is non-trivially fibered over the remainder of the internal space. Analyzing the global structure of this solution goes beyond the scope of this work.

M5-branes on singular curves
The gauge theory living on the worldvolume of N M5-branes is the six-dimensional N = (2, 0) theory of type A N −1 . At large N this theory is dual to eleven-dimensional supergravity on AdS 7 × S 4 . The large N dual of a twisted compactification of this theory on a complex curve C is an eleven-dimensional supergravity background which is asymptotically locally AdS 7 × S 4 but for which the topology at a fixed value of the radial coordinate is an S 4 fibration over C. Eleven-dimensional supergravity admits a consistent truncation to the lowest Kaluza-Klein modes given by maximal SO(5) gauged supergravity in seven dimensions [37]. Once more we can restrict to a further truncation of the theory, containing only the metric, two abelian gauge fields in the Cartan of the SO(5) gauge group, and two real scalars parametrizing the squashing of the S 4 [24,38]. Moreover, all solutions we obtain in seven dimensions can be uplifted to eleven dimensions using the results in [24,39,40].
The near-horizon geometry of the M5-branes wrapping smooth curves was considered in [1,9]. We summarize the derivation of the BPS equations for this construction in appendix A. Yet again these equations reduce to the Liouville equation for ϕ and all other fields are determined in terms of this function only. The field strengths are given by where g is the supergravity gauge coupling and we have the usual condition (2.10). As in the previous cases we can assign a color to each puncture -red or blue -indicating to which of the a i it contributes, This construction can again be interpreted geometrically as the low energy dynamics of N M5-branes wrapping a holomorphic two-cycle C in a Calabi-Yau three-fold X with local geometry Where L 1 and L 2 are two line bundles of degree a i and the twisting condition for the a i again translates into the Calabi-Yau condition for X.

JHEP06(2020)011
The solution for the supergravity scalars λ 1 and λ 2 is given by where as in [8,9] we have defined Finally the constants appearing in the metric are given by (2.38) Once more, we can analyze the uplifted geometry locally around a puncture with opening angle ξ = 1 k using the uplift formulae of [24], summarized in appendix C.4. Locally around the puncture we preserve N = 2 supersymmetry and we can thus, without loss of generality, restrict to the case a 2 = 0. The uplifted solution gives a regular geometry up to a single Z k singularity at α = 0. The geometry near this singularity takes the form which again is in line with the general discussion above.
3 Wrapped M5-branes and twists of the (2, 0) theory From now on we focus on M5-branes and will accumulate evidence for the claim that punctures can indeed be treated in gauged supergravity as discussed in the previous section. We start by reviewing the six-dimensional N = (2, 0) theory and its partial topological twists and discuss their realization as the worldvolume theory of M5-branes wrapped on complex curves. For concreteness here and in most of the following we limit ourselves to N = (2, 0) theories of type A N −1 . Parts of our analysis admits generalizations to D N or E 6,7,8 type theories.

Partial twists of the N = (2, 0) theory
We are interested in the six-dimensional N = (2, 0) theory of type A N −1 defined on a spacetime of the form where C is a Riemann surface of genus g > 1 with prescribed singularities. To preserve supersymmetry on R 1,3 we perform a partial topological twist [13,14] by turning on a background flux for the SO(5) R-symmetry of the (2, 0) theory. A choice of twist corresponds to a choice of abelian subgroup U(1) ⊂ U(1) C × SO(5) R such that a number of supercharges are invariant under U(1) . Here U(1) C is the structure group of the Riemann surface.

JHEP06(2020)011
Since only an abelian factor of the structure group is being twisted it suffices to look at the Cartan of the R-symmetry group, i.e. U(1) and satisfy a reality constraint coming from the symplectic-Majorana condition. Thus under the U(1) subgroup generated by a Lie algebra element t = t C + a t + + b t − , where the t's are the generators of the respective U(1)'s, the supercharges transform with charges ± 1 2 ± a 2 ± b 2 . For any choice of a and b such that a ± b = ±1 there are at least four real supercharges. Choosing a = a 1 a 1 +a 2 and b = a 2 a 1 +a 2 we can identify the holonomy group U(1) h with the linear combination This twist in general preserves four supercharges and therefore leads to an N = 1 supersymmetric field theory in four dimensions. The field theory has U(1) 2 flavor symmetry with generators Where R 0 is an R-symmetry. In the IR the N = 1 superconformal R-symmetry will in general be given by a combination of the two U(1)s. The value of is a priori unknown but will be fixed by a maximization [41]. When either a 1 or a 2 vanishes, the theory preserves eight supercharges and either U(1) ± is enhanced to an SU(2) ± R-symmetry. In this case twisted compactifications of the N = (2, 0) theory flow to four-dimensional N = 2 SCFTs of class S [3]. When a 1 = a 2 = 0 the diagonal subgroup U(1) ⊂ U(1) + × U(1) − is used to perform the twist. This procedure preserves the diagonal subgroup SU(2) F ⊂ SU(2) + × SU(2) − and consequently the flavor symmetry is enhanced from U(1) F to SU(2) F . This corresponds to the class N = 1 SCFTs studied in [1,7].
In M-theory we can construct these partially twisted theories by wrapping M5-branes on a complex curve with prescribed singularities. We can decompose the eleven-dimensional spacetime as The M5-branes extend along R 1,3 and wrap a complex curve C ⊂ CY 3 inside the Calabi-Yau threefold. In general this Calabi-Yau threefold is an SU(2) bundle over the curve whose determinant line bundle equals the canonical line bundle K C of the curve. When the structure group is reduced from SU(2) to U(1), in addition to the U(1) R R-symmetry, the local geometry enjoys an additional U(1) F flavor symmetry under which the supercharges are invariant. Under these circumstances the local geometry takes the form presented in (2.35) where L 1 and L 2 are two complex line bundles subject to the condition L 1 ⊗ L 2 = JHEP06(2020)011 K C . While the Chern class fails to be well-defined for singular Calabi-Yau's, the canonical bundle and canonical class can still be defined for mild singularities. 8 The two line bundles are associated to the U(1) ± above and the Calabi-Yau condition simply reproduces the twist condition where n is the number of singularities, β j is a puncture dependent contribution, χ(C, β) is the modified Euler characteristic of the singular curve and a 1 and a 2 are the degrees of the line bundles, For conical singularities on the Riemann surface the puncture contribution is given exactly by β j = 1 − ξ j where ξ j is defined in section 2 as the defect angle at the conical singularity. For different choices of a 1 and a 2 the fields of the M5-branes transform in different representations of the flavor symmetry U(1) F and one generically ends up in different N = 1 IR fixed points.

Central charges from the anomaly polynomial
A powerful tool to study the six-dimensional N = (2, 0) theory and its partial topological twists is provided by anomalies. The central charges of the resulting four-dimensional theory can be computed by integrating the M5-brane anomaly polynomial over the curve C. This procedure was introduced in [42][43][44] and further explored in the present context in [44][45][46][47].
Here we summarize the main ingredients of these calculations. The a and c anomaly of a four-dimensional N = 1 SCFT are completely determined by the linear and cubic 't Hooft anomalies of the superconformal R-symmetry [48], These anomalies can be read off from the six-form anomaly polynomial given by where F is the U(1) bundle which couples to the R symmetry and T 4 is the tangent bundle to the four-dimensional spacetime manifold. This anomaly six-form can in turn be obtained by integrating the anomaly eight-form of the six-dimensional theory over a (possibly) singular curve C. As explained in [44] the contributions to the anomaly six-form can be separated in two parts, one geometric part and a second part accommodating the local contributions of the different singularities on C We discuss these two contributions separately below. 8 The criterion for the singularities to be mild enough to still be able to define the canonical class is that all singularities have to be Gorenstein, this is the case for all singularities we consider.

Bulk contribution
We start by computing the geometric part of the anomaly polynomial. In our treatment we will apply a slightly different split than the one in [44] by defining the geometric part to contain information only about the smooth Riemann surfaces. All information about the punctures is packaged in the local contributions. The anomaly eight-form for a single M5-brane is given by [49][50][51] 12) where by N W and T W we denote the normal and tangent bundle to the brane world volume and p 1 and p 2 are the first and second Pontryagin classes. For a general N = (2, 0) theory of type g ∈ ADE, the anomaly polynomial takes the form Here r G , d G , and h G stand for the rank, dimension and Coxeter number of the group G, see table 1. The normal bundle can be thought of as the SO(5) bundle coupled to the R-symmetry of the six-dimensional theory. The first and second Pontryagin classes of a vector bundle E can be expressed in terms of the Chern roots e i as (3.14) To compute the anomaly six-form for a U(1) R-symmetry of the form we need to couple the symmetry to a non-trivial U(1) bundle F over the flat fourdimensional part of the brane worldvolume. This induces a shift in the Chern classes There are an infinite number of such decomposable bundles over the smooth Riemann surface, labeled by the Chern numbers of the line bundles

JHEP06(2020)011
The Calabi-Yau condition in this case reduces to p + q = 2g − 2. We can now integrate the eight-form (3.13) over the smooth curve C to obtain where χ(C) is the Euler characteristic of the curve C and we have defined

Punctured intermezzo
To compute the local contributions from each puncture to the anomaly polynomial we need some more information about the different types of punctures that can appear in our setup. We only consider punctures that locally preserve N = 2 supersymmetry. Each such puncture is characterized by an embedding ρ : su(2) → g and a sign σ i = ±1. The flavor symmetry of the puncture is determined as the commutant h ⊂ g of the image of ρ and the sign determines whether the puncture preserves the U(1) This Z 2 valued label determines the directions normal to the M5-branes along which the puncture extends. We represent this label by coloring each puncture as in figure 1. For g = A N −1 , the choice of embedding ρ is in one-to-one correspondence with a partition of N and thus with a Young tableau Y . A Young tableau with n h columns of length h corresponds to a puncture P with global flavor symmetry group A maximal puncture is represented by a Young tableau with a single row of length N , see figure 2, and has the maximal amount, i.e. SU(N ), of global symmetry associated to it, a minimal (or simple) puncture is represented by a Young tableau with one row of length 2 and N − 2 rows of length 1 and preserves the minimum amount of global symmetry, namely U(1). Equivalently one can label every puncture with a set of integers, p k , characterizing the pole structure of the degree k Seiberg-Witten differentials at the puncture. These integers can be obtained from the Young tableaux as follows: Start with the first row and label the first box with p 1 = 0, then increase the label by one as you move to the right along the first row of the Young tableau. When this row is finished, move to the next row and label the first box of the row with the same label as the last box in the previous row. Repeat this labeling process in every row until all N boxes have a label p k . This labelling procedure is illustrated in figure 2 for some simple examples with N = 5. To each puncture one can associate an effective number of vector multiplets, n v (P i ), and hypermultiplets, n h (P i ), given by [3,21] n v (P i ) = where l r is the length of the rth row of the Young tableau. The numbers n v and n h represent the effective degrees of freedom of the specific puncture 9 and indeed when considering free theories these numbers agree with the actual number of vector and hypermultiplets. These constants can now be used to determine the local contribution of each puncture to the anomaly polynomial.

Contribution from a puncture
After this short intermezzo, we are ready to compute the local contribution of each puncture P i to the anomaly polynomial. A puncture (locally) preserving flavor symmetry G with Z 2 -label σ i contributes the following [44,52]: For a puncture associated to a Young tableau Y , the central charge of the flavor symmetry factor SU(n h ) is given by where s i is the length of the i th row of Y T , the transpose of the original Young tableau. Summing over all punctures in the theory one can easily read off the 't Hooft anomalies of the four-dimensional R-symmetry and compute the trial central charges as a function of . The correct value of the central charge is then obtained by maximizing a with respect to . When we set all σ = 1 and q = 0 (or σ = −1 and p = 0) one finds an N = 2 theory and one can check that the anomalies reduces to the known results for N = 2 class S theories [5]. In the limit with no punctures the anomalies reduce to the result obtained in [9].

Punctures in gauged supergravity
In this section we come back to the solution described in section 2.4 and carefully study the geometry around a puncture, first in eleven and then in seven dimensions. Once we JHEP06(2020)011 have understood how to describe punctures, we compute the holographic central charges of these AdS 5 solutions for a generic punctured Riemann surface and find an exact match at leading order in N with the results in section 3. Furthermore, we compute the dimension of a protected operator corresponding to an M2-branes wrapped on the Riemann surface and discuss the exactly marginal deformations of our solutions.

Seven-dimensional supergravity solution
The seven-dimensional solution corresponding to M5-branes wrapped around a curve C takes the form (2.2) where g is the coupling constant of the gauged supergravity, i = 1, 2 and the scalars λ i take constant values in the IR. The Riemann surface has Gaussian curvature κ = ±1, 0.
In this section we consider only κ = ±1. The analysis for κ = 0, i.e. the torus without punctures or the flat punctured sphere, 10 deviates slightly from the discussion below. For the torus without punctures our solution reduces to the one found in [9]. For the flat sphere the discussion is very similar but since the Liouville equation (2.4) reduces to the Laplace equation one has to study the solution of this equation with singular sources. We will not investigate this situation in detail here. As discussed above the BPS equations governing this setup reduce to the Liouville equation for the conformal factor ϕ, (2.4), together with algebraic equations for the other fields. When the Riemann surface contains punctures or conical singularities one has to add local source terms to the right hand side of (2.4) as in (2.6). Given a solution to the Liouville equation, all other fields are fixed in terms of ϕ. The field strengths are given by (2.33), the scalars λ 1 and λ 2 are as in (2.36), and the constants appearing in the metric are given by (2.38). As discussed in section 2, the parameters a 1 and a 2 consist of a global part and a local part accounting for the local contribution of the punctures, see (2.13). We can identify the global geometric contributions a 1 global and a 2 global with the Chern numbers of the line bundles in the smooth case and thus a 1 global + a 2 global = 2g − 2. The parameter z defined in section 3 is related to the parameter z as We now explicitly uplift such a solution around a puncture and provide an interpretation of the local contribution of each puncture.

N = 2 and Gaiotto-Maldacena
Locally, around a single puncture we can without loss of generality restrict ourselves to the situation z = 1, i.e. by performing a gauge transformation we can always locally put a 2 = 0.

JHEP06(2020)011
In this case supersymmetry is enhanced to N = 2 and the solution simplifies considerably. The various fields are given by where ϕ still solves the Liouville equation (2.4). We can uplift this solution using the uplift formulae summarized in appendix C.4 to find the metric where∆ = 1 + cos 2 α and ds 2 Σ = e ϕ (dx 2 1 + dx 2 2 ) is the metric on the Riemann surface with unit Gaussian curvature. When we make the following coordinate change we can fit this solution in the analysis of Lin-Lunin-Maldacena [6] to find the following eleven-dimensional supergravity background where the function D satisfies the SU(∞) Toda equation and we have used the fact that the gauge coupling constant is related to the radius of the AdS 7 appearing in the UV, R AdS 7 = 2 g = (πN ) 1/3 p . For our N = 2 solution (4.3), the function D takes the form e D = e ϕ 2 N 2 − y 2 . JHEP06(2020)011

Punctures in eleven dimensions
Since locally all punctures we consider preserve N = 2 supersymmetry it suffices to discuss them in the N = 2 framework of [5]. After a discussion in eleven dimensions we will go back to seven dimensions and learn how to characterize the punctures there. We will then extend the analysis to include N = 1 supersymmetric solutions in seven dimensions. Solving the Toda equation in a background with a general Riemann surface with localized punctures is hard to do in a closed form. However, locally around a puncture one can analyze the Toda equation and describe the boundary conditions for all types of regular punctures. Around an N = 2 punctures, the function D satisfies the axially symmetric SU(∞) Toda equation. By performing the transformation [5] we can transform the problem of solving the Toda equation to a three-dimensional axially symmetric electrostatics problem [53]. After this transformation the Toda equation becomes the cylindrically symmetric Laplace equation in three dimensions, where n i ∈ N is the slope of the ith segment. This is illustrated in figure 3. If we have various segments with change in slope k i then the total global symmetry associated to this puncture is The overall U(1) is related to the axial symmetry around the puncture which is not a real global symmetry of the system and hence is modded out. Let us now relate these geometries to the punctures introduced in section 3. The geometry around a puncture is fully determined by the piecewise linear function y(η).  To every such function we can associate a set of integers n i representing the slopes of the segments extending from η = i − 1 to η = i. To the puncture with slopes n i , we associate a Young tableau such that n i is the length of the ith row. We illustrate this for N = 4 in figure 4. This provides the connection between the supergravity punctures and the correct Young tableau; indeed we see that the global symmetries preserved at each puncture matches with the discussion in section 3. This analysis shows that every puncture is determined by a y dependent function η(y) determining the structure of the puncture. We will not be able to capture all information contained in this function in seven dimensions but we will see that we nevertheless can extract a lot of information about the puncture solely from the seven-dimensional supergravity.

Punctures in seven dimensions
When we insert This is exactly the boundary condition describing a conical defect on the Riemann surface where 0 < 1 n i < 1 parametrizes the opening angle at the conical singularity. We thus conclude that the different punctures in eleven dimensions correspond to conical defects on the Riemann surface of our seven-dimensional solutions, where the opening angle changes as a function of y. This change of opening angle goes beyond the seven-dimensional supergravity approximation and can only be treated approximately in the seven-dimensional framework. However, for some solutions -such as Z k orbifold singularities -there is only one value of the slope in eleven dimensions and exact results can be obtained purely from seven dimensions. This kind of punctures correspond to rectangular Young tableaux and for them we can identify For more general punctures, where the piecewise linear function consists of more than one linear piece, we have to content ourselves with an approximate description of the elevendimensional puncture by specifying a single ξ as the inverse of the average slope of the various segments. 11 Let us now go back to the supergravity solution in section 4.1 and translate our results to seven dimensions. In an N = 2 theory the field strengths F (1), (2) are completely fixed by the twist in terms of ϕ and the contribution of the punctures manifests itself only through the volume, V g,ξ i , of the Riemann surface which explicitly depends on the opening angles of the conical defects, 16) In an N = 1 theory the punctures still contribute to the volume but also the field strengths will be modified. More specifically, every puncture in an N = 1 theory is labeled by a sign σ i indicating in which transverse direction the puncture extends. This label indicates whether the puncture P i contributes to a 1 local or a 2 local and results in where ξ i is the inverse of the average slope of the ith puncture and the sums above run exclusively over punctures with σ i = ±1 respectively.

Central charges and M2 brane operators
We can now proceed and compute the central charges a and c for our supergravity solutions using standard holographic results [54]. The holographic conformal anomalies at leading order in N are given by where p is the Planck length in eleven dimensions, G N and G N = 16π 7 9 p are the five-and eleven-dimensional Newton constants, and R AdS 5 = 2e f 0 g = (πN ) 1/3 p e f 0 and R S 4 = 4 g = 2(πN ) 1/3 p are the radii of AdS 5 and the four-sphere respectively. Inserting this in (4.18) we obtain Using the expressions (2.38) for f 0 and ϕ 0 , we find This matches exactly the large N result obtained from the anomaly polynomial in section 3. Furthermore when we remove all the punctures we recover the result for the central charges of M5-branes wrapped on a smooth Riemann surface in [9]. If all the punctures are minimal, the leading order result for the large N central charges is not affected. This is indeed as expected since minimal punctures correspond to the addition of hypermultiplets to the dual quiver gauge theory. These indeed only contribute at order N 2 and will thus not be visible at leading order in N . For g = 0 we find that the central charges are negative for i (1−ξ i ) < 2 indicating the presence of enhanced global symmetries rendering our a-maximization calculation invalid. Indeed it is a well-known fact that one can use this leftover global symmetry to fix the positions of three labeled points on the sphere. The minimal case with no extra symmetries is the sphere with three maximal punctures which corresponds to a T N building block and indeed the large N anomalies (4.20) correctly describe those of a single T N .
Similarly for the torus without punctures the anomaly vanishes implying there is a leftover symmetry which can be used to fix the position of a single labeled point. Indeed for a torus with one or more punctures there is no extra symmetry left and we find nonvanishing positive anomalies. For a torus with one or more punctures which contribute at order N 3 we again find agreement with the anomaly polynomial. When the torus has only minimal punctures, we correctly reproduce the expected N 2 scaling of the anomalies. However, the anomaly thus obtained does not exactly match the one obtained from the anomaly polynomial due to the presence of other 'subleading' terms which also scale as N 2 which are not included in our analysis. We will discuss this setup in more detail in section 5.3.
Our supergravity background describe the so-called wrapped brane geometries, see [2] for a review, where the curve C is a supersymmetric cycle to which one can associate JHEP06(2020)011 a canonical BPS operator corresponding to an M2-brane wrapping this cycle [5]. The dimension of this operator is given by the energy of the wrapped M2-brane, which we can compute at leading order in N using the supergravity dual. The result is which at large N and for specific values of the parameters indeed matches with the known results in [5,7,9]. In section 5.4 we show how to compute this dimension directly in the holographic dual SCFT.

Marginal deformations
From our supergravity solutions we can also compute the exactly marginal deformations of the dual SCFT. Doing this calculation rigorously requires computing the spectrum of KK excitations around the eleven-dimensional solutions presented above and identify the scalar modes with vanishing mass. This is a hard task which we do not know how to do in general. Nevertheless, there is a natural set of massless modes in the solutions which we believe to exhaust the list and thus span the superconformal manifold in the dual SCFT.
To illustrate this we focus on the case of Riemann surfaces with n indistinguishable minimal punctures. One in principle can straightforwardly extend this computation to compute the dimension of the moduli space of a Riemann surface with different kinds of punctures but the computations quickly become very tedious. The first set of marginal deformations is given by the moduli space of the algebraic curve C denoted by M g,n . For g > 1 these enter the construction in the action of the Fuchsian group Γ on the hyperbolic plane H spanned by (x 1 , x 2 ). For g > 1 the dimension of this moduli space is dim C M g,n = 3g − 3 + n. 12 These moduli correspond to the complex structure deformations of the curve and can be identified with the complex gauge couplings in the dual field theory. For N = 2 solutions these are the only moduli present compatible with supersymmetry.
For N = 1 solutions a second set of exactly marginal deformations arises from the freedom to shift the gauge fields by a flat connection on C, Such a shift leaves the BPS equations invariant. For generic g and n there are 2g + n flat U(1) connections. Additionally every puncture contributes an additional real parameter corresponding to the CP 1 worth of direction inside the two-dimensional fiber over C, see [7] for a discussion on this extra modulus. Therefore the complex dimension of the supersymmetric conformal manifold of the dual SCFT is In the special case when z = 0 there is an overall SU(2) F flavor symmetry leading to additional marginal deformations related to SU(2) F Wilson lines on C, see [7]. There are JHEP06(2020)011 6g −6+3n such flat connections and thus the dimension of the conformal manifold becomes dim C M C = 6g − 6 + 3n.

Dual quiver gauge theories
In this section we describe the four-dimensional quiver gauge theories dual to the N = 1 AdS 5 solutions studied in the previous sections. As in the gravitational case we restrict ourselves to SU(N ) quiver gauge theories originating from the A N −1 type N = (2, 0) theory. It is possible to study other gauge groups and quivers originating from D N or even E n type theories along similar lines by using the results in [3,21,[55][56][57][58][59]. We also restrict our analysis to minimal, or simple, punctures and compute the 't Hooft anomalies, the dimensions of protected operators and the dimension of the conformal manifold for these quiver gauge theories. Minimal punctures correspond in the quiver gauge theory to hypermultiplets connecting adjacent gauge groups. This is the simplest case to analyze but one can also study more general punctures by adding more intricate quiver tails [3,21,60]. We emphasize that many of the results in this section have appeared in the literature before or can be derived in a straightforward manner following the discussion in [7][8][9][60][61][62][63][64]. 13 Nevertheless we believe that the summary below serves a useful purpose to illustrate the salient features of our construction.

Setup and symmetries
The quiver gauge theories we consider are constructed from T N building blocks connected by strands of linear quivers build from vector and hyper multiplets. This type of quiver is sketched in figure 5 which should be interpreted as follows: • Nodes without ears denote N = 1 vector multiplets with SU(N ) gauge groups.
• Nodes with ears denote N = 2 vector multiplets with SU(N ) gauge groups. The ear represents the adjoint chiral.
• Double lines between two vector multiplets denote hypermultiplets in the bifundamental representation of the two adjacent gauge groups.
• T N building blocks are denoted by triangles which are connected to three vector multiplets.
• The coloring of the matter field is associated to a Z 2 valued label σ i . Matter field with σ i = 1 are colored red and those with σ = −1 are blue.
A general quiver of genus g contains 2g − 2 T N building blocks combined with 3g − 3 strands built out of vector and hypermultiplets. Every such linear quiver is built out of n i hypermultiplets and n i + 1 vector multiplets. Consequently, the total number of 13 To the best of our knowledge, the relation between the L aba SCFTs and theories of class S described in section 5.3 has not appeared explicitly in the literature before.
JHEP06(2020)011 hypermultiplets is n = i n i and the number of vector multiplets is v = 3g − 3 + n. Let us denote the number of N = 2 vectors by v 2 , analogously v 1 is the number of N = 1 vectors. The T N theory was proposed in [3] as the low-energy theory coming from N M5-branes wrapping a trice punctured sphere, see [52] for a review. It is an N = 2 building block with SU(N ) 3 × SU(2) R × U(1) r global symmetry. Except for the case where N = 2, 14 there is no known weakly coupled Lagrangian description for these theories. The spectrum of the T N theory includes Higgs branch operators µ a with a = 1, 2, 3 called moment maps; one triplet for each SU(N ) flavor group. Each such operator has dimension two and transforms in the adjoint of one of the SU(N ) factors. Additionally there are also Coulomb branch operators u Since in general we consider N = 1 quiver gauge theories, it is convenient to think of N = 2 vector multiplets, hypermultiplets and T N theories as N = 1 building blocks. An N = 2 vector multiplet can be thought of as a N = 1 vector with an additional adjoint chiral. A T N on the other hand can be though of as a N = 1 building block with an additional U(1) flavor symmetry. Finally every hypermultiplet consist of two chiral multiplets in conjugate representations H i = {q i ,q i }. In terms of these constituent fields the moment map triplet of the hypermultiplet takes the form When expressing the theory as a N = 1 theory the generators of the N = 2 R-symmetry decompose into a generator for the N = 1 superconformal R-symmetry and a generator for an extra U(1) flavor symmetry, 15 In this case the T2 theory reduces to eight free chiral multiplets transforming in the trifundamental of the SU(2) 3 global symmetry. 15 See appendix D for more detail on our SCFT conventions.

JHEP06(2020)011
where I 3 is the Cartan of SU(2) R . When the supersymmetry is broken to N = 1, R N =1 will no longer be in the same multiplet as the stress tensor and the superconformal R-symmetry at the IR fixed point may potentially mix with U(1) flavor symmetries. Now that we have introduced all the building blocks we can use them to construct generalized quiver gauge theories by gauging the various SU(N ) global symmetries. Every N = 2 gauging introduces a superpotential term of the form where the µ i,i+1 are the moment maps belonging to the adjacent matter building blocks. This superpotential breaks all the baryonic symmetries which are otherwise present. A general quiver (like the one in figure 5) has N = 1 supersymmetry. However, in addition to N = 1 supersymmetry such quivers possess large amounts of global symmetries. We always have an overall U(1) R R-symmetry and additionally for each hyper, T N and adjoint chiral there is an associated U(1). We denote the U(1) symmetries acting on the hypers and T N blocks by J i and the ones acting on the adjoint chiral by F i . The full global symmetry is thus U(1) v 2 +2g−2+n × U(1) R . However some of these symmetries are anomalous. Each gauge group, except for one global combination, provides one anomaly constraint so we end up with 2g − 2 + v 2 anomaly-free U(1) global symmetries. 16 We can consider such gauge theories without extra superpotential terms. However, we expect these quivers to break up in smaller quivers in the IR [63]. Indeed, the one-loop beta-functions for the gauge group couplings are The gauge couplings for the N = 2 gauge groups are marginal and without superpotential, they should be marginally irrelevant [65]. As a result, the N = 2 gauge groups are nondynamical in the IR and the quiver will break up at these sites.
We are more interested in finding situations where the IR dynamics of the gauge theory is non-trivial. We expect that for an appropriate choice of the superpotential the IR physics is governed by an N = 1 SCFT. By adding specific superpotential terms we can prevent the quivers from breaking apart in the IR. At N = 1 sites we turn on where α i are arbitrary complex numbers. At N = 2 sites on the other hand we turn on the superpotential where β L,R i are complex numbers. The superpotentials (5.4) and (5.5) always preserve the U(1) R R-symmetry R 0 generated by

JHEP06(2020)011
To see if these superpotentials leave another anomaly-free U(1) unbroken we first need to understand how the chiral anomaly is canceled locally at every site. At the ith node of the quiver the combination J i−1 − J i is always anomaly-free. When this site also contains an adjoint chiral there is a second anomaly-free U(1) with generator J i−1 + J i − 2F i . Note that Tr (J i−1 − J i ) = 0 so this global symmetry is baryonic and will by itself be broken at N = 2 sites by the superpotential (5.5). However, by combining it with the U(1)'s coming from the adjoint chirals we are able to construct a non-baryonic anomaly-free U(1) global symmetry. In order to construct such a global U(1) we can assign to all matter multiplets, hypermultiplets and T N blocks, a sign σ i as indicated by the coloring in figure 5. When crossing an N = 1 vector the sign of two neighboring matter fields flips. When crossing an N = 2 vector multiplet the sign remains unchanged. Not every quiver configuration allows for such an assignment of Z 2 label. If a quiver does not allow the assignment we expect that it will flow to the universal N = 1 IR fixed point discussed in [66]. If a quiver does allow for a consistent sign assignment complying to these rules we have an additional U(1) flavor symmetry with generator This is the only anomaly-free flavor U(1) preserved by the superpotential terms (5.4) and (5.5). This setup and the rules for finding the global flavor U(1) follow the construction in [9,61,63]. One might additionally want to add the superpotential term where the γ i are arbitrary complex numbers. However, when one of the γ i = 0 the superpotential (5.8) breaks the extra flavor symmetry F . As we will discuss in the next section, when this happens the theories always flow to the same universal IR SCFT as in [66]. In the following we tune all γ i to zero and consider quivers gauge theories with the extra U(1) global symmetry in (5.7). These theories allow for interesting new IR SCFTs since the anomaly-free flavor symmetry can mix with the R-symmetry in (5.6). To determine the correct N = 1 superconformal R-symmetry one then has to take the linear combination and fix the real number using a-maximization [41].

IR dynamics
Now that we have set the stage let us study the IR dynamics of the N = 1 quiver gauge theories introduced above. the upshot is that whenever the quiver allows for a consistent assignment of the labels σ i , we find interacting SCFTs dual to the gravity solutions described in section 4. Since the quivers with g = 1 do not contain any T N building blocks we first focus on the generic situation with g > 1 and discuss g = 1 in section 5.3. For a quiver of genus g > 1 we have 2g − 2 T N building blocks and 3g − 3 strands of linear quiver. We have JHEP06(2020)011 p T N blocks with positive sign and q with negative sign. Similarly, we have x hypers with positive sign and y with negative sign. If the theory flows to an IR SCFT we can determine the IR superconformal R-symmetry using a-maximization [41]. We can compute the a and c anomaly and determine the dimensions of the chiral operators. The central charges a and c are given by the 't Hooft anomalies associated with the superconformal R-symmetry R N =1 as in (3.9).
Our quivers admit a one-parameter family of R-symmetries which are linear combinations of the UV R-symmetry R 0 and the global flavor symmetry F as in (5.9). For each R we can compute the trial central charge a( ). The superconformal R-symmetry maximizes this function a( ) and in this way uniquely determines the value of . The charges of the superfields under R are Consequently, the 't Hooft anomalies for the ith hypermultiplet are while for the ith vector multiplet we find For a single T N we have where (5.14) In the equations above the trace Tr denotes the sum over all chiral fermions in the ith hyper, vector or T N , together with the trace over the gauge indices.
We can now write the anomaly of one strand by summing over all fields in the linear piece to obtain 17 17 Here we sum over a linear quiver with li + 1 vectors, li hypers and 2 TN blocks at the endpoints. The TN contribution is considered separately, only the sign coming from the TN is used.

JHEP06(2020)011
for the hypermultiplets and for the vector multiplets. Here the trace Tr denotes the sum over all chiral fermions of the ith linear strand of the quiver together with the trace over gauge indices. In the expressions above we have introduced the new parameters where we have introduced the function 19) and the new parameters We also used the fact that p + q = 2g − 2 and i κ i = 3 2 (p − q). Rewriting this using the parameter z defined in (3.19) we exactly recover the result obtained from the anomaly polynomial calculation presented in section 3. Note that this agreement holds even before a-maximization providing strong evidence that we have identified the correct M5-brane constructions corresponding to these four-dimensional quiver theories. When all l i = 0 our results reduce to the ones found in [9] for quivers corresponding to smooth Riemann surfaces. We can now maximize the function a( ) to find the IR R-symmetry and the actual central charges. In general this is a rather complicated and non-illuminating function of z, η, n and N which we refrain from presenting here. However, in the large N limit, max reduces to and we find the large N central charges The leading order large N result remains unchanged by adding minimal punctures. From the gauge theory point of view it is easy to see that this should indeed be the case since hypermultiplets only contribute at order N 2 .

g = 1 and L aba
The quiver gauge theory obtained by putting the N = (2, 0) theory on a torus with n minimal punctures, without extra flux is given by a necklace quiver composed of n vector and hypermultiplets and no T N blocks, see figure 6. We can repeat the analysis for g > 1 and obtain the 't Hooft anomalies by combining the R-charges of all chiral fermions in the theory. Summing over all hyper and vector multiplets in the quiver we find Tr R (H) = N 2 n(η − 1) , for the hypermultiplets and

JHEP06(2020)011
This function is maximized at = max where max = Inserting max in (5.26) we exactly reproduce the a anomaly obtained in section 3 from the anomaly polynomial. Similarly we can exactly reproduce the c anomaly by inserting max in the corresponding formula for c c = n 32 In [67][68][69] a large class of four-dimensional quiver gauge theories, known as L abc , arising from D3-branes probing toric Calabi-Yau singularities were obtained. The quiver gauge theory in figure 6 corresponds to the theories L aba studied in section 3.1 and 6.2.3 of [68]. The map between the parameters used in our work and the ones in [68] is A consistency check of this identification is provided by the agreement between the large N limit of the a-anomaly in (5.26) and the expression in equation (6.11) of [68]. This analysis shows that the class of L aba quiver gauge theories can be obtained by wrapping M5-branes on a punctured torus and therefore these theories belong to the landscape of N = 1 theories of class S.

Consistency, duality, and the conformal manifold
Given the IR superconformal R-symmetry we can compute the scaling dimension of the various chiral primaries in our theory. These are given by The maximizing value max takes values between − 1 3 ≤ max ≤ 1 3 where the lower and upper bound are attained for η = z = 1 and η = z = −1. Using this we find that the unitarity bound is always satisfied. Moreover, the Hofman-Maldacena bound [70] for N = 1 SCFTs is obeyed in the case of n minimal punctures for all values of the parameters.

JHEP06(2020)011
From now on without loss of generality we take max > 0. We can construct all relevant and marginal operators solely from µ and φ. Every N = 2 node is associated to two marginal operators, Tr µ i φ i and Tr µ i+1 φ i . If the gauge node connects two blue matter fields (i.e. σ i = −1) it has two relevant operators, Tr µ 2 i and Tr µ 2 i+1 , associated to it. If it connects two red matter fields (i.e. σ i = 1) there is only one relevant operator Tr φ 2 i . At an N = 1 node we have a single marginal operator, Tr µ i µ i+1 , and a single relevant one, Tr µ 2 i , where the adjacent blue matter field is labeled with i. Furthermore, we can construct gauge invariant operators out of the tri-fundamental fields Q and Q. These operators correspond to the wrapped M2-brane operator considered in section 4 and are given by These operators have dimensions For large N this dimension exactly matches the energy of the wrapped brane computed in (4.21). This provides a further consistency check of our construction.
Using the results above we can also compute the dimension of the N = 1 conformal manifold using the strategy of [65,71]. Our theory contains 3g − 3 + n gauge couplings and v 1 + 2v 2 additional marginal operators from the vector multiplets, giving a total of 3g−3+n+v 1 +2v 2 marginal deformations. However, there are constraints on the anomalous dimensions coming from each of the 2g − 2 T N blocks and from all N = 2 vectors with the exception of one overall combination. Thus we find the dimension of the conformal manifold which matches the counting in the dual gravity solutions (4.23). Additionally we can deform our theory with relevant operators corresponding to mass terms for the adjoint chiral. In [66] it was shown that when an N = 2 SCFT with a marginal coupling is deformed by adding mass terms for all the adjoint chirals in the vector multiplet it flows to a N = 1 SCFT and the central charges of the IR theory are related to those of the UV theory by a universal linear transformation In the large N limit this implies that the ratio of the central charges is given by We observe that indeed the relations (5.36) are satisfied by our quiver gauge theories provided that the UV theory is the one with z = 1 and the IR theory is the one with z = 0 for fixed N and n.  = 0 and the superconformal R symmetry is simply R 0 . At this point there are no relevant operators left solidifying its status as the inevitable universal IR fixed point. At this point the flavor symmetry is enhanced to SU(2) F . Using the same arguments as in [7] we can show that the dimension of the conformal manifold in this case becomes dim C M C = 6g − 6 + 3n . (5.38) To finish this section, we briefly consider the various Seiberg duality transformations [72,73] of our quiver gauge theories. Our SCFTs are labeled by four parameters, {N, n, z, η}. For one possible set of parameters there may be multiple UV quivers realizing that particular set and we conjecture that they are all Seiberg dual. As a first example we consider the torus with z = 0. For n = 6 there are three quivers with η = 0, three quivers with η = 1 3 , one quiver with η = 2 3 and one quiver with η = 1. All quivers with n = 6 and η = 1 3 are depicted in figure 7. Performing a Seiberg duality on the rightmost N = 1 node of figure 7a results in figure 7b. On the other hand, performing a Seiberg duality on the lower N = 1 node of figure 7a results in figure 7c corroborating the conjecture that all quivers with the same parameters are Seiberg dual to each other. For higher genus Riemann surfaces there are even more intriguing Seiberg-like dualities where one can move vector multiplets across T N blocks. An example is of this is presented in figure 8 As noted in [9] for g > 1 quivers with no punctures, a naive counting of the relevant operators suggests a difference in the spectrum of chiral operators. However, when considering the N = 1 superconformal index [74][75][76] of the two theories it has been shown that indeed the number of relevant operators is equal in both cases. The apparent difference in the spectrum of the chiral ring is due to non-trivial chiral ring relation that have to be properly taken into account. We thus conjecture that, in a similar vein, all quiver theories with the same discrete JHEP06(2020)011 parameters we discussed here are dual to each other. In this way we uncover a multitude of interesting new Seiberg-like dualities similar to the ones studied in [62].

Discussion
The goal of this work was to show that one can use gauged supergravity in 4, 5, 6, and 7 dimensions to study the IR dynamics of M2-, D3-, D4-D8-and M5-branes wrapped on a singular complex curve C. This is achieved by reducing the BPS equations of the supergravity theory to the Liouville equation on C. Singular solutions to this equation are then interpreted in supergravity as holographic dual to the topologically twisted SCFTs living on the worldvolume of the branes. To provide evidence for our construction we described the details of this picture for the case of four-dimensional N = 1 SCFTs of class S arising from M5-branes wrapped on C. There are several natural and important directions to pursue in order to elucidate exploring these ideas and we discuss a few of them below.
Given the successful implementation of our approach to the physics of M5-branes wrapped on C it is natural to study in detail the physics of the other wrapped branes. The SCFTs dual to the known supergravity solutions corresponding to a smooth C are under much less control when compared to the class S theories we studied here. Indeed, this provides an instance where the supergravity analysis may inform the construction of the dual field theories. A particularly rich class of examples is offered by D3-branes wrapped on C. When the Riemann surface is smooth the corresponding two-dimensional (0, 2) SCFTs were studied in [27,77] and it will be most interesting to extend this to supergravity solutions with punctures on C. Work along these lines is currently in progress [78]. Another important question is to study higher-curvature corrections to our supergravity solutions which should capture 1/N effects in the dual SCFTs. A possible starting point to attack this is provided by the construction in [79]. Finally, it will be very interesting to generalize our construction to twisted compactifications of brane setups with smaller amount of supersymmetry, like the ones studied in [15,16,80], or to other gauged supergravity theories arising as consistent truncations of string or M-theory, see [81,82].
Our construction provides a roundabout way to construct 1 4 -BPS AdS 5 solutions of eleven-dimensional supergravity with explicit brane sources. These solutions should fall within the general classification of [10] of supersymmetric AdS 5 solutions in eleven dimensions. In fact, such backgrounds with explicit brane sources corresponding to punctured Riemann surface were studied in [11,12] and it is desirable to make the connection between that approach and our construction more explicit. A common feature between our setup and the one in [5,11,12] is that the punctures/singularities on the Riemann surface are introduced "by hand" as explicit singular sources in the BPS equations of the supergravity theory. It is desirable to make this more rigorous by adding explicit sources to the supergravity Lagrangian due to the presence of branes in gauged supergravity. These arise from a dimensional reduction of the D-or M-branes in ten and eleven dimensions. The brane sources would allow us to derive more directly the BPS equations we used. A potentially useful alternative approach is to explore the connection between these constructions and SU(2) Yang-Mills theory on the Riemann surfaces [74,83].

JHEP06(2020)011
The gravity solutions discussed in section 3 and section 4 allow for the line bundles over the Riemann surface to have negative degrees. In the field theory discussion of section 5, however, we restricted to positive degrees only. The quiver gauge theories dual to these negative degree line bundle setups can be constructed by introducing additional field theory building blocks T (m) N discussed in [84]. These building blocks can be obtained by adding adjoint chiral multiplets charged under the global symmetry of T N and giving them a nilpotent vacuum expectation value, which in turn spontaneously breaks the global symmetry. In this way one can obtain more general quivers [85][86][87] allowing for negative degrees of the line bundles. Furthermore, using these building blocks we can construct gauge theories on the torus which include background flux. It will be interesting to study these more general setups in detail. It should also be stressed that in this work we focused on quivers built out of SU(N ) vector multiplets and SU(N ) T N theories only, i.e., theories describing the infrared dynamics of the A N −1 type N = (2, 0) theory on C. It is clear that these constructions could be generalized to quivers built out of SO(2N ) and Sp(2N − 2) vector multiplets and the SO(2N ) T N theories to describe the infrared limit of the D N theory compactified on C, see for instance [55].
In section 5.3 we noted that the L aba quiver gauge theories arising on the worldvolume of D3-branes probing a conical CY singularity can be constructed also from M5-branes wrapped on a torus with punctures. It is important to understand whether other quiver gauge theories in the L abc or Y pq can also be realized in terms of M5-branes in the spirit of class S. The fact that the AdS 5 solutions associated to the Y pq metrics were first constructed in [10] as (singular) solutions of eleven-dimensional supergravity suggests that such a connection may be possible.
In this work we focused on studying wrapped branes on a Riemann surface with punctures. A natural generalization is to study similar supergravity setups for branes wrapped on higher-dimensional calibrated cycles. When the cycles are smooth and compact it is well-known how to construct the corresponding supergravity solutions, see [2,16] for a review. These constructions again typically involve studying the BPS equations of a lowerdimensional gauged supergravity. It will be interesting to apply our approach and introduce explicit singular sources to these BPS equations to study the supergravity solutions describing branes wrapped on manifolds with various defects. A particularly accessible example is offered by the case of M5-branes wrapping a four-cycle given by a product of two Riemann surfaces. The supergravity solutions corresponding to smooth surfaces were analyzed in detail in [27], see also [88], and it should be straightforward to apply our construction to this setup to construct solutions with punctures.
Given the appearance of the Liouville equation in our construction and the SU(∞) equation in the supergravity analysis of [5,6] it is natural to wonder whether these equations are some remnant of the underlying AGT correspondence for M5-branes wrapped on C.

JHEP06(2020)011
show that for the truncation of interest and with the ansatz in (2.2)-(2.3) these reduce to: Imposing that the variations of the (r, x 1 , x 2 ) components of the gravitino vanish implies the equation which is solved by = e f /2 0 with 0 a constant spinor obeying the projectors in (A.2). In addition these gravitino equations imply that the two U(1) gauge fields are given by Here we show that in the IR, where the metric takes the form AdS 5 × C these equation reduce to a single second order equation for the conformal factor ϕ together with algebraic equations for the other fields. Plugging the IR fields (2.3) in (A.4) results in the following equations The third and fourth of these equations, together with a linear combination of the first two lead to algebraic equations for the scalars, and the metric constants. Finally, after defining, and combining the second linearly independent combination, together with the last equation we find the Liouville equation which has to be satisfied by the conformal factor ϕ.

JHEP06(2020)011 B The Liouville equation
Here we give a short overview of the Liouville equation and some of its properties that are relevant in the context of this work. The Liouville equation is the non-linear partial differential equation (A.9) satisfied by the conformal factor ϕ of a metric ds 2 = e ϕ (dx 2 1 +dx 2 2 ) on a surface of constant Gaussian curvature κ. 18 This equation can be used to prove the uniformization theorem which states that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: • the hyperbolic plane for κ < 0, • the complex plane for κ = 0, • the Riemann sphere for κ > 0.
In particular this implies that every Riemann surface admits a Riemannian metric of constant curvature. For compact Riemann surfaces, the hyperbolic Riemann surfaces with genus g > 1 have the hyperbolic plane as universal cover and have a non-abelian fundamental group. The torus, g = 1 has the complex plane as universal cover and the fundamental group is Z 2 . Finally the Riemann sphere with genus g = 0 has a trivial fundamental group.
Apart from regular solutions to the Liouville equation we also consider Riemann surfaces with prescribed singularities. This results in the addition of localized sources on the right hand side of the Liouville equation where 2πξ i parametrizes the opening angle of the conical defects located at the point p i and we restrict the parameters to lie within the interval 0 < ξ i < 1. We can specify a Riemann surface of interest by specifying a set of parameters {g, J, ξ, p, κ}, where g is the genus, J a complex structure, ξ and p two vectors with entries the opening angles and positions of the conical singularities and κ the Gaussian curvature. Given a metric g on the Riemann surface, we can compute the volume using the Gauss-Bonnet theorem.
where χ(Σ) = 2g − 2 is the topological Euler characteristic and we call χ(Σ, ξ) the conic Euler characteristic. In algebraic geometry language this represents the twisted anticanonical divisor, −K Σ − i (1 − ξ i )p i on Σ, where K Σ = T 1,0 * Σ denotes the class of the canonical divisor of the smooth Riemann surface Σ, see for example [89][90][91]. When a constant curvature metric exists the sign of the curvature κ g agrees with the sign of χ(Σ, ξ). To extend the uniformization theorem to include Riemann surfaces with conical singularities, one looks for a metric compatible with the complex structure J, with conical singularities at points 18 Note that it is sometimes convenient to work in complex coordinates z = 1 2 (x1 + ix2) where = ∂ 2 x 1 + ∂ 2 x 2 = 4∂z∂z.

JHEP06(2020)011
p i and constant curvature away from the singularities. Indeed, using (B.1) it follows that the Ricci scalar, given by R = −e −ϕ ϕ, is constant away from the singularities. Near a conical singularity, ϕ ∝ log |z| implying that at these points − ϕ is given by a multiple of delta functions at z = 0. 19 In [89][90][91] it was shown that such a constant curvature metric always exists when χ(Σ, ξ) ≤ 0 or when χ(Σ, ξ) > 0 and 1 − ξ i > j =i (1 − ξ j ) for all i. This metric is furthermore unique except when χ(Σ, ξ) = 0 when it is unique up to an overall constant, or when Σ = S 2 with less than three punctures when it is unique up to a Möbius transformation which fixes the position of the singularities. It is known that to each such set of parameters there exists a unique metric on Σ with constant Gaussian curvature κ and prescribed singularities at the points p i . Away from the singularities, the most general solution to the Liouville equation is given by where u(z) is a meromorphic function with non-vanishing holomorphic derivative and at most simple poles. Close to the punctures, the Liouville equation implies the following asymptotic behavior: The problem of finding a general solution with conical singularities is closely related to the Riemann-Hilbert problem of finding functions with prescribed monodromies in the complex plane. In order to solve this problem we introduce the Fuchsian equation, given n singularities with opening angles ξ i this equation is given by where the c i are known as the accessory parameters which have to satisfy the equations The double poles of (B.5) fix the behavior of the solutions near the singular points to from which one can easily read of the monodromies. Given a pair of linearly independent solutions w 1 and w 2 one can see that by plugging the function u = w 1 /w 2 in (B.3) we find a solution ϕ to the Liouville equation with the prescribed singularities. In general the monodromies belong to SL(2, C), and ϕ will not be a single valued function. In order to find a single valued function we need to furthermore require all monodromies to lie in SU(2), or JHEP06(2020)011 SU(1, 1) for κ < 1. These conditions uniquely determine the accessory parameters c i and consequently the function w 1,2 . Since now u transforms as u → au + b −bu +ā , where |a| 2 + |b| 2 = 1 , (B.8) all monodromies leave ϕ invariant.

C Uplift formulae
In this appendix we collect all the relevant uplift formulae used in this paper. The uplift formulae for the maximal four, five and seven-dimensional supergravities to string and/or M-theory were given in [24]. The uplift formulae from the maximal six-dimensional supergravity to ten-dimensional type IIA supergravity was given in [36].

C.1 S 7 reduction of eleven-dimensional supergravity
The eleven-dimensional metric is given by Here the four functions µ i satisfy the constraint i µ 2 i = 1 and the X i are defined as

(C.2)
A convenient parametrization for the µ i is given by µ 1 = sin α , µ 2 = cos α sin β , µ 3 = cos α cos β sin γ , µ 4 = cos α cos β cos γ . (C. 3) The function ∆ appearing in the metric is given by There is also a four-form field strength, given by Here (4) is the volume form on the four-dimensional part of the metric ds 2 4 .
C.3 S 4 /Z 2 reduction of massive type IIA supergravity In ten dimensions, the metric is given by In these expressions we have introduced the functions ∆ = X cos 2 α + X −3 sin 2 α , U = X −6 sin 2 α + 4X −2 − 3X 2 cos 2 α − 6X −2 . (C.14) The σ i are left-invariant one-forms of SU(2) which satisfy dσ i = − 1 2 ijk σ j ∧ σ k . The gauge coupling constant g is related to the mass parameter M of the massive type IIA theory by M = The eleven-dimensional metric is given by The four-form flux takes the form Here we have introduced the functions X 0,1,2 :

D Four-dimensional SCFTs
Here we collect some of our conventions for four-dimensional SCFTs. A four-dimensional N = 2 SCFT has SU(2) R × U(1) r R-symmetry. We denote the generator of the diagonal Cartan of SU(2) R by I 3 and the generator of U(1) r by R N =2 . The charge assignments for the components of a N = 2 vector and hypermultiplet are given as follows: Since we study both N = 1 and N = 2 theories, it is useful to consider an N = 1 subalgebra of the N = 2 algebra. A choice of subalgebra corresponds to a choice of Cartan of SU(2) R . The unique N = 1 superconformal R-symmetry generator in an N = 2 SCFT is given by The linear combination J = R N =2 − 2I 3 , (D.2) JHEP06(2020)011 commutes with the chosen N = 1 subalgebra and is thus a flavor symmetry from the N = 1 point of view. Finally we note that the operators in a T N theory have charges Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.