Hofer's metrics and boundary depth

Usher, Michael

Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 46 (2013) no. 1, pp. 57-129

We show that if $(M,\omega )$ is a closed symplectic manifold which admits a nontrivial Hamiltonian vector field all of whose contractible closed orbits are constant, then Hofer’s metric on the group of Hamiltonian diffeomorphisms of $(M,\omega )$ has infinite diameter, and indeed admits infinite-dimensional quasi-isometrically embedded normed vector spaces. A similar conclusion applies to Hofer’s metric on various spaces of Lagrangian submanifolds, including those Hamiltonian-isotopic to the diagonal in $M\times M$ when $M$ satisfies the above dynamical condition. To prove this, we use the properties of a Floer-theoretic quantity called the boundary depth, which measures the nontriviality of the boundary operator on the Floer complex in a way that encodes robust symplectic-topological information.

Nous montrons que si $(M,\omega )$ est une variété symplectique fermée qui admet un champ vectoriel hamiltonien non-trivial dont toutes les orbites fermées contractiles sont constantes, la métrique de Hofer sur le groupe des difféomorphismes hamiltoniens de $(M,\omega )$ a alors un diamètre infini et admet donc des espaces vectoriels normés plongés quasi-isométriquement et de dimension infinie. Une conclusion semblable s’applique à la métrique de Hofer sur différents espaces de sous-variétés lagrangiennes, y compris les sous-variétés hamiltoniennes isotopiques à la diagonale en $M\times M$ où $M$ satisfait à la condition dynamique ci-dessus. Pour prouver cela, nous utilisons les propriétés d’une quantité Floer-théorique appelée profondeur de bord, qui mesure la non-trivialité de l’opérateur limite sur le complexe de Floer de manière à encoder des informations robustes de topologie symplectique.

Classification : 53D22, 53D40
Keywords: Hofer metric, hamiltonian diffeomorphism, lagrangian submanifold, Floer complex
Mots-clés : métrique de Hofer, difféomorphisme hamiltonien, sous-variété lagrangienne, complexe de Floer

[1] W. Ballmann & P. Eberlein, Fundamental groups of manifolds of nonpositive curvature, J. Differential Geom. 25 (1987), 1-22. | MR

[2] J.-F. Barraud & O. Cornea, Lagrangian intersections and the Serre spectral sequence, Ann. of Math. 166 (2007), 657-722. | MR

[3] A. Bertram & M. Thaddeus, On the quantum cohomology of a symmetric product of an algebraic curve, Duke Math. J. 108 (2001), 329-362. | MR

[4] P. Biran & O. Cornea, Quantum structures for Lagrangian submanifolds, preprint arXiv:0708.4221.

[5] P. Biran, L. Polterovich & D. Salamon, Propagation in Hamiltonian dynamics and relative symplectic homology, Duke Math. J. 119 (2003), 65-118. | MR

[6] Y. V. Chekanov, Lagrangian intersections, symplectic energy, and areas of holomorphic curves, Duke Math. J. 95 (1998), 213-226. | MR

[7] Y. V. Chekanov, Invariant Finsler metrics on the space of Lagrangian embeddings, Math. Z. 234 (2000), 605-619. | MR

[8] O. Cornea & F. Lalonde, Cluster homology, preprint arXiv:math/0508345.

[9] M. Entov & L. Polterovich, Calabi quasimorphism and quantum homology, Int. Math. Res. Not. 2003 (2003), 1635-1676. | MR

[10] A. Floer, Morse theory for Lagrangian intersections, J. Differential Geom. 28 (1988), 513-547. | MR

[11] A. Floer, Witten's complex and infinite-dimensional Morse theory, J. Differential Geom. 30 (1989), 207-221. | MR

[12] A. Floer, H. Hofer & D. Salamon, Transversality in elliptic Morse theory for the symplectic action, Duke Math. J. 80 (1995), 251-292. | MR

[13] K. Fukaya, Y.-G. Oh, H. Ohta & K. Ono, Canonical models of filtered $A_{\infty }$-algebras and Morse complexes, in New perspectives and challenges in symplectic field theory, CRM Proc. Lecture Notes 49, Amer. Math. Soc., 2009, 201-227. | MR

