K(cid:127)ahler uniformization from holographic renormalization group (cid:13)ows of M5-branes

: In this paper, we initiate the study of holographic renormalization group (cid:13)ows for the metric of four-manifolds. In particular, we derive a set of equations which govern the evolution of a generic K(cid:127)ahler four-manifold along the renormalization group (cid:13)ow in seven-dimensional gauged supergravity. The physical eleven-dimensional M-theory setup is given by a stack of M5-branes wrapping a calibrated K(cid:127)ahler four-cycle inside a Calabi-Yau threefold. By topologically twisting the theory in the ultraviolet, we may choose an arbitrary K(cid:127)ahler metric on the four-cycle as an asymptotic boundary condition. We (cid:12)nd that at the infrared (cid:12)xed point, we reach a K(cid:127)ahler-Einstein metric, which can be interpreted as an indication of \uniformizing" behavior of the (cid:13)ow.


Introduction
The study of smooth four-manifolds is a rich and still largely puzzling subject in mathematics. For instance, it is presently unknown how to classify simply connected compact smooth four-manifolds. This is the case despite the fact that the classification of topological four-manifolds has been proved a long time ago [1]. To this day, it is an open problem how to translate the classification of topological four-manifolds into a classification of smooth four-manifolds. One issue lies in the fact that there are examples of spaces, such as R 4 , which have an uncountable number of different smooth structures (known as exotic R 4 ). Similarly, it appears that some important tools, crucial in the study and classification of manifolds in lower dimensions, seem to be less powerful in the case of fourdimensional smooth manifolds. For instance the Ricci flow equation [2,3] (a well-known example of a flow, that "uniformizes" the metric), which was famously employed in the JHEP08(2018)046 proof of Thurston's geometrization conjecture of three-manifolds [4] (and in particular the Poincaré conjecture) in [5], does not preserve the Hermiticity of the metric. 1 The Ricci flow has a natural interpretation in physics [9]; it arises as the renormalization group flow of the target-manifold of a two-dimensional sigma-model at one-loop. From this (physical) perspective, the fact that solutions to the Ricci flow equation approach constant curvature metrics can be viewed as the consequence of the renormalization group flow "washing out" (irrelevant) data such as the moduli of the original metric. 2 This is a common theme when studying renormalization group flows in physics, and a natural question to ask is whether more intricate (physically relevant) setups could give rise to novel "uniformization" flows that might help in the study of smooth (four-) manifolds. 3 In this paper, we employ this approach, and study the supergravity limit of a stack of M5-branes wrapping a Kähler four-manifold in M-theory. This leads to holographic renormalization group flows for the metric of Kähler four-manifolds, which we expect (on physical grounds) to be "uniformizing".
The study of branes wrapping supersymmetric cycles from the perspective of holography was first introduced in [14]. In particular, they adopted the perspective of viewing these setups as holographic renormalization group flows across dimensions. Their focus was on the case of M5-branes (among other examples) to wrap a Riemann surface. Subsequently, a plethora of solutions describing M5-branes wrapping certain classes of four-manifolds has been found by studying either the effective maximally supersymmetric seven-dimensional gauged supergravity (a consistent truncation of eleven-dimensional supergravity) or the full M-theory supergravity background [15][16][17][18][19][20]. 4 In order to preserve some supersymmetry, the theory will generally be required to be "twisted" [10,21]. Due to the twist, a priori any choice of metric on a four-manifold (within a given class) will preserve some supersymmetry. However, most supergravity solutions known thus far assume that the twists hold along the full renormalization group flow from the ultraviolet asymptotically locally AdS 7 to the infrared AdS 3 . This then puts constraints on the particular type of four-manifolds allowed by supersymmetry, because the flow has to be consistent with an AdS 3 solution in the deep infrared. However, since the metric is fixed along the full flow, one cannot observe how it varies along the flows, and thus the expected uniformization of the metric is not visible.
In reference [22], the authors remedy this by working out the case of M5-branes (among other examples) wrapping Riemann surfaces, but now with the metric on the Riemann JHEP08(2018)046 surface left arbitrary. They prove that indeed flows exist and uniformize the metric on the Riemann surface. This result is motivated from the corresponding field theory setup, which states that upon wrapping M5-branes on a Riemann surface, the resulting four-dimensional N = 2 superconformal field theories should only depend on the complex structure of the curve [23][24][25].
In this paper, we aim to initiate an extension of the discussion of holographic renormalization group flows across dimensions; we consider a physical setup of M5-branes wrapping Kähler four-cycles, which are calibrated cycles inside a Calabi-Yau threefold. The physical setup then requires the twist to be implemented in the ultraviolet as an asymptotic boundary condition, such that supersymmetry is preserved. Similarly, in the infrared, it is required that the solution is in fact a valid (vacuum) AdS 3 solution, which puts asymptotic constraints on the fields and the metric. As opposed to the solutions in [15][16][17][18][19][20], both the ultraviolet and the infrared thus merely serve as boundary conditions, and one studies the equations arising from supergravity (and in particular the condition that some supersymmetry is preserved along the full flow 5 ) for the metric of the four-manifold in the bulk of the flow. 6 Apart from the supersymmetry (and their integrability) conditions we solve all equations of motions, Einstein equations, and Bianchi identities for the metric of the Kähler four-manifold. We find a set of equations for the metric, which, if they are satisfied, give a solution to the full supergravity setup. They are second-order in terms of the Kähler metric. We further study the boundary conditions in the ultraviolet as well as the infrared. We find that indeed in the ultraviolet (to leading order) there will not be any constraints on the Kähler metric. At the infrared fixed point however, we observe that the supergravity equations imply that the metric has to be Kähler-Einstein. This can be viewed as an indication of uniformizing behavior of the set of equations we derive for the Kähler metric.
This paper is organized as follows. We start in section 2 by reviewing some aspects of twisted M5-branes and their relation to calibrated cycles of special holonomy manifolds. We further introduce some intuition behind the notion of uniformization (or its higher dimensional analogue) arising when wrapping M5-branes on calibrated four-cycles. In section 3 we introduce our main tool, namely the maximally supersymmetric sevendimensional gauged supergravity. In section 4, we discuss our ansatz and provide some more details for the particular calibration considered in this paper. Finally, in section 5, we present the metric flow equations and make some comments about their asymptotic behavior. Lastly, in section 6, we conclude the main part of the paper with a discussion of our results and a rather extensive list of interesting future directions. In two appendices we provide some clarification of our notation in the main part of the paper, and some more details for the derivation of our solution. 5 In this paper, we shall restrict to flows that are 1 2 -BPS with respect to the maximally possible supersymmetry allowed for such a setup. 6 As remarked in [22], one views such types of supergravity flows as a boundary-value problem, with prescribed infrared and ultraviolet boundary conditions. However, this is rather different to the usual picture of Wilsonian renormalization group flows.

