nLab cobordism hypothesis

Redirected from "positive real numbers".
Contents

Context

Manifolds and cobordisms

Cobordism theory

Quantum field theory

Contents

Idea

Plain cobordism hypothesis

What is known as the Cobordism Hypothesis is, in its most basic form, the conjecture that, roughly, the (∞,n)-category of cobordisms Bord n frBord_n^{fr} with framing is equivalently the free symmetric monoidal (∞,n)-category with duals on a single object.

The idea is due to Baez & Dolan (1995), who stated it in the further generality of k k -tuply monoidal n n -categories (i.e. for kk \leq \infty) under the name Tangle Hypothesis (p. 23), before definitions of these higher category theoretical notions were available. The term “cobordism hypothesis” is used by Baez and Dolan only in passing and without definition (p. 25) but was popularized by Lurie (2009) who gave a detailed though still incomplete sketch of a proof by appeal to the notion of n n -fold complete Segal spaces as a geometric definition of higher categories, thereby breaking the impasse caused by previous attempts (e.g. tac:18-10) which instead tried algebraic definitions of higher categories.

Since a (framed) fully extended topological quantum field theory (TQFT) may be identified with a symmetric monoidal ( , n ) (\infty,n) -functor Z:Bord n fr𝒞 Z \colon Bord^{fr}_n \to \mathcal{C}^\otimes, the cobordism hypothesis implies (and should be implied by, via a higher Yoneda lemma) that fully extended TQFTs are entirely determined by their value on the point (the “n-vector space of states” of the theory), and conversely that fully dualizable objects in 𝒞 \mathcal{C}^{\otimes} equivalently encode such fully extended TQFTs. As such the hypothesis is actually called the “Extended TQFT Hypothesis” by Baez & Dolan (1995) (p. 28).

From the cobordism hypothesis for framing structure it follows fairly readily that the \infty -groupoid of fully dualizable objects in a symmetric monoidal (,n)(\infty,n)-category carries an action of the orthogonal group O(n)O(n) and that cobordisms with tangential G-structure for GO(n)G \hookrightarrow O(n) are similarly classified by the homopy fixed loci of the corresponding GG-action [Lurie (2009, Thm. 2.4.26)]. This yields the statement of the hypothesis for common notions of cobordisms, such as with orientation (SO(n)-structure), spin structure (Spin(n)-structure), etc.

The idea of the cobordism hypothesis is that:

  1. cylinders count as trivial (identity) cobordisms between their boundary components, corresponding to how local spacetime-evolution in a topological quantum field theory is trivial (corresponding to the physics jargon that “their Hamiltonian vanishes”),

  2. so that all the non-trivial information in cobordism and in TQFT-propagation is in the structure of handle body-attachments (in physics known as: “topology change”) which obey the zig-zag rules known from adjunctions, 2-adjunctions and their further higher dimensional analogs,

  3. which means that the point – regarded as a 0-dimensional element of an nn-dimensional cobordism – is equipped with the structure of, first of all, a dualizable object under the relevant tensor product of cobordisms (which is disjoint union), and next that of a kk-dualizable object for all knk \leq n.

Geometric cobordism hypothesis

More generally, the geometric cobordism hypothesis [Grady & Pavlov (2021)] asserts that general non-topological geometric extended functorial field theories (such as conformal field theory as well as the usual relativistic QFT on curved spacetimes) are similarly encoded by (1.) local data depending only on the notion of geometry and (2.) global topological data encoded only in higher dualizability structure.

For example, the FRS-theorem on rational 2d CFT is, at least in spirit, a realization of this idea: It states that rational 2d conformal field theories, when defined on all possible worldsheet surfaces, are fully encoded (1.) by local geometric data encoded in vertex operator algebras or conformal nets or similar and (2.) global purely topological data (a suitable Frobenius algebra object internal to the modular tensor category of representations of that vertex operator algebra/conformal net).

Conversely, the plain (topological) cobordism hypothesis is the special case of the geometric cobordism hypothesis of no geometric structure and in this sense very much captures the idea which in physics is known as “TQFTs are those QFTS without local degrees of freedom”.

In general, where the notion of extended (geometric) functorial field theory is one candidate for a definition of (non-topological) non-perturbative quantum field theory, the (geometric) cobordism hypothesis may be regarded as the first step in establishing the construction of such theories, reducing the problem entirely to the local behaviour of the theory.

Notice that the local behaviour of quantum field theory is still immensely rich: It keeps busy quantum field theorists most of whom never encounter a topological effect in their life. For example the original statement of the Wightman axioms/Haag-Kastler axioms are entirely concerned only with the local behaviour of Lorentzian QFTs (namely on Minkowski spacetime) and yet the construction of any non-trivial examples in dimensions d4d \geq 4 remains wide open.