[14] K. Fukaya, Y.-G. Oh, H. Ohta & K. Ono, Lagrangian intersection Floer theory: Anomaly and obstruction, Studies in Adv. Math., 2009.

[15] K. Fukaya, Y.-G. Oh, H. Ohta & K. Ono, Anti-symplectic involution and Floer cohomology, preprint arXiv:0912:2642.

[16] K. Fukaya, Y.-G. Oh, H. Ohta & K. Ono, Displacement of polydisks and Lagrangian Floer theory, preprint arXiv:1102.4267.

[17] K. Fukaya & K. Ono, Arnold conjecture and Gromov-Witten invariant, Topology 38 (1999), 933-1048. | MR

[18] L. Gerritzen & U. Güntzer, Über Restklassennormen auf affinoiden Algebren, Invent. Math. 3 (1967), 71-74. | MR

[19] R. E. Gompf, A new construction of symplectic manifolds, Ann. of Math. 142 (1995), 527-595. | MR

[20] H. Hofer, On the topological properties of symplectic maps, Proc. Roy. Soc. Edinburgh Sect. A 115 (1990), 25-38. | MR

[21] H. Hofer & D. Salamon, Floer homology and Novikov rings, in The Floer memorial volume, Progr. Math. 133, Birkhäuser, 1995, 483-524. | MR

[22] H. Hofer & C. Viterbo, The Weinstein conjecture in the presence of holomorphic spheres, Comm. Pure Appl. Math. 45 (1992), 583-622. | MR

[23] S. Hu & F. Lalonde, A relative Seidel morphism and the Albers map, Trans. Amer. Math. Soc. 362 (2010), 1135-1168. | MR

[24] H. Iritani, Convergence of quantum cohomology by quantum Lefschetz, J. reine angew. Math. 610 (2007), 29-69. | MR

[25] T. Kato, Perturbation theory for linear operators, Grundl. der Math. Wiss. 132, Springer, 1976. | MR

[26] M. Khanevsky, Hofer's metric on the space of diameters, J. Topol. Anal. 1 (2009), 407-416. | MR

[27] F. Lalonde & D. Mcduff, The geometry of symplectic energy, Ann. of Math. 141 (1995), 349-371. | MR

[28] F. Lalonde & D. Mcduff, Hofer’s $L^{\infty }$-geometry: energy and stability of Hamiltonian flows. I, II, Invent. Math. 122 (1995), 1-33, 35-69. | MR

[29] F. Lalonde & C. Pestieau, Stabilisation of symplectic inequalities and applications, in Northern California Symplectic Geometry Seminar, Amer. Math. Soc. Transl. Ser. 2 196, Amer. Math. Soc., 1999, 63-71. | MR

[30] F. Lalonde & L. Polterovich, Symplectic diffeomorphisms as isometries of Hofer's norm, Topology 36 (1997), 711-727. | MR

[31] R. Leclercq, Spectral invariants in Lagrangian Floer theory, J. Mod. Dyn. 2 (2008), 249-286. | MR

[32] W. Li, The $\mathbb{Z}$-graded symplectic Floer cohomology of monotone Lagrangian sub-manifolds, Algebr. Geom. Topol. 4 (2004), 647-684. | MR

[33] G. Liu & G. Tian, Floer homology and Arnold conjecture, J. Differential Geom. 49 (1998), 1-74. | MR

[34] G. Lu, An explicit isomorphism between Floer homology and quantum homology, Pacific J. Math. 213 (2004), 319-363. | MR

[35] G. Lu, Gromov-Witten invariants and pseudo symplectic capacities, Israel J. Math. 156 (2006), 1-63. | MR

[36] D. Mcduff, Loops in the Hamiltonian group: a survey, in Symplectic topology and measure preserving dynamical systems, Contemp. Math. 512, Amer. Math. Soc., 2010, 127-148. | MR

[37] D. Mcduff, Monodromy in Hamiltonian Floer theory, Comment. Math. Helv. 85 (2010), 95-133. | MR

[38] D. Mcduff & D. Salamon, $J$-holomorphic curves and symplectic topology, American Mathematical Society Colloquium Publications 52, Amer. Math. Soc., 2004. | MR

