Rigidity of integrable twist maps and a theorem of Moser

Abstract

According to a theorem of Moser, every monotone twist map $\varphi$ on the cylinder ${\Bbb S}^1\times {\Bbb R}$, which is integrable outside a compact set, is the time-1-map $\varphi_H^1$ of a fibrewise convex Hamiltonian $H$. In this paper we prove that if this particular flow $\varphi_H^t$ is also integrable outside a compact set, then $\varphi$ has to be integrable on the whole cylinder (and vice versa, of course). From this dynamical point of view, integrable twist maps appear to be quite rigid.

As is shown in the appendix, an analogous rigidity result becomes trivial in higher dimensions.