text:
# 1 Introduction

## 1 Introduction

In any attempt to make contact between string/M-theory and phenomenology, one has to explain why the world looks effectively four-dimensional. One possibility would be that the extra dimensions are compactified on a manifold too small to be noticed at low energies. Then, in turn, one has to face the problem that every parameter in the metric of the internal space shows up as a massless scalar field in the effective theory — contradicting experiment. One solution to this problem that has recently attracted renewed interest consists in turning on internal background values for $`p`$-form field-strengths in the higher-dimensional theory. This leads to a gauging of the supergravity in the low energy effective action and, quite generically, a potential for the scalars of the “no-scale” type is induced.444However, stringy $`\alpha ^{}`$-corrections spoil the no-scale structure of the potential . Thus at least some of the scalar fields become massive.

From a phenomenological point of view, compactifications with unbroken $`N=1`$ supersymmetry in four dimensions seem most appealing in attempts to approach questions like the hierarchy or cosmological constant problem. At the same time, only $`N=1`$ supersymmetry is consistent with a chiral particle spectrum. A scenario leaving this amount of supersymmetry in the context of flux compactifications was put forward in . There, orientifolds of type IIB Calabi-Yau compactifications with 3-form flux were studied. 555For a thorough introduction to orientifolds see  and the references therein. The scalar potential was also investigated in , however in the $`N=2`$ context of Calabi-Yau compactifications without orientifolding. However, due to the presence of O3-planes (and possibly D3-branes), the derivation of the effective theory using the Kaluza-Klein procedure is not straightforward.

In this note we discuss an alternative, related setting: effective theories that are related to the type IIB orientifolds with 3-form flux, but have a more direct description as Kaluza-Klein compactifications. In particular, we consider eleven-dimensional supergravity on Calabi-Yau fourfolds with 4-form flux. Such compactifications preserve $`N=2`$ supersymmetry in three dimensions, which is the same amount as $`N=1`$ in four dimensions. The precise relation of these fourfold compactifications to IIB orientifolds can be established as follows. If the Calabi-Yau fourfold is elliptically fibered, the F-theory limit relates the fourfold compactification to type IIB compactified on the base of the elliptic fibration . At particular loci of the moduli space the type IIB compactifications have a dual description as type IIB orientifolds . Furthermore, the 3-form flux of the type IIB compactifications stems from the lift of the original 4-form flux .

One of the main questions in fourfold compactifications that we want to address is whether it is possible to break supersymmetry spontaneously from $`N=2`$ to $`N=1`$, i.e. from four to two supercharges. Our strategy to answer this question is the following. We will argue that the effective theories from compactifications of eleven-dimensional supergravity on Calabi-Yau fourfolds with 4-form flux are special cases of three-dimensional gauged supergravities, where some Peccei-Quinn (PQ) symmetries are gauged (in the case of the fourfold compactifications these PQ symmetries stem from the gauge symmetries of the 3-form). Using the general results of  about three-dimensional gauged supergravities it is then straightforward to find a condition for partial supersymmetry breaking.

The effective theories from Calabi-Yau fourfold compactifications of eleven-dimensional supergravity with 4-form flux were previously considered in . In , conditions on the flux for preserving $`N=2`$ supersymmetry were derived. In particular, only a primitive flux of type (2,2) preserves $`N=2`$. It was argued in  that this condition can be encoded in two superpotentials, whereas it was shown in  that the potential resulting from a Kaluza-Klein reduction involves one superpotential and a further contribution expressed via a real function closely related to the proposed second superpotential of . We show that the correctness of the potential found from Kaluza-Klein reduction in  is confirmed by the general $`N=2`$ gauged-supergravity potential given in . More precisely, we consider the complete bosonic part of the action for a three-dimensional supergravity with gauged PQ symmetries, in a form that is related to the one derived in  by a redualization of the PQ scalars to vectors. The redualized form is well suited for the comparison with the theories from fourfold compactifications with fluxes.

The potential was used in  to show that a flux proportional either to the holomorphic 4-form $`\mathrm{\Omega }`$ (and its complex conjugate) or the square of the Kähler form $`J`$ of the Calabi-Yau classically leads to a vanishing cosmological constant, despite the complete (spontaneous) breaking of supersymmetry. This feature had been noticed before in  (for $`F_4\mathrm{\Omega }+c.c.`$) and  (for $`F_4JJ`$). Here we further investigate the issue of supersymmetry breaking, and find that it is possible to obtain partial breaking from $`N=2`$ to $`N=1`$ by turning on a certain combination of both of these fluxes, i.e. $`F_4=FJJ+(\stackrel{~}{F}\mathrm{\Omega }+c.c.)`$. These three-dimensional $`N=1`$ vacua might be interesting due to Witten’s proposal to explain the vanishing of the cosmological constant by considering our four-dimensional world to be described by the strong coupling limit of an $`N=1`$ supersymmetric three-dimensional theory .

The article is organized as follows. In section 2 we start with a summary of relevant facts about three-dimensional gauged supergravity with $`N=2`$, i.e. four supercharges) . This theory is formulated with all vectors dualized to scalars, such that the bosonic spectrum contains only scalars from chiral multiplets as dynamical degrees of freedom. In order to make contact with the effective theory from Calabi-Yau fourfold compactifications, we then specialize to the case that some of the scalars have a PQ symmetry, which is the symmetry that is gauged. For this special case we perform a (re-)dualization of the PQ scalars to vectors and derive the general form of the bosonic part of the effective action. Furthermore, we discuss the condition for unbroken $`N=2`$ and $`N=1`$ supersymmetry. In section 3 we compare the general form of the gauged supergravities discussed in section 2 to those from Calabi-Yau fourfold compactifications of eleven-dimensional supergravity. We start by reviewing the case without 4-form flux, discussed before in . As opposed to  however, here we express the effective action through both chiral and vector multiplets to make contact with the results in section 2. The reason is that it is in these coordinates that the flux-induced potential can be expressed most easily. This is done in the following subsection, where we turn on 4-form flux. We generalize the analysis of  by including the moduli from expanding the 3-form in a basis of 3-forms on the Calabi-Yau, finding that the potential is not modified in this case. Furthermore, we make some observations about the range of validity of our derivation. We end section 3 with a discussion of partial supersymmetry breaking to $`N=1`$, specializing the general condition from section 2 to the case at hand. By giving a concrete (toy) example we show that it is indeed possible to fulfill this condition. Finally, an appendix contains some more details on the search for an example of partial supersymmetry breaking.

## 2 The gauged supergravity

In this section, we first review the general form of $`N=2`$ gauged supergravity in three dimensions as given in , generalizing the abelian $`U(1)`$ gaugings of . We then turn to gauge groups that are exclusively generated by translational (Peccei-Quinn) symmetries of the scalar target space and show that these theories admit a dual formulation in which the PQ scalars are redualized into vector fields. From the supersymmetry transformation rules, we eventually derive the conditions of $`N=1,2`$ preserved supersymmetries at a stationary point of the scalar potential.

### 2.1 $`𝒅\mathbf{=}\mathrm{𝟑}`$, $`𝑵\mathbf{=}\mathrm{𝟐}`$ supergravity

We start from the formulation of ungauged $`𝒅\mathbf{=}\mathrm{𝟑}`$, $`𝑵\mathbf{=}\mathrm{𝟐}`$ supergravity in which all vector fields are dualized into scalars. The total scalar target space is a Kähler manifold which we parametrize by complex coordinates $`\mathbf{\{}\mathit{\varphi }^𝒊\mathbf{,}\overline{\mathit{\varphi }}{}_{}{}^{\overline{\mathit{ı}}}\mathbf{\}}`$ with the metric derived from the Kähler potential $`𝒈_{𝒊\overline{\mathit{ı}}}\mathbf{=}\mathbf{}_𝒊\mathbf{}_{\overline{\mathit{ı}}}𝑲`$ . An isometry is described by a holomorphic vector field $`\mathbf{}_{\overline{\mathit{ı}}}𝑿^𝒋\mathbf{=}\mathrm{𝟎}`$, satisfying

$`\mathbf{}_𝒊𝑿_{\overline{\mathit{ȷ}}}\mathbf{+}\mathbf{}_{\overline{\mathit{ȷ}}}𝑿_𝒊`$ $`\mathbf{=}`$ $`\mathrm{𝟎}\mathbf{.}`$ (2.1)
Gauging a subgroup of isometries that is generated by a basis $`\mathbf{\{}𝑿_𝑨^𝒋\mathbf{\}}`$ corresponds to defining space-time vector fields $`𝑨_{𝑨𝝁}`$ via the duality equation666We take the signature of the space-time metric to be $`(+)`$. The $`ϵ_{\mu \nu \rho }`$ is defined to transform as a tensor, i.e. $`ϵ_{123}=e`$, $`ϵ^{123}=e^1`$. Our curvature conventions are $`R_{\mu \nu \sigma }{}_{}{}^{\tau }=_\nu \mathrm{\Gamma }_{\mu \sigma }^\tau +\mathrm{\Gamma }_{\nu \lambda }^\tau \mathrm{\Gamma }_{\mu \sigma }^\lambda (\mu \nu ),R_{\mu \nu }=R_{\mu \tau \nu }^\tau `$.

$`\mathit{ϵ}_{𝝁𝝂𝝆}𝑭_𝑨^{𝝂𝝆}`$ $`\mathbf{=}`$ $`\mathbf{}\mathrm{𝟒}\mathbf{}\mathbf{\left[}𝒈_{𝒊\overline{\mathit{ı}}}𝑿_𝑨^{\overline{\mathit{ı}}}𝑫_𝝁\mathit{\varphi }^𝒊\mathbf{\right]}\mathbf{+}\text{fermions}\mathbf{,}`$ (2.2)
and minimally coupling them to the scalar fields by means of a constant symmetric matrix $`𝚯^{𝑨𝑩}`$ as

$`𝑫_𝝁\mathit{\varphi }^𝒋`$ $`\mathbf{=}`$ $`\mathbf{}_𝝁\mathit{\varphi }^𝒊\mathbf{+}𝒈𝚯^{𝑨𝑩}𝑨_{𝑨𝝁}\mathbf{(}𝑿_𝑩^𝒊\mathbf{}_𝒊\mathbf{+}𝑿_𝑩^{\overline{\mathit{ı}}}\mathbf{}_{\overline{\mathit{ı}}}\mathbf{)}\mathit{\varphi }^𝒋\mathbf{.}`$ (2.3)
The duality equation (2.2) consistently implies the scalar equation of motion as integrability condition. Supersymmetry further requires the introduction of fermionic mass terms, a Chern-Simons term for the vector fields that gives rise to (2.2) as field equation, and a scalar potential. The gravitino mass tensor is given by

$`𝑨_\mathrm{𝟏}`$ $`\mathbf{=}`$ $`\mathbf{\left(}\begin{array}{cc}\hfill \mathrm{𝟐}𝑻& \hfill \mathrm{𝟎}\\ \hfill \mathrm{𝟎}& \hfill \mathrm{𝟐}𝑻\end{array}\mathbf{\right)}\mathbf{+}𝒆^{𝑲\mathbf{/}\mathrm{𝟐}}\mathbf{\left(}\begin{array}{cc}\hfill \mathbf{}\mathbf{}𝑾& \hfill \mathbf{}𝑾\\ \hfill \mathbf{}𝑾& \hfill \mathbf{}𝑾\end{array}\mathbf{\right)}\mathbf{,}`$ (2.8)
with $`𝑻\mathbf{}𝓟_𝑨𝚯^{𝑨𝑩}𝓟_𝑩`$, where the real function $`𝓟_𝑨`$ is the momentum map associated with the isometry $`𝑿_𝑨^𝒊`$

$`\mathbf{}_𝒋𝓟_𝑨`$ $`\mathbf{}`$ $`{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟐}}}𝐢𝒈_{𝒋\overline{\mathit{ȷ}}}𝑿_𝑨^{\overline{\mathit{ȷ}}}\mathbf{.}`$ (2.9)
The gauging is uniquely determined by the choice of $`𝚯^{𝑨𝑩}`$ up to the superpotential $`𝑾`$ which is an arbitrary holomorphic function of the scalar fields, subject to

$`𝑿_𝑨^𝒊𝑫_𝒊𝑾`$ $`\mathbf{=}`$ $`\mathrm{𝟐}𝐢𝑾𝓟_𝑨\mathbf{.}`$ (2.10)
with the Kähler covariant derivative $`𝑫_𝒊𝑾\mathbf{}\mathbf{}_𝒊𝑾\mathbf{+}\mathbf{}_𝒊𝑲𝑾`$ . The complete bosonic part of the Lagrangian is given by

$`𝒆^\mathbf{}\mathrm{𝟏}𝓛_𝒈`$ $`\mathbf{=}`$ $`\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑹\mathbf{}𝒈_{𝒊\overline{\mathit{ȷ}}}𝑫_𝝁\mathit{\varphi }^𝒊𝑫^𝝁\overline{\mathit{\varphi }}{}_{}{}^{\overline{\mathit{ȷ}}}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}𝒈𝚯^{𝑨𝑩}\mathit{ϵ}_{𝝁𝝂𝝆}𝑨_𝑨^𝝁𝑭_𝑩^{𝝂𝝆}\mathbf{+}𝑽\mathbf{,}`$ (2.11)
with a scalar potential

$`𝑽`$ $`\mathbf{=}`$ $`𝒈^\mathrm{𝟐}\mathbf{\left(}\mathrm{𝟒}𝒈^{𝒊\overline{\mathit{ı}}}\mathbf{}_𝒊𝑻\mathbf{}_{\overline{\mathit{ı}}}𝑻\mathbf{}\mathrm{𝟒}𝑻^\mathrm{𝟐}\mathbf{+}𝒆^𝑲\mathbf{(}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}𝒈^{𝒊\overline{\mathit{ı}}}𝑫_𝒊𝑾𝑫_{\overline{\mathit{ı}}}\overline{𝑾}\mathbf{}\mathbf{|}𝑾\mathbf{|}^\mathrm{𝟐}\mathbf{)}\mathbf{\right)}\mathbf{.}`$ (2.12)
Summarizing, the gauged deformation of the $`𝑵\mathbf{=}\mathrm{𝟐}`$ supergravity is uniquely determined by the constant matrix $`𝚯^{𝑨𝑩}`$ describing the minimal coupling (2.3), and a holomorphic superpotential $`𝑾`$ satisfying (2.10). It further induces fermionic mass terms as well as a Chern-Simons term and the scalar potential in the Lagrangian. Note that after gauging, the scalar fields may in general no longer be redualized into vector fields.

### 2.2 Redualizing

Let us now specialize this construction to gauge groups that are generated by translational symmetries of the scalar target space. As it turns out, in these theories the charged scalar fields may be redualized into vector fields and completely removed from the Lagrangian. Their removal turns the formerly nonpropagating vector fields into physical fields that appear with a Yang-Mills kinetic term and an additional Chern-Simons coupling in the Lagrangian. These are the theories that describe the compactifications of eleven-dimensional supergravity on Calabi-Yau fourfolds with background fluxes.

We introduce the following split of scalar fields

$`\mathit{\varphi }^𝒊`$ $`\mathbf{=}`$ $`\mathbf{(}\mathit{\varphi }^𝒂\mathbf{,}\mathit{\varphi }^𝑨\mathbf{)}\mathbf{,}`$ (2.13)
and define the real components $`𝝋^𝑨\mathbf{=}\mathbf{}\mathit{\varphi }^𝑨`$, $`\widehat{𝝋}^𝑨\mathbf{=}\mathbf{}\mathit{\varphi }^𝑨`$. We now assume that the Kähler potential does not depend on the $`\widehat{𝝋}^𝑨`$