[39] D. Mcduff & J. Slimowitz, Hofer-Zehnder capacity and length minimizing Hamiltonian paths, Geom. Topol. 5 (2001), 799-830. | MR

[40] D. Milinković, Action spectrum and Hofer's distance between Lagrangian submanifolds, Differential Geom. Appl. 17 (2002), 69-81. | MR

[41] Y.-G. Oh, Floer cohomology of Lagrangian intersections and pseudo-holomorphic disks. I, Comm. Pure Appl. Math. 46 (1993), 949-993. | MR

[42] Y.-G. Oh, Spectral invariants and the length minimizing property of Hamiltonian paths, Asian J. Math. 9 (2005), 1-18. | MR

[43] Y.-G. Oh, Floer mini-max theory, the Cerf diagram, and the spectral invariants, J. Korean Math. Soc. 46 (2009), 363-447; Erratum 47 (2010), 1329-1330. | MR

[44] Y.-G. Oh & K. Zhu, Floer trajectories with immersed nodes and scale-dependent gluing, J. Symplectic Geom. 9 (2011), 483-636. | MR

[45] Y. Ostrover, A comparison of Hofer's metrics on Hamiltonian diffeomorphisms and Lagrangian submanifolds, Commun. Contemp. Math. 5 (2003), 803-811. | MR

[46] T. Perutz, Lagrangian matching invariants for fibred four-manifolds. I, Geom. Topol. 11 (2007), 759-828. | MR

[47] S. Piunikhin, D. Salamon & M. Schwarz, Symplectic Floer-Donaldson theory and quantum cohomology, in Contact and symplectic geometry (Cambridge, 1994), Publ. Newton Inst. 8, Cambridge Univ. Press, 1996, 171-200. | MR

[48] L. Polterovich, Hofer's diameter and Lagrangian intersections, Int. Math. Res. Not. 1998 (1998), 217-223. | MR

[49] P. Py, Quelques plats pour la métrique de Hofer, J. reine angew. Math. 620 (2008), 185-193. | MR

[50] J. Robbin & D. Salamon, The Maslov index for paths, Topology 32 (1993), 827-844. | MR

[51] D. Salamon & E. Zehnder, Morse theory for periodic solutions of Hamiltonian systems and the Maslov index, Comm. Pure Appl. Math. 45 (1992), 1303-1360. | MR

[52] F. Schlenk, Applications of Hofer's geometry to Hamiltonian dynamics, Comment. Math. Helv. 81 (2006), 105-121. | MR

[53] M. Schwarz, Morse homology, Progress in Math. 111, Birkhäuser, 1993. | MR

[54] M. Schwarz, On the action spectrum for closed symplectically aspherical manifolds, Pacific J. Math. 193 (2000), 419-461. | MR

[55] P. Seidel, ${\pi }_1$ of symplectic automorphism groups and invertibles in quantum homology rings, Geom. Funct. Anal. 7 (1997), 1046-1095. | MR

[56] M. Usher, Spectral numbers in Floer theories, Compos. Math. 144 (2008), 1581-1592. | MR

[57] M. Usher, Duality in filtered Floer-Novikov complexes, J. Topol. Anal. 2 (2010), 233-258. | MR

[58] M. Usher, The sharp energy-capacity inequality, Commun. Contemp. Math. 12 (2010), 457-473. | MR

[59] M. Usher, Boundary depth in Floer theory and its applications to Hamiltonian dynamics and coisotropic submanifolds, Israel J. Math. 184 (2011), 1-57. | MR

[60] M. Usher, Many closed symplectic manifolds have infinite Hofer-Zehnder capacity, Trans. Amer. Math. Soc. 364 (2012), 5913-5943. | MR

[61] M. Usher, Linking and the morse complex, preprint arXiv:1207:0889.

[62] C. Viterbo, Intersection de sous-variétés lagrangiennes, fonctionnelles d'action et indice des systèmes hamiltoniens, Bull. Soc. Math. France 115 (1987), 361-390. | MR

[63] J. A. Yorke, Periods of periodic solutions and the Lipschitz constant, Proc. Amer. Math. Soc. 22 (1969), 509-512. | MR