In this vein, much in the spirit of Freyd’s dictum on the role of categorical algebra in general, one may read the (geometric) cobordism hypothesis as trivializing the trivial part of non-perturbative quantum field theory.

A proof of the geometric cobordism hypothesis is thus the important first step towards the currently wide-open and yet crucial problem of mathematically constructing non-perturbative quantum field theories.

Formalization

In [Lurie 2009] a sketch of an approach to the formalization and proof of the cobordism hypothesis is described.

For framed cobordisms

Statement

For 𝒞\mathcal{C} a symmetric monoidal (∞,n)-category with duals write Core(𝒞)Core(\mathcal{C}) for its core (the maximal ∞-groupoid in 𝒞\mathcal{C}).

For 𝒞\mathcal{C}, 𝒟\mathcal{D} two symmetric monoidal (∞,n)-categories, write Fun (𝒟,𝒞)Fun^\otimes(\mathcal{D}, \mathcal{C} ) for the (∞,n)-category of symmetric monoidal (∞,n)-functors between them.

Definition

Let Bord n frBord_n^{fr} be the symmetric monoidal (∞,n)-category of cobordisms with n-framing.

Theorem (cobordism hypothesis, framed version)

Evaluation of any such functor FF on the point *{*}

FF(*) F \mapsto F({*})

induces an (∞,n)-functor

pt *:Fun (Bord n fr,𝒞)𝒞. pt^* : Fun^\otimes(Bord_n^{fr} , \mathcal{C} ) \to \mathcal{C} .

such that

  • this factors through the core of 𝒞\mathcal{C};

  • the map

    pt *:Fun (Bord n fr,𝒞)Core(𝒞) pt^* \;\colon\; Fun^\otimes(Bord_n^{fr} , \mathcal{C} ) \to Core(\mathcal{C})

    is an equivalence of (∞,n)-categories.

This is (Lurie, theorem 2.4.6).

Proof

The proof is based on

  1. the Galatius-Madsen-Tillmann-Weiss theorem, which characterizes the geometric realization |Bord n or||Bord_n^{or}| in terms of the suspension of the Thom spectrum;

  2. Igusa’s connectivity result which he uses to show that putting “framed Morse functions” on cobordisms doesn’t change their homotopy type (theorem 3.4.7, page 73)

In fact, the Galatius-Madsen-Weiss theorem is now supposed to be a corollary of Lurie’s result.

Implications – The canonical O(n)O(n)-∞-action

One of the striking consequences of theorem is that it implies that

Corollary

Every ∞-groupoid

𝒞 fd𝒞 \mathcal{C}^{fd} \hookrightarrow \mathcal{C}

of fully dualizable objects in a symmetric monoidal (∞,n)-category 𝒞\mathcal{C} carries a canonical ∞-action of (the ∞-group structure on the homotopy type of) the orthogonal group O(n)O(n), induced by the action of O(n)O(n) on the n-framing of the point in Bord n frBord_n^{fr}.

(Lurie, corollary 2.4.10)

Example

The action in corollary is

(Lurie, examples 2.4.12, 2.4.14. 2.4.15)

Proposition

For all nn \in \mathbb{N}, the canonical SOSO-∞-action on

B nAb (Grpd)(,n)CatWithDuals B^n \mathbb{Z} \in Ab_\infty(\infty Grpd) \hookrightarrow (\infty,n)CatWithDuals

is trivial.

Proof

The action on a connective spectrum Ω X\Omega^\infty X factors through the J-homomorphism

SO×Ω X(J,id)Ω S ×Ω XprecompΩ X. SO \times \Omega^\infty X \stackrel{(J,id)}{\longrightarrow} \Omega^\infty S^\infty \times \Omega^\infty X \stackrel{precomp}{\longrightarrow} \Omega^\infty X \,.

But on homotopy groups the image of J is pure torsion which means that for Ω X=B n\Omega^\infty X = B^n \mathbb{Z} the induced actions on homotopy groups are all trivial. From this and using the long exact sequence of homotopy groups it follows that the \infty-action itself is trivial.

For cobordisms with extra topological structure

We discuss the cobordism hypothesis for cobordisms that are equipped with the extra structure of maps into some topological space equipped with a vector bundle. This is the case for which an extended TQFT is (the local refinement of) what has also been called an HQFT.

For cobordisms with any structure (“(X,ξ)(X,\xi)-structure”)

Definition

Let XX be a topological space and ξX\xi \to X a real vector bundle on XX of rank nn. Let NN be a smooth manifold of dimension mnm \leq n. An (X,ξ)(X,\xi)-structure on NN consists of the following data

This is (Lurie, notation 2.4.16).

The two extreme cases of def. are the following

Example