JHEP08(2018)046
2 Twisting, calibrated cycles and uniformization Generically, when putting a supersymmetric theory on a curved manifold, we will not be able to preserve (any) supersymmetry. This is due to the fact that there might not exist a covariantly constant Killing spinor. However, if the theory has global symmetries (such as R-symmetries or flavor symmetries) one can implement what is called a (partial) topological twist [10]. The idea is that one introduces a background field A g for (part of) the global symmetry group and tunes it in such a way that it cancels against (part of) the spin-connection, i.e. somewhat schematically In principle one may choose any part of the global symmetry group to perform this twist. However, since one would prefer this procedure to be independent of the choice of theory, it is advantageous to use part of the global R-symmetry group [26]. Since the stress energy tensor is in the same supermultiplet as the R-current, there will always be a way to twist, independent of the details of the theory. For the purpose of this paper we shall be interested in branes wrapping (arbitrary) supersymmetric cycles. It is then generically the case that the field theory realized on the branes is twisted [21]. In particular, the cycles will typically not have any covariantly constant spinors, and hence supersymmetry has to be preserved by implementing a (partial) topological twist.
An alternative point of view on such twists is to start with the full (string or) Mtheory. In order to preserve supersymmetry in the full eleven-dimensional M-theory setup, we have to put the theory on a "special holonomy manifold". Then, to support static M5branes solutions, we require the M5-branes to wrap supersymmetric cycles of the special holonomy manifold. It can be argued on general grounds that these supersymmetric cycles are precisely given by calibrated cycles [27][28][29][30] (see also [31] for a nice review). 7 In the current paper, we are mainly concerned with the case of calibrated four -cycles. In table 1, we detail the possible calibrated four-cycles of M-theory on special holonomy manifolds, as well as the preserved supersymmetry in two dimensions, and the condition on the four-cycles arising from explicit supergravity solutions. All but one of these calibrated brane setups have a corresponding global solution in a truncated gauged seven-dimensional supergravity [15][16][17][18]. 8 The (single) case without a known solution in the effective sevendimensional setup (i.e. Kähler four-cycles in CY 3 ) will be treated in this paper. 9 However 7 We call a q-form Φ on a manifold M a calibration if and only if dΦ = 0, and ∀x ∈ M and any oriented 8 Any solution in the truncated gauged seven-dimensional supergravity can be uplifted to elevendimensional M-theory, as we will discuss in some detail in section 3.1. 9 In the current paper, we shall not provide or investigate global solutions, since the focus is on deriving the flow equations from supergravity. We intend to study possible global solutions in future work.

JHEP08(2018)046
this case has a solution in eleven-dimensional M-theory given by AdS 3 × CY 3 × S 2 [32] (see also [33,34]). An alternative perspective on such brane setups is as renormalization group flows across dimensions. On the field theory side, in the ultraviolet of the RG flow, we expect the microscopic description to be given by the worldvolume theory on the M5-branesnamely the six-dimensional N = (2, 0) superconformal field theory [35,36] -on some nontrivial background of the form R 1,1 × M 4 . Moving to the infrared regime, we expect the characteristic size of M 4 to be small and the theory to be essentially given by a twodimensional superconformal field theory with the amount of supersymmetry determined by the particular class of four-manifolds, and the twist/choice of calibration (see table 1).
Complementary to this field theoretic picture, there is a corresponding dual holographic RG flow analogue. The N = (2, 0) theory in the ultraviolet is dual to eleven-dimensional supergravity on a space of the form AdS 7 × S 4 [32,37]. However, to match the field theory setup, the AdS 7 -factor is now given by R 1,1 × M 4 at constant r-slices, with r the radial direction of AdS 7 . In order be able to put the theory on such a background, we have to precisely implement the (partial) topological twist in the ultraviolet, given schematically by the condition in (2.1). In the infrared however, we expect a two-dimensional superconformal field theory and therefore the corresponding supergravity dual should be of the form AdS 3 × M 4 with a certain amount of supersymmetry preserved.
A priori, the internal four-manifold M 4 can be picked arbitrarily within a given class of calibrations. Due to the (partial) twist, supersymmetry is guaranteed to be preserved. However, as was observed in the particular supergravity solutions [15][16][17][18], supersymmetry imposes further conditions if we want solutions which also exist in the deep infrared and give an appropriate physically relevant AdS 3 solution. In all of those cases the internal four-cycle M 4 and in particular the twisting condition in (2.1) was fixed along the full flow from the ultraviolet to the infrared.
In the current paper, we are precisely interested in studying how the metric varies along the RG flow. This was considered in [22] for the calibrated cycle given by a Riemann surface. In the following, we shall employ a similar strategy but for four-cycles. If we leave the metric arbitrary, the infrared and ultraviolet behavior become separate asymptotic boundary conditions to a set of equations which determines the RG flow of the metric. The (partial) topological twist is then only applicable in the ultraviolet, and so we may pick any choice of four-cycle (within a given class of calibrations) asymptotically in the UV. In the asymptotic infrared region however, we generally expect to reach the known AdS 3 solutions and consequently we expect that the additional conditions on the IR four-cycles have to be satisfied. In the following to distinguish the two asymptotic metrics, we shall denote the four-manifold appearing in the ultraviolet as M ; of course they are still the "same" manifold, but with different metrics on it. In table 1, we provide the expected infrared conditions for M (IR) 4 arising from the known holographic solutions.
The reason one expects further conditions on the four-cycle in the infrared regime, can be understood by considering again the dual field theory setup; we take the field theory limit on the stack of M5-branes, and expect to flow to a two-dimensional field theory. Far JHEP08(2018)046 Table 1. The possible calibrated four-cycles of special holonomy manifolds (coming from bilinears of spinors). In the first two columns we list the type of calibration and the particular embedding into the special holonomy manifold. In the third column we write down the maximal supersymmetry preserved in the two-dimensional superconformal field theory from the respective calibration (or from the equivalent partial topological twist). Finally, in the fourth column we list the conditions arising from (known) supergravity solutions [15][16][17][18] on the four-cycles in the infrared limit, where the geometry is given by in the infrared regime, it is expected that we obtain a conformal fixed point, which is precisely the theory dual to the IR AdS 3 solution. The precise details of the metric on the four-cycle M (IR) 4 then enter as data for the "effective" superconformal field theory at the fixed point. For the case of four-dimensional N = 2 superconformal field theories arising on M5-branes wrapping calibrated two-cycles inside CY 2 , only the complex structure of the Riemann surface enters the description of the four-dimensional theory [23][24][25]. At the same time, the conformal factor of the metric is supposed to be washed out along the RG flow. Therefore, it is expected that the internal Riemann surface "uniformizes" along the RG flow. This is precisely the uniformization behavior observed in [22] from holography.
Similar results are expected to hold for the case of M5-branes wrapping higherdimensional calibrated cycles [38][39][40]. 10 Thus, we expect that the infrared four-cycle M (IR) 4 "uniformizes" in the deep infrared, which is what we set out to test in the following using holography.

