Smooth surfaces with non-simply-connected complements

We give two constructions of surfaces in simply-connected 4-manifolds with non simply-connected complements. One is an iteration of the twisted rim surgery introduced by the first author. We also construct, for any group G satisfying some simple conditions, a simply-connected symplectic manifold containing a symplectic surface whose complement has fundamental group G. In each case, we produce infinitely many smoothly inequivalent surfaces that are equivalent up to smooth s-cobordism and hence are topologically equivalent for good groups.

[1]  J. Morgan,et al.  Completion of the Proof of the Geometrization Conjecture , 2008, 0809.4040.

[2]  Thomas E. Mark.  Knotted surfaces in 4-manifolds , 2008, 0801.4367.

[3]  P. B. Kronheimer,et al.  Monopoles and Three-Manifolds , 2008 .

[4]  Daniel Ruberman,et al.  Topological triviality of smoothly knotted surfaces in 4-manifolds , 2006, math/0610204.

[5]  J. Morgan,et al.  Ricci Flow and the Poincare Conjecture , 2006, math/0607607.

[6]  Huai-Dong Cao,et al.  A Complete Proof of the Poincaré and Geometrization Conjectures - application of the Hamilton-Perelman theory of the Ricci flow , 2006 .

[7]  J. Lott,et al.  Notes on Perelman's papers , 2006, math/0605667.

[8]  P. Kirk,et al.  On symplectic 4-manifolds with prescribed fundamental group , 2005, math/0504345.

[9]  H. Kim.  Modifying surfaces in 4-manifolds by twist spinning , 2004, math/0411078.

[10]  G. Perelman.  Ricci flow with surgery on three-manifolds , 2003, math/0303109.

[11]  P. Ozsváth,et al.  Holomorphic triangles and invariants for smooth four-manifolds , 2001, math/0110169.

[12]  V. Turaev.  Introduction to Combinatorial Torsions , 2001 .

[13]  F. Quinn,et al.  Subexponential groups in 4-manifold topology , 2000, math/0001063.

[14]  R. Stern,et al.  Surfaces in 4-Manifolds , 1997, dg-ga/9705009.

[15]  M. Freedman,et al.  4-Manifold topology I: Subexponential groups , 1995 .

[16]  Robert E. Gompf.  A new construction of symplectic manifolds , 1995 .

[17]  Alexander I. Suciu,et al.  Fibered Knots and Spherical Space Forms , 1987 .

[18]  R. Fox,et al.  Free Differential Calculus III. Subgroups , 1956 .

[19]  Michael H. Freedman,et al.  Topology of 4-manifolds , 1990 .