A “black hole sector” of nonperturbative canonical quantum gravity is introduced. The quantum black hole degrees of freedom are shown to be described by a Chern-Simons field theory on the horizon. It is shown that the entropy of a large nonrotating black hole is proportional to its horizon area. The constant of proportionality depends upon the Immirzi parameter, which fixes the spectrum of the area operator in loop quantum gravity; an appropriate choice of this parameter gives the Bekenstein-Hawking formula $S=A/4\mathrm{}{\ell }_P^2$. With the same choice of the Immirzi parameter, this result also holds for black holes carrying electric or dilatonic charge, which are not necessarily near extremal.

The octonions are the largest of the four normed division algebras. While somewhat neglected due to their nonassociativity, they stand at the crossroads of many interesting fields of mathematics. Here we describe them and their relation to Clifford algebras and spinors, Bott periodicity, projective and Lorentzian geometry, Jordan algebras, and the exceptional Lie groups. We also touch upon their applications in quantum logic, special relativity and supersymmetry.

The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and outline a program in which n-dimensional topological quantum field theories (TQFTs) are to be described as n-category representations. First we describe a ‘‘suspension’’ operation on n-categories, and hypothesize that the k-fold suspension of a weak n-category stabilizes for k≥n+2. We give evidence for this hypothesis and describe its relation to stable homotopy theory. We then propose a description of n-dimensional unitary extended TQFTs as weak n-functors from the ‘‘free stable weak n-category with duals on one object’’ to the n-category of ‘‘n-Hilbert spaces.’’ We conclude by describing n-categorical generalizations of deformation quantization and the quantum double construction.

While the use of spin networks has greatly improved our understanding of the kinematical aspects of quantum gravity, the dynamical aspects remain obscure. To address this problem, we define the concept of a `spin foam' going from one spin network to another. Just as a spin network is a graph with edges labeled by representations and vertices labeled by intertwining operators, a spin foam is a 2-dimensional complex with faces labeled by representations and edges labeled by intertwining operators. Spin foams arise naturally as higher-dimensional analogs of Feynman diagrams in quantum gravity and other gauge theories in the continuum, as well as in lattice gauge theory. When formulated as a `spin foam model', such a theory consists of a rule for computing amplitudes from spin foam vertices, faces, and edges. The product of these amplitudes gives the amplitude for the spin foam, and the transition amplitude between spin networks is given as a sum over spin foams. After reviewing how spin networks describe `quantum 3-geometries', we describe how spin foams describe `quantum 4-geometries'. We conclude by presenting a spin foam model of 4-dimensional Euclidean quantum gravity, closely related to the state sum model of Barrett and Crane, but not assuming the presence of an underlying spacetime manifold.

In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge ‘2-group’. We focus on 6 examples. First, every abelian Lie group gives a Lie 2-group; the case of U(1) yields the theory of U(1) gerbes, which play an important role in string theory and multisymplectic geometry. Second, every group representation gives a Lie 2-group; the representation of the Lorentz group on 4d Minkowski spacetime gives the Poincaré 2-group, which leads to a spin foam model for Minkowski spacetime. Third, taking the adjoint representation of any Lie group on its own Lie algebra gives a ‘tangent 2-group’, which serves as a gauge 2-group in 4d BF theory, which has topological gravity as a special case. Fourth, every Lie group has an ‘inner automorphism 2-group’, which serves as the gauge group in 4d BF theory with cosmological constant term. Fifth, every Lie group has an ‘automorphism 2-group’, which plays an important role in the theory of nonabelian gerbes. And sixth, every compact simple Lie group gives a ‘string 2-group’. We also touch upon higher structures such as the ‘gravity 3-group’, and the Lie 3-superalgebra that governs 11-dimensional supergravity.