Topological quantum field theories and homotopy cobordisms

TL;DR

This paper constructs a new categorical framework for topological quantum field theories based on homotopically finitely generated spaces and cofibrant cospans, generalizing previous models and providing explicit calculations.

Contribution

It introduces a novel category of cofibrant cospans and functors into vector spaces, extending TQFTs to a broader class of spaces and explicitly computing these invariants.

Findings

Constructed the category HomCob with homotopically 1-finitely generated objects.

Developed functors from mapping class and motion groupoids into HomCob.

Provided explicit calculations of Z_G(X) as basis of natural transformation classes.

Abstract

We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists functors into $\mathrm{HomCob}$ from the full subgroupoid of the mapping class groupoid $\mathrm{MCG}_{M}^{A}$, and from the full subgroupoid of the motion groupoid $\mathrm{Mot}_{M}^{A}$, whose objects are homotopically 1-finitely generated. We also construct a family of functors $\mathsf{Z}_G\colon \mathrm{HomCob}\to \mathbf{Vect}$, one for each finite group $G$. These generalise topological quantum field theories previously constructed by Yetter, and an untwisted version of Dijkgraaf-Witten. Given a space $X$, we prove that $\mathsf{Z}_G(X)$ can be expressed as the $\mathbb{C}$-vector space with basis natural transformation classes of maps $\{\pi(X,X_0)\to G\} $ for some finite representative set of points $X_0\subset X$, demonstrating that $\mathsf{Z}_G$ is explicitly calculable.