For X=*X = \ast the point and ξ= n\xi = \mathbb{R}^n, then an (X,ξ)(X,\xi)-structure is the same as an nn-framing, hence

(Bord n (*, n))Bord n fr (Bord_n^{(\ast, \mathbb{R}^n)}) \simeq Bord_n^{fr}

reproduces the (,n)(\infty,n)-category of framed cobordisms of def. .

Example

For X=X = B O ( n ) B O(n) the classifying space of real vector bundles of rank nn (the delooping of the ∞-group O(n)O(n) underlying the orthogonal group) and for ξ=EO(n)×O(n) n\xi = E O(n) \underset{O(n)}{\times} \mathbb{R}^n the vector bundle associated to the O(n)O(n)-universal bundle, then (X,ξ)(X,\xi)-structure on nn-dimensional manifolds is essentially no-structure (the maximal compact subgroup-inclusion O(n)GL(n)O(n)\to GL(n) is a weak homotopy equivalence). Cobordisms with this structure will also be called unoriented cobordisms

Bord n unBord n (BO(n),EO(n)×O(n) n). Bord_n^{un} \coloneqq Bord_n^{(B O(n), E O(n)\underset{O(n)}{\times} \mathbb{R}^n)} \,.

Accordingly, for X=BSO(n)X = B SO(n) the delooping of the special orthogonal group, the corresponding (X,ξ)(X,\xi)-structure makes oriented manifolds

Bord n orBord n (BSO(n),ESO(n)×SO(n) n). Bord_n^{or} \coloneqq Bord_n^{(B SO(n), E SO(n)\underset{SO(n)}{\times} \mathbb{R}^n)} \,.

Generally:

Example

For χ:GO(n)\chi \colon G \to O(n) a topological group mapping via a homomorphism to O(n)O(n), then X=BGX = B G and ξ=χ *(EO(n)×O(n) n)\xi = \chi^\ast (E O(n)\underset{O(n)}{\times} \mathbb{R}^n), the (X,ξ)(X,\xi)-structure is G-structure.

This we get to below.

Definition

Let XX be a topological space and ξX\xi \to X an nn-dimensional vector bundle. The (∞,n)-category Bord n (X,ξ)Bord_n^{(X, \xi)} is defined analogously to Bord nBord_n but with all manifolds equipped with (X,ξ)(X,\xi)-structure, def. .

This is (Lurie, def. 2.4.17).

Theorem

Let 𝒞\mathcal{C} be a symmetric monoidal (∞,n)-category with duals, let XX be a CW-complex, let ξX\xi \to X be an nn-dimensional vector bundle over XX equipped with an inner product, and let X˜X\tilde X \to X be the associated O(n)-principal bundle of orthonormal frames in ξ\xi.

There is an equivalence in ∞Grpd

Fun (Bord n (X,ξ),𝒞)Top O(n)(X˜,𝒞˜), Fun^\otimes(Bord_n^{(X,\xi)}, \mathcal{C}) \simeq Top_{O(n)}(\tilde X, \tilde \mathcal{C}) \,,

where on the right we regard C˜\tilde C as a topological space carrying the canonical O(n)O(n)-action discussed above.

This is (Lurie, theorem. 2.4.18). The following is some aspects of the idea of the proof in (Lurie, p. 57).

Remark

In the language of ∞-actions (as discussed there), the space Top O(n)(X˜,𝒞˜)Top_{O(n)}(\tilde X, \tilde \mathcal{C}) is that of horizontal maps fitting into

X X˜//O(n) BSO(n) \array{ X && \longrightarrow && \tilde X//O(n) \\ & \searrow && \swarrow \\ && B SO(n) }

where the left map is the classifying map for ξ\xi and the right one is the canonical one out of the homotopy quotient.

Idea of Proof of theorem .

Notice that for each point x:*Xx \colon \ast \to X there is an induced inclusion

Bord n frxBord n (X,ξ) Bord_n^{fr} \stackrel{x}{\longrightarrow} Bord_n^{(X,\xi)}

of the framed cobordisms, def. , into those of (X,ξ)(X,\xi)-structure, def. , including those cobordisms whose map to XX is constant on XX, and observing that for these an (X,ξ)(X,\xi)-structure is equivalently an nn-framing. Moreover, by corollary the induced point evaluation is O(n)O(n)-equivariant, hence yielding a morphism of ∞-groupoids

α:Func (Bord n (X,ξ),𝒞)Maps O(n)(X˜,𝒞˜), \alpha \;\colon\; Func^\otimes(Bord_n^{(X,\xi)}, \mathcal{C}) \longrightarrow Maps_{O(n)}(\tilde X, \tilde \mathcal{C}) \,,

where X˜\tilde X denotes the O(n)O(n)-principal bundle to which ξ\xi is associated.

