Higher derivatives in Type II and M-theory on Calabi-Yau threefolds

The four- and five-dimensional effective actions of Calabi-Yau threefold compactifications are derived with a focus on terms involving up to four space-time derivatives. The starting points for these reductions are the ten- and eleven-dimensional supergravity actions supplemented with the known eight-derivative corrections that have been inferred from Type II string amplitudes. The corrected background solutions are determined and the fluctuations of the Kahler structure of the compact space and the form-field background are discussed. It is concluded that the two-derivative effective actions for these fluctuations only takes the expected supergravity form if certain additional ten- and eleven-dimensional higher-derivative terms for the form-fields are included. The main results on the four-derivative terms include a detailed treatment of higher-derivative gravity coupled to Kahler structure deformations. This is supplemented by a derivation of the vector sector in reductions to five dimensions. While the general result is only given as an expansion in the fluctuations, a complete treatment of the one-Kahler modulus case is presented for both Type II theories and M-theory.


Introduction and summary
Compactifications of Type II string theories and M-theory on Calabi-Yau manifolds are interesting from various interrelated perspectives reaching from phenomenologically motivated model building to purely mathematical studies of quantum geometry. In particular,

JHEP02(2018)127
reductions on Calabi-Yau threefolds have been studied over several decades leading to intriguing discoveries such as mirror symmetry. Compactifications of Type IIA and Type IIB string theory on Calabi-Yau threefolds result in four-dimensional effective theories that admit N = 2 supersymmetry [57], or sixteen preserved four-dimensional supercharges. Similarly the compactifications of M-theory on Calabi-Yau threefolds lead to five-dimensional supersymmetric theories that preserve sixteen supercharges or five-dimensional N = 2. Four-dimensional N = 1 supersymmetric effective theories are obtained from Calabi-Yau threefold compactifications including D-branes and orientifold planes [55,56]. So far, however, the effective actions arising in Calabi-Yau threefold compactifications are only fully understood at the two-derivative level. In this work we aim to go beyond this and systematically include terms up to four derivatives into the effective action.
Our starting point for the compactifications are the ten-or eleven-dimensional low energy effective action of Type II string theory or M-theory. At the two-derivative level these are the well-known ten-dimensional Type IIA and Type IIB supergravity actions with N = 2 supersymmetry, and the unique eleven-dimensional supergravity theory with N = 1 supersymmetry. The Type II supergravity actions are modified by two types of stringy. First, there are α ′ -corrections imprinted in higher-derivative terms. Second, the worldsheet genus expansion in g s leading to higher dimensional operators in the effective theory depending on higher orders of the dilaton. Using perturbative string theory these corrections can be computed by explicitly evaluation string scattering amplitudes. While this can be notoriously difficult, various corrections are known in the literature. For example, it is well established that the R 4 -terms in Type II theories at order α ′3 are the complete set of purely gravitational eight-derivative terms [16,36]. Additionally, there are several known higher-derivative terms in ten dimensions involving the NS-NS two-form B 2 and dilaton [2,3,12,[38][39][40][41][52][53][54]. It was conjectured in [12] that the B 2 -completion of the R 4 -terms can almost be completely captured by introducing a connection with torsion, where H 3 = dB 2 acquires the role of the torsion. A strategy to extract corrections to the eleven-dimensional supergravity action is to up-lift the Type IIA corrections computed by string amplitudes. From the known Type IIA terms one can thus infer R 4 -terms [42,44] and terms involving the M-theory three-form C 3 [12,15]. The supersymmetry completions of such terms have been studied in [7][8][9]. It is eminent that the only expansion parameter in eleven dimensions is the eleven-dimensional Planck length ℓ M .
Obtaining effective actions in four and five dimensions taking into account higherderivative corrections in ten or eleven dimensions is an important yet challenging task. 1 Since the first corrections at order α ′3 involve terms quartic in the Riemann tensor, the derivation of the effective couplings of the geometric moduli constitutes a computationally challenging task. Furthermore, although the R 4 -couplings in ten and eleven dimensions are well established, less is known about the completion of the action at eight-derivative level for the full NS-NS and R-R sector. Important partial results on the R-R sector can be found, for example, in [64], but it is desirable to obtain a complete action via, for example,

JHEP02(2018)127
supersymmetric completion or comparison with scattering amplitudes. Another important challenge is the construction of general higher-derivative supergravity theories in various dimensions independent of their string theory origins. While many standard formulations of supergravity at two derivatives are well established, there exist only partial results beyond the two-derivative truncation. In the considered string compactifications a general higher-derivative supergravity action would not only allow us to check consistency with the expected preserved supersymmetry, but also suggest a clear systematics to determine physical couplings in terms of geometric data of the compactification space.
Higher-derivative corrections in string theory and M-theory have led to interesting modifications of the low energy dynamics and phenomenological models obtained in compactifications. In the following we will only give a very incomplete list of past applications for which higher-derivative corrections play a prominent role. It is well known that higher-derivative corrections give rise to corrections of the Kähler potential of N = 2 compactifications involving characteristic classes of the compactification Calabi-Yau threefold [27,43,59]. It was later argued in [29,45] that some of these corrections survive the truncation to N = 1 supergravity in compactifications including fluxes and an orientifold projection. Although obtaining a general higher-derivative theory in five dimensions is not yet available, an off-shell completion of R 2 -terms in five-dimensional N = 2 supergravity and its on shell version for pure supergravity is known [26,70]. These results were used to study the effect of higher-derivative corrections on five-dimensional black holes as reviewed, for example, in [72]. Four-derivative N = 1 and N = 2 supergravity theories in four spacetime dimensions are not yet completely understood. Recently, progress towards classifying four-derivative superspace operators in the context of N = 1 supergravity was made in [47]. This interest arose from the observation that higher-derivative terms in Type IIB orientifolds might stabilize Kähler moduli [48,79]. Let us emphasize that a first complete treatment of the kinetic terms for the Kähler deformations originating from R 4terms in eleven dimensions was presented in [10,11,19], where M-theory was compactified to three dimensions on a Calabi-Yau fourfold.
Our goal in this work is to study various compactifications of M-theory and Type II string theories on Calabi-Yau threefolds taking into account the known eight-derivative terms. We review the considered known and conjectured terms in the ten and elevendimensional action contributing at order α ′3 . This will allow us to solve the equations of motion determining background solutions possessing a compact, six-dimensional manifold which is topologically a Calabi-Yau threefold. We find that the modified solution in Type IIA involves a non-trivial background of the dilaton given by the Euler density in six dimensions on the lowest order Calabi-Yau geometry. Furthermore, the metric receives a correction leading to a deviation from Ricci flatness, which, however, does not alter the cohomology class of the curvature two-form. We then briefly comment on the relation between M-theory and Type IIA at order α ′3 and explain why adding a certain term in eleven dimensions is necessary.
The main part of this work is devoted to a detailed discussion of the dimensional reduction of M-theory and Type II on Y 3 including infinitesimal deformations of the Kähler structure. In the M-theory reduction we also present results on the five-dimensional two-

JHEP02(2018)127
and four-derivative effective action also including vectors arsing from the M-theory threeform, while in Type II theories we comment on including the dilaton and modes from the NS-NS two-from. We first derive the five-dimensional two-derivative effective action and show that eleven-dimensional eight-derivative terms only lead to a modification of the scalar field corresponding to the overall classical volume of Y 3 in accordance with [43]. Furthermore, we then derive the five-dimensional four-derivative terms originating from the eleven-dimensional eight-derivative terms. Increasing computational complexity forces us to restrict to terms quadratic in the fluctuation. The main couplings at four-derivative level are found to be divisor integrals of the second Chern class of Y 3 and two new tensorial structures Z ikl , X (0) ai , see (3.27) and (3.40), involving one and two Riemann tensors on Y 3 . However, the physical significance of the latter two remains unclear, since there might exist a field redefinition ambiguity in the description of higher-derivative theories. We also preform the dimensional reduction of Type II ten-dimensional effective actions with a focus the deformations of the Kähler structure and scalars b a arising from the zero mode expansion of the NS-NS two-form. The two-derivative four-dimensional effective action for the Kähler structure deformations contains the well known shift with the Euler characteristic of Y 3 [43]. In Type IIA reductions we then use the fact that the Kähler structure deformations and the scalars from the NS-NS two-form combine into the complexified Kähler moduli in N = 2 vector multiplets. In order to obtain their kinetic terms from a N = 2 prepotential [27], we find that a string tree-level structure for the kinetic terms of the scalars b a is missing. This forces us to add a minimal novel set of H 3 -terms in ten dimensions. In other words, we use four-dimensional supersymmetry constraints to suggest missing higher-derivative terms in the ten-dimensional action.
In the last part of this work we discuss the dimensional reduction when considering only a single Kähler modulus u = log V, where V is the volume of Y 3 . In this case all computations simplify significantly and can be preformed exactly without restricting to quadratic order in the fluctuations. We derive all four-derivative couplings stemming from the R 4 -terms in M-theory and both Type II theories. Furthermore, we discuss the possibility of higher-derivative field redefinitions. This allows us to show that there exists a field basis in which the four-derivative effective actions can be chosen to only consist of the Gauss-Bonnet term and a four-derivative interaction (∂u) 4 . We also comment on the orientifold truncation of this N = 2 result to a minimal supersymmetric setting in four dimensions. After truncation we aim to make contact to the proposal of [48] to stabilize moduli using higher-derivative terms. Our reduction allows us to determine the exact coefficient of the (∂u) 4 -term. However, our findings do not indicate which supersymmetric completion of this term has to be chosen. To clarify the phenomenological relevance of higher-derivative terms for moduli stabilization a direct derivation of the scalar potential appears to be crucial.

Higher derivatives and circle reduction
The purpose of this section is to introduce the bosonic low-energy effective actions of Type IIA string theory and M-theory including known and conjectured eight-derivative terms.

JHEP02(2018)127
Furthermore, we comment on the duality of the Type IIA and M-theory low-energy effective actions once eight-derivative terms are taken into account. As already mentioned in the introduction many authors contributed significantly to the determination of the higherderivative corrections to these low-energy effective actions in the past. The most recent results on these corrections were obtained in [12]. We will therefore follow this reference closely, but also suggest new terms that seem to be required by supersymmetry arguments.
2.1 Ten-dimensional Type IIA supergravity action at eight derivatives In the following we will use a tilde to denote a field or operator in ten dimensions and capital letters at the beginning of the alphabet for tensor indices in ten dimensions. The bosonic field content of ten-dimensional Type IIA supergravity is given by the ten-dimensional metricg AB , the dilaton in ten dimensionsφ and the two-formB 2 all of which descend as massless modes from the NS-NS sector of the RNS superstring. These terms are augmented by further fields from the R-R sector which however do not play a role in the following. We will therefore restrict ourselves completely to the NS-NS fields.
The part of the N = 2 low energy effective action of the Type IIA superstring we are considering takes the schematic form where we already introduced the expansion parameter (2. 2) The classical action at lowest order in the parameter α has for the NS-NS fields the form where M 10 is the spacetime manifold,R is the Ricci scalar in ten spacetime dimensions andH 3 = dB 2 is the field strength of the NS-NS two-form. The gravitational coupling in ten dimensions, denoted by κ 10 is related to the Regge slope α ′ by the relation At eight derivatives the action gets supplemented by additional terms quartic in the Riemann tensor at both tree-level and one-loop in the string coupling g s . These pieces of the action take the schematic form For the detailed form of these terms and the definition of the tensor t 8 in ten and eleven dimensions we refer the reader to appendix B. Note that the relative sign flip of the oneloop contribution compared to the tree-level piece is characteristic for Type IIA and does JHEP02(2018)127 not appear in Type IIB. Additionally, there is an eight-derivative coupling involving the NS-NS two-formB 2 and four Riemann tensors, which will, however, not play a role in the Type IIA discussion. Its M-theory counterpart will be taken into account when the four-derivative couplings in five dimensions are computed. It is furthermore conjectured in [12] that the completion of the eight-derivative terms with respect to the NS-NS two-form is almost completely captured by introducing a connection with torsion. It is then claimed that higher-derivative terms involvingB 2 can be obtained from theR 4 terms by computing the latter with respect to the aforementioned torsionful connection. We will not collect all the structures emerging from this procedure but outline the strategy how to get the eight-derivative terms we need for our discussion.
Both the tree-level and one-loop contributions to theR 4 action can be expressed in terms of the two 'superinvariants' such that theR 4 -terms read The last term in (2.8) corresponds to the eight-derivative coupling involvingB 2 that we do not consider in the Type IIA context and is therefore also ignore in (2.10). TheB 2 field completion at eight derivatives is according to [12] then given by the replacements where the Riemann tensor with respect to the connection with torsion Ω ± is given in components bỹ For the detailed structure of the coupling ǫ 10 ǫ 10H 2 3R 3 we again refer the reader to appendix B. The terms generated by this replacement up to quadratic order in the NS-NS three-form field strength are denoted by SH 2 in (2.1). However, as we will explain in section 4, the replacements (2.11) and (2.12) appear not consistent with four-dimensional supersymmetry. We therefore propose a corrected JHEP02(2018)127 replacement given by 3 * 1 (2.14) and the explicit index expression of (2.14) is given bỹ Notice, that the structure of the modified replacement (2.14) is such that the tree-level terms get modified, whereas the one-loop terms remain untouched. Furthermore, note that the index contraction of (2.15) is such that it cannot be obtained via the metric replacement (2.13) applied to the R 4 -terms.

Corrected Y 3 background solution at order α ′3 in Type IIA
At lowest order in α ′ a solution of the equations of motion with a six-dimensional compact internal space preserving four-dimensional N = 2 supersymmetry is simply given by a product manifold M 10 = M 1,3 × Y 3 , a constant dilaton, and no background fluxes. Here M 1,3 is four-dimensional Minkowski space and Y 3 is a Calabi-Yau manifold. Due to the eight-derivative couplings at order α ′3 we next look for a corrected solution to the modified equations of motion. In doing that we demand that the corrected solution reduces to the classical Y 3 solution at lowest order in the expansion parameter α introduced in (2.2). Therefore, we make the ansatz ds 2 = η µν dx µ dx ν + g (0) mn + αg (1) mn dy m dy n , (2.16) φ = φ 0 + α φ (1) (y) , In this ansatz η µν denotes the four-dimensional Minkowski metric, g (0) mn is the lowest order Calabi-Yau metric and φ 0 is a constant. The goal is now to fix the correction to the dilaton φ (1) as well as the correction to the metric g (1) mn . Note that in this section we work entirely with real indices m, n = 1, . . . , 6.
Varying the corrected action (2.1) with respect to the fields and evaluating the resulting equations of motion on the ansatz (2.16) yields the following equations: • external Einstein equation.

JHEP02(2018)127
In (2.17) and (2.18) we have employed the definition R mn (g (0) + αg (1) ) ≡ R (0) mn + αR (1) mn and furthermore used the complex structure J (0) n m , the Hodge star * (0) 6 and the third Chern class c (0) 3 all of which are evaluated on the zeroth order Calabi-Yau background. The equation of motion for the NS-NS two-form is trivially satisfied and the equation of motion of the dilaton coincides with the external Einstein equation in the string frame. Compatibility of the external and internal Einstein equation is achieved by taking the trace of the internal Einstein equation and comparing it to the external Einstein equation, which in turn fixes the correction of the dilaton to Going to complex indices in (2.20) shows that 3 ), which in turn has a solution g (1) i ∼ ∂ i∂ f (y) for some specific function f which depends on the compact manifold and serves of as a Kähler potential. The holomorphic and antiholomorphic indices can take the values i = 1, 2, 3 and =1,2,3. The precise form of f can be computed explicitly, which we will only do for the case of M-theory in section 2.4 since the procedure is the same and the precise form of f is of no physical importance, as the metric correction turns out to completely decouple from low energy dynamics.

