Current browse context:
math.AT
Change to browse by:
References & Citations
Mathematics > Algebraic Topology
Title: Semisimple Field Theories Detect Stable Diffeomorphism
(Submitted on 20 Jun 2022 (v1), last revised 19 Dec 2022 (this version, v2))
Abstract: Extending the work of the first author, we introduce a notion of semisimple topological field theory in arbitrary even dimension and show that such field theories necessarily lead to stable diffeomorphism invariants. The main result of this paper is a proof that this 'upper bound' is optimal: To this end, we introduce and study a class of semisimple topological field theories, generalizing the well known finite gauge theories constructed by Dijkgraaf-Witten, Freed and Quinn. We show that manifolds satisfying a certain finiteness condition -- including 4-manifolds with finite fundamental group -- are indistinguishable to these field theories if and only if they are stably diffeomorphic. Hence, such generalized Dijkgraaf-Witten theories provide the strongest semisimple TFT invariants possible. These results hold for a large class of ambient tangential structures.
We discuss a number of applications, including the constructions of unoriented 4-dimensional semisimple field theories which can distinguish unoriented smooth structure and oriented higher-dimensional semisimple field theories which can distinguish certain exotic spheres.
Along the way, we show that dimensional reductions of generalized Dijkgraaf-Witten theories are again generalized Dijkgraaf-Witten theories, we utilize ambidexterity in the rational setting, and we develop techniques related to the $\infty$-categorical Moebius inversion principle of Galvez-Carrillo--Kock--Tonks.
Submission history
From: Christopher Schommer-Pries [view email][v1] Mon, 20 Jun 2022 22:37:46 GMT (68kb,D)
[v2] Mon, 19 Dec 2022 20:58:47 GMT (70kb,D)
Link back to: arXiv, form interface, contact.