nLab
FQFT

Context

Functorial quantum field theory

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

Functorial quantum field theory or FQFT for short, is one of the two approaches of providing a precise mathematical formulation of and of axiomatizing quantum field theory. FQFT formalizes the Schrödinger picture of quantum mechanics (generalized to quantum field theory) where spaces of quantum states are assigned to space and where linear maps are assigned to trajectories/spacetimes interpolating between these spaces.

As an axiomatization of the path integral and S-Matrix

The axioms of FQFT may be understood as formulating the basic properties that the path integral or S-matrix involked in physics ought to satisfy, if they had been given a precise definition.

Much work in quantum field theory is based on arguments invoking the concept of the path integral. While in the physics literature this is usually not a well defined object, it is generally assumed to satisfy a handful of properties, notably the sewing laws. These say, roughly, that the path integral over a domain Σ\Sigma which decomposes into subdomains Σ 1\Sigma_1 and Σ 2\Sigma_2 is the same as the path integral over Σ 1\Sigma_1 composed with that over Σ 2\Sigma_2.

Accordingly it is the S-matrix that is manifestly incarnated in the Atiyah-Segal picture of functorial QFT:

Here a quantum field theory is given by a monoidal functor

Z:Bord d SVect Z \colon Bord_d^S \longrightarrow Vect

from a suitable monoidal category of cobordisms to a suitable monoidal category of vector spaces.

  • To a codimension-1 slice M d1M_{d-1} of space this assigns a vector space Z(M d1)Z(M_{d-1}) – the (Hilbert) space of quantum states over M d1M_{d-1};

  • to a spacetime/worldvolume manifold MM with boundaries M\partial M one assigns the quantum propagator which is the linear map Z(M):Z( inM)Z( outM)Z(M) : Z(\partial_{in} M) \to Z(\partial_{out} M) that takes incoming states to outgoing states via propagation along the spacetime/worldvolume MM. This Z(M)Z(M) is alternatively known as the the scattering amplitude or S-matrix for propagation from inM\partial_{in}M to outM\partial_{out}M along a process of shape MM.

Now for genuine topological field theories all spaces of quantum states are finite dimensional and hence we can equivalently consider the dual vector space (using that finite dimensional vector spaces form a compact closed category). Doing so the propagator map

Z(M):Z( inM)Z( outM) Z(M) : Z(\partial_{in}M) \to Z(\partial_{out}M)

equivalently becomes a linear map of the form

Z( outM)Z( inM) *=Z(M). \mathbb{C} \to Z(\partial_{out}M) \otimes Z(\partial_{in}M)^\ast = Z(\partial M) \,.

Notice that such a linear map from the canonical 1-dimensional complex vector space \mathbb{C} to some other vector space is equivalently just a choice of element in that vector space. It is in this sense that Z(M)Z(M) is equivalently a vector in Z( outM)Z( inM) *=Z(M)Z(\partial_{out}M) \otimes Z(\partial_{in}M)^\ast = Z(\partial M).

In this form in physics the propagator is usually called the correlator or n-point function .

The axioms of (Segal 04) for FQFT (2d CFT in this case) were originally explicitly about the propagators/S-matrices, while (Atiyah 88) formulated it in terms of the correlators this way. Both perspectives go over into each other under duality as above.

Notice that this kind of discussion is not restricted to topological field theory. For instance already plain quantum mechanics is usefully formulated this way, that’s the point of finite quantum mechanics in terms of dagger-compact categories.

As the dual axiomatization to AQFT

Historically older is the proposal for axiomatizing QFT that is known as AQFT, short for algebraic quantum field theory. This formalizes the Heisenberg picture of quantum mechanics, as do modern variants such as factorization algebras. Here the basic assignment is that of algebras of observables to regions of spacetime.

In principle AQFT and FQFT should be two sides of the same medal, and in special cases this has been made precise (see for instance at topological chiral homology) but generally, much as the formulation of FQFT and AQFT themselves remains in progress, so does their precise relation.

duality between algebra and geometry in physics:

algebrageometry
Poisson algebraPoisson manifold
deformation quantizationgeometric quantization
algebra of observablesspace of states
Heisenberg pictureSchrödinger picture
AQFTFQFT
higher algebrahigher geometry
Poisson n-algebran-plectic manifold
En-algebrashigher symplectic geometry
BD-BV quantizationhigher geometric quantization
factorization algebra of observablesextended quantum field theory
factorization homologycobordism representation

Global (“non-covariant”) and local (“covariant”) version

Functorial QFT in any dimension nn was originally formulated (Atiyah 88, Segal 04) as a 1-functor on a 1-category of cobordisms. In this formulation there is a space of quantum states assigned to every global spatial slice of spacetime/worldvolume, which is then propagated in time/along a parameter. In physics jargon this corresponds to “non-covariant” quantization, in that the slicing of spacetime/worldvolume into space and time components breaks general covariance which is the hallmark specifically of the topological quantum field theories to which the methods of FQFT apply most immediately.

A local (“extended”, “multi-tiered”) refinement of this is naturally given by passing from 1-functors to (∞,n)-functors on (∞,n)-categories of cobordisms. This formulation was vaguely suggested in (Baez-Dolan 95) (“cobordism hypothesis”) and formalized in (Lurie 09). It captures what in physics jargon would be called “covariant” quantum field theory, in that the “localization down to the point” means that the formalism knows how to glue/propagate in spatial directions just as in time directions, in fact that no such distinction is retained.

Exposition and Introduction

under construction

We give here motivation for, introduction to and an exposition of the ideas of local (extended) functorial field theory.

We start in

by showing how all the basic category-theoretic ideas are already right beneath the surface of the traditional textbook discussion of quantum mechanics. Following that in

we show for the simple case of 1-dimensional finite gauge theory how also path integral quantization of prequantum (classical) data is naturally organized by monoidal category theory with first bits of homotopy theory showing up (that will play a more paramount role as one goes up in dimension).

Then in

this becomes all the more pronounced when one considers quantum mechanics with interaction as in the worldline formalism and hence when one considers Feynman diagrams as diagrams of interactions of particles.

This 1-dimensional functorial description worldline quantum mechanics has an evident generalization to a worldsheet formulation of 2d topological field theory. This original 1-functorial TQFT axiomatics due to Atiyah and Segal we review in

However, this “naive” generalization is not quite refined enough. Physically one sees this from the fact that the topological string A-model/B-model, which is the archetype of a 2d TQFT in physics, is not actually an instance of the Atiyah-Segal axiomatics. Mathematically one sees it from the fact that the 1-category theoretic formulation of 2d boundary field theory is clearly lacking a “categorical dimension” in order to be satisfactory.

The correct refinement of 2d TQFT to a cohomological field theory or “TCFT” with coefficients not just in vector spaces but in chain complexes of vector spaces we then consider in

This gives a natural conceptual home to the derived categories of D-branes famous from homological mirror symmetry. But it is still not quite the fully general functorial formalization of quantum field theory.

To get a feeling for what is missing, we next consider 3d TQFT

This finally is enough information to naturally motivate the full formulation of the cobordism hypothesis in symmetric monoidal (infinity,n)-category theory in

Quantum mechanics in Schrödinger picture

This section introduces the observation that the basic structures in quantum mechanics are accurately reflected in symmetric monoidal category theory, by explaining the following dictionary:

quantum mechanicsmonoidal category theory
space of quantum statesobject in a category
linear operatormorphism in a category
local time evolutionfunctor
compound system entanglementnon-cartesian monoidal structure
bra/ketdual objects
Feynman diagrammonoidal string diagram

Time evolution and Functors

The basic idea of quantum mechanics in the “Schrödinger picture” is to describe a quantum mechanical system (such as an electron in the electromagnetic field of a proton) by

  1. assigning to each time tt \in \mathbb{R} a vector space (Hilbert space) V tV_t to be thought of as the space of quantum states (of pure states, that is) of the system at that time;

  2. assigning to each pair [t 1,t 2][t_1,t_2] of times a linear operator (unitary operator) U(t 1,t 2):V t 1V t 2U(t_1,t_2) \colon V_{t_1} \to V_{t_2} to be thought of as encoding the time evolution of quantum states

such that

  • this assignment is local in time in that for all t 1t 2t 3t_1 \leq t_2 \leq t_3 one has

    U(t 1,t 3)=U(t 2,t 3)U(t 1,t 2). U(t_1, t_3) = U(t_2, t_3) \circ U(t_1, t_2) \,.

In basic quantum mechanics one also demands that

U(t,t)=id. U(t,t) = id \,.

(While this looks like the most innocent condition, this has technical subtleties for genuine quantum field theory, to deal with which however there exist established tools.)

The locality condition intuitively says that “all global effects arise by integrating up local effects”. Indeed, when assuming in addition that U(,)U(-,-) depends smoothly on the time arguments, then the locality condition is equivalent to (see at parallel transport) the existence of a Hamiltonian H tH_t, a self-adjoint operator depending smoothly on tt, such that time evolution is given by the Dyson formula

U(t 1,t 2)=Pexp(i t 1 t 2H tdt). U(t_1,t_2) = P \exp\left( \tfrac{i}{\hbar} \int_{t_1}^{t_2} H_t \, d t \right) \,.

(Here the notation on the right denotes the “path ordered exponential”, see at parallel transport.) In the special case that the Hamiltonian is time-independent, H=H tH = H_t, then this reduces to

U(t 1,t 2)=exp(i(t 2t 2)H). U(t_1,t_2) = \exp\left( \tfrac{i}{\hbar} (t_2-t_2) H \right) \,.

This is the way that quantum mechanical time evolution is traditionally introduced in the textbooks.

But the equivalent formulation above in terms of locality of U(,)U(-,-) is noteworthy. The condition of locality here is precisely what in mathematics is called functoriality: the condition that a system of homomorphisms (here: linear/unitary operator) depends on another system of “directed data” (here: the time intervals [t 1,t 2][t_1,t_2]) such that composition is respected.

More specifically, one says that the collection Vect (or Hilb) of vector spaces (Hilbert spaces) forms a category whose objects are vector space VV and whose morphisms are linear maps f:V 1V 2f \colon V_1 \to V_2; where the point is that these morphisms may be associatively composed whenever their codomain/domain matches:

V 2 f 1 f 2 V 1 f 2f 1 V 3. \array{ && V_2 \\ & {}^{\mathllap{f_1}}\nearrow && \searrow^{\mathrlap{f_2}} \\ V_1 && \stackrel{f_2 \circ f_1}{\longrightarrow} && V_3 } \,.

Similarly, there is a category Bord 1 RiemBord_1^{Riem} whose objects are instance of time tt \in \mathbb{R}, whose morphisms are time intervals [t 1,t 2][t_1,t_2], and whose composition operation is concatenation of time intervals

t 2 t 1 t 3 \array{ && t_2 \\ & \nearrow && \searrow \\ t_1 && \stackrel{}{\longrightarrow} && t_3 }

Given two categories like this, then a function that takes morphism of one two morphisms of the other such that composition is respected is called a functor.

In this language, the above locality condition of quantum mechanics says that quantum time evolution is a functor

U:Bord 1 RiemVect U \;\colon\; Bord_1^{Riem} \longrightarrow Vect

that takes

t 2 t 1 t 3 V 2 U(t 1,t 2) U(t 2,t 3) V 1 U(t 1,t 3) V 2 \array{ && t_2 \\ & \nearrow && \searrow \\ t_1 && \stackrel{}{\longrightarrow} && t_3 } \;\;\;\;\;\; \mapsto \;\;\;\;\;\; \array{ && V_2 \\ & {}^{\mathllap{U(t_1,t_2)}}\nearrow && \searrow^{\mathrlap{U(t_2,t_3)}} \\ V_1 && \stackrel{U(t_1,t_3)}{\longrightarrow} && V_2 }

