1: \begin{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. 

2: 

3: 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.

4: 

5: 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 M\"obius inversion principle of G\'alvez-Carrillo--Kock--Tonks. 

6: \end{abstract}

7: