Moduli stabilisation for chiral global models

We combine moduli stabilisation and (chiral) model building in a fully con-sistent global set-up in Type IIB/F-theory. We consider compactifications on Calabi-Yau orientifolds which admit an explicit description in terms of toric geometry. We build globally consistent compactifications with tadpole and Freed-Witten anomaly cancellation by choosing appropriate brane set-ups and world-volume fluxes which also give rise to SU(5) or MSSM-like chiral models. We fix all the Kähler moduli within the Kähler cone and the regime of validity of the 4D effective field theory. This is achieved in a way compatible with the local presence of chirality. The hidden sector generating the non-perturbative effects is placed on a del Pezzo divisor that does not have any chiral intersection with any other brane. In general, the vanishing D-term condition implies the shrinking of the rigid divisor supporting the visible sector. However, we avoid this problem by generating r < n D-term conditions on a set of n intersecting divisors. The remaining (n − r) flat directions are fixed by perturbative corrections to the Kähler potential. We illustrate our general claims in an explicit example. We consider a K3-fibred Calabi-Yau with four Kähler moduli, that is a hypersurface in a toric ambient space and admits a ‘simple’ F-theory up-lift. We present explicit choices of brane set-ups and fluxes which lead to three different phenomenological scenarios: the first with GUT-scale strings and TeV-scale SUSY by fine-tuning the background fluxes; the second with an exponentially large value of the volume and TeV-scale SUSY without fine-tuning the background fluxes; and the third with a very anisotropic configuration that leads to TeV-scale strings and two micron-sized extra dimensions. The K3 fibration structure of the Calabi-Yau three-fold is also particularly suitable for cosmological purposes.


JHEP02(2012)062
Two longstanding problems of Calabi-Yau compactifications, whose solution is crucial for string theory to make contact with particle phenomenology and cosmology, are moduli stabilisation and the derivation of GUT-or MSSM-like constructions. The discovery of D-branes in 1995 [1] opened the possibility to solve both of these problems at the same time within Type II theories. In fact, D-branes, on one hand, provide non-Abelian gauge symmetries and chiral matter, whereas, on the other hand, are needed to turn on background fluxes [2,3]. These fluxes play a key-rôle to fix most of the moduli in Type IIB theories due to their mild back-reaction on the Calabi-Yau geometry even if they do not develop a potential for the Kähler moduli [4,5] (for a review see [6][7][8][9]).
Given that Kähler moduli stabilisation has to be studied globally while model building is mainly a local issue, the solution of these two problems has been thought to decouple. Therefore, a lot of effort has been put on trying to solve them separately. This trend has also been due to the intrinsic difficulty to address these issues simultaneously. Some viable mechanisms to fix the Kähler moduli are now available [10][11][12]. Moreover, after a fruitful development in local model building with intersecting and magnetised D7-branes, both in perturbative Type IIB and in F-theory (see for example [13][14][15][16][17][18][19][20][21][22][23][24]), also global realistic models have been constructed [25][26][27][28][29][30][31][32]. However, it is time to try to combine the solutions of the two problems together.
The first attempts to do so [25,26,33] realised that moduli stabilisation and model building are not completely decoupled, and so they cannot be consistently studied separately. Apart from the standard issues of having robust control over the effective field theory and the stabilisation of the moduli within the Kähler cone, there are three crucial problems to solve: * Tension between moduli stabilisation via non-perturbative effects and chirality [33]; * Tension between moduli stabilisation via non-perturbative effects and the cancellation of Freed-Witten anomalies [25,26]; * Various divisors, among which the one supporting the visible sector, might be forced to shrink to zero size by the D-term constraints [25,26,34].
In this paper we present some models where all these problems can be solved simultaneously as well as obtaining very interesting phenomenological scales. Therefore, this work sets the basis for the realisation of a consistent realistic model within the framework of Type IIB Calabi-Yau flux compactifications where issues like moduli stabilisation, supersymmetry breaking and inflation, can be successfully combined together with issues like MSSM-like constructions with the right chiral spectrum and Yukawa couplings.
More in detail, we present Type IIB chiral models with the following features: • We focus on Type IIB/F-theory string compactifications with D3/D7-branes and O3/O7-planes;

JHEP02(2012)062
• We give an explicit description of the compact Calabi-Yau. By means of toric geometry we derive the topology of all toric divisors and the Kähler cone of the three-fold; • We specify two explicit brane set-ups with a particular choice of world-volume fluxes that produces an N = 1 chiral model (either SU(5)-or MSSM-like). These set-ups pass several global consistency checks like D7-tadpole, K-theory charges and Freed-Witten anomaly cancellation. Moreover, considering all the sources for D3-charge, our constructions leave enough space to turn on background three-form fluxes that would fix the complex structure moduli and still satisfy the D3-tadpole cancellation condition; • We stabilise all the Kähler moduli in a way compatible with the local presence of chirality and avoiding the possible shrinking of any divisor induced by D-terms. All the Kähler moduli are fixed within the Kähler cone and the regime of validity of the effective field theory reproducing a visible sector gauge coupling of the correct size; • In our two constructions, we present three choices of underlying parameters which produce three different models with interesting phenomenological scales: 1. GUT-scale strings and TeV-scale SUSY by fine-tuning the background fluxes; 2. Intermediate scale strings and TeV-scale SUSY for natural values of the background fluxes; 3. TeV-scale strings and micron-sized extra dimensions for very anisotropic compactifications [35].
• The last two examples represent the first realisation of LARGE Volume Scenarios (LVS) [11] for globally consistent chiral models.
In spite of all these successes, there are still many issues to be addressed: like the explicit analysis of three-form background fluxes to fix the complex structure, the dilaton and D7-brane deformation moduli; the realisation of a fluxed brane setup that produces the right chiral spectrum and Yukawa couplings; the implementation of the up-lift to a Minkowski vacuum and the derivation of all the details of the inflationary scenario. We leave all these issues for future investigation. Nevertheless, we believe this work to represent already a big step forward. This paper is organised as follows. In section 2 we first set the stage for our analysis by briefly reviewing the main problems that one encounters when trying to combine moduli stabilisation with local chiral D-brane models. Then, we present our general strategy to overcome all these difficulties and obtain a viable compact chiral model with all closed string moduli stabilised. In section 3 we illustrate our general claims in an explicit example of a K3-fibred Calabi-Yau three-fold with four Kähler moduli taken from the list of [34]. We outline all the details of a GUT-like model with two D-term conditions in JHEP02(2012)062 section 4 while in section 5 we describe a second model with just one D-term condition which yields an exponentially large volume for the internal three-fold and two different sets of phenomenologically interesting scales. Finally, we give our conclusions in section 6.

Type IIB moduli stabilisation
In this section we shall illustrate our general procedure to fix all the closed string moduli of Type IIB flux compactifications. We shall focus on compactifications on Calabi-Yau orientifolds X compatible with the presence of D3/D7-branes and O3/O7-planes. These lead to a low-energy N = 1 (supergravity) effective field theory, below the Kaluza-Klein scale.

Tree-level stabilisation
The closed string moduli of the N = 1 4D supergravity, obtained as the low-energy limit of Type IIB string theory, are given by the Kaluza-Klein reduction of the massless bosonic fields of the 10D theory. In the Ramond-Ramond sector these include the even forms C 2p , p = 0, 1, 2, while the Neveu Schwarz-Neveu Schwarz sector involves the dilaton φ, the metric g s M N (in string frame) and the antisymmetric two-form B 2 . The 4D closed string moduli are then given by the axio-dilaton S = e −φ + iC 0 , the complex structure moduli U α , α = 1, . . . , h 2,1 − (X), and the Kähler moduli: Here D i denotes a four-cycles of the internal three-fold andD i the corresponding Poincaré dual two-form. We shall always project out all the G-moduli by considering orientifold projections such that h 1,1 − = 0 ⇒ h 1,1 + = h 1,1 . The tree-level 4D Kähler potential takes the form: It depends implicitly on the complex structure moduli via the holomorphic (3,0)-form Ω and on the Kähler moduli via the Calabi-Yau volume V expressed in units of the string length ℓ s = 2π √ α ′ . The volume V is measured by an Einstein frame metric g E µν = e −φ/2 g s µν and reads: where we expanded the Kähler form J in a basis {D i } h 1,1 i=1 of H 1,1 (X, Z) as J = t iD i and we denoted the triple intersection numbers of X by k ijk . The volume can then be obtained as a function of the τ i by inverting the following relations:

