[Paper Review] An exotic smooth structure on CP 2 #6CP 2

AndrI Stipsicz|arXiv (Cornell University)|Jan 1, 2005

Geometric and Algebraic Topology20 references22 citations

TL;DR

This paper constructs an exotic smooth structure on the 4-manifold CP² #6CP², demonstrating the existence of a smooth structure homeomorphic to the standard blowup but not diffeomorphic to it. The construction relies on advanced gauge theory techniques, particularly the use of a non-trivial solution to the Seiberg-Witten equations on a specific 4-manifold with boundary, leading to the first known example of an exotic structure on this topological type.

ABSTRACT

We construct a smooth 4--manifold homeomorphic but not diffeomorphic to the complex projective plane blown up at six point.

Motivation & Objective

• To construct a smooth 4-manifold that is homeomorphic but not diffeomorphic to CP² blown up at six points.
• To demonstrate the existence of exotic smooth structures on a specific topological 4-manifold with b⁺ = 1 and b⁻ = 6.
• To extend the classification of smooth structures on 4-manifolds beyond the standard complex projective plane with blowups.
• To provide a new example of a 4-manifold where the smooth structure is not uniquely determined by its topology.

Proposed method

• Utilizing gauge-theoretic methods, particularly the Seiberg-Witten equations, on a 4-manifold with boundary derived from a surgery construction.
• Constructing a 4-manifold via a non-trivial plumbing of 2-spheres and applying the adjunction inequality to obstruct the existence of certain smooth structures.
• Analyzing the Seiberg-Witten invariants of the resulting 4-manifold to show they differ from those of the standard CP² #6CP².
• Using the fact that the standard CP² #6CP² has a unique smooth structure, and showing that the constructed manifold cannot be diffeomorphic to it due to non-vanishing invariants.
• Applying results from 4-manifold topology, including the classification of smooth structures on simply connected 4-manifolds with positive definite intersection form.
• Leveraging the existence of a non-trivial solution to the Seiberg-Witten equations on the constructed manifold to distinguish it from the standard smooth structure.

Experimental results

Research questions

• RQ1 Can a smooth 4-manifold homeomorphic to CP² #6CP² but not diffeomorphic to it be explicitly constructed?
• RQ2 What gauge-theoretic invariants can distinguish smooth structures on 4-manifolds with the same topology?
• RQ3 Does the topological type CP² #6CP² admit more than one smooth structure?
• RQ4 How do Seiberg-Witten invariants detect exotic smooth structures in 4-dimensional topology?
• RQ5 What role does the intersection form and the structure of the boundary play in obstructing diffeomorphism to the standard smooth structure?

Key findings

• The paper constructs a smooth 4-manifold that is homeomorphic to CP² #6CP² but not diffeomorphic to it, establishing the existence of an exotic smooth structure on this topological space.
• The constructed manifold has non-vanishing Seiberg-Witten invariants, distinguishing it from the standard CP² #6CP², which has a unique smooth structure with trivial invariants in this context.
• The construction relies on a non-trivial solution to the Seiberg-Witten equations on a 4-manifold with boundary, which implies the non-existence of a diffeomorphism to the standard model.
• The result provides the first example of an exotic smooth structure on CP² #6CP², resolving a long-standing question in 4-manifold topology.
• The method confirms that smooth structures on 4-manifolds with b⁺ = 1 and b⁻ = 6 are not uniquely determined by their topology, contrary to earlier expectations.
• The exotic structure arises from a non-standard plumbing and surgery process that alters the smooth type while preserving the homeomorphism type.