nLab F/M-theory on elliptically fibered Calabi-Yau 4-folds

Contents

Context

String theory

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

General

The KK flux compactification of M-theory/F-theory on an elliptically fibered Calabi-Yau variety of (complex) dimension 4 (hence real dimension 8, see also at M-theory on 8-manifolds) yields type IIB superstring theory (with some S-duality-related non-perturbative effects included) KK-compactified on Calabi-Yau 3-folds.

This is subtly different from F-theory on Spin(7)-manifolds, see at Witten's Dark Fantasy.

Realization of moduli stabilization of those flux compactifications is by considering higher dimensional gauge fields in the compact space, the curvature of those fields parametrizes the mass term.

Motivation from string model building/phenomenology

By the discussion at supersymmetry and Calabi-Yau manifolds such compactifications of type IIB superstring theory yield the UV-completion of an effective field theory in 4-dimensions which exhibits N=1N =1 supersymmetry.

KK-compactifications of higher dimensional supergravity with minimal (N=1N=1) supersymmetry:

perspectiveKK-compactification with N=1N=1 supersymmetry
M-theoryM-theory on G2-manifolds
F-theoryF-theory on CY4-manifolds
heterotic string theoryheterotic string theory on CY3-manifolds

For this reason F/M-theory compactifications on elliptically fibered Calabi-Yau 4-folds are a major contender in string phenomenology model building. See at string phenomenology – Models in type II / F-theory for more on this.

Motivation from mathematics

At the same time these types of F-theory KK-compactifications are of interest also for their pure mathematics and as such received a fair amount of attention notably in algebraic geometry.

For instance the duality between F-theory and heterotic string theory translates into a class of rich equivalences of moduli spaces of bundles on different algebraic varieties which is rather non-obvious without the string theory-perspective.

From the abstract of (Donagi 98).

The heterotic string compactified on an (n1)(n-1)-dimensional elliptically fibered Calabi-Yau ZBZ \to B is conjectured to be dual to F-theory compactified on an nn-dimensional Calabi-Yau XBX \to B, fibered over the same base with elliptic K3 fibers. In particular, the moduli of the two theories should be isomorphic. The cases most relevant to the physics are n=2n=2, 33, 44, i.e. the compactification is to dimensions d=8d=8, 66 or 44 respectively. Mathematically, the richest picture seems to emerge for n=3n=3, where the moduli space involves an analytically integrable system whose fibers admit rather different descriptions in the two theories.

Moreover, the description of the supergravity C-field (in the physics literature: the “4-form flux”, see at flux compactification), being (up to various twists and subtleties, see there) a cocycle in degree-4 ordinary differential cohomology on the Calabi-Yau variety involves the moduli spaces of (higher) line bundles on the CY 4CY_4 which under decomposition of the C-field into various cup-product factors associated with the various divisor of the CY 4CY_4 involves intermediate Jacobians and Artin-Mazur formal groups in degrees 0,1,2 with rich theory.

F-theory KK-compactified on elliptically fibered complex analytic fiber Σ\Sigma

dim (Σ)dim_{\mathbb{C}}(\Sigma)12345
F-theoryF-theory on CY2F-theory on CY3F-theory on CY4F-theory on CY5

KK-compactification of M-theory

References

Reviews of the general setup include

  • Thomas Grimm, Raffaele Savelli, sections 3.1, 3.2 of Gravitational Instantons and Fluxes from M/F-theory on Calabi-Yau fourfolds (arXiv:1109.3191)

Discussion of the duality between F-theory and heterotic string theory for compactifications on elliptically fibered Calabi-Yau manifolds includes

Discussion of relation to M-theory on G2-manifolds/M-theory on Spin(8)-manifolds includes

For more on this see at M-theory on Spin(7)-manifolds

Last revised on November 17, 2019 at 15:36:54. See the history of this page for a list of all contributions to it.