Eleven-dimensional supergravity action at eight derivatives
The higher-derivative corrections obtained for the low-energy limit of Type IIA superstring can be lifted to an eleven dimensions and are believed to comprise the low-energy effective action of M-theory. Regarding notation we will use hats to indicate that a certain object is defined in eleven dimensions and eleven-dimensional indices M, N, . . . from the middle of the alphabet. At two-derivative level the effective action of M-theory is eleven-dimensional N = 1 supergravity [14]. Its bosonic part is given by The dynamical degrees of freedom are the eleven-dimensional metricĝ M N and the M-theory three-formĈ 3 with its field strengthĜ 4 = dĈ 3 . As for the Type IIA action we introduce an expansion parameterα where κ 11 is related to the eleven-dimensional Planck length ℓ M as κ 2 11 = 1 2 (2π) 8 ℓ 9 M such thatα ∝ ℓ 6 M . The eight-derivative action of M-theory up to terms quadratic inĜ 4 takes the following schematic form

JHEP02(2018)127
Let us proceed by introducing the various pieces contributing to the eight-derivative action (2.23). The most prominent part is the well knownR 4 combination, which is given by and gets supplemented by anR 4 coupling to the M-theory three-formĈ 3 via an eight-form curvature polynomialX 8 , namely The sector involving the four-form field strengthĜ 4 is obtained by lifting the conjectured terms, which we recalled in section 2.1, to eleven dimensions [12]. The terms we are considering are the ones quadratic inĜ 4 and their corresponding actions in (2.23) are For the detailed structure of all the terms in (2.23) we once again refer the reader to appendix B. Note however that the new tensorial structureŝ 18 is not fully known but contains six unfixed coefficients a i [15,16]. The reason for this ambiguity is that the analysis carried out in [15] is sensitive only to terms which do not vanish at the level of the four point function. However, there are six independent combinations of contractions which require a five point function analysis to fix their corresponding coefficient in the effective action. Let us stress that we will argue in section 2.5 that we need to add another term quadratic inĜ 4 to the eleven-dimensional effective action to ensure compatibility of the M-theory and Type IIA reductions for the considered backgrounds.  [58]. This problem was already solved in the case of a three-dimensional Minkowski spacetime and a complex four-dimensional compact internal space, which is at lowest order a Calabi-Yau fourfold [1,17,19], a Spin(7) holonomy manifold [18] or an internal manifold with G 2 holonomy [20].
The ansatz for the fourfold solution in [17,19] involves a warp factor, fluxes and an overall Weyl rescaling. The necessity for warping and fluxes can be traced back to the fact, that the eight-form curvature polynomialX 8 does not vanish on the internal Calabi-Yau manifold and one therefore has to take into account fluxes in order to ensure, that theĈ 3 equation of motion is satisfied. In our case the situation is different, since the eight-form JHEP02(2018)127 X 8 trivially vanishes on the Calabi-Yau threefold Y 3 . Thus the modified ansatz for the background solution can be taken to have the following form mn +αg (1) mn dy m dy n , (2.28) Ĝ 4 = 0.
The variation of the quantum corrected action (2.23) then gives rise to the following conditions on the corrections Φ (1) (y m ) and g (1) mn (y m ): • external Einstein equation.
In order to fix the global Weyl factor Φ (1) one again takes the trace over the internal Einstein equation and eliminates all expressions involving R (1)) mn by making use of the external Einstein equation resulting in It is important to notice that the correction to the internal Ricci tensor is governed by an expression which is twice a covariant derivative of the Hodge dual of the third Chern form. The strategy to solve this equation is to split * (0) 6 c (0) 3 into a part which is constant on the internal space and therefore drops out of the equation of motion and a part which varies non trivially over Y 3 . To make this separation one uses the fact that the third Chern form satisfies dc (0) 3 = 0 but d † c (0) 3 = 0 and can therefore be expanded as is the harmonic part of c (0) 3 which is unique by virtue of the Hodge decomposition theorem and ξ is a (2,2)-form satisfying ∂ † ξ =∂ † ξ = 0. The unspecified (2,2)-form clearly parametrizes the non-harmonicity of the third Chern form. Since Π H c (0) 3 is harmonic by definition and [∆ d , * 6 ] = 0 it follows immediately that the scalar function h(y m ) ≡ * (0) 6 Π H c (0) 3 is constant on the compact Y 3 and can therefore be ignored in the equation of motion. Furthermore, using that on a Kähler manifold the Laplacian satisfies ∆ d = 2∆ ∂ = 2∆∂ one shows that

