Pulling apart 2-spheres in 4-manifolds

An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection invariants provide a geometric generalization of Milnor's link-homotopy invariants, and can give the complete obstruction to pulling apart 2-spheres in certain families of 4-manifolds. It is also shown that in an arbitrary simply connected 4-manifold any number of parallel copies of an immersed surface with vanishing self-intersection number can be pulled apart, and that this is not always possible in the non-simply connected setting. The order 1 intersection invariant is shown to be the complete obstruction to pulling apart 2-spheres in any 4-manifold after taking connected sums with finitely many copies of S^2\times S^2; and the order 2 intersection indeterminacies for quadruples of immersed 2-spheres in a simply connected 4-manifold are shown to lead to interesting number theoretic questions.

[1]  Higher order intersection numbers of 2-spheres in 4-manifolds , 2000, math/0008048.

[2]  N. Habegger,et al.  The Kontsevich integral and Milnor’s invariants , 2000 .

[3]  R. Schneiderman,et al.  Stable concordance of knots in $3$–manifolds , 2008, 0812.4696.

[4]  Kazuaki Kobayashi.  On a Homotopy Version of 4-Dimensional Whitney's Lemma , 1977 .

[5]  P. Teichner,et al.  Higher-order intersections in low-dimensional topology , 2010, Proceedings of the National Academy of Sciences.

[6]  R. Stong.  Uniqueness of π1-negligible embeddings in 4-manifolds: A correction to theorem 10.5 of Freedman and Quinn , 1993 .

[7]  Whitney towers and gropes in 4--manifolds , 2003, math/0310303.

[8]  D. Bar-Natan.  VASSILIEV HOMOTOPY STRING LINK INVARIANTS , 1995 .

[9]  Whitney towers and the Kontsevich integral , 2004, math/0401441.

[10]  P. Teichner,et al.  Milnor invariants and twisted Whitney towers , 2011, 1102.0758.

[11]  Peter Teichner,et al.  Alexander Duality, Gropes and Link Homotopy , 1997 .

[12]  P. Teichner,et al.  Tree homology and a conjecture of Levine , 2010, 1012.2780.

[13]  Simple Whitney towers, half-gropes and the Arf invariant of a knot , 2003, math/0310304.

[14]  D. Goldsmith.  Concordance implies homotopy for classical links inM3 , 1979 .

[15]  C. H. Giffen.  Link concordance implies link homotopy. , 1979 .

[16]  John Milnob.  Isotopy of links , 1957 .

[17]  P. Teichner,et al.  Jacobi identities in low-dimensional topology , 2004, Compositio Mathematica.

[18]  Sadayoshi Kojima.  Milnor's μ-invariants, Massey products and Whitney's trick in 4 dimensions , 1983 .

[19]  N. Habegger,et al.  The classification of links up to link-homotopy , 1990 .

[20]  Mathematische,et al.  Symmetric surgery and boundary link maps , 1998 .

[21]  Labeled binary planar trees and quasi-Lie algebras , 2005, math/0504278.

[22]  T. Kim.  On Knot Concordance , 2006 .

[23]  P. Teichner,et al.  Universal quadratic forms and Whitney tower intersection invariants , 2012, 1207.0109.

[24]  Michael H. Freedman,et al.  The topology of four-dimensional manifolds , 1982 .

[25]  F. Quinn.  Ends of maps. III. Dimensions 4 and 5 , 1982 .

[26]  F. Quinn.  Ends of Maps, I , 1979 .

[27]  S. Konyagin,et al.  Sums of products of congruence classes and of arithmetic progressions , 2007, 0707.3476.

[28]  Homology surgery and invariants of 3-manifolds. , 2000, math/0005280.

[29]  J. Milnor,et al.  ON 2-SPHERES IN 4-MANIFOLDS. , 1961, Proceedings of the National Academy of Sciences of the United States of America.

[30]  P. Teichner,et al.  Whitney tower concordance of classical links , 2012, 1202.3463.

[31]  W. Dwyer.  Homology, massey products and maps between groups , 1975 .

[32]  Whitney’s trick for three 2-dimensional homology classes of 4-manifolds , 1979 .

[33]  H. Whitney.  The Self-Intersections of a Smooth n-Manifold in 2n-Space , 1944 .

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

[35]  Yukio Matsumoto.  Secondary intersectional properties of 4 - manifolds and Whitney''''s trick , 1978 .