More generally, this is true for the pullback structure of ξ\xi along along any map YXY \to X, yielding

α Y:Func (Bord n (Y,ξ|Y),𝒞)Maps O(n)(X˜×XY,𝒞˜). \alpha_Y \;\colon\; Func^\otimes(Bord_n^{(Y,\xi|Y)}, \mathcal{C}) \longrightarrow Maps_{O(n)}(\tilde X\underset{X}{\times} Y, \tilde \mathcal{C}) \,.

By the previous comment, observe that α Y\alpha_Y is an equivalence for Y=*Y = \ast.

Now the codomain of this natural transformation sends (∞,1)-colimits in YY over XX to (∞,1)-limits. (Lurie, theorem 3.1.8) shows that the same is true for the domain. Hence α Y\alpha_Y is an equivalence for all YY that appear as (∞,1)-colimits of the point. But this is the case for all ∞-groupoids YY, by this proposition.

We consider now some special cases of the general definition of local structure-topological field theory

For framed cobordisms in a topological space

We discuss the special case of the cobordism hypothesis for (X,ξ)(X,\xi)-cobordisms (def. ) for the case that the vector bundle ξ\xi is the trivial vector bundle ξ= nX\xi = \mathbb{R}^n \otimes X.

In this case X˜=O(n)×X\tilde X = O(n) \times X. Write

Bord n fr(X):=Bord n (X,X× n). Bord_n^{fr}(X) := Bord_n^{(X,X \times \mathbb{R}^n)} \,.

Write Π(X)\Pi(X) \in ∞Grpd for the fundamental ∞-groupoid of XX.

Corollary

There is an equivalence in ∞Grpd

Fun (Bord n fr(X),C)(,n)Cat(Π(X),C˜)Grpd(Π(X),Core(C˜)), Fun^\otimes(Bord^{fr}_n(X), C) \simeq (\infty,n)Cat(\Pi(X), \tilde C) \simeq \infty Grpd(\Pi(X), Core(\tilde C)) \,,

This is a special case of the above theorem.

Notice that one can read this as saying that Cob n(X)Cob_n(X) is roughly like the free symmetric monoidal (∞,n)-category on the fundamental ∞-groupoid of XX (relative to \infty-categories of fully dualizable objects at least).

For cobordisms with GG-structure

We discuss the special case of the cobordism hypothesis for (X,ξ)(X,\xi)-bundles (def. ) for the special case of G-structure (example ), hence for the case that XX is the classifying space of a topological group.

Let GG be a topological group equipped with a homomorphism χ:GO(n)\chi : G \to O(n) to the orthogonal group. Notice that via the canonical linear representation BO(n)\mathbf{B}O(n) \to Vect of O(n)O(n) on n\mathbb{R}^n, this induces accordingly a representation of GG on n\mathbb{R}^n..

Let then

Definition

We say

Bord n G:=Bord n (BG,ξ χ). Bord^G_n := Bord_n^{(B G, \xi_\chi)} \,.

is the (,n)(\infty,n)-category of cobordisms with GG-structure.

See (Lurie, notation 2.4.21)

Definition

We have

  • For G=1G = 1 the trivial group, a GG-structure is just a framing and so

    Bord n (1,ξ)Bord n fr Bord_n^{(1,\xi)} \simeq Bord_n^{fr}

    reproduces the (,n)(\infty,n)-category of framed cobordisms, def. .

  • For G=SO(n)G = SO(n) the special orthogonal group equipped with the canonical embedding χ:SO(n)O(n)\chi : SO(n) \to O(n) a GG-structure is an orientation

    Bord n (SO(n))Bord n or. Bord_n^{(SO(n))} \simeq Bord_n^{or} \,.
  • For G=O(n)G = O(n) the orthogonal group itself equipped with the identity map χ:O(n)O(n)\chi : O(n) \to O(n) a GG-structure is no structure at all,

    Bord n O(n)Bord n. Bord_n^{O(n)} \simeq Bord_n \,.

See (Lurie, example 2.4.22).

Then we have the following version of the cobordism hypothesis for manifolds with GG-structure.

Corollary

For GG an ∞-group equipped with a homomorphism GO(n)G \to O(n) to the orthogonal group (regarded as an ∞-group in ∞Grpd), then evaluation on the point induces an equivalence

Fun (Bord n G,𝒞)(𝒞˜) G Fun^\otimes( Bord_n^{G}, \mathcal{C} ) \simeq (\tilde {\mathcal{C}})^{G}

between extended TQFTs on nn-dimensional manifolds with G-structure and the ∞-groupoid homotopy invariants of the infinity-action of GG on 𝒞˜\tilde \mathcal{C} (which is induced by the evaluation on the point).

This is (Lurie, theorem 2.4.26).

Proof

Theorem asserts that

Fun (Bord n G,𝒞)Maps G(EG,C˜). Fun^\otimes( Bord_n^{G}, \mathcal{C} ) \simeq Maps_{G}(E G , \tilde C) \,.

Hence it remains to see that the right hand side are equivalently the homotopy invariants of the GG-∞-action. This follows for instance with the discussion at ∞-action, by which

Maps G(V,W)Grpd /BG(V//G,W//G). Maps_G(V,W)\simeq \infty Grpd_{/B G}(V/\!/G, W/\!/G) \,.

This yields

Maps G(EG,C˜)Grpd /BG(BG,C˜//BG). Maps_{G}(E G , \tilde C) \simeq \infty Grpd_{/ B G}( B G, \tilde C /\!/B G ) \,.

By the discussion at dependent product

Grpd /BG(BG,C˜//BG)BG(C˜//BG) \infty Grpd_{/ B G}( B G, \tilde C /\!/B G ) \simeq \underset{B G}{\prod} (\tilde C /\!/B G)

which are the homotopy invariants.

For (un-)oriented cobordisms

The case that χ:GO(n)\chi \colon G \longrightarrow O(n) is the identity is at the other extreme of the framed case, and turns out to be similarly fundamental.

For H\mathbf{H} an (∞,1)-topos, write Corr n(H) Corr_n(\mathbf{H})^\otimes for the (∞,n)-category of correspondences in H\mathbf{H}. For PhasesDCat n(H)Phases \in DCat_n(\mathbf{H}) an (∞,n)-category with duals internal to H\mathbf{H}, write Corr n(H /Phases) phasesCorr_n(\mathbf{H}_/{Phases})^{\otimes_{phases}} for the (∞,n)-category of correspondences over PhasesPhases and equipped with the phased tensor product. There is the forgetful monoidal (∞,n)-functor

Corr n(H /Phases) phasedCorr n(H) Corr_n(\mathbf{H}_{/Phases})^{\otimes_{phased}} \longrightarrow Corr_n(\mathbf{H})^\otimes

By the discussion at (∞,n)-category of correspondences these are (∞,n)-categories with duals and the canonical O(n)O(n)-∞-action on them, corollary , is trivial for Corr n(H)Corr_n(\mathbf{H}). This means that an O(n)O(n)-homotopy fixed point in Corr n(H)Corr_n(\mathbf{H}) is just an object of H\mathbf{H} equipped in turn with an O(n)O(n)-∞-action. Therefore

Proposition

Local unoriented-topological field theory

Bord n Corr n(H) Bord_n^\sqcup \longrightarrow Corr_n(\mathbf{H})^\otimes

are equivalent to objects XHX \in \mathbf{H} equipped with an O(n)O(n)-∞-action.

At least for H=\mathbf{H} = ∞Grpd, then given such, the corresponding field theory Z X//O(n)Z_{X/\!/O(n)} sends a cobordism Σ\Sigma to the space of maps

Π(Σ) X//O(n) TΣ ndim(Σ) BO(n) \array{ \Pi(\Sigma) && \longrightarrow && X//O(n) \\ & {}_{\mathllap{T \Sigma \oplus \mathbb{R}^{n-dim(\Sigma)}}}\searrow && \swarrow \\ && B O(n) }

hence

Z X//O(n):Σ[Π(Σ),X] O(n). Z_{X//O(n)} \colon \Sigma \mapsto [\Pi(\Sigma),X]^{O(n)} \,.

In particular this means that the assignment to the point is again XX itself.

This is a slight rephrasing of the paragraph pp 58-59 in (Lurie).

Proposition

At least for H=\mathbf{H} = ∞Grpd, with XHX \in \mathbf{H} an object equipped with an O(n)O(n)-∞-action, then horizontal lifts in

Corr n(H /Phases) phased Bord n X//O(n) Corr n(H) \array{ && Corr_n(\mathbf{H}_{/Phases})^{\otimes_{phased}} \\ & \nearrow & \downarrow \\ Bord_n^\sqcup &\underset{X//O(n)}{\longrightarrow}& Corr_n(\mathbf{H})^\otimes }

are equivalent to

(Bord n (X//O(n),X×O(n) n)) Phases . (Bord_n^{(X//O(n), X \underset{O(n)}{\times}\mathbb{R}^n)})^{\sqcup} \longrightarrow Phases^\otimes \,.

This is (Lurie, prop. 3.2.8).

Remark

Via the interpretation of local field theories with coefficients in Corr n(H /Phases) phasedCorr_n(\mathbf{H}_{/Phases})^{\otimes_{phased}} as Local prequantum field theory, the statement of prop. translates in quantum field theory jargon to the statement that “All background structures are fields.” This is essentially the slogan of general covariance.

Corollary

Let Phases Ab (H)Phases^\otimes \in Ab_\infty(\mathbf{H}) be an abelian ∞-group object, regarded as a (∞,n)-category with duals internal to H\mathbf{H}.

At least if H=\mathbf{H} = ∞Grpd, then local unoriented-topological field theories of the form

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

are equivalent to a choice

  1. of XHX \in \mathbf{H} equipped with an O(n)O(n)-∞-action

  2. a homomorphism of O(n)O(n)-∞-actions L:XPhasesL \colon X \to Phases (where Phases Phases^\otimes is equipped with the canonical \infty-action induced from the framed cobordism hypothesis), hence (by the discussion at ∞-action) to a horizontal morphism in H\mathbf{H} fitting into the diagram

X//O(n) L//O(n) Phases//O(n) BO(n). \array{ X//O(n) && \stackrel{L//O(n)}{\longrightarrow} && Phases//O(n) \\ & \searrow &\swArrow_\simeq& \swarrow \\ && B O(n) } \,.
Proof

By prop. the co-restriction

Bord n ZCorr n(H /Phases) phasedCorr n(H) Bord_n^\sqcup \stackrel{Z}{\longrightarrow} Corr_n(\mathbf{H}_{/Phases})^{\otimes_{phased}} \longrightarrow Corr_n(\mathbf{H})^\otimes

is equivalent to an ∞-action

X X//O(n) BO(n) \array{ X &\longrightarrow& X//O(n) \\ && \downarrow \\ && B O(n) }

Therefore by prop. ZZ is equivalent to

(Bord n (X//O(n),X×O(n) n)) Phases . (Bord_n^{(X//O(n), X \underset{O(n)}{\times} \mathbb{R}^n) })^\sqcup \longrightarrow Phases^\otimes \,.

Finally, by theorem and in view of remark , this is equivalent to maps of the form

X//O(n) L//O(n) Phases//O(n) BO(n). \array{ X//O(n) && \stackrel{L//O(n)}{\longrightarrow} && Phases//O(n) \\ & \searrow && \swarrow \\ && B O(n) } \,.

By the discussion at Local prequantum field theory, these statements hold also for fields with moduli spaces in more general (,1)(\infty,1)-toposes H\mathbf{H} (one sufficient condition is that H\mathbf{H} has an (infinity,1)-site of definition all whose objects are etale contractible).

Some examples are discussed at prequantum field theory in the section Higher Chern-Simons field theory – Levels.

For HQFTs

If in def. one chooses X=BSO(n)×YX = B SO(n) \times Y for any topological space YY, and ξ\xi the pullback of the canonical vector bundle bundle on BSOB SO to BSO×YB SO \times Y, then an (,n)(\infty,n)-functor Bord n XCBord^{X}_n \to C is similar to what Turaev calls an HQFT over YY.

For cobordisms with singularities (boundaries/branes and defects/domain walls)

There is a vast generalization of the plain (,n)(\infty,n)-category of cobordisms (with topological structure) considered above given by allowing the cobordisms to be equipped with various types of singularities (Lurie 09, Definition Sketch 4.3.2).

Each type of singularity in dimension kk now corresponds to a new generator k-morphisms, and the (framed) (,n)(\infty,n)-category of cobordisms with singularities is now no longer the free symmetric monoidal (,n)(\infty,n)-category freely generated from just a point (a 0-morphisms), but freely generated from these chosen generators. This general version is (Lurie 09, Theorem 4.3.11).

For instance if the generator on top of the point *\ast is a 1-morphism of the form *\emptyset \to \ast, then this defines a type of codimension (n1)(n-1)-boundary; and hence extended TQFTs with such boundary data and with coefficients in some symmetric monoidal (,n)(\infty,n)-category 𝒞\mathcal{C} with all dual are equivalent to choices of morphisms 1A1 \to A, where A𝒞A \in \mathcal{C} is the fully dualizable object assigned to the point, as before, and now equipped with a morphism from the tensor unit into it. Indeed, this is the usual datum that describes branes in QFT (see for instance at FRS formalism).

For more on this see at QFT with defects.

For noncompact cobordisms

One important variant of the category of cobordisms is obtained by discarding all those morphisms which have non-empty incoming (say, dually one could use outgoing) boundary component. Then a representation of this category imposes on its values “cups but no caps”, hence only half of the data of a dualizable object in the given degree.

Accordingly, in this case the cobordism hypothesis says that such a functor is given not quite by a fully dualizable object, but by a weaker structure called a Calabi-Yau object (see there for more).

(Lurie, section 4.2)

2-dimensional TQFT of this form is known as TCFT, see there for more

For cobordisms with geometric structure

A non-topological quantum field theory is a representation of a cobordism category for cobordisms equipped with extra stuff, structure, property that is “not just topological”, meaning roughly not of the form of def. .

The theory for this more general case is not as far developed yet.

A full-blown geometric cobordism statement is due to Grady & Pavlov 2021.

Remarks

Morphisms of TQFTs

In particular this means that Fun (Bord n fr,C)Fun^\otimes(Bord_n^{fr} , C ) is itself an (,0)(\infinity,0)-category, i.e. an ∞-groupoid.

When interpreting symmetric monoidal functors from bordisms to CC as TQFTs this means that TQFTs with given codomain CC form a space, an ∞-groupoid. In particular, any two of them are either equivalent or have no morphism between them.

According to Chris Schommer-Pries interesting morphisms of TQFTs arise when looking at transformations only on sub-categories on all of Bord nBord_n. This is described at QFT with defects .

Invariants determined from the point

The theorem does say that the invariant attached by an extended TQFT to the point determines all the higher invariants – however it is important to notice that there are strong constraints on what is assigned to the point. For an nn-dimensional framed theory one needs to assign a fully dualizable object, and the meaning of the term “fully dualizable” depends on nn, and gets increasingly hard to satisfy as n grows..

For an nn-dimensional unoriented theory, the object assigned to the point has to be a fixed point for the O(n)O(n)- action on fully dualizable objects that is obtained from the framed case of the theorem.

In the 1d case, this O(1)O(1) action on dualizable objects takes every object to its dual, and an O(1)O(1) fixed point is indeed a vector space with a nondegenerate symmetric inner product.

For an oriented theory nn-dimensional theory need an SO(n)SO(n)-fixed point, which for n=1n=1 is nothing but for n=2n=2 ends up meaning a Calabi-Yau category (in the case the target 2-category is that of categories).

In fact something more general is true: if one wants a theory that takes values on manifolds equipped with a GG-structure, for GG any group mapping to O(n)O(n) (such as for instance orientation already discussed or its higher versions Spin structure or String structure or Fivebrane structure or …) one needs to assign to the point a GG-fixed point in dualizable objects in your category (with GG acting through O(n)O(n)).

This beautifully includes all the above plus for example manifolds with maps (up to homotopy) to some auxiliary (connected) space XX – here we take GG to be the loop space ΩX\Omega X of XX (mapping trivially to O(n)O(n)), so that a reduction of the structure group of the manifold to GG involves a map to the delooping GX\mathcal{B}G \simeq X.

Such theories are classified by XX-families of fully dualizable objects.

Notice that there is an important subtlety of Lurie’s theorem in the case of manifolds with GG-structure which is easy to confuse. The general version of the theorem about TFTs does not say that they are the GG-fixed points for the GG-action on fully dualizable objects, but rather they are the homotopy fixed points. This is very important because a homotopy fixed point is not just a property. It is additional structure. Depending on GG, this additional structure is often encoded in the higher dimensional portion of the field theory.

One can see this in the 1 dimensional case: there is no property of vector spaces which automatically endows them with an inner product, but it is extra structure.

duality between \;algebra and geometry

A\phantom{A}geometryA\phantom{A}A\phantom{A}categoryA\phantom{A}A\phantom{A}dual categoryA\phantom{A}A\phantom{A}algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand-KolmogorovAlg op\overset{\text{<a href="https://ncatlab.org/nlab/show/Gelfand-Kolmogorov+theorem">Gelfand-Kolmogorov</a>}}{\hookrightarrow} Alg^{op}_{\mathbb{R}}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C *,comm op\overset{\text{<a class="existingWikiWord" href="https://ncatlab.org/nlab/show/Gelfand+duality">Gelfand duality</a>}}{\simeq} TopAlg^{op}_{C^\ast, comm}A\phantom{A}A\phantom{A}comm. C-star-algebraA\phantom{A}
A\phantom{A}noncomm. topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cptNCTopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C * op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} TopAlg^{op}_{C^\ast}A\phantom{A}A\phantom{A}general C-star-algebraA\phantom{A}
A\phantom{A}algebraic geometryA\phantom{A}A\phantom{A}NCSchemes Aff\phantom{NC}Schemes_{Aff}A\phantom{A}A\phantom{A}almost by def.TopAlg op\overset{\text{<a href="https://ncatlab.org/nlab/show/affine+scheme#AffineSchemesFullSubcategoryOfOppositeOfRings">almost by def.</a>}}{\simeq} \phantom{Top}Alg^{op} A\phantom{A}AA\phantom{A} \phantom{A}
A\phantom{A}commutative ringA\phantom{A}
A\phantom{A}noncomm. algebraicA\phantom{A}
A\phantom{A}geometryA\phantom{A}
A\phantom{A}NCSchemes AffNCSchemes_{Aff}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg fin,red op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} \phantom{Top}Alg^{op}_{fin, red}A\phantom{A}A\phantom{A}fin. gen.
A\phantom{A}associative algebraA\phantom{A}A\phantom{A}
A\phantom{A}differential geometryA\phantom{A}A\phantom{A}SmoothManifoldsSmoothManifoldsA\phantom{A}A\phantom{A}Milnor's exerciseTopAlg comm op\overset{\text{<a href="https://ncatlab.org/nlab/show/embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras">Milnor's exercise</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{comm}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}A\phantom{A}SuperSpaces Cart n|q\array{SuperSpaces_{Cart} \\ \\ \mathbb{R}^{n\vert q}}A\phantom{A}A\phantom{A}Milnor's exercise Alg 2AAAA op C ( n) q\array{ \overset{\phantom{\text{Milnor's exercise}}}{\hookrightarrow} & Alg^{op}_{\mathbb{Z}_2 \phantom{AAAA}} \\ \mapsto & C^\infty(\mathbb{R}^n) \otimes \wedge^\bullet \mathbb{R}^q }A\phantom{A}A\phantom{A}supercommutativeA\phantom{A}
A\phantom{A}superalgebraA\phantom{A}
A\phantom{A}formal higherA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}
A\phantom{A}(super Lie theory)A\phantom{A}
ASuperL Alg fin 𝔤A\phantom{A}\array{ Super L_\infty Alg_{fin} \\ \mathfrak{g} }\phantom{A}AALada-MarklA sdgcAlg op CE(𝔤)A\phantom{A}\array{ \overset{ \phantom{A}\text{<a href="https://ncatlab.org/nlab/show/L-infinity-algebra#ReformulationInTermsOfSemifreeDGAlgebra">Lada-Markl</a>}\phantom{A} }{\hookrightarrow} & sdgcAlg^{op} \\ \mapsto & CE(\mathfrak{g}) }\phantom{A}A\phantom{A}differential graded-commutativeA\phantom{A}
A\phantom{A}superalgebra
A\phantom{A} (“FDAs”)