JHEP02(2018)127
where J (0) is the Kähler form of Y 3 and ∆ (0) = ∇ (0) k ∇ (0)k is the Laplace-Beltrami operator. Having determined the non-trivial part of the correction to the internal Ricci tensor the equation determining g (1) reads whose solution can be checked to be We again observe in (2.36), that the correction to the metric is twice the derivative of a scalar function. We once more want to stress, that one of the key ingredients for the derivation of consistent two-derivative effective actions from dimensional reduction is the interplay between higher-derivative corrections and the fully backreacted background solution, as we will see in section 3.

Comments on M-theory -Type IIA duality on Calabi-Yau backgrounds at eight-derivative level
In the following we argue that we need to include another term in the eleven-dimensional action in order to obtain after compactification a five-dimensional effective action that is consistent with N = 2 supergravity. Such a term is necessary due to the fact that the considered background solutions include a non-trivial correction to the ten-dimensional dilaton (2.19). The additional part of the action then compensates for the absence of the dilaton in eleven dimensions. For the discussion in this section we will closely follow [20] and extend it by including the M-theory three-form. The additional piece of the eightderivative action at orderα we need is

JHEP02(2018)127
such that the classical action picks up two additional terms from this field redefinition It is now easy to check, that the equations of motion for an ansatz involving five-dimensional Minkowski spacetime and a compact complex dimension three internal space in this frame can be solved by a direct product where g (1) i is simply (2.36) in complex indices. The additional term in (2.40) induces terms that become backreaction effects in the frame in which the Weyl factor has to be included. Therefore, the expectation is that with the choice M 10 = M 1,3 × Y 3 the circle reduction of (2.40) is equivalent to the classical Type IIA action up to a possible field redefinition of the dilaton. This redefinition of the dilaton is expected, since the background solution of Type IIA includes a non-constant dilaton (2.19). Concretely, we will consider an elevendimensional ansatz of the form with the circle coordinate y ∼ y + 1 and the ten-dimensional metricg AB given by (2.41) with three-dimensional Minkowski spacetime. We will furthermore keep terms linear in the dilaton, since these are not expected to occur at higher-derivative level in the string frame and should therefore be captured by a field redefinition. The reduced action (2.40) including linear dilaton terms and the correction ∆S M then reads We then notice that we can recover the classical Type IIA action if we perform a redefinition of the dilaton according to and if we identify ∆S M with the expression (2.37). Consequently, the additional part of the eleven-dimensional action (2.37) captures a part of the effect which the corrected dilaton has on the low energy effective action. We stress that this analysis relies on the background geometry stated in this section explicitly. It is therefore expected, that the general analysis requires more complicated structures. However, the analysis of [20] for the case, where the internal space is a G 2 manifold, shows the same properties with the quantityẐ playing a major role. From now on we will consider the action (2.37) as a part of the full eleven-dimensional action (2.23).

