nLab brane

Contents

Context

Quantum field theory

String theory

Phyics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

This article is about the general concept of branes. For more specific details see also also at super p-brane, black brane and D-brane.


Contents

Idea

The term brane in formal high energy physics, and in particular in string theory, refers to entities that one thinks of as physical objects that generalize the notion point particles to higher dimensional objects.

The term derives from the word membrane that was originally used to describe 2-dimensional “particles”. When the need was felt to speak also about 3-, 4- and higher dimensional such “particles” the usage “3-brane”, “4-brane” etc. was introduced. Ordinary particles would be 0-branes in this counting, the strings in string theory would be 1-branes and membranes themselves 2-branes.

Generally, there are two different incarnations of branes

  1. fundamental pp-branes (as in “fundamental particle”): these are given by sigma-models on (p+1)(p+1)-dimensional worldvolumes describing propagation of single pp-dimensional objects on certain target spacetimes. If these sigma-models are required to exhibit manifest target spacetime supersymmetry, then they are Green-Schwarz sigma models, which are classified by a “brane scan” in super L-infinity algebra cohomology;

  2. black p-branes (as in “black hole”): these are solutions to field theories, typically supergravity theories, with singularities of dimension (p+1)(p+1). In analogy to how a charged black hole (p=0p = 0) sources an electromagnetic field with field strength 2-form, so black pp-branes source (p+2)(p+2)-form higher gauge fields and hence appear in those supergravity theories where such exists.

The idea is that these two concepts match where a condensate of fundamental pp-branes turns into a black pp-brane.

Indeed, the classical no-hair theorem matches fundamental particles (i.e. 0-branes) characterized (via the Wigner classification) by just their mass, electromagnetic charge and angular momentum to black hole solutions of pure vacuum gravity. Accordingly, it is an old suggestion (Einstein-Infeld-Hoffmann 39) that fundamental particles could be identified with singular solutions of vacuum gravity.

This matching generalizes to higher dimensional pp-branes in higher dimensional supergravity and there is an exact correspondence between fundamental Green-Schwarz super p-branes and extremal BPS black brane solutions.

In string theory there is a third incarnation of branes, known as

One envisions that as one passes from perturbative string theory to the non-perturbative version of the theory (“M-theory”) these D-branes show back-reaction and turn into the UV-completion of the black branes seen in the supergravity effective field theory. This relation is key in the microscopic computation of black hole entropy for black holes in string theory.

Boundary conditions or D-branes

Some words on D-branes

In terms of the algebraic data of the QFT on the worldvolume

An abstractly defined nn-dimensional quantum field theory is a consistent assignment of state-space and correlators to nn-dimensional cobordisms with certain structure (topological structure, conformal structure, Riemannian structure, etc. see FQFT/AQFT). In an open-closed QFT the cobordisms are allowed to have boundaries. See at boundary field theory for more on this.

In this abstract formulation of QFT a brane is a type of data assigned by the QFT to boundaries of cobordisms.

In 2d2d rational CFT

A well understood class of examples is this one: among all 2-dimensional conformal field theory, the case of full rational 2d CFT has been understood completely, using FFRS-formalism. It is then a theorem that full 2-rational CFTs are classified by

  1. a modular tensor category 𝒞\mathcal{C} (to be thought of as being the category of representations of the vertex operator algebra of the 2d CFT);

  2. a special symmetric Frobenius algebra object AA internal to 𝒞\mathcal{C}.

In this formulation a type of brane of the theory is precisely an AA-module in 𝒞\mathcal{C} (an AA-bimodule is a bi-brane or defect line ):

the 2d cobordisms with boundary on which the theory defined by A𝒞A \in \mathcal{C} carry as extra structure on their connected boundary pieces a label given by an equivalence class of an AA-module in 𝒞\mathcal{C}. The assignment of the CFT to such a cobordism with boundary is obtained by

  • triangulating the cobordism,

  • labeling all internal edges by AA

  • labelling all boundary pieces by the AA-module

  • all vertices where three internal edges meet by the multiplication operation

  • and all points where an internal edge hits a moundary by the corresponding action morphism

  • and finally evaluating the resulting string diagram in 𝒞\mathcal{C}.