$`𝑲`$ $`\mathbf{=}`$ $`𝑲\mathbf{(}\mathit{\varphi }^𝒂\mathbf{,}𝝋^𝑨\mathbf{)}\mathbf{.}`$ (2.14)
In particular, this implies that

$`𝒈_{𝒊\overline{\mathit{ȷ}}}`$ $`\mathbf{}`$ $`\mathbf{\left(}\begin{array}{cc}𝒈_{𝒂\overline{𝒃}}& 𝒈_{𝒂𝑩}\\ 𝒈_{𝑨\overline{𝒃}}& 𝒈_{𝑨𝑩}\end{array}\mathbf{\right)}\mathbf{,}`$ (2.17)
with $`𝒈_{𝒂\overline{𝒃}}\mathbf{=}\mathbf{}_𝒂\mathbf{}_{\overline{𝒃}}𝑲`$, $`𝒈_{𝒂𝑨}\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}_𝒂\mathbf{}_𝑨𝑲`$, and the real matrix $`𝒈_{𝑨𝑩}\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}\mathbf{}_𝑨\mathbf{}_𝑩𝑲\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑮_{𝑨𝑩}`$. The partial derivatives $`\mathbf{}_𝑨`$ here always refer to real derivatives w.r.t. the field $`𝝋^𝑨`$ in (2.14). To avoid confusion, small $`𝒈`$ will always refer to the metric obtained from the original Kähler potential $`𝑲`$ in the completely dualized picture in which everything is expressed in chiral multiplets.

The geometry described by (2.14) is invariant under shifts in $`\widehat{𝝋}^𝑨`$, i.e. the metric (2.17) admits a set of “elementary” isometries, labelled by a subscript $`𝑩`$, which are generated by the constant imaginary vector fields

$`𝑿_𝑩^𝒊`$ $`\mathbf{=}`$ $`\mathbf{(}\mathrm{𝟎}\mathbf{,}𝐢𝜹_𝑩^𝑨\mathbf{)}\mathbf{,}`$ (2.18)
in the basis (2.13). From (2.9) we find that the associated momentum map is given by

$`𝓟_𝑨`$ $`\mathbf{=}`$ $`\frac{\mathrm{𝟏}}{\mathrm{𝟒}}\mathbf{}_𝑨𝑲\mathbf{.}`$ (2.19)
The most general gauging of these shift isometries is described by a constant matrix $`𝚯^{𝑨𝑩}`$ such that the covariant derivatives become

$`𝑫_𝝁\widehat{𝝋}^𝑨`$ $`\mathbf{=}`$ $`\mathbf{}_𝝁\widehat{𝝋}^𝑨\mathbf{+}𝒈𝚯^{𝑨𝑩}𝑨_{𝑩𝝁}\mathbf{,}`$
where the vector field is defined by the duality equation (2.2)

$`𝑭_{𝑨𝝁𝝂}`$ $`\mathbf{=}`$ $`\mathbf{}\mathit{ϵ}_{𝝁𝝂𝝆}\mathbf{\left(}𝑮_{𝑨𝑩}\mathbf{(}\mathbf{}^𝝆\widehat{𝝋}^𝑩\mathbf{+}𝒈𝚯^{𝑩𝑪}𝑨_𝑪^𝝆\mathbf{)}\mathbf{+}\mathrm{𝟐}\mathbf{}\mathbf{\left[}𝒈_{𝒂𝑨}\mathbf{}^𝝆\mathit{\varphi }^𝒂\mathbf{\right]}\mathbf{\right)}\mathbf{.}`$ (2.20)
Let us assume that the submatrix $`𝑮_{𝑨𝑩}`$ of $`𝒈_{𝒊\overline{\mathit{ı}}}`$ is separately invertible with inverse $`𝑮^{𝑨𝑩}`$. Then $`\mathbf{}^𝝆\widehat{𝝋}^𝑩`$ may be expressed in terms of $`𝑭_{𝑨𝝁𝝂}`$, and we derive that

$`𝑫^𝝁\mathbf{(}𝑮^{𝑨𝑩}𝑭_{𝑩𝝁𝝂}\mathbf{)}`$ $`\mathbf{=}`$ $`\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝒈𝚯^{𝑨𝑩}\mathit{ϵ}_{𝝂𝝁𝝆}𝑭_𝑩^{𝝁𝝆}\mathbf{+}\mathrm{𝟐}\mathit{ϵ}_{𝝂𝝁𝝆}\mathbf{}\mathbf{\left[}\mathbf{}^𝝁\mathbf{\left(}𝑮^{𝑨𝑩}𝒈_{𝒂𝑩}\mathbf{\right)}\mathbf{}^𝝆\mathit{\varphi }^𝒂\mathbf{\right]}\mathbf{.}`$
That is, the scalar fields $`\widehat{𝝋}^𝑨`$ can be eliminated from all equations of motion. In turn, the vector fields now satisfy a second order field equation which may be derived from the Lagrangian

$`\frac{\mathrm{𝟏}}{\mathrm{𝟒}}𝑮^{𝑨𝑩}𝑭_𝑨^{𝝁𝝂}𝑭_{𝑩𝝁𝝂}^{}\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}𝒈𝚯^{𝑨𝑩}\mathit{ϵ}_{𝝁𝝂𝝆}𝑨_𝑨^𝝁𝑭_𝑩^{𝝂𝝆}\mathbf{+}\mathit{ϵ}_{𝝁𝝂𝝆}𝑭_𝑨^{𝝁𝝂}𝑮^{𝑨𝑩}\mathbf{}\mathbf{\left[}𝒈_{𝒂𝑩}\mathbf{}^𝝆\mathit{\varphi }^𝒂\mathbf{\right]}\mathbf{.}`$
The remaining kinetic terms of the Lagrangian after redualization are given by

$`\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑮_{𝑨𝑩}\mathbf{}_𝝁𝝋^𝑨\mathbf{}^𝝁𝝋^𝑩\mathbf{}\mathrm{𝟐}\mathbf{}\mathbf{\left[}𝒈_{𝒂𝑨}\mathbf{}_𝝁𝝋^𝑨\mathbf{}^𝝁\mathit{\varphi }^𝒂\mathbf{\right]}\mathbf{}\mathbf{(}𝒈_{𝒂\overline{𝒃}}\mathbf{}𝒈_{𝒂𝑨}𝑮^{𝑨𝑩}𝒈_{\overline{𝒃}𝑩}\mathbf{)}\mathbf{}_𝝁\mathit{\varphi }^𝒂\mathbf{}^𝝁\overline{\mathit{\varphi }}^{\overline{𝒃}}`$
$`\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝒈_{𝒂𝑨}𝑮^{𝑨𝑩}𝒈_{𝒃𝑩}\mathbf{}_𝝁\mathit{\varphi }^𝒂\mathbf{}^𝝁\mathit{\varphi }^𝒃\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝒈_{\overline{𝒃}𝑨}𝑮^{𝑨𝑩}𝒈_{\overline{𝒃}𝑩}\mathbf{}_𝝁\overline{\mathit{\varphi }}{}_{}{}^{\overline{𝒃}}\mathbf{}_{}^{𝝁}\overline{\mathit{\varphi }}{}_{}{}^{\overline{𝒃}}\mathbf{.}`$
Defining new real coordinates

$`𝑴_𝑨`$ $`\mathbf{}`$ $`\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}_𝑨𝑲\mathbf{.}`$ (2.21)
such that $`\mathbf{}_𝑨𝑴_𝑩\mathbf{=}𝑮_{𝑨𝑩}`$, $`\mathbf{}_𝒂𝑴_𝑨\mathbf{=}𝒈_{𝒂𝑨}`$, the complete Lagrangian after redualization then takes the form

$`𝒆^\mathbf{}\mathrm{𝟏}𝓛_𝒈`$ $`\mathbf{=}`$ $`\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑹\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑮^{𝑨𝑩}\mathbf{}_𝝁𝑴_𝑨\mathbf{}^𝝁𝑴_𝑩\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}𝑮^{𝑨𝑩}𝑭_𝑨^{𝝁𝝂}𝑭_{𝑩𝝁𝝂}^{}\mathbf{}𝑮_{𝒂\overline{𝒃}}\mathbf{}_𝝁\mathit{\varphi }^𝒂\mathbf{}^𝝁\overline{\mathit{\varphi }}^{\overline{𝒃}}`$ (2.22)
$`\mathbf{+}\mathit{ϵ}_{𝝁𝝂𝝆}𝑭_𝑨^{𝝁𝝂}\mathbf{}\mathbf{\left[}𝑮^{𝑨𝑩}𝒈_{𝒂𝑩}\mathbf{}^𝝆\mathit{\varphi }^𝒂\mathbf{\right]}\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}𝒈𝚯^{𝑨𝑩}\mathit{ϵ}_{𝝁𝝂𝝆}𝑨_𝑨^𝝁𝑭_𝑩^{𝝂𝝆}\mathbf{+}𝑽\mathbf{,}`$
with the scalar potential $`𝑽`$ from (2.12) above and the metric

$`𝑮_{𝒂\overline{𝒃}}`$ $`\mathbf{}`$ $`\mathbf{(}𝑮^{𝒂\overline{𝒃}}\mathbf{)}^\mathbf{}\mathrm{𝟏}\mathbf{}\mathbf{(}𝒈^{𝒂\overline{𝒃}}\mathbf{)}^\mathbf{}\mathrm{𝟏}\mathbf{=}𝒈_{𝒂\overline{𝒃}}\mathbf{}\mathrm{𝟐}𝒈_{𝒂𝑨}𝑮^{𝑨𝑩}𝒈_{\overline{𝒃}𝑩}\mathbf{.}`$
To clarify the last equation, we note that the inverse of $`𝒈_{𝒊\overline{\mathit{ȷ}}}`$ (2.17) is given by

$`𝒈^{𝒊\overline{\mathit{ȷ}}}`$ $`\mathbf{=}`$ $`\mathbf{\left(}\begin{array}{cc}𝒈^{𝒂\overline{𝒃}}& \mathbf{}\mathrm{𝟐}𝒈^{𝒂\overline{𝒃}}𝒈_{\overline{𝒃}𝑩}𝑮^{𝑩𝑨}\\ \mathbf{}\mathrm{𝟐}𝒈^{𝒂\overline{𝒃}}𝒈_{\overline{𝒃}𝑩}𝑮^{𝑩𝑨}& \mathrm{𝟐}𝑮^{𝑨𝑩}\mathbf{+}\mathrm{𝟒}𝑮^{𝑨𝑪}𝒈_{𝒂𝑪}𝒈^{𝒂\overline{𝒃}}𝒈_{\overline{𝒃}𝑫}𝑮^{𝑫𝑩}\end{array}\mathbf{\right)}\mathbf{,}`$ (2.25)
where $`𝒈^{𝒂\overline{𝒃}}\mathbf{=}\mathbf{\left(}𝒈_{𝒂\overline{𝒃}}\mathbf{}\mathrm{𝟐}𝒈_{𝒂𝑨}𝑮^{𝑨𝑩}𝒈_{\overline{𝒃}𝑩}\mathbf{\right)}^\mathbf{}\mathrm{𝟏}`$. Hence, the metrics which appear in the kinetic terms of the dualized Lagrangian (2.22) are not part of the blocks of the original Kähler metric (2.17) or its inverse (2.25), but are instead given by

$`𝑮_{𝑨𝑩}\mathbf{=}\mathrm{𝟐}𝒈_{𝑨𝑩}\mathbf{,}𝑮^{𝑨𝑩}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝒈^{𝑨𝑩}\mathbf{,}𝑮_{𝒂\overline{𝒃}}\mathbf{}𝒈_{𝒂\overline{𝒃}}\mathbf{,}𝑮^{𝒂\overline{𝒃}}\mathbf{=}𝒈^{𝒂\overline{𝒃}}\mathbf{.}`$
We should emphasize that these metrics as well as the mixed coupling in the dualized Lagrangian (2.22) can all be expressed via a “kinetic potential” $`\stackrel{\mathbf{~}}{𝑲}\mathbf{(}\mathit{\varphi }^𝜶\mathbf{,}𝑴_𝑨\mathbf{)}`$ as

$$𝑮^{𝑨𝑩}\mathbf{=}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}_{𝑴_𝑨}\mathbf{}_{𝑴_𝑩}\stackrel{\mathbf{~}}{𝑲}\mathbf{,}𝑮_{𝒂\overline{𝒃}}\mathbf{=}\mathbf{}_{\mathit{\varphi }^𝒂}\mathbf{}_{\mathit{\varphi }^{\overline{𝒃}}}\stackrel{\mathbf{~}}{𝑲}\mathbf{,}𝑮^{𝑨𝑩}𝒈_{𝒂𝑩}\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}_{\mathit{\varphi }^𝒂}\mathbf{}_{𝑴_𝑨}\stackrel{\mathbf{~}}{𝑲}\mathbf{,}$$
(2.26)
where $`\stackrel{\mathbf{~}}{𝑲}`$ is given by

$$\stackrel{\mathbf{~}}{𝑲}\mathbf{=}𝑲\mathbf{}\mathrm{𝟐}𝑴_𝑨𝝋^𝑨\mathbf{.}$$
(2.27)
Moreover, the original Kähler potential $`𝑲`$ can be recovered from $`\stackrel{\mathbf{~}}{𝑲}`$ as

$$𝑲\mathbf{=}\stackrel{\mathbf{~}}{𝑲}\mathbf{}𝑴_𝑨\mathbf{}_{𝑴_𝑨}\stackrel{\mathbf{~}}{𝑲}\mathbf{.}$$
(2.28)
The scalar potential $`𝑽`$ in (2.22) finally is expressed in terms of $`𝑻`$ and a holomorphic function $`𝑾`$. From (2.19) we find that the consistency constraint (2.10) is simply equivalent to assuming that $`𝑾\mathbf{=}𝑾\mathbf{(}\mathit{\varphi }^𝜶\mathbf{)}`$ is a holomorphic function of the fields $`\mathit{\varphi }^𝜶`$ only. In the new coordinates $`\mathbf{(}\mathit{\varphi }^𝒂\mathbf{,}𝑴_𝑨\mathbf{)}`$, the potential (2.12) simplifies to

$`𝒈^\mathbf{}\mathrm{𝟐}𝑽`$ $`\mathbf{=}`$ $`\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑴_𝑨𝚯^{𝑨𝑪}𝑮_{𝑪𝑫}𝚯^{𝑫𝑩}𝑴_𝑩\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}\mathbf{\left(}𝑴_𝑨𝚯^{𝑨𝑩}𝑴_𝑩\mathbf{\right)}^\mathrm{𝟐}`$ (2.29)
$`\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}𝒆^𝑲𝑮^{𝒂\overline{𝒃}}𝑫_𝒂𝑾𝑫_{\overline{𝒃}}\overline{𝑾}\mathbf{}𝒆^𝑲\mathbf{\left(}\mathrm{𝟏}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑴_𝑨𝑮^{𝑨𝑩}𝑴_𝑩\mathbf{\right)}\mathbf{|}𝑾\mathbf{|}^\mathrm{𝟐}\mathbf{,}`$
with the original Kähler potential $`𝑲`$, a holomorphic function $`𝑾\mathbf{(}\mathit{\varphi }^𝜶\mathbf{)}`$ and the Kähler covariant derivatives $`𝑫_𝒂𝑾\mathbf{=}\mathbf{}_𝒂𝑾\mathbf{+}\mathbf{(}\mathbf{}_𝒂𝑲\mathbf{)}𝑾`$. Note that the metrics $`𝑮^{𝒂\overline{𝒃}}`$, $`𝑮_{𝑨𝑩}`$ appearing here are precisely the inverses of the metrics in the kinetic terms in (2.22), and that all mixed terms vanish. Furthermore, the potential can be expressed entirely in terms of the kinetic potential (2.27), using (2.26) and (2.28). Let us finally note that for $`𝑴_𝑨𝑮^{𝑨𝑩}𝑴_𝑩\mathbf{=}\mathrm{𝟐}`$, the last term in (2.29) vanishes, and the potential is in fact positive definite