JHEP02(2012)062
By turning on background fluxes of the form G 3 = F 3 + iSH 3 , where F 3 = dC 2 and H 3 = dB 2 , a superpotential of the following form is generated [39]: The fact that W tree does not depend on the Kähler moduli combined with the no-scale structure of K tree implies that only the dilaton and the complex structure moduli can be fixed at tree-level by imposing vanishing F-term conditions [4]. Therefore, the T -moduli remain precisely massless at leading semiclassical order.

Problems with Kähler moduli stabilisation
In order to develop a potential for the Kähler moduli, one has to consider either D-terms or corrections beyond the tree-level approximation of the F-term potential. When one studies the effect of the corrections to the leading approximation, the S and U -moduli can be considered as fixed at their flux-stabilised value. Therefore, in the study of Kähler moduli stabilisation we shall consider the tree-level superpotential simply as a flux-dependent constant W 0 = W tree , while the tree-level Kähler potential will take the form K = −2 ln V with the S and U -dependent part just entering the F-term potential as an overall normalisation factor. When trying to fix the Kähler moduli, one generically faces several problems. Let us list the main ones: ⊲ Control over the effective field theory: Due to the fact that the potential for the Tmoduli is completely flat at tree-level, one has, in principle, to consider any possible perturbative and non-perturbative correction to the leading order expressions, in order to lift these directions. Therefore, it is in general difficult to have full control over the effective field theory: one has to make sure that there are no other corrections which are larger or comparable to the stabilising effects under consideration. Two basic requirements to trust the effective field theory approach are the weak coupling limit, i.e. g s ≪ 1, and the large volume limit, i.e. V ≫ 1.
⊲ Tension between Kähler moduli stabilisation via non-perturbative effects and chirality: The authors of [33] pointed out that there is a problem with any stabilisation technique which relies on non-perturbative effects to fix the four-cycle supporting visible chiral matter. The generic presence of chiral intersections between the instanton and visible sector divisors induces a prefactor for the non-perturbative superpotential which depends on chiral matter VEVs. In order not to break any visible sector gauge symmetry, the VEVs of these fields have to vanish, killing the instanton contribution to the superpotential.
⊲ Tension between Kähler moduli stabilisation via non-perturbative effects and the cancellation of Freed-Witten anomalies: the cancellation of Freed-Witten (FW) anomalies requires to turn on half-integral gauge fluxes on any divisor D which is non-spin, i.e. with odd first Chern class c 1 (D) [37,38]. The presence of non-vanishing gauge JHEP02(2012)062 fluxes creates a problem for all the stabilisation mechanisms which rely on more than one non-perturbative effect to fix the Kähler moduli [25,26]. In fact, in the simplest fluxless case, an O(1) instanton contributing to the superpotential is obtained by considering a Euclidean D3-brane wrapping a rigid four-cycle which is transversally invariant under the orientifold action. The presence of possible FW fluxes would then render the instanton configuration not invariant under the orientifold anymore. This can be cured by compensating these half-integral fluxes by appropriately adjusting the B field so that the combination F = F − B is still vanishing. However, once the B-field is fixed, it is in general not able anymore to compensate the FW fluxes of any other instantons, killing their simultaneous contribution to the superpotential.
⊲ D-term problem: in Type IIB flux compactifications the GUT-or MSSM-like visible sector is built via stacks of space-time filling D7-branes wrapping divisors D i of the internal manifold. These divisors are chosen to be rigid in order to avoid unwanted matter in the adjoint representation. Chiral matter is then obtained at the intersection with a second stack of D7-branes via turning on an internal gauge flux. In turn, this gauge flux generates a Fayet-Iliopoulos (FI) term ξ i which depends on the T -moduli and takes the form [40][41][42]: where q ij =f k i k ijk is the U(1)-charge of the Kähler modulus T j induced by the magnetic flux F i =f k iD k on D i . Including also possible matter fields ϕ j with charges c ij under the U(1) on D i , the total D-term potential reads: This D-term potential is the leading effect to fix the volume τ vis of the four-cycle supporting the visible sector. In fact, as we have already pointed out, it is very hard to fix this modulus via non-perturbative effects while, as we shall see later on, any kind of perturbative correction is suppressed with respect to V D by inverse powers of the Calabi-Yau volume. If there are no visible sector singlets which can get a non-vanishing VEV cancelling the FI-term, the supersymmetric locus V D = 0 corresponds to ξ i = 0, ∀i. 1 Using the classification of rigid divisors in terms of their shrinkability properties presented in [34], it is then easy to show that the vanishing FI-term requirement generically forces one or more rigid four-cycles to shrink to zero size. 2 This causes a 'D-term problem' due to the poor control over α ′ and quantum corrections at the singular regime. 3

JHEP02(2012)062
⊲ Stabilisation within the Kähler cone and phenomenological requirements: in order to have a positive definite metric, the Kähler moduli have to satisfy: for all complex curves C and surfaces S on the Calabi-Yau X. These conditions define a subset of R h 1,1 called the Kähler cone. Any viable stabilisation mechanism has to fix the Kähler moduli within the Kähler cone. However, it is in general not very straightforward to satisfy this condition, especially if it is combined with the requirement of obtaining phenomenologically viable scales (like GUT-scale strings or TeV-scale SUSY) and, at the same time, the correct size of the visible sector gauge coupling. This is given by the volume τ vis of the divisor D vis supporting the GUTor MSSM-like D7-stack plus a positive flux dependent shift:

Solutions for Kähler moduli stabilisation
In this section we shall outline our general strategy to fix all the Kähler moduli without facing any of the generic problems described in the previous section. In section 3 we shall then illustrate our general claims in an explicit example of a K3-fibred Calabi-Yau three-fold with del Pezzo divisors taken from the list of [34]. We now explain how we intend to overcome the main challenges of Kähler moduli stabilisation by going again through the list of section 2.2.

Control over the effective field theory
We shall assume that the background fluxes can be tuned so to obtain a value of the dilaton that leads to the weak coupling limit g s = 1/Re(S) ≪ 1. This guarantees that perturbation theory does not break down and our Type IIB approximation is trustworthy.
We now analyse the regime of validity of the various perturbative and non-perturbative corrections to the leading order tree-level expressions.

Non-perturbative corrections
Due to the non-renormalisation theorem, the first corrections to the superpotential arise non-perturbatively and take the form [10]: The real part of the modulus T i parameterises the volume of an internal four-cycle wrapped by either an ED3 instanton (in which case a i = 2π) or by a stack of D7-branes supporting a condensing gauge theory (for which a i = 6π/b 0 with b 0 being the coefficient of the oneloop beta function). The threshold effects A i can be considered as O(1) constants since they depend on the complex structure moduli which are flux-stabilised at tree-level. We shall neglect the effect of multi-instanton contributions since we will always fix each Kähler modulus such that a i τ i ≫ 1.

JHEP02(2012)062
Perturbative corrections Due to the absence of a non-renormalisation theorem, the Kähler potential receives perturbative corrections both in α ′ and g s . Let us analyse these two different kinds of corrections separately.
α ′ corrections These are higher derivative corrections which vanish in the limit α ′ → 0. Given that in this limit also the string length ℓ s = 2π √ α ′ → 0, these effects are reflecting the fact that we are dealing with one-dimensional fundamental objects instead of ordinary point particles. The leading α ′ correction to the 4D tree-level Kähler potential comes from the 10D α ′3 R 4 term and behaves as [45]: where the parameter ξ = − χ(X)ζ(3) 2(2π) 3 depends on the Calabi-Yau Euler number χ(X) and the Riemann zeta function ζ(3) ≃ 1.2. The α ′ corrections are given by an expansion in inverse powers of the overall volume, and so we can focus just on the leading order effect (2.10) only if V ≫ ξ/g 3/2 s ≫ 1. This condition will definitely be satisfied since we shall fix the Calabi-Yau volume exponentially large in string units. where, in the closed string channel, δK KK (gs) can be interpreted as coming from the exchange between non-intersecting D7-branes of Kaluza-Klein strings, 4 while δK W (gs) is due to exchange of winding strings between intersecting stacks of D7-branes (or intersecting D7-branes and O7-planes).
The authors of [47] proposed a generalisation to the case of Calabi-Yau three-folds of the explicit computation of these g s effects for simple toroidal orientifolds [46]. It has been possible to conjecture the behaviour of these string loop corrections because of their simple dependence on the Kähler moduli and their interpretation as the tree-level propagation of closed strings. Moreover, this conjecture has passed several low energy tests since it reproduces the correct behaviour of the Coleman-Weinberg potential [48]. The result for the behaviour of these loop corrections is:

JHEP02(2012)062
where t ⊥ i is the volume of the two-cycle transverse to the two non-intersecting D7-branes, and: with t ∩ i now being the volume of the two-cycle where the two D7-branes intersect (or the D7-brane and the O7-plane intersect). In what follows, we shall always check that each two-cycle volume is fixed larger than unity in order to avoid the blow-up of these string loop corrections. Notice that c KK i and c W i are unknown functions of the complex structure moduli, which may be simply regarded as unknown constants for the present purposes because the U -moduli are already flux-stabilised by the leading-order dynamics. The KK correction δK KK (gs) (2.12) dominates over the α ′ correction (2.10) in the large volume limit where we can trust the effective field theory. However, as noticed in [47,48], the leading order contribution of δK KK (gs) to the scalar potential is vanishing, producing a subleading effect that is subdominant relative to the leading α ′ correction in the large volume limit. This 'extended no-scale structure' will allow us to study moduli stabilisation in two steps: first working at leading order where we shall neglect the g s corrections and focus only on the interplay between non-perturbative and α ′ effects, and then studying the potential at subleading order where we shall show how the string loop corrections can lift any remaining flat direction.

Kähler moduli stabilisation and chirality
Following [25,34], there are two interesting different classes of rigid divisors: • 'Diagonal' del Pezzo: there exists a basis of toric divisors comprising this del Pezzo four-cycle which appears in the intersection form in a diagonal way. On a Calabi-Yau three-fold, del Pezzo submanifolds are arbitrarily contractible to a point without affecting the rest of the geometry. For 'diagonal' del Pezzo divisors this becomes obvious, since their volumes are as in (2.3) but with k ijk = 0 only if i = j = k.
• Rigid but not del Pezzo: for any choice of basis of four-cycles, these rigid divisors appear in the volume form in a non-diagonal way. Moreover, they are not contractible to a point.
As pointed out in [34], the natural candidate for supporting non-perturbative effects is a 'diagonal' del Pezzo divisor. In the presence of intersecting branes, we shall perform a choice of fluxes on them which guarantees the absence of any chiral intersection between the hidden sector, responsible for the generation of the non-perturbative effects, and the visible sector D7-stack. In this way, we shall solve the tension between Kähler moduli stabilisation and chirality. 5 Notice that we shall also carefully choose a flux configuration that gives rise to a vanishing total gauge flux on the hidden sector D7-stack. This is important to ensure that the hidden sector is a pure supersymmetric Yang-Mills theory (that definitely undergoes JHEP02(2012)062 gaugino condensation) and, above all, that no FI-term gets generated. Otherwise the presence of a non-zero flux would force this 'diagonal' del Pezzo four-cycle to shrink to zero size.
The reason why we shall focus on gaugino condensation instead of ED3 instantons is purely phenomenological. In fact, we shall fix the overall volume by the interplay of non-perturbative and α ′ corrections at: where τ diag denotes the volume of the 'diagonal' del Pezzo in string frame while, as we have seen before, in the case of an ED3 instanton, a = 2π. Therefore, the two conditions τ diag 1 and g s 0.1, needed to trust the effective field theory, imply V/W 0 10 27 . In turn, this sets a very constraining upper bound on the gravitino mass: which is clearly incompatible with gravity mediated supersymmetry breaking. Moreover, for natural values of W 0 ∼ O(1), the string scale would also turn out to be very low: forbidding the possibility of standard GUT theories. On the other hand, in the case of gaugino condensation, a = 6π/b 0 , and so we have an additional parameter, b 0 , which can be varied. This gives us more freedom to obtain the desired phenomenological scales (like GUT-scale strings and TeV-scale SUSY). 6 However we stress that b 0 cannot be varied arbitrarily since its value will be constrained by the D7 tadpole cancellation condition.

Gaugino condensation
Let us now discuss the form of the non-perturbative superpotential generated by gaugino condensation. The one-loop running of the gauge kinetic function is given by: where µ is a generic energy scale, Λ UV the UV scale and g 0 the bare coupling. In our constructions, the 'diagonal' del Pezzo supporting the non-perturbative effects is transversally invariant under the orientifold projection. Therefore, the field theory living on this four-cycle is a pure Sp(2N gc ) theory that is known to undergo gaugino condensation at the scale µ = Λ IR where the expression (2.17) formally diverges, i.e. at: The non-perturbative superpotential which gets generated looks like: See also [50] for a similar line of argument.

JHEP02(2012)062
In string theory we have that g 2 0 = 4π/τ diag without any dilaton-dependent correction since there is no flux turned on, and the UV scale of the 4D supergravity is the Planck scale Λ UV = M P . Therefore introducing a generic prefactor A, which we expect to be of O(1), we obtain (setting M P = 1 and complexifying the Kähler modulus): (2.20) In the case of a pure SU(N gc ) Ngc , while in the case of a pure Sp(2N gc ) theory b 0 = 3 (N gc + 1) [51], leading to: Ngc+1 . (2.21)

Kähler moduli stabilisation and Freed-Witten anomalies
We shall solve the tension between fixing more than one Kähler modulus by non-perturbative effects and the cancellation of FW anomalies, via exploiting a moduli stabilisation technique which relies on the the existence of just one non-perturbative effect. This is the so-called LARGE Volume Scenario [11] where the overall volume is fixed by the interplay of the leading order α ′ correction and the non-perturbative effects supported by a single 'diagonal' del Pezzo divisor 7 [43]. In the next section, we shall explain how to fix most of the remaining moduli at leading order via D-terms without hitting the walls of the Kähler cone. If some flat directions are still left over, they will be lifted by subleading string loop corrections.
As we have already said, we shall consider a confining hidden sector given by a stack of D7-branes wrapping a transversally invariant rigid four-cycle without chiral intersections with the visible sector. Thus, we obtain an Sp(2N gc ) group with the presence of an FW half-integer. This flux would break the symplectic group to an unitary one and generate dangerous chiral matter that might kill gaugino condensation. Hence, we shall cancel this FW flux by an appropriate choice of the B field.

D-term problem
Let us now explain a generic strategy to avoid the D-term induced shrinking of the visible sector four-cycle.
If the visible sector is supported by a 'diagonal' del Pezzo then the FI-term simplifies considerably to ξ = c √ τ dP , where c is a flux-dependent non-zero constant. Hence, the requirement ξ = 0 forces τ dP to shrink to zero [25,26,34]. On the other hand, if the visible sector D7-stack wraps a 'non-diagonal' rigid divisor (like in the last two cases of the previous classification) which intersects other (n − 1) four-cycles, the corresponding FI-term depends linearly on n Kähler moduli. Imposing the vanishing of this FI-term fixes the corresponding combination of Kähler moduli. This observation gives some hope to fix the moduli without going to the singular regime. However, if also all the other (n − 1) divisors support a U(1) gauge theory, then the simultaneous vanishing of all the FI-terms

JHEP02(2012)062
gives rise to a set of n linear homogeneous equations in n unknowns which admits only the vanishing solution if the rank r of the corresponding flux-dependent matrix is n. Hence, one could still face the shrinking problem even if the visible sector D7-stack is placed on a 'non-diagonal' rigid divisor. Therefore, in order to avoid the shrinking solution, we have to make sure that the rank r of the D-term conditions is smaller than the number n of entering Kähler moduli (i.e. r < n). This implies that the D-terms cannot fix all the moduli. They will leave (n − r) flat directions. There are two ways to get r < n: 1. By construction, i.e. by wrapping p < n divisors; 2. By an appropriate choice of fluxes which renders some FI terms parallel.
In our constructions the modulus controlling the size of the 'diagonal' del Pezzo does not enter in the D-term constraints (and will be fixed by non-perturbative effects). On the other hand, in general the FI-terms will depend on the other n = h 1,1 − 1 moduli.
The condition of reproducing the correct size of the visible sector gauge coupling α −1 vis forces the divisor wrapped by the GUT-or MSSM-like D7-stack to be fixed relatively small since too large values of τ vis would give rise to too small values of α −1 vis (see (2.8)). This cannot be reached if we have n − r = 1 and on top of this we require to realise the LVS. In fact, in order to have LVS we need that at least one Kähler modulus is exponentially large. On the other hand n − r = 1 implies that all the Kähler moduli are of the same size (as we have n − 1 linear equations in n unknowns). Therefore, if we want to obtain the LVS (at least one large modulus) and realistic gauge coupling (one small modulus), we need n − r > 1. Hence, if we set r = 1, we have to work with n = 3. In terms of the total number of Kähler moduli, we are left over with the minimal set-up with h 1,1 = n + 1 = 4. In this case we would also obtain enough intersecting cycles to construct a GUT-or MSSM-like chiral model. We finally stress again that if n = r we would be driven to the quiver locus by the D-term conditions. It remains to study how to stabilise the unfixed (n − r) Kähler moduli. The minimal number of flat directions left over by the D-terms is n − r = 1 for cases where we allow the four-cycles to have the same size (and so no LVS is possible) while n − r = 2 for models where one direction can be sent large (like in the LVS). We point out that, due to the tension between non-perturbative effects and FW anomaly cancellation, we would like to fix these n − r directions without using non-perturbative effects since gaugino condensation has already been used to fix the 'diagonal' del Pezzo. Hence, we need to look at perturbative corrections to the Kähler potential: one flat direction can be fixed by α ′ corrections whereas the other, if present, can be fixed by subleading string loop effects.

