FQFT and cohomology
Types of quantum field thories
For semisimple Lie algebra targets
For discrete group targets
For discrete 2-group targets
For Lie 2-algebra targets
For targets extending the super Poincare Lie algebra
for higher abelian targets
for symplectic Lie n-algebroid targets
This is a subentry of sigma-model. See there for background and context.
With hindsight, the earliest -model ever considered was also the very origin of the science of physics:
More in detail, this is meant to describe the following situation:
write for a smooth function; think of this as an actual trajectory of a point particle in ;
for the second derivative, the acceleration? of the particle (strictly speaking this is the covariant derivative with respect to the trivial connection on the (canonically trivialized) tangent bundle on , see below for the fully fledged discussion).
We call then the collection of all smooth functions
the configuration space of a physical model of a point particle propagating on .
In order to define the model – the model of some physical situation
In modern language we may say:
is the worldline of the particle;
is the background gauge field;
and the collection of all three is a -model .
Given this data, the space of solutions to the original differential equation
is called the covariant phase space of the model. The configurations in have the interpretation of being those potential configurations, that describe actual trajectories of particles observed in nature.
may be read as characterizing precisely the geodesics in regarded as a Riemannian manifold using the canonical metric. This is a special and limiting case of the relativistic particle discussed below.
A cautionary note is in order. While the Newtonian particle may serve as an introductory example for motivating the concept of -models, it in general lacks some of the nice properties that later on we shall take to be characteristic of -models. Mainly this is due to the fact that the Newtonian particle is but a limiting approximation to the relativistic particle to which we turn next.
The Newtonian particle propagating on , discussed above, is a special and limiting case of a particle propagating on a 4-dimensional pseudo-Riemannian manifold: spacetime. For historical reasons (the same that led to the theory of gravity being called a theory of relativity) this is called the relativistic particle.
The -model describing the relativistic particle is the following.
The background gauge field is given by a circle bundle with connection, which for the moment we shall assume to be topologically trivial and hence be equivalently given by a smooth 1-form . Its curvature exterior derivative is the field strength of an electromagnetic field on .
To see what this means, consider some special cases. First regard the case that the background field strength vanishes, . Then the equations of motion reduce to
This says that the trajectory exhibits parallel transport of its tangent vectors with respect to the Levi-Civita connection of the background metric. These curves are precisely the geodesics of the background geometry. This models motion under the force exerted by the field of gravity on our particle.
In the even more special case that is Minkowski spacetime, where we may find a global coordinate chart , these are exactly the straight lines in . Given any such, there is precisely one representative in the diffeomorphism class for which is the identity, hence for which the worldline parameter coincides precisely with the chosen global time coordinate on . For these the equations of motions are again those of the free Newtonian particle .
Remaining in the case that is Minkowski space but allowing now a nontrivial background field, notice that we may write the 2-form always as
where is the electric field strength vector and the magnetic field strength vector. The spatial part of the above equations of motion are in this case again as for a Newtonian particle
Notice that the equations of motion imply, generally, that the norm of is constant along the trajectory
Therefore a trajectory that solves the equations of motion and whose tangent vector is timelike or spacelike or lightlike, respectively, at any instant is so throughout. In particular, no choice of gravitational and electromagnetic background field strength can accelerate a physical particle from being timelike to being light-like.
Experiments around the second half of the 19th and the beginning of the 20th century established that this covariant phase space correctly describes the dynamics of gravitationally and electromagnetically charged relativistic particles. But also formally this phase space is not a randomly chosen space; instead, it is the critical locus of a (mathematically) natural action functional.
The points in the covariant phase space
happen to be the local critical points of the functional
This is called the action functional of the relativistic particle -model. The first summand is called the kinetic action, the second is called the gauge coupling action.
Typically one characterizes -models in terms of such action functionals, so that the covariant phase space is then given as their critical locus. This usually yields a simpler and deeper description of the model.
Notably the above action functional has an evident generalization to the case where the background electromagnetic field is not given by a globally defined 1-form, but more generally by a circle bundle with connection : if we pass to the exponentiated action functional
the second factor is precisely the holonomy of over the worldline. Hence for general electromagnetic background gauge fields the action functional is (assuming for simplicity now closed curves with )
This is the beginning of an important pattern: most -models are determined by a kind of higher gauge field on target space (a cocycle in the differential cohomology of target space) and their dynamics is determined by an action functional that is the higher holonomy functional of this gauge field.
(at least after replacing the kinetic Nambu-Goto action by the classically equivalent Polyakov action) and the path integral is just the “expectation value” (after Wick rotation) of the holonomy, taken over all trajectories.
Since there is a good general abstract theory of higher gauge fields and their higher holonomies (see differential cohomology and differential cohomology in a cohesive topos), this suggests that there should be a general abstract theory of -models. Aspects of this are discussed below.
It is hard not to consider the following generalization of the relativistic particle -model, that we discussed above:
notice that nothing in the structure of the relativistic particle’s action functional (1) relies on the dimension of being . Instead, it is just the degree-1 case of the following family of types of classical -models, that make sense for all :
let be of dimension ;
let then finally the action functional be given by
This is the same formula as for the relativistic particle as before, only that now the differential forms are taken to be of degree and integrals to be over -dimensional spaces.
Moreover, for each there is an analog of the generalization
to the generalization
that extends the functional .
Therefore, generally, we may take for
the exponentiated action functional to be
For such a -model describes an analog of a relativistic particle which is not point-like, but 2-dimensional (with 3-dimensional trajectory) hence which reminds one of a membrane. Inspired by this term, the general case has come to be known as the relativistic -brane.
The case is called the relativistic string, which we consider in more detail below. This has received a lot of attention (in string theory) not just because it is the next simplest in an infinite hierarchy of cases, but also because its quantum theory turns out to have various interesting features that seem to make it special. Moreover, many of the -branes for other re-appear in one way or other in the study of the string (as its boundary D-branes in all dimensions , as its “strongly coupled” version: the M-theory membrane, or as its electric-magnetic dual: the NS5-brane). If nothing else, the seemingly innocent step from to in the -model shows that there is a rich pattern of higher dimensional (-model) quantum field theories that are all interrelated in intricate ways.
Another important special case for the general discussion of -models is the case of the membrane, , for which the background gauge field is a Chern-Simons circle 3-bundle for some -principal bundle on , for some suitable Lie group. In this case the gauge-coupling Lagrangian of the -model is, locally, the Chern-Simons form of a -connection , hence the action functional is (locally) the Chern-Simons functional
Below we will see that when -models are considered internal to a suitable cohesive (∞,1)-topos, then there are universal -models of this Chern-Simons type, whose target space is no longer a smooth manifold, but a smooth ∞-groupoid incarnation of a classifying space .
The important case of the general (n-1)-brane sigma-model that we considered above is called the string--model. Even though this is just the first step after the relativistic particle, the theory of this -model is already considerably richer classically and all the more so after quantization. For the purposes of this exposition here we only briefly indicate the physical interpretation of the -model and then consider some qualitatively new higher gauge theory aspects, that appear in this dimension.
First notice that by the general reasoning of relativistic -branes, the background gauge field is now given (if we assume for the moment a topological trivial class) by a 2-form, which is traditionally denoted and called the B-field. Its 3-form curvature field strength is traditionally denoted .
To gain insight into the physical meaning of this, consider the simple case that target space is Minkowski spacetime and that the worldsheet is the cylinder. With the two canonical coordinates on , we still write
for the derivative “along the trajectory” (along the -factor), but now we also have the derivative which we may think of as being tangential to the string at any instant of its trajectory. A field configuration may be thought of as the trajectory of a circle propagating in .
The critical trajectories are found to be those that satisfy the 2-dimensional wave equation
on the worldsheet. Comparison with the equation of motion of the relativistic particle shows that plays the role of an electromagnetic field strength 2-form. Hence the string behaves as if electric charge is spread out evenly along it.
For point particle limit configurations , where the string has vanishing extension in that , the above equation reduces again to free motion
and for general to the corresponding geodesic motion.
Therefore close to these point particle configurations the string looks like a little oscillating loop whose dynamics is that of its “center of mass” point, but slightly modified by the energy in the oscillations and the way these interact with the background fields. After quantization of the -model, these oscillations have a discrete ( quantized!) set of possible frequencies, and indeed each of the oscillation modes makes the string appear in the point particle limit as one species or other of a relativistic particle. (For more on this see string theory.)
Next we have a look at aspects of higher gauge theory that appears in .
The above 2-form is in general just the local connection form of a circle 2-bundle with connection on , given (as its homotopy fiber) by a morphism of smooth ∞-groupoids . Equivalently this is a -bundle gerbe with connection.
Hence the corresponding associated 2-bundle is classified by a morphism
One can consider the string -model for worldsheets with boundary. A careful analysis then shows that the consistent Dirichlet-type boundary conditions that can be added correspond, roughly, to certain subspaces of target space – called D-branes – that are equipped with a section of the background gauge field 2-vector bundle restricted to the -brane. Such a section is precisely a twisted vector bundle on the brane, where the twist is the class in integral cohomology of the background gauge field. More generally, these twisted bundles are cocycles in twisted K-theory and differential K-theory. Hence more differential cohomology appears on the target space for the string in the presence of string boundaries.
More generally, the structure 2-group of the background principal 2-bundle need not be , which is given by the crossed module . Instead, it can be the automorphism 2-group , which is given by the crossed module . An -principal 2-bundle on is equivalently a double cover of , equipped with a circle 2-bundle that has a twisted equivariance under the -action. Such a background gauge field structure is called a string orientifold background. This is a kind of higher structure that the relativistic particle alone cannot see.
More such higher structure appears as one passes to the supergeometry analogs of the -models that we have considered so far: the superstring. The presence of the additional fermion fields that this brings with it (both on target space as well as on the worldsheet) influences all the structures that we have considered so far. For instance, a phenonemon called a fermionic quantum anomaly forces the above background circle 2-bundle to become a twisted 2-bundle, where the twist is given by a fivebrane charge Chern-Simons circle 3-bundle. This is discussed in detail at differential string structure
These are the first examples of a general phenomenon: as increases, a background gauge -bundle with connection may constitute considerably more structure then one might naively expect from a generalization of the ordinary notion of a connection. More examples of this phenomenon arise when we allow our target spaces to be general smooth ∞-groupoids, below.