An infinity-categorical TQFT from instantons

In this paper, we upgrade the instanton TQFT from ordinary categories to a functor $CI$ from an $\mathrm{\infty }$-cobordism category $\mathrm{B}\mathrm{I}$ for instantons to an $\mathrm{\infty }$-derived category $\mathsf{D}$ of $2$-periodic chain complexes and sums of homogeneous chain maps. The construction of $\mathrm{B}\mathrm{I}$ is a modification of the $\mathrm{\infty }$-cobordism category ${\mathrm{B}\mathrm{o}\mathrm{r}\mathrm{d}}_4$ constructed by Lurie and Calaque–Scheimbauer via complete Segal spaces. The construction of $\mathsf{D}$ follows from the dg-nerve of a dg-category of $2$-periodic chain complexes over finitely generated projective modules over $\mathbb{Z}$. The information encoded in the functor $CI$ was already developed by Kronheimer–Mrowka using families of metrics on cobordisms, but our reinterpretation through $\mathrm{\infty }$-categories simplifies the construction of the hypercube of chain complexes for the link spectral sequence. In addition, we upgrade the generalized cap product $\mu$-operators in instanton Floer homology to the chain level and construct explicit homotopies and higher homotopies for commutativity of multiple $\mu$-operators in even degrees.