M-theory on Calabi-Yau threefolds
We study the dimensional reduction of M-theory on the background solution found in section 2.4 preserving N = 2 supersymmetry in five dimensions. We perturb the background solution and derive the two-derivative effective action as well as four-derivative operators quadratic in the lower dimensional fields.

N = 2 supergravity in five dimensions
For later reference the basic ingredients of five-dimensional N = 2 ungauged supergravity are collected. In the dimensional reduction of M-theory we focus entirely on the massless sector. For this reason, the relevant massless multiplets are given in table 1. Note that the entire tensor multiplet can be dualized into a vector multiplet since in five dimensions a two form B is dual to a vector. Let us now turn to the geometry of the scalar field space in the various multiplets. Since the main focus will lie on the vector-and gravity multiplet, we will only briefly discuss the hypermultiplet sector. The scalar field space M scalar is locally given as the direct product [49] M scalar = M real sp. × M quat. Käh. , where M quat. Käh. is a quaternionic Kähler manifold parametrized by the hypermultiplet scalars. The vector multiplet scalar geometry is encoded in a real very special manifold M real sp. with metric encoded by a cubic potential. This sector is highly restrictive and allows for precise tests of higher-derivative couplings based on supersymmetry. The vector multiplet scalar geometry is describe by the (n V + 1) very special coordinates L a , where a = 0, . . . , n V exceeds the number counting the actual vector multiplet scalars by one. However in the end, the scalars L a parametrize only n V degrees of freedom. This can be understood in a geometric way as follows. The scalar sector of the vectormultiplet can be interpreted as a n V dimensional submanifold embedded in an ambient (n V +1)−dimensional manifold with coordinates L a . The hypersurface spanned by the vector multiplet scalars is defined by a cubic polynomial, which in general takes the form

JHEP02(2018)127
where C abc is a constant and symmetric tensor. The hypersurface constraint that has to be satisfied by the very special coordinates L a is then simply given by The canonical N = 2 supergravity action in the bosonic sector can then be written as [21,22] S (5) can. = The notation indicates that the vector in the gravity multiplet A 0 was included in a collective notation such that the index a = 0, . . . , n V . The hypermultiplet metric h uv does not play a role in the following and will therefore not be treated. The restrictive nature of N = 2 supergravity in five dimensions follows from the constraint (3.3) and the fact that the metric for the vector multiplet scalars is determined from the cubic polynomial N as where the notation N a ≡ ∂ L a N was introduced. Thus, the geometry of the vector multiplet space is fully determined by the cubic potential N .

The two-derivative effective action
The first step in our analysis will be the derivation of the two-derivative effective action for the gravity-and vectormultiplet fields as well as a hypermultiplet scalar, which in the classical case is the volume modulus of Y 3 . To perform the dimensional reduction of Mtheory we perturb the background solution found in section 2.4. A crucial observation is the fact, that the correction to the Calabi-Yau metric g (1) i drops out of the final expression, since it can be written as twice the derivative of a scalar function and therefore only contributes as a total derivative. So effectively the dimensional reduction of (2.23) is performed on the metric background where the deformations of the Kähler class of Y 3 parametrized by δv a are expanded in a real basis ω a ∈ H 1,1 and we have introduced the notation ∂ a ≡ ∂ δv a . In the M-theory three-form zero-mode expansion we only keep terms contributing to the vector and gravity multiplet in five JHEP02 (2018)127 dimensions. More precisely, we only take into account modes giving rise to vectors A a in five dimensions. The expansion is thuŝ i.e. along the H 1,1 ∂ (Y 3 ) cohomology. In principle, the massless modes in the effective theory do not have to coincide with the ones from the classical reduction. The reason for this is the fact, that the linearized equations of motion, which are solved by the massless modes, can receive non-trivial corrections. Along the lines of [11], using the fact that the massless deformations of the corrected background in the compactification ansatz should preserve the Kähler condition as well as the Bianchi identity for the four-form field strength in the absence of M5-branes, it is possible to show on general grounds that the possible corrections to the massless fields at most contribute as total derivatives to the effective action and therefore decouple. Thus, we will ignore these corrections in the following and treat the perturbations as the ones of the classical M-theory reduction on a Calabi-Yau threefold. We will proceed by recording the results of the contributions of the classical and the eightderivative action to the kinetic terms separately. Finally we will consider all contributions at quadratic order without any five-dimensional derivative, i.e. terms contributing to a scalar potential.
Classical action. First let us perform the dimensional reduction of the classical Einstein-Hilbert term on the perturbed and α ′ -corrected background (3.6). Focusing on terms carrying two derivatives in five dimensions up to second order in the fluctuations we obtain where we made use of the shorthand notation which we will use extensively throughout this work. From the classical action we furthermore pick up a correction to the kinetic terms of the vectors and a Chern-Simons term in JHEP02(2018)127 where we introduced the triple intersection numbers K abc = Y 3 ω a ∧ ω b ∧ ω c on Y 3 , which appear as the coefficients of the Chern-Simons term. We furthermore record the reduction of (2.37) yielding Eight-derivative action. We obtain further contributions to the kinetic terms of the five-dimensional theory by reducing the eight-derivative terms in the action (2.23) on the lowest order Calabi-Yau background. The R 4 -terms (2.24) lead to a correction to the kinetic term of the Kähler class deformations and a correction to the Ricci scalar and from (2.26) and (2.27) we obtain the corrections to the kinetic terms of the vectors Note that in order to obtain the result (3.16) we had to fix a 1 = a 2 inŝ 18 . This is necessary to arrive at an expression, which is solely built of internal space Riemann tensors and harmonic (1,1)-forms without explicit derivatives after applying internal space total derivative identities. Then the final result can be shown to be independent of the unfixed coefficients a n by applying Schouten identities. Before putting the results obtained in this section together to obtain the five-dimensional two-derivative effective action we briefly comment on the scalar potential.
Scalar potential. Let us consider the higher curvature terms proportional toR 4 once again. The dimensional reduction of these, focusing on the zero external derivative contributions gives This indeed looks like a mass term arising for the fluctuations δv a . Another potential source for a scalar potential is the classical Einstein-Hilbert action, since it is possible to pick up a mass term if one performs the dimensional reduction on theα-corrected background solution (3.6). The reduced Einstein-Hilbert term then reads

JHEP02(2018)127
which is exactly the contribution needed to cancel the one coming from the higher curvature terms (3.17). From the reduction results (3.17) and (3.18) it is also possible to see that their contribution entirely stems from the non-harmonicity of the third Chern class given by i∂∂ξ. Moreover this cancellation shows that taking into account the backreaction and expanding the perturbations around a consistent background solution is crucial for the five-dimensional effective action. Note that this cancellation is already expected from a previous analysis on a fourfold in [10].
We are now in a position to collect the various pieces (3.9), (3.13), (3.14), (3.15), (3.16) and merge them into the five-dimensional two-derivative effective action Note that all terms involving the coupling R ab in (3.19) canceled. These cancellations are in fact crucial for compatibility with N = 2 supergravity in five dimensions, as the coupling R ab is not proportional to the Euler characteristic χ(Y 3 ), since the non-harmonic part of the third Chern class prevents us from performing an integral split. The surviving coupling T ab however satisfies since the traces of the harmonic (1,1)-forms are constant. The quantity V (0) in (3.20) denotes the volume of the zeroth order Calabi-Yau manifold and K (0) a , K (0) ab are contractions of the intersection numbers with the Kähler moduli evaluated in the background, whose precise form can be found in appendix A. In the following we will denote quantities evaluated in the background with a zero superscript. We now perform a Weyl rescaling of (3.19) according to g µν → V −2/3 M g µν and the uplift from infinitesimal Kähler class deformations to finite fields v a leading to the action in Einstein frame In (3.21) we used the definition of the Calabi-Yau volume V = 1 3! K abc v a v b v c . We will now make contact with N = 2 supergravity outlined in section 3.1. It is already clear from (3.4) that we make the identification C abc = K abc , since there is no correction to the Chern-Simons term in five dimensions, leading to the cubic constraint

