REVIEW
Moduli Stabilization in Type IIB Orientifolds (II)
High Energy Physics - Theory · Submitted 4 Sep 2006 · 57 references
Pith's verdict: A clean, general no-go diagnostic for KKLT without complex structure moduli, plus two explicit all-moduli-fixed resolved orbifolds — with one exclusion argument asserted rather than shown.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A criterion on the Kähler potential decides in advance whether a KKLT compactification can survive its uplift to positive vacuum energy — and it eliminates seven families of toroidal orbifolds.
The reading
What carries the argument
The load-bearing object is the axion mass matrix $M$ of equation (2.33), built from second derivatives of the $F$-term potential at the supersymmetric point, together with its determinant expressed in terms of principal minors (equation 2.35) and the one-minor formula (equation 2.39). Its negativity is decided not by dynamics but by the sign of first Kähler derivatives, which the Legendre-transform identities $K_{T^i}=-2t^i/K$ and $K_{T^iT^j}=G_{ij}/K^2$ convert into statements about the Kähler cone and the diagonal intersection numbers $K_{ii}$. Two secondary mechanisms carry the rest of the paper: the divisor index $chi_{D3}=tfrac12(N_+-N_-)$, computed case by case for the four divisor topologies $K3$, $T^4$, $P^1times T^2$ and rational surfaces, which decides whether a Euclidean D3-brane or a gaugino condensate can generate a non-perturbative term at all; and the calibration condition $B_2wedge J=0$ on a wrapped four-cycle, which supplies the linear system that pins the odd-cohomology moduli.
Extended reading notes
Core claim
For a type IIB orientifold with $h^{(-)}_{2,1}(X_6)=0$ and $n$ Kähler moduli, the authors evaluate the scalar potential at a supersymmetric AdS minimum and compute the mass matrix $M$ of the axions. They show that $M$ fails to be positive definite — so no controlled uplift to de Sitter is possible — whenever all first derivatives satisfy $K_{T^i}<0$, and also whenever some $K_{T^i}<0$ together with $(-1)^n$ times the principal minor $O_i$ of $O_{ij}=-K_{T^iT^j}+tfrac12 K_{T^i}K_{T^j}$ is non-positive. Using $K_{T^i}=-2t^i/K$ and the signature $(1,n-1)$ of the intersection form, these become the clean statements $t^i>0$ and $K_{ii}geq 0$ in Kähler-cone coordinates. Because at least one $t^k$ is always positive, the second criterion collapses to reading off a single diagonal intersection number. This rules out a stable KKLT uplift for $Z_3$, $Z_7$, $Z_3times Z_3$, $Z_4times Z_4$, $Z_6times Z_6$, $Z_2times Z_6'$ and $Z_8$-I on the $SU(4)^2$ lattice, both at the orbifold point and after resolution, since the resolved Kähler coordinates turn out to be positive linear combinations of the original ones. On the constructive side the authors propose fixing the $H^{(1,1)}_-$ moduli through the calibration condition $B_2wedge J=0$, which forces $K_{aa b}b^a=0$ and hence $b^a=0$, while the axions $c^a$ are eaten by a $U(1)$ made massive through the Stückelberg coupling; and they exhibit the resolved $Z_{6-II}$ orbifold on $SU(2)times SU(6)$ with all 27 moduli fixed and the resolved $Z_2times Z_4$ orbifold on $SU(2)^2times SO(5)^2$ with all 63 moduli fixed.
Load-bearing premise
The instability criteria are derived for a Kähler potential of the tree-level form $K(T+bar T)$ together with a racetrack superpotential, so they say nothing about vacua whose stabilization depends on $alpha'$ or string-coupling corrections that break that structure — a limitation the authors themselves flag in their concluding remarks.
Editorial extensions
If this is right
- Seven families of toroidal orbifold orientifolds with $h^{(-)}_{2,1}(X_6)=0$ are removed from the list of viable KKLT backgrounds, so effort on them can be redirected rather than spent searching for minima that cannot be stable after uplift.
- The obstruction is a property of the Kähler potential alone: it can be checked before any flux tuning, by inspecting the signs of $t^i$ and the diagonal intersection numbers $K_{ii}$ of the candidate manifold.
- The odd-cohomology moduli $b^a$ and $c^a$, previously a loose end in orientifold model building, acquire a stabilization mechanism that does not disturb the Kähler moduli already fixed by instantons.
- The resolved $Z_{6-II}$ and $Z_2times Z_4$ orientifolds become explicit, fully stabilized vacua with small string coupling and large volume, usable as concrete backgrounds for further study.
- Manifolds whose fixed lines fall into orbits longer than one tend to give $P^1times T^2$ divisors that never contribute, so complete stabilization by instantons alone is expected to be non-generic.
Reading between the lines
- The criterion is a statement about the sign pattern of the Kähler potential, so it should extend to any compactification whose moduli space has the same special-geometry structure, not only to toroidal orbifolds; testing it on a non-toroidal Calabi-Yau with $h^{(-)}_{2,1}=0$ would be a clean check of scope.
- Because the obstruction lives at the level of the axion mass matrix, $\alpha'$ and $g_s$ corrections that preserve the $K(T+\bar T)$ form cannot rescue these models; only corrections that break that structure can, which makes the size of such corrections the natural next calculation.
- The two worked examples fix dozens of moduli with a racetrack whose exponentials are of order $10^{-2}$ or smaller, so the neglected multi-instanton terms are a computable, not merely assumed, correction — a good target for a follow-up.
- The zero-mode tables suggest a selection principle for model building: choose orientifold actions whose O7-planes intersect every contributing divisor in at least one complex dimension, which is a discrete, enumerable criterion over the orbifold list.
Original abstract
We discuss general properties of moduli stablization in KKLT scenarios in type IIB orientifold compactifications. In particular, we find conditions for the Kaehler potential to allow a KKLT scenario for a manifold X_6 without complex structure moduli, i.e. h_(2,1)(X_6)=0. This way, a whole class of type IIB orientifolds with h_(2,1)(X_6)=0 is ruled out. This excludes in particular all Z_N- and Z_N x Z_M-orientifolds X_6 with h_(2,1)(X_6)=0 for a KKLT scenario. This concerns Z_3, Z_7, Z_3 x Z_3, Z_4 x Z_4, Z_6 x Z_6 and Z_2 x Z_6' -both at the orbifold point and away from it. Furthermore, we propose a mechanism to stabilize the Kaehler moduli accociated to the odd cohomology H^(1,1)_-(X_6). In the second part of this work we discuss the moduli stabilization of resolved type IIB Z_N- or Z_N x Z_M - orbifold/orientifold compactifications. As examples for the resolved Z_6 and Z_2 x Z_4 orbifolds we fix all moduli through a combination of fluxes and racetrack superpotential.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We discuss general properties of moduli stablization in KKLT scenarios in type IIB orientifold compactifications. In particular, we find conditions for the Kaehler potential to allow a KKLT scenario for a manifold X_6 without complex structure moduli, i.e. h_(2,1)(X_6)=0. This way, a whole class of type IIB orientifolds with h_(2,1)(X_6)=0 is ruled out. This excludes in particular all Z_N- and Z_N x Z_M-orientifolds X_6 with h_(2,1)(X_6)=0 for a KKLT scenario. This concerns Z_3, Z_7, Z_3 x Z_3, Z_4 x Z_4, Z_6 x Z_6 and Z_2 x Z_6' -both at the orbifold point and away from it. Furthermore, we propose a mechanism to stabilize the Kaehler moduli accociated to the odd cohomology H^(1,1)_-(X_6). In the second part of this work we discuss the moduli stabilization of resolved type IIB Z_N- or Z_N x Z_M - orbifold/orientifold compactifications. As examples for the resolved Z_6 and Z_2 x Z_4 orbifolds we fix all moduli through a combination of fluxes and racetrack superpotential.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We discuss general properties of moduli stablization in KKLT scenarios in type IIB orientifold compactifications. | contribution 0.68 | 0.72 | 0.05 | asserted 0.64 |
| s1 | In particular, we find conditions for the Kaehler potential to allow a KKLT scenario for a manifold X_6 without complex structure moduli, i.e. h_(2,1)(X_6)=0. | result 0.89 | 0.94 | 0.22 | asserted 1.00 |
| s2 | This way, a whole class of type IIB orientifolds with h_(2,1)(X_6)=0 is ruled out. | interpretation 0.55 | 0.83 | 0.27 | asserted 1.00 |
| s3 | This excludes in particular all Z_N- and Z_N x Z_M-orientifolds X_6 with h_(2,1)(X_6)=0 for a KKLT scenario. | result 0.71 | 0.84 | 0.24 | asserted 1.00 |
| s4 | This concerns Z_3, Z_7, Z_3 x Z_3, Z_4 x Z_4, Z_6 x Z_6 and Z_2 x Z_6' -both at the orbifold point and away from it. | result 0.85 | 0.73 | 0.10 | asserted 0.98 |
| s5 | Furthermore, we propose a mechanism to stabilize the Kaehler moduli accociated to the odd cohomology H^(1,1)_-(X_6). | contribution 0.97 | 0.87 | 0.12 | asserted 0.59 |
| s6 | In the second part of this work we discuss the moduli stabilization of resolved type IIB Z_N- or Z_N x Z_M - orbifold/orientifold compactifications. | contribution 0.90 | 0.85 | 0.07 | asserted 0.92 |
| s7 | As examples for the resolved Z_6 and Z_2 x Z_4 orbifolds we fix all moduli through a combination of fluxes and racetrack superpotential. | contribution 0.50 | 0.93 | 0.14 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:hep-th/0609013 by the authors.
References
How the literature uses it
51 arXiv papers cite this in 63 sentences
Papers citing it · 41 sentences without a confident label
Builds on it 1 paper
-
These results were generalised in [ref] : In the presence of non-perturbative contributions to the superpotential beyond the flux-induced superpotential [Here we mean superpotential contributions by instantons which would exist already without taking into account the flux induced lifting of zero modes.], supersymmetric vacua exist also for flux of Hodge type (3,0), (1,2) and (0,3).
D-brane Instantons in Type II String Theory · E3-instantons in Type IIB orientifolds with 3-form flux · 0.80
Compares with it 1 paper
-
First of all, in [ref] the methods for finding flux vacua with $W_0 ≪1$ were less powerful, and the smallest value obtained was $𝒪(10^-2)$, whereas we have found examples with $W_0$ as small as[ See [ref] for a comparison of our findings to the statistical predictions of [ref] .] $10^-95$.
Small Cosmological Constants in String Theory · Introduction · 0.99
Cites it as background 19 papers
-
In the framework of type IIB theory this is known as $F$-term uplifting [ref] and could be originated in dynamical schemes as considered in [ref] or schemes that might require the existence of additional branes and/or anti-branes [ref] .
Mirage Pattern from the Heterotic String · Introduction · 0.90
-
Here the complex structure moduli and the dilaton are stabilised by three-form fluxes and the Kähler moduli by non-perturbative terms arising from D3-brane instantons and/or gaugino condensation on D7-branes (for a systematic analysis see for instance [ref] ).[In the remainder of this paper we will mainly consider D3-brane instantons.
Moduli Stabilisation versus Chirality for MSSM like Type IIB Orientifolds · Introduction · 0.90
-
The properties of possible orbifolds, such as the number of moduli and their complex structure, have been fully classified [ref] , with the $$ case being one of the most examined cases in terms of non-geometric fluxes [ref] , T duality invariance [ref] and S duality invariance [ref] .
The Generalised Geometry of Type II Non-Geometric Fluxes Under T and S Dualities · Introduction · 0.90
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.