$`𝒈^\mathbf{}\mathrm{𝟐}𝑽`$ $`\mathbf{=}`$ $`\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{\left(}𝑴_𝑨𝚯^{𝑨𝑪}\mathbf{}\mathrm{𝟐}𝑻𝑴_𝑨𝑮^{𝑨𝑪}\mathbf{\right)}𝑮_{𝑪𝑫}\mathbf{\left(}𝚯^{𝑫𝑩}𝑴_𝑩\mathbf{}\mathrm{𝟐}𝑻𝑮^{𝑫𝑩}𝑴_𝑩\mathbf{\right)}`$ (2.30)
$`\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}𝒆^𝑲𝑮^{𝒂\overline{𝒃}}𝑫_𝒂𝑾𝑫_{\overline{𝒃}}\overline{𝑾}\mathbf{.}`$
Summarizing, we have seen that in the special case of a gauging of the Peccei-Quinn symmetries associated with some of the scalar fields, these fields may be dualized into vector fields. In the dual picture the physical fields are the complex scalars $`\mathit{\varphi }^𝒂`$, the real scalars $`𝑴_𝑨`$, and the vector fields $`𝑨_{𝑨𝝁}`$; their dynamics is described by the Lagrangian (2.22) with scalar potential (2.29). This may be viewed as a deformation of the Lagrangian $`𝓛_{𝒈\mathbf{=}\mathrm{𝟎}}`$ that is triggered by the Chern-Simons term for the vector fields (which encodes the constant matrix $`𝚯^{𝑨𝑩}`$) whose supersymmetrization then induces the fermionic mass terms and the scalar potential. Again, this deformation is unique up to the choice of the holomorphic superpotential $`𝑾`$.

A noteworthy property of the dualized Lagrangian is the appearance of the kinetic potential $`\stackrel{\mathbf{~}}{𝑲}`$ in the kinetic terms of (2.22), whereas the part of the potential (2.29) derived from a superpotential still involves the old Kähler potential $`𝑲`$, both via the overall factor $`𝒆^𝑲`$ and the Kähler covariant derivatives. Let us remind the reader that a similar situation occurs in $`𝑫\mathbf{=}\mathrm{𝟒}`$ in an ungauged theory with both chiral and linear multiplets. (The latter become vector multiplets in a reduction to three dimensions and therefore the similarity is no accident.) Namely, consider the $`𝑫\mathbf{=}\mathrm{𝟒}`$ theory described by a Kähler potential

$$𝑲\mathbf{(}\mathit{\varphi }^𝒂\mathbf{,}\overline{\mathit{\varphi }}^{\overline{𝒂}}\mathbf{,}𝑳\mathbf{)}\mathbf{=}𝑲_\mathrm{𝟎}\mathbf{(}\mathit{\varphi }^𝒂\mathbf{,}\overline{\mathit{\varphi }}^{\overline{𝒂}}\mathbf{)}\mathbf{+}𝜶\mathrm{𝐥𝐧}𝑳\mathbf{,}$$
(2.31)
where $`\mathit{\varphi }^𝒂`$ denote the (complex) scalars from the chiral multiplets, $`𝑳`$ is one (real) scalar from the linear multiplet, and $`𝜶`$ is an arbitrary constant.777We use the term Kähler potential here although, like in the three-dimensional case, the scalar manifold is only Kähler when expressed in the dual, chiral variables. The motivation to look at this special form of the Kähler potential in $`𝑫\mathbf{=}\mathrm{𝟒}`$ comes from the fact that it is exactly what one needs to describe the linear dilaton multiplet in heterotic string models. The effective action of the linear multiplet coupled to chiral multiplets involves another real function of the $`\mathit{\varphi }^𝒂`$, the ’linear potential’ $`𝑽\mathbf{(}\mathit{\varphi }^𝒂\mathbf{,}\overline{\mathit{\varphi }}^{\overline{𝒂}}\mathbf{)}`$. In the context of the heterotic string this encodes the (non-holomorphic) threshold corrections to the gauge coupling and in the present context it is the analog of $`𝝋`$ in (2.27). More precisely, defining the kinetic potential

$$\stackrel{\mathbf{~}}{𝑲}\mathbf{=}𝑲\mathbf{}\mathrm{𝟑}𝑳𝑽\mathbf{,}$$
(2.32)
the bosonic part of the Lagrangian including a potential derived from a superpotential takes the form

$`𝒆^\mathbf{}\mathrm{𝟏}𝓛`$ $`\mathbf{=}`$ $`{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟐}}}𝑹\mathbf{}\stackrel{\mathbf{~}}{𝑲}_{𝒂\overline{𝒂}}\mathbf{}_𝝁\mathit{\varphi }^𝒂\mathbf{}^𝝁\overline{\mathit{\varphi }}^{\overline{𝒂}}\mathbf{+}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟒}}}\stackrel{\mathbf{~}}{𝑲}_{𝑳𝑳}\mathbf{}_𝝁𝑳\mathbf{}^𝝁𝑳`$ (2.33)
$`\mathbf{}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟑}\mathbf{!}}}\stackrel{\mathbf{~}}{𝑲}_{𝑳𝑳}𝑯_{𝝁𝝂𝝆}𝑯^{𝝁𝝂𝝆}\mathbf{+}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟑}\mathbf{!}}}\mathit{ϵ}_{𝝁𝝂𝝆𝝈}𝑯^{𝝂𝝆𝝈}\mathbf{}\mathbf{(}\stackrel{\mathbf{~}}{𝑲}_{𝑳𝒂}\mathbf{}^𝝁\mathit{\varphi }^𝒂\mathbf{)}`$
$`\mathbf{+}𝒆^𝑲\mathbf{\left[}\stackrel{\mathbf{~}}{𝑲}^{𝒂\overline{𝒂}}𝑫_𝒂𝑾𝑫_{\overline{𝒂}}\overline{𝑾}\mathbf{}\mathbf{(}\mathrm{𝟑}\mathbf{}𝑳𝑲_𝑳\mathbf{)}\mathbf{|}𝑾\mathbf{|}^\mathrm{𝟐}\mathbf{\right]}\mathbf{,}`$
where the covariant derivatives $`𝑫_𝒂𝑾\mathbf{=}\mathbf{(}\mathbf{}_𝒂\mathbf{+}𝑲_𝒂\mathbf{)}𝑾`$ involve the old Kähler potential.888We have adopted the signs in the formula of  to our choice of conventions. Taking into account that (2.28) implies

$$𝑴_𝑨𝑴_𝑩\mathbf{(}\mathbf{}_{𝑴_𝑨}\mathbf{}_{𝑴_𝑩}\stackrel{\mathbf{~}}{𝑲}\mathbf{)}\mathbf{=}\mathbf{}𝑴_𝑨\mathbf{(}\mathbf{}_{𝑴_𝑨}𝑲\mathbf{)}\mathbf{,}$$

the similarity between (2.33) and (2.22), (2.29) is obvious, up to the terms depending on $`𝚯^{𝑨𝑩}`$ which correspond to the gauging in three dimensions.

### 2.3 Supersymmetry breaking

The fermionic part of the Lagrangian (2.22) and supersymmetry transformation rules may be extracted from  upon eliminating $`\widehat{𝝋}`$ by means of (2.20). Here, we restrict to giving the supersymmetry variation of the gravitino, which is sufficient to determine the conditions of $`𝑵\mathbf{=}\mathrm{𝟏}\mathbf{,}\mathrm{𝟐}`$ preserved supersymmetries at a stationary point of the scalar potential. From , we infer that

$`𝜹𝝍_𝝁^𝑰`$ $`\mathbf{=}`$ $`\mathbf{}_𝝁\mathit{ϵ}^𝑰\mathbf{+}𝐢𝒈𝑨_\mathrm{𝟏}^{𝑰𝑱}𝜸_𝝁\mathit{ϵ}^𝑱\mathbf{+}\mathbf{\left(}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}\mathbf{\left[}\mathbf{}_𝝁\mathit{\varphi }^𝒊\mathbf{}_𝒊𝑲\mathbf{\right]}\mathbf{+}𝒈𝚯^{𝑨𝑩}𝑨_{𝑨𝝁}𝓟_𝑩\mathbf{\right)}𝜺^{𝑰𝑱}\mathit{ϵ}^𝑱\mathbf{,}`$ (2.34)
where the index $`𝑰\mathbf{=}\mathrm{𝟏}\mathbf{,}\mathrm{𝟐}`$ labels the supercharges and $`𝜺^{𝑰𝑱}`$ is the antisymmetric tensor $`𝜺^{\mathrm{𝟏𝟐}}\mathbf{=}\mathrm{𝟏}`$. The Killing spinor associated with a supersymmetric ground state of the potential (2.29) (at which we may set $`\mathbf{}_𝝁\mathit{\varphi }^𝒊\mathbf{=}\mathrm{𝟎}\mathbf{=}𝑨_{𝑨𝝁}`$) is then given by tensoring a three-dimensional AdS/Minkowski Killing spinor with an eigenvector of $`𝑨_\mathrm{𝟏}`$. Vanishing of (2.34) imposes the relation $`𝒈\mathbf{|}𝝀\mathbf{|}\mathbf{=}\sqrt{\mathbf{}𝑽_\mathrm{𝟎}}`$ between the corresponding eigenvalue $`𝝀`$ of $`𝑨_\mathrm{𝟏}^{𝑰𝑱}`$ and the value of the potential $`𝑽_\mathrm{𝟎}`$ at the critical point. With the eigenvalues of (2.8) given by

$`𝝀_\mathbf{\pm }`$ $`\mathbf{=}`$ $`\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑴_𝑨𝚯^{𝑨𝑩}𝑴_𝑩\mathbf{\pm }𝒆^{𝑲\mathbf{/}\mathrm{𝟐}}\mathbf{|}𝑾\mathbf{|}\mathbf{,}`$
this condition translates into

$`\mathbf{\pm }\mathrm{𝟐}𝒆^{𝑲\mathbf{/}\mathrm{𝟐}}𝑴_𝑨𝚯^{𝑨𝑩}𝑴_𝑩\mathbf{|}𝑾\mathbf{|}`$ $`\mathbf{}`$ $`𝑴_𝑨𝚯^{𝑨𝑪}𝑮_{𝑪𝑫}𝚯^{𝑫𝑩}𝑴_𝑩\mathbf{+}𝒆^𝑲𝑴_𝑨𝑮^{𝑨𝑩}𝑴_𝑩\mathbf{|}𝑾\mathbf{|}^\mathrm{𝟐}`$ (2.35)
$`\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝒆^𝑲𝑮^{𝒂\overline{𝒃}}𝑫_𝒂𝑾𝑫_{\overline{𝒃}}\overline{𝑾}\mathbf{.}`$
In order to preserve the full $`𝑵\mathbf{=}\mathrm{𝟐}`$ supersymmetry, i.e. satisfy this equation for both $`𝝀_\mathbf{+}`$ and $`𝝀_{\mathbf{}}`$, both sides of this equation must vanish, thus implying the conditions

$`𝚯^{𝑨𝑩}𝑴_𝑩`$ $`\mathbf{}`$ $`\mathrm{𝟎}\mathbf{,}𝑾\mathbf{}\mathrm{𝟎}\mathbf{,}𝑫_𝒂𝑾\mathbf{}\mathrm{𝟎}\mathbf{.}`$ (2.36)
This obviously also implies stationarity of the potential (2.29) as well as vanishing of the cosmological constant. For an extremum with $`𝑵\mathbf{=}\mathrm{𝟏}`$ supersymmetry, it remains to reconcile stationarity of (2.29) with the condition (2.35) for one choice of sign. As a special case, we may consider the positive definite potential (2.30), for which $`𝑽_\mathrm{𝟎}\mathbf{=}\mathrm{𝟎}`$ is a sufficient condition for a minimum. The latter is equivalent to

$`𝚯^{𝑫𝑩}𝑴_𝑩\mathbf{}\mathrm{𝟐}𝑻𝑮^{𝑫𝑩}𝑴_𝑩`$ $`\mathbf{=}`$ $`\mathrm{𝟎}\mathbf{,}𝑫_𝒂𝑾\mathbf{=}\mathrm{𝟎}\mathbf{,}`$ (2.37)
while the condition (2.35) in this case reduces to

$`𝑴_𝑨𝚯^{𝑨𝑩}𝑴_𝑩`$ $`\mathbf{=}`$ $`\mathbf{\pm }\mathrm{𝟐}𝒆^{𝑲\mathbf{/}\mathrm{𝟐}}\mathbf{|}𝑾\mathbf{|}\mathbf{.}`$ (2.38)
The two conditions (2.37), (2.38) are necessary and sufficient for the existence of a minimum with $`𝑵\mathbf{=}\mathrm{𝟏}`$ supersymmetry and vanishing cosmological constant in the positive definite potential (2.30).

## 3 Kaluza-Klein reduction

In this section we want to make contact between the general discussion of the previous section and Calabi-Yau fourfold compactification of eleven-dimensional supergravity. We start by reviewing the case without flux and then consider the modifications in its presence. Without flux the reduction leads to an ungauged supergravity, whose scalar manifold has some PQ symmetries. These are then gauged by turning on the flux.

### 3.1 Compactification without flux

The compactification without flux was investigated in .999Here we extend however the results of  in that we make contact to the formulas derived in the last section, i.e. we formulate the theory using both, chiral and vector multiplets. The starting point is the eleven-dimensional supergravity with (bosonic) Lagrangian

$`𝒆^\mathbf{}\mathrm{𝟏}𝓛^{\mathbf{(}\mathrm{𝟏𝟏}\mathbf{)}}`$ $`\mathbf{=}`$ $`{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟐}}}𝑹^{\mathbf{(}\mathrm{𝟏𝟏}\mathbf{)}}\mathbf{+}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟒}\mathbf{}\mathrm{𝟒}\mathbf{!}}}𝑭_{𝑴_\mathrm{𝟏}\mathbf{}𝑴_\mathrm{𝟒}}𝑭^{𝑴_\mathrm{𝟏}\mathbf{}𝑴_\mathrm{𝟒}}`$ (3.1)
$`\mathbf{+}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟏𝟐}\mathbf{}\mathrm{𝟑}\mathbf{!}\mathbf{(}\mathrm{𝟒}\mathbf{!}\mathbf{)}^\mathrm{𝟐}}}𝑨_{𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}}𝑭_{𝑴_\mathrm{𝟒}\mathbf{}𝑴_\mathrm{𝟕}}𝑭_{𝑴_\mathrm{𝟖}\mathbf{}𝑴_{\mathrm{𝟏𝟏}}}\mathit{ϵ}^{𝑴_\mathrm{𝟏}\mathbf{}𝑴_{\mathrm{𝟏𝟏}}}\mathbf{,}`$
where we have adapted the signs to our conventions. The (bosonic) spectrum only consists of the metric and a 3-form gauge field. The Lagrangian (3.1) is the leading order contribution in a derivative expansion. One of the next-to-leading-order terms in this expansion reads 101010We use the subscript $`_1^{(11)}`$ here, because there will be further higher derivative terms relevant in the next section.