JHEP02(2018)127
which the physical scalars in the vectormultiplet L a have to obey. This constraint is obviously solved by L a = V − 1 3 v a which is equivalent to the classical case. Due to the relation (3.5) this data is enough to completely fix the geometry on the vectormultiplet and shows, that there are no quantum corrections present in this sector. The correction ∼ χ(Y 3 ) in (3.21) must therefore be the one of a hypermultiplet. Using the explicit form of the physical scalars L a one can show that (3.21) is equivalent to where we used the metric G ab derived from the cubic potential (3.22) given by Classically one identifies one of the hypermultiplet scalars D with D = − 1 2 log V [21], whereas when taking quantum corrections into account we find the corrected hypermultiplet scalar such that the final action is We have thus shown that our dimensional reduction of M-theory at two-derivative level is compatible with N = 2 supergravity. The metric of the vectormultiplet coincides with the one of the classical reduction, such that the only net effect at two derivatives is a corrected field identification of one hypermultiplet scalar. This can in turn be interpreted as a renormalization of the volume of Y 3 at orderα, see (3.25).

Four-derivative terms of the Kähler moduli
We now aim to include four-derivative terms in the effective action including at most two fluctuations δv a . Obviously this truncation misses e.g. the four-derivative interaction of the form (∂v a ) 4 since this would require at least an analysis up to order δv 4 , which is however technically very involved. In this section we therefore consider the background perturbations (3.7) up to second order. We now introduce the coupling capturing the fourderivative terms we find for the Kähler deformations as well as most of the four-derivative terms of the vectors in five dimensions derived in section 3.4. It is a non-topological, co-closed (2,2)-form Z whose components are given by

JHEP02(2018)127
satisfying the relations This object was already recognized to play a role in the context of N = 2 four-derivative couplings arising from string compactifications in [23,24]. The four-derivative couplings from theR 4 terms we find by reducing them in a straightforward way to five dimensions are then where we performed external spacetime integrations by parts and defined ≡ ∇ µ ∇ µ . Additionally, we introduced the five-dimensional curvature two-form R µ ν satisfying R µνρσ R µνρσ ⋆ 1 = −8 Tr R ∧ ⋆ R and the shorthand notation which we will use frequently in the following. 2 Note that the Kähler form in (3.31) coupling to the second Chern class of Y 3 is with respect to the fluctuated metric J = J (0) +δv a ω a and the second order fluctuations of the terms built of two Riemann tensors in five dimensions cancel in a non-trivial way. In the following we will discuss the Riemann squared terms in (3.31) when moving to the five-dimensional Einstein frame. Note that the second line in (3.31) is already second order in the fluctuations δv a such that the Weyl rescaling simply leads to an overall factor proportional to the zeroth order Calabi-Yau volume V (0) . The terms involving two five-dimensional Riemann tensors however come with at most linear terms in δv a and get therefore a less trivial modification from the Weyl rescaling considering terms up to order δv 2 . The explicit form of the action after the Weyl rescaling in terms of the fluctuations is very involved and we will not display it here. Since we are in the end interested in the corresponding action of the finite fields we will give an action, which precisely reproduces the Weyl rescaled action when expanding it in infinitesimal fluctuations. We therefore introduce the scalar

JHEP02(2018)127
The Riemann squared action in Einstein frame then reads where we now have the moduli dependent coupling The uplift of the terms in the second line in (3.31) is however not obvious, due to the non-topological nature of the coupling Z (0) ab . The naive guess would be to promote Z (0) ab → Z ab ≡ Z ab (v a ) to its moduli dependent counterpart and to lift δv a → v a . A higher order analysis in the fluctuations δv a might provide further evidence for this claim.

Four-derivative terms of the five-dimensional vectors
Before we continue with the results of the four-derivative terms involving five-dimensional vectors, or rather two powers of their field strength to be more precise, let is note that it is well known that there is also a five-dimensional gauge-gravitational Chern-Simons term present [21,25,43]. This contribution to the five-dimensional effective action arises upon dimensional reduction of (2.25) and is in our conventions It was worked out in [26] that the coefficients of this gauge-gravitational Chern-Simons term and the coefficient of the R µνρσ R µνρσ term in (3.31) are related by supersymmetry and matches our computation. This known fact serves as a crosscheck at this point. We proceed by dimensionally reducing the action keeping terms containing four derivatives in M 5 and up two five-dimensional field strengths F a = dA a . We will keep the coefficients a n completely generic, however keeping in mind that the discussion of the two-derivative action forced us to impose a 1 = a 2 . The part of the five-dimensional effective action containing the Ricci scalar and two field strengths of the vectors is and the terms involving the five-dimensional Ricci tensor reduce to

JHEP02(2018)127
The treatment of the terms containing one five-dimensional Riemann tensor fully contracted on two field strength tensors F a is however more complicated. In addition to internal space total derivative identities we made use of the first Bianchi identity for the five-dimensional Riemann tensor and introduced a new object X (0) a = X (0) ai dz i ∧ dz whose components are given by It is interesting to note, that with this new building block the reduction can be performed without having to fix any of the parameters a n . We will therefore give the general result, however keeping in mind that a 1 = a 2 . We then obtain the following additional coupling of the vectors to the five-dimensional Riemann tensor The coefficients f (α) i , i = 1, . . . , 6 depend on the unfixed a n from the definition of the tensor s 18 and are given by the linear relations Observe that we have f (α) The last contribution we are lacking is the structure with the schematic form ∇F a ∇F b . The reduction reveals, that there are two different structures present, which are however related o each other by exploiting the Bianchi identity of the vectors A a given by dF a = 0. In components this means 3∇ [ρ F a µν] = 0 giving us the identity which allows us to eliminate one of the two structures. The resulting piece in the fivedimensional Lagrangian is then

JHEP02(2018)127
and its corresponding coefficients in terms of the a n are where we again find a linear relation among the coefficients f (β) 4 = 2f (β) 5 . We can now put the results together and use the identities (3.28)-(3.30) to obtain the four-derivative acion of the vectors quadratic in F a We furthermore introducedf (α,β) 1 = (2π) −2 f (α,β)

1
. A general four-derivative N = 2 supergravity theory combined with taking into account the possibility to perform higherderivative field redefinitions could in principle, if available, be used to constrain or even completely fix the coefficients a n .

