nLab
sigma-model

Idea

A $\sigma$-model is a particular kind of classical field theory, which induces its quantization to a quantum field theory. The basic data describing a specific $\sigma$-model is some kind of “space” $X$, in a category of “spaces” which includes smooth manifolds. We call $X$ the target space, and we define the “configuration space of fields” ${\mathrm{Conf}}_{\Sigma }$ over a manifold $\Sigma$ to be the mapping space $\mathrm{Map}(\Sigma ,X)$. That is, a “configuration of fields” over a manifold $\Sigma$ is like an an $X$-valued function on $\Sigma$.

We assign a dimension $n\in \mathbb{N}$ to our $\sigma$-model, take $\dim \Sigma \le n$ and assume that target space $X$ is equipped with a “circle n-bundle with connection”.

For $n=1$ this is an ordinary circle bundle with connection and models a configuration of the electromagnetic field on $X$. To distinguish this “field” on $X$ from the fields on $\Sigma$ we speak of a background gauge field. (This remains fixed background data unless and until we pass to second quantization .) A field configuration $\Sigma \to X$ on $\Sigma$ models a trajectory of a charged particle subject to the forces exerted by this background field.

For $n=2$, a circle $n$-bundle with connection is a circle 2-group principal 2-bundle or equivalently a bundle gerbe with connection. This models a “higher electromagnetic field”, called a Kalb-Ramond field. Now $\Sigma$ is taken to be 2-dimensional and a map $\Sigma \to X$ models the trajectory of a string on $X$, subject to forces exerted on it by this higher order field.

This pattern continues. In the next dimension a membrane with 3-dimensional worldvolume is charged under a circle 3-bundle with connection, for instance something called the supergravity C-field.

While one can speak of higher bundles in full generality and full analogy to ordinary principal bundles, it is useful to observe that any circle $n$-bundle is characterized by a classifying map $\alpha :X\to B^{n}U(1)$ in our category of spaces, so we can just think about classifying maps instead. Here $U(1)$ is the circle group, and $B^n$ denotes its $n$th delooping ; thus such a map is also a sort of cocycle in “smooth $n$th cohomology of $X$ with coefficients in $U(1)$”. The additional data of a connection refines this to a cocycle in differential cohomology of $X$.

Such connection data $\nabla$ on a circle $n$-bundle defines – and is defined by – a notion of higher parallel transport over $n$-dimensional trajectories: for closed $n$-dimensional $\Sigma$ it defines a map $\mathrm{hol}:(\gamma :\Sigma \to X)\mapsto \exp (i{\int }_{\Sigma }{\gamma }^{*}\nabla )\in U(1)$ that sends trajectories to elements in $U(1)$: the holonomy of $\nabla$ over $\Sigma$, given by integration of local data over $\Sigma$. The local data being integrated is called the Lagrangian of the $\sigma$-model. Its integral is called the action functional.

In the quantum $\sigma$-model one considers in turn the integral of the action functional over all of configuration space: the “path integral”. In the classical $\sigma$-model one considers only the critical locus of the action functional (where the rough idea is that the path integral to some approximation localizes around the critical locus). Points in this critical locus are said to be configurations that satisfy the “Euler-Lagrange equations of motion”. These are supposed to be the physically realized trajectories among all of them, in the classical approximation.

Finally, just like an ordinary circle group-principal bundle has an associated vector bundle once we fix a representation of $U(1)$ to be the fibers, any “circle n-bundle” has an associated “n-vector bundle” once we fix a “∞-representation” $\rho :B^{n}U(1)\to n\mathrm{Vect}$ on “n-vector spaces”. Just as for the ordinary $U(1)$, here we usually pick the canonical 1-dimensional such “representation”. Finally, we define bundles $V_{\Sigma }:{\mathrm{Conf}}_{\Sigma }\to 𝒞$ of “internal states” by transgression of these associated bundles.