Stabilisation within the Kähler cone
In the next section we will present different chiral models which illustrate our general claims in the case of a K3-fibred Calabi-Yau three-fold with a 'diagonal' del Pezzo divisor and h 1,1 = 4. This example features also an interesting F-theory uplift in terms of an elliptically fibred Calabi-Yau four-fold and it is taken from the list of [34] consisting of 158 examples JHEP02(2012)062 of lattice polytopes which have a Calabi-Yau hypersurface with h 1,1 = 4 that admits a K3 fibration structure and at least one 'diagonal' del Pezzo.
We will make three explicit choices of brane set-up and fluxes where the underlying parameters (g s , W 0 and A) can be chosen consistently with Kähler moduli stabilisation within the Kähler cone and the regime of validity of the 4D effective field theory. At the same time, the same choice yields also interesting phenomenological scales and the correct order of magnitude of the visible sector gauge coupling.
In all cases we set the number of intersecting Kähler moduli n = 3. In the first case we shall generate just r = 2 D-term conditions by wrapping two divisors (in addition to the 'diagonal' del Pezzo) on which we will switch on fluxes. We shall then lift the remaining flat direction with α ′ corrections obtaining a Calabi-Yau volume of the order V ∼ 5 · 10 3 which gives rise to GUT-scale strings and TeV-scale SUSY by fine-tuning W 0 ∼ 5 · 10 −9 .
In the last two cases we shall generate just r = 1 D-term condition by wrapping the same number of divisors as above, but making a proper choice of fluxes which renders the two remaining FI-terms parallel. We shall then lift the two remaining flat directions with both α ′ and g s corrections obtaining an exponentially large internal volume. In the second case, corresponding to V ∼ 10 12 , we obtain TeV-scale SUSY without fine-tuning the background fluxes, i.e. W 0 ∼ O(1), while in the third case, corresponding to V ∼ 10 29 , we get TeV-scale strings for a very anisotropic configuration with four small and two micronsized extra dimensions.

A global chiral model for a K3-fibred Calabi-Yau
In this section we shall construct a global model with chiral matter. We will start by giving the details of the compactification manifold we have chosen. Then, we will describe all the consistency constraints that the model has to satisfy.

Geometric data of the Calabi-Yau three-fold
In [34] a search for Calabi-Yau three-folds that are K3 fibrations was performed. In order to construct our model, we have picked one among them.
The Calabi-Yau three-fold X is a hypersurface in a four-dimensional toric ambient variety. This toric four-fold is given by its simplicial fan which is constructed out of a four-dimensional reflexive lattice polytope and one of its sixteen maximal coherent surfacetriangulations. These data are also encoded in the following weight matrix and Stanley-Reisner ideal:

JHEP02(2012)062
From the weight matrix we obtain the four equivalence relations for the homogeneous coordinates. The SR-ideal tells us which homogeneous coordinates are not allowed to vanish simultaneously. The column D X in (3.1) indicates the multi-degrees of the Calabi-Yau hypersurface divisor X such that we obtain a manifold with a vanishing first Chern class. The Hodge numbers of the Calabi-Yau X are h 1,1 = 4 and h 1,2 = 106, and consequently Euler characteristic χ is equal to 2 h 1,1 − h 1,2 = −204. All this information has been obtained by means of PALP [53].
Having the full toric data of the ambient space, we can reduce its intersection ring to the Calabi-Yau three-fold. Using the algorithm presented in [32,34], we are led to choose the following basis for H 1,1 (X, Z): 8 The intersection polynomial takes the form: The Γ's are an integral basis, i.e. all integral cycles can be written as integral linear combination of these basis elements. In terms of the chosen basis, the divisors D i are given by: For completeness we report also the second Chern class of the Calabi-Yau: As we have said, the Calabi-Yau X is a K3 fibration with 9 π : [z 1 : z 2 : z 3 : z 4 : z 5 : z 6 : z 7 : One of the K3 fibres is given by the divisor D 1 . Moreover, X has one dP 7 , corresponding to the divisor D 7 . As one can sees from (3.4), this is a 'diagonal' del Pezzo. Its Euler characteristic is χ(D 7 ) = 10 and 8 Since the intersection polynomial is only semi-diagonalisable, the choice of basis is not canonical. However, this one is special in the sense that it will allow to simplify many expressions. 9 The lattice polytope of the ambient space given in (3.1) has the Z2 symmetry z1 ↔ z3, z4 ↔ z6. This remains true also on the level of the Calabi-Yau, since, if we reduce (3.2) to the hypersurface also the SR-ideal respects this symmetry. This implies that there is a second equivalent K3 fibration given by the projection (3.7) with z1 ↔ z3, z4 ↔ z6. 10 Analysing the toric data, one finds that the four-cycle z5 = 0 is actually a ruled surface.

JHEP02(2012)062
Expanding the Kähler form in the basis {Γ i } 4 i=1 as J = i t i Γ i , we can express the volume of X in terms of the Kähler moduli t i : The volumes of the relevant divisors are given by: In order to know the parameter range of the coefficients t i , we need the Kähler cone. This is the dual to the Mori cone, i.e. the cone of effective curves. The effective curves of the Calabi-Yau hypersurface are usually not straightforwardly obtained. So one could try to approximate the Mori cone of the hypersurface by the Mori cone of the ambient space. However, we have to take into account that there may be flop transitions in the ambient space which do not affect the Calabi-Yau [58,59]. Hence, to compute the Kähler cone of the Calabi-Yau one has to take into account the cones of these different ambient spaces giving the same Calabi-Yau three-fold. For the example at hand, we find seven triangulations of the lattice polytope that lead to the same Calabi-Yau hypersurface. These triangulations are connected via flop transitions that change the triangulation of a certain facet of the lattice polytope. Under these transitions some of the effective curves of the toric ambient space become non-effective. However, these curves do not intersect the hypersurface and there is no phase transition on the Calabi-Yau. Therefore, the effective curves relevant for the hypersurface are those that are effective in all these triangulations. The dual cone to this intersection of Mori cones is the following: which is the (approximate) Kähler cone of the Calabi-Yau hypersurface. 11 As explained above, we shall place the hidden sector supporting gaugino condensation on the 'diagonal' del Pezzo divisor D 7 whose volume, τ 7 = t 2 1 , appears in the overall volume (3.8) in a diagonal way. We can also see explicitly from the Kähler cone conditions (3.10) that t 1 can be shrunk to zero without affecting the other cycles.

Orientifold projection and D7-brane configuration
We want to construct globally consistent models on D7-branes. Since we want the background to preserve N = 1 supersymmetry in four dimensions and we want to cancel the D7-charge of the D7-branes, we consider an orientifold projection that allows for O7 and O3 planes. It takes the form O = (−1) F Ω p σ, where σ is a holomorphic involution of the
We choose the following involution: σ : that produces an O7-plane on the divisor D 8 . The reason for this choice is that the divisor D 8 has the largest weights (see table (3.1)). In this way it is easier to satisfy the D7-tadpole cancellation condition with the several D7-brane stacks one would like to use to build a chiral model. There could also be O3-planes on points of the Calabi-Yau three-fold left unchanged by the involution σ. These points are counted by the following intersection numbers: Given that all these intersections are empty, there are no O3-planes.

D7-brane stacks
On the Calabi-Yau X, the total charge of a D7 brane with gauge flux F is 13 while the charge of the O7-plane is (3.14) The D7-charge is given by the two-form. In our case the D7-charge of the O7-plane is −8D 8 . Hence, in order to satisfy the D7-brane tadpole cancellation condition, we have 12 Singularities of the Calabi-Yau three-fold arise when the polynomial P factorises. Sometimes the degree of the polynomial P forces a factorisation. This does not happen for the example at hand. Further, singularities can also arise when the hypersurface hits some singularities of the ambient space. Since we consider Calabi-Yaus from refelxive polytopes, this does not happen for the generic equation. Even though (3.12) is symmetric under the orientifold involution and therefore not generic, nevertheless it omits all singularities. 13 [D7] is the homology class of the four-cycle wrapped by the D7-brane. In this paper we will use the same symbol for the classes of four-cycles and their Poincaré dual two-forms.

