Constructing infinitely many smooth structures on \(3\mathbb{CP}^2 \# n\overline{\mathbb{CP}}^2\)
type: Item
instance of: scholarly article
title: Constructing infinitely many smooth structures on \(3\mathbb{CP}^2 \# n\overline{\mathbb{CP}}^2\)
zbMATH Open document ID: 0997.57042
author: B. Doug Park
published in: Mathematische Annalen
publication date: 2002-05-29T00:00:00Z
review text: The main achievement of the paper is a construction of an infinite family of smooth symplectic non-decomposable structures on a topological 4-manifold of the form \(3\mathbb{C} \mathbb{P}^2\# n\overline {\mathbb{C}\mathbb{P}^2}\) for integers \(10\leq n\leq 13\), which generalizes earlier results of the author (non-decomposable means that the smooth manifold in question does not admit a smooth decomposition \(M\#N\), where both \(M\) and \(N\) are not smooth homotopy spheres). The main tools are Seiberg-Witten invariants and the rational blowing-down procedure of Fintushel and Stern. Here is a short sketch of the main construction of the paper. We start with a smooth symplectic 4-manifold \(X_n\) homeomorphic but not diffeomorphic to \(2\mathbb{C}\mathbb{P}^2 \#n\overline {\mathbb{C}\mathbb{P}^2}\) (such a manifold was constructed in earlier papers of the author) and fix in it a smoothly imbedded 2-torus \(f\) with trivial normal bundle and 1-connected complement, which represents a non-torsion integral homology class \([f]\), such that \([f]\) can be represented by an immersed sphere \(\sigma\) having a unique positive double point (proving the existence of such an imbedded torus is the main technical difficulty of the construction). Next, using a blowing-up procedure (which starts with blowing up the self-intersection of \(\sigma)\) for any integer \(>1\), we build a new manifold, which is topologically \(X_n\# (p-1) \overline {\mathbb{C}\mathbb{P}}^2\) and naturally contains as smooth submanifold a 4-manifold \(C_p\) (produced by the blowing-up procedure) the boundary of which is the lens space \(L(p^2,p-1)\). ``New'' 2-dimensional homology classes of the resulting 4-manifold \(X_n\# (p-1) \overline {\mathbb{C}\mathbb{P}}^2\) (coming from the additional exemplars of \(\overline {\mathbb{C}\mathbb{P}}^2)\) are represented by spheres contained in \(C_p\), thus the manifold \(X_n(p)\) obtained from \(X_n\#p \overline {\mathbb{C}\mathbb{P}}^2\) by applying the ration…
reviewed by: Wiesław Oledzki
Mathematics Subject Classification ID: 57R55
Mathematics Subject Classification ID: 57N13
Mathematics Subject Classification ID: 57R57
Mathematics Subject Classification ID: 53D99
Mathematics Subject Classification ID: 57R17
Mathematics Subject Classification ID: 57M60
Mathematics Subject Classification ID: 53C15
zbMATH DE Number: 1747289
zbMATH Keywords: 4-manifolds
zbMATH Keywords: rational blow-down
zbMATH Keywords: Seiberg-Witten
MaRDI profile type: MaRDI publication profile
full work available at URL: s002080100245
OpenAlex ID: W4250209030
DOI: 10.1007/S002080100245
Recommended article: Exotic smooth structures on 3CP2♯8CP¯2
Recommended article: Exotic smooth structures on $3\mathbf{CP}^2 # n\overline{\mathbf{CP}}^2$, Part II
Recommended article: Exotic smooth structures on $3\mathbf{CP}^2 # n\overline{\mathbf{CP}}^2$
Recommended article: An exotic smooth structure on {\(\mathbb C\mathbb P^ 2\#6\overline{\mathbb C\mathbb P^ 2}\)}
Recommended article: Construction of exotic smooth structures
description: scientific article; zbMATH DE number 1747289