The passage from principal ∞-bundles to associated ∞-bundles is necessary for the description of the quantum $\sigma$-model: it assigns in positive codimension spaces of sections of these associated bundles. For a 1-categorical description of the resulting QFT ordinary vector bundles (assigned in codimension 1) would suffice, but the $\sigma$-model should determine much more: an extended quantum field theory. This requires sections of higher vector bundles. For instance for $n=2$ some boundary conditions of the $\sigma$-model are given by sections of the background 2-vector bundle: these are the twisted vector bundles known as the Chan-Paton bundles on the boundary-D-branes of the string. (…)

We now try to fill this with life by spelling out some standard examples. Further below we look at precise formalizations of the situation.

Terminology and history

In physics one tends to speak of a model if one specifies a particular quantum field theory for describing a particular situation, for instance by specifying a Lagrangian or local action functional on some configuration space. This is traditionally not meant in the mathematical sense of model of some theory. But in light of progress of mathematically formalizing quantum field theory (see FQFT and AQFT), it can with hindsight be interpreted in this way:

a $\sigma$-model is supposed to be a type of model for the theory called quantum field theory. This sounds like a tautology, but much effort in mathematical physics is devoted to eventually making this a precise statement. In special cases and toy examples this has been achieved, but for the examples that seem to be directly relevant for the phenomenological description of the observed world, lots of clues still seem to be missing.

As to the ”$\sigma$” in ”$\sigma$-model”: back in the 1960s people were interested in a hypothetical particle called the $\sigma$-particle. Murray Gell-Mann came up with a theory of them. It was called ‘the $\sigma$-model’. It was an old-fashioned field theory where the field took values in a vector space. Then someone came up with a modified version of the σ-model where the field took values in some other manifold and this was called ‘the nonlinear σ-model’.

While the parameter space (the domain space of the fields) of the original $\sigma$-models was supposed to be our spacetime and the target space was some abstract space, with the advent of string theory the nonlinear $\sigma$-models gained importance as quantum field theories whose target space is spacetime $X$ and whose parameter space is some low dimensional space, usually denoted $\Sigma$. A field configuration $\Sigma \to X$ is then interpreted as being the trajectory of an extended fundamental particle – a fundamental brane – in $X$, and the $\sigma$-model describes the quantum mechanics of that brane propagating in $X$.

In particular the quantum mechanics of a relativistic particle propagating on $X$ is described by a $\sigma$-model on the real line $\Sigma =ℝ$ – the worldline of the particle.

In string theory one considers 2-dimensional $\Sigma$ and thinks of maps $\Sigma \to X$ as being the worldsheets of the trajectory of a string propagating in spacetime.

In the context of 11-dimensional supergravity there is a $\sigma$-model with 3-dimensional $\Sigma$, describing the propagation of a membrane in spacetime.

Exposition of classical sigma-models

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

The content of this section is at

• sigma-model -- exposition of classical sigma-models

Exposition of higher gauge theories as $\sigma$-models

We discuss how gauge theories and their higher analogs are naturally regarded as $\sigma$-models.

The content of this section is at

• sigma-model -- exposition of higher gauge theories as sigma-models.

Exposition of quantum $\sigma$-models

Above we have discussed some standard classical sigma-models and higher gauge theories as sigma-models, also mostly classically. Here we talk about the quantization of these models (or some of them) to QFTs: quantum $\sigma$-models .

The content of this section is at

• sigma-model -- exposition of quantum sigma-models.

See there for discussion of string topology, Gromov-Witten theory, Chern-Simons theory.

Exposition of a general abstract formulation

We give a leisurely exposition of a general abstract formulation $\sigma$-models, aimed at readers with a background in category theory but trying to assume no other prerequisites.

What is called an $n$-dimensional $\sigma$-model is first of all an instance of an $n$-dimensional quantum field theory (to be explained). The distinctive feature of those quantum field theories that are $\sigma$-models is that

1. these arise from a simpler kind of field theory – called a classical field theory – by a process called quantization

2. moreover, this simpler kind of field theory encoded bygeometric data in a nice way: it describes physical configuration spaces that are mapping spaces into a geometric space equipped with some differential geometric structure.

We give expositions of these items step-by-step:

1. Quantum field theory

2. Classical field theory

3. Quantization

4. Classical sigma-models

5. Quantum sigma-models

We draw from (FHLT, section 3).

The content of this section is at

• sigma-model -- exposition of a general abstract formulation.

Exposition of second quantization of $\sigma$-models

We discuss second quantization in the context of $\sigma$-models.

The content of this section is at

• sigma-model -- exposition of second quantization of sigma-models

Examples

Non-topological $\sigma$-models

• The canonical textbook example of a quantum mechanical system is of this form for $n=1$: A line bundle with connection $E\to X$ on a (pseudo-)Riemannian manifold $X$ induces the 1-dimensional quantum field theory which is the quantum mechanics of a point particle which propagates on $X$, subject to the forces of gravity (given by the pseudo-Riemannian metric on $X$) and electromagnetism (given by the line bundle with connection). The Hamilton operator encoding this quantum dynamics in this case is the Laplace-operator of $TX$ twisted by the line bundle $E$.

  For $X$ a spacetime this is called the relativistic particle.

  For $\Sigma$ or $X$ a supermanifold this is the superparticle.

• Generalizing in the above example the line bundle $E$ by an abelian bundle gerbe with a connection yields a background for a 2-dimensional $\sigma$-model which mayb be thought of as describing the propgation of a string. The best-studied version of this is the case where $X=G$ is a Lie group, in which case this $\sigma$-model is known as the Wess--Zumino--Witten model.

Topological $\sigma$-models

• Dijkgraaf-Witten theory is the (2+1)-dimensional $\sigma$-model induced from an abelian 2-gerbe on $BG$, for $G$ a finite group.

• Chern-Simons theory is supposed to be analogously the $\sigma$-model induced from an abelian 2-gerbe with connection on $BG$, but now for $G$ a Lie group.

• the Poisson sigma-model is a model whose target is a Poisson Lie algebroid.

• in AKSZ theory this is generalized to a large class of sigma models with symplectic Lie n-algebroids as target.

• Rozansky–Witten theory is essentially the $\sigma$-model for $X$ a smooth projective variety.

• generally ∞-Chern-Simons theory is a $\sigma$-model with a smooth ∞-groupoid of ∞-connections.

Related concepts

• sigma model

  • worldvolume

  • target space

  • background gauge field

• brane

  • particle, superparticle

  • string

  • membrane

• homological mirror symmetry

  • A-model, B-model

  • Landau-Ginzburg model

References

A standard reference on 2-dimensional string $\sigma$-models is

• Pierre Deligne, Dan Freed, Classical field theory , chapter 5, page 211 in…

  and

  Krzysztof Gawedzki, Lectures on conformal field theory , part 3, lecture 3 in

  Pierre Deligne, Pavel Etingof, Dan Freed, L. Jeffrey, David Kazhdan, John Morgan, D.R. Morrison and Edward Witten, eds. Quantum Fields and Strings, A course for mathematicians, 2 vols. Amer. Math. Soc. Providence 1999. (web version)

First indications on how to formalize $\sigma$-models in a higher categorical context were given in

• Dan Freed, Higher algebraic structures and quantization, (arXiv)

A grand picture developing this approach further is sketched in

• Dan Freed, Mike Hopkins, Jacob Lurie, Constantin Teleman, Topological Quantum Field Theories from Compact Lie Groups, (arXiv)

A discussion of 2- or (2+1)-dimensional $\Sigma$-models whose target is an derived stack/infinity-stack is in

• David Ben-Zvi, John Francis, David Nadler, Integral transforms and Drinfeld centers in derived geometry, (arXiv) .

More discussion of the latter is at geometric infinity-function theory.

A discussion of $\sigma$-models of higher gauge theory type is at

• Urs Schreiber, infinity-Chern-Simons theory .

Concrete applications of $\sigma$-models with target stacks (typically smooth ones, hence smooth groupoids) in string theory and supergravity are discussed for instance in

• Tony Pantev, Eric Sharpe, String compactifications on Calabi-Yau stacks, Nucl.Phys. B733 (2006) 233-296, (arXiv:hep-th/0502044)

• Tony Pantev, Eric Sharpe, Gauged linear sigma-models for gerbes (and other toric stacks), (arXiv:hep-th/0502053)

• S. Hellerman, Eric Sharpe, Sums over topological sectors and quantization of Fayet-Iliopoulos parameters, (arXiv:1012.5999)