M2, M5, and Higher-Dimensional Brane Examples
The near-horizon limits of M2- and M5-branes produce two classical Freund–Rubin backgrounds of eleven-dimensional supergravity: AdS and AdS. Flux quantization fixes both curvature radii in Planck units. Reducing the Einstein term then gives for M2-branes and for M5-branes. The first scaling has a same-observable check from the localized ABJM sphere partition function; the second appears in protected six-dimensional anomalies as well as large- gravity. These agreements are powerful but differently scoped: ABJM has a conventional three-dimensional Lagrangian, whereas the interacting six-dimensional theory is well established through mutually consistent non-Lagrangian data, not through an ordinary non-Abelian two-form action.
Required background. Near-horizon brane dictionaries supplies the brane-to-boundary map. Quantized flux and harmonic spectra supplies the relation between integer charge, curvature, and compact towers.
Helpful background. Higher-dimensional origins and duality frames explains circle reduction of the theory. Dimensions and reality conditions fixes the supercharge count and real forms. Higher-dimensional fixed points and anomalies develops the intrinsic tensor-branch and anomaly evidence.
For a quick route, first fix the two radius conventions, follow the Newton-constant derivation, compare the M2 and M5 evidence, and then execute the adversarial Lagrangian test.
Two Freund–Rubin throats
Section titled “Two Freund–Rubin throats”Use unit-radius metrics inside and . Let and denote the physical AdS radii, while and denote the physical radii of and . The subscripts name the factor, not a power. In the eleven-dimensional Planck-length convention
For M2-branes on the standard orbifold, with no discrete-torsion shift, the near-horizon metric is
The electric flux integer is
where the orientation is chosen so that . On this Freund–Rubin background the possible Chern–Simons term in the Page charge has no pullback contribution to the integration cycle. At the two-derivative supergravity level, before finite- charge shifts, flux quantization gives
Higher-curvature terms at the orbifold fixed point and nonzero discrete torsion shift the effective M2 charge beyond this leading map Bergman and Hirano 2009, § 3, p. 7, eq. (3.24), PDF.
At this is the round-sphere M2 throat. Its superconformal algebra is , with bosonic algebra . For generic , the orbifold preserves the algebra of three-dimensional ABJM theory; at the supersymmetry enhances to Aharony et al. 2008, § 2.3, pp. 8–9, text after eq. (2.14), PDF. The quotient geometry and its M-theory/type-IIA parameter map are developed in Aharony et al. 2008, § 4.1, pp. 21–24, eqs. (4.1)–(4.7), PDF.
For coincident M5-branes, the magnetic four-form flux threads :
The superconformal algebra is , whose bosonic algebra is , with the R-symmetry. The notation found in some older literature gestures at the same bosonic factors but does not name the standard real form as precisely. Older papers may also call one chirality choice ; this site uses the modern label. Maldacena’s original construction gives both decoupling limits, harmonic functions, radius ratios, and normalization Maldacena 1998, §§ 3.1–3.2, pp. 9–10, eqs. (3.1)–(3.3), PDF.
The factor of two in each product is indispensable. Calling every radius simply hides powers of two in both the flux–radius relation and the compact volume, changing the numerical coefficients.
Dimensional reduction counts effective degrees of freedom
Section titled “Dimensional reduction counts effective degrees of freedom”Because these backgrounds are unwarped direct products, the lower-dimensional Einstein term is obtained by integrating over the physical compact factor. The unit-sphere volumes are
For the M2 quotient, is smaller by . Therefore
Substitute the flux–radius relations only after this reduction. The dimensionless gravitational normalizations become
This calculation is reproducible from the four displayed inputs: , the unit-sphere volumes, the two radius ratios, and flux quantization. It also passes an immediate dimensional check: and .
The powers of are not literal counts of gauge-variant fields. They describe how normalized observables controlled by the bulk Einstein term—sphere free energies, stress-tensor correlators, Weyl anomalies, or thermal coefficients—grow in a specified limit. Different observables can have different subleading terms.
M2 boundary data: ABJM tests the coefficient
Section titled “M2 boundary data: ABJM tests the coefficient”The round throat motivates a dual three-dimensional M2-brane SCFT. The more explicit family is ABJM theory: Chern–Simons matter theory, conjecturally dual to M-theory on AdS. Here changes the global geometry, supersymmetry, spectrum, and calculational frame; it cannot be omitted from “the M2 theory.”
The renormalized Euclidean AdS Einstein action predicts for a round boundary three-sphere
On the boundary, define . Supersymmetric localization reduces the ABJM path integral to a finite-dimensional matrix integral Kapustin, Willett, and Yaakov 2010, § 4, pp. 20–22, eq. (4.4), PDF. Its Fermi-gas analysis at fixed positive integer gives
including the same coefficient, not just the same power Mariño and Putrov 2012, §§ 4.2 and 5.3, pp. 19–20 and 27–31, eqs. (4.21)–(4.27), (5.37), and (5.65)–(5.67), PDF. Mariño and Putrov define , so their displayed leading term is negative; the convention here, , reverses that sign. This is a strong same-observable normalization check: the boundary result comes from a localized QFT integral, while the bulk result comes from flux quantization and the gravitational on-shell action. Localization and the leading asymptotic coefficient do not make generic non-BPS observables exact.
The dual frame depends on how and scale. The Hopf-fiber radius in Planck units is
Thus eleven-dimensional supergravity on the quotient requires as well as weak local curvature. When is large, type-IIA supergravity on AdS instead has the parametric window
equivalently up to order-one factors Aharony et al. 2008, § 4.1, pp. 22–24, eqs. (4.2)–(4.7), PDF. Large without a scaling prescription for does not select a bulk frame.
M5 boundary data: anomalies without an ordinary action
Section titled “M5 boundary data: anomalies without an ordinary action”The AdS throat is associated with the interacting six-dimensional type- theory. The stack also has one decoupled free center-of-mass tensor multiplet, represented holographically by a boundary doubleton rather than an ordinary propagating bulk mode Günaydin and Takemae 2000, abstract and § 3.2, PDF. Keeping or subtracting this free sector changes exact finite- formulas.
Let be the tangent bundle to the six-dimensional worldvolume and its rank-five normal, or R-symmetry, bundle. In an integral Pontryagin-class convention, one free tensor multiplet has
Anomaly inflow for the full stack gives
Subtracting the center-of-mass tensor leaves the interacting theory:
The cubic term arises because the eleven-dimensional Chern–Simons inflow is cubic in the M5 charge; the linear pieces retain finite- information Harvey, Minasian, and Moore 1998, § 2.1, pp. 1–3, eqs. (2.2)–(2.6), PDF. Tensor-branch anomaly matching reproduces the ADE formula by a largely field-theoretic route Ohmori et al. 2014, §§ 1.1 and 2.3, pp. 3–4 and 9–10, PDF. The check is especially transparent: after subtracting the one free tensor, the formula vanishes, as it must for the trivial interacting sector.
Logical status. The anomaly is an exact protected datum, and its term agrees with the scaling of . It is not a computation of a generic finite- correlator. The anomaly-inflow route shares M-theory brane input with the holographic construction; tensor-branch matching supplies a distinct consistency route, but protection still limits what the agreement tests.
What large N controls—and what it does not
Section titled “What large N controls—and what it does not”There is no independent string coupling in the displayed eleven-dimensional frame. Curvature and quantum effects are controlled by Planck-length ratios and the effective lower-dimensional Newton coupling:
For fixed , large makes both throats weakly curved and suppresses bulk loops. For the M2 quotient it must also keep the orbifold circle larger than if the eleven-dimensional description is used. The first omitted higher-derivative or loop order is observable-dependent; writing a small parameter does not prove that every coefficient at that order is nonzero or bound the remainder.
Large does not remove the compact sphere. Because and , sphere harmonics have
There is no parametric gap between the full Kaluza–Klein tower and the AdS scale. A four- or seven-dimensional gauged-supergravity sector can still be useful when it is a consistent truncation, but not because every omitted compact mode is heavy.
| Datum | M2 / AdS4 × S7/ℤk | M5 / AdS7 × S4 | Status or caveat |
|---|---|---|---|
| Flux and radii | R76 = 32π2Nkℓp6; R7 = 2L4 | R43 = πNℓp3; L7 = 2R4 | Classical eleven-dimensional solution plus quantized charge; discrete torsion would modify the M2 global data. |
| Boundary realization | ABJM gives a conventional 3D Chern–Simons-matter Lagrangian for the orbifold family. | The interacting type-AN−1 (2,0) SCFT is specified through symmetry, charge lattice, tensor branch, anomalies, compactifications, and brane constructions. | “Non-Lagrangian” is not “undefined”; it identifies the missing ordinary six-dimensional action, not an absence of theory data. |
| Einstein normalization | L42/G4 = (2√2/3)√k N3/2 | L75/G7 = 16N3/(3π2) | Exact within the two-derivative product reduction; it controls leading large-N observables, not every finite-N term. |
| Protected or localized check | Localized S3 free energy reproduces π√(2k)N3/2/3 at fixed k. | The exact anomaly polynomial contains (N3−N)p2(𝒩⊥)/24. | Strong normalization and consistency evidence; neither result licenses all unprotected dynamics. |
| Supergravity control | Large Nk controls local curvature; the 11D quotient frame additionally needs N ≫ k5. | Large N controls curvature and loops. | Both compact towers remain at the AdS scale; consistent truncation is a separate property. |
| Generic finite-N observable | The Lagrangian defines it in principle, although strong-coupling computation may be difficult. | No ordinary local non-Abelian tensor action supplies a comparable direct calculation. | Large-N bulk predictions are conditional and asymptotic; protected data have a higher evidential ceiling than generic correlators. |
Adversarial test: the missing six-dimensional Lagrangian
Section titled “Adversarial test: the missing six-dimensional Lagrangian”Consider the following tempting argument:
- postulate a local non-Abelian two-form field with self-dual field strength;
- write a conventional Lorentz-covariant six-dimensional action with manifest supersymmetry;
- quantize that action and compute a generic finite- correlator;
- compare the correlator with an AdS loop expansion.
The argument fails at step 2. No accepted action with all of those properties is known for the interacting theory. Self-duality already complicates an ordinary covariant action for one Abelian tensor, and the non-Abelian interacting generalization is not obtained by replacing derivatives with a familiar matrix-valued covariant derivative. Treating the desired action as if it existed would hide the decisive hypothesis inside notation.
Circle compactification gives a powerful but narrower statement. At energies well below the inverse circle radius, the theory reduces to five-dimensional maximally supersymmetric Yang–Mills. Instanton particles carry the charge expected of Kaluza–Klein momentum, suggesting that nonperturbative five-dimensional sectors remember the sixth dimension. Whether this relation alone supplies a complete definition at all energies is an additional proposal, not a conventional six-dimensional Lagrangian theorem Douglas 2011, §§ 1–2.2, pp. 1–9, PDF.
The strongest claim that survives is therefore substantial: the type- SCFT is a well-established interacting theory in standard physics usage, constrained by its superconformal algebra, self-dual-string lattice, tensor branch, exact anomalies, compactifications, and controlled M-theory realizations. What does not survive is a generic finite- correlator derived from an invented six-dimensional action. Such a correlator must instead be labeled as a protected result, a compactification result, a large- holographic prediction, or an open calculation according to the route that actually supports it.
Common pitfalls
Section titled “Common pitfalls”Using one radius for both factors. The sphere and AdS radii differ by two, in opposite directions for the M2 and M5 products. State which radius appears before reducing the Einstein term.
Reading or as a literal field count. These powers describe the leading growth of specified normalized observables. They do not provide a basis-independent count of local microscopic fields.
Assuming large removes Kaluza–Klein modes. It suppresses curvature and quantum-gravity corrections, but the compact radii remain of order the AdS radius. A small-field truncation needs a consistency argument.
Calling every ABJM limit “M-theory.” At fixed and sufficiently large , the eleven-dimensional frame is appropriate. A correlated large- limit instead produces a type-IIA window, while weak ’t Hooft coupling is a boundary perturbative regime.
Mistaking the absence of a string coupling for exactness. Eleven-dimensional M-theory has no independent , but it does have higher-derivative and loop corrections controlled by Planck-length and Newton-coupling ratios. Large suppresses those corrections without erasing them.
Equating non-Lagrangian with nonexistent. The theory has extensive exact and structural data. The missing object is a conventional manifestly six-dimensional non-Abelian tensor action, not all meaningful definitions or observables.
Exercises
Section titled “Exercises”1. Reproduce both Newton normalizations
Section titled “1. Reproduce both Newton normalizations”Starting from , the two unit-sphere volumes, and the flux–radius relations, derive and . Keep the M2 quotient factor in the compact volume.
Solution
For M2,
Using gives
Since ,
and hence
For M5,
With and ,
2. Diagnose the M2 duality frame
Section titled “2. Diagnose the M2 duality frame”Show that the Hopf circle is large in Planck units precisely when is large. For a correlated limit with , classify the eleven-dimensional, type-IIA supergravity, and weak-boundary-coupling regions. Then recover the leading fixed- ABJM sphere free energy from the gravitational normalization.
Solution
The quotient circle has radius , so
It is parametrically larger than when . If , this is the eleven-dimensional region . For , one has , which is the type-IIA supergravity window. The endpoint is a crossover where the quotient circle is only order ; at , is order one and type-IIA curvature is not parametrically small. For , , so the boundary theory is weakly coupled rather than described by classical type-IIA supergravity.
Fixed corresponds to . In that regime,
which is the leading fixed- localization result. The calculation does not determine its and smaller corrections.
3. Remove the center-of-mass tensor
Section titled “3. Remove the center-of-mass tensor”Starting from the anomaly of the full -M5 stack, subtract the free center-of-mass tensor. Evaluate the result at and explain why the check says nothing about a generic unprotected correlator.
Solution
Subtracting one gives
At , both coefficients vanish, leaving no interacting sector. This checks the finite- bookkeeping and the free-sector subtraction. An anomaly is protected and records a symmetry obstruction; it does not determine the full operator spectrum or generic position-dependent correlators.
What the comparison establishes
Section titled “What the comparison establishes”The two throats share one reproducible chain:
For M2-branes, ABJM localization checks the full leading coefficient in a specified fixed- limit. For M5-branes, the exact anomaly polynomial establishes protected data while two-derivative gravity captures the leading cubic normalization. Neither comparison creates a Kaluza–Klein gap, removes approximation conditions, or supplies a conventional six-dimensional action.
Continue to D1-D5 systems and AdS top-down data for a duality with a tractable two-dimensional CFT locus and a nontrivial moduli-space interpolation. For the methods used here, Volume X develops three-dimensional sphere localization and six-dimensional tensor-branch anomalies, while Volume XIV states the domain and failure conditions of supergravity as an EFT. Stringy and quantum corrections organizes the corrections omitted by the classical backgrounds. Chapter 5 then compares objects, target sectors, evidence, and falsifiers for nonperturbative definitions.
The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.
For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.
References
Section titled “References”- Aharony, O., Bergman, O., Jafferis, D. L., and Maldacena, J. (2008), “ Superconformal Chern–Simons-Matter Theories, M2-Branes and Their Gravity Duals,” Journal of High Energy Physics 2008(10), 091. DOI. Open PDF.
- Bergman, O., and Hirano, S. (2009), “Anomalous Radius Shift in AdS/CFT,” Journal of High Energy Physics 2009(07), 016. DOI. Open PDF.
- Douglas, M. R. (2011), “On D=5 Super Yang–Mills Theory and (2,0) Theory,” Journal of High Energy Physics 2011(2), 011. DOI. Open PDF.
- Günaydin, M., and Takemae, S. (2000), “Unitary Supermultiplets of and the AdS/CFT Duality,” Nuclear Physics B 578(1–2), 405–448; erratum 697(1–2), 399–402 (2004). DOI. Open PDF.
- Harvey, J. A., Minasian, R., and Moore, G. (1998), “Non-Abelian Tensor-Multiplet Anomalies,” Journal of High Energy Physics 1998(9), 004. DOI. Open PDF.
- Kapustin, A., Willett, B., and Yaakov, I. (2010), “Exact Results for Wilson Loops in Superconformal Chern–Simons Theories with Matter,” Journal of High Energy Physics 2010(3), 089. DOI. Open PDF.
- Maldacena, J. M. (1998), “The Large Limit of Superconformal Field Theories and Supergravity,” Advances in Theoretical and Mathematical Physics 2, 231–252. DOI. Open PDF.
- Mariño, M., and Putrov, P. (2012), “ABJM Theory as a Fermi Gas,” Journal of Statistical Mechanics: Theory and Experiment 2012, P03001. DOI. Open PDF.
- Ohmori, K., Shimizu, H., Tachikawa, Y., and Yonekura, K. (2014), “Anomaly Polynomial of General 6D SCFTs,” Progress of Theoretical and Experimental Physics 2014, 103B07. DOI. Open PDF.
Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.