Seven-dimensional maximally supersymmetric gauged supergravity
In this section, we set up the maximally supersymmetric seven-dimensional SO(5) gauged supergravity theory as introduced in [42]. This is the theory in which we are computing the relevant M5-branes renormalization group flows for Kähler four-manifolds. The theory has N = 4 supersymmetry and can be obtained by a consistent truncation of eleven-dimensional M-theory on S 4 [43][44][45]. As such it has an SO(5) g gauge symmetry. Furthermore, there is a composite SO(5) c symmetry acting on the scalars.

JHEP08(2018)046
Apart from the seven-dimensional graviton e µ m , the bosonic field content of this theory includes fourteen scalar fields which we package into a tensor Π I i transforming in the fundamental representation of SO(5) g from the left and in the fundamental representation of SO(5) c from the right. 11 For ease of notation we shall also introduce the fields recombined into a symmetric matrix T ij as follows 12 which parametrizes the SL(5, R)/SO(5) c coset and satisfies |det (T ij )| = 1. Furthermore, there is a 1-form gauge field A µ IJ transforming in the adjoint of SO(5) g with field strength where we denoted by g the seven-dimensional gauge coupling. Similarly, we may introduce symmetric and anti-symmetric composite gauge fields P µ ij and Q µ ij via Finally, there is a three-form antisymmetric tensor field S µνρ I , which transforms in the fundamental representation of SO(5) g , with field strength given by Apart from the bosonic fields there are the fermionic superpartners, which we shall mention briefly here, and set to zero in the following. First, we have four gravitini ψ µ a transforming in the spinor representation of SO(5) c . Secondly there are the dilatini given by sixteen spin-1 2 fields λ a i , which transform under SO(5) c in the spinor-vector (16) representation.
We shall from now on set the fermionic fields to zero. The bosonic action is given by where m is the mass parameter and Ω 3 [A] and Ω 5 [A] are the Chern-Simons forms of the gauge-field A, which are explicitly given as

JHEP08(2018)046
From the above Lagrangian we can find the following equations of motion for the theory Here, by V we denote the scalar potential Let us remark that the scalar matrix T ij can be fixed to be diagonal by an SO(5) g gauge rotation. Upon doing so, this will still leave some residual gauge symmetry. The supersymmetry conditions for the gauged supergravity theory are given by setting the supersymmetry variations of the fermionic fields to zero. In full generality these are given by (spinor indices are suppressed) where the covariant derivative acts on the Killing spinors as Furthermore, we have used the seven-dimensional gamma matrices γ µ (with Lorentzian metric) and the five-dimensional ones Γ i (with Euclidean signature), and we have denoted by ω µ mn the seven-dimensional spin connection. We refer to appendix A for further details on our notation and conventions as well as explicit forms for the gamma matrices.

JHEP08(2018)046
Lastly, any supergravity solution has to satisfy the following Bianchi identities Finally, the mass parameter m is related to the gauge coupling by and we shall employ this to remove the explicit m-dependence in the following,

Uplift to eleven-dimensional M-theory
The maximally gauged supergravity in seven-dimensions can be obtained as a consistent truncation of eleven-dimensional supergravity reduced on a four-sphere [43][44][45]. The corresponding uplifted eleven-dimensional metric and fields are given by where µ i , with i = 1, . . . , 5, are constrained coordinates on S 4 satisfying 5 i=1 µ i µ i = 1, and g is the seven-dimensional gauge coupling as above. Furthermore, we introduced as well as Finally, the four-form field strength of the eleven-dimensional M-theory is given in terms of the seven-dimensional fields as where we have defined and we denoted by * 7 the seven-dimensional Hodge star operation.

