REVIEW
Twisted tori and fluxes: a no go theorem for Lie groups of weak G_2 holonomy
High Energy Physics - Theory · Submitted 2 Mar 2006 · 72 references
Pith's verdict: The no-go result is true, but the written proof only tests one left-invariant metric per Lie algebra isomorph class, leaving generic metrics with Levi-radical mixing untouched.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
No seven-dimensional Lie group can have weak G2 holonomy.
The reading
What carries the argument
The load-bearing object is the Ricci matrix $\mathrm{Ric}[\tau]^I{}_J$ of a metric Lie algebra with structure constants $\tau^I{}_{JK}$, given explicitly by eq. (4.7). Weak $\mathrm{G}_2$ holonomy is carried by the weak Killing spinor equation $D_I\eta = -\tfrac{3}{2} e\, \gamma_I\eta$, whose integrability forces $\mathrm{Ric} = 27e^2\delta$, so the matrix must be positive definite. The second ingredient is the semisimple-plus-radical decomposition: by exhausting the possible dimensions of the solvable radical, the paper finds a vector $X$ with $\mathrm{Ric}(X,X)\le 0$ in every case. That contradicts positive definiteness and proves the theorem without solving the 91-parameter Jacobi identities directly.
Extended reading notes
Core claim
The paper's central discovery is Theorem 4.1: no real seven-dimensional metric Lie algebra has weak $\mathrm{G}_2$ holonomy. The proof uses a necessary condition: a weak $\mathrm{G}_2$ metric forces the Ricci form to be positive definite, since the weak Killing spinor equation $D_I\eta = -\tfrac{3}{2}\, e\, \gamma_I\eta$ integrates to $\mathrm{Ric} = 27 e^2 \delta$. The authors then prove the complementary fact that, for every seven-dimensional real Lie algebra, the Ricci matrix written in eq. (4.7) admits a vector of non-positive Ricci norm. The case analysis runs over the possible dimensions of the solvable radical after splitting each algebra into its semisimple and solvable parts, and for four-dimensional radicals it explicitly computes the Ricci matrices of all algebras built on the relevant three-dimensional simple factors. The theorem also closes the first of three questions posed in the companion cohomology analysis: no constant rank-four antisymmetric tensor can make a seven-dimensional group manifold a solution of the M-theory field equations with non-trivial internal flux.
Load-bearing premise
The load-bearing premise is that the enumeration of possible seven-dimensional real Lie algebras is exhaustive; as written the proof does not cover one six-dimensional non-solvable building block, namely $\mathfrak{so}(3,1)$ with a one-dimensional solvable extra direction, and it leaves one split of dimensions unexamined.
Editorial extensions
If this is right
- No unwarped M-theory compactification of the form $\mathrm{AdS}_4 \times G$ with non-trivial internal four-form flux and no sources exists.
- The trace-free twisted-tori class, with structure constants $\tau^I{}_{IJ}=0$, is excluded as a bulk background for such flux; the minimal free differential algebra of the reduction coincides with $G_7$ itself.
- Unwarped anti-de Sitter vacua with constant external four-form flux and vanishing internal flux are also excluded on seven-dimensional group manifolds.
- Warped compactifications and configurations with localized sources such as M2 or M5 branes are not touched by the argument and are singled out as the remaining hunting ground.
- Non-trivial internal flux on a compact internal space therefore requires going beyond group manifolds, for instance to known coset spaces with weak $\mathrm{G}_2$ structure, or to warped and sourced alternatives.
Reading between the lines
- A direct check of the omitted algebra with semisimple part $\mathfrak{so}(3,1)$ and one-dimensional radical should give the expected non-positive eigenvalue; carrying it out would make the exhaustion proof genuinely complete, while failure would overturn the theorem.
- The same Ricci-signature obstruction should be read as a constraint on any left-invariant Einstein metric on a seven-dimensional Lie group, not only on weak-$\mathrm{G}_2$ examples: a positive-scalar-curvature Einstein metric would require the same positive-definite form that is being ruled out.
- When a warp factor is introduced, the chain from flux to cohomology changes because the boundary operator no longer annihilates the external vielbein; the natural testable question is whether a warped twisted torus can evade the sign argument.
- The same strategy could be applied to Type IIB twisted tori, which the paper notes have not received an equivalent analysis.
Original abstract
In this paper we prove the theorem that there exists no 7--dimensional Lie group manifold G of weak G2 holonomy. We actually prove a stronger statement, namely that there exists no 7--dimensional Lie group with negative definite Ricci tensor Ric_{IJ}. This result rules out (supersymmetric and non--supersymmetric) Freund--Rubin solutions of M--theory of the form AdS_4\times G and compactifications with non--trivial 4--form fluxes of Englert type on an internal group manifold G. A particular class of such backgrounds which, by our arguments are excluded as bulk supergravity compactifications corresponds to the so called compactifications on twisted--tori, for which G has structure constants $\tau^K{}_{IJ}$ with vanishing trace $\tau^J{}_{IJ}=0$. On the other hand our result does not have bearing on warped compactifications of M--theory to four dimensions and/or to compactifications in the presence of localized sources (D--branes, orientifold planes and so forth). Henceforth our result singles out the latter compactifications as the preferred hunting grounds that need to be more systematically explored in relation with all compactification features involving twisted tori.
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
In this paper we prove the theorem that there exists no 7--dimensional Lie group manifold G of weak G2 holonomy. We actually prove a stronger statement, namely that there exists no 7--dimensional Lie group with negative definite Ricci tensor Ric_{IJ}. This result rules out (supersymmetric and non--supersymmetric) Freund--Rubin solutions of M--theory of the form AdS_4\times G and compactifications with non--trivial 4--form fluxes of Englert type on an internal group manifold G. A particular class of such backgrounds which, by our arguments are excluded as bulk supergravity compactifications corresponds to the so called compactifications on twisted--tori, for which G has structure constants $\tau^K{}_{IJ}$ with vanishing trace $\tau^J{}_{IJ}=0$. On the other hand our result does not have bearing on warped compactifications of M--theory to four dimensions and/or to compactifications in the presence of localized sources (D--branes, orientifold planes and so forth). Henceforth our result singles out the latter compactifications as the preferred hunting grounds that need to be more systematically explored in relation with all compactification features involving twisted tori.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | In this paper we prove the theorem that there exists no 7--dimensional Lie group manifold G of weak G2 holonomy. | result 0.91 | 0.96 | 0.95 | asserted 1.00 |
| s1 | We actually prove a stronger statement, namely that there exists no 7--dimensional Lie group with negative definite Ricci tensor Ric_{IJ}. | result 0.98 | 0.96 | 0.25 | asserted 1.00 |
| s2 | This result rules out (supersymmetric and non--supersymmetric) Freund--Rubin solutions of M--theory of the form AdS_4\times G and compactifications with non--trivial 4--form fluxes of Englert type on an internal group manifold G. | interpretation 0.96 | 0.76 | 0.11 | asserted 1.00 |
| s3 | A particular class of such backgrounds which, by our arguments are excluded as bulk supergravity compactifications corresponds to the so called compactifications on twisted--tori, for which G has structure constants $\tau^K{}_{IJ}$ with vanishing trace $\tau^J{}_{IJ}=0$. | interpretation 0.87 | 0.76 | 0.05 | asserted 0.99 |
| s4 | On the other hand our result does not have bearing on warped compactifications of M--theory to four dimensions and/or to compactifications in the presence of localized sources (D--branes, orientifold planes and so forth). | limitation 1.00 | 0.73 | 0.04 | asserted 0.99 |
| s5 | Henceforth our result singles out the latter compactifications as the preferred hunting grounds that need to be more systematically explored in relation with all compactification features involving twisted tori. | future work 0.94 | 0.49 | 0.05 | asserted 0.75 |
What was examined, and what was not
- arXiv listing abstract v1
- 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 the literature uses it
3 arXiv papers cite this in 3 sentences
Papers citing it · 1 sentence without a confident label
Cites it as background 2 papers
-
In this paper, we study Scherk-Schwarz [ref] [In fact, the essential idea of reducing on a group manifold appears in [ref] ; for a useful historical account of Kaluza-Klein theory see [ref] .] reductions of $D=11$ supergravity with background flux [ref] within the context of the formalism developed in [ref] .
The embedding tensor of Scherk-Schwarz flux compactifications from eleven dimensions · Introduction · 0.82
-
Twisted torus compactifications have been previously considered in [ref] .
Brane Inflation and Moduli Stabilization on Twisted Tori · Introduction · 1.00
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.