Math 2.0

Relativity and gravitational theory Definition

Spin foam

Builds on Spin networkSimplicial complexRepresentation theory of SU(2)Path integral formulation

Definition

Let κ\kappa be a finite two-dimensional oriented cell complex, with vertices vv, edges ee and faces ff, whose boundary ∂κ\partial \kappa is a graph. A spin foam on κ\kappa is an assignment of:

  1. a nonzero spin jfj_f, labelling an irreducible representation of SU(2)SU(2) (see representation theory of SU(2)), to each face ff;
  2. an intertwiner ιe\iota_e between the representations of the faces that meet at ee to each edge ee.

The restriction to ∂κ\partial \kappa is then a spin network. A spin foam model assigns amplitudes Af(jf)A_f(j_f), Ae(j,ι)A_e(j, \iota) and Av(j,ι)A_v(j, \iota) to faces, edges and vertices. It defines the amplitude of κ\kappa with a fixed boundary spin network as Z(κ)=∑j,ι∏fAf∏eAe∏vAv.Z(\kappa) = \sum_{j, \iota} \prod_f A_f \prod_e A_e \prod_v A_v. The sum runs over all spin foams on κ\kappa that restrict to the given boundary spin network.

Remarks

This is a discrete analogue of the gravitational path integral: the sum over spins and intertwiners replaces the integral over geometries. Example: the Ponzano–Regge model takes κ\kappa dual to a triangulation of a three-manifold, so each vertex of κ\kappa corresponds to a tetrahedron. Its amplitudes are Af=(−1)2jf(2jf+1)A_f = (-1)^{2 j_f} (2 j_f + 1) and AvA_v the 6j6j-symbol of the six spins around the tetrahedron, up to sign conventions. It is a model of three-dimensional Euclidean quantum gravity. Non-example: a spin network is not a spin foam, since it is a one-dimensional graph with spins on edges, not a two-complex. In four dimensions, the main models are the Barrett–Crane model and the EPRL model, whose vertex amplitudes use SU(2)×SU(2)SU(2) \times SU(2) or SL(2,ℂ)SL(2, \C) representations.

Reading path

To understand this page from the ground up, read these 35 pages in order. The foundations come first.

Show the path as a graph
Cross product, concept, no evidence levelCross productconceptDeterminant, concept, no evidence levelDeterminantconceptGroup, concept, no evidence levelGroupconceptHomogeneous polynomial, concept, no evidence levelHomogeneous polynomialconceptIdentity matrix, object, no evidence levelIdentity matrixobjectIrreducible representation, concept, no evidence levelIrreducible represent…conceptLie group, concept, no evidence levelLie groupconceptMatrix, definition, no evidence levelMatrixdefinitionPath integral formulation, concept, no evidence levelPath integral formula…conceptReal projective space, object, no evidence levelReal projective spaceobjectRepresentation of a Lie group, concept, no evidence levelRepresentation of a L…conceptSimplicial complex, concept, no evidence levelSimplicial complexconceptSpin network, concept, no evidence levelSpin networkconceptVector space, definition, no evidence levelVector spacedefinitionRing, definition, no evidence levelRingdefinitionSquare matrix, definition, no evidence levelSquare matrixdefinitionTranspose, definition, no evidence levelTransposedefinitionLinear map, definition, no evidence levelLinear mapdefinitionUnit of a ring, definition, no evidence levelUnit of a ringdefinitionConjugate transpose, definition, no evidence levelConjugate transposedefinitionMultilinear map, definition, no evidence levelMultilinear mapdefinitionOrthogonal matrix, definition, no evidence levelOrthogonal matrixdefinitionDivision ring, definition, no evidence levelDivision ringdefinitionAlternating multilinear map, definition, no evidence levelAlternating multiline…definitionUnitary matrix, definition, no evidence levelUnitary matrixdefinitionOrthogonal group, object, no evidence levelOrthogonal groupobjectThe quaternions, example, no evidence levelThe quaternionsexampleDeterminant, definition, no evidence levelDeterminantdefinitionUnitary group, object, no evidence levelUnitary groupobjectSpecial orthogonal group, object, no evidence levelSpecial orthogonal gr…objectSpecial unitary group SU(n), example, no evidence levelSpecial unitary group…exampleRotation group SO(3), example, no evidence levelRotation group SO(3)exampleSU(2), example, no evidence levelSU(2)exampleRepresentation theory of SU(2), example, no evidence levelRepresentation theory…exampleSpin foam, definition, no evidence levelSpin foamdefinition
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cross product concept
  2. Determinant concept
  3. Group concept
  4. Homogeneous polynomial concept
  5. Identity matrix object
  6. Irreducible representation concept
  7. Lie group concept
  8. Matrix definition
  9. Path integral formulation concept
  10. Real projective space object
  11. Representation of a Lie group concept
  12. Simplicial complex concept
  13. Spin network concept
  14. Vector space definition
  15. Ring definition
  16. Square matrix definition
  17. Transpose definition
  18. Linear map definition
  19. Unit of a ring definition
  20. Conjugate transpose definition
  21. Multilinear map definition
  22. Orthogonal matrix definition
  23. Division ring definition
  24. Alternating multilinear map definition
  25. Unitary matrix definition
  26. Orthogonal group object
  27. The quaternions example
  28. Determinant definition
  29. Unitary group object
  30. Special orthogonal group object
  31. Special unitary group SU(n) example
  32. Rotation group SO(3) example
  33. SU(2) example
  34. Representation theory of SU(2) example
  35. Spin foam definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Spin_foam
About this page
TagPM068P05N3
URIm2://PM068P05N3
Kinddefinition
WritingW0 stub
MSC83C45, 83C27
DefinesSpin foam
UsesSpin network, Simplicial complex, Representation theory of SU(2), Path integral formulation
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.