So in this abstract algebraic formulation of QFT on the worldvolume, a brane is just the datum assigned by the QFT to the boundary of a cobordism. But abstractly defined QFTs may arise from quantization of sigma models. This gives these boundary data a geometric interpretation in some space. This we discuss in the next section.

In 2d2d TFT

Another case where the branes of a QFT are under good mathematical control is TCFT: the (infinity,1)-category-version of a 2d TQFT.

Particularly the A-model and the B-model are well understood.

(…)

In terms of geometric data of the σ\sigma-model background

An abstractly defined QFT (as a consistent assignment of state spaces and propagators to cobordisms as in FQFT) may be obtained by quantization from geometric data :

Such a sigma-model QFT is the quantization of an action functional on a space of maps ΣX\Sigma \to X from a cobordism (“worldvolume”) Σ\Sigma to some target space XX that may carry further geometric data such as a Riemannian metric, or other background gauge fields.

One may therefore try to match the geometric data on XX that encodes the σ\sigma-model with the algebraic data of the FQFT that results after quantization. This gives a geometric interpretation to many of the otherwise purely abstract algebraic properties of the worldvolume QFT.

It turns out that if one checks which geometric data corresponds to the AA-modules in the above discussion, one finds that these tend to come from structures that look at least roughly like submanifolds of the target space XX. And typically these submanifolds themselves carry their own background gauge field data.

A well-understood case is the Wess-Zumino-Witten model: for this the target space XX is a simple Lie group X=GX = G and the background field is a circle 2-bundle with connection (a bundle gerbe) on GG, representing the background field that is known as the Kalb-Ramond field.

In this case it turns out that branes for the sigma model on XX are given in the simplest case by conjugacy classes DGD \subset G inside the group, and that these carry a twisted vector bundle with the twist given by the Kalb-Ramond background bundle. These vector bundles are known in the string theory literature as Chan-Paton vector bundles . The geometric intuition is that a QFT with certain boundary condition comes from a quantization of spaces of maps ΣG\Sigma \to G that are restricted to take the boundary of Σ\Sigma to these submanifolds.

More generally, one finds that the geometric data that corresponds to the branes in the algebraically defined 2d QFT is given by cocycles in the twisted differential K-theory of GG. These may be quite far from having a direct interpretation as submanifolds of GG.

The case of rational 2d CFT considered so far is only the best understood of a long sequence of other examples. Here the collection of all D-branes – identified with the collection of all internal modules over an internal frobenius algebra, forms an ordinary category.

More generally, at least for 2-dimensional TQFTs analogous considerations yield not just categories but stable (∞,1)-categories of boundary condition objects. For instance for what is called the B-model 2-d TQFT the category of D-branes is the derived category of coherent sheaves on some Calabi-Yau space.

Starting with Kontsevich’s homological algebra reformulation of mirror symmetry the study of (derived) D-brane categories has become a field in its own right in pure mathematics.

… lots of further things to say …

Fundamental or σ\sigma-model branes

In string theory one speaks apart from the D-branes also about fundamental branes . These are the objects Σ\Sigma in the nn-dimensional sigma model themselves.

  • For n=0n=0 this describes the ordinary quantum mechanics of a point particles on XX. And such point particles are the fundamental particles for instance of the standard model of particle physics.

  • For n=1n=1 this describes the quantum propagation of a string, and accordingly one speaks of the fundamental string or F1-brane (fundamental 1-brane).

  • For n=2n=2 this describes the quantum propagation of a membrane.

  • There are good indications that there is a way to describe heterotic string theory not in terms of fundamental 1-branes but in terms of the sigma-model of a fundamental 5-brane – the magnetic dual of the 1-brane in 10-dimensions.

  • etc.

The brane scan.