JHEP02(2012)062
to introduce D7-branes whose classes sum up to 8D 8 . If we decide to introduce only one D7-brane, it must be described by an equation of the following form: with η and χ generic polynomials. The reason for this form is that the D7-brane must have double intersections with the O7-plane [60,61]. The D7-brane given by the equation (3.15) has singularities, around which the surface takes the shape of the so-called Whitney umbrella. For this reason, such brane is referred to as a Whitney brane. When χ has the non-generic form χ ≡ ψ 2 , the Whitney brane splits into a brane and its image: (η − z 8 ψ)(η + z 8 ψ) = 0. We can then understand the Whitney brane as the result of the opposite transition, i.e. as the recombination of one D7-brane with its image.
We will not split the Whitney brane. We will consider instead factorisations of the polynomials η and χ like: such that: The brane factorises into a Whitney brane of lower degrees alongη 2 − z 2 8χ = 0 and an Sp(2m) stack along z i = 0. This stack is made up of m D7-branes, plus their images, along the invariant divisor z i = 0 (recall that z i → z i under σ, if i = 8). Given that D i is transverse to the O7-plane, the gauge group is Sp(2m). 14 Let us focus on our specific Calabi-Yau three-fold and analyse which brane-stacks we can factor out of the Whitney brane. If we took just one Whitney brane to cancel the D7-tadpole introduced by the O7-plane, it would wrap the locus given by equation: and of the given degrees.
In this paper we want to study two different brane configurations. In the first case we shall wrap the rigid divisors D 4 and D 5 , while in the second case, the K3 divisor D 1 and the rigid divisor D 4 . Moreover, we will need a number of D7-branes wrapping the 'diagonal' del Pezzo divisor.
Here we will analyse the generic situation in which there are N k3 branes (plus their images) wrapping the K3 divisor D 1 , N a branes (plus their images) wrapping the rigid divisor D 4 , N b branes (plus their images) wrapping the rigid divisor D 5 and N gc branes (plus their images) wrapping the diagonal dP 7 divisor D 7 . The results are valid for both configurations under consideration.
The chosen brane set-up requires that the equation (3.18) factorises as 14 We are using the convention in which Sp(2) ∼ = SU(2).

JHEP02(2012)062
where the remaining D7-tadpole is fulfilled by a Whitney brane given by the equation: (3.20) We see that, in order to keep having holomorphic (supersymmetric) D7-branes, we have to impose the following constraints on the number of branes: Since we do not want other branes apart for the ones listed, we require that the polynomial W does not factorise further. This is a non-trivial requirement in the setup we are considering. It can easily happen that asking for some values of N i , the degrees in (3.20) force the polynomial W to factorise. Let us consider a simple example to make this clear. Take the polynomial P 1,2,0,0 (z 1 , . . . , z 7 ). Looking at the table (3.1) we immediately see that P can depend only on z 1 , z 6 and z 7 . Moreover, since the first degree is 1, we cannot have more than one factor of z 1 in any monomials of P . This forces any monomial of P to have a factor of z 6 , leading to the factorised form P = z 6P . A sufficient condition for this factorisation not to happen is to prove that a generic polynomial with the degrees of W contains monomials that do not have a common factor. In our case, it is sufficient to prove this for η instead of W (because if η does not factorise, W does not too). Three possible monomials with the same degrees of η and that do not have a common factor are: For these to be well defined, one has the conditions This is a sufficient condition for the Whitney brane W = 0 to be non-factorised. In particular, we note that in order to have an SU(5) stack on D 4 (as we will do in our first explicit construction), one needs N b ≥ 1.

D7 gauge fluxes and Freed-Witten anomaly
In this section we study the gauge flux configuration paying particular attention to the freedom left over in this choice. In fact, we are forced to switch on particular fluxes on the various D7 stacks due to some consistency conditions. In order to cancel the Freed-Witten anomaly, the gauge flux F on the brane wrapping the divisor D must satisfy [37,38]: A sufficient condition to satisfy this relation is to switch on a flux of the form:

JHEP02(2012)062
Since D is embedded in a Calabi-Yau, c 1 (D) = −D. We will consider only fluxes that are non-trivial 15 in the Calabi-Yau X, as the chiral intersections depend only on them. Possible trivial fluxes would in any case contribute positively to the D3 charge, that we want to avoid, unless we need them to fix the D7-brane moduli [55][56][57]. By construction, the Whitney brane has a flux that is trivial on the Calabi-Yau X. We shall consider this flux when computing the D3 charge of a Whitney brane. Recalling that c 1 (K3) = 0, the fluxes on each D7-brane of the different stacks are then taken as follows: where the indices σ, ρ, µ and γ run over the different branes of the stack (for an Sp(2m)stack, the index runs from 1 to m). 16 In what follows, we will allow only 'diagonal' fluxes for the stacks a, k3, gc. This means that we will always take a σ i = a i ∀σ, m µ i = m i ∀µ and g γ i = g i ∀γ. On the stack b, we will instead allow for a non-diagonal flux, i.e. on different branes there can be a different flux.
The gauge flux combines with the pull-back of the bulk B-field on the wrapped fourcycle, to give the gauge invariant field strength: (3.29) The gaugino condensation stack needs to be invariant. For this reason we have to set F gc = 0 and consequently the B-field is fixed to be B = F gc . In particular it must be half-integral in the direction of D 7 . Let us finally define the following combinations of flux parameters which will render the subsequent expressions much more compact: (3.30) Notice that α a + β a must be an even number, while α ρ b is odd. There is another source for a FW anomaly, i.e. when the pull-back of the NS-NS threeform field strength H 3 on the D7-brane world-volume is non-zero. This surely does not happen for the stacks wrapping the rigid divisors and the K3 fibre, as these cycles have b 3 = 0. For the Whitney brane it is more difficult to compute this number, even if on such a kind of brane b 3 is usually zero. Otherwise one has constraints on the possible three-form fluxes that can be switched on.

Chiral matter on D7-branes
The flux on the D7-branes generates 4D chiral modes. Apart for the Whitney brane, we always have stacks of N A branes and N A image-branes on invariant divisors. Without fluxes the gauge group is Sp(2N A ). When we switch on a flux F A along the diagonal U(1) of the N A branes, and a flux −F A on the N A image-branes, the gauge group gets broken to U(N A ) = SU(N A ) × U(1). The U(1) factor gets an O(M s ) mass via the Stückelberg mechanism. 17 The number of zero-modes in the symmetric and antisymmetric representations of U(N A ) is:  In this paper we will also consider non-diagonal fluxes. On a group of branes of one stack we switch on a flux F B (and −F B on their images) and on the other branes of the stack we take a flux FB (and −FB on their images). To compute the chiral matter coming from these branes, one can use the above formulae, considering the two groups as different stacks (wrapping the same divisor).

D3 tadpole cancellation condition
For consistency, the total D3-charge must cancel. 18 In our construction we do not want to use D3-branes, as they would introduce new moduli. Moreover, there are no O3-planes. On the other hand the D7-branes and the O7-plane carry D3-charge. It is given by the integral over the Calabi-Yau X of minus the six-form in (3.13), which in this case becomes: 17 The gauge boson eats up the axionic component of the Kähler modulus whose real part is the volume of the divisor dual to the two-cycle supporting the non-vanishing flux. 18 The total D5-charge must cancel as well. In our construction this cancellation is automatically implemented by choosing invariant stacks of branes, i.e. brane and image-brane wrap the same divisor class. Hence, the D5-charge induced by the flux on one brane is cancelled by the induced charge on the imagebrane.

JHEP02(2012)062
where we split it, as usual, into flux and geometric D3-charge. The first is positive, while the second is negative. In our configuration, the D7-branes have the same charge as their images. So for the stack a, b, k3 and gc we have just to take: where i = a, b, k3, gc. The O7-plane has only negative charge given by: Another positive contribution to the total D3-charge can come from bulk three-form fluxes:

D3-charge of the Whitney brane
To compute the D3-charge of the Whitney brane, we need to use some tricks, as it wraps a singular four-cycle. The Whitney brane on the divisor D W = 2D P can be understood as the recombination of a brane on D P with its image in the same class. In the recombination, the total charge is conserved (as a consequence, F is trivial as a two-form on X). Hence, we can compute the D3-charge of a Whitney brane, by computing it in the (non-singular) split case. Doing this, we get: where S is an arbitrary integral class on X, that does not contribute to the chiral intersections. When the Whitney brane is split, the flux is F P = 1 2 D P − S. There are conditions on the divisors D P and S. If they are satisfied, the Whitney brane is consistent with supersymmetry (holomorphicity) and it is stable (it is not forced to split into a brane/image-brane pair) [60]: (3.40) In particular, the last condition gives the range on which the flux can vary: We can parameterise such a flux as follows: with the integers k, q, k a , k b chosen such that (3.40) are satisfied. 19

