Rohlin’s invariant and gauge theory II. Mapping tori

Ruberman, Daniel¹ ; Saveliev, Nikolai²

¹ Department of Mathematics, MS 050, Brandeis University, Waltham, MA 02454, USA
² Department of Mathematics, University of Miami, PO Box 249085, Coral Gables, FL 33124, USA

Geometry & topology, Tome 8 (2004) no. 1, pp. 35-76.

Résumé

This is the second in a series of papers studying the relationship between Rohlin’s theorem and gauge theory. We discuss an invariant of a homology $S^1\times S^3$ defined by Furuta and Ohta as an analogue of Casson’s invariant for homology 3–spheres. Our main result is a calculation of the Furuta–Ohta invariant for the mapping torus of a finite-order diffeomorphism of a homology sphere. The answer is the equivariant Casson invariant (Collin–Saveliev 2001) if the action has fixed points, and a version of the Boyer–Nicas (1990) invariant if the action is free. We deduce, for finite-order mapping tori, the conjecture of Furuta and Ohta that their invariant reduces mod 2 to the Rohlin invariant of a manifold carrying a generator of the third homology group. Under some transversality assumptions, we show that the Furuta–Ohta invariant coincides with the Lefschetz number of the action on Floer homology. Comparing our two answers yields an example of a diffeomorphism acting trivially on the representation variety but non-trivially on Floer homology.

Détail

DOI : 10.2140/gt.2004.8.35

Keywords: Casson invariant, Rohlin invariant, Floer homology

Bibliographie

[1] S Akbulut, A fake compact contractible 4–manifold, J. Differential Geom. 33 (1991) 335

[2] H U Boden, A Nicas, Universal formulae for $\mathrm{SU}(n)$ Casson invariants of knots, Trans. Amer. Math. Soc. 352 (2000) 3149

[3] S Boyer, A Nicas, Varieties of group representations and Casson's invariant for rational homology 3–spheres, Trans. Amer. Math. Soc. 322 (1990) 507

[4] S Boyer, D Lines, Surgery formulae for Casson's invariant and extensions to homology lens spaces, J. Reine Angew. Math. 405 (1990) 181

[5] P J Braam, S K Donaldson, Floer's work on instanton homology, knots and surgery, from: "The Floer memorial volume", Progr. Math. 133, Birkhäuser (1995) 195

[6] P J Braam, G Matić, The Smith conjecture in dimension four and equivariant gauge theory, Forum Math. 5 (1993) 299

[7] O Collin, N Saveliev, Equivariant Casson invariants via gauge theory, J. Reine Angew. Math. 541 (2001) 143

[8] S K Donaldson, The orientation of Yang–Mills moduli spaces and 4–manifold topology, J. Differential Geom. 26 (1987) 397

[9] S K Donaldson, Floer homology groups in Yang–Mills theory, Cambridge Tracts in Mathematics 147, Cambridge University Press (2002)

[10] R Fintushel, R J Stern, Instanton homology of Seifert fibred homology three spheres, Proc. London Math. Soc. $(3)$ 61 (1990) 109

[11] R H Fox, Knots and periodic transformations, from: "Topology of 3–manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961)", Prentice-Hall (1962) 177

[12] C Frohman, A Nicas, An intersection homology invariant for knots in a rational homology 3–sphere, Topology 33 (1994) 123

[13] M Furuta, H Ohta, Differentiable structures on punctured 4–manifolds, Topology Appl. 51 (1993) 291

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

[15] C M Herald, Flat connections, the Alexander invariant, and Casson's invariant, Comm. Anal. Geom. 5 (1997) 93

[16] C M Herald, Legendrian cobordism and Chern–Simons theory on 3–manifolds with boundary, Comm. Anal. Geom. 2 (1994) 337

[17] C M Herald, Transversality for equivariant exact 1–forms and gauge theory on 3–manifolds, Adv. Math. 200 (2006) 245

[18] J Levine, Polynomial invariants of knots of codimension two, Ann. of Math. $(2)$ 84 (1966) 537

[19] K Masataka, Casson's knot invariant and gauge theory, Topology Appl. 112 (2001) 111

[20] W Neumann, J Wahl, Casson invariant of links of singularities, Comment. Math. Helv. 65 (1990) 58

[21] W D Neumann, An invariant of plumbed homology spheres, from: "Topology Symposium, Siegen 1979 (Proc. Sympos., Univ. Siegen, Siegen, 1979)", Lecture Notes in Math. 788, Springer (1980) 125

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

[23] D Ruberman, Doubly slice knots and the Casson–Gordon invariants, Trans. Amer. Math. Soc. 279 (1983) 569

[24] D Ruberman, N Saveliev, Rohlin's invariant and gauge theory I: Homology 3–tori, Comment. Math. Helv. 79 (2004) 618

[25] D A Salamon, Seiberg–Witten invariants of mapping tori, symplectic fixed points, and Lefschetz numbers, from: "Proceedings of 6th Gökova Geometry–Topology Conference" (1999) 117

[26] N Saveliev, Floer homology of Brieskorn homology spheres, J. Differential Geom. 53 (1999) 15

[27] N Saveliev, Representation spaces of Seifert fibered homology spheres, Topology Appl. 126 (2002) 49

[28] N Saveliev, A note on Akbulut corks, Math. Res. Lett. 10 (2003) 777

[29] L Siebenmann, On vanishing of the Rohlin invariant and nonfinitely amphicheiral homology 3–spheres, from: "Topology Symposium, Siegen 1979 (Proc. Sympos., Univ. Siegen, Siegen, 1979)", Lecture Notes in Math. 788, Springer (1980) 172

[30] C H Taubes, Casson's invariant and gauge theory, J. Differential Geom. 31 (1990) 547

[31] S Wang, Moduli spaces over manifolds with involutions, Math. Ann. 296 (1993) 119