nLab
2d TQFT

Context

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

A 2-dimensional TQFT is a topological quantum field theory on cobordisms of dimension 2.

If one understands this as an FQFTs with values in Vect, then the central classification theorem of 2d TQFTs states that they induce the structure of a commutative Frobenius algebra on the vector space associated to the circle, and that this establishes an equivalence between 2d QFTs and Frobenius algebras. An analogous result holds for open-closed 2d TQFTs, where codimension 1 manifolds are also allowed to contain intervals.

Filtrations of the moduli space of surfaces

The following study of the behaviour of 2-dimensional TQFTs in terms of the topology of the moduli spaces of marked hyperbolic surfaces is due to Ezra Getzler. It provides a powerful way to read off various classification results for 2d QFTs from the homotopy groups of the corresponding modular operad.

A A_\infty-monoid objects

Let CoreCore(FinSet) be the core of the category of finite sets. Under union of sets this is a symmetric monoidal category. Then for CC any monoidal category, a symmetric monoidal functor

Φ:Core(FinSet)C \Phi : Core(FinSet) \to C

is a commutative monoid in CC.

Let now CC be a category with weak equivalences, then we can speak of a lax symmetric opmonoidal functor

Φ:Core(FinSet)C \Phi : Core(FinSet) \to C

if the structure maps

Φ(n+m)Φ(m)Φ(n) \Phi(n+m) \stackrel{\simeq}{\to} \Phi(m) \otimes \Phi(n)
ϕ(m)Φ(1) m \phi(m) \stackrel{\simeq}{\to} \Phi(1)^{\otimes m}

are weak equivalences.

Segal called these “Δ\Delta-objects”. Since Carlos Simpson they are called Segal object?s.

There is also Jim Stasheff’s notion of an A-infinity algebra, given in terms of associahedra K nK_n, which are (n2)(n-2)-dimensional polytopes.

There is naturally a filtration on these guys with

F 0K nF 1K n, F_0 K_n \subset F_1 K_n \subset \cdots \,,

where F 0K nF_0 K_n is the set of vertices, F 1K nF_1 K_n the set of edges, etc.

The collection

{S (K n)} \{ S_\bullet(K_n) \}

of simplicial realizations of the K nK_n form an sSet-operad PP.

For XX a simplicial category that is symmetric monoidal, a PP-algebra over an operad XX in CC is an A A_\infty-monoid object

S (K n)C (X n,X) S_\bullet(K_n) \to C_\bullet(X^{\otimes n}, X)

MacLane’s coherence theorem says or uses that if CC is an n-category, we may replace K mK_m here by the nn-filtration F nK mF_n K_m.

Closed 2d quantum field theory

Compactified moduli spaces of Riemann surfaces

Let

(Σ,(z 1,,z n)) (\Sigma, (z_1, \cdots, z_n))

be a compact oriented surface with nn distinct marked points. Write

(Σ,(z 1,,z n)) \mathcal{H}(\Sigma, (z_1, \cdots, z_n))

for the moduli space of hyperbolic metrics with cusps at the (z i)(z_i).

We have

M(Σ,z)=(Σ,z)/Diff +(Σ,z) M(\Sigma, \vec z) = \mathcal{H}(\Sigma, \vec z)/Diff_+(\Sigma, \vec z)

and

M g,n=Τ g,n/Γ ng, M_{g,n} = \Tau_{g,n} / \Gamma^ng \,,

where Τ g,n\Tau_{g,n} is the Teichmüller space and Γ\Gamma the mapping class group.

Here we can assume that the Euler characteristic χ(Σwithout{z i})<0\chi(\Sigma without \{z_i\}) \lt 0 because otherwise this moduli space is empty.

Fenchel-Nielson coordinates on moduli space

We want to parameterize Teichmüller space by cutting surfaces into pieces with geodesic boundaries and Euler characteristic ξ=1\xi = -1. These building blocks (of hyperbolic 2d geometry) are precisely

  • the 3-holed sphere;

  • the 2-holed cusp;

  • the 1-holed 2-cusp;

  • the 3-cusp

Each surface of genus gg with nn marked points will have

  • 2g2+n2g - 2 + n generalized pants;

  • 3g3+n3 g - 3 + n closed curves.

The boundary lengths i +\ell_i \in \mathbb{R}_+ and twists t it_i \in \mathbb{R} of these pieces for

1i3g3+n 1 \leq i \leq 3g-3+n