K-theory constraints
In order to have a fully consistent brane set-up, the cancellation of the tadpoles is not enough. One has to check that all K-theoretic charges sum up to zero [62,63]. This is not a simple task when one considers the torsion charges. Fortunately, there is a probe brane argument [64] that gives us an equivalent condition. In the absence of a global SU(2) Witten anomaly on any probe brane wrapping an invariant four-cycle transverse to the O7-plane and supporting symplectic Chan-Paton factors, the K-theory torsion charges are cancelled. Hence, a D7-brane configuration passes the check, if for any such cycle the wrapped probe brane has an even number of fundamental chiral Sp-representations.
In our constructions, all divisor classes are invariant under the orientifold involution. Hence, we will check this constraint for any divisor whose representatives are transverse to the O7-plane. If the four-cycle wrapped by the probe brane is non-Spin, FW anomaly cancellation will imply the existence of a flux that breaks the group to a non-symplectic one, avoiding the possible anomaly. If however the flux on the probe brane can be set to zero, one has to compute the chiral intersections with all the D7-branes in the given configuration and find an even number of chiral states.

Example with two D-term conditions
In this first example, we wrap no brane around the K3 divisor (i.e. N k3 = 0), while we choose the following values for the other N i : These numbers satisfy the conditions (3.25). Moreover, we switch on non-zero fluxes F a and F b on the stacks on D 4 and D 5 , such that the gauge group is: The last factor is relative to the brane wrapping the 'diagonal' del Pezzo divisor supporting gaugino condensation. The first two factors are relative to the visible sector which lives on rigid divisors with h 1,0 = 0 (so that we avoid zero-modes in the adjoint representation). On the stack wrapping D 4 we have switched on a diagonal flux breaking Sp(10) to U(5) (i.e. F σ a = F a ∀σ), while on the stack wrapping D 5 we have taken a non-diagonal flux breaking Sp (4) ). For each stack, the U(1) associated with the Cartan along which we switch on the flux gets a Stückelberg mass of O(M s ). Thus we obtain an SU(5) GUT-like theory plus a massless U(1). However, as we shall see in section 4.5.2, this massless U(1) is much more weakly coupled than SU(5) at the string scale, and so it behaves somehow as a dark force with interesting phenomenological applications [65,66]. If an SU(5) singlet gets a VEV, this Abelian gauge boson could become massive by eating up the corresponding phase. We stress that we did not look for this extra light U(1) but we have been forced to introduce it by consistency constraints (as we will explain later, cancellation of K-theory torsion charges forces N b to be even).

JHEP02(2012)062
Given that we want only one D-term condition coming from the stack b, we choose the flux so that F ρ=2 b and F ρ=1 b are proportional. In particular we take: The D7 tadpole cancellation condition is saturated by the Whitney brane W = 0, whose homology class is: The brane configuration is summarised in the following table: [D7 W ] topology rigid rigid dP 7 Whitney brane (4.5)

Chiral intersections
Using the formulae in section 3.5 the numbers of chiral zero-modes are given by: where these expressions are given in terms of the flux-dependent parameters defined in (3.30). The only non-zero chiral intersection of the gaugino condensation stack is I agc .
We set it to zero by choosing the fluxes such that ν = 0, i.e.:

D3 charge
The D3-charge of the flux on the Whitney brane is minimal when k = 6, q = 4, k a = 4 and k b = 3. With these values, the total D3-charge is given by: If Q tot (D3) < 0, there is space to switch on three-form fluxes in the bulk and two-form fluxes on the Whitney brane, in order to fix the complex structure and the D7-brane moduli.

K-theory charge
As we have said, in order for the background to be consistent, it is necessary to cancel also the K-theoretic torsion charges. We check this using the probe brane argument described above. We wrap a probe D7-brane on each invariant divisor and, if we can have zero flux on it (in order to have an Sp-group), we have to verify that the number of its chiral intersections is even. In our configuration, an invariant cycle on which we can have nonzero flux 20 is the K3 fibre D 1 . A problem may occur on the intersection with D 5 . If we had N b = 1, then the number of chiral modes at the intersection with D 1 would be 1+2(b 4 −g 4 ), i.e. an odd number. This is the reason why we have chosen N b = 2; combined with our choice of fluxes (F ρ=2 b = 3F ρ=1 b ), it gives an even number of fundamentals for a probe brane wrapping D 1 . We have checked that this is also true for all probe branes wrapping the other invariant divisors (on which we can have zero flux). From explicit computations one also sees that any probe brane wrapping an invariant divisor has always even chiral intersection numbers with branes wrapping the divisor D 4 (for any value of N a ).

A consistent flux choice
The following choice of flux numbers is consistent with all our requirements: The total D3-charge is Q tot (D3) = −318 while the chiral intersections are: (4.10) The modes in the5 representation of SU(5) are given by I ab + I ab + I aW . We also have two modes in the 10 and two in the 15 representations of SU(5). Finally we have a large number of SU(5)-singlets.

D-term potential
For generic fluxes (satisfying (4.7)) and with the given choice for the B-field, the only non-trivial FI-terms are: [(β a − α a )(r 1 + r 2 ) + 2α a r 3 ] , (4.11) The second one is the FI-terms coming from the brane ρ = 1 of the D7 b stack. The one relative to ρ = 2 is proportional to this, and so it gives the same D-term condition.

JHEP02(2012)062
The system of equations (ξ a , ξ b ) = (0, 0), has the following solution: which, expressed in terms of the original t i variables, takes the form: (4.14) The flux parameters must be chosen to ensure that these solutions are inside the Kähler cone. For the choice taken in (4.9), (4.14) simplifies to: Substituting this result in the volumes of the relevant divisors, we obtain:

F-term potential
The two D-term conditions (4.15) fix two Kähler moduli at leading order. These moduli can be parameterised as the volumes of the divisors supporting the D7-branes on whose world-volume we have turned on a flux: τ 4 and τ 5 . These two moduli are fixed at: and disappear from the effective field theory since they acquire a mass of the order the string scale. In addition the corresponding axions get eaten up by the U(1)s which get massive via the Stückelberg mechanism. We can then study the effective field theory in terms of the two remaining Kähler moduli τ 1 and τ 7 . The D-term stabilisation (4.15) gives a volume of the form: where α = 86/(57 √ 19), γ = 1/(3α), and: We shall now show that these two remaining moduli can be fixed within the Kähler cone and the regime of validity of the effective field theory by the interplay of α ′ and nonperturbative corrections.
Writing the Kähler moduli as T i = τ i + iζ i , the Kähler potential and superpotential of the low-energy 4D N = 1 supergravity read (for N gc = 4): with ξ ≃ 0.5. The form of the N = 1 F-term supergravity scalar potential is (after T 7 -axion minimisation which fixes the sign of the second term as negative): (4.21) where the α ′ corrected 77 element of the inverse Kähler metric is given by: and: Given that the combination of the D-term constraints (4.15) and the requirement of obtaining a small value of the visible sector gauge coupling α −1 vis ≃ τ 4 does not allow us to perform a limit where some divisors become exponentially large while others stay relatively small, we cannot approximate K 77 taking 1 + τ 3/2 7 2V = 1 + ǫ with ǫ ≪ 1. Therefore, we shall keep this term showing however that ǫ ≃ 0.008. Moreover, in order to trust the stability of our vacuum, we need also to make sure that we have control over the perturbative expansion, in the sense that the α ′ corrections, controlled by the parameterξ/V, should be small. We will indeed show thatξ/V ≃ 0.01 justifying the neglecting of higher order α ′ and perturbative corrections (like string loops which are subleading due to the no-scale structure). More precisely, these corrections might slightly modify the exact position of the minimum but not the stability and the main phenomenological features of the vacuum.
The general expression for the scalar potential (4.21) is quite complicated and so its vacuum structure cannot be studied analytically. Therefore, we will perform a numerical study to show the presence of a global and stable minimum. However we shall first analyse our potential analytically in the approximation of small τ 7 and α ′ corrections. Due to the good agreement between this analytic study and the full numerical minimisation, we shall understand the qualitative behaviour of the potential and trust our approximations.
The approximated potential looks like (taking both A and W 0 positive): where we have neglected the α ′ corrections in both K 77 and |K 7j K j | but we have kept the leading order one in the third term in (4.24) due to the large coefficient 7. The two minimisation conditions ∂V /∂τ 7 = 0 and ∂V /∂V = 0 in the limit 2πτ 7 /5 ≫ 1 which guarantees the neglecting of higher order non-perturbative effects, simplify to: where: .
The solution of (4.26) gives: Combining (4.25) with (4.27) we realise that we have to focus on the solution with the minus sign obtaining: Taking the square, the previous expression reduces to: Combining (4.25) and (4.29) we notice that at the minimum τ 7 and V scale as and so we realise that the only way to get a minimum within the Kähler cone with all the moduli of the same order of magnitude, as required by the D-term conditions (4.15), is to fine tune W 0 ≪ 1. This tuning prevents us to build a standard LVS but, besides fixing all the moduli, opens up the possibility to obtain both GUT theories and TeV-scale SUSY. In fact, as we shall see below, in order to get a phenomenologically viable GUT scale of the order M GUT ∼ 10 16 GeV we need to choose V ∼ O(10 3 ). In turn, the gravitino mass (and the soft terms generated via gravity mediation) turns out to be of the order the TeV scale only if we choose W 0 ∼ O(10 −10 ).
Let us now present a choice of the underlying parameters that gives rise to a global minimum with the required phenomenological features: We find numerically that (4.25) and (4.29) have a solution at: which is in good agreement with the result obtained by minimising the whole potential (4.21) which looks like: In the region where the logarithm is undefined the potential becomes negative and develops a global minimum whose presence is guaranteed by the fact that V → 0 at infinite volume.
This qualitative agreement justifies the validity of our approximations. The potential for V and τ 7 is plotted in figure 1.
Due to the presence of α ′ corrections, this minimum breaks supersymmetry spontaneously inducing non-zero F-terms of the Kähler moduli. Moreover, the minimum is AdS with a depth of the order (introducing the correct prefactor g s e Kcs /(8π) and setting the VEV of the Kähler potential for the complex structure moduli such that e Kcs = 1): and so an up-lifting mechanism is needed. This can be done using one of the various methods proposed in the literature (D-terms from magnetised D7-branes [67], F-terms from a hidden sector [68,69], inclusion of D3 branes [10], etc.). Moreover, we obtain nice phenomenological scales since the string scale is of the order: allowing GUT model building since the GUT scale is given by: The flux-corrected value of the GUT coupling turns out to be: then, using the Kähler cone condition r 2 > 0 with the D-term constraint t 2 = −10 t 4 /9, sets a lower bound on τ 4 > O(40). Nevertheless we do not have the right matter spectrum and so we do not expect to reproduce the standard picture for gauge coupling unification. Notice also that the coupling (4.37) is much stronger than the coupling of the massless U(1) left over on D 5 . In fact, after performing the proper diagonalisation to identify the massless Abelian gauge boson on D 5 , this coupling turns out to be of the order α −1 dark ≃ 1206. As we have already commented at the beginning of section 4, this weakly interacting extra U(1) might behave as a dark force with interesting phenomenological applications [65,66].
TeV-scale supersymmetry is obtained because the gravitino mass turns out to be: and gravity mediation would yield [70]: We can also check that all the Kähler moduli are fixed within the Kähler cone since: Moreover, the volumes of all the divisors are fixed larger than unity, and so above the string scale where we can trust the effective field theory since: 21 The values of the stabilised dual two-cycle volumes are also larger than unity which is a necessary condition to neglect g s corrections to the Kähler potential. In fact, if we consider the basis formed by all the wrapped divisors {D 1 , D 4 , D 5 , D 7 } defined as: and expand the Kähler form as J = i x i D i , we find that: We finally point out that the largeness of the volume justifies the neglecting of higher α ′ corrections and a relatively small τ 7 . In fact, the expansion parameter isξ/ V ∼ 0.01 which is small enough to consider just the leading order α ′ correction, and τ 7 3/2 /(2 V ) ∼ 0.008.

Example with one D-term condition
In this example we will allow only one non-trivial D-term condition, instead of two, and we will fix the otherwise unfixed combination of the Kähler moduli, by string loop corrections to the Kähler potential. Given that the D-term condition will leave two flat directions and JHEP02(2012)062 the visible gauge coupling will constraint the size of just one of them, we shall be able to stabilise the moduli such that the other direction is exponentially large. This is the first realisation of a LVS in a globally consistent model. We shall focus on the same Calabi-Yau three-fold as in the previous example, but without wrapping any brane on D 5 (i.e. N b = 0). Instead of that, we will wrap the K3 divisor. The number of branes in each stack is: We switch on a non-zero flux F a on D7 a , while we set the flux on K3 to be zero. 22 This is possible since the non-integral part of B pulled back to D 1 is zero. In this case the Sp(2) ∼ = SU (2) group is unbroken and we do not have a D-term condition coming from this stack. The gauge group is: where the first two factors are relative to the visible sector. The D7 tadpole cancellation condition is saturated by the Whitney brane W = 0 whose homology class is now: The brane configuration is summarised in the following table: [D7 W ] topology rigid K3 dP 7 Whitney brane (5.4)

Chiral Intersections
Using the rules reviewed in section 3.5, we compute the chiral intersections: = −2β a + 3ν , I ak3 = 2α a , I aW = 4(4β a − α a ) + 8 ν I k3W = 0 I agc = ν , (5.5) which are functions of the combinations (3.30). Again, the only non-zero chiral intersection of the gaugino condensation stack is I agc , that we set to zero by choosing ν = 0.

D3 charge
The D3-charge of the Whitney brane is minimal when k = 6, q = 4, k a = 4 and k b = 3. In this case, the total D3-charge, after setting ν = 0, turns out to be: If this total charge is negative, there is space to switch on three-form fluxes in order to fix the complex structure moduli and the D7-brane moduli of the Whitney brane. 22 The Freed-Witten anomaly cancellation does not force any flux as c1(K3) = 0.

K-theory charge
In this example, the only fluxed branes are the ones wrapping the divisor D 4 . Luckily, this divisor has even chiral intersections with any other invariant divisor on which we can have a vanishing flux. Therefore, any probe brane with Sp-gauge group is free from Witten anomaly. By the probe brane argument of [64] we conclude that the K-theoretic torsion charges are cancelled.

A consistent flux choice
The following choice of flux numbers is consistent with all requirements: The total D3-charge is Q tot (D3) = −606 while the non-zero chiral intersections look like:

D-term potential
When we switch on a flux only along the D7 a stack (with ν = 0), there is only one nontrivial FI-term: The solution to the D-term condition ξ a = 0 is: which, in terms of the variables t i , becomes: With the chosen fluxes we have: Substituting this result in the volumes of the relevant divisors, we obtain: JHEP02(2012)062

F-term potential
The D-term (5.12) fixes the Kähler modulus τ 4 supporting the visible sector D7-branes on whose world-volume we turn on a flux. This modulus is fixed at: 14) and disappears from the low-energy theory since it acquires an O(M s ) mass. The corresponding axion gets eaten up by the U(1) which gets also an O(M s ) Stückelberg mass. The volume (5.13) can then be written in terms of the three remaining Kähler moduli τ 1 , τ 5 and τ 7 as: This expression can be simplified by noting that in order to get a visible sector gauge coupling α −1 vis = τ 4 which is not too small, the combination (τ 1 − τ 5 ) has to be fixed small. Hence, performing the following change of variables: where the label s stays for 'small' and the label b for 'big', the volume (5.15) simplifies to: We shall now show that two of the three remaining moduli can be fixed within the Kähler cone, at large volume and weak coupling by the interplay of α ′ and non-perturbative corrections without fine tuning the background fluxes, i.e. for W 0 ≃ O(1). We shall then lift the remaining flat direction via string loop corrections to the Kähler potential.
Writing the Kähler moduli as T i = τ i + iζ i , the Kähler potential and superpotential of the 4D N = 1 supergravity read (for N gc = 3): The F-term scalar potential is given by a complicated expression similar to (4.21) which now can very well be approximated by an expression like (4.24) with slightly different coefficients due to the fact that here we are considering N gc = 3 instead of N gc = 4: As we have already pointed out, the presence of just one D-term condition will allow us to fix one direction exponentially large. In this limit we can therefore safely neglect corrections proportional to τ 3/2 7 /(2V) andξ/V. The minimisation conditions in the limit πτ 7 /2 ≫ 1 give the following solution: We realise that only the particular combination of τ 1 and τ 5 corresponding to the overall volume gets stabilised at this level of approximation leaving one flat direction. We need therefore to include the subleading (due to the extended no-scale structure) g s corrections to K to obtain a trustable vacuum.
We stress that we fix the Kähler moduli without fine tuning W 0 small, and so we shall consider W 0 ∼ O(1). The choice of the volume is instead fixed by the requirement of getting a phenomenologically viable gravitino mass (and the soft terms generated via gravity mediation) of the order the TeV scale which forces us to consider V ∼ O(10 12 ). Let us now present a choice of parameters that gives rise to a global AdS minimum which breaks supersymmetry spontaneously and gives rise to the required phenomenological features: We find numerically that (5.20) have a solution at: which largely justifies the validity of our approximations. Moreover, we can obtain TeV scale supersymmetry since the gravitino mass turns out to be of the order: and gravity mediation would yield [70]: The string scale is intermediate since it is of the order and so we do not recover the standard picture for GUT model building.