Ansatz
In this section we introduce our main ansatz, including the asymptotic behavior, for the seven-dimensional gauged supergravity renormalization group flows. 13 We will focus on the case of a Kähler calibrated four-cycle inside of a Calabi-Yau threefold in M-theory. As previously mentioned, a gauged seven-dimensional supergravity solution is lacking in this case. However, there are known eleven-dimensional solutions of the form AdS 3 × CY 3 × S 2 [32,33]. As we shall see in the following, given our more general ansatz, we find some evidence suggesting that the divergence spoiling consistent IR solutions in sevendimensional gauged supergravity might be avoided if the Kähler metric has non-trivial rdependence. We plan on studying possible global solutions as well as more general setups in future work [46]. The guiding principle to set up our ansatz will be to use intuition gained from known solutions [15,16,47], as well as general arguments for M-theory geometries involving M5branes [33].
First let us recall the precise "calibrated Kähler twist". We start by considering a stack of M5-branes wrapping a Kähler four-manifold, which has holonomy given by U(2) ∼ U(1) 1 × SU(2) 2 . In order to ensure that there are supersymmetric solutions for generic Kähler manifolds, we are required to introduce a (partial) topological twist. 14 There are two ways of doing so: on the one hand one can embed the U(1) 1 subgroup of U(2), or on the other hand one may embed the SU(2) 2 part inside the SO(5) R R-symmetry of the six-dimensional (2, 0) M5-branes worldvolume theory. In the former case the Kähler four-cycle is a calibrated cycle inside a Calabi-Yau threefold (CY 3 ) and in the latter case it is a calibrated cycle inside a Calabi-Yau fourfold (CY 4 ). In this paper we shall focus on the former case, in which the Kähler four-manifold is given by a calibrated four-cycle inside a CY 3 . Thus the Kähler four-manifold is a holomorphic cycle calibrated by the four-form 1 2! J ∧ J, where J is the complex structure two-form on CY 3 . The tangent bundle to the Calabi-Yau threefold restricted to the four-cycle then splits into a tangential and a normal part Since Calabi-Yau manifolds have vanishing first Chern-class, we find and one can show that N M 4 is intrinsic and isomorphic to the canonical bundle of M 4 . From this, it follows that in the regime near the M5-branes, the Calabi-Yau threefold can be described by a complex line bundle over the Kähler four-manifold. 13 Recall that for our purposes the asymptotic conditions in the infrared and ultraviolet are considered as boundary conditions of our metric flow equations. 14 For us this twist will only be effective as an asymptotic ultraviolet boundary condition of the holographic RG flow.

JHEP08(2018)046
Now, we are looking for solutions in the near-horizon limit. Thus, we expect that only the local geometry of the calibrated Kähler four-cycle inside CY 3 and its normal bundle structure enters the construction. Therefore, the original eleven-dimensional setup should now give rise to the following M-theory supergravity geometry This is only strictly true in the infrared asymptotic limit for our case. However, to formulate a sensible ansatz, it is helpful to have this intuition in mind. In equation (4.4), we denote by S 1 f → M 4 a circle fibration over M 4 , which is what we expect the complex line bundle to turn into in the supergravity approximation. The two-sphere S 2 R will be dual to the R-symmetry of the two-dimensional superconformal field theory. 15 Finally, by I θ we label an interval. 16 Together, the S 1 factor with the sphere S 2 R and the interval I θ will give topologically a four-sphere. Of course the ultraviolet boundary condition of our RG flows are simply of the form AdS 7 × S 4 , where slices of constant radius of AdS 7 are given by . We refer to section 4.2 for explicit comparison of the eleven-dimensional uplift of our ansatz with the discussion here.
For the purpose of this paper and in accordance with the above picture, we shall further restrict to the seven-dimensional gauged supergravity described in section 3, which is a consistent truncation of M-theory on a four-sphere [43][44][45]. The theory has an SO(5) g gauge symmetry corresponding to the isometry of the four-sphere. We expect to turn on gauge fields for the SO(2) subgroup in SO(5) g → SO(2) × SO(3), whereas the SO(3) factor, which corresponds to the R-symmetry of the two-dimensional N = (4, 0) superconformal field theory, is assumed to survive. In particular the corresponding gauge fields should then be tuned to zero in the vacuum state. 17 Now, in order to set up our supergravity ansatz, let us start by looking at the precise asymptotic (boundary) conditions for the renormalization group flows in the sevendimensional gauged supergravity.
Ultraviolet. In the UV, we expect to have a resulting metric which is asymptotically locally AdS 7 with slices of constant r being of the form for an arbitrary Kähler four-cycle M (UV) 4 . The fact that we can pick an arbitrary metric on M (UV) 4 comes from imposing a (partial) topological twist asymptotically in the ultraviolet. 15 The relevant Kähler calibrated cycle inside CY3 preserves N = (4, 0) supersymmetry in two dimensions. 16 More precisely, we expect the radial directions of the R 3 factor and the complex line bundle to turn into the radial direction of AdS3 and the interval I θ (see for instance [48] and [20] for similar statements in different setups). 17 A priori, it is not clear whether they must be turned off along the full RG flow, however it is a sensible assumption, since they are turned off in the ultraviolet as well as in the infrared.

JHEP08(2018)046
The particular topological twist we are employing here (i.e., the topological twist corresponding the Kähler calibration in a CY 3 ) can be imposed as follows: the SO(5) g -gauge fields for the seven-dimensional gauged supergravity are specified by the spin-connection of the arbitrary Kähler metric on M (UV) 4 , corresponding to the fact that the theory on the M5-branes is twisted. Therefore, we decompose the gauge group as follows where we use the SO(2) factor to (partially) twist the theory. This decomposition is mirrored in the eleven-dimensional M-theory setup by the division of the transverse directions to the M5-branes into tangent and normal bundles of the special holonomy manifold. From the general discussion above, we hence expect that only the SO(2)-gauge fields are excited in the ultraviolet. In particular, we set all the gauge fields to be vanishing apart from the component A 12 , which we fix such that it cancels the spin-connection, i.e.
where a = 1, . . . , 4. It is important to notice that these projection conditions are actually 1 2 -BPS (i.e., we preserve half of the supersymmetries required to implement the twist). The reason we pick those projection conditions instead of the "fully" supersymmetric ones is due to the fact that the resulting Kähler metric flow equations are rather restrictive [49], though they should be of interest in their own right. Given these projection conditions we may fix the components of the U(1) gauge field A 12 in the ultraviolet by solving (4.7) asymptotically.
Infrared. In the infrared, we expect that the theory is given by a metric of the form where we denote by M (IR) 4 the four-cycle M 4 at the IR fixed point (i.e., after uniformization). As explained above, we expect now that the SO(3) part of the gauge symmetry corresponds to part of the R-symmetry of the dual two-dimensional superconformal field theory, and we should not have any gauge fields turned on for it in the supergravity solution. 18 Since we have yet to specify a frame, we denote the gamma matrices here by their spacetime indices. In terms of the frame in equation (4.16), and the gamma matrices in appendix A, the projection conditions read

