Higher order intersection numbers of 2–spheres in 4–manifolds

Schneiderman, Rob¹ ; Teichner, Peter²

¹Dept of Mathematics, University of California at Berkeley, Berkeley CA 94720-3840, USA
²Dept of Mathematics, University of California at San Diego, La Jolla CA 92093-0112, USA

Algebraic and Geometric Topology, Tome 1 (2001) no. 1, pp. 1-29

Résumé

This is the beginning of an obstruction theory for deciding whether a map f : S2 → X4 is homotopic to a topologically flat embedding, in the presence of fundamental group and in the absence of dual spheres. The first obstruction is Wall’s self-intersection number μ(f) which tells the whole story in higher dimensions. Our second order obstruction τ(f) is defined if μ(f) vanishes and has formally very similar properties, except that it lies in a quotient of the group ring of two copies of π1X modulo S3–symmetry (rather then just one copy modulo S2–symmetry). It generalizes to the non-simply connected setting the Kervaire–Milnor invariant which corresponds to the Arf–invariant of knots in 3–space.

We also give necessary and sufficient conditions for moving three maps f1,f2,f3: S2 → X4 to a position in which they have disjoint images. Again the obstruction λ(f1,f2,f3) generalizes Wall’s intersection number λ(f1,f2) which answers the same question for two spheres but is not sufficient (in dimension 4) for three spheres. In the same way as intersection numbers correspond to linking numbers in dimension 3, our new invariant corresponds to the Milnor invariant μ(1,2,3), generalizing the Matsumoto triple to the non simply-connected setting.

Détail

DOI : 10.2140/agt.2001.1.1

Keywords: intersection number, 4–manifold, Whitney disk, immersed 2–sphere, cubic form

Bibliographie

[1] T D Cochran, K E Orr, P Teichner, Knot concordance, Whitney towers and $L^2$–signatures, Ann. of Math. $(2)$ 157 (2003) 433

[2] M H Freedman, F Quinn, Topology of 4–manifolds, Princeton Mathematical Series 39, Princeton University Press (1990)

[3] S Garoufalidis, J Levine, Homology surgery and invariants of 3–manifolds, Geom. Topol. 5 (2001) 551

[4] S Garoufalidis, L Rozansky, The loop expansion of the Kontsevich integral, the null-move and $S$–equivalence, Topology 43 (2004) 1183

[5] I Hambleton, M Kreck, Cancellation of hyperbolic forms and topological four-manifolds, J. Reine Angew. Math. 443 (1993) 21

[6] W C Hsiang, R H Szczarba, On embedding surfaces in four-manifolds, from: "Algebraic topology (Proc. Sympos. Pure Math., Vol. XXII, Univ. Wisconsin, Madison, Wis., 1970)", Amer. Math. Soc. (1971) 97

[7] M A Kervaire, J W Milnor, On 2–spheres in 4–manifolds, Proc. Nat. Acad. Sci. U.S.A. 47 (1961) 1651

[8] R Lee, D M Wilczyński, Locally flat 2–spheres in simply connected 4–manifolds, Comment. Math. Helv. 65 (1990) 388

[9] G S Li, An invariant of link homotopy in dimension four, Topology 36 (1997) 881

[10] Y Matsumoto, Secondary intersectional properties of 4–manifolds and Whitney's trick, from: "Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 2", Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc. (1978) 99

[11] V A Rohlin, Two-dimensional submanifolds of four-dimensional manifolds, Funkcional. Anal. i Priložen. 5 (1971) 48

[12] R Stong, Existence of $\pi_1$–negligible embeddings in 4–manifolds. A correction to Theorem 10.5 of Freedmann and Quinn, Proc. Amer. Math. Soc. 120 (1994) 1309

[13] A G Tristram, Some cobordism invariants for links, Proc. Cambridge Philos. Soc. 66 (1969) 251

[14] C T C Wall, Surgery on compact manifolds, Mathematical Surveys and Monographs 69, American Mathematical Society (1999)

[15] H Whitney, The self-intersections of a smooth $n$–manifold in $2n$–space, Ann. of Math. $(2)$ 45 (1944) 220

[16] M Yamasaki, Whitney's trick for three 2–dimensional homology classes of 4–manifolds, Proc. Amer. Math. Soc. 75 (1979) 365