Freund–Rubin Compactification¶

A higher-dimensional gravity and form-field solution whose factor-aligned flux supports an anti-de Sitter spacetime times a compact positive-Einstein space.

Version: v1 · 2026-10-31 · History
Domain-specific #: 14500
Domain group: Natural Sciences
Origin domain: Physics
Subdomain: Flux Compactification → Physics
Aliases: Freund–Rubin background, Freund–Rubin solution

Core Idea¶

A Freund–Rubin compactification is a product solution to a specified higher-dimensional gravity and form-field theory.^[1] One factor is anti-de Sitter (AdS) spacetime; the other is a compact, positive-Ricci Einstein space.^[1] Flux aligned with a factor's volume form helps the field equations support their opposite curvature signs.^[1] Compactness is a global property of the chosen internal space, not something positive curvature alone proves.

How would you explain it like I'm…

No faithful explanation at this level. All three generators judged a kid-level story becomes 'our universe has tiny curled-up extra dimensions', which smuggles in smallness and a real-world claim and drops the AdS factor and aligned flux that set the opposite curvatures of an exact product solution.

Two-Part Worlds Held by Flux

Some physicists study versions of gravity with more dimensions than the ones we see. Freund–Rubin compactification is a family of solutions to their equations where spacetime splits into two pieces. One piece is curved like a saddle that keeps spreading (called anti-de Sitter space), and the other is curved like a ball and closed up. A special kind of field, called flux, lines up with one of the pieces and helps make the two pieces curve in opposite ways.

Flux-Supported AdS × Einstein Product

Freund–Rubin compactification is a type of solution to higher-dimensional equations of gravity coupled to antisymmetric 'form' fields. The spacetime is a product of two parts: an anti-de Sitter (AdS) spacetime, which has negative curvature, and a compact Einstein space with positive Ricci curvature, like a sphere. A field-strength flux aligned with the volume of one factor enters the equations that give the two parts opposite curvature signs. Being compact is a separate property chosen or proven for the internal space — positive curvature alone isn't the proof. Examples include AdS₄×S⁷ and AdS₇×S⁴ in eleven-dimensional supergravity, and AdS₅×S⁵ in ten-dimensional Type IIB supergravity, which uses a special self-dual five-form.

Freund–Rubin compactification is a class of product solutions to specified higher-dimensional Einstein equations coupled to antisymmetric form fields. The geometry pairs an anti-de Sitter spacetime factor with a compact Einstein factor of positive Ricci curvature. A field-strength flux aligned with the volume form of one factor enters the field equations that fix the opposite Ricci signs of the two factors. The compactness of the internal factor is a chosen or independently established global property; positive Ricci curvature does not by itself prove it. The pattern is realized in physically different ways. In eleven-dimensional supergravity, four-form flux supports the AdS₄×S⁷ and AdS₇×S⁴ vacua. In ten-dimensional Type IIB supergravity, the AdS₅×S⁵ background uses a self-dual five-form whose flux has paired components along both the external and internal volume forms, so its equations are not obtained by copying the single-factor flux case unchanged.

Scope of Application¶

The pattern appears in unlike theories. Eleven-dimensional supergravity has AdS₄×S⁷ and AdS₇×S⁴ solutions with differently oriented four-form flux.^[2] Ten-dimensional Type IIB supergravity has AdS₅×S⁵ with a self-dual five-form whose external and internal volume-form components are paired.^[3] These share the product, flux, and curvature roles while using different equations.^[2]^[3] A brane near-horizon geometry can realize one of these solutions, but branes are not a required part of this bounded solution identity.^[4]^[3]

Clarity¶

Ask four separate questions: Was a product metric chosen? What form field and volume-form orientation were used? Does the configuration solve that theory's equations? Is the internal factor globally compact? DeWolfe and colleagues analyze a specified action and product ansatz; the presence of flux by itself is not shown to force all metrics to split.^[1]

The eleven-dimensional solutions are two orientations within one theory.^[2] Type IIB supplies a second unlike setting because its five-form is self-dual, with flux on dual factors.^[2]^[3]

Manages Complexity¶

To compare candidate cases, record the theory and equations, the external and internal factors, the form rank and flux orientation, and how the equations relate flux to curvature. This prevents the one-factor q-form equations used in a general model from being copied into the Type IIB self-dual case.^[1]^[3] Exact coefficients depend on conventions; the screening article's formulas have not been reconciled with the original analyses and are not repeated here.

Abstract Reasoning¶

An AdS×sphere label alone does not establish Freund–Rubin compactification. Identify the factor-volume flux and check the coupled field equations. Conversely, a positive Ricci sign alone does not prove compactness of an internal manifold. A proposed case must establish both its solved background and the internal space's global status.