JHEP08(2018)046
Given the discussion of the infrared and ultraviolet limits, we first impose that the Killing spinors a surviving the projection conditions (4.9) and (4.10), shall be preserved along the full flow. It is then natural to consider an ansatz for the seven-dimensional metric as follows ds 2 = e 2f dx 2 R 1,1 + e 2g dr 2 + e 2h ds 2 (M 4 ) . (4.12) Here ds 2 (M 4 ) is the metric on the calibrated Kähler four-cycle along the full RG flow, which we write as where K is the Kähler potential, which we pick to be an arbitrary function of r as well as the coordinates on M 4 , i.e. K ≡ K (r, z 1 ,z1, z 2 ,z2) . (4.14) The part dx 2 R 1,1 corresponds to the flat space metric of the resulting two-dimensional superconformal field theory. Finally, the functions f , g and h depend on the radial coordinate r as well as on the holomorphic coordinates {z 1 ,z1, z 2 ,z2} of the Kähler four-manifold They have to satisfy specific asymptotic conditions in the UV and the IR, which we shall discuss in some detail in section 5.2.
In the following we are required to explicitly pick a frame for the seven-dimensional metric. We choose the following vielbeins for the seven-dimensional metric ansatz where for the frame of the Kähler metric we define 19 19 From here on out we shall employ the following shorthand notation for an arbitrary function f depending on variables (r, zi,z, . . .) .

JHEP08(2018)046
Again referring to the asymptotic conditions discussed above, it is natural to turn off all but the A 12 components of the SO(5) g gauge fields along the full RG flow. In terms of the seven-dimensional vielbeins we may expand the field strength as where (F ij ) is anti-symmetric, and the functions F ij depend on all but the spacetime coordinates, i.e. F ij ≡ F ij (r, z 1 ,z1, z 2 ,z2) , ∀i = j . This ansatz for the gauge fields and the metric also implies that the scalar sector of the supergravity has to satisfy reduced symmetry transformations along the full RG flow. Let us now recall that the scalar matrix T ij (or similarly Π A i ) can be fixed to be diagonal by an SO(5) g gauge rotation. Thus, we may fix the composite scalars to be of diagonal form, and in particular we set as an ansatz where λ ≡ λ (r, z 1 ,z1, z 2 ,z2) . With this choice, the composite gauge-field Q is determined by the gauge-fields via Finally, the three-form S I is generically non-vanishing. However, we can trivially solve the S-equation of motion by setting S I = 0.

Uplift to eleven-dimensional M-theory
We now briefly discuss the uplift of our seven-dimensional gauged supergravity ansatz to eleven-dimensional M-theory. We employ the general uplift formulas detailed in section 3.1 and first outlined in [43][44][45]. The eleven-dimensional metric is then given by whereμ a , a = 1, 2, 3 are constrained coordinates such thatμ aμa = 1, and θ ∈ [0, 2π). Furthermore, ds 2 7 is the seven-dimensional metric ansatz as given in (4.12). As expected from the point of view of calibrated cycles, we see that there is an S 1 fibered over the four-cycle M 4 , which can be viewed as the unit (co-)normal bundle on the Kähler cycle inside the Calabi-Yau threefold. Furthermore, as expected, there is an S 2 factor corresponding to the R-symmetry, and θ gives the interval I θ as required from our previous discussion around equation (4.4).

Supergravity equations in Ansatz
Let us now write down the supersymmetry equations, equations of motion and Bianchiidentities given our ansatz in section 4.1. Namely, by setting S I = 0, the S-equation of motion is trivially satisfied. In addition, we fix a diagonal gauge for the composite scalars Π I i as in equation (4.22), and thus we find (in the alternative notation) for T ij , T ij = diag e −6λ , e −6λ , e 4λ , e 4λ , e 4λ . Similarly, the T -equation of motion is encoded in the following single (independent) equation where the scalar potential is now simply Finally, the Einstein equation (we shall use an equivalent version in different notation here) with the scalar potential V in equation (3.12) (after inserting our ansatz, V is given in equation (4.31)) can be written as Before we discuss the supersymmetry conditions, let us write down the only nontrivial (Abelian) Bianchi-identity DF 12 ≡ d F 12 = 0 . Let us now turn to the supersymmetry conditions in our ansatz. We shall not explicitly split the spinors up, since we will not explicitly need it in the remainder. The dilatini equations for i ∈ {1, 2} can be written as

JHEP08(2018)046
and for j ∈ {3, 4, 5} they are given by Similarly the gravitini equations in our ansatz read where where we recall that we set g = 2m.

Integrability
Apart from the supergravity equations described in the previous section, we will also employ what we call "integrability". In principle one could try to solve integrability in the usual sense, i.e. use the gravitini and dilatini variation to solve schematically where the ellipsis denote curvatures for other bundles (e.g. gauge field strengths). However, for our purposes it is enough to do this explicitly in our ansatz/solution. The procedure goes as follows: we use the gravitini variation to solve for in terms of the fields in our ansatz. Here we used η to denote a particular component of the Killing spinor , which is preserved under the aforementioned projection conditions (4.9) and (4.10). Furthermore in I j we schematically include all the relevant fields and their derivatives that appear when solving for the left hand side. Then we take derivatives of these equations and then the "Schwarz integrability condition" for PDEs will give us a set of equations of the form and similarly for the other pairs of variables. By plugging equations (4.41) and (4.42) back into (4.43) and its cousins, we find partial differential equations purely in terms of the fields in our ansatz, independent of η (or ). Furthermore, these integrability conditions will ensure that we can locally integrate to find the Killing spinors.
5 Metric flows for Kähler calibrations inside CY 3

Kähler metric flow equations
We now sketch our solution for the ansatz discussed in section 4 and refer to appendix B for more details.

JHEP08(2018)046
We start by defining the following combination of fields From combining the gravitini equation (4.38) and the dilatini variations (4.36) and (4.37), we observe that these combinations of fields only depend on three out of the five variables. However, we assume in the following that they only depend on the r-direction, 20 i.e.
Having fixed all these ingredients we arrive at the following set of metric flow equations (we again refer to appendix B for more details)

12)
20 This is an assumption which helps to simplify the equations. It is rooted in the study of Kähler calibration flows that preserve the maximal amount of supersymmetry [49]. Namely, in that case, one can explicitly show that equations (5.1)-(5.3) are fully general. We shall not discuss "full" flows in the current paper.