If this looks like a trivial reformulation of textbook material, then because it is a trivial reformulation of textbook material. But introducing such category-theoretic language for making the locality principle in quantum mechanics fully manifest turns out to be rather useful for capturing the full locality of local quantum field theory, which is not in the traditional textbooks. This we come to below.

physicscategory theory
locality of time evolutionfunctor

Entanglement and Monoidal structure

Besides the time evolution, there is the theory of composite systems.

Given two quantum mechanical systems (e.g. of two electrons orbiting the same atomic nucleus), with spaces of quantum states (pure states) VV and V˜\tilde V, respectively, then the space of quantum states of the compound system is given by the tensor product of vector spaces (of Hilbert spaces)

VV˜Vect. V \otimes \tilde V \in Vect \,.

This should be compared with the way compound systems are formed in classical mechanics: for X 1X_1 and X 2X_2 the configuration spaces/phase spaces of two classical mechanical systems, then the configuration space/phase space of their compound is the Cartesian product X 1×X 2X_1 \times X_2.

These Cartesian products and tensor products extend to morphisms. If f:VVf\colon V \to V is a linear operator acting on the first system and f˜:V˜V˜\tilde f \colon \tilde V\to \tilde V is one acting on the second system, then there is a tensor product morphism

(f 1f 2):VV˜VV˜. (f_1\otimes f_2) \;\colon\; V \otimes \tilde V \longrightarrow V \otimes \tilde V \,.

Hence (Cartesian or non-cartesian) tensor products are something like product operations on sets, but on whole categories. Since binary associative product operations on sets are sometimes called monoids, one says that the category Vect of vector spaces when equipped with the tensor product of vector spaces is a monoidal category.

Similarly, the categories Diff or Set, of smooth manifolds or just bare sets, carry a monoidal structure given simply by the Cartesian product of sets. This is called a cartesian monoidal structure.

The characteristic property of Cartesian products X 1×X 2X_1 \times X_2 is that elements of these are equivalently pairs of elements in X 1X_1 and X 2X_2, respectively. This reflects in turn the characteristic property of compound classical mechanical systems: a state of these is simply a pair of states of the two subsystems.

The tensor product on Vect however is not Cartesian: an element in ΨV 1V 2\Psi \in V_1 \otimes V_2 need not be of the form ψ 1ψ 2\psi_1\otimes \psi_2, for ψ iV i\psi_i \in V_i. Instead, in general it is a sum of such elements

Ψ=j(Ψ 1) j(Ψ 2) j. \Psi = \underset{j}{\sum} (\Psi_1)_j \otimes (\Psi_2)_j \,.

In terms of physics such non-cartesian vectors are quantum states that exhibit entanglement. This hallmark property of quantum mechanics is hence accurately reflected by the abstract property of (Vect,)(Vect,\otimes) being a non-cartesian monoidal category.

physicscategory theory
entanglementnon-cartesian monoidal category of spaces of states

For more exposition of this point see (Baez 04).

Bra-Kets and Dual objects

Consider now for simplicity of notation an application in quantum computing/quantum information theory, where the spaces of states VV involved are finite dimensional vector spaces (spaces of qubits), such as for instance in the topological sector of the quantum Hall system.

Then for every space of states VV there is the dual vector space V *V^\ast. In physics notation the states in VV are the kets |Ψ\vert \Psi \rangle, while those of V *V^\ast are the “bra”s Ψ|\langle \Psi \vert.

physicscategory theory
bra/ketdual objects

Essentially all of quantum information theory has a slick reformulation in terms of category theory for symmetric monoidal category with dual objects. More on this is at finite quantum mechanics in terms of dagger-compact categories.

While the introduction of bra-ket notation by Paul Dirac was (while just notation) already quite useful for thinking about the subject, the language of monoidal categories in fact reflects the actual physical processes involved even better.

For instance, in quantum mechanics textbooks one often sees the following manipulation of symbols for expressing a trace in terms of a sum over basis elements

Ψ|exp(iHt)|Ψ =Ψ|exp(iHt)( j|Ψ jΨ j|)|Ψ = jΨ|exp(iHt)|Ψ jΨ j|Ψ = jΨ j|(|ΨΨ|exp(iHt))|Ψ j. \begin{aligned} \langle \Psi \vert \exp(\tfrac{i}{\hbar} H t ) \vert \Psi \rangle & = \langle \Psi \vert \exp(\tfrac{i}{\hbar} H t ) \left( \sum_j \vert \Psi_j \rangle \langle \Psi_j \vert \right) \vert \Psi \rangle \\ & = \sum_j \langle \Psi \vert \exp(\tfrac{i}{\hbar} H t ) \vert \Psi_j \rangle \langle \Psi_j \vert \Psi \rangle \\ & = \sum_j \langle \Psi_j \vert \left( \vert \Psi \rangle \langle \Psi \vert \exp(\tfrac{i}{\hbar} H t ) \right) \vert \Psi_j \rangle \end{aligned} \,.

This “rotation” operation where symbols are cyclically permuted reflects the fact that indeed traces as in partition functions reflect actual physical circular processes.

In “string diagram”-notation of monoidal category-theory this is reflected as follows. The unit map

1j|Ψ jΨ j| 1 \mapsto \underset{j}{\sum} \vert \Psi_j \rangle \langle \Psi_j \vert

is depicted as

V V * \array{ && \longleftarrow \\ & \swarrow && \nwarrow \\ V && && V^\ast }

and the counit map

|Ψ jΨ k|Ψ k|Ψ j \vert \Psi_j \rangle \langle \Psi_k \vert \mapsto \langle \Psi_k \vert \Psi_j \rangle

as

V V * . \array{ V && && V^\ast \\ & \searrow && \nearrow \\ && \longrightarrow } \,.

Partition functions and Monoidal string diagrams

Given a Hamiltonian HH, the partition function of the quantum mechanical system is the trace

Z tTr(exp(iHt)). Z_t \coloneqq Tr\left( \exp\left(\tfrac{i}{\hbar} H t \right) \right) \,.

In bra-ket notation this is

Z t=jΨ j|exp(iHt)|Ψ j Z_t = \underset{j}{\sum} \left\langle \Psi_j \right\vert \exp\left(\tfrac{i}{\hbar} H t \right) \left| \Psi_j \right\rangle

In terms of monoidal category-theoretic notation (string diagrams) this same expression reads as follows

V V * exp(iHt) id V V * \array{ && \longleftarrow \\ & \swarrow && \nwarrow \\ V && && V^\ast \\ {}^{\mathllap{\exp(\tfrac{i}{\hbar} H t)}}\downarrow && && \uparrow^{\mathrlap{id}} \\ V && && V^\ast \\ & \searrow && \nearrow \\ && \longrightarrow }

This is striking, because this picture is an accurate reflection of the physical process that the partition function describes, for the partition function is the correlator of a particle with a closed circular worldline.

In fact, the monoidal category theoretic string diagram-notation is essentially the Feynman diagram-notation. This we turn to below.

For a 1-dimensional TQFT the Hamiltonian above vanishes. (Or maybe more interestingly: for supersymmetric quantum mechanics the Hamiltonian may not vanish, but in the super trace in the partition function all non-zero energy eigenmodes cancel out by supersymmetry, and only the topological part is left after all.)

In this case the partition function reduces to

V V * \array{ && \longleftarrow \\ & \swarrow && \nwarrow \\ V && && V^\ast \\ & \searrow && \nearrow \\ && \longrightarrow }

which is just the trace on VV.

To reflect this in the functorial notation from above, notice that also the category Bord 1 RiemBord_{1}^{Riem} from above is naturally a monoidal category if we take its objects to consist not just of single points, but of arbitrary collections of points, and to have its morphisms consist of all 1-dimensional cobordisms. Then a monoidal structure (Bord 1 Riem) (Bord_1^{Riem})^\coprod is given by disjoint union.

A 1d TQFT with values in vector spaces is then a strong monoidal functor

(Bord 1 Riem) Vect . (Bord_1^{Riem})^\coprod \longrightarrow Vect^{\otimes} \,.

Other processes that such a 1d TQFT encodes include

V V * V V * \array{ V && && V^\ast \\ & \searrow && \nearrow \\ && \longrightarrow \\ && \longleftarrow \\ & \swarrow && \nwarrow \\ V && && V^\ast }

In this way a 1d TQFT is entirely encoded in the operation that exhibit a finite dimensional vector space VV as a dualizable object.

{\{ 1d TQFT with coefficients in Vect }\}

\simeq

{\{ dualizable objects in VectVect }\}

\simeq

{\{ finite dimensional vector spaces }\}

This is the simplest incarnation of the statement that for higher dimensional extended TQFT becomes the cobordism hypothesis. We come to this below.

Path integral quantization of 1d Gauge theory

The path integral tends to be as suggestive in quantum field theory as it is invoked ubiquitously, and FQFT may be understood as being precisely the axiomatics that a would-be path integral ought to satisfy, thereby decoupling its construction as a suitably regularized integral from its operational definition as yielding a consistent S-matrix for the QFT.

We discuss now the simplest non-trivial example of a path integral quantization, namely for 1-dimensional finite gauge theory, the 1-dimensional Dijkgraaf-Witten model. This has the two-fold purpose of

  1. indicating how not just the final quantum theory but also its prequantum data is naturally organized by monoidal category theory;

  2. motivating and introducing elements of homotopy theory which become crucial for the understanding of FQFT as one moves up in dimension.

A more detailed version of this section is at Local prequantum field theory – id Dijkgraaf-Witten theory.

Gauge transformation and Groupoids

The following is a quick review of basics of groupoids and their homotopy theory (homotopy 1-type-theory), geared towards the constructions and facts needed for 1-dimensional Dijkgraaf-Witten theory.

Definition

A (small) groupoid 𝒢 \mathcal{G}_\bullet is

  • a pair of sets 𝒢 0Set\mathcal{G}_0 \in Set (the set of objects) and 𝒢 1Set\mathcal{G}_1 \in Set (the set of morphisms)

  • equipped with functions

    𝒢 1× 𝒢 0𝒢 1 𝒢 1 sit 𝒢 0, \array{ \mathcal{G}_1 \times_{\mathcal{G}_0} \mathcal{G}_1 &\stackrel{\circ}{\longrightarrow}& \mathcal{G}_1 & \stackrel{\overset{t}{\longrightarrow}}{\stackrel{\overset{i}{\leftarrow}}{\underset{s}{\longrightarrow}}}& \mathcal{G}_0 }\,,

    where the fiber product on the left is that over 𝒢 1t𝒢 0s𝒢 1\mathcal{G}_1 \stackrel{t}{\to} \mathcal{G}_0 \stackrel{s}{\leftarrow} \mathcal{G}_1,

such that

  • ii takes values in endomorphisms;

    ti=si=id 𝒢 0, t \circ i = s \circ i = id_{\mathcal{G}_0}, \;\;\;
  • \circ defines a partial composition operation which is associative and unital for i(𝒢 0)i(\mathcal{G}_0) the identities; in particular

    s(gf)=s(f)s (g \circ f) = s(f) and t(gf)=t(g)t (g \circ f) = t(g);

  • every morphism has an inverse under this composition.

Remark

This data is visualized as follows. The set of morphisms is

𝒢 1={ϕ 0kϕ 1} \mathcal{G}_1 = \left\{ \phi_0 \stackrel{k}{\to} \phi_1 \right\}

and the set of pairs of composable morphisms is

