Higher-dimensional Algebra and Topological Quantum Field Theory

1 Introduction

• Higher-dimensional algebra seeks a unified framework in which objects, morphisms, and successive morphisms between morphisms encode the layered structure of manifolds and TQFTs.The paper presents this program broadly and warns that higher-dimensional extrapolation remains risky because the subject is not yet complete.Source: §1 · pp. 1–2
• TQFTs address diffeomorphism-invariant dynamics and the associated inner-product problem by encoding states and evolution categorically rather than through a fixed spacetime symmetry group.In unitary TQFTs satisfying a nondegeneracy condition, the categorical structure determines the state-space inner product.Source: §1 · pp. 2–3
• A TQFT is a functor from nCob to Vect that assigns state spaces to manifolds and linear operators to cobordisms, with cylinders mapped to identity time evolution.Nontrivial cobordisms carry the theory’s dynamical content.Source: §1 · pp. 3–4
• n-dimensional TQFTs represent the cobordism category nCob, whose objects are compact oriented (n −1)-manifolds and whose morphisms are oriented cobordisms composed by gluing.The cylinder represents identity, while composition is associative only up to equivalence unless cobordisms are treated carefully.Source: §1 · p. 3

2. Tensor product in nCob

• The TQFT functor must preserve monoidal structure: disjoint union in nCob corresponds to tensor product in Vect, with the empty set and C as identity objects.The same categories also possess symmetry structures represented by braiding cobordisms and vector-space swaps.Source: §1 · p. 4, §2 · p. 4

3. Symmetry in nCob

• nCob and Vect are rigid symmetric monoidal categories, with tensor products, braidings, dual objects, and unit and counit maps satisfying coherence identities.In nCob, duality reverses orientation and the unit and counit are represented by cylinders.Source: §3 · pp. 4–5

4. Unit, counit, and triangle identities in nCob

• A unitary TQFT is a rigid symmetric monoidal functor Z: nCob →Hilb compatible with orientation reversal and Hilbert-space adjoints.When cobordism-generated vectors span Z(x), the functor determines the inner product on Z(x).Source: §4 · p. 5
• A major scope limitation is that understood TQFTs generally reduce classically to theories with no local degrees of freedom, so they are not expected to describe realistic quantum gravity directly.The paper presents higher-dimensional algebra as potentially useful without claiming that TQFTs solve quantum gravity.Source: §4 · pp. 5–6

2 Cobordisms

• TQFTs can be constructed algebraically by assigning vector spaces and linear maps to generators of nCob and checking the relations induced by composition, tensor products, symmetry, and duals.Morse theory supplies generating cobordisms by decomposing them into elementary handle attachments.Source: §2 · p. 6

5. Describing a cobordism using Morse theory

• Morse functions decompose a cobordism into elementary handle attachments, with the handle index determined by the number of negative Hessian eigenvalues.For n = 2, the cases j = 0, 1, 2 are births, deaths, and saddle points of circles.Source: §5 · p. 6
• Cerf theory describes generic paths between Morse functions and produces handle slides and cancellations as relations between different movies of the same cobordism.Thus generators from handle attachments are supplemented by relations between their decompositions.Source: §5 · p. 7

7. A handle cancellation for n = 2

• For n = 1, nCob is the free rigid symmetric monoidal category on one object, with unit and counit corresponding to births and deaths of oppositely oriented points.Triangle identities correspond to handle cancellations.Source: §7 · p. 7
• For n = 2, 2Cob is the free rigid symmetric monoidal category on one commutative monoid object with nondegenerate trace, yielding a complete classification of two-dimensional TQFTs.The object is S1, and its product, identity, and trace represent the relevant cobordism operations.Source: §7 · p. 8

10. S1 as a commutative monoid object with nondegenerate trace

• The algebraic presentation of higher-dimensional cobordisms remains incomplete: Kirby calculus gives useful descriptions in dimensions three and four, while higher-dimensional smooth and PL theories diverge beyond dimension six.These limitations motivate a framework that explains relationships between neighboring dimensions rather than isolated constructions.Source: §10 · p. 8
• n-category theory is proposed as a unified algebraic framework for cobordisms in all dimensions, extending objects and morphisms with morphisms between morphisms through n levels.This recursive structure reflects that each frame of an n-dimensional manifold is itself an (n −1)-dimensional movie.Source: §10 · p. 8, §11 · p. 9