JHEP08(2018)046
where i, k ∈ {1, 2}, and,¯ ∈ {1,2}, are arbitrary, and where we have introduced the following definitions In particular, the equations arising in supergravity explicitly dictate that t and s only depend on the r-coordinate. Finally, we have defined which is strictly speaking 1/2 the logarithm of the determinant of the Kähler metric, and thus the Ricci tensor of the four-dimensional Kähler manifold reads There is one final equation for arbitrary i ∈ {1, 2} and ∈ {1,2}. This can be used to fix ∂ r G(r) in terms of the Kähler potential, i.e.
As we mention in appendix B, this furnishes a complete and consistent set of equations upon taking derivatives.

Asymptotics
We shall now discuss the asymptotic behavior of the Kähler manifold flow equations (5.7)-(5.12). In the asymptotic ultraviolet, we expect that by implementing the appropriate twist, we can pick an arbitrary Kähler metric. At the infrared fixed point we should end up with a Kähler-Einstein metric on the Kähler four-manifold wrapped by the M5-branes. We shall confirm these expectations explicitly in the following.

Ultraviolet
As discussed in section 4, in the ultraviolet limit, the metric should be asymptotically AdS 7 , with the slices at constant r-coordinate being of the form .

(5.20)
In particular the ultraviolet region will be in the limit r → 0, and the metric will have asymptotic boundary conditions as 21 Similarly, the scalar λ and the U(1) gauge field F 12 have to satisfy the following boundary conditions in the UV where ω (UV) is the spin-connection purely on the four-dimensional Kähler manifold M (UV) 4 , and The former condition is precisely the asymptotic implementation of the twist (4.7). Finally the Kähler potential goes as for r → 0. With this asymptotic behavior of the ansatz, the function F (r) in (5.13) is asymptotically given by e F ∼ cst · r + o(r) (5.26) in the r → 0 ultraviolet limit. Furthermore, by including higher order terms, such as K (UV) 1 , the functions s introduced in (5.15) and t in (5.14) are in fact well defined and vanishing in the r → 0 limit. This is important in order for the functions f , g and h to be physically sensible and well-defined. It is then straightforward to observe that our set of equations does not put any constraints on the Kähler metric K (UV) 0 in the limit r → 0. This confirms the expected result that we may start the RG flow with an arbitrary Kähler metric in the UV.

Infrared
In the infrared limit -corresponding to r → ∞ -we expect to obtain a metric solution of the form is supposed to be a "uniformized" version of the generic Kähler manifold we started with in the UV. In particular, at the infrared fixed point, the Kähler potential will be independent of the radial coordinate, i.e. ∂ r K(r, z 1 ,z1, z 2 ,z2) ≡ 0 . (5.28) Thus, in our Kähler metric flow equations in (5.7)-(5.12), the remaining condition reads for arbitrary pairs (i), (k¯ ) ∈ {(11), (12), (21), (22)}. In terms of the Ricci tensor and the local metric on the four-manifold, this gives is as expected precisely Kähler-Einstein. The fact that the ratio is independent of the r-coordinate follows from (5.10) and (5.11). Furthermore, its independence of the local coordinates on the Kähler manifold is a consequence of taking derivatives of (5.19). 22 Now we would like to explicitly see if we can find an asymptotic (consistent) IR AdS 3 solution, by considering perturbation theory. To leading order the physical IR asymptotic behavior of the metric fields f and g should satisfy Similarly, there can be corrections to the Kähler potential, and we fix an ansatz of the form As mentioned above, the leading order K (IR) 0 is then required to be Kähler-Einstein with some constant 0 ∈ R, i.e. K The subleading contributions of the Kähler potential can be fixed order-by-order. By doing so, we find an expansion consistent with the asymptotic behavior in (5.31) and (5.32). One 22 There is a subtlety here in that the function s, defined in (5.15), is not well-defined for ∂rK ≡ 0.

JHEP08(2018)046
can check that by solving the equations (5.5), (5.6) and (5.19) (which determine Λ, H and G) order-by-order, that the scalar λ obeys where λ 0 is a finite constant. Thus, the divergence, λ → ∞, observed in [15] seems to be avoided in this expansion. The main difference is that the Kähler potential-dependent terms in equations (5.6) and (5.19) add more degrees of freedom, which allow us to cancel the apparent unphysical behaviour of λ. For instance, in equation (5.6), the K-dependent piece starts contributing at leading order, i.e. at order O (1/r). If we fix the "bulk" K to be independent of r, this term will be absent, and solutions will require unphysical asymptotic behavior for the scalar λ [15]. 23 This works for the asymptotic Kähler-Einstein metric K (IR) 0 being positively curved, i.e. having 0 > 0 in (5.35). However, when 0 < 0, we require imaginary λ 0 in (5.36), to have a consistent set of asymptotic solutions. Of course none of this means that there are any global solutions for 0 > 0 or 0 < 0, and it would be desirable to derive full global solutions for either of those cases using our set of equations. We leave this for future investigation.
Finally, let us briefly dwell on the observation that the infrared metric is Kähler-Einstein. In the mathematics literature, Kähler-Ricci flows have been an active area of research for some time now (see for instance [50] for a nice review). An important fact which was proved in [51] is that for non-positive first Chern-class -and after proper normalization -the Kähler-Ricci flow converges to a Kähler-Einstein metrics (as a "byproduct", the author was able to re-prove the famous Calabi-Yau theorem [52]). However, if the first Chern class of the Kähler manifold is positive, the Kähler-Ricci flow may not converge to a Kähler-Einstein metric (there exist compact Kähler manifolds of c 1 > 0 which do not admit a Kähler-Einstein metric [53,54]). It is rather interesting, that we seem to find somewhat complementary data, i.e. from a physical perspective, when 0 > 0, we find evidence for "well-behaved" IR Kähler-Einstein fixed points and when 0 < 0, we have to consider a "complex" scalar (of course, from a mathematical perspective the physical validity of the fixed points might not be relevant). The known mathematical results are suggestive that there might exist global flows in the case of 0 < 0. Either way we believe that our set of equations could be an interesting alternative way to study four-dimensional Kähler manifold flows and we hope to return to that in the future.