String-loop corrections
Let us now show that the remaining flat direction can be lifted by the inclusion of g s corrections keeping τ 4 small in order to reproduce the correct order of magnitude of the visible sector gauge coupling. Given that the overall volume has already been stabilised at leading order, the internal moduli space is compact, implying a finite range for this remaining modulus. Hence, we expect that any subleading correction does not simply generate a runaway for this remaining field, but must instead generically induce a minimum.

JHEP02(2012)062
Let us now compute the intersections between the different D7-brane stacks and the O7-plane which are crucial to determine the form of the string loop corrections to K: Due to the fact that D7 k3 ∩ D7 gc = 0, we have also KK corrections between these two non-intersecting D7-stacks. Thus, we need a measure for the 'distance' between the brane wrapping a generic K3 fibre in the class of D 1 and a brane wrapping D 7 . The K3 fibre is irreducible except for a particular point of the P 1 base where it splits into D 6 + D 7 . The 'transverse distance' d between a generic fibre and the point where it becomes reducible is proportional to the volume t ⊥ of the P 1 base: The factor of proportionality r is the open string modulus that controls the position of the D7-brane on the P 1 base. It tends to zero as the brane wrapping a K3 fibre approaches a brane wrapping D 7 and to one on the antipodal point on the base. This modulus is treated on the same footing as the complex structure moduli, i.e. it is fixed at tree level by some gauge fluxes and at this level it is a flux-dependent constant. t ⊥ is obtained by plugging the D-term condition (5.12) into Vol(D 4 ∩ D 5 ) = 2(t 3 − t 4 ): We can now use these expressions to work out the implications of (2.12) and (2.13) for the effective scalar potential. The leading order result in the approximation of large volume and small string coupling is: 23 38) 23 We neglect contributions which do not depend on the flat direction τs but introduce just a subleading potential for τ7 and V. The constant ci depend on the complex structure moduli and the open string moduli, that take their flus-stabilised value. The potential for τ s at fixed V, τ 4 and τ 7 is plotted in figure 2. Therefore, we managed to obtain a LVS with, at the same time, a visible sector gauge coupling of the correct order of magnitude since its flux corrected value turns out to be: We can also check that all the Kähler moduli are fixed within the Kähler cone since: r 1 = 4.05 > 0 , r 2 ≃ 1.50 > 0 , r 3 ≃ 5.54 > 0 , r 4 ≃ 2.04 · 10 10 > 0. (5.41) We point out that choosing the coefficients of the loop corrections in such a way to reduce the value of τ 4 ∝ α −1 vis would also lead r 2 to smaller values below unity where we would loose control over our approximations. The value of τ 4 could also be reduced by lowering the VEV of τ 7 choosing a larger value of g s . However we would then be forced to fine tune W 0 and A in order to keep the same value of V which gives rise to TeV-scale SUSY.

(5.42)
The values of the stabilised dual two-cycle volumes are also larger than unity which is a necessary condition to trust the perturbative g s expansion of the Kähler potential: x 1 ≃ 11.09 , x 4 ≃ 2.04 · 10 10 , x 5 ≃ 5.54 , x 7 ≃ 2.04 · 10 10 . /δV (α ′ ) ∼ 0.001. We finally point out that the Calabi-Yau has a very anisotropic shape with two extra dimensions much larger than the other four since at the minimum we have: Hence, we are in a situation where the overall volume is exponentially large because, as can be seen from (5.41), we have effectively just one two-cycle which is large r 4 ≫ r 1 ∼ r 2 ∼ r 3 . The reason why we can take r 4 arbitrarily large is because this two-cycle is not touched by the D-term constraint (5.12). The overall volume can be simplified as: The anisotropic shape of the Calabi-Yau becomes manifest if we work with the D 3 K3 fibre instead of D 1 . In fact, the volume of this divisor τ 3 = 3t 2 s = 3τ s reveals that this K3 fibre is fixed small with the corresponding P 1 base, given by t b , exponentially large.

A different parameter choice with TeV-scale strings
We could finally envisage a scenario where we slightly modify our choice of the string coupling from g s = 0.05 to g s = 0.02 (leaving W 0 = 1 and A = 0.1) which yields a new solution to (5.20)  Notice that for such a large value of V, the gauge coupling of the field theory living on τ 4 becomes much larger than its previous value (5.40), producing a dangerous tension between obtaining such a large value of V and the correct visible gauge coupling. However this scenario does not feature this problem since the brane stack wrapping D 4 would 24 Also all the other divisors have large volumes.

JHEP02(2012)062
not correspond to the visible sector. In fact, models with TeV-scale strings require a non-supersymmetric brane configuration for the Standard Model where supersymmetry is badly broken by construction [35]. This could be easily achieved by adding to our setup another 'diagonal' del Pezzo divisor which would shrink at the singularity due to the D-term condition and support a SM-like quiver.
With this choice of parameters, we therefore managed to obtain a very anisotropic compactification similar to the one used in [35] to derive string vacua with TeV-scale strings and micron-sized extra dimensions. The difference between our model and the one studied in [35] is the use of string loop corrections instead of polyinstanton effects in order to fix the flat direction left over after the effect of α ′ and ordinary non-perturbative corrections. The reason why in [35] it has not been possible to obtain an anisotropic configuration via g s effects is because the authors did not perform an explicit orientifold projection. Hence, they neglected the string loops due to the exchange of winding strings at the intersection between O7-planes and D7-branes.
We finally point out that a K3 fibration example, very similar to the one described here, has been used to derive a very interesting inflationary scenario which yields detectable gravity waves [36]. The inflaton is the modulus whose potential is loop-generated and in order to provide observable density fluctuations the set of underlying parameters should be chosen so to obtain a value of the overall volume of the order V ∼ O(10 3 − 10 4 ) which would also give rise to GUT theories. We shall leave the detailed study of the inflationary dynamics in our model for future investigation.

Conclusions
In this paper we outlined a general strategy to combine Kähler moduli stabilisation with chiral D7-brane models within the framework of Type IIB flux compactifications. The powerful tools of toric geometry allowed us to present an example of a compact K3-fibred Calabi-Yau orientifold where we could perform some explicit choices of brane set-ups and world-volume fluxes that gave rise to GUT-or MSSM-like theories. They satisfied global consistency conditions like tadpole and Freed-Witten anomaly cancellation or K-theory constraints. At the same time, we managed to stabilise all the Kähler moduli inside the Kähler cone. We did this within the regime of validity of the low-energy theory without facing any problem related either to D-term induced shrinking of some divisors or to the presence of chirality or to the cancellation of Freed-Witten anomalies. Moreover, the VEVs of the Kähler moduli are such that we obtained three different models with interesting phenomenological scales: the first with ordinary GUT theories and TeV-scale SUSY; the second with TeV-scale SUSY and an exponentially large value of the Calabi-Yau volume; and the third with TeV-scale strings and two micron-sized extra dimensions.
We point out that the last two models represent the first realisation of the popular LARGE Volume Scenario for globally consistent chiral models in explicit compact Calabi-Yau backgrounds.
Even if there are still several issues which should be addressed in the future, we believe that this paper represents already a big step forward. In fact, we have built not just a JHEP02(2012)062 scenario, but a full model where moduli stabilisation can eventually be combined with a fully realistic D-brane set-up.
Some of these directions for future work are: (i) the explicit turning on of bulk threeform fluxes that fix the complex structure, the dilaton and the deformation moduli, and that fulfill the D3-tadpole cancellation condition; (ii) the realisation of the correct chiral spectrum and Yukawa couplings; (iii) gauge coupling unification for GUT theories; (iv) the derivation of a Minkowski vacuum; (v) the detailed description of the inflationary dynamics of the model with just one D-term condition which is very similar to the scenario presented in [36]; (vi) the study of the phenomenology of light hidden sector particles [65,66].
We stress that we presented just one example in detail but we found many more chiral global models where the Kähler moduli could be fixed along the same lines described here leading to similar phenomenological features. We believe that many models among the ones listed in [34] present the same characteristics as the one described here. Hence, our mechanism to fix the moduli is indeed rather general.
We finally point out that our internal manifold features an interesting F-theory uplift in terms of an elliptically fibred Calabi-Yau four-fold [71][72][73]. It would also be interesting to investigate if our general mechanism can be applied successfully to F-theory.