nLab sigma-model -- exposition of classical sigma-models

Contents

Context

Quantum field theory

Phyiscs

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

\infty-Chern-Simons theory

∞-Chern-Weil theory

∞-Chern-Simons theory

∞-Wess-Zumino-Witten theory

Ingredients

Definition

Examples

This is a subentry of sigma-model. See there for background and context.


Contents

Exposition of classical σ\sigma-models

We survey, starting from the very basics, classical field theory aspects of σ\sigma-models that describe dynamics of particles, strings and branes on geometric target spaces.

The Newtonian particle

With hindsight, the earliest σ\sigma-model ever considered was also the very origin of the science of physics:

In order to describe the motion of matter particles in space, Isaac Newton wrote down a differential equation with the famous symbols

F=ma. \vec F = m \vec a \,.

More in detail, this is meant to describe the following situation:

  • write X:= 3X := \mathbb{R}^3 for the Cartesian space of dimension 3; think of this as a model for physics space;

  • write Σ:=\Sigma := \mathbb{R} for the Cartesian space of dimension 1; think of this as the abstract trajectory of a point particle;

  • write γ:ΣX\gamma : \Sigma \to X for a smooth function; think of this as an actual trajectory of a point particle in XX;

    write furthermore

    • v:=γ˙Hom(TΣ,TX)\vec v := \dot \gamma \in Hom(T \Sigma, T X) for the derivative of γ\gamma; think of this as the velocity of the particle; and

    • a:=γ¨\vec a := \ddot \gamma 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 3\mathbb{R}^3, see below for the fully fledged discussion).

We call then the collection of all smooth functions

Conf:=C (Σ,X) Conf := C^\infty(\Sigma, X)

the configuration space of a physical model of a point particle propagating on XX.

In order to define the model – the model of some physical situation –

  • pick a vector field FΓ(TX)\vec F \in \Gamma(T X) on XX. Think of this as expressing at each point a force acting on the particle with trajectory.

    For instance F:=qE\vec F := q \vec E could be an electric field E\vec E influencing the propagation of an electrically charged particle of charge qq.

In modern language we may say:

and the collection (Σ,X,F)(\Sigma, X, \vec F) of all three is a σ\sigma-model .

Given this data, the space of solutions to the original differential equation

P:={γConf|t:F γ(t)=ma(t)} P := \{ \gamma \in Conf | \forall t \in \mathbb{R} : \vec F_{\gamma(t)} = m \vec a(t) \}

is called the covariant phase space of the model. The configurations in PConfP \subset Conf have the interpretation of being those potential configurations, that describe actual trajectories of particles observed in nature.

Notice that in the case of vanishing force field F=0\vec F = 0, the equations of motion of the Newtonian particle

a=0 \vec a = 0

may be read as characterizing precisely the geodesics in 3\mathbb{R}^3 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 σ\sigma-models, it in general lacks some of the nice properties that later on we shall take to be characteristic of σ\sigma-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 relativistic particle

The Newtonian particle propagating on 3\mathbb{R}^3, 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 σ\sigma-model describing the relativistic particle is the following.

To see what this means, consider some special cases. First regard the case that the background field strength vanishes, F=0F = 0. Then the equations of motion reduce to

γ˙γ˙=0. \nabla_{\dot \gamma} \dot \gamma = 0 \,.

This says that the trajectory γ\gamma 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 XX is Minkowski spacetime, where we may find a global coordinate chart ( 4,η)(X,g)(\mathbb{R}^4, \eta) \simeq (X,g), these are exactly the straight lines in 4\mathbb{R}^4. Given any such, there is precisely one representative in the diffeomorphism class for which γ 4x 0\mathbb{R} \stackrel{\gamma}{\to} \mathbb{R}^4 \stackrel{x^0}{\to} \mathbb{R} is the identity, hence for which the worldline parameter coincides precisely with the chosen global time coordinate t:=x 0t := x^0 on 4\mathbb{R}^4. For these the equations of motions are again those of the free Newtonian particle a=0\vec a = 0.

Remaining in the case that XX is Minkowski space but allowing now a nontrivial background field, notice that we may write the 2-form FF always as

F=E idx idt+B iϵ ijkdx jdx k, F = \vec E_i \cdot d x^i \wedge d t + \vec B^i \epsilon_{i j k} d x^j \wedge d x^k \,,

where E 3\vec E \in \mathbb{R}^3 is the electric field strength vector and B 3\vec B \in \mathbb{R}^3 the magnetic field strength vector. The spatial part of the above equations of motion are in this case again as for a Newtonian particle

ma=qE+qv×B, m \vec a = q \vec E + q \vec v \times \vec B \,,

where in the second term we have the cross product of vectors in 3\mathbb{R}^3. The force on the right is the Lorentz force exerted by an electromagnetic field on a charged particle.

Notice that the equations of motion imply, generally, that the norm of γ˙\dot \gamma is constant along the trajectory