The Green-Schwarz type super pp-brane sigma-models (see at table of branes for further links and see at The brane bouquet for the full classification):

=d\stackrel{d}{=}p=p =123456789
11M2M5
10D0F1, D1D2D3D4NS5, D5D6D7D8D9
9*
8*
7M2 top{}_{top}
6F1 little{}_{little}, S1 sd{}_{sd}S3
5*
4**
3*

(The first columns follow the exceptional spinors table.)

The corresponding exceptional super L-∞ algebra cocycles (schematically, without prefactors):

=d\stackrel{d}{=}p=p =123456789
11Ψ 2E 2\Psi^2 E^2 on sIso(10,1)Ψ 2E 5+Ψ 2E 2C 3\Psi^2 E^5 + \Psi^2 E^2 C_3 on m2brane
10Ψ 2E 1\Psi^2 E^1 on sIso(9,1)B 2 2+B 2Ψ 2+Ψ 2E 2B_2^2 + B_2 \Psi^2 + \Psi^2 E^2 on StringIIA\cdots on StringIIBB 2 3+B 2 2Ψ 2+B 2Ψ 2E 2+Ψ 2E 4B_2^3 + B_2^2 \Psi^2 + B_2 \Psi^2 E^2 + \Psi^2 E^4 on StringIIAΨ 2E 5\Psi^2 E^5 on sIso(9,1)B 2 4++Ψ 2E 6B_2^4 + \cdots + \Psi^2 E^6 on StringIIA\cdots on StringIIBB 2 5++Ψ 2E 8B_2^5 + \cdots + \Psi^2 E^8 in StringIIA\cdots on StringIIB
9Ψ 2E 4\Psi^2 E^4 on sIso(8,1)
8Ψ 2E 3\Psi^2 E^3 on sIso(7,1)
7Ψ 2E 2\Psi^2 E^2 on sIso(6,1)
6Ψ 2E 1\Psi^2 E^1 on sIso(5,1)Ψ 2E 3\Psi^2 E^3 on sIso(5,1)
5Ψ 2E 2\Psi^2 E^2 on sIso(4,1)
4Ψ 2E 1\Psi^2 E^1 on sIso(3,1)Ψ 2E 2\Psi^2 E^2 on sIso(3,1)
3Ψ 2E 1\Psi^2 E^1 on sIso(2,1)

The Brane molecule

Furthermore, there exists a more general classification of possible supermembranes in spacetime with SS spatial dimensions and TT time dimensions, appearing in (Blencowe-Duff 88). In this sense, the brane scan is but the T=1T=1 branch of the brane molecule. The objects appearing here are expected to be related to other generalizations of string theory. See D=12 supergravity and bosonic M-theory.

The brane molecule without assuming super Poincare invariance.

Compare:

Black branes

See black brane.

Defect branes

See defect brane.

Exotic branes

See exotic brane.

Properties

Worldvolume theories

Table of branes appearing in supergravity/string theory (for classification see at brane scan).

branein supergravitycharged under gauge fieldhas worldvolume theory
black branesupergravityhigher gauge fieldSCFT
D-branetype IIRR-fieldsuper Yang-Mills theory
(D=2n)(D = 2n)type IIA\,\,
D(-2)-brane\,\,
D0-brane\,\,BFSS matrix model
D2-brane\,\,\,
D4-brane\,\,D=5 super Yang-Mills theory with Khovanov homology observables
D6-brane\,\,D=7 super Yang-Mills theory
D8-brane\,\,
(D=2n+1)(D = 2n+1)type IIB\,\,
D(-1)-brane\,\,\,
D1-brane\,\,2d CFT with BH entropy
D3-brane\,\,N=4 D=4 super Yang-Mills theory
D5-brane\,\,\,
D7-brane\,\,\,
D9-brane\,\,\,
(p,q)-string\,\,\,
(D25-brane)(bosonic string theory)
NS-branetype I, II, heteroticcircle n-connection\,
string\,B2-field2d SCFT
NS5-brane\,B6-fieldlittle string theory
D-brane for topological string\,
A-brane\,
B-brane\,
M-brane11D SuGra/M-theorycircle n-connection\,
M2-brane\,C3-fieldABJM theory, BLG model
M5-brane\,C6-field6d (2,0)-superconformal QFT
M9-brane/O9-planeheterotic string theory
M-wave
topological M2-branetopological M-theoryC3-field on G₂-manifold
topological M5-brane\,C6-field on G₂-manifold
S-brane
SM2-brane,
membrane instanton
M5-brane instanton
D3-brane instanton
solitons on M5-brane6d (2,0)-superconformal QFT
self-dual stringself-dual B-field
3-brane in 6d