$$𝒆^\mathbf{}\mathrm{𝟏}𝓛_\mathrm{𝟏}^{\mathbf{(}\mathrm{𝟏𝟏}\mathbf{)}}\mathbf{=}\mathbf{}\frac{𝑻_\mathrm{𝟐}}{\mathrm{𝟑}\mathbf{!}\mathrm{𝟖}\mathbf{!}}𝑨_{𝑴_\mathrm{𝟏}\mathbf{}𝑴_\mathrm{𝟑}}𝑿_{𝑴_\mathrm{𝟒}\mathbf{}𝑴_{\mathrm{𝟏𝟏}}}\mathit{ϵ}^{𝑴_\mathrm{𝟏}\mathbf{}𝑴_{\mathrm{𝟏𝟏}}}$$
(3.2)
with

$$𝑿_\mathrm{𝟖}\mathbf{=}\frac{\mathrm{𝟏}}{\mathbf{(}\mathrm{𝟐}𝝅\mathbf{)}^\mathrm{𝟒}}\mathbf{\left(}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟕𝟔𝟖}}\mathbf{(}\text{tr}𝑹^\mathrm{𝟐}\mathbf{)}^\mathrm{𝟐}\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟏𝟗𝟐}}\text{tr}𝑹^\mathrm{𝟒}\mathbf{\right)}$$
(3.3)
and $`𝑻_\mathrm{𝟐}\mathbf{}\mathbf{(}\mathrm{𝟐}𝝅\mathbf{)}^{\mathrm{𝟐}\mathbf{/}\mathrm{𝟑}}\mathbf{(}\mathrm{𝟐}𝜿_{\mathrm{𝟏𝟏}}^\mathrm{𝟐}\mathbf{)}^{\mathbf{}\mathrm{𝟏}\mathbf{/}\mathrm{𝟑}}`$ is the membrane tension. The term (3.2) leads to an important constraint for Calabi-Yau fourfold reductions of eleven-dimensional supergravity. Due to the relation

$$\mathbf{}_{𝒀_\mathrm{𝟒}}𝑿_\mathrm{𝟖}\mathbf{=}\mathbf{}\frac{𝝌}{\mathrm{𝟐𝟒}}\mathbf{,}$$
(3.4)
the term (3.2) potentially induces a tadpole-term for the three-form $`𝑨_\mathrm{𝟑}`$ in compactifications on Calabi-Yau fourfolds with non-vanishing Euler number $`𝝌`$, which would render the resulting vacuum inconsistent . However, the coefficient of the tadpole term gets further contributions from space-time filling membranes, non-trivial $`𝑭_\mathrm{𝟒}`$-flux  or M5-branes wrapped around three-cycles in the Calabi-Yau . As we do not consider any space-time filling membranes or wrapped M5-branes here, the relation

$$\frac{\mathrm{𝟏}}{\mathrm{𝟒}𝜿_{\mathrm{𝟏𝟏}}^\mathrm{𝟐}}\mathbf{}_{𝒀_\mathrm{𝟒}}𝑭_\mathrm{𝟒}\mathbf{}𝑭_\mathrm{𝟒}\mathbf{=}\frac{𝑻_\mathrm{𝟐}}{\mathrm{𝟐𝟒}}𝝌$$
(3.5)
has to hold for consistency. Postponing the discussion of non-trivial flux to the next section, we have to consider fourfolds with $`𝝌\mathbf{=}\mathrm{𝟎}`$ for the moment.

