As an Amazon Associate, I earn from qualifying purchases. For more practice problems like this, see Schaum’s Outline of College Physics, 12th Edition.

1. What the question is really asking

The student is wondering how the familiar “quantum statistics’’ of point particles (bosons, fermions, anyons) generalises when the objects are extended – e.g. strings, membranes, or more general p‑branes.

For point particles the possible exchange phases are dictated by the topology of world‑lines in space‑time: in three (or more) spatial dimensions the world‑lines can always be untangled, giving only the two possibilities “boson’’ (+1) or “fermion’’ (–1). In two spatial dimensions the world‑lines can braid, and a whole U(1) of phases (anyons) is allowed.

The student therefore asks:

  1. What replaces the braid group when the objects are higher‑dimensional?
  2. How do those “higher braid groups’’ give rise to non‑trivial exchange phases for branes?
  3. Has anyone built a topological quantum field theory (TQFT) that encodes these phases?
  4. Are there concrete examples in string / M‑theory where such “brane statistics’’ appear?

Below we answer each point step‑by‑step, building the necessary mathematics and then showing how it appears in physics.

2. From particles to branes – the topology of exchanges

2.1 Codimension controls braiding

A p‑brane sweeps out a ((p+1))‑dimensional world‑volume (W_{p+1}) in a space‑time of dimension (D).
Two identical branes can be interchanged by moving one world‑volume around the other. The motion is a loop in the configuration space of two disjoint ((p+1))‑submanifolds of (\mathbb{R}^{D}). The fundamental group of this configuration space is the motion (or braid) group of ((p+1))‑submanifolds.

A classic result (see e.g. Goldsmith, “The braid group of a product of manifolds”) is:

Non‑trivial braiding occurs only when the codimension of the brane is two, i.e. when
[ \underbrace{D-(p+1)}_{\text{codimension of world‑volume}} = 2 . ]

In other words the spatial codimension (d_{\text{sp}} = D-1-p) must equal two. This is the exact analogue of the particle case (point particle → codimension = 2 in (2+1) dimensions).

Brane dimension (p) Space‑time dimension (D) with non‑trivial braid
0 (particle) (D=3) (2 spatial dimensions)
1 (string) (D=4) (3 spatial dimensions)
2 (membrane) (D=5)
… …

If the codimension is larger than two, any exchange loop can be continuously shrunk to a point, and the only possible statistics are the ordinary bosonic one (phase = +1). If the codimension is exactly two, the motion group is a genuine braid‑like group, and abelian or non‑abelian phases are allowed.

2.2 The relevant motion groups

For point particles in (2+1) dimensions the motion group is the ordinary braid group (B_n).
For strings in (3+1) dimensions the motion group is called the loop braid group (also braid group of rings). It is generated by:

  • Loop exchange ( \sigma_i): slide loop (i) through loop (i+1).
  • Loop passing ( \rho_i): wind loop (i) once around loop (i+1) without cutting.

These generators satisfy relations that are a higher‑dimensional analogue of the Artin braid relations. For membranes in (4+1) dimensions the corresponding group is the surface braid group, etc. Mathematically these are captured by higher‑categorical braid groups (or motion groups of embedded submanifolds).

2.3 From motion groups to phases

A quantum theory assigns a unitary representation of the motion group to the Hilbert space of the branes. For abelian statistics the representation is simply a homomorphism [ \chi : \pi_1(\text{config. space}) \longrightarrow U(1), ] so each generator contributes a phase factor (e^{i\theta}). Non‑abelian statistics correspond to higher‑dimensional unitary representations (e.g. of the loop braid group).

The phase can be written as a topological action that depends only on the embedding of the world‑volumes. In a path‑integral language, [ \mathcal{Z}\;=\;\int! \mathcal{D}[\text{fields}]\,\exp!\bigl(i S_{\text{local}}+ i S_{\text{top}}\bigr), ] where (S_{\text{top}}) is a functional of the world‑volumes and produces the desired phase when two branes link.

3. Topological actions that generate brane statistics

3.1 Higher‑form gauge fields

A (k)-form gauge field (A^{(k)}) couples naturally to a ((k-1))-brane via a Wilson‑type term [ \exp!\Bigl(i q \int_{W_{k}} A^{(k)}\Bigr). ] When two such branes link, the integral picks up a contribution equal to the linking number (L(W_{k},W’{k})): [ \exp!\bigl(i q q’\, L(W{k},W’_{k})\bigr). ] Thus a background flat (k)-form field (or its field strength) produces a statistical phase proportional to the linking number. This is the direct analogue of the Aharonov‑Bohm effect for point particles coupled to a 1‑form gauge field.

  • For strings ((p=1)) the relevant field is the Kalb–Ramond 2‑form (B^{(2)}). The world‑sheet coupling (\exp!\bigl(i\int_{\Sigma} B^{(2)}\bigr)) yields a phase when two strings link in four dimensions.
  • For D‑branes the relevant fields are the Ramond–Ramond (RR) potentials (C^{(p+1)}). The Wess–Zumino term (\int_{W_{p+1}} C^{(p+1)}) gives a phase when a D(p)‑brane links a D((p-2))‑brane (the RR field strength is a ((p+2))-form, whose flux measures the linking).

The topological term that produces the phase can be written purely in terms of the gauge fields, e.g. a BF‑type action [ S_{\text{BF}} \;=\; \frac{k}{2\pi}\int_{M_D} B^{(p+1)}\wedge d A^{(D-p-2)}, ] where (B^{(p+1)}) couples to a ((p))-brane and (A^{(D-p-2)}) couples to its dual ((D-p-4))-brane. Integrating out the non‑dynamical fields leaves behind a linking number term: [ S_{\text{link}} = \frac{2\pi}{k}\, L(W_{p+1},\widetilde W_{D-p-3}). ]

3.2 Euler‑characteristic coupling (string example)

The simplest “brane statistics’’ already known in string theory is the Euler‑characteristic weighting [ \exp!\bigl(-\Phi_0\,\chi(\Sigma)\bigr), ] where (\Phi_0) is the (constant) dilaton and (\chi(\Sigma)) is the Euler characteristic of the world‑sheet (\Sigma). In the path integral each handle (genus increase) multiplies the amplitude by (e^{-\Phi_0}). This is precisely a change of the string coupling (g_s = e^{\Phi_0}). While not a braiding phase, it is a topological weighting that depends only on the world‑volume topology – an example of a 0‑form (global) topological term.

3.3 Chern‑Simons and higher‑Chern‑Simons actions

In three dimensions the Chern–Simons action [ S_{\text{CS}} = \frac{k}{4\pi}\int_{M_3} A\wedge dA ] produces anyonic statistics for point particles (Wilson lines). Its higher‑dimensional analogue is the Chern–Simons–like term [ S_{\text{CS}}^{(p)} = \frac{k}{2\pi}\int_{M_{p+3}} C^{(p+1)}\wedge d C^{(p+1)}, ] where (C^{(p+1)}) is a ((p+1))-form gauge field. The world‑volume coupling (\int_{W_{p+1}} C^{(p+1)}) then yields a phase proportional to the linking number of two ((p))-branes in (p+3) dimensions – exactly the condition derived from codimension‑two.

4. Existing “higher‑dimensional’’ TQFTs

Name of theory Dimension Fields What it computes (topological invariant) Brane statistics it encodes
**        

Original question: Quantum statistics of branes on Physics Stack Exchange, licensed CC BY-SA.