Discussion and outlook
In this paper we initiated the study of Kähler four-manifold flows by treating renormalization group flows across dimensions from holography. We started by setting up a physically sensible ansatz for the case of M5-branes wrapping a Kähler four-manifold, which is a JHEP08(2018)046 calibrated cycle inside a Calabi-Yau threefold. This ansatz is taken in the local picture of gauged seven-dimensional supergravity. We then went ahead and imposed 1 2 -BPS conditions on the Killing spinors, and solved all the constraints coming from the supergravity theory. This left us with a system of partial differential equations purely in terms of the four-dimensional Kähler metric (5.7)-(5.12). We then provided evidence that these equations should describe some sort of higher dimensional analogue of uniformization of the four-manifold, by taking expansions around the ultraviolet and infrared (physically motivated) boundary conditions. We argued that in the ultraviolet one may start with an arbitrary Kähler metric, and in the infrared it should uniformize to a Kähler-Einstein (constant curvature) metric. In particular, both the UV and IR expansions seem to be physically well-behaved.
We shall now present a rather extensive list of interesting future directions.
To begin with, an interesting problem is to study and analyze our equations (5.7)-(5.12) in more detail. To do so, it might be useful to write down a "covariantized" version of them. It is possible that this requires us to relax some assumptions in our ansatz; for instance we suspect that when we "gauge-fix" the composite scalars to be diagonal (see (4.22)), we also "pick a gauge" in a possible more general "covariantized" version of the metric flow equations, such that they reduce to the ones we found. More precisely we could imagine that fixing the composite scalars to this diagonal form might have drawn us to a specific representation of more general "covariantized" flow equations for Kähler four-manifolds.
Along the same lines, it would also be very interesting to attempt to show uniformization for Kähler four-manifolds similar to the discussion in [22]. Given the form of our equations (5.7)-(5.12), this looks like a rather daunting task. More realistically, it would be nice to find and discuss (simple) examples of such Kähler flows and observe uniformizationbehavior on a case-by-case basis. Similarly, it would be intriguing to analyze possible finitetime singularities, which are ubiquitous in Ricci flows, for our Kähler metric flow equations. If such singularities appear, there might be a way to understand them physically. Finally, it is important to find global solutions interpolating between the AdS 7 and AdS 3 boundary conditions. As we have seen, such solutions would require the Kähler four-cycle metric to explicitly depend on the radial coordinate, i.e. ∂ r K i = 0.
Another generalization to consider in the future is to treat metric RG flows for other examples of calibrated four-cycles. The case we aspire to the most would be to understand M5-branes wrapping a coassociative cycle inside a G 2 manifold. This example is interesting, because for any choice of the four-manifold, the G 2 -manifold looks locally like the bundle of self-dual two-forms over the calibrated coassociative cycle (see for instance [55]). Following the logic advertised in the current paper, and in particular the fact that we work completely locally, we would expect that starting from any four-manifold in the ultraviolet we would get some uniformized version of the initial UV four-manifold in the infrared. 24 Therefore, the answer to finding such flow equations might hint towards many interesting and largely JHEP08(2018)046 unexplored questions in the mathematics of four-manifolds. As a matter of fact, the current paper is supposed to represent a stepping stone towards that goal. On the field theory side, one expects that the two-dimensional theory preserves N = (2, 0) supersymmetry, and a study of the two-dimensional theories and their relation to four-manifold geometry was performed in [40].
Let us now briefly mention some observations about the coassociative four-cycle flows. To begin with, one can slightly simplify the problem by working with a generic Hermitian four-manifold instead of a fully general one. Even the case of Hermitian four-manifold flows is vastly unexplored (one of the main issues being that the Ricci flows does not seem to preserve the Hermiticity along the flow). Restricting to Hermitian four-manifolds, we are required to keep the full non-Abelian SU(2) gauge fields for the twist. This will induce a large system of equations for the metric, when studying the gravitini and dilatini variation of the maximal seven-dimensional gauged supergravity. To isolate the conditions on the metric one needs to study their integrability conditions and remove all the remaining components of the SU(2) gauge fields, which is very labor-intensive. Fortunately the Sequations of motion for the three-form in the gauged supergravity are still trivially satisfied by setting S I = 0, and so we still believe that such an approach is within the reach of possibility.
An alternative approach is to rephrase the question inspired by intuition gained from the "AGT -correspondence" [57]. 25 Namely, instead of dealing with a seven-dimensional gauged supergravity, one truncates the supergravity ansatz to a five-dimensional theory, which "lives" on the four-manifold together with the r-direction of AdS 7 . This fivedimensional theory should then describe the metric RG flow. Ideally one would like to map it to a familiar five-dimensional supergravity, and then use known results, such as the study of allowed metrics on such theories to say something about the allowed metric RG flows. Furthermore, having such a theory one could hope that there are quantities in the theory that could serve as a "C-function"-analogue along the RG flow, and possibly make a connection to the treatment in [26]. As a matter of fact, in [58] we employ this idea to reformulate the supergravity solutions of a particular set of four-dimensional N = 1 superconformal field theories, which arise from compactifications of M5-branes on a Riemann surface [59,60]. We shall find that this leads to the relation between these fixed points and the study of Morse theory on two-dimensional Yang-Mills [61], which was originally observed in [62].
Finally, it would of course be nice to study three-manifold flow equations and AdS 4 solutions arising from a similar setup, and see if one can observe behavior akin to the Ricci flow for the metrics of the involved three-manifold.

JHEP08(2018)046
as Maxime Gabella for work on related ideas, and Nikolay Bobev and Ying-Hsuan Lin for comments on an initial draft. The work of MF is supported by the David and Ellen Lee Postdoctoral Scholarship and the U.S. Department of Energy, Office of Science, Office of High Energy Physics, under Award Number DE-SC0011632. MF thanks the Aspen Center for Physics for hospitality during the course of this work.