Let us now discuss the three-dimensional bosonic spectrum. Compactifying on a Calabi-Yau fourfold, from the metric one gets a graviton, $`𝒉^{\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$ Kähler moduli and $`𝒉^{\mathrm{𝟑}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$ complex structure moduli $`𝒁^𝜶`$. As we are interested in discussing the large volume expansion later on it is convenient to use rescaled Kähler moduli making the dependence on the constant background volume explicit. Thus the volume of the Calabi-Yau is given by

$$\mathrm{𝐕𝐨𝐥}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{=}𝓥_\mathrm{𝟎}\stackrel{\mathbf{~}}{𝓥}\mathbf{(}\stackrel{\mathbf{~}}{𝑴}_𝑨\mathbf{)}\mathbf{,}$$
(3.6)
where $`𝓥_\mathrm{𝟎}`$ is the background volume and $`\stackrel{\mathbf{~}}{𝓥}`$ depends on the rescaled Kähler moduli $`\stackrel{\mathbf{~}}{𝑴}_𝑨`$. Furthermore, one expands the 3-form

$$𝑨_{𝝁𝒊\overline{\mathit{ȷ}}}\mathbf{=}\underset{𝑨\mathbf{=}\mathrm{𝟏}}{\overset{𝒉^{\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}}}{\mathbf{}}}𝓥_\mathrm{𝟎}^{\mathrm{𝟏}\mathbf{/}\mathrm{𝟒}}𝑨_{𝑨𝝁}𝒆_{𝒊\overline{\mathit{ȷ}}}^𝑨\mathbf{,}𝑨_{𝒊𝒋\overline{𝒌}}\mathbf{=}\underset{𝑰\mathbf{=}\mathrm{𝟏}}{\overset{𝒉^{\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}}}{\mathbf{}}}𝓥_\mathrm{𝟎}^{\mathrm{𝟑}\mathbf{/}\mathrm{𝟖}}𝑵_𝑰𝚿_{𝒊𝒋\overline{𝒌}}^𝑰\mathbf{,}$$
(3.7)
where we have introduced bases $`𝒆^𝑨`$ for $`𝑯^{\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$ and $`𝚿^𝑰`$ for $`𝑯^{\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$. Thus the spectrum comprises $`𝒉^{\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$ vector multiplets and $`𝒉^{\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{+}𝒉^{\mathrm{𝟑}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$ chiral multiplets. The explicit factors of $`𝓥_\mathrm{𝟎}`$ have been introduced in (3.7) because only for fields so defined, the kinetic terms stemming from the reduction of the eleven-dimensional supergravity action are of the same order in the background volume for all the scalars and vectors.

In order to derive the low energy effective action one has to take into account that the Hodge decomposition $`𝑯^\mathrm{𝟑}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{=}𝑯^{\mathrm{𝟏}\mathbf{,}\mathrm{𝟐}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{+}𝑯^{\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$ depends on the complex structure. The basis $`𝚿^𝑰`$ of $`\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}\mathbf{)}`$-forms can locally be chosen to depend holomorphically on the complex structure or, in other words,

$$\overline{\mathbf{}}_{\overline{𝒁}^{\overline{𝜶}}}𝚿^𝑰\mathbf{=}\mathrm{𝟎}\mathbf{,}\mathbf{}_{𝒁^𝜶}𝚿^𝑰\mathbf{}\mathrm{𝟎}\mathbf{.}$$
(3.8)
The derivative $`\mathbf{}_{𝒁^𝜶}𝚿^𝑰`$ can be expanded into $`\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟐}\mathbf{)}`$\- and $`\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}\mathbf{)}`$-forms with complex-structure dependent coefficient functions $`𝝈`$ and $`𝝉`$

$$\mathbf{}_{𝒁^𝜶}𝚿^𝑰\mathbf{=}𝝈_{𝜶𝑲}^𝑰\mathbf{(}𝒁\mathbf{,}\overline{𝒁}\mathbf{)}𝚿^𝑲\mathbf{+}𝝉_{𝜶\overline{𝑳}}^𝑰\mathbf{(}𝒁\mathbf{,}\overline{𝒁}\mathbf{)}\overline{𝚿}^{\overline{𝑳}}\mathbf{.}$$
(3.9)
Using this when inserting (3.7) and the usual product ansatz for the metric into (3.1), the three-dimensional effective Lagrangian takes the form111111Here we performed a Weyl-rescaling $`g_{\mu \nu }\stackrel{~}{𝒱}^2g_{\mu \nu }`$ and a further rescaling of the Kähler moduli similar to the one in , i.e. $`M_A=\stackrel{~}{M}_A\stackrel{~}{𝒱}^1`$.

$`𝒆^\mathbf{}\mathrm{𝟏}𝓛_\mathrm{𝟎}\mathbf{=}`$ $`{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟐}}}𝑹\mathbf{}𝑮_{𝜶\overline{𝜷}}\mathbf{}_𝝁𝒁^𝜶\mathbf{}^𝝁\overline{𝒁}^{\overline{𝜷}}\mathbf{}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟐}}}𝑮^{𝑨𝑩}\mathbf{}_𝝁𝑴_𝑨\mathbf{}^𝝁𝑴_𝑩`$ (3.10)
$`\mathbf{+}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟒}}}𝑮^{𝑨𝑩}𝑭_𝑨^{𝝁𝝂}𝑭_{𝑩𝝁𝝂}\mathbf{}𝑮^{𝑰\overline{𝑱}}𝑫_𝝁𝑵_𝑰𝑫^𝝁\overline{𝑵}_{\overline{𝑱}}`$
$`\mathbf{}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟖}}}\mathit{ϵ}^{𝝁𝝂𝝆}𝒅^{𝑨𝑰\overline{𝑱}}𝑭_{𝑨𝝁𝝂}\mathbf{\left[}𝑵_𝑰𝑫_𝝆\overline{𝑵}_{\overline{𝑱}}\mathbf{}𝑫_𝝆𝑵_𝑰\overline{𝑵}_{\overline{𝑱}}\mathbf{\right]}\mathbf{.}`$
The corresponding action is given by $`𝜿_\mathrm{𝟑}^\mathbf{}\mathrm{𝟐}\mathbf{}𝒅^\mathrm{𝟑}𝒙𝓛_\mathrm{𝟎}`$ and the three-dimensional gravitational constant is related to the eleven-dimensional one by $`𝜿_\mathrm{𝟑}^\mathbf{}\mathrm{𝟐}\mathbf{=}𝜿_{\mathrm{𝟏𝟏}}^\mathbf{}\mathrm{𝟐}\mathbf{(}𝓥_\mathrm{𝟎}𝜿_{\mathrm{𝟏𝟏}}^{\mathrm{𝟏𝟔}\mathbf{/}\mathrm{𝟗}}\mathbf{)}`$. Let us explain the notation in (3.10).121212Note that the notation slightly differs from  in order to be consistent with the notation of section 2. The scalar sigma-model is described by the three metrics $`𝑮_{𝜶\overline{𝜷}}\mathbf{,}𝑮^{𝑨𝑩}`$ and $`𝑮^{𝑰\overline{𝑱}}`$. The Zamolodchikov metric $`𝑮_{𝜶\overline{𝜷}}`$ on the complex structure moduli space is Kähler with Kähler potential

$$𝑲_{\mathrm{𝐂𝐒}}\mathbf{=}\mathbf{}\mathrm{𝐥𝐧}\mathbf{\left(}\mathbf{}_{𝒀_\mathrm{𝟒}}𝛀\mathbf{}\overline{𝛀}\mathbf{\right)}\mathbf{,}$$
(3.11)
where $`𝛀`$ is the (4,0)-form of $`𝒀_\mathrm{𝟒}`$. Similarly, the metric on the Kähler moduli space is given by the second derivative of a real function

$$𝑮^{𝑨𝑩}\mathbf{=}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}_{𝑴_𝑨}\mathbf{}_{𝑴_𝑩}𝑲_𝐊\mathbf{=}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}_{𝑴_𝑨}\mathbf{}_{𝑴_𝑩}\mathrm{𝐥𝐧}𝓥\mathbf{,}$$
(3.12)
where $`𝓥\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟒}\mathbf{!}}\mathbf{}_{𝒀_\mathrm{𝟒}}𝑱^\mathrm{𝟒}\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟒}\mathbf{!}}𝒅^{𝑨𝑩𝑪𝑫}𝑴_𝑨𝑴_𝑩𝑴_𝑪𝑴_𝑫`$ is a rescaled volume of $`𝒀_\mathrm{𝟒}`$, $`𝑱\mathbf{=}𝑴_𝑨𝒆^𝑨`$ being a rescaled Kähler form and

$$𝒅^{𝑨𝑩𝑪𝑫}\mathbf{=}\mathbf{}_{𝒀_\mathrm{𝟒}}𝒆^𝑨\mathbf{}𝒆^𝑩\mathbf{}𝒆^𝑪\mathbf{}𝒆^𝑫$$
(3.13)
the quadruple intersection numbers. Also

$$𝑮^{𝑰\overline{𝑱}}\mathbf{=}\mathbf{}\frac{𝒊}{\mathrm{𝟐}}𝒅^{𝑨𝑰\overline{𝑱}}𝑴_𝑨\mathbf{,}$$
(3.14)
where we have used the definition

$$𝒅^{𝑨𝑰\overline{𝑱}}\mathbf{}\mathbf{}_{𝒀_\mathrm{𝟒}}𝒆^𝑨\mathbf{}𝚿^𝑰\mathbf{}\overline{𝚿}^{\overline{𝑱}}\mathbf{.}$$
(3.15)
Furthermore, we introduced the abbreviations

$$𝑫_𝝁𝑵_𝑰\mathbf{=}\mathbf{}_𝝁𝑵_𝑰\mathbf{+}𝑵_𝑲𝝈_{𝜶𝑰}^𝑲\mathbf{}_𝝁𝒁^𝜶\mathbf{+}\overline{𝑵}_{\overline{𝑳}}\overline{𝝉}_{\overline{𝜷}𝑰}^{\overline{𝑳}}\mathbf{}_𝝁\overline{𝒁}^{\overline{𝜷}}\mathbf{,}𝑫_𝝁\overline{𝑵}_{\overline{𝑱}}\mathbf{=}\overline{𝑫_𝝁𝑵_𝑱}\mathbf{.}$$
(3.16)
Let us next make contact with the formulas of the previous chapter. To do so we have to express (3.10) in the adequate variables, i.e. the chiral fields should be those appearing also in the dualized version without vector multiplets, and the scalars from the vector multiplets should obey (2.21). The correct Kähler coordinates in the dualized theory were determined in . In the case without flux, the dualization can be performed explicitly by adding a Lagrange multiplier term

$$𝒆^\mathbf{}\mathrm{𝟏}𝓛_{𝐋\mathbf{.}𝐌\mathbf{.}}\mathbf{=}𝑭_𝝁^𝑨\mathbf{}^𝝁𝑷_𝑨\mathbf{,}𝑭^{𝑨𝝆}\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathit{ϵ}^{𝝆𝝁𝝂}𝑭_{𝝁𝝂}^𝑨$$
(3.17)
and eliminating the fields $`𝑭_𝝁^𝑨`$ via their equations of motion. The Kähler structure of the resulting sigma-model becomes manifest when expressed in the coordinates $`\mathit{\varphi }^𝒊\mathbf{=}\mathbf{(}𝒁^𝜶\mathbf{,}\widehat{𝑵}^𝑰\mathbf{,}\mathit{\varphi }^𝑨\mathbf{)}`$, where

$`\widehat{𝑵}^𝑰\mathbf{=}\widehat{𝑮}^{𝑰\overline{𝑱}}\mathbf{(}𝒁^𝜶\mathbf{,}\overline{𝒁}^{\overline{𝜶}}\mathbf{)}\overline{𝑵}_{\overline{𝑱}}\mathbf{,}`$ (3.18)
$`\mathit{\varphi }^𝑨\mathbf{=}𝒊𝑷^𝑨\mathbf{}\mathrm{𝟐}𝓥^𝑨𝓥^\mathbf{}\mathrm{𝟏}\mathbf{+}{\displaystyle \frac{𝒊}{\mathrm{𝟒}}}𝒅^{𝑨𝑴\overline{𝑳}}\widehat{𝑮}_{\overline{𝑱}𝑴}\widehat{𝑮}_{\overline{𝑳}𝑰}\widehat{𝑵}^𝑰\overline{\widehat{𝑵}}^{\overline{𝑱}}\mathbf{}𝝎_{𝑰𝑲}^𝑨\widehat{𝑵}^𝑰\widehat{𝑵}^𝑲\mathbf{.}`$ (3.19)
Here we have defined a variant of (3.14) which is independent of the Kähler moduli,

$$\widehat{𝑮}^{𝑰\overline{𝑱}}\mathbf{=}\mathbf{}\frac{𝒊}{\mathrm{𝟐}}𝒅^{𝑨𝑰\overline{𝑱}}𝒄_𝑨\mathbf{,}$$
(3.20)
where all $`𝒄_𝑨`$ can be chosen to be equal to $`\mathrm{𝟏}`$, and

$$𝓥^𝑨\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟒}\mathbf{!}}\mathbf{}_{𝒀_\mathrm{𝟒}}𝒆^𝑨\mathbf{}𝑱\mathbf{}𝑱\mathbf{}𝑱\mathbf{.}$$
(3.21)
Furthermore, the $`𝝎_{𝑰𝑲}^𝑨`$ are functions of $`𝒁^𝜶`$ and $`\overline{𝒁}^{\overline{𝜶}}`$ which have to obey

$$\overline{\mathbf{}}_{\overline{𝒁}^{\overline{𝜶}}}𝝎_{𝑰𝑲}^𝑨\mathbf{=}\mathbf{}\frac{𝒊}{\mathrm{𝟒}}\widehat{𝑮}_{\overline{𝑳}𝑰}\widehat{𝑮}_{\overline{𝑱}𝑲}𝒅^{𝑨𝑴\overline{𝑳}}\overline{𝝉}_{\overline{𝜶}𝑴}^{\overline{𝑱}}\mathbf{,}$$
(3.22)
but are otherwise unconstrained. In terms of these coordinates the Kähler potential is given by

$$𝑲\mathbf{=}𝑲_{\mathrm{𝐂𝐒}}\mathbf{+}𝑲_𝐊\mathbf{,}$$
(3.23)
where $`𝑲_{\mathrm{𝐂𝐒}}`$ and $`𝑲_𝐊`$ are given in (3.11) and (3.12) and have to be expressed in terms of the Kähler coordinates $`\mathit{\varphi }^𝒊`$. Doing so one realizes that $`𝑲`$ indeed does not depend on the $`\mathbf{}\mathbf{(}\mathit{\varphi }^𝑨\mathbf{)}`$.

Now one can show that

$$\mathbf{}_{\mathit{\varphi }^𝑨}𝑲\mathbf{=}𝑴_𝑨\mathbf{,}$$
(3.24)
which indeed coincides with the general formula (2.21).131313Notice that $`K`$ in (3.23) only depends on the real part $`\phi ^A=\mathrm{}\varphi ^A`$. Thus $`_{\varphi ^A}K=\frac{1}{2}_{\phi ^A}K`$. Hence the appropriate variables for making contact with the last chapter are $`\mathit{\varphi }^𝒂\mathbf{=}\mathbf{(}𝒁^𝜶\mathbf{,}\widehat{𝑵}^𝑰\mathbf{)}`$ and $`\mathbf{(}𝑴_𝑨\mathbf{,}𝑨_{𝑨𝝁}\mathbf{)}`$. In the new coordinates the ’covariant’ derivatives (3.16) become

$`𝑫_𝝁\overline{𝑵}_{\overline{𝑱}}\mathbf{=}\widehat{𝑮}_{\overline{𝑱}𝑰}\mathbf{}_𝝁\widehat{𝑵}^𝑰\mathbf{+}\mathbf{}_𝝁𝒁^𝜶\mathbf{\left(}\widehat{𝑮}_{\overline{𝑴}𝑲}\overline{\widehat{𝑵}}^{\overline{𝑴}}𝝉_{𝜶\overline{𝑱}}^𝑲\mathbf{}\widehat{𝑮}_{\overline{𝑱}𝑰}\widehat{𝑵}^𝑲𝝈_{𝜶𝑲}^𝑰\mathbf{\right)}\mathbf{,}`$
$`𝑫_𝝁𝑵_𝑰\mathbf{=}\widehat{𝑮}_{\overline{𝑱}𝑰}\mathbf{}_𝝁\overline{\widehat{𝑵}}^{\overline{𝑱}}\mathbf{+}\mathbf{}_𝝁\overline{𝒁}^{\overline{𝜷}}\mathbf{\left(}\widehat{𝑮}_{\overline{𝑴}𝑲}\widehat{𝑵}^𝑲\overline{𝝉}_{\overline{𝜷}𝑰}^{\overline{𝑴}}\mathbf{}\widehat{𝑮}_{\overline{𝑱}𝑰}\overline{\widehat{𝑵}}^{\overline{𝑴}}\overline{𝝈}_{\overline{𝜷}\overline{𝑴}}^{\overline{𝑱}}\mathbf{\right)}\mathbf{,}`$ (3.25)
as can be seen from

$$\mathbf{}_{𝒁^𝜶}\widehat{𝑮}^{𝑰\overline{𝑱}}\mathbf{=}𝝈_{𝜶𝑲}^𝑰\widehat{𝑮}^{𝑲\overline{𝑱}}\mathbf{,}\mathbf{}_{𝒁^𝜶}𝒅^{𝑨𝑰\overline{𝑱}}\mathbf{=}𝝈_{𝜶𝑲}^𝑰𝒅^{𝑨𝑲\overline{𝑱}}\mathbf{.}$$
(3.26)
Plugging them into (3.10) one can read off $`𝑮_{𝒂\overline{𝒃}}`$ (which will be given below, in (3.38)). Moreover, from (2.27) and (3.19) we see that the kinetic potential $`\stackrel{\mathbf{~}}{𝑲}`$ is given by141414This corresponds to (2.27) up to an irrelevant constant that can be absorbed by a Kähler transformation of $`K`$. Moreover, it is very reminiscent to the Kähler potential of the effective two-dimensional theory that one gets from a Calabi-Yau fourfold compactification of type IIA .

$`\stackrel{\mathbf{~}}{𝑲}\mathbf{=}𝑲\mathbf{}𝑴_𝑨\mathbf{\left(}{\displaystyle \frac{𝒊}{\mathrm{𝟐}}}𝒅^{𝑨𝑴\overline{𝑳}}\widehat{𝑮}_{\overline{𝑱}𝑴}\widehat{𝑮}_{\overline{𝑳}𝑰}\widehat{𝑵}^𝑰\overline{\widehat{𝑵}}^{\overline{𝑱}}\mathbf{}𝝎_{𝑰𝑲}^𝑨\widehat{𝑵}^𝑰\widehat{𝑵}^𝑲\mathbf{}\overline{𝝎}_{\overline{𝑱}\overline{𝑳}}^𝑨\overline{\widehat{𝑵}}^{\overline{𝑱}}\overline{\widehat{𝑵}}^{\overline{𝑳}}\mathbf{\right)}\mathbf{.}`$ (3.27)
Indeed, one can show

$$𝑮^{𝑨𝑩}\mathbf{=}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}_{𝑴_𝑨}\mathbf{}_{𝑴_𝑩}\stackrel{\mathbf{~}}{𝑲}\mathbf{,}𝑮_{𝒂\overline{𝒃}}\mathbf{=}\mathbf{}_{\mathit{\varphi }^𝒂}\mathbf{}_{\overline{\mathit{\varphi }}^{\overline{𝒃}}}\stackrel{\mathbf{~}}{𝑲}$$
(3.28)
and

$$𝒅^{𝑨𝑰\overline{𝑱}}\mathbf{\left[}𝑵_𝑰𝑫_𝝆\overline{𝑵}_{\overline{𝑱}}\mathbf{}𝑫_𝝆𝑵_𝑰\overline{𝑵}_{\overline{𝑱}}\mathbf{\right]}\mathbf{=}\mathbf{}\mathrm{𝟒}\mathbf{}\mathbf{\left[}\mathbf{(}\mathbf{}_{𝑴_𝑨}\mathbf{}_{\mathit{\varphi }^𝒂}\stackrel{\mathbf{~}}{𝑲}\mathbf{)}\mathbf{}_𝝆\mathit{\varphi }^𝒂\mathbf{\right]}\mathbf{+}\mathbf{}_𝝆\mathbf{(}\mathbf{}\mathbf{)}\mathbf{,}$$
(3.29)
where, again, first one has to express the left hand side through the actual Kähler coordinates (3.18). Using these formulas in (3.10) shows that the low energy effective Lagrangian $`𝓛_\mathrm{𝟎}`$ is indeed of the form (2.22), taking into account (2.26).

Let us finally mention that it is straightforward but rather tedious to verify the relations (2.2) and (2.20), in the ungauged case.

### 3.2 Inclusion of 4-form flux

In this section we consider the effects of turning on a background flux for the 4-form $`𝑭_\mathrm{𝟒}`$. The case $`𝒉^{\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{=}\mathrm{𝟎}`$ was already discussed in  and here we show that the same result (and calculation) still holds in the general case including the (2,1)-moduli $`\widehat{𝑵}^𝑰`$.

Let us remind the reader that in order to calculate the potential in a Calabi-Yau fourfold compactification with 4-form fluxes one has to take into account also one of the higher-derivative terms of the eleven-dimensional theory. Only some of them are known explicitly at the moment of writing.151515See  for an overview and for references. We will use the notation of  in the following. There is a term

$$𝒆^\mathbf{}\mathrm{𝟏}𝓛_\mathrm{𝟐}^{\mathbf{(}\mathrm{𝟏𝟏}\mathbf{)}}\mathbf{=}𝒃_\mathrm{𝟏}𝑻_\mathrm{𝟐}\mathbf{\left(}𝑱_\mathrm{𝟎}\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝑬_\mathrm{𝟖}\mathbf{\right)}\mathbf{,}$$
(3.30)
where $`𝒃_\mathrm{𝟏}^\mathbf{}\mathrm{𝟏}\mathbf{}\mathbf{(}\mathrm{𝟐}𝝅\mathbf{)}^\mathrm{𝟒}\mathrm{𝟑}^\mathrm{𝟐}\mathrm{𝟐}^{\mathrm{𝟏𝟑}}`$ and

$`𝑬_\mathrm{𝟖}`$ $`\mathbf{=}`$ $`{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟑}\mathbf{!}}}\mathit{ϵ}^{𝑨𝑩𝑪𝑴_\mathrm{𝟏}𝑵_\mathrm{𝟏}\mathbf{}𝑴_\mathrm{𝟒}𝑵_\mathrm{𝟒}}\mathit{ϵ}_{𝑨𝑩𝑪𝑴_\mathrm{𝟏}^{\mathbf{}}𝑵_\mathrm{𝟏}^{\mathbf{}}\mathbf{}𝑴_\mathrm{𝟒}^{\mathbf{}}𝑵_\mathrm{𝟒}^{\mathbf{}}}𝑹_{𝑴_\mathrm{𝟏}𝑵_\mathrm{𝟏}}^{𝑴_\mathrm{𝟏}^{\mathbf{}}𝑵_\mathrm{𝟏}^{\mathbf{}}}\mathbf{}𝑹_{𝑴_\mathrm{𝟒}𝑵_\mathrm{𝟒}}^{𝑴_\mathrm{𝟒}^{\mathbf{}}𝑵_\mathrm{𝟒}^{\mathbf{}}}\mathbf{,}`$ (3.31)
$`𝑱_\mathrm{𝟎}`$ $`\mathbf{=}`$ $`𝒕^{𝑴_\mathrm{𝟏}𝑵_\mathrm{𝟏}\mathbf{}𝑴_\mathrm{𝟒}𝑵_\mathrm{𝟒}}𝒕_{𝑴_\mathrm{𝟏}^{\mathbf{}}𝑵_\mathrm{𝟏}^{\mathbf{}}\mathbf{}𝑴_\mathrm{𝟒}^{\mathbf{}}𝑵_\mathrm{𝟒}^{\mathbf{}}}𝑹_{𝑴_\mathrm{𝟏}𝑵_\mathrm{𝟏}}^{𝑴_\mathrm{𝟏}^{\mathbf{}}𝑵_\mathrm{𝟏}^{\mathbf{}}}\mathbf{}𝑹_{𝑴_\mathrm{𝟒}𝑵_\mathrm{𝟒}}^{𝑴_\mathrm{𝟒}^{\mathbf{}}𝑵_\mathrm{𝟒}^{\mathbf{}}}\mathbf{+}{\displaystyle \frac{\mathrm{𝟏}}{\mathrm{𝟒}}}𝑬_\mathrm{𝟖}\mathbf{.}`$
The tensor $`𝒕`$ is defined by $`𝒕^{𝑴_\mathrm{𝟏}\mathbf{}𝑴_\mathrm{𝟖}}𝑨_{𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}}\mathbf{}𝑨_{𝑴_\mathrm{𝟕}𝑴_\mathrm{𝟖}}\mathbf{=}\mathrm{𝟐𝟒}𝐭𝐫𝑨^\mathrm{𝟒}\mathbf{}\mathrm{𝟔}\mathbf{(}\mathrm{𝐭𝐫}𝑨^\mathrm{𝟐}\mathbf{)}^\mathrm{𝟐}`$ for antisymmetric tensors $`𝑨`$, and $`𝑬_\mathrm{𝟖}`$ is an eleven-dimensional generalization of the eight-dimensional Euler density. More generally one can define

$`𝑬_𝒏\mathbf{(}𝑴_𝑫\mathbf{)}`$ $`\mathbf{=}`$ $`{\displaystyle \frac{\mathrm{𝟏}}{\mathbf{(}𝑫\mathbf{}𝒏\mathbf{)}\mathbf{!}}}\mathit{ϵ}_{𝑵_\mathrm{𝟏}\mathbf{}𝑵_{𝑫\mathbf{}𝒏}𝑵_{𝑫\mathbf{}𝒏\mathbf{+}\mathrm{𝟏}}\mathbf{}𝑵_𝑫}\mathit{ϵ}^{𝑵_\mathrm{𝟏}\mathbf{}𝑵_{𝑫\mathbf{}𝒏}𝑵_{𝑫\mathbf{}𝒏\mathbf{+}\mathrm{𝟏}}^{\mathbf{}}\mathbf{}𝑵_𝑫^{\mathbf{}}}`$ (3.32)
$`𝑹_{𝑵_{𝑫\mathbf{}𝒏\mathbf{+}\mathrm{𝟏}}^{\mathbf{}}𝑵_{𝑫\mathbf{}𝒏\mathbf{+}\mathrm{𝟐}}^{\mathbf{}}}^{𝑵_{𝑫\mathbf{}𝒏\mathbf{+}\mathrm{𝟏}}𝑵_{𝑫\mathbf{}𝒏\mathbf{+}\mathrm{𝟐}}}\mathbf{}𝑹_{𝑵_{𝑫\mathbf{}\mathrm{𝟏}}^{\mathbf{}}𝑵_𝑫^{\mathbf{}}}^{𝑵_{𝑫\mathbf{}\mathrm{𝟏}}𝑵_𝑫}\mathbf{,}`$
where $`𝑫`$ denotes the real dimension of the manifold. Then $`𝑬_\mathrm{𝟖}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$ is proportional to the eight-dimensional Euler density, i.e.