in physics:

A\phantom{A}algebraA\phantom{A}A\phantom{A}geometryA\phantom{A}
A\phantom{A}Poisson algebraA\phantom{A}A\phantom{A}Poisson manifoldA\phantom{A}
A\phantom{A}deformation quantizationA\phantom{A}A\phantom{A}geometric quantizationA\phantom{A}
A\phantom{A}algebra of observablesA\phantom{A}space of statesA\phantom{A}
A\phantom{A}Heisenberg pictureA\phantom{A}Schrödinger pictureA\phantom{A}
A\phantom{A}AQFTA\phantom{A}A\phantom{A}FQFTA\phantom{A}
A\phantom{A}higher algebraA\phantom{A}A\phantom{A}higher geometryA\phantom{A}
A\phantom{A}Poisson n-algebraA\phantom{A}A\phantom{A}n-plectic manifoldA\phantom{A}
A\phantom{A}En-algebrasA\phantom{A}A\phantom{A}higher symplectic geometryA\phantom{A}
A\phantom{A}BD-BV quantizationA\phantom{A}A\phantom{A}higher geometric quantizationA\phantom{A}
A\phantom{A}factorization algebra of observablesA\phantom{A}A\phantom{A}extended quantum field theoryA\phantom{A}
A\phantom{A}factorization homologyA\phantom{A}A\phantom{A}cobordism representationA\phantom{A}

References

Topological cobordisms

The original hypothesis is formulated in

A sketch of an approach to the formalization and proof of the cobordism hypothesis is described in:

The comparatively simple case of n=1n = 1 is spelled out in detail in

and aspects of the case n=2n = 2 (see also at 2d TQFT) are further discussed in

Lecture notes and reviews on the topic of the cobordisms hypothesis:

An approach to the proof of the cobordism hypothesis via factorization homology is in

Discussion of the canonical O(n)O(n)-action on n-fold loop spaces (which may be thought of as a special case of the cobordism hypothesis) includes

  • Gerald Gaudens, Luc Menichi, section 5 of Batalin-Vilkovisky algebras and the JJ-homomorphism, Topology and its Applications Volume 156, Issue 2, 1 December 2008, Pages 365–374 (arXiv:0707.3103)

Geometric cobordisms

Higher cobordisms with geometric structure (i.e. for non-topological extended quantum field theory) are discussed in

and full proof of the cobordism hypothesis in this geometric generality (hence for non-topological extended FQFT such as conformal field theory) is claimed in:

based on Grady & Pavlov 2020.

Review:

Last revised on May 16, 2024 at 23:53:04. See the history of this page for a list of all contributions to it.