11. Frames as movies of one lower dimension

• Extended TQFTs allow additional cutting and pasting operations by incorporating manifolds with corners and provide especially useful information about the relationship between higher-dimensional algebra and TQFTs.The paper notes that specifying these manifolds and their compositions becomes increasingly difficult as dimension grows.Source: §11 · p. 9

3 Strict n-Categories

• Strict n-categories appear insufficiently general for TQFT applications, motivating weak n-categories in which equalities between lower morphisms are replaced by higher isomorphisms and coherence laws.The weakening process is only well understood in low dimensions.Source: §3 · p. 9
• Strict n-categories can be defined recursively through enrichment, replacing hom-sets and composition maps with objects and morphisms in a monoidal category.The construction uses Cat as a monoidal category and iterates the enrichment idea.Source: §3 · pp. 9–10

13. The Cartesian product of sets S and T , and of categories C and D

• A Cartesian product C × D has ordered-pair objects and generating morphisms induced separately by morphisms in C and D.Source: §13 · p. 10
• The product relations enforce ordinary composition in each factor and require the corresponding diagrams, and therefore all Figure 13 squares, to commute.Source: §13 · pp. 10–11
• Strict n-categories are defined recursively as categories enriched over (n −1)Cat, whose Cartesian product supplies the required monoidal structure.Source: §13 · p. 11

14. Diagram of a 2-morphism α: f ⇒g

• In a 2-category, hom(x, y) is a category whose objects are morphisms x →y and whose morphisms are 2-morphisms between them.Source: §13 · p. 11

15. Vertical composition of 2-morphisms

• Vertical composition composes successive 2-morphisms, while composition functors also combine 1-morphisms with 2-morphisms and induce horizontal composition.Source: §14 · p. 11, §15 · pp. 11–12
• The exchange identity makes pasted diagrams define unique 2-morphisms, giving 2-categories a structure that mirrors gluing 2-manifolds with corners.Source: §15 · p. 12

18. Exchange identity

• A natural transformation α: F ⇒G assigns morphisms αx: F(x) →G(x) that satisfy a consistency condition for every morphism in the source category.Source: §18 · p. 12, §19 · p. 13

19. Natural transformation α between functors F, G: C →D

• Functors can be viewed as diagrams, and natural transformations as prisms between diagrams whose vertical faces commute.Source: §18 · p. 12, §19 · p. 13
• The category nCat is itself enriched over n-categories, so hom(C, D) contains n-functors, n-natural transformations, and higher transformations.Source: §19 · p. 13

4 Weakening

• Strictification can simplify computations because weakened structures may be equivalent to stricter counterparts, although weak notions can remain more general and topologically significant.Source: §4 · p. 14
• Weakening replaces equations by specified isomorphisms and then adds coherence laws, extending the principle that equality between k-morphisms should be replaced by (k +1)-isomorphisms.Source: §4 · pp. 13–14
• Weak n-category theory remains incomplete: explicit coherence becomes increasingly complex, and general weak n-categories have been worked out only for n ≤3.Source: §4 · p. 15

20. The semistrict tensor product of 2-categories

• Defining weak n-categories for all n is presented as urgent because explicit higher coherence produces a combinatorial explosion, including six-page tricategory and thirteen-page triequivalence definitions.Source: §20 · p. 15
• The paper asks which n-category extended TQFTs represent and in what sense the theories are representations, while acknowledging that answers remain vague beyond low dimensions.Source: §20 · p. 15

5 Suspension

• Re-indexing a one-object (n +1)-category produces an n-category whose objects inherit composition, yielding monoids, monoidal categories, and monoidal 2-categories.Source: §5 · p. 15
• Iterating the construction for higher categories with one object and successive unique lower morphisms yields k-tuply monoidal n-categories.Source: §5 · p. 15
• The proposed semistrict framework is used because weak k-tuply monoidal n-categories are not yet fully defined, while suitable strictification results are known or expected in relevant cases.Source: §5 · p. 16

