2-dimensional TFTs via modular $\infty$-operads

TL;DR

This paper develops a higher categorical framework for 2-dimensional topological field theories valued in symmetric monoidal $$-categories, introducing modular $$-operads and analyzing their algebraic structures and classification.

Contribution

It introduces modular $$-operads and constructs the modular $$-operad of surfaces, providing a new categorical approach to classifying 2D TFTs in various $$-categories.

Findings

Defines modular $$-operads and their algebras.

Constructs the modular $$-operad of surfaces $$ and characterizes 2D TFTs as its algebras.

Establishes an obstruction-theoretic classification of 2D TFTs by genus.

Abstract

This lecture series is based on joint work in progress with Shaul Barkan, as well as work in progress of the author. The five sections of these notes correspond to the five lectures, but more details have been added. $2$-dimensional topological field theories ($2$D TFTs) valued in vector spaces are commutative Frobenius algebras. The goal of this lecture series is to generalize from the $1$-category of vector spaces to any symmetric monoidal $\infty$-category $\mathcal{C}$, i.e. to study symmetric monoidal functors $\mathrm{Bord}_2 \to \mathcal{C}$. Choosing $\mathcal{C}$ to be the $(2,1)$-category of linear categories, this recovers a definition of modular functors, and choosing it to be the derived category of a ring yields a notion closely related to cohomological field theories. We will introduce a notion of modular $\infty$-operads and algebras over them, construct the modular $\infty$-operad of surfaces $\mathcal{M}$, and show that algebras over $\mathcal{M}$ in $\mathcal{C}$ are exactly $2$D TFTs valued in $\mathcal{C}$. Along the way we will encounter variants modular $\infty$-operads (such as cyclic $\infty$-operads and $\infty$-properads) as well as a proof of the $1$D cobordism hypothesis with singularities. This uses some (mild) $\infty$-category theory, but no familiarity with ($\infty$-)operads will be assumed. The main goal will be to filter $\mathcal{M}$ by genus to obtain an obstruction-theoretic description of $2$D TFTs with general target. Applying this to invertible TFTs one can construct a new spectral sequence exhibiting relations between the cohomology groups of moduli spaces of curves.