Abstract
We prove the Poisson version of the Eliashberg-Gromov \(C^0\)-rigidity. More precisely, we prove that the group of Poisson diffeomorphisms is closed with respect to the \(C^0\) topology inside the group of all diffeomorphisms. The proof relies on the Poisson version of the energy-capacity inequality.
Similar content being viewed by others
Notes
Note that the Leibniz identity (1) implies that \(\{f_t, \cdot \}\) is a derivation of \(C^{\infty }(M)\) and as such it defines a (time-dependent) vector field on M.
Note that for symplectic manifolds, the closedness of the symplectic form is equivalent with the Jacobi identity for the corresponding Poisson bracket.
Compact and without boundary.
Here by section we mean with respect to the target map, i.e. \(t\circ b = {\text {id}}_M: M \rightarrow M\).
Actually, in [21] the non-degeneracy of the Hofer norm was claimed for regular Poisson manifolds, but in the proof they do not use regularity, but the assumption that the restriction of a compactly supported function to a leaf is compactly supported, however, without stating this explicitly.
References
Arnaud, M.-C.: Rigidity in topology \(C^0\) of the Poisson bracket for Tonelli Hamiltonians. Nonlinearity 28(8), 2731–2742 (2015)
Burago, D., Ivanov, S., Polterovich, L.: Conjugation-invariant norms on groups of geometric origin. Groups diffeomorphisms 52, 221–250 (2008)
Buhovsky, L., Opshtein, E.: Some quantitative results in \({C}^0\) symplectic geometry. Invent. Math. 205(1), 1–56 (2016)
Buhovsky, L.: The \(2/3\)-convergence rate for the Poisson bracket. Geom. Funct. Anal. 19(6), 1620–1649 (2010)
Crainic, M., Fernandes, R.L.: Integrability of Poisson brackets. J. Differential Geom. 66(1), 71–137 (2004)
Crainic, M., Fernandes, R.L., Mărcuţ, I.: Lectures on Poisson geometry. American Mathematical Society, Providence (2021)
Cristofaro-Gardiner, D., Humilière, V., Seyfaddini, S.: Proof of the simplicity conjecture. arXiv:2001.01792, (2020)
Cardin, F., Viterbo, C.: Commuting Hamiltonians and Hamilton-Jacobi multi-time equations. Duke Math. J. 144(2), 235–284 (2008)
Entov, M., Polterovich, L.: \(C^0\)-rigidity of Poisson brackets. In Symplectic topology and measure preserving dynamical systems, volume 512 of Contemp. Math., pages 25–32. Amer. Math. Soc., Providence, RI, (2010)
Humilière, V., Leclercq, R., Seyfaddini, S.: Coisotropic rigidity and \(C^0\)-symplectic geometry. Duke Math. J. 164(4), 767–799 (2015)
Hofer, H.: On the topological properties of symplectic maps. Proc. R. Soc. Edinburgh Sect. A 115(1–2), 25–38 (1990)
Humilière, V.: Hamiltonian pseudo-representations. Comment. Math. Helv. 84(3), 571–585 (2009)
Humilière, V.: Géométrie symplectique \(C^0\) et sélecteurs d’action. Diplôme d’habilitation à diriger des recherches en mathématiques de l’Université Pierre et Marie Curie, (2017)
Joksimović, D., Mărcuţ, I.: Non-degeneracy of the Hofer norm for Poisson structures. J. Symplectic Geom. 19(5), 1095–1100 (2021)
Lalonde, F., McDuff, D.: The geometry of symplectic energy. Ann. Math. 141(2), 349–371 (1995)
Laudenbach, F., Sikorav, J.C.: Hamiltonian disjunction and limits of Lagrangian submanifolds. Int. Math. Res. Notices 1994(4), 161–168 (1994)
Mackenzie, K.C., Xu, P.: Integration of Lie bialgebroids. Topology 39(3), 445–467 (2000)
Yong-Geun, O., Müller, S.: The group of Hamiltonian homeomorphisms and \(C^0\)-symplectic topology. J. Symplectic Geom. 5(2), 167–219 (2007)
Polterovich, L.: Symplectic displacement energy for Lagrangian submanifolds. Ergodic Theory Dynam. Syst. 13(2), 357–367 (1993)
Rybicki, T.: On the existence of a Hofer type metric for Poisson manifolds. Internat. J. Math. 27(9), 1650075 (2016)
Sun, D., Zhang, Z.: A Hofer-type norm of Hamiltonian maps on regular Poisson manifold. J. Appl. Math. (2014). https://doi.org/10.1155/2014/879196
Zapolsky, F.: Quasi-states and the Poisson bracket on surfaces. J. Mod. Dyn. 1(3), 465–475 (2007)
Acknowledgements
I would like to thank Ioan Mărcuț for carefully reading and providing a very useful feedback on a preliminary version of the article and for suggesting Questions 1 and 3, and to Marius Crainic for an interesting discussion and suggesting Remark 2. The idea for the proof of Theorem 1 arose while I was preparing a talk for the UGC seminar at Utrecht University and therefore I would like to thank Fabian Ziltener and Álvaro del Pino Gómez for inviting me to give a talk. The work on this project was funded by Agence Nationale de la Recherche through “ANR COSY: New challenges in contact and symplectic topology” grant (decision ANR-21-CE40-0002).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Joksimović, D. \(C^0\)-rigidity of Poisson diffeomorphisms. Lett Math Phys 113, 69 (2023). https://doi.org/10.1007/s11005-023-01696-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01696-6