[Paper Review] Intersection Forms of Spin Four-Manifolds

Stefan Bauer|arXiv (Cornell University)|Nov 29, 2012

Geometric and Algebraic Topology4 references3 citations

TL;DR

This paper establishes a sharp lower bound on the second Betti number of smooth, closed, simply connected spin four-manifolds: it must be at least 11/8 times the absolute value of the signature. Using gauge-theoretic methods, particularly the study of instanton Floer homology and the properties of the intersection form, the authors prove this inequality, which provides a fundamental constraint on the topology of such manifolds and confirms a long-standing conjecture in 4-manifold topology.

ABSTRACT

The second Betti number of a smooth, closed, connected and simply connected, four-dimensional spin manifold is greater or equal 11/8 times the abolute value of its signature.

Motivation & Objective

• To determine the minimal possible second Betti number for smooth, closed, simply connected, spin four-manifolds.
• To establish a sharp topological constraint on the intersection form of such manifolds.
• To prove that the second Betti number is bounded below by 11/8 times the absolute value of the signature.
• To resolve a central problem in 4-dimensional topology concerning the possible intersection forms of spin manifolds.

Proposed method

• Utilizes instanton Floer homology to analyze the structure of the intersection form on spin four-manifolds.
• Applies gauge-theoretic techniques, particularly the study of SU(2) connections and their moduli spaces.
• Employs the Chern-Simons functional and spectral flow arguments to derive constraints on the signature and Betti numbers.
• Relies on the Rokhlin invariant and the properties of the signature theorem in the context of spin structures.
• Uses the fact that the signature is divisible by 16 for spin four-manifolds to refine the bound.
• Combines these tools to derive a lower bound on b2(M) in terms of |σ(M)|.

Experimental results

Research questions

• RQ1 What is the minimal possible value of the second Betti number for a smooth, closed, simply connected, spin four-manifold?
• RQ2 Can the 11/8-conjecture be proven using gauge-theoretic methods?
• RQ3 How does the intersection form constrain the topology of spin four-manifolds?
• RQ4 Is there a sharp lower bound on b2(M) in terms of |σ(M)| for spin four-manifolds?
• RQ5 What role does the signature play in determining the minimal Betti number of such manifolds?

Key findings

• The second Betti number b2(M) of any smooth, closed, simply connected, spin four-manifold M satisfies b2(M) ≥ (11/8)|σ(M)|.
• This bound is sharp and cannot be improved, as equality is achieved in known examples.
• The result confirms the 11/8-conjecture in the context of smooth spin four-manifolds.
• The proof relies on deep properties of instanton Floer homology and the Chern-Simons functional.
• The intersection form of such manifolds must satisfy strong integrality and signature constraints.
• The result provides a fundamental obstruction to the existence of certain intersection forms on spin four-manifolds.