𝒢 2𝒢 1×𝒢 0𝒢 1={ ϕ 1 k 1 k 2 ϕ 0 k 2k 1 ϕ 2}. \mathcal{G}_2 \coloneqq \mathcal{G}_1 \underset{\mathcal{G}_0}{\times} \mathcal{G}_1 = \left\{ \array{ && \phi_1 \\ & {}^{\mathllap{k_1}}\nearrow && \searrow^{\mathrlap{k_2}} \\ \phi_0 && \stackrel{k_2 \circ k_1}{\to} && \phi_2 } \right\} \,.

The functions p 1,p 2,:𝒢 2𝒢 1p_1, p_2, \circ \colon \mathcal{G}_2 \to \mathcal{G}_1 are those which send, respectively, these triangular diagrams to the left morphism, or the right morphism, or the bottom morphism.

Example

For XX a set, it becomes a groupoid by taking XX to be the set of objects and adding only precisely the identity morphism from each object to itself

(XidididX). \left( X \stackrel {\overset{id}{\longrightarrow}} { \stackrel{\overset{id}{\longleftarrow}}{\underset{id}{\longrightarrow}} } X \right) \,.
Example

For GG a group, its delooping groupoid (BG) (\mathbf{B}G)_\bullet has

  • (BG) 0=*(\mathbf{B}G)_0 = \ast;

  • (BG) 1=G(\mathbf{B}G)_1 = G.

For GG and KK two groups, group homomorphisms f:GKf \colon G \to K are in natural bijection with groupoid homomorphisms

(Bf) :(BG) (BK) . (\mathbf{B}f)_\bullet \;\colon\; (\mathbf{B}G)_\bullet \to (\mathbf{B}K)_\bullet \,.

In particular a group character c:GU(1)c \colon G \to U(1) is equivalently a groupoid homomorphism

(Bc) :(BG) (BU(1)) . (\mathbf{B}c)_\bullet \;\colon\; (\mathbf{B}G)_\bullet \to (\mathbf{B}U(1))_\bullet \,.

Here, for the time being, all groups are discrete groups. Since the circle group U(1)U(1) also has a standard structure of a Lie group, and since later for the discussion of Chern-Simons type theories this will be relevant, we will write from now on

U(1)Grp \flat U(1) \in Grp

to mean explicitly the discrete group underlying the circle group. (Here “\flat” denotes the “flat modality”.)

Example

For XX a set, GG a discrete group and ρ:X×GX\rho \colon X \times G \to X an action of GG on XX (a permutation representation), the action groupoid or homotopy quotient of XX by GG is the groupoid

X// ρG=(X×Gp 1ρX) X//_\rho G = \left( X \times G \stackrel{\overset{\rho}{\longrightarrow}}{\underset{p_1}{\longrightarrow}} X \right)

with composition induced by the product in GG. Hence this is the groupoid whose objects are the elements of XX, and where morphisms are of the form

x 1gx 2=ρ(x 1)(g) x_1 \stackrel{g}{\to} x_2 = \rho(x_1)(g)

for x 1,x 2Xx_1, x_2 \in X, gGg \in G.

As an important special case we have:

Example

For GG a discrete group and ρ\rho the trivial action of GG on the point *\ast (the singleton set), the coresponding action groupoid according to def. 3 is the delooping groupoid of GG according to def. 2:

(*//G) =(BG) . (\ast //G)_\bullet = (\mathbf{B}G)_\bullet \,.

Another canonical action is the action of GG on itself by right multiplication. The corresponding action groupoid we write

(EG) G//G. (\mathbf{E}G)_\bullet \coloneqq G//G \,.

The constant map G*G \to \ast induces a canonical morphism

G//G EG *//G BG. \array{ G//G & \simeq & \mathbf{E}G \\ \downarrow && \downarrow \\ \ast //G & \simeq & \mathbf{B}G } \,.

This is known as the GG-universal principal bundle. See below in 10 for more on this.

Example

The interval II is the groupoid with

  • I 0={a,b}I_0 = \{a,b\};
  • I 1={id a,id b,ab}I_1 = \{\mathrm{id}_a, \mathrm{id}_b, a \to b \}.
Example

For Σ\Sigma a topological space, its fundamental groupoid Π 1(Σ)\Pi_1(\Sigma) is

  • Π 1(Σ) 0=\Pi_1(\Sigma)_0 = points in XX;
  • Π 1(Σ) 1=\Pi_1(\Sigma)_1 = continuous paths in XX modulo homotopy that leaves the endpoints fixed.
Example

For 𝒢 \mathcal{G}_\bullet any groupoid, there is the path space groupoid 𝒢 I\mathcal{G}^I_\bullet with

  • 𝒢 0 I=𝒢 1={ϕ 0 k ϕ 1}\mathcal{G}^I_0 = \mathcal{G}_1 = \left\{ \array{ \phi_0 \\ \downarrow^{\mathrlap{k}} \\ \phi_1 } \right\};

  • 𝒢 1 I=\mathcal{G}^I_1 = commuting squares in 𝒢 \mathcal{G}_\bullet = {ϕ 0 h 0 ϕ˜ 0 k k˜ ϕ 1 h 1 ϕ˜ 1}. \left\{ \array{ \phi_0 &\stackrel{h_0}{\to}& \tilde \phi_0 \\ {}^{\mathllap{k}}\downarrow && \downarrow^{\mathrlap{\tilde k}} \\ \phi_1 &\stackrel{h_1}{\to}& \tilde \phi_1 } \right\} \,.

This comes with two canonical homomorphisms

𝒢 Iev 0ev 1𝒢 \mathcal{G}^I_\bullet \stackrel{\overset{ev_1}{\longrightarrow}}{\underset{ev_0}{\longrightarrow}} \mathcal{G}_\bullet

which are given by endpoint evaluation, hence which send such a commuting square to either its top or its bottom hirizontal component.

Definition

For f ,g :𝒢 𝒦 f_\bullet, g_\bullet : \mathcal{G}_\bullet \to \mathcal{K}_\bullet two morphisms between groupoids, a homotopy fgf \Rightarrow g (a natural transformation) is a homomorphism of the form η :𝒢 𝒦 I\eta_\bullet : \mathcal{G}_\bullet \to \mathcal{K}^I_\bullet (with codomain the path space object of 𝒦 \mathcal{K}_\bullet as in example 7) such that it fits into the diagram as depicted here on the right:

f 𝒢 η 𝒦 g 𝒦 f (ev 1) 𝒢 η 𝒦 I g (ev 0) 𝒦. \array{ & \nearrow \searrow^{\mathrlap{f_\bullet}} \\ \mathcal{G} &\Downarrow^{\mathrlap{\eta}}& \mathcal{K} \\ & \searrow \nearrow_{\mathrlap{g_\bullet}} } \;\;\;\; \coloneqq \;\;\;\; \array{ && \mathcal{K}_\bullet \\ & {}^{\mathllap{f_\bullet}}\nearrow & \uparrow^{\mathrlap{(ev_1)_\bullet}} \\ \mathcal{G}_\bullet &\stackrel{\eta_\bullet}{\to}& \mathcal{K}^I_\bullet \\ & {}_{\mathllap{g_\bullet}}\searrow & \downarrow^{\mathrlap{(ev_0)_\bullet}} \\ && \mathcal{K} } \,.
Definition (Notation)

Here and in the following, the convention is that we write

  • 𝒢 \mathcal{G}_\bullet (with the subscript decoration) when we regard groupoids with just homomorphisms (functors) between them,

  • 𝒢\mathcal{G} (without the subscript decoration) when we regard groupoids with homomorphisms (functors) between them and homotopies (natural transformations) between these

    f X Y g. \array{ & \nearrow \searrow^{\mathrlap{f}} \\ X &\Downarrow& Y \\ & \searrow \nearrow_{g} } \,.

The unbulleted version of groupoids are also called homotopy 1-types (or often just their homotopy-equivalence classes are called this way.) Below we generalize this to arbitrary homotopy types (def. \ref{KanComplexesAsHomotopyTypes}).

Example

For X,YX,Y two groupoids, the mapping groupoid [X,Y][X,Y] or Y XY^X is

  • [X,Y] 0=[X,Y]_0 = homomorphisms XYX \to Y;
  • [X,Y] 1=[X,Y]_1 = homotopies between such.
Definition

A (homotopy-) equivalence of groupoids is a morphism 𝒢𝒦\mathcal{G} \to \mathcal{K} which has a left and right inverse up to homotopy.

Example

The map

BΠ(S 1) \mathbf{B}\mathbb{Z} \stackrel{}{\to} \Pi(S^1)

which picks any point and sends nn \in \mathbb{Z} to the loop based at that point which winds around nn times, is an equivalence of groupoids.

Proposition

Assuming the axiom of choice in the ambient set theory, every groupoid is equivalent to a disjoint union of delooping groupoids, example 2 – a skeleton.

Remark

The statement of prop. 1 becomes false as when we pass to groupoids that are equipped with geometric structure. This is the reason why for discrete geometry all Chern-Simons-type field theories (namely Dijkgraaf-Witten theory-type theories) fundamentally involve just groups (and higher groups), while for nontrivial geometry there are genuine groupoid theories, for instance the AKSZ sigma-models. But even so, Dijkgraaf-Witten theory is usefully discussed in terms of groupoid technology, in particular since the choice of equivalence in prop. 1 is not canonical.

Definition

Given two morphisms of groupoids XfBgYX \stackrel{f}{\to} B \stackrel{g}{\leftarrow} Y their homotopy fiber product

X×BY X f Y g B \array{ X \underset{B}{\times} Y &\stackrel{}{\to}& X \\ \downarrow &\swArrow& \downarrow^{\mathrlap{f}} \\ Y &\underset{g}{\to}& B }

is the limit cone

X ×B B I×B Y X f B I (ev 0) B (ev 1) Y g B , \array{ X_\bullet \underset{B_\bullet}{\times} B^I_\bullet \underset{B_\bullet}{\times} Y_\bullet &\to& &\to& X_\bullet \\ \downarrow && && \downarrow^{\mathrlap{f_\bullet}} \\ && B^I_\bullet &\underset{(ev_0)_\bullet}{\to}& B_\bullet \\ \downarrow && \downarrow^{\mathrlap{(ev_1)_\bullet}} \\ Y_\bullet &\underset{g_\bullet}{\to}& B_\bullet } \,,

hence the ordinary iterated fiber product over the path space groupoid, as indicated.

Remark

An ordinary fiber product X ×B Y X_\bullet \underset{B_\bullet}{\times}Y_\bullet of groupoids is given simply by the fiber product of the underlying sets of objects and morphisms:

(X ×B Y ) i=X i×B iY i. (X_\bullet \underset{B_\bullet}{\times}Y_\bullet)_i = X_i \underset{B_i}{\times} Y_i \,.
Example

For XX a groupoid, GG a group and XBGX \to \mathbf{B}G a map into its delooping, the pullback PXP \to X of the GG-universal principal bundle of example 4 is equivalently the homotopy fiber product of XX with the point over BG\mathbf{B}G:

PX×BG*. P \simeq X \underset{\mathbf{B}G}{\times} \ast \,.

Namely both squares in the following diagram are pullback squares

P EG * (BG) I (ev 0) (BG) (ev 1) X (BG) . \array{ P &\to& \mathbf{E}G &\to& \ast_\bullet \\ \downarrow && && \downarrow^{\mathrlap{}} \\ && (\mathbf{B}G)^I_\bullet &\underset{(ev_0)_\bullet}{\to}& (\mathbf{B}G)_\bullet \\ \downarrow && \downarrow^{\mathrlap{(ev_1)_\bullet}} \\ X_\bullet &\underset{}{\to}& (\mathbf{B}G)_\bullet } \,.

(This is the first example of the more general phenomenon of universal principal infinity-bundles.)

Example

For XX a groupoid and *X\ast \to X a point in it, we call

ΩX*×X* \Omega X \coloneqq \ast \underset{X}{\times} \ast

the loop space groupoid of XX.

For GG a group and BG\mathbf{B}G its delooping groupoid from example 2, we have

GΩBG=*×BG*. G \simeq \Omega \mathbf{B}G = \ast \underset{\mathbf{B}G}{\times} \ast \,.

Hence GG is the loop space object of its own delooping, as it should be.

Proof

We are to compute the ordinary limiting cone *×BG (BG I) ×BG *\ast \underset{\mathbf{B}G_\bullet}{\times} (\mathbf{B}G^I)_\bullet \underset{\mathbf{B}G_\bullet}{\times} \ast in

* (BG) I (ev 0) BG (ev 1) * BG , \array{ &\to& &\to& \ast \\ \downarrow && && \downarrow^{\mathrlap{}} \\ && (\mathbf{B}G)^I_\bullet &\underset{(ev_0)_\bullet}{\to}& \mathbf{B}G_\bullet \\ \downarrow && \downarrow^{\mathrlap{(ev_1)_\bullet}} \\ \ast &\underset{}{\to}& \mathbf{B}G_\bullet } \,,

In the middle we have the groupoid (BG) I(\mathbf{B}G)^I_\bullet whose objects are elements of GG and whose morphisms starting at some element are labeled by pairs of elements h 1,h 2Gh_1, h_2 \in G and end at h 1gh 2h_1 \cdot g \cdot h_2. Using remark 3 the limiting cone is seen to precisely pick those morphisms in (BG ) I(\mathbf{B}G_\bullet)^I_\bullet such that these two elements are constant on the neutral element h 1=h 2=e=id *h_1 = h_2 = e = id_{\ast}, hence it produces just the elements of GG regarded as a groupoid with only identity morphisms, as in example 1.

Proposition

The free loop space object is

[Π(S 1),X]X×[Π(S 0),X]X [\Pi(S^1), X] \simeq X \underset{[\Pi(S^0), X]}{\times}X
Proof

Notice that Π 1(S 0)**\Pi_1(S^0) \simeq \ast \coprod \ast. Therefore the path space object [Π(S 0),X ] I[\Pi(S^0), X_\bullet]^I_\bullet has

  • objects are pairs of morphisms in X X_\bullet;

  • morphisms are commuting squares of such.

Now the fiber product in def. 5 picks in there those pairs of morphisms for which both start at the same object, and both end at the same object. Therefore X ×[Π(S 0),X ] [Π(S 0),X ] I×[Π(S 0),X ] XX_\bullet \underset{[\Pi(S^0), X_\bullet]_\bullet}{\times} [\Pi(S^0), X_\bullet]^I_\bullet \underset{[\Pi(S^0), X_\bullet]_\bullet}{\times} X is the groupoid whose

  • objects are diagrams in X X_\bullet of the form

    x 0 x 1 \array{ & \nearrow \searrow \\ x_0 && x_1 \\ & \searrow \nearrow }
  • morphism are cylinder-diagrams over these.

One finds along the lines of example 9 that this is equivalent to maps from Π 1(S 1)\Pi_1(S^1) into X X_\bullet and homotopies between these.

Remark

Even though all these models of the circle Π 1(S 1)\Pi_1(S^1) are equivalent, below the special appearance of the circle in the proof of prop. 2 as the combination of two semi-circles will be important for the following proofs. As we see in a moment, this is the natural way in which the circle appears as the composition of an evaluation map with a coevaluation map.

Example

For GG a discrete group, the free loop space object of its delooping BG\mathbf{B}G is G// adGG//_{ad} G, the action groupoid, def. 3, of the adjoint action of GG on itself:

[Π(S 1),BG]G// adG. [\Pi(S^1), \mathbf{B}G] \simeq G//_{ad} G \,.
Example

For an abelian group such as U(1)\flat U(1) we have

[Π(S 1),BU(1)]U(1)// adU(1)(U(1))×(BU(1)). [\Pi(S^1), \mathbf{B}\flat U(1)] \simeq \flat U(1)//_{ad} \flat U(1) \simeq (\flat U(1)) \times (\mathbf{B}\flat U(1)) \,.
Example

Let c:GU(1)c \colon G \to \flat U(1) be a group homomorphism, hence a group character. By example 2 this has a delooping to a groupoid homomorphism

Bc:BGBU(1). \mathbf{B}c \;\colon\; \mathbf{B}G \to \mathbf{B}\flat U(1) \,.

Under the free loop space object construction this becomes

[Π(S 1),Bc]:[Π(S 1),BG][Π(S 1),BU(1)] [\Pi(S^1), \mathbf{B}c] \;\colon\; [\Pi(S^1), \mathbf{B}G] \to [\Pi(S^1), \mathbf{B}\flat U(1)]

hence

[Π(S 1),Bc]:G// adGU(1)×BU(1). [\Pi(S^1), \mathbf{B}c] \;\colon\; G//_{ad}G \to \flat U(1) \times \mathbf{B}U(1) \,.

So by postcomposing with the projection on the first factor we recover from the general homotopy theory of groupoids the statement that a group character is a class function on conjugacy classes:

[Π(S 1),Bc]:G// adGU(1). [\Pi(S^1), \mathbf{B}c] \;\colon\; G//_{ad}G \to U(1) \,.

Trajectories of fields and Correspondences of groupoids

With some basic homotopy theory of groupoids in hand, we can now talk about trajectories in finite gauge theories, namely about spans/correspondences of groupoids and their composition. These correspondences of groupoids encode trajectories/histories of field configurations.

Namely consider a groupoid to be called Fields\mathbf{Fields} \in Grpd, to be thought of as the moduli space of fields in some field theory, or equivalently and specifically as the target space of a sigma-model field theory. This just means that for Σ\Sigma any manifold thought of as spacetime or worldvolume, the space of fields Fields(Σ)\mathbf{Fields}(\Sigma) of the field theory on Σ\Sigma is the mapping stack (internal hom) from Σ\Sigma into Fields\mathbf{Fields}, which means here for DW theory that it is the mapping groupoid, def. 8, out of the fundamental groupoid, def. 6, of Σ\Sigma:

Fields(Σ)=[Π 1(Σ),Fields]. \mathbf{Fields}(\Sigma) = [\Pi_1(\Sigma), \mathbf{Fields}] \,.

We think of the objects of the groupoid [Π 1(Σ),Fields][\Pi_1(\Sigma), \mathbf{Fields}] as being the fields themselves, and of the morphisms as being the gauge transformations between them.

The example to be of interest in a moment is that where Fields=BG\mathbf{Fields} = \mathbf{B}G is a delooping groupoid as in def. 2, in which case the fields are equivalently flat principal connections. In fact in the discrete and 1-dimensional case currently considered this is essentially the only example, due to prop. 1, but for the general idea and for the more general cases considered further below, it is useful to have the notation allude to more general moduli spaces Fields\mathbf{Fields}.

The simple but crucial observation that shows why spans/correspondences of groupoids show up in prequantum field theory is the following.

Example

If Σ\Sigma is a cobordism, hence a manifold with boundary with incoming boundary component Σ inΣ\Sigma_{in} \hookrightarrow \Sigma and outgoing boundary components Σ outΣ\Sigma_{out} \hookrightarrow \Sigma, then the resulting cospan of manifolds

Σ Σ in Σ out \array{ && \Sigma \\ & \nearrow && \nwarrow \\ \Sigma_{in} && && \Sigma_{out} }

is sent under the operation of mapping into the moduli space of fields

[Π 1(),Fields]:Mfds opGrpd [\Pi_1(-), \mathbf{Fields}] \;\colon\; Mfds^{op} \to Grpd

to a span of groupoids

[Π 1(Σ),Fields] [Π 1(Σ in),Fields] [Π 1(Σ out),Fields]. \array{ && [\Pi_1(\Sigma), \mathbf{Fields}] \\ & \swarrow && \searrow \\ [\Pi_1(\Sigma_{in}), \mathbf{Fields}] && && [\Pi_1(\Sigma_{out}), \mathbf{Fields}] } \,.

Here the left and right homomorphisms are those which take a field configuration on Σ\Sigma and restrict it to the incoming and to the outgoing field configuration, respectively. (And this being a homomorphism of groupoids means that everything respects the gauge symmetry on the fields.) Hence if [Π 1(Σ in,out),Fields][\Pi_1(\Sigma_{in,out}),\mathbf{Fields}] is thought of as the spaces of incoming and outgoing field configurations, respectively, then [Π 1(Σ),Fields][\Pi_1(\Sigma), \mathbf{Fields}] is to be interpreted as the space of trajectories (sometimes: histories) of field cofigurations over spacetimes/worldvolumes of shape Σ\Sigma.

This should make it plausible that specifying the field content of a 1-dimensional discrete gauge field theory is a functorial assignment

Fields:Bord 1Span(Grpd) \mathbf{Fields} \;\colon\; Bord_1 \to Span(Grpd)

from a category of cobordisms of dimension one into a category of such spans of groupoids. It sends points to spaces of field configurations on the point and 1-dimensional manifolds such as the circle to spaces of trajectories of field configurations on them.

Moreover, for a local field theory it should be true that the field configurations on the circle, say, are determined from gluing the field configurations on any decomposition of the circle, notably a decomposition into two semi-circles. But since we are dealing with a topological field theory, its field configurations on a contractible interval such as the semicircle will be equivalent to the field configurations on the point itself.

The way that the fields on higher spheres in a topological field theory are induced from the fields on the point is by an analog of traces for spaces of fields, and higher traces of such correspondences (the “span trace”). This is because by the cobordism theorem, the field configurations on, notably, the n-sphere are given by the nn-fold span trace of the field configurations on the point, the trace of the traces of the … of the 1-trace. This is because for instance the 1-sphere, hence the circle is, regarded as a 1-dimensional cobordism itself pretty much manifestly a trace on the point in the string diagram formulation of traces.

* * +. \array{ && \ast^- \\ & \swarrow & & \nwarrow \\ \downarrow && && \uparrow \\ & \searrow && \nearrow \\ && \ast^+ } \,.

Here * +\ast^+ is the point with its positive orientation, and * \ast^- is its dual object in the category of cobordisms, the point with the reverse orientation. Since, by this picture, the construction that produces the circle from the point is one that involves only the coevaluation map and evaluation map on the point regarded as a dualizable object, a topological field theory Z:Bord nSpan n(H)Z \colon Bord_n \to Span_n(\mathbf{H}), since it respects all this structure, takes the circle to precisely the same kind of diagram, but now in Span n(H) Span_n(\mathbf{H})^\otimes, where it becomes instead the span trace on the space Fields(*)\mathbf{Fields}(\ast) over the point. This we discuss now.

Before talking about correspondences of groupoids, we need to organize the groupoids themselves a bit more.

Definition

A (2,1)-category 𝒞\mathcal{C} is

  1. a collection 𝒞 0\mathcal{C}_0 – the “collection of objects”;

  2. for each tuple (X,Y)𝒞 0×𝒞 0(X,Y) \in \mathcal{C}_0 \times \mathcal{C}_0 a groupoid 𝒞(X,Y)\mathcal{C}(X,Y) – the hom-groupoid from XX to YY;

  3. for each triple (X,Y,Z)𝒞 0×𝒞 0×𝒞 0(X,Y,Z) \in \mathcal{C}_0 \times \mathcal{C}_0 \times \mathcal{C}_0 a groupoid homomorphism (functor)

    X,Y,Z:𝒞(X,Y)×𝒞(Y,Z)𝒞(X,Z) \circ_{X,Y,Z} \colon \mathcal{C}(X,Y) \times \mathcal{C}(Y,Z) \to \mathcal{C}(X,Z)

    called composition or horizontal composition for emphasis;

  4. for each quadruple (W,X,Y,Z,)(W,X,Y,Z,) a homotopy – the associator

    𝒞(W,X)×𝒞(X,Y)×𝒞(Y,Z) 𝒞(W,Y)×𝒞(Y,Z) α W,X,Y,Z 𝒞(W,X)×𝒞(X,Z) 𝒞(W,Z) \array{ \mathcal{C}(W,X) \times \mathcal{C}(X,Y) \times \mathcal{C}(Y,Z) &\stackrel{}{\to}& \mathcal{C}(W,Y) \times \mathcal{C}(Y,Z) \\ \downarrow &\swArrow_{\alpha_{W,X,Y,Z}}& \downarrow \\ \mathcal{C}(W,X) \times \mathcal{C}(X,Z) &\stackrel{}{\to}& \mathcal{C}(W,Z) }

    (…) and similarly a unitality homotopy (…)

such that for each quintuple (V,W,X,Y,Z)(V,W,X,Y,Z) the associators satisfy the pentagon identity.

The objects of the hom-groupoid 𝒞(X,Y)\mathcal{C}(X,Y) we call the 1-morphisms from XX to YY, indicated by XfYX \stackrel{f}{\to} Y, and the morphisms in 𝒞(X,Y)\mathcal{C}(X,Y) we call the 2-morphisms of 𝒞\mathcal{C}, indicated by

f X Y g. \array{ \\ & \nearrow \searrow^{\mathrlap{f}} \\ X &\Downarrow& Y \\ & \searrow \nearrow_{\mathrlap{g}} } \,.

If all associators α\alpha can and are chosen to be the identity then this is called a strict (2,1)-category.

Definition/Example

Write Grpd for the strict (2,1)-category, def. 6, whose

Definition/Example

Write Span 1(Grpd)Span_1(Grpd) for the (2,1)-category whose

  • objects are groupoids;

  • 1-morphisms are spans/correspondences of functors, hence

    A X B; \array{ A &\leftarrow& X &\rightarrow& B } \,;
  • 2-morphisms are diagrams in Grpd of the form

    X 1 A B X 2 \array{ && X_1 \\ & \swarrow &\downarrow& \searrow \\ A &\seArrow& \downarrow^{\mathrlap{\simeq}} &\swArrow& B \\ & \nwarrow &\downarrow& \nearrow \\ && X_2 }
  • composition is given by forming the homotopy fiber product, def. 5, of the two adjacent homomorphisms of two spans, hence for two spans

    XKY X \stackrel{}{\leftarrow} K \rightarrow Y

    and

    YLZ Y \stackrel{}{\leftarrow} L \rightarrow Z

    their composite is the span which is the outer part of the diagram

    K×YL p 1 p 2 K L X Y Z. \array{ && && K \underset{Y}{\times}L \\ && & {}^{\mathllap{p_1}}\swarrow && \searrow^{\mathrlap{p_2}} \\ && K && \swArrow && L \\ & \swarrow && \searrow && \swarrow && \searrow \\ X && && Y && && Z } \,.
Definition

There is the structure of a symmetric monoidal (2,1)-category on Span 1(Grpd)Span_1(Grpd) by degreewise Cartesian product in Grpd.

(XKY)(X˜K˜Y˜)X×X˜K×K˜Y×Y˜. (X \leftarrow K \rightarrow Y) \otimes (\tilde X \leftarrow \tilde K \rightarrow \tilde Y) \;\coloneqq\; X \times \tilde X \leftarrow K \times \tilde K \rightarrow Y \times \tilde Y \,.
Definition

An object XX of a symmetric monoidal (2,1)-category 𝒞 \mathcal{C}^\otimes is fully dualizable if there exists

  1. another object X *X^\ast, to be called the dual object;

  2. a 1-morphism ev X:X *X𝕀ev_X \colon X^\ast \otimes X \to \mathbb{I}, to be called the evaluation map;

  3. a 1-morphism coev X:𝕀XX *coev_X \colon \mathbb{I} \to X \otimes X^\ast, to be called the coevaluation map;

  4. 2-morphisms

    coev tr(X) id 𝕀 𝕀 coev X X *X ev X 𝕀 \array{ && \rightarrow \\ & \nearrow &\Downarrow^{coev_{tr(X)}}& \searrow^{\mathrlap{id}_{\mathbb{I}}} \\ \mathbb{I} &\underset{coev_X}{\to}& X^\ast \otimes X &\underset{ev_X}{\to}& \mathbb{I} }

    and

    ev tr(X) id 𝕀 𝕀 coev X X *X ev X 𝕀 \array{ && \rightarrow \\ & \nearrow &\Uparrow^{ev_{tr(X)}}& \searrow^{\mathrlap{id}_{\mathbb{I}}} \\ \mathbb{I} &\underset{coev_X}{\to}& X^\ast \otimes X &\underset{ev_X}{\to}& \mathbb{I} }

    and

    sa(X) id 𝕀 X *X ev X 𝕀 coev X X *X \array{ && \rightarrow \\ & \nearrow &\Downarrow^{sa(X)}& \searrow^{\mathrlap{id}_{\mathbb{I}}} \\ X^\ast \otimes X &\underset{ev_X}{\to}& \mathbb{I} &\underset{coev_X}{\to}& X^\ast \otimes X }

    (the saddle?)

    and

    cosa(X) id 𝕀 X *X ev X 𝕀 coev X X *X \array{ && \rightarrow \\ & \nearrow &\Uparrow^{cosa(X)}& \searrow^{\mathrlap{id}_{\mathbb{I}}} \\ X^\ast \otimes X &\underset{ev_X}{\to}& \mathbb{I} &\underset{coev_X}{\to}& X^\ast \otimes X }

    (the co-saddle)

such that these exhibit an adjunction and are themselves adjoint (…).

Definition

Given a symmetric monoidal (2,1)-category 𝒞\mathcal{C}, and a fully dualizable object X𝒞X \in \mathcal{C} and a 1-morphism f:XXf \colon X \to X, the trace of ff is the composition

tr(f):𝕀coev XXX *fid X *XX *ev x𝕀. tr(f) \;\colon\; \mathbb{I} \stackrel{coev_X}{\to} X \otimes X^\ast \stackrel{f \otimes id_{X^\ast}}{\to} X \otimes X^\ast \stackrel{ev_x}{\to} \mathbb{I} \,.
Proposition

Every groupoid XGrpdSpan 1(Grpd)X \in Grpd \hookrightarrow Span_1(Grpd) is a dualizable object in Span 1(Grpd)Span_1(Grpd), and in fact is self-dual.

The evaluation map ev Xev_X, hence the possible image of a symmetric monoidal functor Bord 1Span 1(Grpd)Bord_1 \to Span_1(Grpd) of a cobordism of the form

* * + \array{ && \leftarrow & \ast^- \\ & \swarrow \\ \downarrow \\ & \searrow \\ && \rightarrow & \ast^+ }

is given by the span

X * [Π 1(S 0),X] X×X \array{ && X \\ & \swarrow && \searrow \\ \ast && && [\Pi_1(S^0),X] &\simeq& X \times X }

and the coevaluation map coev Xcoev_X by the reverse span.

For XGrpdSpan 1(Grpd)X \in Grpd \hookrightarrow Span_1(Grpd) any object, the trace (“span trace”) of the identity on it, hence the image of

* * + \array{ && \ast^- \\ & \swarrow & & \nwarrow \\ \downarrow && && \uparrow \\ & \searrow && \nearrow \\ && \ast^+ }

is its free loop space object, prop. 2:

tr(id X)( [Π 1(S 1),X] * *). tr(id_X) \simeq \left( \array{ && [\Pi_1(S^1), X] \\ & \swarrow && \searrow \\ \ast && && \ast } \right) \,.

The second order covaluation map on the span trace of the identity is

* X [Π(S 1),X] * X [Π(S 0),X] X *. \array{ && && \ast \\ && && \uparrow \\ && && X \\ && && \downarrow \\ && && [\Pi(S^1), X] \\ && & \swarrow & & \searrow \\ \ast &\leftarrow& X &\rightarrow& [\Pi(S^0), X] &\leftarrow& X &\rightarrow& & \ast } \,.
Proof

By prop. 3 the trace of the identity is given by the composite span

X×[Π 1(S 1),X]X X X * [Π 1(S 0),X] *. \array{ && && X \underset{[\Pi_1(S^1), X]}{\times} X \\ && & \swarrow && \searrow \\ && X && \swArrow && X \\ & \swarrow && \searrow && \swarrow && \searrow \\ \ast && && [\Pi_1(S^0),X] && && \ast } \,.

By prop. 2 we have

X×[Π 1(S 1),X]X[Π 1(S 1),X]. X \underset{[\Pi_1(S^1), X]}{\times} X \simeq [\Pi_1(S^1), X] \,.

Along these lines one checks the required zig-zag identities.

Action functionals and Slice groupoids

We have now assembled all the ingredients need in order to formally regard a group character c:GU(1)c \colon G \to U(1) on a discrete group as a local action functional of a prequantum field theory, hence as a fully dualizable object

S[BG c BU(1)]Span 1(Grpd,BU(1)) S \;\coloneqq\; \left[ \array{ \mathbf{B}G \\ \downarrow^{\mathrlap{c}} \\ \mathbf{B}\flat U(1) } \right] \;\in \; \mathrm{Span}_1(Grpd, \mathbf{B}\flat U(1))

in a (2,1)-category of correspondences of groupoids as in def. 8, but equipped with maps and homotopies between maps to the coefficient over BU(1)\mathbf{B}\flat U(1). This is described in def. 12 below. Before stating this, we recall for the 1-dimensional case the general story of def. \ref{LocalPrequantumFieldWithAction}.

Example

Given a discrete groupoid XX, functions

exp(iS):XU(1) \exp(i S) \colon X \to \flat U(1)

are in natural bijection with homotopies of the form

X * ϕ * BU(1), \array{ && X \\ & \swarrow && \searrow \\ \ast && \swArrow_{\phi} && \ast \\ & \searrow && \swarrow \\ && \mathbf{B}\flat U(1) } \,,

where the function corresponding to this homotopy is that given by the unique factorization through the homotopy fiber product U(1)*×BU(1)*\flat U(1) \simeq \ast \underset{\mathbf{B}\flat U(1)}{\times} \ast (example 11) as shown on the right of

X * ϕ * BU(1) X exp(iS) U(1) * * BU(1), \array{ && X \\ & \swarrow && \searrow \\ \ast && \swArrow_{\phi} && \ast \\ & \searrow && \swarrow \\ && \mathbf{B}\flat U(1) } \;\;\;\; \simeq \;\;\;\; \array{ && X \\ &\swarrow& \downarrow^{\mathrlap{\exp(i S)}} & \searrow \\ && \flat U(1) \\ \downarrow & \swarrow && \searrow & \downarrow \\ \ast && \swArrow && \ast \\ & \searrow && \swarrow \\ && \mathbf{B}\flat U(1) } \,,

This means that if we have an action functional on a space of trajectories, and if these trajectories are given by spans/correspondences of groupoids as discussed above, then the action functional is naturally expressed as the homotopy filling a completion of the span to a square diagram over BU(1)\mathbf{B}\flat U(1). Therefore we cosider the following.

Definition

Write Span 1(Grpd,BU(1))Span_1(Grpd, \flat\mathbf{B}U(1)) for the (2,1)-category whose

  • objects are groupoids XX equipped with a morpism

    [X f BU(1)] \left[ \array{ X \\ \downarrow^{\mathrlap{f}} \\ \mathbf{B}\flat U(1) } \right]
  • morphisms are spans X 1YX 2X_1 \leftarrow Y \rightarrow X_2 equipped with a homotopy ϕ\phi in

    Y f 1 f 2 X 1 ϕ X 2 BU(1) \array{ && Y \\ & {}^{\mathllap{f_1}}\swarrow && \searrow^{\mathrlap{f_2}} \\ X_1 && \swArrow_{\phi} && X_2 \\ & \searrow && \swarrow \\ && \mathbf{B}\flat U(1) }
  • 2-morphisms are morphism of spans compatible with the maps to BU(1)\mathbf{B}\flat U(1) in the evident way.

The operation of composition is as in Span 1(Grpd)Span_1(Grpd), def. 8 on the upper part of these diagrams, naturally extended to the whole diagrams by composition of the homotopies filling the squares that appear.

Proposition

Span 1(Grpd,BU(1))Span_1(Grpd, \mathbf{B}\flat U(1)) carries the structure of a symmetric monoidal (2,1)-category where the tensor product is given by

[X 1 f 1 BU(1)][X 2 f 2 BU(1)][X 1×X 2 f 1p 1+f 2p 2 BU(1)]. \left[ \array{ X_1 \\ \downarrow^{\mathrlap{f_1}} \\ \mathbf{B}\flat U(1) } \right] \otimes \left[ \array{ X_2 \\ \downarrow^{\mathrlap{f_2}} \\ \mathbf{B}\flat U(1) } \right] \;\; \coloneqq \;\; \left[ \array{ X_1 \times X_2 \\ \downarrow^{\mathrlap{f_1 \circ p_1 + f_2 \circ p_2}} \\ \mathbf{B}\flat U(1) } \right] \,.
Remark

There is an evident forgetful (2,1)-functor

Span 1(Grpd,BU(1))Span 1(Grpd) Span_1(Grpd, \mathbf{B}\flat U(1)) \to Span_1(Grpd)

which forgets the maps to BU(1)\mathbf{B}\flat U(1) and the homotopies between them. This is a monoidal (2,1)-functor.

As generalization of prop. 3 we now have the following:

Proposition

Every object

[X f BU(1)]Span 1(Grpd,BU(1)) \left[ \array{ X \\ \downarrow^{\mathrlap{f}} \\ \mathbf{B}\flat U(1) } \right] \in Span_1(Grpd,\mathbf{B}\flat U(1))

is a dualizable object, with dual object

[X f BU(1)] \left[ \array{ X \\ \downarrow^{-\mathrlap{f}} \\ \mathbf{B}\flat U(1) } \right]

and with evaluation map given by

X * X×X 0 fp 1fp 2 BU(1). \array{ && X \\ & \swarrow && \searrow \\ \ast && \swArrow_{\mathrlap{\simeq}} && X \times X \\ & {}_{\mathllap{0}}\searrow && \swarrow_{\mathrlap{f \circ p_1 - f \circ p_2}} \\ && \mathbf{B}\flat U(1) } \,.

In conclusion we may now compute what the 1-dimensional prequantum field theory defined by a group character c:GU(1)c \colon G \to U(1) regarded as a local action functional assigns to the circle.

Theorem

The prequantum field theory defined by a group character

[Field exp(iS) BU(1)][BG Bc BU(1)]Span 1(Grpd,BU(1)) \left[ \array{ \mathbf{Field} \\ \downarrow^{\mathrlap{\exp(i S)}} \\ \flat \mathbf{B}U(1) } \right] \;\; \coloneqq \;\; \left[ \array{ \mathbf{B}G \\ \downarrow^{\mathrlap{\mathbf{B}\mathrlap{c}}} \\ \flat \mathbf{B}U(1) } \right] \in Span_1(Grpd,\mathbf{B}\flat U(1))

assigns to the circle the trace of the identity on this object, which under the identifications of example 11, example 14, and example 16 is the group character itself:

[Π 1(S 1),BG] BG BG * BG×BG * 0 exp(iSp 1iSp 2) 0 BU(1) G//G [Π(S 1),BG] c U(1) * * BU(1) \array{ && && [\Pi_1(S^1), \mathbf{B}G] \\ && & \swarrow && \searrow \\ && \mathbf{B}G && \swArrow && \mathbf{B}G \\ & \swarrow && \searrow && \swarrow && \searrow \\ \ast && && \mathbf{B}G \times \mathbf{B}G && && \ast \\ &{}_0\searrow & && \downarrow^{\mathrlap{\exp(i S \circ p_1 - i S \circ p_2)}} &&& \swarrow_{0} \\ &&&& \mathbf{B}\flat U(1) } \;\;\; \simeq \;\;\; \array{ && G//G \\ && \simeq \\ && [\Pi(S^1), \mathbf{B}G] \\ && \downarrow^{\mathrlap{c}} \\ && \flat U(1) \\ & \swarrow && \searrow \\ \ast && \swArrow && \ast \\ & \searrow && \swarrow \\ && \mathbf{B}\flat U(1) } \;\;\;

Here the action functional on the right sends a field configuration gG=[Π(S 1),BG] 0g \in G = [\Pi(S^1), \mathbf{B}G]_0 to its value c(g)U(1)=(BU(1)) 1c(g) \in U(1) = (\flat \mathbf{B}U(1))_1 under the group character.

Remark

It follows that in a discussion of quantization the path integral for the partition function of 1d DW theory is given by the Schur integral over the group character cc.

1|G|gGc(g)=c,1. \frac{1}{\vert G \vert} \underset{g\in G}{\sum} c(g) = \langle c,1\rangle \,.

In conclusion, 1-dimensional Dijkgraaf-Witten theory as a prequantum field theory comes down to be essentially a geometric interpretation of what group characters are and do. One may regard this as a simple example of geometric representation theory. Simple as this example is, it contains in it the seeds of many of the interesting aspects of richer prequantum field theories.

Quantum mechanics with interactions and Feynman diagrams

We saw above that symmetric monoidal category theory naturally captures all the key aspects of basic quantum mechanics.

This becomes all the more pronounced when one considers quantum mechanics with interaction as in the worldline formalism and hence when one considers Feynman diagrams as diagrams of interactions of particles.

Spectral triples and Graph representations

Let RCob 1|1 FeynR Cob_{1|1}^{Feyn} be the cobordism category of Feynman graphs for the superparticle with a single type of interaction along the lines of (1,1)-dimensional Euclidean field theories and K-theory. So its morphisms are generated from (1|1)(1|1)-dimensional super-Riemannian manifolds (i.e. super-intervals) and from a single interaction vertex

\array{ \bullet \\ & \searrow \\ && \bullet & \to \\ & \nearrow \\ \bullet }

subject to the obvious associativity condition.

Then a spectral triple (A,H,D)(A,H,D) is the data encoding a sufficiently nice smooth functor

Z (A,H,D):RCob 1|1 FeynsVect Z_{(A,H,D)} : R Cob_{1|1}^{Feyn} \to sVect

to the category of super vector spaces.

Here

  • A=Z (A,H,D)() 0A = Z_{(A,H,D)}(\bullet)_0 is the even part of the super vector space assigned by the functor to the point, equipped with the structure of a algebra whose product is given by the image of the interaction vertex

    Z (A,H,D)( ) Z_{(A,H,D)} \left( \array{ \bullet \\ & \searrow \\ && \bullet & \to \\ & \nearrow \\ \bullet } \right)
  • HH is some completion of Z (A,H,D)()Z_{(A,H,D)}(\bullet) to a super Hilbert space

  • and DEnd(H)D \in End(H) is an odd self-adjoint operator on HH, which gives the value of the functor on the super-interval (t,θ)(t,\theta) by

    (t,θ)exp(tD 2+θD). (t,\theta) \mapsto \exp( - t D^2 + \theta D ) \,.

So this is the quantum mechanics of a superparticle. In the simplest case this comes from a spinor particle propagating on a spin structure Riemannian manifold XXin which case

  • H=L 2(S)H = L^2(S) is the space of square integrable spinor sections;

  • DD is the Dirac operator

  • A=C (X)A = C^\infty(X) is the space of smooth functions on XX.

One point of a spectral triple is to take the view of world-line quantum mechanics as basic and characterize the spin Riemannian geometry of XX entirely by this algebraic data. In particular the Riemannian metric on XX is encoded in the operator spectrum of DD, which is where the notion “spectral triple” gets its name from.

Then with all the ordinary geoemtry re-encoded algebraically this way, in terms of the 1-dimensional quantum field theory that probes this geometry, one can then use the same formulas to interpret spectral triple geometrically that do not come from an ordinary geometry as in the above example.

Feynman diagram in worldline formalism and Monoidal string diagrams

worldline formalism

Feynman diagram

string diagram

Quantum topological string

Global 2d TQFT and Frobenius algebra

In view of the above discussion of “topological quantum mechanics”, i.e. of 1-dimensional TQFT, it is immediate to pass to a higher dimensional field theory by using categories of cobordisms of higher dimension and consider strong monoidal functors

Z:Bord n Vect Z \;\colon\; Bord_n^\sqcup \longrightarrow Vect^\otimes

(Atiyah 88, Segal 04).

for instance 1-dimensional cobordisms with boundary describe a kind 2d TQFT with boundary field theory.

string diagrams for the Frobenius algebra axioms

As almost immediate from these picture, such 2d TQFTs are equivalent to Frobenius algebras AA.

In terms of physics: AA is the space of states of a topological open string and the algebra and coalgebra structure on it encodes its 3-point functions.

More generally open and closed strings

diagrams for the monoid laws in 2Cob

Now ZZ is equivalent to a pair consisting of a Frobenius algebra AA and a commutative Frobenius algebra BB and a homomorphism BZ(A)B \to Z(A) to the center of AA

Bord 2 Vect Bord_2^{\sqcup} \longrightarrow Vect^\otimes

(Moore-Segal Lazaroiu 00, see also Lauda-Pfeiffer 05).

In physics speak BB is the space of states for the topological closed string.

Or rather, it is some topological string model, but not the one originally obtained by topological twist from the 2d (2,0)-superconformal QFT which is commonly what is understood as the “topological string” in string theory (A-model/B-model).

Cohomological 2d TQFT and Calabi-Yau A A_\infty-algebras

Curiously, the above does not capture the original motivating examples for 2d TQFT that came from physics, namely it does not capture the “cohomological quantum field theory” due to Edward Witten, such as the topological string in its incarnation as the A-model and B-model and the Landau-Ginzburg model.

Hence need to regard A-model/B-model open topological string as having a chain complex of vector spaces. Under string composition this yields not just an associative algebra with trace but an A-∞ algebra with suitable trace.

Examples come from twisting the 2d (2,0)-CFT induced from a Calabi-Yau manifold, hence one speaks of “Calabi-Yau A-∞ algebra”.

remember space of diffeomorphism

  • Getzler, Segal: “TCFT

classification by (Costello 04) sums it up:

Calabi-Yau A-∞ category is equivalent to non-compact open topological string with coefficients in Ch(Vect)Ch(Vect). The objects of the category are the D-branes, hom-spaces are the spaces of quantum states of open strings stretching between these. The closed string bulk field theory sector is given by forming Hochschild homology. Given a Calabi-Yau manifold, then the A-∞ category refinement (see at enhanced triangulated category) of its derived category of coherent sheaves is an example.

Local 2d TQFT and 2-Modules

Given an associative algebra AA then its category of modules AModA Mod behaves much like a higher analog of a module/vector space.

Given an AA-BB bimodule NN then () AN:AModBMod(-)\otimes_A N \colon A Mod \to B Mod behaves like a higher dimensional linear operator.

This is the Eilenberg-Watts theorem.

Hence we speak of a 2-module.

Notice that every algebra AA is canonically an AA-AA-bimodule. This way we see that the above construction naturally localizes

cohomological QFTlocal QFT
open string \mapstoopen string algebra AAopen string bimodule AA A{}_{A} A_{A}
point \mapsto2-module AModA Mod

Hence we regard D-Brane? states as quantum 2-states.

We motivate this further below. First to record the classification results:

2d TQFT (“TCFT”)coefficientsalgebra structure on space of quantum states
open topological stringVect k{}_kFrobenius algebra AAfolklore+(Abrams 96)
open topological string with closed string bulk theoryVect k{}_kFrobenius algebra AA with trace map BZ(A)B \to Z(A) and Cardy condition(Lazaroiu 00, Moore-Segal 02)
non-compact open topological stringCh(Vect)Calabi-Yau A-∞ algebra(Kontsevich 95, Costello 04)
non-compact open topological string with various D-branesCh(Vect)Calabi-Yau A-∞ category
non-compact open topological string with various D-branes and with closed string bulk sectorCh(Vect)Calabi-Yau A-∞ category with Hochschild cohomology
local closed topological string2Mod(Vect k{}_k) over field kkseparable symmetric Frobenius algebras(SchommerPries 11)
non-compact local closed topological string2Mod(Ch(Vect))Calabi-Yau A-∞ algebra(Lurie 09, section 4.2)
non-compact local closed topological string2Mod(S)(\mathbf{S}) for a symmetric monoidal (∞,1)-category S\mathbf{S}Calabi-Yau object in S\mathbf{S}(Lurie 09, section 4.2)

Here the trace operation in the CY conditions corresponds to the cobordism which is the “disappearance of a circle”.

V V * \array{ && \longleftarrow \\ & \swarrow && \nwarrow \\ V && && V^\otimes \\ & \searrow && \nearrow \\ && \longrightarrow } \;\;\;\;\;\; \Rightarrow \;\;\;\;\;\; \ast

One may view this as exhibiting “higher order duality”: where the semi-circles exhibits VV as a dual object to V *V^\ast, this disappearance of a circle exhibits the upper semi-circle as adjoint to the lower semicircle.

(…)

General local TQFT

Covariant quantization and Directed homotopy types

One way to understand from the point of view of physics why the 1-functorial description of 2d CFT and 2d TQFT above is unsatisfactory is that it breaks what is known as “covariance” in physics, in the sense of “general covariance” (reflected also in the term “covariant phase space”): implicit in the concept of a category of cobordisms is a splitting of a spacetimes/worldvolumes into spatial slices (the objects) of the category and trajectories between these.

The standard Lagrangian-data (“prequantum field theory”) from which topological quantum field theories are supposed to arise under quantization do not enforce such a splitting as indeed they are generally covariant. Accordingly, a local Lagrangian should, after quantization, give rise to a local quantum field theory that is still “generally covariant” in that it does not require or depend on such a splitting. In physics this plays a crucial role for instance in considerations related to quantum gravity.

We saw above how 1-dimensional (prequantum) field theory is encoded by correspondences of groupoids. For instance the process of a particle and its antiparticle appearing out of the vacuum is given by

Fields Δ * Fields×Fields \array{ && \mathbf{Fields} \\ & \swarrow && \searrow^{\mathrlap{\Delta}} \\ \ast && && \mathbf{Fields} \times \mathbf{Fields} }

and the reverse process of them disappearing is given by

Fields Δ Fields×Fields * \array{ && \mathbf{Fields} \\ & {}^{\mathllap{\Delta}}\swarrow && \searrow \\ \mathbf{Fields} \times \mathbf{Fields} && && \ast }

A particle tracing out a circle is equivalently the composition (via homotopy fiber product) of these two process.

[Π(S 1),Fields] Fields Fields * Fields×Fields * \array{ && && [\Pi(S^1), \mathbf{Fields}] \\ && & \swarrow && \searrow \\ && \mathbf{Fields} && && \mathbf{Fields} \\ & \swarrow && \searrow && \swarrow && \searrow \\ \ast && && \mathbf{Fields}\times \mathbf{Fields} && && \ast }

Then we saw above for 2d TQFT that in higher dimensional general such a circle in turn may appear

[Π(S 1),Fields] * Fields * * \array{ && [\Pi(S^1), \mathbf{Fields}] \\ & \swarrow & \uparrow & \searrow \\ \ast && \mathbf{Fields} && \ast \\ & \nwarrow &\downarrow& \nearrow \\ && \ast }

and disappear

* * Fields * [Π(S 1),Fields] \array{ && \ast \\ & \swarrow & \uparrow & \searrow \\ \ast && \mathbf{Fields} && \ast \\ & \nwarrow &\downarrow& \nearrow \\ && [\Pi(S^1), \mathbf{Fields}] }

The 2-dimensional composition of such processes, again by homotopy fiber product yields values on all higher spheres

Fields×[Π(S n)]Fields[Π(S n+1),Fields] \mathbf{Fields} \underset{[\Pi(S^n)]}{\times} \mathbf{Fields} \simeq [\Pi(S^{n+1}), \mathbf{Fields}]

and in fact all homotopy types of smooth manifolds. For instance the trinion process is represented by this correspondence-of-correspondences:

* [Π(S 1S 1),Fields] * * [Π(Fig8),Fields] * * [Π(S 1),Fields] * \array{ \ast &\longleftarrow& [\Pi(S^1 \coprod S^1), \mathbf{Fields}] &\longrightarrow& \ast \\ \uparrow && \uparrow && \uparrow \\ \ast &\longleftarrow& [\Pi(Fig8), \mathbf{Fields}] &\longrightarrow& \ast \\ \downarrow && \downarrow && \downarrow \\ \ast &\longleftarrow& [\Pi(S^1), \mathbf{Fields}] &\longrightarrow& \ast }

To describe local propagation in higher dimensional field theory this way, evidently we need a higher dimensional calculus that deals both with the homotopy theory (gauge theory) involves as well as with the directionality of these processes.

We already saw the first hint of how this works: groupoids above appeared in two different guises, on the one hand as homotopy 1-types, on the other as special kinds of categories with directed morphisms.

Now homotopy 1-types have a classical generalization to general homotopy types, traditionally taken to be represented by topological spaces regarded up to weak homotopy equivalence.

A crucial fact is that one may pair this full homotopy-theoretic aspect with the category-theoretic aspect to get ∞-categories

groupoids categories -groupoids -categories \array{ && groupoids \\ & \swarrow && \searrow \\ categories && && \infty\text{-}groupoids \\ & \searrow && \swarrow \\ && \infty\text{-}categories }

nn-fold \infty-categories \longrightarrow (∞,n)-categories

k-morphisms for all kk, such that for k>nk \gt n they are invertible

O(Δ 0)= {0} O(Δ 1)= {01} O(Δ 2)= { 1 0 2 } O(Δ 3)= { 1 0 2 3 } O(Δ 4)= { 2 1 3 0 4 } \array{\arrayopts{\rowalign{center}} O(\Delta^0) = & \{ 0\} \\ O(\Delta^1) = & \left\{ 0 \to 1\right\} \\ O(\Delta^2) = & \left\{ \array{\begin{svg} <svg xmlns="http://www.w3.org/2000/svg" width="6em" height="4em" viewBox="0 0 60 40"> <defs> <marker id="svg295arrowhead" viewBox="0 0 10 10" refX="0" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="5" orient="auto"> <path d="M 0 0 L 10 5 L 0 10 z"/> </marker> <marker id="svg296arrowhead" viewBox="0 0 10 10" refX="0" refY="5" markerUnits="strokeWidth" markerWidth="4" markerHeight="2.5" orient="auto"> <path d="M 0 0 L 10 5 L 0 10 z"/> </marker> </defs> <g font-size="10"> <foreignObject x="25" y="-2" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>1</mi></math></foreignObject> <foreignObject x="0" y="27" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>0</mi></math></foreignObject> <foreignObject x="50" y="27" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>2</mi></math></foreignObject> </g> <g fill="none" stroke="#000"> <g marker-end="url(#svg295arrowhead)"> <path d="M10,30 23, 15"/> <path d="M35,12 48, 27"/> <path d="M15,37 45, 37"/> </g> <g> <path stroke-width="3" d="M30,15 30,27" marker-end="url(#svg296arrowhead)"/> <path stroke="#FFF" d="M30,15 30,27"/> </g> </g> </svg> \end{svg}} \right\}\\ O(\Delta^3) = & \left\{ \array{\begin{svg} <svg xmlns="http://www.w3.org/2000/svg" width="13em" height="5em" viewBox="0 0 130 50"> <defs> <g id="myRect256"> <g font-size="10"> <foreignObject x="0" y="-3" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>1</mi></math></foreignObject> <foreignObject x="0" y="37" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>0</mi></math></foreignObject> <foreignObject x="40" y="-3" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>2</mi></math></foreignObject> <foreignObject x="40" y="37" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>3</mi></math></foreignObject> </g> <g fill="none" stroke="#000"> <g marker-end="url(#svg295arrowhead)"> <path d="M10,7 37, 7"/> <path d="M6,42 6, 17"/> <path d="M10,47 37, 47"/> <path d="M46,12 46, 37"/> </g> </g> </g> </defs> <use xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#myRect256" x="0" y="0"/> <g fill="none" stroke="#000"> <path d="M11,43 38, 15" marker-end="url(#svg295arrowhead)"/> <g stroke-width="3" marker-end="url(#svg296arrowhead)"> <path d="M12,12 20,20"/> <path d="M40,18 27,40"/> </g> <g stroke="#FFF"> <path d="M12,12 20,20"/> <path d="M40,18 27,40"/> </g> </g> <g fill="none" stroke="#000"> <path stroke-width="5" d="M55,25 72,25"/> <path stroke-width="3" stroke="#FFF" d="M55,25 72,25" marker-end="url(#svg296arrowhead)"/> <path stroke-width="1" d="M55,25 72,25"/> </g> <use xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#myRect256" x="80" y="0"/> <g fill="none" stroke="#000"> <path d="M92,12 118, 39" marker-end="url(#svg295arrowhead)"/> <g> <g stroke-width="3" marker-end="url(#svg296arrowhead)"> <path d="M92,20 100,38"/> <path d="M120,12 113,19"/> </g> <g stroke="#FFF"> <path d="M92,20 100,38"/> <path d="M120,12 113,19"/> </g> </g> </g> </svg> \end{svg}}\right\}\\ O(\Delta^4) = & \left\{ \array{\begin{svg} <svg xmlns="http://www.w3.org/2000/svg" width="28em" height="23em" viewBox="-35 0 245 230"> <defs> <g id="myPent256"> <g font-size="10"> <foreignObject x="25" y="-2" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>2</mi></math></foreignObject> <foreignObject x="0" y="27" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>1</mi></math></foreignObject> <foreignObject x="50" y="27" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>3</mi></math></foreignObject> <foreignObject x="13" y="57" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>0</mi></math></foreignObject> <foreignObject x="38" y="57" width="12" height="14"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mi>4</mi></math></foreignObject> </g> <g fill="none" stroke="#000" marker-end="url(#svg295arrowhead)"> <path d="M8,32 25,13"/> <path d="M35,10 52,28"/> <path d="M54,41 48,57"/> <path d="M24,67 36,67"/> <path d="M16,62 8,45"/> </g> </g> </defs> <use xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#myPent256" x="0" y="0"/> <g fill="none" stroke="#000"> <g marker-end="url(#svg295arrowhead)"> <path d="M10,36 45,36"/> <path d="M22,60 47,41"/> </g> <g> <g stroke-width="3" marker-end="url(#svg296arrowhead)"> <path d="M31,12 31,26"/> <path d="M12,38 25,48"/> <path d="M45,48 35,60"/> </g> <g stroke="#FFF"> <path d="M31,12 31,26"/> <path d="M12,38 25,48"/> <path d="M45,48 35,60"/> </g> </g> </g> <use xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#myPent256" x="110" y="0"/> <g fill="none" stroke="#000"> <g marker-end="url(#svg295arrowhead)"> <path d="M120,36 155,36"/> <path d="M122,41 147,60"/> </g> <g> <g stroke-width="3" marker-end="url(#svg296arrowhead)"> <path d="M141,12 141,26"/> <path d="M125,47 135,58"/> <path d="M162,38 145,48"/> </g> <g stroke="#FFF"> <path d="M141,12 141,26"/> <path d="M125,47 135,58"/> <path d="M162,38 145,48"/> </g> </g> </g> <use xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#myPent256" x="160" y="80"/> <g fill="none" stroke="#000"> <g marker-end="url(#svg295arrowhead)"> <path d="M172,119 195,140"/> <path d="M194,98 201,138"/> </g> <g> <g stroke-width="3" marker-end="url(#svg296arrowhead)"> <path d="M175,127 185,138"/> <path d="M212,116 206,116"/> <path d="M189,98 184,121"/> </g> <g stroke="#FFF"> <path d="M175,127 185,138"/> <path d="M212,116 206,116"/> <path d="M189,98 184,121"/> </g> </g> </g> <use xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#myPent256" x="55" y="160"/> <g fill="none" stroke="#000"> <g marker-end="url(#svg295arrowhead)"> <path d="M74,220 83,180"/> <path d="M87,178 96,218"/> </g> <g> <g stroke-width="3" marker-end="url(#svg296arrowhead)"> <path d="M86,187 86,216"/> <path d="M63,196 71,196"/> <path d="M107,196 99,196"/> </g> <g stroke="#FFF"> <path d="M86,187 86,216"/> <path d="M63,196 71,196"/> <path d="M107,196 99,196"/> </g> </g> </g> <use xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#myPent256" x="-50" y="80"/> <g fill="none" stroke="#000"> <g marker-end="url(#svg295arrowhead)"> <path d="M-31,140 -22,100"/> <path d="M-29,143 -3,120"/> </g> <g> <g stroke-width="3" marker-end="url(#svg296arrowhead)"> <path d="M-40,116 -35,116"/> <path d="M-17,97 -17,123"/> <path d="M-5,128 -15,140"/> </g> <g stroke="#FFF"> <path d="M-40,116 -35,116"/> <path d="M-17,97 -17,123"/> <path d="M-5,128 -15,140"/> </g> </g> </g> <g fill="none" stroke="#000"> <g stroke-width="5"> <path d="M60,35 100,35"/> <path d="M158,75 168,90"/> <path d="M118,190 168,155"/> <path d="M3,150 43,185"/> <path d="M-3,95 11,79"/> </g> <g stroke-width="3" stroke="#FFF" marker-end="url(#svg296arrowhead)"> <path d="M158,75 168,90"/> <path d="M60,35 100,35"/> <path d="M118,190 168,155"/> <path d="M3,150 43,185"/> <path d="M-3,95 11,79"/> </g> <g stroke-width="1"> <path d="M60,35 100,35"/> <path d="M158,75 168,90"/> <path d="M118,190 168,155"/> <path d="M3,150 43,185"/> <path d="M-3,95 11,79"/> </g> </g> <g fill="none" stroke="#000"> <path stroke-width="7" d="M85,43 85,140"/> <path stroke-width="5" stroke="#FFF" d="M85,43 85,140" marker-end="url(#svg296arrowhead)"/> <path stroke-width="3" d="M85,43 85,140"/> <path stroke-width="1" stroke="#FFF" d="M85,43 85,140"/> </g> </svg> \end{svg}} \right\} }

in particular

nn-Spaces of states and the Cobordism hypothesis

These (∞,n)-categories are symmetric monoidal (∞,n)-categories in the same way that their 1-categorical shadows are, only that everything is lifted up to homotopy.

hence one may consider

monoidal (∞,n)-functors

Local prequantum field theory

Bord n Corr n(H /Phases) phased Bord_n^\sqcup \longrightarrow Corr_n(\mathbf{H}_{/Phases})^{\otimes_{phased}}

local quantum field theory

Bord n Mod n Bord_n^\sqcup \longrightarrow Mod_n^\otimes

The classification theory of these, the cobordism theorem says roughly that such local topological field theories assign fully dualizable objects VV to the point and are entirely determined by this assignment in that every higher dimensional manifold is sent to the higher dimensional trace on the identity on that object, i.e. the higher codimension analogs of the partition function.

Σtr Σ(id V). \Sigma \mapsto tr_\Sigma(id_V) \,.

(…)

3d TQFT

Chern-Simons theory

fusion category

Turaev-Viro construction

modular tensor category

Reshetikhin-Turaev construction

quantization of 3d Chern-Simons theory

Modular functor

modular functor

References

Formalization of sewing and locality in terms of functoriality

It was in

  • Michael Atiyah, Topological quantum field theory, Publications Mathématiques de l’IHÉS, 68 (1988), p. 175-186

that it was realized that

  • this means that this property can be taken as the defining property of the path integral, thereby circumventing the problem of constructing it as an actual integral;

  • this property can be conveniently axiomatized by saying that the path integral is a functor from a suitable category whose morphisms are cobordisms to a category of vector spaces.

(Strictly speaking, Atiyah’s original article mentions this functor slightly indirectly only.)

All this was originally formalized in the context of topological quantum field theory only. This is the easiest case that already exhibits all the functoriality that is implied by “FQFT” but by far not the only case (see below).

A pedagogical exposition of how the physicist’s way of thinking about the path integral leads to its definition as a functor is given in

A pedagogical exposition of the notion of quantum field theory as a functor on cobordisms is in

  • John Baez, Quantum quandaries: a Category-Theoretic perspective (arXiv)

and a review of much of the existing material in the literature is in

The discussion of the open-closed case of 2d TQFT goes back to

A picture-rich discussion is in

Non-topological FQFTs (especially conformal)

This mostly concentrates on topological quantum field theories, those where the path integral depends only on the diffeomorphism class of the domain it is evaluated on. This is the simplest and by far best understood case. But the idea of functorial FQFT is not restricted to this case.

This was realized in

  • Graeme Segal, The definition of conformal field theory, in: Topology, Geometry and quantum field theory, London. Math. Soc. LNS 308, edited by Ulrike Tillmann, Cambridge Univ. Press 2004, 247-343

There the notion of 2-dimensional conformal field theory is axiomatized as a functor on a category of 2-dimensional cobordisms with conformal structure.

(Apparently a similar definition has been given by Kontsevich, but never published.) The details of the category of conformal cobordisms can get a bit technical and slight variations of Segal’s original definition may be necessary. The work by Huang and Kong can be regarded as a further refinement and maybe completion of Segal’s program

  • Yi-Zhi Huang, Geometric interpretation of vertex operator algebras, Proc. Natl. Acad. Sci. USA, Vol 88. (1991) pp. 9964-9968

  • Liang Kong, Open-closed field algebras Commun. Math. Physics. 280, 207-261 (2008) (arXiv).

A very concrete construction of functorial CFTs (for the special case of rational CFTs) is provided by the FFRS-formalism.

Extended (multi-tiered) FQFT

But one notices that the formalization of quantum field theory as a functor on cobordisms encodes only a small aspect of the full sewing law imagined to be satisfied by the path integral: In a 1-category of nn-dimensional cobordisms these are glued along (n1)(n-1)-dimensional boundaries. One could imagine more generally a formalization where a given cobordism is allowed to be chopped into arbitrary parts of arbitrary co-dimension such that the path integral can still consistently be evaluated on each of these parts.

This leads to the notion of extended quantum field theory, which is taken to be an \infty-functor on an infinity category of extended cobordisms. Early ideas about a formalization of this approach were given in

Making this precise involves giving a precise definition of an \infty-category of cobordisms. Several approaches exist, such as

  • Eugenia Cheng and Nick Gurski, Towards an nn-category of cobordisms, Theory and Applications of Categories, Vol. 18, 2007, No. 10, pp 274-302. (tac)

or

  • Marco Grandis, Collared cospans, cohomotopy and TQFT (Cospans in Algebraic Topology, II), Dip. Mat. Univ. Genova, Preprint 555 (2007). (pdf)

There is a long-term project by Stephan Stolz and Peter Teichner which originally tried to refine Segal’s 1-functorial formulation of conformal field theory to a 2-functorial extended FQFT, as indicated in

  • Stephan Stolz and Peter Teichner, What is an elliptic object? (pdf).

More recently, Mike Hopkins and Jacob Lurie claimed (Hopkins-Lurie on Baez-Dolan) to have found a complete coherent formalization of topological extended FQFT in the context of (infinity,n)-categories using an (infinity,n)-category of cobordisms. This is described in

An explicit account of this for the 2-dimensional case is presented in

  • Chris Schommer-Pries, The Classification of Two-Dimensional Extended Topological Field Theories, PhD thesis, Berkeley, 2009 (pdf)

see also

(extended) FQFT from background fields: σ\sigma-models

In this context Dan Freed is picking up again his old work on higher algebraic structures in quantum field theory, as described in

where he argued that and how the path integral should assign nn-categorical objects to domains of codimension nn, and is re-expressing this in the \infty-functorial context. (Freed speaks of multi-tiered QFT instead of extended QFT.)

Freed’s ideas on how an extended or multi-tiered QFT arises from a path integral coming from a given background field were further formalized in the context of “finite” QFTs in

  • Simon Willerton, The twisted Drinfeld double of a finite group via gerbes and finite groupoids (arXiv)

  • Bruce Bartlett, On unitary 2-representations of finite groups and topological quantum field theory, PhD thesis, Sheffield (2008) (arXiv)

There are indications that a complete picture of this involves groupoidification

  • Jeffrey Morton, Extended TQFTs and Quantum Gravity (arXiv)

and, more generally geometric function theory:

a big advancement in the understanding of extended σ\sigma-model QFTs is the discussion in

  • David Ben-Zvi, John Francis, David Nadler, Integral Transforms and Drinfeld Centers in Derived Geometry (arXiv)

which realizes σ\sigma-models by homming cobordism cospans into the total spaces (realized as infinity-stack) of background fields and regarding the resulting spans as pull-push operators on suitable geometric functions.

A similar approach to bring the old work by Dan Freed mentioned above in contact with the picture of extended functorial QFT and the Baez-Dolan-Lurie structure theorem is

Super QFT

See

homological 2d FQFT (and TCFT)

As usual, the problem of constructing FQFT becomes much more tractable when linear approximations are applied. In homological FQFT and in TCFT the Hom-spaces of the cobordism category (the moduli spaces of cobordisms with given punctures/boundaries) are approximated by complexes of chains on them. This leads to formalization of \infty-functorial QFT in the context of dg-algebra

The concept is essentially a formalization of what used to be called cohomological field theory in

  • Edward Witten, Introduction to cohomological field theory, InternationalJournal of Modern Physics A, Vol. 6,No 6 (1991) 2775-2792 (pdf)

The definition of TCFT was given independently by

and

  • Graeme Segal, Topological field theory , (1999), Notes of lectures at Stanford university. (web). See in particular lecture 5 (“topological field theory with cochain values”).

The classification of TCFTs by Calabi-Yau A-∞ categories was discussed in

following conjectures by Maxim Kontsevich, e.g.

  • Maxim Kontsevich, Homological algebra of mirror symmetry , in Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), pages 120–139, Basel, 1995, Birkhäuser.

Revised on November 20, 2014 12:51:26 by David Corfield (87.115.251.130)