The super-brane scan

If the worldvolume QFT of the fundamental branes (for instance the worldsheet 2dCFT of the string) is required to be a supersymmetric QFT?, specifically if the Green-Schwarz action functional is used only particular combinations of the dimension dimΣ=p+1dim \Sigma = p + 1 of the worldvolume and D=dimXD = dim X of spacetime are possible.

The corresponding table has been called the brane scan

The brane scan

singularityfield theory with singularities
boundary condition/braneboundary field theory
domain wall/bi-braneQFT with defects

∞-Chern-Simons theory from binary and non-degenerate invariant polynomial

nn \in \mathbb{N}symplectic Lie n-algebroidLie integrated smooth ∞-groupoid = moduli ∞-stack of fields of (n+1)(n+1)-d sigma-modelhigher symplectic geometry(n+1)(n+1)d sigma-modeldg-Lagrangian submanifold/ real polarization leaf= brane(n+1)-module of quantum states in codimension (n+1)(n+1)discussed in:
0symplectic manifoldsymplectic manifoldsymplectic geometryLagrangian submanifoldordinary space of states (in geometric quantization)geometric quantization
1Poisson Lie algebroidsymplectic groupoid2-plectic geometryPoisson sigma-modelcoisotropic submanifold (of underlying Poisson manifold)brane of Poisson sigma-model2-module = category of modules over strict deformation quantiized algebra of observablesextended geometric quantization of 2d Chern-Simons theory
2Courant Lie 2-algebroidsymplectic 2-groupoid3-plectic geometryCourant sigma-modelDirac structureD-brane in type II geometry
nnsymplectic Lie n-algebroidsymplectic n-groupoid(n+1)-plectic geometryd=n+1d = n+1 AKSZ sigma-model

(adapted from Ševera 00)

References

Prehistory

  • Albert Einstein, Leopold Infeld, B. Hoffmann, The gravitational equations and the problem of motion, Annals of Mathematics, Vol 39, No. 1, 1938

See also

The terminology “pp-brane” originates in

For more history see

  • Mike Duff, Thirty years of Erice on the brane, Based on lectures at the International Schools of Subnuclear Physics 1987-2017 and the International Symposium “60 Years of Subnuclear Physics at Bologna”, University of Bologna, November 2018 (arXiv:1812.11658)

General

Boundary conditions / D-branes

(…)

See D-brane.

For exhaustive details on D-branes in 2-dimensional rational CFT see the references given at

A classical text describing how the physics way to think of D-branes for the topological string leads to seeing that they are objects in derived categories (of coherent sheaves for the B-model) is reviewed in

based on

This can to a large extent be read as a dictionary from homological algebra terminology to that of D-brane physics.

More recent similar material with the emphasis on the K-theory aspects is

Fundamental branes

The “brane scan” table showing the consistent dimension pairs for the Green-Schwarz action functional was depicted in

going back to

  • A. Achúcarro, J. M. Evans, Paul Townsend and D. L. Wiltshire, Super pp-branes Physics Letters B Volume 198, Issue 4, 3 (1987)

Further developments are in

More along these lines is in

See also division algebras and supersymmetry.

Branes ending on branes

Last revised on July 1, 2023 at 15:13:46. See the history of this page for a list of all contributions to it.