constitute the Fenchel-Nielsen coordinates on Teichmüller space Τ\Tau.

Also use θ i:=t i/ i/\theta_i := t_i/\ell_i \in \mathbb{R}/\mathbb{Z}

This constitutes is a real analytic atlas of Teichmüller space. On MM this reduces to coordinates t i/ it_i \in \mathbb{R}/{\ell_i \mathbb{Z}}, and these constitute a real analytic atlas of moduli space.

Allow the lengths i\ell_i to go to 0, but keep the angles θ i\theta_i. The resulting space is a real analytic manifold with corners Τ^\hat \Tau (due to Bill Harvey?) and this constitutes a Borel-Serre bordification? of Τ\Tau.

The mapping class group Γ\Gamma still acts on Τ^\hat \Tau and the quotient M^\hat M is an orbifold with corners, inside which still sits our moduli space MM.

Kimura-Stasheff-Voronov: add a choice of directions at each nodal point in Σ\Sigma. This removes all automorphisms and hence we no longer have to deal with an orbifold.

This yields the classifying stack 𝒫 g,n\mathcal{P}_{g,n} for Γ g,n\Gamma_{g,n}

Then the collection

{𝒫 g,n} \{ \mathcal{P}_{g,n} \}

is a modular operad: the operad that describes gluing of marked surfaces at marked points together with the informaiton on how to glue marked points of a single surface to each other.

A 2-dimensional closed TQFT is an algebra over an operad over this in a simplicial category, in the above sense.

This involves either the de Rham complex on 𝒫 g,n\mathcal{P}_{g,n} or S (𝒫 g,n)S_\bullet(\mathcal{P}_{g,n}).

Let

F k𝒫 g,n:={[Σ]|...} F_k \mathcal{P}_{g,n} := \left\{ [\Sigma] | ... \right\}

where Σ\Sigma has 2g2+nk\geq 2g-2+n-k spheres as components (after cutting along zero-length closed curves).

So for instance

  • F 0𝒫 g,nF_0 \mathcal{P}_{g,n} is the pants-decomposition;

  • F 1𝒫 g,nF_1 \mathcal{P}_{g,n} is decompositions into pants and one piece being the result of either gluing two pants to each other or of gluing two circles of a single pant to each other.

    This F 1..F_1 .. is a connected space, due to a theorem by Hatcher-Thurston. Notice This is equivalent to the familiar statement that a closed 2d TFT is a commutative Frobenius algebra.

  • F 2𝒫 g,nF_2 \mathcal{P}_{g,n} is the decomposition into pieces as before together with one two-holed torus or one five-holed sphere.

    This space has the space fundamental group as 𝒫 g,n\mathcal{P}_{g,n}.

    This is equivalent to the theorem by Moore and Seiberg about categorified 2-d TFT.

Theorem

(Ezra Getzler)

The inclusion

F k𝒫 g,n𝒫 g,n F_k \mathcal{P}_{g,n} \hookrightarrow \mathcal{P}_{g,n}

is kk-connected.

Here a map XYX\to Y is kk-connected if

  • π 0(X)π 0(Y)\pi_0(X) \to \pi_0(Y) is surjective;

  • π i(X,x)π i(Y,f(x))\pi_i(X,x) \to \pi_i(Y,f(x)) is a bijection for i<ki \lt k and surjective i=ki = k.

This means precisely that the mapping cone is kk-connected.

Proof

Use the cellular decomposition of moduli space g,1\mathcal{M}_{g,1} following Mumford, Thurston, Harer, Woeditch-Epstein, Penner.

Some other versions of this:

F kΤ g,nΤ g,n F_k \Tau_{g,n} \to \Tau_{g,n}

is kk-connected.

One can also use Deligne-Mumford compactifications

F k¯ g,n¯ g,n F_k \bar \mathcal{M}_{g,n} \to \bar \mathcal{M}_{g,n}

and this is also kk-connected.

Open-closed case

References

The classification result for open-closed 2d TQFTs was famously announced and sketched in

A standard textbook is

  • Joachim Kock, Frobenius algebras and 2D topological quantum field theory (web)

A picture-rich description of what’s going on is in

  • Aaron Lauda and Hendryk Pfeiffer, Open-closed strings: two-dimensional extended TQFTs and Frobenius algebras , Topology Appl. 155 (2008) 623-666. (arXiv:math.AT/0510664)
Revised on July 5, 2013 20:57:44 by Urs Schreiber (89.204.137.186)