Positivity of topological field theories in dimension at least 5

  title={Positivity of topological field theories in dimension at least 5},
  author={Matthias Kreck and Peter Teichner},
  journal={Journal of Topology},
In this paper we answer a question of Mike Freedman, regarding the efficiency of positive topological field theories as invariants of smooth manifolds in dimensions greater than 4. We show that simply connected closed 5‐manifolds can be distinguished by such invariants. Using Barden's classification, this follows from our result which says that homology groups and the vanishing of cohomology operations with finite coefficients are detected by positive topological field theories. Moreover, we… 
Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure
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
Positivity of the universal pairing in 3 dimensions
Associated to a closed, oriented surface S is the complex vector space with basis the set of all compact, oriented 3-manifolds which it bounds. Gluing along S defines a Hermitian pairing on this
High-Dimensional Topological Field Theory, Positivity, and Exotic Smooth Spheres
In previous work, we proposed a general framework of positive topological field theories (TFTs) based on Eilenberg's notion of summation completeness for semirings. In the present paper, we apply
Universal construction of topological theories in two dimensions
We consider Blanchet, Habegger, Masbaum and Vogel's universal construction of topological theories in dimension two, using it to produce interesting theories that do not satisfy the usual
Axiomatic TQFT, Axiomatic DQFT, and Exotic 4-Manifolds
In this article we prove that any unitary, axiomatic topological quantum field theory in four-dimensions can not detect changes in the smooth structure of M, a simply connected, closed (compact
The Classification of Two-Dimensional Extended Topological Field Theories
We provide a complete generators and relations presentation of the 2-dimensional extended unoriented and oriented bordism bicategories as symmetric monoidal bicategories. Thereby we classify these
Quantum Gravity via Manifold Positivity
The macroscopic dimensions of space-time should not be input but rather output of a general model for physics. Here, dimensionality arises from a recently discovered mathematical bifurcation:
Semisimple Field Theories Detect Stable Diffeomorphism
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


Universal manifold pairings and positivity
Gluing two manifolds M1 and M2 with a common boundary S yields a closed manifold M. Extending to formal linear combinations x = �aiMi yields a sesquilinear pairing p = h , i with values in (formal
The topology of four-dimensional manifolds
0. Introduction Manifold topology enjoyed a golden age in the late 1950's and 1960's. Of the mysteries still remaining after that period of great success the most compelling seemed to lie in
Foundational Essays on Topological Manifolds, Smoothings, and Triangulations.
Since Poincare's time, topologists have been most concerned with three species of manifold. The most primitive of these--the TOP manifolds--remained rather mysterious until 1968, when Kirby
Simply Connected Five-Manifolds
S. Smale, using his theory of handlebodies, has classified, under diffeomorphism closed, simply connected, smooth 5-manifolds with vanishing second Stiefel-Whitney class. C.T.C. Wall has given a
Classification of ( n - 1 )-connected 2n-dimensional manifolds and the discovery of exotic spheres
At Princeton in the fifties I was very much interested in the fundamental problem of understanding the topology of higher dimensional manifolds. In particular, I focussed on the class of