21. Semistrict k-tuply monoidal n-categories

• The resulting pattern suggests that each column gains structure before acquiring increasingly abelian properties, with the n = 0 column stabilizing after two steps.Source: §21 · pp. 16–17
• Vertical and horizontal composition of 2-morphisms coincide in the one-object, one-morphism case, making hom(1x, 1x) a commutative monoid.Source: §21 · pp. 16–17

22. Semistrict k-tuply monoidal n-categories: structure and properties

• For categories, successive suspensions produce free monoidal, free braided monoidal, and symmetrized structures; for higher categories, analogous braidings and higher isomorphisms appear.Source: §22 · p. 17
• The Stabilization Hypothesis states that suspending a weak n-category n + 2 times has no essential further effect, with S: nCatk →nCatk+1 an equivalence for k ≥n + 2.Source: §22 · p. 18
• The stabilization proposal is supported by algebraic evidence and indirect topological evidence from homotopy theory and the theory of tangles.Source: §22 · p. 18

6 Homotopy Theory

• The fundamental groupoid models homotopy 1-types, motivating higher fundamental n-groupoids with points, paths, and higher homotopies as categorical data.Source: §6 · p. 18
• Kan complexes and cubical approaches are alternative algebraic models for spaces, while this discussion restricts attention to n-categorical approaches.Source: §6 · p. 18

24. The associator in homotopy theory

• In fundamental 2-groupoids, path composition is associative only up to an associator, while higher homotopy groupoids require increasingly higher coherence laws.These laws are geometrically organized by associahedra and motivate weak n-categories.Source: §23 · p. 18, §24 · p. 19
• Strictification results identify homotopy 2- and 3-types with strict or semistrict n-categories, but the general correspondence between homotopy n-types and weak n-groupoids remains incomplete.Different strictification approaches trade strict composition against weaker inverses.Source: §24 · p. 19

25. The Eckmann-Hilton argument

• The Eckmann–Hilton argument explains why π_k(X) is abelian for k ≥2 by homotoping horizontal and vertical compositions of based spheres.The construction uses two compositional structures on 2-morphisms and generalizes to all higher homotopy groups.Source: §24 · p. 19, §25 · p. 20
• Homotopies between α ⊗β and β ⊗α become braiding isomorphisms when equality is weakened, linking the n = 0 and n = 1 columns of the algebraic pattern.Different proofs can yield distinct braidings, with Bα,β generally unequal to B^-1_β,α.Source: §25 · p. 20
• For topological solitons, three-dimensional spacetime supports braid-group statistics, whereas spacetime dimension four or higher yields symmetric-group statistics.In higher dimensions the relevant homotopies become homotopic, corresponding to symmetric rather than braided monoidal structure.Source: §25 · p. 21
• The suspension operation is modeled on topological suspension, where points and paths in X become loops and paths between loops in SX.This provides the topological analogy underlying the proposed algebraic suspension of n-categories.Source: §25 · p. 21

28. Space X and its suspension SX

• For an n-dimensional CW complex, suspension induces isomorphisms on homotopy classes after k ≥n+2, providing the basis of stable homotopy theory.The paper expects this stabilization theorem to translate to weak n-groupoids.Source: §28 · p. 21

29. Suspending k-morphisms in the fundamental n-groupoid of a space X

• The proposed categorical suspension should correspond under homotopy n-type and weak n-groupoid equivalences to topological suspension, becoming an equivalence for k ≥n+2.The associated forgetful functor is compared with looping in homotopy theory.Source: §29 · p. 22

7 Tangles

