Abstract
In this article, we study the Arnold conjecture in settings where objects under consideration are no longer smooth but only continuous. The example of a Hamiltonian homeomorphism, on any closed symplectic manifold of dimension greater than 2, having only one fixed point shows that the conjecture does not admit a direct generalization to continuous settings. However, it appears that the following Arnold-type principle continues to hold in \(C^0\) settings: suppose that X is a non-smooth object for which one can define spectral invariants. If the number of spectral invariants associated to X is smaller than the number predicted by the (homological) Arnold conjecture, then the set of fixed/intersection points of X is homologically non-trivial, hence it is infinite. We recently proved that the above principle holds for Hamiltonian homeomorphisms of closed and aspherical symplectic manifolds. In this article, we verify this principle in two new settings: \(C^0\) Lagrangians in cotangent bundles and Hausdorff limits of Legendrians in 1-jet bundles which are isotopic to 0-section. An unexpected consequence of the result on Legendrians is that the classical Arnold conjecture does hold for Hausdorff limits of Legendrians in 1-jet bundles.
Similar content being viewed by others
Notes
Here, \(\cap \) refers to the intersection product in homology. The cup length can be equivalently defined in terms of the cup product in cohomology.
Note that we do not make any assumptions regarding non-degeneracy of Hamiltonian diffeomorphisms here.
References
Buhovsky, L.: Towards the \(C^0\) flux conjecture. Algebr. Geom. Topol. 14(6), 3493–3508 (2014)
Buhovsky, L., Humilière, V., Seyfaddini, S.: The action spectrum and \(C^0\) symplectic topology. Math. Ann. 380(1), 293–316 (2021)
Buhovsky, L., Humilière, V., Seyfaddini, S.: A \(C^0\) counterexample to the Arnold conjecture. Invent. Math. 213(2), 759–809 (2018)
Chaperon, M.: On generating families. In: The Floer Memorial Volume, Volume 133 of Progr. Math.. Birkhäuser, Basel, pp. 283–296 (1995)
Chekanov, Y.V.: Critical points of quasifunctions, and generating families of Legendrian manifolds. Funktsional. Anal. i Prilozhen. 30(2), 56–69 (1996)
Cornea, O., Lupton, G., Oprea, J., Tanré, D.: Lusternik–Schnirelmann Category. Mathematical Surveys and Monographs, vol. 103. American Mathematical Society, Providence (2003)
Floer, A.: Proof of the Arnold conjecture for surfaces and generalizations to certain Kähler manifolds. Duke Math. J. 53(1), 1–32 (1986)
Floer, A.: The unregularized gradient flow of the symplectic action. Commun. Pure Appl. Math. 41, 775–813 (1988)
Floer, A.: Cuplength estimates on Lagrangian intersections. Commun. Pure Appl. Math. 42(4), 335–356 (1989)
Floer, A.: Symplectic fixed points and holomorphic spheres. Commun. Math. Phys. 120(4), 575–611 (1989)
Fortune, B., Weinstein, A.: A symplectic fixed point theorem for complex projective spaces. Bull. Am. Math. Soc. (N.S.) 12(1), 128–130 (1985)
Hofer, H.: Lusternik-Schnirelman-theory for Lagrangian intersections. Ann. Inst. H. Poincaré Anal. Non Linéaire 5(5), 465–499 (1988)
Hofer, H.: On the topological properties of symplectic maps. Proc. R. Soc. Edinb. Sect. A 115(1–2), 25–38 (1990)
Homma, T.: An extension of the Jordan curve theorem. Yokohama Math. J. 1, 125–129 (1953)
Howard, W.: Action Selectors and the Fixed Point Set of a Hamiltonian Diffeomorphism (2012). ArXiv: 1211.0580
Humilière, V., Leclercq, R., Seyfaddini, S.: Coisotropic rigidity and \(C^0\)-symplectic geometry. Duke Math. J. 164(4), 767–799 (2015)
Humilière, V., Vichery, N.: Cuplength estimates via microlocal sheaf theory. In preparation
Kawamoto, Y.: On \(C^0\)-continuity of the spectral norm on non-symplectically aspherical manifolds (2019). arXiv:1905.07809
Lalonde, F., McDuff, D.: The geometry of symplectic energy. Ann. Math. (2) 141(2), 349–371 (1995)
Lalonde, F., McDuff, D., Polterovich, L.: On the flux conjectures. In: Geometry, Topology, and Dynamics (Montreal, PQ, 1995), Volume 15 of CRM Proc. Lecture Notes. Amer. Math. Soc, Providence, pp. 69–85(1998)
Laudenbach, F., Sikorav, J.-C.: Persistance d’intersection avec la section nulle au cours d’une isotopie hamiltonienne dans un fibré cotangent. Invent. Math. 82(2), 349–357 (1985)
Lê, H.V., Ono, K.: Cup-length estimates for symplectic fixed points. In: Contact and Symplectic Geometry (Cambridge, 1994), Volume 8 of Publ. Newton Inst.. Cambridge Univ. Press, Cambridge, pp. 268–295 (1996)
Leclercq, R.: Spectral invariants in Lagrangian Floer theory. J. Mod. Dyn. 2(2), 249–286 (2008)
Leclercq, R., Zapolsky, F.: Spectral invariants for monotone Lagrangians. J. Topol. Anal. 10(3), 627–700 (2018)
Lusternik, L., Schnirelmann, L.: Méthodes topologiques dans les problèmes variationnels, p. 1930. Issledowatelskij Institut Mathematiki i Mechaniki pri J. M. G. U, Moskau (1930)
Matsumoto, S.: Arnold conjecture for surface homeomorphisms. In: Proceedings of the French-Japanese Conference “Hyperspace Topologies and Applications” (La Bussière, 1997), vol. 104, pp. 191–214 (2000)
Monzner, A., Vichery, N., Zapolsky, F.: Partial quasimorphisms and quasistates on cotangent bundles, and symplectic homogenization. J. Mod. Dyn. 6(2), 205–249 (2012)
Oh, Y.-G.: Symplectic topology as the geometry of action functional. II. Pants product and cohomological invariants. Commun. Anal. Geom. 7(1), 1–54 (1999)
Oh, Y.-G.: Construction of spectral invariants of Hamiltonian paths on closed symplectic manifolds. In:The Breadth of Symplectic and Poisson Geometry. Progr. Math. 232. Birkhauser, Boston, pp. 525–570 (2005)
Oh, Y.-G., Müller, S.: The group of Hamiltonian homeomorphisms and \(C^0\)-symplectic topology. J. Symplect. Geom. 5(2), 167–219 (2007)
Pageault, P.: Functions whose set of critical points is an arc. Math. Z. 275(3–4), 1121–1134 (2013)
Polterovich, L.: Symplectic displacement energy for Lagrangian submanifolds. Ergod. Theory Dyn. Syst. 13, 357–367 (1993)
Rudyak, Y.B., Oprea, J.: On the Lusternik-Schnirelmann category of symplectic manifolds and the Arnold conjecture. Math. Z. 230(4), 673–678 (1999)
Sandon, S.: On iterated translated points for contactomorphisms of \({{\mathbb{R}}}^{2n+1}\) and \({{\mathbb{R}}}^{2n}\times S^1\). Int. J. Math. 23(2), 1250042 (2012)
Sandon, S.: A Morse estimate for translated points of contactomorphisms of spheres and projective spaces. Geom. Dedicata 165, 95–110 (2013)
Schwarz, M.: On the action spectrum for closed symplectically aspherical manifolds. Pac. J. Math. 193(2), 419–461 (2000)
Seyfaddini, S.: Descent and \(C^0\)-rigidity of spectral invariants on monotone symplectic manifolds. J. Topol. Anal. 4(4), 481–498 (2012)
Seyfaddini, S.: A note on \(C^0\) rigidity of Hamiltonian isotopies. J. Symplect. Geom. 11(3), 489–496 (2013)
Shelukhin, E.: Viterbo conjecture for Zoll symmetric spaces (2018). arXiv:1811.05552
Shelukhin, E.: String topology and a conjecture of Viterbo (2019). arXiv:1904.06798
Théret, D.: A complete proof of Viterbo’s uniqueness theorem on generating functions. Topol. Appl. 96(3), 249–266 (1999)
Viterbo, C.: Symplectic topology as the geometry of generating functions. Math. Ann. 292, 685–710 (1992)
Zapolsky, F.: Geometry of contactomorphism groups, contact rigidity, and contact dynamics in jet spaces. Int. Math. Res. Not. IMRN 20, 4687–4711 (2013)
Acknowledgements
We dedicate this article to Claude Viterbo whose works in mathematics have deeply influenced ours. Not only that, Claude’s constant support and interest in our research, since the very beginnings of our careers, has been a great source of encouragement to each one of us. Lemma 4.5 was proven jointly with Rémi Leclercq. We are grateful to him for generously sharing his ideas with us. We also thank Alberto Abbondandolo for pointing out to us the paper of Pierre Pageault [31] used in the proof of Proposition 1.2. Our proofs of Theorems 1.1 and 1.5 were inspired by the paper of Wyatt Howard [15].
The first author was partially supported by ERC Starting Grant 757585 and ISF Grant 2026/17. The second author was partially supported by the ANR project “Microlocal” ANR-15-CE40-0007. This material is based upon work supported by the National Science Foundation under Grant No. DMS-1440140 while the third author was in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Fall 2018 semester. The third author greatly benefited from the lively research atmosphere of the MSRI and would like to thank the members and staff of the MSRI for their warm hospitality. The third author was partially supported by ERC Starting Grant 851701.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Claude Viterbo on the occasion of his 60th birthday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “Symplectic geometry—A Festschrift in honour of Claude Viterbo’s 60th birthday” edited by Helmut Hofer, Alberto Abbondandolo, Urs Frauenfelder, and Felix Schlenk.
Rights and permissions
About this article
Cite this article
Buhovsky, L., Humilière, V. & Seyfaddini, S. An Arnold-type principle for non-smooth objects. J. Fixed Point Theory Appl. 24, 24 (2022). https://doi.org/10.1007/s11784-022-00934-z
Accepted:
Published:
DOI: https://doi.org/10.1007/s11784-022-00934-z
Keywords
- Arnold conjecture
- \(C^0\) rigidity
- \(C^0\) Lagrangian
- Legendrian
- spectral invariants
- symplectic
- Hamiltonian homeomorphisms