Handle decomposition complexity and representation spaces

2022/10/12 by Paolo Aceto, Aliakbar Daemi, Aceto, Paolo +7
Computer Science · Mathematics · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.2210.06607

Abstract

We prove that there are homology three-spheres that bound definite four-manifolds, but any such bounding four-manifold must be built out of many handles. The argument uses the homology cobordism invariant Γ from instanton Floer homology.

Related

• Absolutely Graded Floer homologies and intersection forms for four-manifolds with boundary
• Mod 2 instanton homology and 4-manifolds with boundary
• 3-manifolds that bound no definite 4-manifold
• Functions on surfaces and constructions of manifolds in dimensions three, four and five
• Lectures on the triangulation conjecture