• The n-categorical tangle framework is expected to contain n+1 distinct duality operations, one for each morphism dimension from objects through n-morphisms.For intermediate morphisms, units and counits should satisfy weakened triangle identities; top morphisms have no such higher maps.Source: §7 · pp. 22–23
• The tangle hypothesis identifies framed n-tangles in n+k dimensions, up to (n+k)-equivalence, with the free weak k-tuply monoidal n-category with duals on one object.This is proposed as a universal algebraic description rather than an explicit generators-and-relations construction.Source: §7 · p. 23
• An n-tangle is an n-manifold with corners embedded in [0,1]^(n+k), and a framing is a homotopy class of trivializations of its normal bundle.The framing, together with the ambient orientation, determines an orientation on the submanifold.Source: §7 · p. 23

• The precise definition of n-tangles and their isotopy classes is well understood only for n=1 and is beginning to be understood for n=2.Source: §30 · p. 24
• For n=0, C0,0 gives oriented points, C0,1 gives strings of signed points, and C0,2 gives formal products xn(x*)m corresponding to point configurations.Source: §30 · p. 25
• For n=1, increasing k yields categories, monoidal categories, and braided monoidal categories with object and morphism dualities, units, counits, and balancing.Source: §30 · p. 25
• At n = 1 and k = 1, the passage describes monoidal categories with duals, allowing a unit and counit, with (x ⊗ y)* = y* ⊗ x*.Source: §30 · p. 25
• Relations among different levels of n-categorical duality remain poorly understood, so the treatment is provisional.Source: §30 · p. 25

• Turaev and Yetter identify morphisms in C1,2 with isotopy classes of framed 1-tangles in three dimensions, where balancing arises automatically.Source: §31 · p. 26
• For C1,3, symmetry adds relations corresponding to unlinking, so morphisms represent framed 1-tangles in four dimensions and similarly in higher dimensions.Source: §31 · p. 26
• For k ≥ n + 2, transversality implies all embeddings of compact n-manifolds in R^(n+k) are isotopic, providing evidence for stabilization.Source: §31 · p. 26
• In the n=2 case, braided monoidal 2-categories and movie descriptions provide partial progress toward modeling 2-tangles in four dimensions, but loose ends remain.Source: §31 · p. 26
• Multiple duality levels in monoidal 2-categories are intended to generate the births, deaths, and saddles appearing in 2-tangle movies.Source: §31 · pp. 26–27

33. The 2-morphisms ιex, ǫix, ιix, and ǫex as 2-tangles in 3 dimensions

• Triangle identities for units and counits correspond to isotopies between 2-tangles in three dimensions, linking categorical duality with handle cancellation.Source: §33 · p. 27

34. A 2-categorical triangle identity as 2-tangle isotopy

• For 2-tangles, increasing k produces braided, weakly involutory, and strongly involutory behavior as higher dimensions permit progressively more unlinking isotopies.Source: §34 · p. 28
• The Extended TQFT Hypothesis, Part I proposes the free stable weak n-category with duals on one object as the representation source for n-dimensional extended TQFTs.Source: §34 · p. 28
• Stable framed-tangle categories are connected to stable homotopy theory through Thom–Pontryagin maps, yielding framed cobordism groups isomorphic to stable homotopy groups of spheres.Source: §34 · pp. 28–29

8 Extended TQFTs

• The proposed n-Hilbert-space framework treats unitary extended TQFTs as weak n-functors preserving all levels of duality, although rigorous higher-dimensional linear algebra remains incomplete.Source: §8 · p. 30

• Deformation quantization replaces symmetric monoidal categories by braided monoidal categories, with the first-order braiding term constrained by the classical Yang–Baxter equations.Source: §9 · p. 31
• The resulting tangle invariants expand in powers of hbar, whose coefficients are Vassiliev invariants with special topological properties.Source: §9 · p. 31
• The generalized center Z(C) is a higher-categorical construction producing a (k+1)-tuply monoidal n-category, and for monoidal categories it yields braided monoidal categories of quasinatural transformations and modifications.Source: §9 · p. 32
• For representations of a Hopf algebra H, the generalized center is the braided monoidal category of representations of its quantum double, while quantum groups arise as quotients of quantum doubles.Source: §9 · p. 32
• The paper expects analogous deformation and generalized-center constructions in higher n-categorical settings, including links to surface Vassiliev theories and braided monoidal 2-categories.Source: §9 · p. 32