Fold maps and positive topological quantum field theories

Abstract

The notion of positive TFT as coined by Banagl is specified by an axiomatic system based on Atiyah’s original axioms for TFTs. By virtue of a general framework that is based on the concept of Eilenberg completeness of semirings from computer science, a positive TFT can be produced rigorously via quantization of systems of fields and action functionals - a process inspired by Feynman’s path integral from classical quantum field theory. The purpose of the present dissertation thesis is to investigate a new differential topological invariant for smooth manifolds that arises as the state sum of the fold map TFT, which has been constructed by Banagl as a example of a positive TFT. By eliminating an internal technical assumption on the fields of the fold map TFT, we are able to express the informational content of the state sum in terms of an extension problem for fold maps from cobordisms into the plane. Next, we use the general theory of generic smooth maps into the plane to improve known results about the structure of the state sum in arbitrary dimensions, and to determine it completely in dimension two. The aggregate invariant of a homotopy sphere, which is derived from the state sum, naturally leads us to define a filtration of the group of homotopy spheres in order to understand the role of indefinite fold lines beyond a theorem of Saeki. As an application, we show how Kervaire spheres can be characterized by indefinite fold lines in certain dimensions.