© 2008 London Mathematical Society
Constructing infinitely many smooth structures on small 4-manifolds
School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332-0160, USA ahmadov@math.gatech.edu
nanç Baykur
Department of Mathematics, Michigan State University, East Lansing, MI 48824, USA
Current address: Department of Mathematics, Columbia University, New York, NY 10027, USA baykur@math.columbia.edu
Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada bdpark@math.uwaterloo.ca
The purpose of this article is two-fold. First we outline a general construction scheme for producing simply connected minimal symplectic -manifolds with small Euler characteristics. Using this scheme, we illustrate how to obtain irreducible symplectic -manifolds homeomorphic but not diffeomorphic to
for k = 1, ..., 4, or to
for l = 1, ..., 6. Secondly, for each of these homeomorphism types, we show how to produce an infinite family of pairwise nondiffeomorphic nonsymplectic 4-manifolds belonging to it. In particular, we prove that there are infinitely many exotic irreducible nonsymplectic smooth structures on,
and
.
Received April 17, 2007. Revised September 26, 2007.
2000 Mathematics Subject Classification 57R55, 57R57
A. Akhmedov was partially supported by NSF grant FRG-0244663, R.
. Baykur was partially supported by NSF Grant DMS-0305818, and B. D. Park was partially supported by CFI, NSERC and OIT grants.
References
- Akhmedov A. Small exotic -manifolds. (2006) Preprint, arXiv:math/0612130.
- Akhmedov A., Park B. D. Exotic smooth structures on small -manifolds. (2007) Preprint, arXiv:math/0701664.
- Auroux D., Donaldson S. K., Katzarkov L. Luttinger surgery along Lagrangian tori and non-isotopy for singular symplectic plane curves. Math. Ann. (2003) 326:185–203.[CrossRef]
- Baldridge S., Kirk P. A symplectic manifold homeomorphic but not diffeomorphic to
. (2007) Preprint, arXiv:math/0702211. - Donaldson S. K. Irrationality and the h-cobordism conjecture. J. Differential Geom. (1987) 26:141–168.
- Fintushel R., Park B. D., Stern R. J. Reverse engineering small -manifolds. Algebr. Geom. Topol. (2007) 7:2103–2116.[CrossRef]
- Fintushel R., Stern R. J. Immersed spheres in -manifolds and the immersed Thom conjecture. Turkish J. Math. (1995) 19:145–157.
- Fintushel R., Stern R. J. Rational blowdowns of smooth -manifolds. J. Differential Geom. (1997) 46:181–235.
- Fintushel R., Stern R. J. Knots, links and -manifolds. Invent. Math. (1998) 134:363–400.[CrossRef]
- Fintushel R., Stern R. J. Families of simply connected -manifolds with the same Seiberg–Witten invariants. Topology (2004) 43:1449–1467.[CrossRef][ISI]
- Fintushel R., Stern R. J. Double node neighborhoods and families of simply connected -manifolds with b+ = 1. J. Amer. Math. Soc. (2006) 19:171–180.[CrossRef]
- Freedman M. H. The topology of four-dimensional manifolds. J. Differential Geom. (1982) 17:357–453.
- Friedman R. Vector bundles and SO(3)-invariants for elliptic surfaces. J. Amer. Math. Soc. (1995) 8:29–139.[CrossRef]
- Hamilton M. J. D., Kotschick D. Minimality and irreducibility of symplectic four-manifolds. Int. Math. Res. Not. (2006) 2006.
- Luttinger K. M. Lagrangian tori in
. J. Differential Geom. (1999) 52:203–222. - Morgan J. W., Mrowka T. S., Szabó Z. Product formulas along T3 for Seiberg–Witten invariants. Math. Res. Lett. (1997) 4:915–929.
- Morgan J. W., Szabó Z., Taubes C. H. A product formula for the Seiberg–Witten invariants and the generalized Thom conjecture. J. Differential Geom. (1996) 44:706–788.
- Muñoz V., Wang B.-L. Seiberg–Witten–Floer homology of a surface times a circle for non-torsion spin
structures. Math. Nachr. (2005) 278:844–863.[CrossRef] - Ozsváth P. S., Szabó Z. Higher type adjunction inequalities in Seiberg–Witten theory. J. Differential Geom. (2000) 55:385–440.
- Ozsváth P. S., Szabó Z. On Parks exotic smooth four-manifolds. Geometry and topology of manifolds (2005) Providence, RI: American Mathematical Society. 253–260. Fields Institute Communications 47.
- Park B. D. Constructing infinitely many smooth structures on
. Math. Ann. (2002) 322:267–278.[CrossRef] - Park B. D. Erratum: Constructing infinitely many smooth structures on
. Math. Ann. (2008) 340:731–732.[CrossRef] - Park J. Simply connected symplectic -manifolds with b+2 = 1 and c21 = 2. Invent. Math. (2005) 159:657–667.[CrossRef]
- Park J. Exotic smooth structures on
. Bull. London Math. Soc. (2007) 39:95–102.[Abstract/Free Full Text] - Park J., Stipsicz A. I., Szabó Z. Exotic smooth structures on
. Math. Res. Lett. (2005) 12:701–712. - Rohlin V. A. New results in the theory of four-dimensional manifolds. Dokl. Akad. Nauk SSSR (1952) 84:221–224.
- Stipsicz A. I., Szabó Z. An exotic smooth structure on
. Geom. Topol. (2005) 9:813–832.[CrossRef] - Stern R. J. Lecture at the Topology of 4-manifolds conference in honor of R. Fintushel's 60th birthday, Tulane University, November 10–12. (2006) Available from http://www.math.msu.edu/ronnt/LSU.pdf.
- Szabó Z. Exotic -manifolds with b+2 = 1. Math. Res. Lett. (1996) 3:731–741.
- Taubes C. H. The Seiberg–Witten invariants and symplectic forms. Math. Res. Lett. (1994) 1:809–822.
- Taubes C. H. The Seiberg–Witten and Gromov invariants. Math. Res. Lett. (1995) 2:221–238.
- Usher M. Minimality and symplectic sums. Int. Math. Res. Not. (2006) 2006.
- Witten E. Monopoles and four-manifolds. Math. Res. Lett. (1994) 1:769–796.
| ||||||||||||||||||||||||||||||||||||||||||||||||