Knowledge Transfer¶

The same recognition questions move from the eleven-dimensional four-form vacua to Type IIB AdS₅×S⁵: which equations, which product factors, which flux components, and which curvature signs?^[2]^[3] The numeric coefficients and Type IIB self-duality constraint stay attached to their own theory.^[2]^[3] This is a literal comparison inside higher-dimensional gravity, not a general label for every kind of dimensional reduction.

Example¶

Buchel and Liu explicitly treat Type IIB on S⁵ as a Freund–Rubin compactification.^[3] Their ansatz pairs AdS₅ with the compact sphere and writes the five-form as an external volume component plus its Hodge dual.^[3] Maldacena derives AdS₅×S⁵ as the near-horizon D3-brane geometry and notes quantized five-form flux on S⁵.^[4]

Mapped back: Type IIB supplies the ten-dimensional field system; AdS₅ and S⁵ supply the two factors; the self-dual F₅ supplies linked volume-form flux; and the cited equations admit the product solution.^[3] The D3 near-horizon limit is one contextual route to this background, not an all-instance requirement.^[4]^[3]

Relationships to Other Abstractions¶

Current abstraction Freund–Rubin Compactification Domain-specific

Parents (2) — outgoing typed relations

Freund–Rubin Compactification is a kind of Curved spacetime Domain-specific

Every bounded Freund–Rubin product solution has a nonflat Lorentzian metric; its flux and compact product roles make it a strict subtype of Curved Spacetime.
Freund–Rubin Compactification presupposes Compactness Domain-specific

The bounded solution requires a globally compact internal factor, a topological property supplied by Compactness.

Hierarchy paths (6) — routes to 4 parentless roots

Freund–Rubin Compactification → is a kind of Curved spacetime → is a kind of Representation → presupposes Abstraction

Show alternative paths (5)

Neighborhood in Abstraction Space¶

Freund–Rubin Compactification sits in a sparse region of the domain-specific corpus (89^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Spacetime Symmetry Groups & Toy Models (8 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-31

Not to Be Confused With¶

Generic compactification: a compact dimension alone does not supply the form flux and solved AdS product.
Positive curvature alone: a local Ricci sign does not establish that the internal space is globally compact.
Brane formation or stability: the cited D3, M2, and M5 near-horizon cases do not show that flux alone creates or stabilizes every brane.^[4]
AdS/CFT correspondence: a proposed gravitational/field-theory duality in a separate decoupling context, not the product/flux solution itself.^[4]
Dimensionality Reduction: the live Prime names reduction of data or features; this entry concerns physical higher-dimensional gravity backgrounds.

References¶

[1] Oliver DeWolfe, Daniel Z. Freedman, Steven S. Gubser, Gary T. Horowitz, and Indrajit Mitra, “Stability of AdSₚ × Mᵩ Compactifications Without Supersymmetry,” 2001, https://arxiv.org/abs/hep-th/0105047. Original full theoretical analysis, §2 equations (2.1)–(2.9), inspected at https://arxiv.org/html/hep-th/0105047v1. Claims are limited to its specified gravity/q-form model. registry ↩a ↩b ↩c ↩d ↩e

[2] Ergin Sezgin, “11D Supergravity on AdS₄ × S⁷ versus AdS₇ × S⁴,” 2020, https://arxiv.org/abs/2003.01135. Original full theoretical analysis, introduction and §2 equations (1)–(2), inspected at https://arxiv.org/html/2003.01135v1. Used for 11D vacua and flux orientation, not frozen formula normalization. registry ↩a ↩b ↩c ↩d ↩e ↩f

[3] Alex Buchel and James T. Liu, “Gauged supergravity from type IIB string theory on Y^{p,q} manifolds,” 2007, https://arxiv.org/abs/hep-th/0608002. Original full theoretical analysis, §2 equations (2.2)–(2.4), inspected at https://arxiv.org/html/hep-th/0608002. It explicitly calls IIB on S⁵ Freund–Rubin and includes F₅ self-duality. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k

[4] Juan Maldacena, “The Large N Limit of Superconformal Field Theories and Supergravity,” 1998, https://arxiv.org/abs/hep-th/9711200. Original full theoretical analysis, §2 PDF pp.3–4 and §3 PDF pp.9–10, inspected at https://arxiv.org/pdf/hep-th/9711200. Used for near-horizon D3/M2/M5 examples and specified five-/four-form flux, not a generic brane-stability claim. registry ↩a ↩b ↩c ↩d ↩e