Current browse context:
math.GT
Change to browse by:
References & Citations
Mathematics > Geometric Topology
Title: Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure
(Submitted on 7 Jan 2020 (v1), last revised 1 Mar 2023 (this version, v3))
Abstract: We prove that semisimple 4-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth 4-manifolds and homotopy equivalent simply connected closed oriented smooth 4-manifolds. We show that all currently known 4-dimensional field theories are semisimple, including unitary field theories, and once-extended field theories which assign algebras or linear categories to 2-manifolds. As an application, we compute the value of a semisimple field theory on a simply connected closed oriented 4-manifold in terms of its Euler characteristic and signature. Moreover, we show that a semisimple 4-dimensional field theory is invariant under $\mathbb{C}P^2$-stable diffeomorphisms if and only if the Gluck twist acts trivially. This may be interpreted as the absence of fermions amongst the `point particles' of the field theory. Such fermion-free field theories cannot distinguish homotopy equivalent 4-manifolds. Throughout, we illustrate our results with the Crane-Yetter-Kauffman field theory associated to a ribbon fusion category. As an algebraic corollary of our results applied to this field theory, we show that a ribbon fusion category contains a fermionic object if and only if its Gauss sums vanish.
Submission history
From: David Reutter [view email][v1] Tue, 7 Jan 2020 21:50:41 GMT (31kb,D)
[v2] Wed, 12 Feb 2020 06:13:57 GMT (32kb,D)
[v3] Wed, 1 Mar 2023 09:10:16 GMT (38kb,D)
Link back to: arXiv, form interface, contact.