Type IIA supergravity on Calabi-Yau threefolds
In this section we derive the four dimensional two-derivative effective action of Type IIA supergravity including both tree-level and one-loop eight-derivative terms in ten dimensions. We stress that higher-derivative terms of the ten-dimensional dilaton and the RR-fields are not known and therefore not taken into account. We therefore focus on the R 4 terms in ten dimensions and the conjecturedH 3 completion of the one-loop Type IIA terms from [12]. Since these conjectured terms are based on introducing a connection with torsion, upon which the superinvariants J 0,1 are evaluated, we assume for this section that the tree-level terms are completed in the same fashion. We already saw in the context of the M-theory Y 3 reduction, that the one-loop terms are compatible with N = 2 supegravity in five dimensions. One consistency check of our computations will be, that we obtain the correction to JHEP02(2018)127 the prepotential, from which the metric of the complexified Kähler moduli t a = b a + iv a derives, which takes the form where the ellipses denote terms ∼ k ab t a t b + c a t a , which however do not contribute to the Kähler potential, as well as non-perturbative contributions stemming from worldsheet instantons. This correction is well known [27,28,43], we however show a first derivation which is solely based on a dimensional reduction of Type IIA supergravity.

The two-derivative effective action
The purpose of this section is to dimensionally reduce the ten-dimensional Type IIA supergravity action including the eight-derivative corrections introduced in section 2.1 to four dimensions. We are considering the modified Y 3 solution (2.16) including deformations of the Kähler class parametrized by the fluctuations δv a as before and in addition scalars b a from the zero-mode expansion of the NS-NS two-form in harmonic (1, 1)-forms. Our focus will lie on the kinetic terms of these scalar modes, since they combine into the complexified Kähler moduli t a = b a + iv a and the geometry on the space of these is specified by a prepotential f (t a ). We will split again the reduction into two separate parts: the reduction of the classical Type IIA action on the corrected background (2.16) and the reduction of the eight-derivative terms in ten dimensions on the lowest order Calabi-Yau background.
Classical action. The classical action gives rise to the following contribution to the kinetic terms in four dimensions where we defined the constants and made use of the definition (3.10).

JHEP02(2018)127
Eight-derivative action. The reduction of the eight-derivative terms in ten dimensions yields the action which again has the property that, combining it with the reduction from the classical action (4.3), all couplings involving R ab cancel, such that the four-dimensional action is independent of it. Summing up the two pieces (4.3) and (4.5) of the action in four dimensions leads to We furthermore introduced the notation for the prefactor of the four-dimensional Ricci scalar which can be removed by a Weyl rescaling of the metric g µν → V −1 IIA g µν . Performing this rescaling as well as the uplift from infinitesimal to finite fields v a leads to the effective action in Einstein frame where we have restored the explicit α ′ -dependence by using (2.2). We split the action (4.8) into a classical and quantum (tree-level and one-loop) corrected part which are explicitly given by

JHEP02(2018)127
Let us now comment on the origin of the various corrections. It is evident in (4.6) that the corrections to the kinetic term of the scalars b a cancel and can thus only come from the Weyl rescaling. This in turn implies, that the correction is at tree-level in g s , since the contributions to the Ricci scalar for the one-loop terms precisely cancel. This in turn can be traced back to the fact, that the R 4 terms in Type IIA suffer from a relative sign flip when comparing tree-level to one-loop. The Kähler moduli receive both tree-level and one-loop corrections. The one-loop corrections are marked in (4.10) with a factor proportional to the dilaton vev. Now let us discuss the possible corrections of the vectormultiplets containing the complexified Kähler moduli t a . The vectormultiplet metric can not depend on a scalar in a hypermultiplet, in particular the dilaton, which identifies the term ∼ e 2φ 0 in (4.10) as a correction to a hypermultiplet. It is furthermore well known, that the prepotential in Type IIA obtains a tree-level (in g s ) correction of the prepotential according to The constant a is already completely fixed from the terms ∼ K ab in (4.10), while terms ∼ K a K b dv a ∧⋆ dv b can in principle be absorbed in the definition of a hypermultiplet scalar. One can then compute the metric following from the prepotential (4.11) and compare the coefficient with the one of the ∼ K ab terms in (4.10) which leads to Choosing units as ℓ s = 2π √ α ′ = 1 one obtains the desired result for the prepotential correction (4.13) Note however, that a correction ∼ K a K b db a ∧ ⋆ db b cannot be absorbed in the definition of a hypermultiplet scalar φ 4 with e.g. a contribution φ 4 =φ + K a b a + . . ., thus spoiling the shift symmetry of b a . In order to match also the b a sector with the metric derived from (4.13) we therefore need the additional contribution from the reduction of the tree-level eight-derivative terms includingH 3 . This missing structure strongly indicates, that the logic of obtaining theB 2 field completion of the eight-derivative terms employed in [12] cannot be applied to the tree-level terms. However, if one considers the modified replacement (2.14) the new structuret 8t8H 2 3R 3 gives precisely the lacking contribution (4.14).

Four-derivative terms of the Kähler moduli
We proceed by determining the four-derivative terms of Type IIA supergravity in a similar way to section 3.3. Due to the lack of a complete eight-derivative action of the dilaton in ten dimensions we do not take into account the latter. We thus consider the action

JHEP02(2018)127
since the classical action does not lead to any four-derivative coupling in five dimensions. However, let us add two comments on the impact of the classical action on the fourderivative couplings. After the reduction, the four-derivative terms at order α ′3 are not in Einstein frame. Performing a Weyl rescaling of the Einstein-Hilbert term after the reduction given by ∼ e −2φ VR one obtains the Einstein frame four-derivative couplings. Notice that any order α ′3 contribution to the Ricci scalar does not alter the form of the four-derivative terms at order α ′3 .
Tree-level terms. The tree-level terms give rise to the four-derivative couplings where J = J (0) + δv a ω a . Notice that the terms in the first line in (4.16) coupling to divisor integrals of the second Chern class vanish up to derivative terms of the dilaton by virtue of the contracted second Bianchi identity. Performing the Weyl rescaling g µν → e 2φ V −1 g µν one obtains the effective action in Einstein frame. Due to the appearance of the R 2 terms in four dimensions the Weyl rescaling is rather involved. We therefore refrain from spelling out the effective action in terms of fluctuations but rather give an action in terms of the fields after the uplift, which precisely reproduces the action obtained in terms of the fluctuations δv a . By defining G µν = R µν − 1 4 Rg µν , in close analogy to the Einstein tensor 3 one finds The last line in (4.17) involving the coupling to the divisor integrals of the second Chern class again vanishes up to dilaton terms upon integrating by parts. We once more stress, that the trivial uplift Z (0) ab → Z ab is not necessarily the complete answer and the role the tensor Z (0) ikl plays both from a mathematical and a physical point of view is not clear.

JHEP02(2018)127
One-loop terms. The one-loop terms in ten dimensions give rise to the four-derivative terms In the following we will again consider the Weyl rescaling of the squared Riemann terms in (4.18). To do this we redefine the metric as g µν → e 2φ V −1 g µν leading to a canonically normalized Einstein-Hilbert term. Performing the rescaling and the uplift to finite fields one obtains

Type IIB supergravity on Calabi-Yau threefolds at four derivatives
In this section we summarize the four-derivative couplings involving Kähler moduli derived in [24] via the same logic as in the previous section but starting from type IIB supergravity in ten dimensions. The intention is to present a complete discussion in this work. The twoderivative discussion of type IIB supergravity at order α ′3 was recently revisited in [29] for generic h 1,1 , and reproduces the well known Euler-characteristic correction to the Kähler potential [45]. This discussion involves the parametrisation of the higher-derivative dilaton action and is thus beyond the treatment in this work. However, let us note that the complete axio-dilaton dependence of the R 4 -terms in type IIB is known to be where E(τ,τ ) 3/2 is the SL(2, Z)-invariant Eisenstein series given by with τ =C 0 + ie −φ := τ 1 + iτ 2 the axio-dilaton. When performing the large τ 2 limit, corresponding to the small string coupling limit (4.21) becomes