$$\mathrm{𝟏𝟐}𝒃_\mathrm{𝟏}\mathbf{}_{𝒀_\mathrm{𝟒}}𝒅^\mathrm{𝟖}𝒚\sqrt{𝒈}𝑬_\mathrm{𝟖}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{=}𝝌\mathbf{.}$$
(3.33)
Thus in a Kaluza-Klein reduction on a Calabi-Yau fourfold the $`𝑬_\mathrm{𝟖}`$-term in (3.30) contributes to the potential of the three-dimensional effective theory, as has first been noted in . On the other hand, the integral of $`𝑱_\mathrm{𝟎}`$ over the Calabi-Yau vanishes to lowest order in $`𝜿_{\mathrm{𝟏𝟏}}`$, i.e. for the Ricci-flat metric .

In  it was shown that the contribution of the Euler-term combines with the one from the kinetic term of the 4-form to give the potential of the effective theory to lowest order in the large volume limit. Other possible contributions to the potential might come e.g. from (a yet unknown) $`𝑭_\mathrm{𝟒}^\mathrm{𝟐}𝑹^\mathrm{𝟑}`$-term. However, this would be suppressed in the large volume limit as compared to the contributions of $`\mathbf{|}𝑭_\mathrm{𝟒}\mathbf{|}^\mathrm{𝟐}`$ and $`𝑬_\mathrm{𝟖}`$. We will come back to a discussion of the limit we are considering at the end of this section.

Repeating the calculation of  in the case with $`𝒉^{\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}\mathbf{)}}\mathbf{}\mathrm{𝟎}`$, we see that a background flux $`𝑭_\mathrm{𝟒}`$ leads to the appearance of a potential and a Chern-Simons term that was first noted in . This was to be expected also from the general discussion in chapter 2, cf. (2.22). Thus (3.10) gets corrected by

$$𝒆^\mathbf{}\mathrm{𝟏}𝓛_𝒈\mathbf{=}𝒆^\mathbf{}\mathrm{𝟏}𝓛_\mathrm{𝟎}\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}𝒈\mathit{ϵ}^{𝝁𝝂𝝆}𝚯^{𝑨𝑩}𝑨_{𝑨𝝁}𝑭_{𝑩𝝂𝝆}\mathbf{+}𝒈^\mathrm{𝟐}𝑽\mathbf{,}$$
(3.34)
where $`𝒈\mathbf{=}𝓥_\mathrm{𝟎}^{\mathbf{}\mathrm{𝟏}\mathbf{/}\mathrm{𝟐}}`$. The potential is given by

$$𝑽\mathbf{=}𝒆^𝑲𝑮^{𝜶\overline{𝜷}}𝑫_𝜶𝑾𝑫_{\overline{𝜷}}\overline{𝑾}\mathbf{+}\mathrm{𝟖}𝑮_{𝑨𝑩}\mathbf{}^𝑨𝑻\mathbf{}^𝑩𝑻\mathbf{}\mathrm{𝟏𝟔}𝑻^\mathrm{𝟐}\mathbf{,}$$
(3.35)
where the Kähler potential of the gauged theory is the same as the one of the ungauged theory given in (3.23). Furthermore, $`𝑫_𝜶\mathbf{=}\mathbf{}_𝜶\mathbf{+}\mathbf{(}\mathbf{}_𝜶𝑲\mathbf{)}`$ and the superpotential $`𝑾`$ resp. the function $`𝑻`$ are defined as

$$𝑾\mathbf{=}\mathbf{}_{𝒀_\mathrm{𝟒}}𝛀\mathbf{}𝑭_\mathrm{𝟒}\mathbf{,}𝑻\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟏𝟔}}\mathbf{}_{𝒀_\mathrm{𝟒}}𝑱\mathbf{}𝑱\mathbf{}𝑭_\mathrm{𝟒}\mathbf{.}$$
(3.36)
Finally, the coefficients of the Chern-Simons term are given by

$$𝚯^{𝑨𝑩}\mathbf{=}\mathrm{𝟐}\mathbf{}^𝑨\mathbf{}^𝑩𝑻\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟒}}\mathbf{}_{𝒀_\mathrm{𝟒}}𝒆^𝑨\mathbf{}𝒆^𝑩\mathbf{}𝑭_\mathrm{𝟒}\mathbf{.}$$
(3.37)
As we already said the potential is exactly the same as the one calculated in  without the $`\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}\mathbf{)}`$-moduli, as it only gets contributions from the kinetic term of the 3-form and the higher derivative term (3.31). Moreover, the form of the potential (3.35) is perfectly consistent with the general formula (2.29). Obviously the first line of (2.29) corresponds the last two terms in (3.35). Furthermore, the last term of (2.29) vanishes, leading to a no-scale potential. Finally, to verify that the first term in the second line of (2.29) corresponds to the first term in (3.35), we notice that $`𝑫_𝑰𝑾\mathbf{=}\mathrm{𝟎}`$ and that the metric $`𝑮_{𝒂\overline{𝒃}}`$ has the form

$$𝑮_{𝒂\overline{𝒃}}\mathbf{=}\mathbf{\left(}\begin{array}{cc}𝑮_{𝜶\overline{𝜷}}\mathbf{+}𝓜_{𝑲\overline{𝑳}}𝓑_𝜶^𝑲\overline{𝓑}_{\overline{𝜷}}^{\overline{𝑳}}& 𝓜_{𝑲\overline{𝑱}}𝓑_𝜶^𝑲\\ 𝓜_{𝑰\overline{𝑳}}\overline{𝓑}_{\overline{𝜷}}^{\overline{𝑳}}& 𝓜_{𝑰\overline{𝑱}}\end{array}\mathbf{\right)}\mathbf{,}$$
(3.38)
where we have defined

$$𝓜_{𝑰\overline{𝑱}}\mathbf{=}𝑮^{𝑲\overline{𝑳}}\widehat{𝑮}_{\overline{𝑳}𝑰}\widehat{𝑮}_{\overline{𝑱}𝑲}\mathbf{,}𝓑_𝜶^𝑰\mathbf{=}\widehat{𝑮}_{\overline{𝑴}𝑲}\overline{\widehat{𝑵}}^{\overline{𝑴}}𝝉_{𝜶\overline{𝑳}}^𝑲\widehat{𝑮}^{𝑰\overline{𝑳}}\mathbf{}𝝈_{𝜶𝑲}^𝑰\widehat{𝑵}^𝑲\mathbf{.}$$
(3.39)
The inverse metric is thus given by

$$𝑮^{\overline{𝒃}𝒂}\mathbf{=}\mathbf{\left(}\begin{array}{cc}𝑮^{\overline{𝜷}𝜶}& \mathbf{}𝑮^{\overline{𝜷}𝜸}𝓑_𝜸^𝑰\\ \mathbf{}𝑮^{\overline{𝜹}𝜶}\overline{𝓑}_{\overline{𝜹}}^{\overline{𝑱}}& 𝓜^{\overline{𝑱}𝑰}\mathbf{+}𝑮^{\overline{𝜹}𝜸}𝓑_{\overline{𝜹}}^{\overline{𝑱}}𝓑_𝜸^𝑰\end{array}\mathbf{\right)}\mathbf{.}$$
(3.40)
As the $`\mathbf{(}\overline{𝜷}\mathbf{,}𝜶\mathbf{)}`$-subsector of $`𝑮^{\overline{𝒃}𝒂}`$ is just given by $`𝑮^{\overline{𝜷}𝜶}`$, as in the case without the $`\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟏}\mathbf{)}`$-moduli $`\widehat{𝑵}^𝑰`$, we see that indeed (3.35) is consistent with (2.29).

Let us now comment on the kind of expansion we are making, i.e. the range of validity of (3.34). First of all we are considering the large volume limit, i.e. $`𝓥_\mathrm{𝟎}\mathbf{}\mathrm{𝟏}`$. However, we also have to restrict the choice of the fourfold, in order to end up with (3.34) as the effective theory. For the Chern-Simons term and the potential to remain at leading order in the large volume limit, we have to consider Calabi-Yau fourfolds with large Euler number $`𝝌`$. From (3.5) it is clear that the flux is of the order of the square root of the Euler number, $`𝑭_\mathrm{𝟒}\mathbf{}𝝌^{\mathrm{𝟏}\mathbf{/}\mathrm{𝟐}}`$. Thus for $`𝝌\mathbf{}𝓥_\mathrm{𝟎}`$ the Chern-Simons term and the potential are of the same order as the terms in $`𝓛_\mathrm{𝟎}`$. A second condition on the Calabi-Yau comes from the fact that we want to neglect all other contributions from higher derivative terms that are not contained in (3.34). As was observed in , the term (3.30) leads to a correction to the three-dimensional Einstein-Hilbert term, due to the fact that

$$𝑬_\mathrm{𝟖}\mathbf{(}𝑴_\mathrm{𝟑}\mathbf{\times }𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{=}𝑬_\mathrm{𝟖}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{+}\mathrm{𝟒}𝑬_\mathrm{𝟐}\mathbf{(}𝑴_\mathrm{𝟑}\mathbf{)}𝑬_\mathrm{𝟔}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{,}$$
(3.41)
where $`𝑬_\mathrm{𝟐}\mathbf{(}𝑴_\mathrm{𝟑}\mathbf{)}\mathbf{=}\mathrm{𝟐}𝑹`$. More precisely, before the Weyl-rescaling the three-dimensional Einstein-Hilbert term gets corrected to

$$𝓢_{\mathrm{𝐄𝐇}}\mathbf{=}\frac{\mathrm{𝟏}}{\mathrm{𝟐}𝜿_\mathrm{𝟑}^\mathrm{𝟐}}\mathbf{}𝒅^\mathrm{𝟑}𝒙𝒆\mathbf{\left(}\stackrel{\mathbf{~}}{𝓥}\mathbf{+}𝒂𝓥_\mathrm{𝟎}^{\mathbf{}\mathrm{𝟑}\mathbf{/}\mathrm{𝟒}}\mathbf{}_{𝒀_\mathrm{𝟒}}𝒅^\mathrm{𝟖}𝒛\sqrt{\stackrel{\mathbf{~}}{𝒈}}𝑬_\mathrm{𝟔}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{\right)}𝑹\mathbf{,}$$
(3.42)
for some constant $`𝒂`$. Here we have used the Kähler coordinates $`\stackrel{\mathbf{~}}{𝑴}_𝑨`$ of (3.6) again, i.e. $`\stackrel{\mathbf{~}}{𝑱}\mathbf{=}\stackrel{\mathbf{~}}{𝑴}_𝑨𝒆^𝑨`$. It can be shown that

$$\mathbf{}_{𝒀_\mathrm{𝟒}}𝒅^\mathrm{𝟖}𝒛\sqrt{\stackrel{\mathbf{~}}{𝒈}}𝑬_\mathrm{𝟔}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}\mathbf{}\mathbf{}_{𝒀_\mathrm{𝟒}}\stackrel{\mathbf{~}}{𝑱}\mathbf{}𝒄_\mathrm{𝟑}\mathbf{,}$$
(3.43)
where $`𝒄_\mathrm{𝟑}`$ is the third Chern class. Thus the correction term in (3.42) is the analogue of the correction to the Einstein-Hilbert term proportional to the Euler number found for Calabi-Yau threefold compactifications in . There it was shown that the kinetic terms for the moduli get a similar correction. Also in our case we expect corrections to the kinetic terms $`\mathbf{}\mathbf{}_{𝒀_\mathrm{𝟒}}𝒅^\mathrm{𝟖}𝒛\sqrt{\stackrel{\mathbf{~}}{𝒈}}𝑬_\mathrm{𝟔}\mathbf{(}𝒀_\mathrm{𝟒}\mathbf{)}`$, at least for the geometrical moduli.161616For the $`(2,1)`$-moduli this would require an $`F_4^2R^3`$-term. In order for these corrections to be negligible in the large volume limit, we have to demand that the invariants (3.43) are small for the Calabi-Yau fourfold, which in addition should have a large Euler number. In  the invariants (3.43) are given for some examples, showing that this requirement is a rather strong constraint. We have, however, found examples in which they are considerably smaller than the Euler number.

Two further comments are in order here. First, it was found in  that a non-vanishing 4-form background in general necessitates generalizing the metric ansatz to a warped product. As argued in , the warp factor becomes trivial in the large volume limit. Here we are not considering any extended objects like space-time filling membranes or wrapped fivebranes, so the large volume limit is not obscured by the warp factor blowing up close to such sources, hence we have been working with the warp factor set to one. However, we also explicitly checked that the contributions of the warp-factor coming from the Einstein-Hilbert term and from the kinetic term of the 4-form in the compactification cancel against each other.171717In a compactification of type IIB with fluxes the effects of the warp factor are discussed in .

Second, in the presence of a 4-form flux also the expansion of the higher dimensional fields into harmonic forms, cf. (3.7), requires justification. The motivation to expand into harmonic forms in the case without flux is that they lead to zero-modes of the relevant mass operator. However, this is no longer true in the presence of fluxes. This is another way of saying that some of the former moduli become massive. Similarly to the case of the type IIB compactification on a $`𝑻^\mathrm{𝟔}`$-orientifold with fluxes discussed in , it can be argued here that the ratio of the masses due to the flux and those of the Kaluza-Klein fields is $`\mathbf{(}𝒎_{\mathrm{𝐟𝐥𝐮𝐱}}\mathbf{:}𝒎_{\mathrm{𝐊𝐊}}\mathbf{)}\mathbf{}\mathbf{(}𝑹^\mathbf{}\mathrm{𝟒}\mathbf{:}𝑹^\mathbf{}\mathrm{𝟏}\mathbf{)}`$, with $`𝑹`$ the (dimensionless) ’average’ radius of the Calabi-Yau.181818See also the discussion in . Thus in the large radius limit the flux-induced masses are small compared to the Kaluza-Klein masses, and it is justified to keep only the modes coming from an expansion into the harmonic forms in the low energy effective action.

### 3.3 Supersymmetry breaking

The conditions for unbroken $`𝑵\mathbf{=}\mathrm{𝟐}`$ supersymmetry in a Calabi-Yau fourfold compactification with fluxes were analyzed in . There it was found that the flux has to be of type $`\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟐}\mathbf{)}`$ and primitive, i.e. $`𝑭_\mathrm{𝟒}\mathbf{}𝑱\mathbf{=}\mathrm{𝟎}`$. Taking into account (3.36) this is perfectly consistent with our general discussion (2.36).

The case of $`𝑵\mathbf{=}\mathrm{𝟏}`$ has not been discussed in the literature so far. The potential (3.35) is positive definite and can be written as

