Semisimple Field Theories Detect Stable Diffeomorphism
From MaRDI portal
(Redirected from Publication:6402656)
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 -categorical Moebius inversion principle of Galvez-Carrillo--Kock--Tonks.
This page was built for publication: Semisimple Field Theories Detect Stable Diffeomorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6402656)
