Square roots of Hamiltonian diffeomorphisms (Q462168): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1304.4067 / rank | |||
Normal rank |
Latest revision as of 14:57, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Square roots of Hamiltonian diffeomorphisms |
scientific article |
Statements
Square roots of Hamiltonian diffeomorphisms (English)
0 references
15 October 2014
0 references
Let \((M, \omega)\) be a closed symplectic manifold, and let \(\text{Symp} (M, \omega)\) be the group of symplectic diffeomorphisms of \((M, \omega)\). Then the group \(\text{Ham}(M, \omega)\) of Hamiltonian diffeomorphisms on \((M, \omega)\) is a normal subgroup of \(\text{Symp}(M, \omega)\) and is an infinite-dimensional Lie group. It is well known by a result of Banyaga that \(\text{Ham} (M, \omega)\) is simple, i.e., contains no non-trivial normal subgroups. The paper under review is concerned with the structure of \(\text{Ham} (M, \omega)\). To be precise, the authors prove that there exists an arbitrarily \(C^\infty\)-small Hamiltonian diffeomorphism \(\phi\) which does not admit any square root, i.e., \(\phi\neq \psi^2\) for any \(\psi\in \text{Ham} (M, \omega)\). One crucial step of the paper is to construct a Hamiltonian diffeomorphism \(\phi\) which has exactly one \(2k\)-cycle. The main result then follows from Milnor's observation that an obstruction to the existence of a square root is an odd number of \(2k\)-cycles. It would be interesting to answer the question of whether an arbitrarily given \(C^\infty\)-small Hamiltonian diffeomorphism admits no square root. Finally, we remark that there are several misprints in the paper that can be easily noticed.
0 references
symplectic diffeomorphisms
0 references
Hamiltonian diffeomorphisms
0 references
Milnor's theorem
0 references
square roots
0 references