$$𝑽\mathbf{=}𝒆^𝑲𝑮^{𝜶\overline{𝜷}}𝑫_𝜶𝑾𝑫_{\overline{𝜷}}\overline{𝑾}\mathbf{+}\mathrm{𝟖}𝑮_{𝑨𝑩}𝑫^𝑨𝑻𝑫^𝑩𝑻\mathbf{,}$$
(3.44)
with the ’covariant’ derivative $`𝑫^𝑨𝑻\mathbf{=}\mathbf{}^𝑨𝑻\mathbf{}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{(}\mathbf{}^𝑨𝑲\mathbf{)}𝑻`$, cf. (2.30). Therefore the condition for unbroken $`𝑵\mathbf{=}\mathrm{𝟏}`$ can be read off from (2.38) to be

$$\mathrm{𝟐}𝑻\mathbf{=}\mathbf{\pm }𝒆^{𝑲\mathbf{/}\mathrm{𝟐}}\mathbf{|}𝑾\mathbf{|}\mathbf{.}$$
(3.45)
If this is fulfilled for non-vanishing $`𝑻`$ and $`𝑾`$, supersymmetry is spontaneously broken to $`𝑵\mathbf{=}\mathrm{𝟏}`$. To be more precise, it was noted in  that fluxes of type $`𝑭_\mathrm{𝟒}\mathbf{}𝑱\mathbf{}𝑱`$ or $`𝑭_\mathrm{𝟒}\mathbf{}𝛀\mathbf{+}𝐜\mathbf{.}𝐜\mathbf{.}`$ lead to a breaking of $`𝑵\mathbf{=}\mathrm{𝟐}`$ by generating a non-vanishing $`𝑻`$ or $`𝑾`$, respectively. However, the potential still vanishes. This can be understood by rewriting the potential (3.35) in yet another way

$$𝑽\mathbf{=}\mathbf{}𝓥\mathbf{\left(}\mathbf{}_{𝒀_\mathrm{𝟒}}𝑭_{\mathrm{𝟑}\mathbf{,}\mathrm{𝟏}}\mathbf{}𝑭_{\mathrm{𝟏}\mathbf{,}\mathrm{𝟑}}\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟐}}\mathbf{}_{𝒀_\mathrm{𝟒}}𝑱\mathbf{}𝑭_{\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}}^{\mathbf{(}\mathrm{𝟎}\mathbf{)}}\mathbf{}𝑱\mathbf{}𝑭_{\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}}^{\mathbf{(}\mathrm{𝟎}\mathbf{)}}\mathbf{\right)}\mathbf{,}$$
(3.46)
where we have used the Lefschetz decomposition of a general $`\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟐}\mathbf{)}`$-form flux

$$𝑭_{\mathrm{𝟐}\mathbf{,}\mathrm{𝟐}}\mathbf{=}𝑭_{\mathrm{𝟐}\mathbf{,}\mathrm{𝟐}}^{\mathbf{(}\mathrm{𝟎}\mathbf{)}}\mathbf{+}𝑱\mathbf{}𝑭_{\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}}^{\mathbf{(}\mathrm{𝟎}\mathbf{)}}\mathbf{+}𝑱^\mathrm{𝟐}\mathbf{}𝑭_{\mathrm{𝟎}\mathbf{,}\mathrm{𝟎}}^{\mathbf{(}\mathrm{𝟎}\mathbf{)}}$$
(3.47)
with primitive $`\mathbf{(}𝒑\mathbf{,}𝒑\mathbf{)}`$-forms $`𝑭_{𝒑\mathbf{,}𝒑}^{\mathbf{(}\mathrm{𝟎}\mathbf{)}}`$. Thus we see that neither a flux $`𝑭_\mathrm{𝟒}\mathbf{}𝑱\mathbf{}𝑱`$ nor $`𝑭_\mathrm{𝟒}\mathbf{}𝛀\mathbf{+}𝐜\mathbf{.}𝐜\mathbf{.}`$ enters in the potential. Given a (locally constant) flux $`𝑭_\mathrm{𝟒}`$, its expansion into $`\mathbf{(}𝒑\mathbf{,}\mathrm{𝟒}\mathbf{}𝒑\mathbf{)}`$-forms depends on the complex structure and Kähler moduli. Minimizing the potential (3.46) restricts the moduli space to the subspace, where $`𝑭_\mathrm{𝟒}`$ can be expanded as

$$\frac{𝑭_\mathrm{𝟒}}{\mathrm{𝟐}𝝅}\mathbf{=}𝑭_{\mathrm{𝟐}\mathbf{,}\mathrm{𝟐}}^{\mathbf{(}\mathrm{𝟎}\mathbf{)}}\mathbf{+}𝑭𝑱^\mathrm{𝟐}\mathbf{+}𝑭_{\mathrm{𝟒}\mathbf{,}\mathrm{𝟎}}\mathbf{+}𝑭_{\mathrm{𝟎}\mathbf{,}\mathrm{𝟒}}\mathbf{.}$$
(3.48)
By writing $`𝑭_{\mathrm{𝟒}\mathbf{,}\mathrm{𝟎}}\mathbf{=}\stackrel{\mathbf{~}}{𝑭}𝛀`$ the condition (3.45) becomes

$$\frac{\mathrm{𝟑}𝑭}{\mathbf{|}\stackrel{\mathbf{~}}{𝑭}\mathbf{|}}\mathbf{=}\mathbf{\pm }\sqrt{\frac{\mathbf{}𝛀\mathbf{}\overline{𝛀}}{𝓥}}\mathbf{.}$$
(3.49)
Note that (3.45) is scale-invariant. Thus if there is one point in moduli space at which supersymmetry is broken to $`𝑵\mathbf{=}\mathrm{𝟏}`$, then this is true irrespective of the volume $`𝓥`$. This is in accordance with (3.49) despite the explicit appearance of the volume on the right hand side, because the coefficient $`𝑭`$ has to scale like $`𝓥^{\mathbf{}\mathrm{𝟏}\mathbf{/}\mathrm{𝟐}}`$ in order to leave the flux (3.48) constant.

### 3.4 Example

We now give an example which makes it plausible that it is indeed possible to fulfill the condition (3.49). For simplicity we take the following ansatz for the 4-form flux

$$\frac{𝑭_\mathrm{𝟒}}{\mathrm{𝟐}𝝅}\mathbf{=}𝑭𝑱^\mathrm{𝟐}\mathbf{+}𝑭_{\mathrm{𝟒}\mathbf{,}\mathrm{𝟎}}\mathbf{+}𝑭_{\mathrm{𝟎}\mathbf{,}\mathrm{𝟒}}\mathbf{,}$$
(3.50)
thus discarding any contribution from primitive (2,2)-forms. The Calabi-Yau fourfold is taken from .191919More precisely, it is in the first list of reflexive 5d polyhedra. It is a hypersurface $`𝑿`$ in a weighted projective space, whose weights can be found in the (last row of the) table of appendix A. The non-trivial Hodge numbers are given by

$$𝒉^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}\mathbf{)}}\mathbf{=}\mathrm{𝟕}\mathbf{,}𝒉^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟐}\mathbf{)}}\mathbf{=}\mathrm{𝟔}\mathbf{,}𝒉^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟑}\mathbf{)}}\mathbf{=}\mathrm{𝟏𝟑𝟑𝟓}\mathbf{,}𝒉^{\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟐}\mathbf{)}}\mathbf{=}\mathrm{𝟓𝟔𝟎𝟎}\mathbf{.}$$
(3.51)
Thus $`𝑿`$ has Euler number

$$𝝌\mathbf{=}\mathrm{𝟖𝟎𝟔𝟒}\mathbf{.}$$
(3.52)
The fact that the Euler number is divisible by $`\mathrm{𝟐𝟒}`$ implies that $`𝑯^\mathrm{𝟒}\mathbf{(}𝑿\mathbf{,}\mathbf{)}`$ is an even lattice.202020For a good collection of general topological properties of Calabi-Yau fourfolds see chapter 2 of . Moreover, it was shown in  that the flux in general has to fulfill $`𝑭_\mathrm{𝟒}\mathbf{/}\mathrm{𝟐}𝝅\mathbf{}𝒑_\mathrm{𝟏}\mathbf{/}\mathrm{𝟒}\mathbf{}𝑯^\mathrm{𝟒}\mathbf{(}𝑿\mathbf{,}\mathbf{)}`$, where $`𝒑_\mathrm{𝟏}`$ is the first Pontryagin class.212121Here we make the choice $`T_2=1`$, i.e. $`\kappa _{11}^2=2\pi ^2`$, in order to make contact with . In case $`𝝌`$ is divisible by $`\mathrm{𝟐𝟒}`$ this implies $`𝑭_\mathrm{𝟒}\mathbf{/}\mathrm{𝟐}𝝅\mathbf{}𝑯^\mathrm{𝟒}\mathbf{(}𝑿\mathbf{,}\mathbf{)}`$. The way we want to ensure this is by demanding that $`𝑱`$, $`\mathbf{}\mathbf{(}𝛀\mathbf{)}`$ and $`\mathbf{}\mathbf{(}𝛀\mathbf{)}`$ are all integral themselves and by using integral coefficients $`𝑭\mathbf{,}\stackrel{\mathbf{~}}{𝑭}`$ in the expansion (3.50).

Thus we assume that we are at a point in moduli space of complex structure where both $`\mathbf{}\mathbf{(}𝛀\mathbf{)}`$ and $`\mathbf{}\mathbf{(}𝛀\mathbf{)}`$ are integral. As in the case at hand $`𝑯^\mathrm{𝟒}\mathbf{(}𝑿\mathbf{,}\mathbf{)}`$ is an even lattice,

$$\mathbf{}_𝑿\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathrm{𝟐}\mathbf{,}\mathbf{}_𝑿\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathrm{𝟐}\mathbf{.}$$
(3.53)
Furthermore, because of $`\mathbf{}𝛀\mathbf{}𝛀\mathbf{=}\mathrm{𝟎}`$ the two integrals in (3.53) are actually equal as follows from

$$\mathbf{}_𝑿𝛀\mathbf{}𝛀\mathbf{=}\mathbf{\left(}\mathbf{}_𝑿\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathbf{}_𝑿\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{\right)}\mathbf{+}\mathrm{𝟐}𝒊\mathbf{}_𝑿\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{.}$$
(3.54)
This in turn implies that

$$\mathbf{}_𝑿𝛀\mathbf{}\overline{𝛀}\mathbf{=}\mathrm{𝟐}\mathbf{}_𝑿\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{}\mathbf{}\mathbf{(}𝛀\mathbf{)}\mathbf{=}\mathrm{𝟒}𝒓\mathbf{}\mathrm{𝟒}\mathbf{.}$$
(3.55)
As this integral is positive one can even be more specific: $`𝒓\mathbf{}`$.

Next we choose an integral basis $`𝒆^𝑨\mathbf{(}𝑨\mathbf{=}\mathrm{𝟏}\mathbf{,}\mathbf{}\mathbf{,}\mathrm{𝟕}\mathbf{)}`$ for $`𝑯^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}\mathbf{)}}\mathbf{(}𝑿\mathbf{)}`$ which is always possible because of $`𝒉^{\mathbf{(}\mathrm{𝟐}\mathbf{,}\mathrm{𝟎}\mathbf{)}}\mathbf{(}𝑿\mathbf{)}\mathbf{=}\mathrm{𝟎}`$, i.e. $`𝑯^\mathrm{𝟐}\mathbf{(}𝑿\mathbf{,}\mathbf{)}\mathbf{}\mathbf{=}𝑯^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}\mathbf{)}}\mathbf{(}𝑿\mathbf{)}`$. Using the Maple packages puntos  and schubert  we calculate the volume to be

$`𝓥`$ $`\mathbf{=}`$ $`\mathrm{𝟔}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟒}𝑴_\mathrm{𝟓}\mathbf{+}\frac{\mathrm{𝟖}}{\mathrm{𝟑}}𝑴_\mathrm{𝟒}𝑴_\mathrm{𝟓}^\mathrm{𝟑}\mathbf{+}\frac{\mathrm{𝟒}}{\mathrm{𝟑}}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟓}^\mathrm{𝟑}\mathbf{+}\mathrm{𝟔}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟒}𝑴_\mathrm{𝟓}^\mathrm{𝟐}`$
$`\mathbf{+}\mathrm{𝟏𝟐}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟒}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟖}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟔}^\mathrm{𝟑}\mathbf{+}\frac{\mathrm{𝟖}}{\mathrm{𝟑}}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟒}^\mathrm{𝟑}\mathbf{+}\mathrm{𝟐}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟔}`$
$`\mathbf{+}\mathrm{𝟐}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟔}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟔}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟓}^\mathrm{𝟐}𝑴_\mathrm{𝟔}\mathbf{+}\mathrm{𝟒}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟔}^\mathrm{𝟐}\mathbf{+}\frac{\mathrm{𝟖}}{\mathrm{𝟑}}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟔}^\mathrm{𝟑}`$
$`\mathbf{+}\mathrm{𝟔}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟕}^\mathrm{𝟑}\mathbf{+}\mathrm{𝟐}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟒}𝑴_\mathrm{𝟓}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟑}𝑴_\mathrm{𝟓}^\mathrm{𝟐}𝑴_\mathrm{𝟔}^\mathrm{𝟐}\mathbf{+}\frac{\mathrm{𝟐}}{\mathrm{𝟑}}𝑴_\mathrm{𝟏}^\mathrm{𝟑}𝑴_\mathrm{𝟕}\mathbf{+}\mathrm{𝟑}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟕}^\mathrm{𝟑}`$
$`\mathbf{+}\frac{\mathrm{𝟖}}{\mathrm{𝟑}}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟔}^\mathrm{𝟑}\mathbf{+}\mathrm{𝟏𝟐}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟔}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟏𝟖}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟓}^\mathrm{𝟐}𝑴_\mathrm{𝟔}\mathbf{+}\mathrm{𝟐}𝑴_\mathrm{𝟔}^\mathrm{𝟒}\mathbf{+}\frac{\mathrm{𝟒}}{\mathrm{𝟑}}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟔}^\mathrm{𝟑}`$
$`\mathbf{+}\mathrm{𝟔}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟔}\mathbf{+}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟔}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟔}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟔}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟐}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟒}𝑴_\mathrm{𝟓}`$
$`\mathbf{+}\mathrm{𝟓}𝑴_\mathrm{𝟓}^\mathrm{𝟐}𝑴_\mathrm{𝟒}^\mathrm{𝟐}\mathbf{+}\frac{\mathrm{𝟗}}{\mathrm{𝟐}}𝑴_\mathrm{𝟕}^\mathrm{𝟒}\mathbf{+}\mathrm{𝟔}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟓}^\mathrm{𝟐}\mathbf{+}\frac{\mathrm{𝟐}}{\mathrm{𝟑}}𝑴_\mathrm{𝟓}^\mathrm{𝟒}\mathbf{+}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟒}^\mathrm{𝟐}`$
$`\mathbf{+}\frac{\mathrm{𝟐}}{\mathrm{𝟑}}𝑴_\mathrm{𝟒}^\mathrm{𝟒}\mathbf{+}\frac{\mathrm{𝟓}}{\mathrm{𝟔}}𝑴_\mathrm{𝟏}^\mathrm{𝟒}\mathbf{+}\frac{\mathrm{𝟑𝟐}}{\mathrm{𝟑}}𝑴_\mathrm{𝟏}^\mathrm{𝟑}𝑴_\mathrm{𝟑}\mathbf{+}\mathrm{𝟒𝟖}𝑴_\mathrm{𝟏}^\mathrm{𝟐}𝑴_\mathrm{𝟑}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟏𝟐}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}^\mathrm{𝟐}`$
$`\mathbf{+}\mathrm{𝟖}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟒}^\mathrm{𝟑}\mathbf{+}\mathrm{𝟐}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟒}𝑴_\mathrm{𝟓}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟒}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟓}𝑴_\mathrm{𝟒}^\mathrm{𝟐}\mathbf{+}𝑴_\mathrm{𝟏}^\mathrm{𝟐}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟕}`$
$`\mathbf{+}\mathrm{𝟑}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟕}^\mathrm{𝟐}\mathbf{+}\mathrm{𝟑}𝑴_\mathrm{𝟏}^\mathrm{𝟐}𝑴_{\mathrm{𝟕}}^{}{}_{}{}^{\mathrm{𝟐}}\mathbf{+}\mathrm{𝟖}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟓}^\mathrm{𝟑}\mathbf{+}\frac{\mathrm{𝟖}}{\mathrm{𝟑}}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟓}^\mathrm{𝟑}\mathbf{+}\mathrm{𝟐}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟓}^\mathrm{𝟐}`$
$`\mathbf{+}\mathrm{𝟒}𝑴_\mathrm{𝟏}^\mathrm{𝟐}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}\mathbf{+}\frac{\mathrm{𝟏}}{\mathrm{𝟑}}𝑴_\mathrm{𝟏}^\mathrm{𝟑}𝑴_\mathrm{𝟐}\mathbf{+}\mathrm{𝟗𝟔}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟑}^\mathrm{𝟑}\mathbf{+}\mathrm{𝟕𝟐}𝑴_\mathrm{𝟑}^\mathrm{𝟒}\mathbf{+}\mathrm{𝟏𝟐}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}^\mathrm{𝟑}`$
$`\mathbf{+}\mathrm{𝟐}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟒}^\mathrm{𝟐}\mathbf{+}\frac{\mathrm{𝟖}}{\mathrm{𝟑}}𝑴_\mathrm{𝟏}𝑴_\mathrm{𝟒}^\mathrm{𝟑}\mathbf{+}\frac{\mathrm{𝟒}}{\mathrm{𝟑}}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟒}^\mathrm{𝟑}\mathbf{+}\mathrm{𝟔}𝑴_\mathrm{𝟐}𝑴_\mathrm{𝟑}𝑴_\mathrm{𝟒}^\mathrm{𝟐}\mathbf{.}`$
Now we have to make sure that both the condition (3.49) and the tadpole condition (3.5) are fulfilled at the same time. For the choice $`𝑻_\mathrm{𝟐}\mathbf{=}\mathrm{𝟏}`$ that we use for this example (see footnote 21) (3.5) takes the form