A Notation
Let us mention some notation that we employ throughout the paper. To begin with, we use the following conventions for indices: • We use capital Roman indices I, J, . . . ∈ {1, . . . , 5} to denote indices for the gauge group SO(5) g . They are raised and lowered via δ AB .
• Lower letter Roman indices i, j, . . . ∈ {1, . . . , 5} shall be used throughout as a label for the gauge group SO(5) c . They are also raised and lowered via δ ij .
• We shall mostly avoid explicitly writing down spinor indices, however if we do they will be labeled by lower case Roman letters from the beginning of the alphabet, a, b, . . . ∈ {1, . . . , 4}.
Throughout the paper, capital letter Gamma matrices Γ i are elements in Clif f (5, 0) and in order to explicitly solve the supersymmetry constraints and integrability conditions, we fix a particular basis, namely Lower case Gamma matrices γ µ are elements in Clif f (6, 1). However, since there is a four-dimensional part of the metric that is given by a Kähler metric, we have to pick the following flat (frame) metric Similarly, we have to pick gamma matrices γ m , which satisfy the gamma-matrix algebra with this g mn , i.e.

JHEP08(2018)046
We start by choosing a standard set of gamma matrices,γ m with respect to the usual flat seven-dimensional Euclidean metricg mn ≡ δ mn , where Γ j are the five-dimensional gamma matrices in (A.1), and then use a transformation matrix P ab , such thatg mn P p m P q n = g pq . (A.6) The appropriate seven-dimensional gamma matrices are then obtained by

B The full solution
In this section we will provide some more details of the derivation of the equations (5.7)-(5.12), discussed in the main part of the paper. We will mention here that most of this rather involved computation is performed in Mathematica. As remarked in the main text, we start by making a simplifying assumption, namely we define where the new functions Λ, G and H only depend on the r-direction Λ ≡ Λ(r) , G ≡ G(r) , H ≡ H(r) .

(B.2)
A priori, the function f = f (r, z 1 ,z1, z 2 ,z2) still depends on all the variables. Imposing the 1 2 -BPS projection conditions (4.9) and (4.10), we can solve for H(r) and Λ(r) from the supergravity equations as well as integrability conditions to find 26 We can integrate the latter equation to find whereh (z 1 ,z1, z 2 ,z2) is an arbitrary function in terms of the variables of the Kähler manifold. We will not require to fix this function in the following. Finally, the function exp G(r) can be fixed in terms of the Kähler potential as well as Λ and H as we shall see below. 26 Recall that we are employing the following shorthand notation throughout the paper for an arbitrary function f depending on variables (r, zi,z, . . .) .

JHEP08(2018)046
We now fix the frame in (4.16) and (4.18). Given the ansatz for F 12 in equation (4.20), and solving the gravitini and dilatini variations allows us to solve for the following components of F 12 , 27 The remaining components of F 12 , namely F 35 , F 37 and F 57 can be fixed by first realizing that there cannot be anyz1z2-component 14) The remaining two components can be fixed by solving and combining several of the remaining equations. After a lengthy calculation, we find the rather simple solutions 27 Finally it remains to isolate the function f , which still depends on all the coordinates. A very lengthy and involved computation in which we use all the equations of motion, Einstein equations, integrability conditions as well as Bianchi-identities, yields again a rather simple solution 27 27 Notice here that we already use results which we will describe below, in order to simplify these equations.

JHEP08(2018)046
The remaining two components, namely fz1 and fz2 are unfixed, but nonzero. In principle, by determining their derivatives with respect to the other variables, and then integrating, one could fix them. However, for our purposes this is not necessary. It is however a crucial and highly nontrivial constraint that the second order derivatives satisfy the "Schwarz integrability conditions". For instance, we can solve for f rz1 from the supergravity constraints and it is important that this gives the same result as ∂z1(f r ), where we plug in f r from equation (B.17). Similarly, we require this for the other cases. Now finally we have isolated all the non-metric components of the system and we can focus on the flow equations for the Kähler potential. Solving all the equations of motion including integrability conditions and Bianchi identities yields a set of eight independent order-four (i.e. maximum of four derivatives acting on the Kähler potential) and five "independent" 28 order-five equations for the Kähler potential.
We start by writing down the order-four equations. To simplify the formulas, let us first write down some definitions that we also use in the main text We furthermore will use Then the first six order-four constraints read Notice that final four equations imply

JHEP08(2018)046
The remaining order-four equation reads (log g) 11 K 11 + (log g) 12 K 12 Thus together with our result from above, we find that and thus s = ∂ r log (K 11 K r22 − K 22 K r11 ) . (B.34) Now we turn to the order-five equations. They can be written as and (if we do a different replacement) We notice that (B.24) can be written as
∂ 1 (log g)1 2 = ∂ 2 (log g) 11  Thus, this is consistent with (B.46). Finally we can look at the constraints arising from ∂ r (log g) i . We start by noticing that we may rewrite (log g) i as (log g) i = 2H (r) + ∂ r log K i me −F K i .

JHEP08(2018)046
However given (B.46), we may write this as Now if we pick (i) = (12) or (i) = (11), this is precisely what we found in (B.42) and (B.43). There are two remaining choices for (i) arising from this equation. The fact that they are implied by the previous equations follows from the following: let (k,¯ ) and (i) be arbitrary, for consistency we require that which can be rewritten as However, this is equivalent to ∂ r (log g) i − ∂ r (log g) k¯ = 0 = ∂ rr log K i K k¯ − 1 2 (t + s) ∂ r log K i K k¯ + (∂ r log K i ) 2 − (∂ r log K k¯ ) 2 , (B.58) and thus we showed that this is actually implied by our order-four equations.

B.1 Summary
Let us briefly summarize the independent metric flow equations arising from the analysis of the solutions. The order-four constraints can be summarized to the following set of equations t = s , (B.59)

JHEP08(2018)046
The order-five constraints then imply that s ≡ s(r) , (B.65) as well as (independently from order-four ) t ≡ t(r) . (B.66) The logic should be as follows. We solve (B.63) in terms of ∂ r G and e F for different choices of (i). In particular for fixed (i) and (k¯ ) we can solve Plugging this into (B.63) removes that equation and leaves only (B.64). We can solve this now for e F , to find Our analysis shows that doing this is in fact consistent, i.e. Finally, it is noteworthy that these functions might not be well-defined (e.g. when ∂ r K ≡ 0). In that case however we expect to get back to the solutions discussed in [15] (and one can explicitly check that). It is the explicit purpose of the current paper to move away from this case, and thus our equations correspond to a disjoint class of solutions.
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.