ddτg(γ˙,γ˙) =2g( γ˙γ˙,γ˙) =2g(g 1(F(γ˙,),),γ˙) F(γ˙,γ˙) =0. \begin{aligned} \frac{d}{d \tau} g(\dot \gamma, \dot \gamma) &= 2 g(\nabla_{\dot \gamma} \dot \gamma, \dot \gamma) \\ & = 2 g(g^{-1}(F(\dot \gamma,-), -), \dot \gamma) \\ & \propto F(\dot \gamma, \dot \gamma) \\ & = 0 \end{aligned} \,.

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

P:={[γ]Conf|mg( γ˙γ˙/|γ˙|,)=qι γ˙F}Conf P := \{ [\gamma] \in Conf | m g(\nabla_{\dot \gamma} \dot \gamma / {\vert \dot \gamma}\vert,-) = q\iota_{\dot \gamma} F \} \subset Conf

happen to be the local critical points of the functional

S:Conf S : Conf \to \mathbb{R}

given by

(1)S([γ]) :=S kin([γ])+S gauge([γ]) :=m Σdvol(γ *g)+q Σγ *A, \begin{aligned} S([\gamma]) & := S_{kin}([\gamma]) + S_{gauge}([\gamma]) \\ & := m \int_\Sigma dvol(\gamma^*g) + q \int_\Sigma \gamma^* A \end{aligned} \,,

where on the left we have the integral of the volume form of the pullback γ *gSym 2T *Σ\gamma^* g \in Sym^2 T^* \Sigma of the metric on target space to the worldline.

This is called the action functional of the relativistic particle σ\sigma-model. The first summand is called the kinetic action, the second is called the gauge coupling action.

Typically one characterizes σ\sigma-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 \nabla: if we pass to the exponentiated action functional

exp(iS()):ConfU(1) \exp(i S(-)) : Conf \to U(1)
exp(iS(γ))=exp(S kin(γ))exp(iq Σγ *A) \exp(i S(\gamma)) = \exp(S_{kin}(\gamma)) \;\; \exp(i q \int_\Sigma \gamma^* A)

the second factor is precisely the holonomy of \nabla over the worldline. Hence for general electromagnetic background gauge fields the action functional is (assuming for simplicity now closed curves with Σ=S 1\Sigma = S^1)

exp(iS(γ))=exp(S kin(γ))hol(,γ). \exp(i S(\gamma)) = \exp(S_{kin}(\gamma)) \;\; hol(\nabla, \gamma) \,.

This is the beginning of an important pattern: most σ\sigma-models are determined by a kind of higher gauge field \nabla 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 the same time the kinetic action functional factor is usually to be understood as part of the measure on configuration space ConfConf. For the particle this has been made precise: the path integral

γConfhol(,γ)exp(iS kin(γ))[dγ]:= γConfhol(,γ)dμ Wien \int_{\gamma \in Conf} hol(\nabla,\gamma) \;\;\exp(i S_{kin}(\gamma)) [d \gamma] := \int_{\gamma \in Conf} hol(\nabla,\gamma) d \mu_{Wien}

can be interpreted as the integral with respect to the Wiener measure on path space (after Wick rotation, at least). The kinetic part of the action functional is then absorbed into the Wiener measure dμ Wiend \mu_{Wien}

exp(iS kin(γ))[dγ]:=dμ Wien; \exp(i S_{kin}(\gamma)) [d\gamma] := d \mu_{Wien} \,;

(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 σ\sigma-models. Aspects of this are discussed below.

The relativistic (n1)(n-1)-brane

It is hard not to consider the following generalization of the relativistic particle σ\sigma-model, that we discussed above:

notice that nothing in the structure of the relativistic particle’s action functional (1) relies on the dimension of Σ\Sigma being 11. Instead, it is just the degree-1 case of the following family of types of classical σ\sigma-models, that make sense for all nn \in \mathbb{N}:

This is the same formula as for the relativistic particle as before, only that now the differential forms are taken to be of degree nn and integrals to be over nn-dimensional spaces.

Moreover, for each nn \in \mathbb{N} there is an analog of the generalization

{1forms}{circlebundleswithconnection} \{1-forms\} \hookrightarrow \{circle bundles with connection\}

to the generalization

{nforms}{circlenbundleswithconnection}. \{n-forms\} \hookrightarrow \{circle n-bundles with connection\} \,.

Given any circle n-bundle with connection \nabla and closed Σ\Sigma of dimension nn, there is a higher holonomy functional

hol(,):(ΣγX)hol(,γ)U(1) hol(\nabla, -) : (\Sigma \stackrel{\gamma}{\to} X) \mapsto hol(\nabla, \gamma) \in U(1)

that extends the functional Aexp(i Σγ *A)A \mapsto \exp(i \int_\Sigma \gamma^* A).

Therefore, generally, we may take for nn \in \mathbb{N}

For n=3n = 3 such a σ\sigma-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 (n1)(n-1)-brane.

The case n=2n = 2 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 (n1)(n-1)-branes for other nn re-appear in one way or other in the study of the string (as its boundary D-branes in all dimensions 0n100 \leq n \leq 10, 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 n=1n = 1 to n=2n = 2 in the σ\sigma-model shows that there is a rich pattern of higher dimensional (σ\sigma-model) quantum field theories that are all interrelated in intricate ways.

Another important special case for the general discussion of σ\sigma-models is the case of the membrane, n=3n = 3, for which the background gauge field is a Chern-Simons circle 3-bundle for some GG-principal bundle on XX, for GG some suitable Lie group. In this case the gauge-coupling Lagrangian of the σ\sigma-model is, locally, the Chern-Simons form CS( 𝔤)CS(\nabla_\mathfrak{g}) of a GG-connection 𝔤\nabla_{\mathfrak{g}}, hence the action functional is (locally) the Chern-Simons functional

(ΣγX) ΣCS(γ * 𝔤). (\Sigma \stackrel{\gamma}{\to} X) \mapsto \int_\Sigma CS(\gamma^* \nabla_\mathfrak{g}) \,.

Below we will see that when σ\sigma-models are considered internal to a suitable cohesive (∞,1)-topos, then there are universal σ\sigma-models of this Chern-Simons type, whose target space is no longer a smooth manifold, but a smooth ∞-groupoid incarnation of a classifying space BGB G.

The relativistic string

The important case n=2n = 2 of the general (n-1)-brane sigma-model that we considered above is called the string-σ\sigma-model. Even though this is just the first step after the relativistic particle, the theory of this σ\sigma-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 σ\sigma-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 (n1)(n-1)-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 BΩ 2(X)B \in \Omega^2(X) and called the B-field. Its 3-form curvature field strength is traditionally denoted H:=dBH := d B.

The action functional of the string‘s σ\sigma-model for a pseudo-Riemannian target space (X,g)(X,g) with background gauge field BB is

[γ] Σdvol(γ *g)+ Σγ *B. [\gamma] \mapsto \int_\Sigma dvol(\gamma^* g) + \int_\Sigma \gamma^* B \,.

To gain insight into the physical meaning of this, consider the simple case that target space (X,g)(X,g) is Minkowski spacetime and that the worldsheet Σ=×S 1\Sigma = \mathbb{R} \times S^1 is the cylinder. With (τ,σ)(\tau,\sigma) the two canonical coordinates on Σ\Sigma, we still write

γ˙:= τγ \dot \gamma := \partial_\tau \gamma

for the derivative “along the trajectory” (along the \mathbb{R}-factor), but now we also have the derivative σγ\partial_\sigma \gamma which we may think of as being tangential to the string at any instant of its trajectory. A field configuration γ:ΣX\gamma : \Sigma \to X may be thought of as the trajectory of a circle propagating in XX.

The critical trajectories γ:ΣX\gamma : \Sigma \to X are found to be those that satisfy the 2-dimensional wave equation

g(γ¨,)g( σ 2γ,)=H(γ˙, σγ,) g(\ddot \gamma,-) - g(\partial_\sigma^2 \gamma,-) = H(\dot \gamma, \partial_\sigma \gamma,-)

on the worldsheet. Comparison with the equation of motion of the relativistic particle shows that H( σγ,,)H(\partial_\sigma \gamma, -,-) 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 γ\gamma, where the string has vanishing extension in that σγ=0\partial_\sigma \gamma = 0, the above equation reduces again to free motion

γ¨=a=0 \ddot \gamma = \vec a = 0

and for general (X,g)(X,g) 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 σ\sigma-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 n=2n = 2.

The above 2-form BB is in general just the local connection form of a circle 2-bundle with connection \nabla on XX, given (as its homotopy fiber) by a morphism of smooth ∞-groupoids α:XB 2U(1)\alpha : X \to \mathbf{B}^2 U(1). Equivalently this is a U(1)U(1)-bundle gerbe with connection.

There is a canonical 1-dimensional 2-representation of the circle 2-group BU(1)\mathbf{B} U(1) on 2-vector spaces:

ρ:BBU(1)2Vect. \rho : \mathbf{B} \mathbf{B}U(1) \to 2 Vect \,.

Hence the corresponding associated 2-bundle is classified by a morphism

ρ(g):XgB 2U(1)ρ2Vect. \rho(g) : X \stackrel{g}{\to} \mathbf{B}^2 U(1) \stackrel{\rho}{\to} 2 Vect \,.

One can consider the string σ\sigma-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 V:1ρ(g)| DbraneV : \mathbf{1} \to \rho(g)|_{D-brane} of the background gauge field 2-vector bundle restricted to the DD-brane. Such a section is precisely a twisted vector bundle on the brane, where the twist is the class in integral cohomology H 3(X,)H^3(X, \mathbb{Z}) 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 BU(1)\mathbf{B}U(1), which is given by the crossed module [U(1)1][U(1) \to 1]. Instead, it can be the automorphism 2-group AUT(U(1))AUT(U(1)), which is given by the crossed module (U(1)Aut(U(1)) 2)(U(1) \to Aut(U(1)) \simeq \mathbb{Z}_2). An AUT(U(1))AUT(U(1))-principal 2-bundle on XX is equivalently a double cover of XX, equipped with a circle 2-bundle that has a twisted equivariance under the 2\mathbb{Z}_2-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 σ\sigma-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 nn increases, a background gauge nn-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.

Last revised on June 13, 2015 at 07:48:45. See the history of this page for a list of all contributions to it.