$$\frac{\mathrm{𝟏}}{\mathrm{𝟒}𝝅^\mathrm{𝟐}}\mathbf{}_{𝒀_\mathrm{𝟒}}𝑭_\mathrm{𝟒}\mathbf{}𝑭_\mathrm{𝟒}\mathbf{=}\frac{𝝌}{\mathrm{𝟏𝟐}}\mathbf{.}$$
(3.56)
Inserting $`\frac{𝑭_\mathrm{𝟒}}{\mathrm{𝟐}𝝅}\mathbf{=}𝑭𝑱^\mathrm{𝟐}\mathbf{+}\mathbf{(}\stackrel{\mathbf{~}}{𝑭}𝛀\mathbf{+}𝒄\mathbf{.}𝒄\mathbf{)}`$ and using (3.49) leads to the two conditions

$$𝑭^\mathrm{𝟐}\mathbf{=}\frac{𝝌}{\mathrm{𝟓𝟎𝟒}𝓥}\mathbf{,}\mathbf{|}\stackrel{\mathbf{~}}{𝑭}\mathbf{|}^\mathrm{𝟐}\mathbf{=}\frac{𝝌}{\mathrm{𝟐𝟐𝟒}𝒓}\mathbf{.}$$
(3.57)
Assuming $`𝒓\mathbf{=}\mathrm{𝟏}`$ and choosing the Kähler moduli

$$𝑴_\mathrm{𝟏}\mathbf{=}\mathrm{𝟐}\mathbf{,}𝑴_\mathrm{𝟐}\mathbf{=}\mathrm{𝟏}\mathbf{,}𝑴_\mathrm{𝟑}\mathbf{=}\mathbf{}\mathbf{=}𝑴_\mathrm{𝟕}\mathbf{=}\mathrm{𝟎}\mathbf{,}$$
(3.58)
leading to a volume of $`𝓥\mathbf{=}\mathrm{𝟏𝟔}`$ and an integral Kähler form, we see that for the value of the Euler number (3.52) these two conditions can be satisfied by

$$𝑭\mathbf{=}\mathrm{𝟏}\mathbf{,}\stackrel{\mathbf{~}}{𝑭}\mathbf{=}\mathrm{𝟔}\mathbf{.}$$
(3.59)
Thus we see that at this special point in moduli space, the flux

$$\frac{𝑭_\mathrm{𝟒}}{\mathrm{𝟐}𝝅}\mathbf{=}𝑱\mathbf{}𝑱\mathbf{+}\mathrm{𝟏𝟐}\mathbf{}\mathbf{(}𝛀\mathbf{)}$$
(3.60)
is in $`𝑯^\mathrm{𝟒}\mathbf{(}𝑿\mathbf{,}\mathbf{)}`$, fulfills the tadpole condition and breaks supersymmetry from $`𝑵\mathbf{=}\mathrm{𝟐}`$ to $`𝑵\mathbf{=}\mathrm{𝟏}`$.

Strictly speaking the values (3.58) for the Kähler moduli are outside the range of validity of our effective theory (which is at large volume), because some of the Kähler moduli vanish. As this means that some of the two-cycles of the Calabi-Yau shrink to zero size, one generically expects new light degrees of freedom from membranes wrapped around these vanishing cycles. This problem is due to our special Ansatz for $`𝑭_\mathrm{𝟒}`$. To ensure integrality of $`\frac{𝑭_\mathrm{𝟒}}{\mathrm{𝟐}𝝅}`$, we demanded that $`𝑱`$, $`\mathbf{}\mathbf{(}𝛀\mathbf{)}`$ and $`\mathbf{}\mathbf{(}𝛀\mathbf{)}`$ are all integral themselves. Relaxing this requirement would certainly allow for partial supersymmetry breaking within the range of large volume.

Let us look at bit closer at this issue. Giving up the demand for an integral $`𝑱`$ and requiring only $`𝑭𝑱^\mathrm{𝟐}\mathbf{}𝑯^\mathrm{𝟒}\mathbf{(}𝑿\mathbf{,}\mathbf{)}`$, shows that one is free to rescale all Kähler moduli by a common factor $`\sqrt{𝝀}`$ (and thus rescaling the volume $`𝓥`$ by $`𝝀^\mathrm{𝟐}`$) if one rescales $`𝑭`$ by $`𝝀^\mathbf{}\mathrm{𝟏}`$ at the same time. This corresponds to the observation made below (3.49). However, even then some of the Kähler moduli remain at zero. Thus to avoid this problem one should give up also the requirement that $`𝑭𝑱^\mathrm{𝟐}`$ and $`\mathbf{(}\stackrel{\mathbf{~}}{𝑭}𝛀\mathbf{+}𝒄\mathbf{.}𝒄\mathbf{.}\mathbf{)}`$ are separately in $`𝑯^\mathrm{𝟒}\mathbf{(}𝑿\mathbf{,}\mathbf{)}`$, a situation which is hard to analyze explicitly.

Acknowledgments

We are grateful for useful discussions with B. Körs, S. Hellerman and M. Schulz. We would especially like to thank V. Braun and J. de Loera for essential help with the Maple packages puntos and schubert.

This work was supported in part by I.N.F.N., by the EC contract HPRN-CT-2000-00122, by the EC contract HPRN-CT-2000-00148, by the INTAS contract 99-0-590 and by the MURST-COFIN contract 2001-025492. M.B. was supported by a Marie Curie Fellowship, contract number HPMF-CT-2001-01311.

## Appendix A Search for an example

To satisfy the $`𝑵\mathbf{=}\mathrm{𝟏}`$ condition (3.49) with $`𝒓`$ in (3.55) being unity, we need a Calabi-Yau fourfold with an Euler number $`𝝌`$ divisible by 24 and 224, and a volume $`𝓥`$ which is such that $`𝝌\mathbf{/}\mathbf{(}\mathrm{𝟓𝟎𝟒}𝓥\mathbf{)}`$ is a square integer for some values of the Kähler moduli (cf. (3.57)). For example, for $`𝝌\mathbf{=}\mathrm{𝟐𝟎𝟏𝟔}`$, this means $`𝓥`$ can be 1 or 4. If none of these special volume values can be obtained for integral Kähler moduli $`𝑴_𝑨`$, the Calabi-Yau manifold does not satisfy the $`𝑵\mathbf{=}\mathrm{𝟏}`$ condition (3.49) given tadpole cancellation and the integrality assumptions of section 3.

Now, in the tables  of Calabi-Yau fourfold hypersurfaces in toric varieties, the Euler number and a few other properties are explicitly given. To compute the volume $`𝓥`$ in terms of the Kähler moduli, one also needs intersection numbers of the corresponding divisors, and for this one needs to desingularize the toric variety. This is done by triangulating the corresponding polytope (see for instance  for a review). Triangulating our way through the tables  in order of increasing number of points in the polytope and increasing $`𝒉^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}\mathbf{)}}`$, it turns out that three of the candidate toric varieties we tried (indicated in table 1) cannot be desingularized; fractional intersection numbers appear. In the other five cases, the toric variety can be made smooth, and in the last candidate in the table, the condition (3.49) can, in fact, be satisfied together with tadpole cancellation and integrality conditions — for the values in (3.58) only.

$$\begin{array}{cccccccccccccc}& & & & & & & & & & & & & \\ \multicolumn{6}{c}{\text{weights}}& \text{degree}& \text{}& \text{}& 𝒉^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟏}\mathbf{)}}\mathbf{,}𝒉^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟐}\mathbf{)}}\mathbf{,}𝒉^{\mathbf{(}\mathrm{𝟏}\mathbf{,}\mathrm{𝟑}\mathbf{)}}& 𝝌& \text{comment}& & \\ & & & & & & & & & & & & & \\ & & & & & & & & & & & & & \\ \mathrm{𝟏}& \mathrm{𝟐}& \mathrm{𝟑}& \mathrm{𝟑}& \mathrm{𝟑}& \mathrm{𝟔}& \mathrm{𝟏𝟖}& \mathrm{𝟑𝟓𝟒}& \mathrm{𝟗}& \mathrm{𝟑}\mathbf{,}\mathrm{𝟎}\mathbf{,}\mathrm{𝟑𝟐𝟓}& \mathrm{𝟐𝟎𝟏𝟔}& \text{singular}& & \\ & & & & & & & & & & & & & \\ \mathrm{𝟏}& \mathrm{𝟐}& \mathrm{𝟒}& \mathrm{𝟕}& \mathrm{𝟕}& \mathrm{𝟕}& \mathrm{𝟐𝟖}& \mathrm{𝟑𝟔𝟕}& \mathrm{𝟏𝟎}& \mathrm{𝟒}\mathbf{,}\mathrm{𝟗}\mathbf{,}\mathrm{𝟑𝟑𝟑}& \mathrm{𝟐𝟎𝟏𝟔}& \text{singular}& & \\ & & & & & & & & & & & & & \\ \mathrm{𝟏}& \mathrm{𝟏}& \mathrm{𝟏}& \mathrm{𝟏}& \mathrm{𝟒}& \mathrm{𝟕}& \mathrm{𝟏𝟓}& \mathrm{𝟏𝟓𝟐𝟓}& \mathrm{𝟏𝟎}& \mathrm{𝟒}\mathbf{,}\mathrm{𝟎}\mathbf{,}\mathrm{𝟏𝟑𝟑𝟐}& \mathrm{𝟖𝟎𝟔𝟒}& & & \\ & & & & & & & & & & & & & \\ \mathrm{𝟏}& \mathrm{𝟏}& \mathrm{𝟐}& \mathrm{𝟐}& \mathrm{𝟔}& \mathrm{𝟏𝟐}& \mathrm{𝟐𝟒}& \mathrm{𝟏𝟓𝟒𝟕}& \mathrm{𝟏𝟎}& \mathrm{𝟒}\mathbf{,}\mathrm{𝟎}\mathbf{,}\mathrm{𝟏𝟑𝟑𝟐}& \mathrm{𝟖𝟎𝟔𝟒}& & & \\ & & & & & & & & & & & & & \\ \mathrm{𝟐}& \mathrm{𝟐}& \mathrm{𝟐}& \mathrm{𝟐}& \mathrm{𝟕}& \mathrm{𝟏𝟓}& \mathrm{𝟑𝟎}& \mathrm{𝟏𝟎𝟐𝟏}& \mathrm{𝟏𝟑}& \mathrm{𝟒}\mathbf{,}\mathrm{𝟎}\mathbf{,}\mathrm{𝟏𝟑𝟑𝟐}& \mathrm{𝟖𝟎𝟔𝟒}& & & \\ & & & & & & & & & & & & & \\ \mathrm{𝟏}& \mathrm{𝟐}& \mathrm{𝟐}& \mathrm{𝟐}& \mathrm{𝟖}& \mathrm{𝟏𝟓}& \mathrm{𝟑𝟎}& \mathrm{𝟏𝟒𝟔𝟏}& \mathrm{𝟏𝟒}& \mathrm{𝟓}\mathbf{,}\mathrm{𝟎}\mathbf{,}\mathrm{𝟏𝟑𝟑𝟏}& \mathrm{𝟖𝟎𝟔𝟒}& & & \\ & & & & & & & & & & & & & \\ \mathrm{𝟏}& \mathrm{𝟐}& \mathrm{𝟐}& \mathrm{𝟔}& \mathrm{𝟏𝟎}& \mathrm{𝟐𝟏}& \mathrm{𝟒𝟐}& \mathrm{𝟏𝟒𝟖𝟑}& \mathrm{𝟏𝟐}& \mathrm{𝟒}\mathbf{,}\mathrm{𝟎}\mathbf{,}\mathrm{𝟏𝟑𝟑𝟐}& \mathrm{𝟖𝟎𝟔𝟒}& \text{singular}& & \\ & & & & & & & & & & & & & \\ \mathrm{𝟏}& \mathrm{𝟏}& \mathrm{𝟔}& \mathrm{𝟖}& \mathrm{𝟖}& \mathrm{𝟐𝟒}& \mathrm{𝟒𝟖}& \mathrm{𝟏𝟓𝟒𝟕}& \mathrm{𝟏𝟑}& \mathrm{𝟕}\mathbf{,}\mathrm{𝟔}\mathbf{,}\mathrm{𝟏𝟑𝟑𝟓}& \mathrm{𝟖𝟎𝟔𝟒}& 𝑵\mathbf{=}\mathrm{𝟏}& & \end{array}$$

Table 1: Some Calabi-Yau hypersurfaces in weighted $`^{𝒏_\mathrm{𝟏}\mathbf{,}\mathbf{}𝒏_\mathrm{𝟔}}`$, with Euler numbers divisible by 24, 224 and 504, taken from the tables of . The number of points in the M and N lattices are given; the N-lattice polytope is the one that is triangulated.