JHEP02(2018)127
In the following discussion, we will use this approximation in (4.20) and only consider the leading order g s contribution, given by The four-derivative corrections arising from the ten-dimensional R 4 -terms result in where we once again have J = J (0) + δv a ω a and we have dropped the tilde onφ to indicate that it is now a four-dimensional field. The final result is derived by combing the Weyl rescaling of the reduction of tyhe classical Einstein-Hilbert action, with the uplift of the reduction result (4.24). The action one obtains is then As expected, since the tree-level R 4 -terms of both Type IIA and Type IIB have the same structure, the results of the dimensional reduction coincide, see (4.17) and (4.25). On the other hand, compared to the one-loop R 4 -terms in Type IIB, the corresponding one-loop R 4 -terms in Type IIA suffer from a relative sign flip between the two basic structures given byt 8t8R 4 and ǫ 10 ǫ 10R 4 . The two main differences between one-loop contribution to the four dimensional action at four derivatives are: the appearance of a R 2 µνρσ term in Type IIA, whereas this term is not present in the case of Type IIB and the lack of a term with the structure ∇ µ ∇ ν v a ∇ µ ∇ ν v b in the case of Type IIA compared to Type IIB. Both cases can be traced back to the different sign structures of the one-loop terms in ten dimensions leading to non-trivial cancellations.

Threefold reduction up to four derivatives -the one modulus case
In the following we simplify the discussion and assume that the background geometries under consideration have only one modulus. The advantage of the simplified discussion is,

JHEP02(2018)127
that all computations can be done exactly yet leading to non-trivial results. We consider the R 4 -terms in M-theory and both Type II theories, where for the latter we consider tree-level and one-loop terms.

M-theory one modulus reduction
In this section we comment on the M-theory compactification on a Calabi-Yau threefold including higher-derivative terms for the case of a single (volume) modulus. We only consider the gravitational terms in eleven dimensions in the following discussion. The compactification ansatz for the metric is then given by where in (5.1) the Weyl factor Φ (1) is computed using the metric g i = e u/3 g (0) i . The metric g i is furthermore normalized to unit volume, such that the relation holds. Note that the scalar field u(x) is related to the volume modulus by u(x) = log V(x).
As a first step we dimensionally reduce the action on the background (5.1) including the R 4 -terms in eleven dimensions up to four external spacetime derivatives. One obtains in five dimensions the following action Note that the quantity Z (0) is computed using the metric g (0) i which is normalized to unit volume. We furthermore made use of the schematic notation (∂u) 4 ≡ ∂ µ u ∂ µ u ∂ ν u ∂ ν u. For a canonical normalization of the five-dimensional Einstein-Hilbert term we perform a Weyl rescaling g µν → e σ g µν , (5.5)

JHEP02(2018)127
which results in the action in Einstein frame, where we have furthermore performed integrations by parts. It is clear, that higher-derivative actions of the form (5.6) suffer from ambiguities due to the possibility of performing higher-derivative field redefinitions and integrations by parts. Nevertheless, we will propose new field variables such that the action (5.6) takes a rather simple form.
If one redefines the five-dimensional metric g µν and the scalars u as the five-dimensional action boils down to The only four-derivative couplings in (5.10) surviving this field redefinition are the squared Riemann terms in the Gauss-Bonnet combination and the (∂u) 4 interaction which leads to a particularly simple form of the effective action. Effectively, one obtains a massless scalar field u coupled to Gauss-Bonnet (super-)gravity and a (∂u) 4 like interaction term. The four-derivative terms couple to the theory by means of the divisor integral where the quantities c 2 and J are now associated to the metric g i = e u/3 g (0) i , can now be implemented in (5.10) in a straightforward way using (5.12).

Type IIA one modulus reduction
Now we turn to the discussion of the one-modulus case in Type IIA. We therefore consider in a similar fashion as in the M-theory context shown above the ansatz for the metric where we again compute φ (1) given in (2.16) using the metric g i = e u/3 g (0) i . Performing the dimensional reduction of the Type IIA action including tree-level and one-loop corrections results in a four-dimensional effective action of the form

JHEP02(2018)127
transforms the action (5.15) into the four dimesnional Einstein frame action S (4) IIA = S (4) class + α ℓ 0 S (4) tree + α ℓ 1 S (4) loop , (5.21) where we split the action (5.21) in a classical piece S (4) class , a tree-level (in g s ) part S (4) tree and a one-loop correction S (4) loop . Using external space total derivative identities on can show that the relations as well as hold. The constituents of (5.21) can then be shown to take the form Similar to the M-theory discussion in section 5.1 we can again consider higher-derivative field redefinitions. The general ansatz for these redefinitions reads  The coefficients a (A) i can then have tree-level and one-loop contributions proportional to ζ(3)e −2φ 0 and π 2 /3 respectively which we again choose in a way, such that the action takes a particularly simple form. The factors multiplying these tree-level and one-loop coefficients in the various parameters a (A) i ≡ α i ℓ 0 + β i ℓ 1 are listed in table 2. The various pieces in the four-dimensional action we obtain after these redefinitions are then

Type IIB one modulus reduction
We finally aim to include the eight-derivative R 4 -terms for the case of one modulus in Type IIB. We will take into account the classical Einstein-Hilbert action, which is included in Type IIB supergravity, as well as the tree-level and one-loop R 4 -corrections in ten dimensions. Since the higher-derivative terms of the dilaton and the NS-NS two-form are not known in Type IIB, we do not include them as dynamical fields. The action we are considering thus takes the form with the classical action dτ ∧ * dτ + . . . . (5.33) and the leading order R 4 -action defined in (4.20). The ellipses in (5.33) stand for the NS-NS two-form and the R-R fields which we do not display here. The ansatz for the ten-dimensional fields is the background solution found in [29] ds 2 = e αΦ (1) g µν dx µ dx ν + 2e u/3 g (0) i dz i dz (5.34)

JHEP02(2018)127
where we have defined As in the M-theory and Type IIA reduction, we introduced the modulus u, such that the internal Calabi-Yau metric g (0) i is normalized to unit volume and the overall Weyl factor Φ (1) is again computed using g i = e u/3 g (0) i . There is furthermore a correction to the dilatoñ φ (1) ∼ * 6 c 3 , which however only contributes at order α 2 to the action and can therefore be ignored.
The results of the dimensional reduction are very similar to the tree-level terms of Type IIA presented in section 5.2. We therefore refrain from giving the results before the Weyl rescaling and simply state the result in Einstein frame. The four dimension effective action is then We can furthermore use the field redefinitions (5.27) and (5.28) and the coefficients in the first column of table 2 to simplify (5.36). Note that we also have to replace ζ(3) e −2φ 0 → Y . This finally leads to the action Note that compared to (5.15) the couplings in the action (5.36) involve different powers of the dilaton vev φ 0 . This is due to the fact, that we started on the one hand in the ten-dimensional string frame for Type IIA, whereas on the other hand our starting point for Type IIB was already the Einstein frame in ten dimensions. We can obtain the same powers of the dilaton as in (5.15) if we perform the shift u → u − 3 2 φ 0 .

Comments on the N = 1 orientifold truncation
In this final subsection we will discuss the orientifold truncation of the N = 2 compactification performed in the previous subsection. The resulting theory is expected to be a N = 1 supergravity theory and we will focus on the subsector of the theory involving the Kähler structure deformations. In addition to this restricted focus we will not try to complete the compactification to a fully consistent N = 1 setup. In fact, the presence of orientifold

