REVIEW
Generalized N=1 Orientifold Compactifications and the Hitchin functionals
High Energy Physics - Theory · Submitted 23 Feb 2006 · 106 references
Pith's verdict: A genuinely useful derivation of N=1 orientifold data for SU(3)-structure compactifications; the central formulas are credible, but the light-mode truncation is assumed, not established.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper derives the complete N=1 Kähler and superpotential data for type II orientifolds on SU(3)-structure manifolds, with the Kähler potential given by logarithms of Hitchin functionals and the superpotential by a single Mukai-pairing…
The reading
What carries the argument
The load-bearing objects are the globally defined forms on the internal six-manifold: $\Pi^{\mathrm{ev}}=e^{-\hat{B}_2+iJ}$ and $\Pi^{\mathrm{odd}}=C\Omega$ in type IIA, and their type IIB counterparts, together with the Mukai pairing $\langle\phi,\psi\rangle=[\lambda(\phi)\wedge\psi]_6$, which is the antisymmetric, degree-selecting pairing on even and odd forms. The Hitchin functionals $H[\rho]=i\int_{M_6}\langle\Pi,\bar{\Pi}\rangle$, whose logarithms appear in every Kähler potential, are functionals of stable forms that determine the geometry of the space of SU(3) structures; the extended versions introduced for generalized complex geometry do the same work for $SU(3)\times SU(3)$ structures. The exterior operator $d_H=d-H_3\wedge$ packages the NS-NS flux so that torsion and flux enter the superpotential through one common pairing.
Extended reading notes
Core claim
In the paper's own terms, the type IIA O6 result is the Kähler potential $K[J_c,\Pi_{\mathrm{odd}}^c]=-\ln[-i\int_{M_6}\langle\Pi_{\mathrm{ev}},\bar{\Pi}_{\mathrm{ev}}\rangle]-2\ln[i\int_{M_6}\langle\Pi_{\mathrm{odd}},\bar{\Pi}_{\mathrm{odd}}\rangle]$ with $\Pi_{\mathrm{ev}}=e^{J_c}$, plus the holomorphic superpotential $W=\int_{M_6}\langle F^{\mathrm{ev}}+d_H\Pi_{\mathrm{odd}}^c,\Pi_{\mathrm{ev}}\rangle$, where $d_H=d-H_3\wedge$ and the Mukai pairing replaces the wedge product. For type IIB, the same structure holds with even and odd forms interchanged: the Kähler potential is built from a three-form $\Phi^{\mathrm{odd}}$ and an even form $\Phi^{\mathrm{ev}}$, and the superpotential is an integral of the Mukai pairing of $F_3+d_H\Phi^{\mathrm{ev}}_c$ with $\Phi^{\mathrm{odd}}$ for O3/O7 orientifolds, with the O5/O9 variant using the ordinary exterior derivative. The paper further claims that these formulas extend to generalized $SU(3)\times SU(3)$ structure manifolds, and conjectures that generalized half-flat manifolds satisfying $d\,\mathrm{Im}(\Omega_1+\Omega+\Omega_5)=0$ are the mirrors of Calabi-Yau orientifolds carrying the NS-NS flux $H^Q_3$, with $d\,\mathrm{Re}(\Omega_1+\Omega+\Omega_5)$ playing the role of the magnetic flux.
Load-bearing premise
The load-bearing premise is that imposing the orientifold projection and discarding every field in a non-singlet SU(3) representation leaves a complete low-energy theory; the paper itself notes in the introduction that "the specification of a distinguished finite set of modes corresponding to the light degrees of freedom is missing so far," and later states that triplets are only assumed to be projected out.
Editorial extensions
If this is right
- The Kähler potential is fixed by geometry alone: on any SU(3)-structure orientifold, kinetic terms of the chiral fields are determined by the two Hitchin functionals, so no separate model-by-model computation of the Kähler metric is needed.
- Flux and torsion contribute to the same holomorphic superpotential through $d_H$, so vacua that solve the N=1 F-term conditions automatically incorporate the non-Calabi-Yau nature of the internal manifold.
- The four-dimensional supersymmetric vacuum conditions obtained from $W$ and $K$ are stated to match the ten-dimensional generalized-geometry conditions of the background.
- Mirror symmetry extends from electric to part of the magnetic NS-NS flux: the dual geometry is a generalized half-flat manifold whose non-closed odd form reproduces the flux superpotential.
- The derivation is independent of any particular finite basis of internal forms, so the Kähler and superpotential formulas hold before a Kaluza-Klein truncation; a finite mode set is only chosen later for illustration and mirror comparisons.
Reading between the lines
- Because the Kähler-potential result is derived before a finite mode truncation, a natural stress test is to apply the same logic to other structure-group reductions, for instance G2 or Spin(7) manifolds, where similar stable-form functionals control the field-space geometry.
- The mirror conjecture could be tested by a concrete three-T-duality computation: starting from a Calabi-Yau orientifold with an NS-NS flux that has one leg in the T-dual directions, the dual description should develop exactly the one-form component $\Omega_1$ in the generalized odd form, matching the magnetic-flux identification.
- If the central formulas are right, the classical N=1 data are fixed by stable-form geometry alone; quantum corrections would have to preserve the holomorphic form of $W$, so computing instanton corrections in an explicit half-flat example would directly probe whether the classical truncation is complete.
Original abstract
The four-dimensional N=1 supergravity theories arising in compactifications of type IIA and type IIB on generalized orientifold backgrounds with background fluxes are discussed. The Kahler potentials are derived for reductions on SU(3) structure orientifolds and shown to consist of the logarithm of the two Hitchin functionals. These are functions of even and odd forms parameterizing the geometry of the internal manifold, the B-field and the dilaton. The superpotentials induced by background fluxes and the non-Calabi-Yau geometry are determined by a reduction of the type IIA and type IIB fermionic actions on SU(3) and generalized SU(3) x SU(3) manifolds. Mirror spaces of Calabi-Yau orientifolds with electric and part of the magnetic NS-NS fluxes are conjectured to be certain SU(3) x SU(3) structure manifolds. Evidence for this identification is provided by comparing the generalized type IIA and type IIB superpotentials.
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
The four-dimensional N=1 supergravity theories arising in compactifications of type IIA and type IIB on generalized orientifold backgrounds with background fluxes are discussed. The Kahler potentials are derived for reductions on SU(3) structure orientifolds and shown to consist of the logarithm of the two Hitchin functionals. These are functions of even and odd forms parameterizing the geometry of the internal manifold, the B-field and the dilaton. The superpotentials induced by background fluxes and the non-Calabi-Yau geometry are determined by a reduction of the type IIA and type IIB fermionic actions on SU(3) and generalized SU(3) x SU(3) manifolds. Mirror spaces of Calabi-Yau orientifolds with electric and part of the magnetic NS-NS fluxes are conjectured to be certain SU(3) x SU(3) structure manifolds. Evidence for this identification is provided by comparing the generalized type IIA and type IIB superpotentials.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | The four-dimensional N=1 supergravity theories arising in compactifications of type IIA and type IIB on generalized orientifold backgrounds with background fluxes are discussed. | contribution 0.51 | 0.46 | 0.07 | asserted 0.87 |
| s1 | The Kahler potentials are derived for reductions on SU(3) structure orientifolds and shown to consist of the logarithm of the two Hitchin functionals. | result 0.96 | 0.90 | 0.38 | asserted 1.00 |
| s2 | These are functions of even and odd forms parameterizing the geometry of the internal manifold, the B-field and the dilaton. | result 0.70 | 0.63 | 0.09 | asserted 0.99 |
| s3 | The superpotentials induced by background fluxes and the non-Calabi-Yau geometry are determined by a reduction of the type IIA and type IIB fermionic actions on SU(3) and generalized SU(3) x SU(3) manifolds. | method 0.52 | 0.86 | 0.17 | asserted 1.00 |
| s4 | Mirror spaces of Calabi-Yau orientifolds with electric and part of the magnetic NS-NS fluxes are conjectured to be certain SU(3) x SU(3) structure manifolds. | interpretation 0.40 | 0.22 | 0.24 | speculative 0.99 |
| s5 | Evidence for this identification is provided by comparing the generalized type IIA and type IIB superpotentials. | result 0.49 | 0.79 | 0.24 | asserted 0.85 |
What was examined, and what was not
- arXiv listing abstract v3
- 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
References
How later papers used it
75 later papers cite it
1 later paper by other authors is listed below: 1 used its method or tool.
Uses its method or tool 1 of 5 papers with this label
-
Followed this paper to express its moduli, noting that its convention differs from this paper's in the sign of the B-field.
D-Terms from Generalized NS-NS Fluxes in Type II (2007) · 0.92 · paraphrased: the licence does not allow quoting
How the literature uses it
76 arXiv papers cite this in 165 sentences
Papers citing it · 114 sentences without a confident label
Builds on it 3 papers
-
Generalizing the celebrated type IIB computation of Taylor/Vafa [ref] , the superpotential for turning on the R-R fluxes and the H-flux in massive type IIA orientifolds on Calabi-Yau threefolds was derived via dimensional reduction of [ref] in [ref] (see also [ref] ) and reads W=14 ( -i ∫_X H∧Ω^C +∫_X e^iJ_c ∧G ) , where the complexified Kähler modulus is defined as $J_c=J+i B$, and the complex structure moduli are encoded in Ω^c =Re (i e^-ϕ Ω_3) + i C^(3) .
Dimensional Oxidation of Non-geometric Fluxes in Type II Orientifolds · Flux induced superpotential · 0.96
-
Including these new fluxes, the Gukov-Vafa-Witten superpotential [ref] can be extended in the following compact way [ref]
The Swampland Conjecture and F-term Axion Monodromy Inflation · Moduli stabilization and non-geometric fluxes · 0.82
-
This is the analogue of the analysis performed in [ref] where the $N=1$ effective action for orientifolds of SU(3)-structure compactifications was determined.
Type IIA orientifold compactification on SU(2)-structure manifolds · Introduction · 0.81
Uses its method or tool 6 papers
-
To describe the backreaction of the gaugino condensate on the bulk fields, we must relax the Calabi-Yau condition and employ generalized complex geometry, as in [ref] .
de Sitter Vacua from Ten Dimensions · D7-brane gaugino couplings · 0.93
-
However, the derivatives of $K_q$ can be evaluated using the work of Hitchin [ref] as done in [ref] .
U(1) Mediation of Flux Supersymmetry Breaking · The non-Kähler sector · 1.00
-
This functional dependence is highly non-polynomial and can only be determined explicitly in specific examples.[This is equivalent to the problem of solving the attractor equations for $=2$ black holes.] Nevertheless, one can derive the Kähler metric by using the underlying $=2$ special geometry [ref] or the work of Hitchin [ref] as done in [ref] .
Non-Perturbative Corrections and Modularity in N=1 Type IIB Compactifications · Brief review of the effective action of type IIB orientifolds · 0.88
Compares with it 5 papers
-
Indeed, in the unwarped approximation, the results of [ref] we started from reproduce those of [ref] , which in turn provide a unifying formulation of different results present in the literature on unwarped compactifications.
On moduli and effective theory of N=1 warped flux compactifications · The Kähler potential · 0.97
-
However, using [ref] and comparing [ref] and [ref], we see that $(^-Σ·T)_-=Σ$ and hence [equation] Taking into account the normalisations [ref], we see that this is in precise agreement with the $6,6$ generalised geometry expressions given in [ref] .
Generalising G$_\text{2}$ geometry: involutivity, moment maps and moduli · GMPT · 0.99
-
This superpotential agrees with the ones obtained in the literature [ref] upon taking constant warp factor.
From ten to four and back again: how to generalize the geometry · Holomorphic variables and off-shell superpotential · 1.00
Cites it as support 1 paper
-
The assumption relies on that fact that it seems there is no reason why turning them on should be forbidden: The effective four-dimensional theories can be derived from generalised compactifications [ref] .
Low Energy Supersymmetry from Non-Geometry · Non-geometry and Calabi-Yaus · 0.99
Cites it as background 22 papers
-
One formulation involves fluxes denoted by the real six dimensional indices (e.g. $H_ijk$ etc.) [ref] while in the latter one, all flux components are written out using cohomology indices of the complex threefold $X_3$; e.g. $H_K, ω_a K$ etc., where $K ∈{0, 1, ..,h^2,1(X_3)}$ and $a ∈{1, 2, .., h^1,1_-(X_3) }$ [ref] .
On Missing Bianchi Identities in Cohomology Formulation · Introduction · 0.92
-
The superpotential and Kähler potential of the effective $𝒩=1$ supergravity have been derived in various ways in [ref] (based on earlier work of [ref] ).
On the effective theory of type IIA AdS_4 compactifications · Effective supergravity · 0.88
-
The latter can be completely characterized in terms of a globally defined $SU(3)$ invariant $(1,1)$-form $J$, and a holomorphic $(3,0)$-form $Ω$, which satisfy the relations [equation] In what follows we first review the $O(6,6)$ and $E_7$ covariant formulations of $𝒩=1$ backgrounds, following respectively [ref] and [ref] .
U-dual fluxes and Generalized Geometry · General $𝒩=1$ compactifications · 0.91
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.