Floer homology of families I

Hutchings, Michael¹

¹Mathematics Department, 970 Evans Hall, University of California, Berkeley, CA 94720

Algebraic and Geometric Topology, Tome 8 (2008) no. 1, pp. 435-492

Résumé

In principle, Floer theory can be extended to define homotopy invariants of families of equivalent objects (eg Hamiltonian isotopic symplectomorphisms, 3–manifolds, Legendrian knots, etc.) parametrized by a smooth manifold B. The invariant of a family consists of a filtered chain homotopy type, which gives rise to a spectral sequence whose E2 term is the homology of B with local coefficients in the Floer homology of the fibers. This filtered chain homotopy type also gives rise to a “family Floer homology” to which the spectral sequence converges. For any particular version of Floer theory, some analysis needs to be carried out in order to turn this principle into a theorem. This paper constructs the invariant in detail for the model case of finite dimensional Morse homology, and shows that it recovers the Leray–Serre spectral sequence of a smooth fiber bundle. We also generalize from Morse homology to Novikov homology, which involves some additional subtleties.

Détail

DOI : 10.2140/agt.2008.8.435

Keywords: Floer homology

Bibliographie

[1] D M Austin, P J Braam, Morse–Bott theory and equivariant cohomology, from: "The Floer memorial volume", Progr. Math. 133, Birkhäuser (1995) 123

[2] J F Barraud, O Cornea, Lagrangian intersections and the Serre spectral sequence, Annals of Math. 166 (2007) 657

[3] P Biran, Lagrangian barriers and symplectic embeddings, Geom. Funct. Anal. 11 (2001) 407

[4] J M Bismut, S Goette, Families torsion and Morse functions, Astérisque (2001)

[5] R Bott, An application of the Morse theory to the topology of Lie-groups, Bull. Soc. Math. France 84 (1956) 251

[6] R Bott, Morse theory indomitable, Inst. Hautes Études Sci. Publ. Math. (1988)

[7] F Bourgeois, Contact homology and homotopy groups of the space of contact structures, Math. Res. Lett. 13 (2006) 71

[8] Y Chekanov, Differential algebra of Legendrian links, Invent. Math. 150 (2002) 441

[9] R Cohen, J Jones, G Segal, Morse theory and classifying spaces, Warwick Univ. preprint (1995)

[10] O Cornea, A Ranicki, Rigidity and gluing for Morse and Novikov complexes, J. Eur. Math. Soc. $($JEMS$)$ 5 (2003) 343

[11] T Ekholm, T Kálmán, Isotopies of Legendrian $1$–knots and Legendrian $2$–tori

[12] Y Eliashberg, A Givental, H Hofer, Introduction to symplectic field theory, Geom. Funct. Anal. (2000) 560

[13] J B Etnyre, L L Ng, J M Sabloff, Invariants of Legendrian knots and coherent orientations, J. Symplectic Geom. 1 (2002) 321

[14] A Floer, Morse theory for Lagrangian intersections, J. Differential Geom. 28 (1988) 513

[15] K Fukaya, Floer homology of connected sum of homology $3$–spheres, Topology 35 (1996) 89

[16] K Fukaya, Floer homology for families – report of a project in progress, preprint (2001)

[17] K Fukaya, P Seidel, I Smith, The symplectic geometry of cotangent bundles from a categorical viewpoint

[18] H Geiges, J Gonzalo Perez, On the topology of the space of contact structures on torus bundles, Bull. London Math. Soc. 36 (2004) 640

[19] A Hatcher, Algebraic topology, Cambridge University Press (2002)

[20] H Hofer, D A Salamon, Floer homology and Novikov rings, from: "The Floer memorial volume", Progr. Math. 133, Birkhäuser (1995) 483

[21] M Hutchings, Floer homology of families II: symplectomorphisms, in preparation

[22] M Hutchings, Reidemeister torsion in generalized Morse theory, Forum Math. 14 (2002) 209

[23] M Hutchings, Y J Lee, Circle-valued Morse theory, Reidemeister torsion, and Seiberg–Witten invariants of $3$–manifolds, Topology 38 (1999) 861

[24] T Kálmán, Contact homology and one parameter families of Legendrian knots, Geom. Topol. 9 (2005) 2013

[25] P Kronheimer, T Mrowka, Monopoles and three-manifolds, New Mathematical Monographs 10, Cambridge University Press (2007)

[26] P Kronheimer, T Mrowka, P Ozsváth, Z Szabó, Monopoles and lens space surgeries, Ann. of Math. $(2)$ 165 (2007) 457

[27] J Latschev, A generalization of the Morse complex, PhD thesis, SUNY Stony Brook (1998)

[28] F Laudenbach, On the Thom–Smale complex, Astérisque (1992) 219

[29] D Mcduff, D Salamon, $J$–holomorphic curves and quantum cohomology, University Lecture Series 6, Amer. Math. Soc. (1994)

[30] A Oancea, Fibered symplectic cohomology and the Leray–Serre spectral sequence

[31] A Oancea, La suite spectrale de Leray–Serre en homologie de Floer des variétés symplectiques compactes à bord de type contact, PhD thesis, Université Paris Sud, Orsay (2003)

[32] P Ozsváth, Z Szabó, Holomorphic disks and topological invariants for closed three-manifolds, Ann. of Math. $(2)$ 159 (2004) 1027

[33] M Poźniak, Floer homology, Novikov rings and clean intersections, from: "Northern California Symplectic Geometry Seminar", Amer. Math. Soc. Transl. Ser. 2 196, Amer. Math. Soc. (1999) 119

[34] J Robbin, D Salamon, The spectral flow and the Maslov index, Bull. London Math. Soc. 27 (1995) 1

[35] D Salamon, Lectures on Floer homology, from: "Symplectic geometry and topology (Park City, UT, 1997)" (editor Y Eliashberg), IAS/Park City Math. Ser. 7, Amer. Math. Soc. (1999) 143

[36] Y Savelyev, Quantum characteristic classes and the Hofer metric

[37] M Schwarz, Morse homology, Progress in Mathematics 111, Birkhäuser Verlag (1993)

[38] P Seidel, Floer homology and the symplectic isotopy problem, PhD thesis, Oxford University (1997)

[39] P Seidel, $\pi_1$ of symplectic automorphism groups and invertibles in quantum homology rings, Geom. Funct. Anal. 7 (1997) 1046

[40] C Viterbo, Functors and computations in Floer homology with applications. I, Geom. Funct. Anal. 9 (1999) 985

[41] E Witten, Supersymmetry and Morse theory, J. Differential Geom. 17 (1982)