JHEP02(2018)127
planes would require a more complete treatment involving D-branes, which themselves eventually contribute higher-derivative terms to the four-dimensional theory. With these caveats in mind we can nevertheless try to push our N = 2 results and comment on the recent proposal of [48] to stabilize moduli. This procedure of direct truncation from N = 2 to N = 1 has been used before in the determination of corrections to the N = 1 Kähler potential in [29,45].
In the N = 1 settings one faces similar difficulties as for in the discussion of the N = 2 Calabi-Yau threefold compactifications of the previous sections. In particular, a general N = 1 four-derivative on-shell action to which one can compare the effective action after performing a reduction is currently not available. There are, however, partial results extracted by expanding certain four-derivative terms in superspace [63]. Therefore, it is tempting to compare the N = 1 truncated one modulus reduction of section 5.3 to the action of [63] as suggested in [48]. We will therefore briefly review the required results. The main idea is to take into account a four-derivative N = 1 Lagrangian and infer from the four-derivative coupling a corresponding scalar potential. The relevant four-derivative Lagrangian is [48,63] L bos.
In (5.38) A i are complex scalars in chiral multiplets, W is the holomorphic superpotential, T ijkl is the coupling tensor for the four-derivative interaction and D j is the Kähler covariant derivative. Additionally, the Kähler metric G i is given in terms of a Kähler potential G i = ∂ i ∂K(A,Ā). The scalar potential in (5.38) consists of two terms V (A,Ā) = V (0) +V (1) , where In a simplified setup with only a single Kähler modulus sitting in a chiral multiplet after the N = 1 truncation we have to compare (5.38) with the reduction result (5.37). In order to perform the suggested comparison we first have to determine the correct N = 1 coordinates. It is well-known [30,45,62] that at leading order one has to introduce complex fields A ≡ ρ + i e 2 3 u , where ρ is the appropriately re-scaled scalar arising from the R-R four-form and we recall u = log V is the logarithm of the Einstein-frame volume of Y 3 as seen in (5.3). Taking into account the order α ′3 corrections at the two-derivative level they potentially correct the N = 1 coordinates. However, it was argued in [29,45] that the above A and the complex dilaton-axion τ = C 0 + ie −φ are still the correct N = 1 coordinates. In the following we will freeze τ and only consider the dynamics of the field A.
In order to match the action (5.38) with the reduction result (5.37) we now have to assume, that the complexified coordinates A, especially the scalars ρ, arrange themselves in way, such that only the contribution (∂A) 2 (∂Ā) 2 enters the four dimensional action.

JHEP02(2018)127
Comparing the action in the correct field variables with (5.38) leads to 4 This fixes, at least under the stated assumptions, the numerical factor discussed in [48]. Let us stress two points. First, we have used a non-trivial coordinate redefinition to obtain (5.37) and it would be desirable to study its significance in this N = 1 truncated scenario. Second, it would be desirable to compute the terms involving ρ in order to justify the crucial assumption about the dependence on the complex moduli A. In this computation one would have to use the same non-trivial coordinate redefinition, which would provide a non-trivial check.
Let us close this section by some further comments. So far we have failed to generalize the derivation of T ijkl or other couplings for the kinetic terms of v i for more than one modulus, since the computational complexity increases significantly. Also the derivation of the actual scalar potential seems currently difficult, since many of the required higherderivative terms in ten dimensions are not known. While (5.40) seems to suggest that a potential V (1) given in (5.38) is induced if a non-trivial superpotential is included, we are not able to give any further evidence for that. It has been shown, for example, in [61] that it can happen in string reductions that the potential vanishes if one finds other structures for the kinetic terms not appearing in (5.38). It would be desirable to explore this further.

JHEP02(2018)127
with equivalent definitions on the internal and external spaces. Written in components, the first and second Bianchi identity are Differential p-forms are expanded in a basis of differential one-forms as The wedge product between a p-form Λ (p) and a q-form Λ (q) is given by while the Hodge star of p-form Λ in d real coordinates is given by Moreover, the identity holds for two arbitrary p-forms Λ (1) and Λ (2) . Let us specify in more detail our conventions regarding complex coordinates in the internal space. For a complex Hermitian manifold M with complex dimension n the complex coordinates z 1 , . . . , z n and the underlying real coordinates ξ 1 , . . . , ξ 2n are related by (z 1 , . . . , z n ) = 1 Using these conventions one finds with g the determinant of the metric in real coordinates and √ det g mn = det g ij . The Kähler form is given by Let ω p,q be a (p, q)-form, then its Hodge dual is the (n − q, n − p) form * ω p,q = (−1)

JHEP02(2018)127
Finally, let us record our conventions regarding Chern forms. To begin with, we define the curvature two-form for Hermitian manifolds to be and we set Tr R = R m mrs dz r ∧ dzs , Tr R 2 = R m nrs R n mr 1s1 dz r ∧ dzs ∧ dz r 1 ∧ dzs 1 , Tr R 3 = R m nrs R n n 1 r 1s1 R n 1 mr 2s2 dz r ∧ dzs ∧ dz r 1 ∧ dzs 1 ∧ dz r 2 ∧ dzs 2 . (A.14) The Chern forms can then be expressed in terms of the curvature two-form as Tr R 3 , The Chern forms of an n-dimensional Calabi-Yau manifold Y n reduce to Tr R 3 and c 4 (Y n≥4 ) = 1 (2π) 4 1 8 (Tr R 2 ) 2 − 2Tr R 4 . (A. 16) We furthermore introduce the intersection numbers K abc as where D a = [ω a ] PD are divisors Poincare dual to the harmonic (1,1)-forms ω a . Contractions of the intersection numbers with Kähler moduli v a , such as the four-cycle volumes K a are defined as The corresponding quantities on the backgroud Calabi-Yau are denoted by K (0) ab , K (0) a are defined in an analogous way.
B Eight-derivative terms in ten and eleven dimensions

B.1 Eight-derivative terms in ten dimensions
Here we collect the explicit forms of the eight-derivative terms relevant for the discussion in the main part. The relevant structures containing four Riemann tensors are the familiar JHEP02(2018)127 t 8t8R 4 and ǫ 10 ǫ 10R 4 combinations. Their explicit form in terms of ten-dimensional indices is where ǫ 10 is the ten-dimensional curved spacetime Levi-Civita tensor and the tensort 8 has the explicit representation in terms of the metric tensor where Ω A αβ are the components of the so(1, 9)-valued connection one-form corresponding to the Levi-Civita connection. In this notation α, β are flat tangent space indices of M 10 . The structure ǫ 10 ǫ 10H 2 3R 3 which enters the replacement in section 2.1 has the component form

B.2 Eight-derivative terms in eleven dimensions
The classical eleven-dimensional supergravity action gets corrected by different contributions which should be discussed in the following. The most prominent higher curvature term in M-theory is the sector containing four Riemann tensors. These involve two different structures namely S R 4 = 1 2κ 2 11 M 11 t 8t8 − 1 24 ǫ 11 ǫ 11 R 4 * 1. (B.6) In (B.6) the two quantitiest 8t8R 4 and ǫ 11 ǫ 11R 4 have the index representation The tensort 8 is defined in a completely analogous way as in (B.3). These R 4 -terms are furthermore supplemented by another term quartic in the Riemann tensor. This term however also comprises a three formĈ 3 . This piece of the higher-derivative action then has the form which is in terms of the (real) curvature two form In addition to these quartic Riemann tensor terms it was conjectured in [12] that the completeĜ 4 dependence at O(Ĝ 2 4 ) is captured by introducinĝ M 5 M 6 · · ·R N 9 N 10 M 9 M 10 . (B.13) The last eleven-dimensional eight-derivative contribution involves the tensorŝ 18 parametrized by six unknown coefficients a n ∈ R. We then have the additional coupling of the formŝ 18

JHEP02(2018)127
The elements B i form a basis of the terms with the structure (∇Ĝ 4 ) 2R2 given in (B.16).
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.