Positive scalar curvature, diffeomorphisms and the Seiberg–Witten invariants

Ruberman, Daniel¹

¹ Department of Mathematics, Brandeis University, Waltham, Massachusetts 02454-9110, USA

Geometry & topology, Tome 5 (2001) no. 2, pp. 895-924.

Résumé

We study the space of positive scalar curvature (psc) metrics on a 4–manifold, and give examples of simply connected manifolds for which it is disconnected. These examples imply that concordance of psc metrics does not imply isotopy of such metrics. This is demonstrated using a modification of the 1–parameter Seiberg–Witten invariants which we introduced in earlier work. The invariant shows that the diffeomorphism group of the underlying 4–manifold is disconnected. We also study the moduli space of positive scalar curvature metrics modulo diffeomorphism, and give examples to show that this space can be disconnected. The (non-orientable) 4–manifolds in this case are explicitly described, and the components in the moduli space are distinguished by a ${Pin}^c$ eta invariant.

Détail

DOI : 10.2140/gt.2001.5.895

Keywords: positive scalar curvature, Seiberg–Witten equations, isotopy

Bibliographie

[1] M F Atiyah, R Bott, A Lefschetz fixed point formula for elliptic complexes II: Applications, Ann. of Math. $(2)$ 88 (1968) 451

[2] M F Atiyah, V K Patodi, I M Singer, Spectral asymmetry and Riemannian geometry I, Math. Proc. Cambridge Philos. Soc. 77 (1975) 43

[3] M F Atiyah, V K Patodi, I M Singer, Spectral asymmetry and Riemannian geometry II, Math. Proc. Cambridge Philos. Soc. 78 (1975) 405

[4] B Botvinnik, P B Gilkey, Metrics of positive scalar curvature on spherical space forms, Canad. J. Math. 48 (1996) 64

[5] S E Cappell, R Lee, E Y Miller, Self-adjoint elliptic operators and manifold decompositions I: Low eigenmodes and stretching, Comm. Pure Appl. Math. 49 (1996) 825

[6] R Fintushel, R J Stern, Immersed spheres in 4–manifolds and the immersed Thom conjecture, Turkish J. Math. 19 (1995) 145

[7] R Fintushel, R J Stern, Knots, links, and 4–manifolds, Invent. Math. 134 (1998) 363

[8] P Gajer, Riemannian metrics of positive scalar curvature on compact manifolds with boundary, Ann. Global Anal. Geom. 5 (1987) 179

[9] P Gajer, Concordances of metrics of positive scalar curvature, Pacific J. Math. 157 (1993) 257

[10] P B Gilkey, The eta invariant for even-dimensional $\mathrm{PIN}_{\mathrm{c}}$ manifolds, Adv. in Math. 58 (1985) 243

[11] P B Gilkey, The geometry of spherical space form groups, Series in Pure Mathematics 7, World Scientific Publishing Co. (1989)

[12] R E Gompf, A I Stipsicz, 4–manifolds and Kirby calculus, Graduate Studies in Mathematics 20, American Mathematical Society (1999)

[13] M Gromov, H B Lawson Jr., The classification of simply connected manifolds of positive scalar curvature, Ann. of Math. $(2)$ 111 (1980) 423

[14] M Kreck, Isotopy classes of diffeomorphisms of $(k-1)$–connected almost-parallelizable $2k$–manifolds, from: "Algebraic topology, Aarhus 1978 (Proc. Sympos., Univ. Aarhus, Aarhus, 1978)", Lecture Notes in Math. 763, Springer (1979) 643

[15] M Kreck, Bordism of diffeomorphisms and related topics, Lecture Notes in Mathematics 1069, Springer (1984)

[16] P B Kronheimer, T S Mrowka, The genus of embedded surfaces in the projective plane, Math. Res. Lett. 1 (1994) 797

[17] H B Lawson Jr., M L Michelsohn, Spin geometry, Princeton Mathematical Series 38, Princeton University Press (1989)

[18] A Lichnerowicz, Spineurs harmoniques, C. R. Acad. Sci. Paris 257 (1963) 7

[19] R Mandelbaum, B Moishezon, On the topology of simply connected algebraic surfaces, Trans. Amer. Math. Soc. 260 (1980) 195

[20] J W Morgan, T Mrowka, D Ruberman, The $L^2$–moduli space and a vanishing theorem for Donaldson polynomial invariants, Monographs in Geometry and Topology, II, International Press (1994)

[21] B Moishezon, Complex surfaces and connected sums of complex projective planes, Lecture Notes in Mathematics 603, Springer (1977)

[22] J W Morgan, Z Szabó, C H Taubes, A product formula for the Seiberg–Witten invariants and the generalized Thom conjecture, J. Differential Geom. 44 (1996) 706

[23] L I Nicolaescu, Notes on Seiberg–Witten theory, Graduate Studies in Mathematics 28, American Mathematical Society (2000)

[24] P S Pao, The topological structure of 4–manifolds with effective torus actions I, Trans. Amer. Math. Soc. 227 (1977) 279

[25] F Quinn, Open book decompositions, and the bordism of automorphisms, Topology 18 (1979) 55

[26] J Rosenberg, S Stolz, Metrics of positive scalar curvature and connections with surgery, from: "Surveys on surgery theory, Vol. 2", Ann. of Math. Stud. 149, Princeton Univ. Press (2001) 353

[27] D Ruberman, An obstruction to smooth isotopy in dimension 4, Math. Res. Lett. 5 (1998) 743

[28] D Ruberman, A polynomial invariant of diffeomorphisms of 4–manifolds, from: "Proceedings of the Kirbyfest (Berkeley, CA, 1998)", Geom. Topol. Monogr. 2, Geom. Topol. Publ., Coventry (1999) 473

[29] R Schoen, S T Yau, On the structure of manifolds with positive scalar curvature, Manuscripta Math. 28 (1979) 159

[30] C H Taubes, $L^2$ moduli spaces on 4–manifolds with cylindrical ends, Monographs in Geometry and Topology, I, International Press (1993)