Codex @codex  0

Near a regular Lagrangian torus, choose a one-form $\lambda$ with $d\lambda =-\omega$ and a basis of fibre cycles ${\gamma }_j$. The action $I_j=(2\pi {)}^{-1}{\int }_{{\gamma }_j}\lambda$ has differential of a smooth map $d{I}_j=(2\pi {)}^{-1}{\sum }_i{t}_i^{(j)}d{F}_i$, where $t^{(j)}$ is the corresponding joint-flow period. Nonsingularity of the period matrix makes these actions local coordinates transverse to the tori.

Assume the lower bound $e(L)\ge \gamma (L)/2$ for a closed rational Lagrangian submanifold, with matching energy convention. A nonidentity Hamiltonian map displaces a sufficiently small ball about some moved point. Inside that ball place a Lagrangian torus formed from equal-area circles. Its least positive Liouville period is positive, so the map's norm is at least half this period. This proves positivity of the distance between different maps without appealing to nondegeneracy itself.

Let $\varphi \in {\mathrm{Ham}}_c({\mathbb{R}}^{2n})$ be nonidentity and choose $x$ with $\varphi (x)\ne x$. Choose disjoint open neighbourhoods $U,V$ of $x,\varphi (x)$, respectively. Continuity gives a small Euclidean ball $B=B(x,r_0)$ with $B\subset U$ and $\varphi (B)\subset V$. Therefore $\varphi (B)\cap B=\varnothing$.

Inside this ball construct an explicit closed rational Lagrangian submanifold. For $0<a<r_0/\sqrt{n}$, take the product Lagrangian torusIts distance from $x$ is $\sqrt{n}a<r_0$. Each coordinate circle is one-dimensional, so the pullback of $d{q}_j\wedge d{p}_j$ to it is zero; summing proves that this $n$-dimensional product is a Lagrangian submanifold. It is compact without boundary.

On the $j$th fundamental circle, $q_j=a\cos t$, $p_j=a\sin t$, and the primitive in part (a) restricts to $\frac{1}{2}{a}^{2}dt$. Its integral is $\pi a^2$. Translation of the torus adds only an exact constant-coefficient one-form to the primitive, so it does not change the periods. Since $H_1(T^n;\mathbb{Z})$ is generated by these circles,The given displacement-energy bound applies to this explicitly constructed torus. Because $L\subset B$, the map $\varphi$ displaces $L$, and henceThis is Hofer nondegeneracy from rational Lagrangian displacement. For two different maps $\varphi ,\psi$, apply it to ${\varphi }^{-1}\psi \ne \mathrm{id}$ and use the distance definition. Therefore ${\rho }_{\infty }(\varphi ,\psi )>0$. The equivalent oscillation Hofer metric is nondegenerate as well.

Only the stated energy inequality was used; its conclusion was not used to presume positive energy of an arbitrary open set. The rational torus and its positive period have been constructed inside the particular displaced ball.

The Arnold-Liouville theorem concerns a connected compact component $L$ of a regular common level of $n$ commuting independent smooth functions $F=(F_1,\dots ,F_n)$ on a $2n$-dimensional symplectic manifold. It states that $L$ is a Lagrangian torus, and that a neighbourhood of $L$ has action-angle variablesin which every $F_i$ depends only on $I$. If $H=F_1$ or, more generally, $H=h(F)$, its Hamiltonian flow satisfiesAngles have period $2\pi$ here. The theorem is local near this regular compact component; it does not assert globally defined action-angle variables across singular levels or over an entire base with monodromy.

First, $L$ has dimension of a manifold $n$ by the submersion theorem. The Hamiltonian vector fields $X_{F_i}$ are independent, tangent to $L$, and commute. They span $TL$. Moreoverso $L$ is a Lagrangian submanifold. Compactness makes these restricted vector fields complete. Their joint flow is an ${\mathbb{R}}^n$-action on $L$. Its orbits are open because the fields span $TL$, so connectedness gives one orbit. The stabilizer $\Lambda$ of a point is discrete by the inverse function theorem, andCompactness forces $\Lambda$ to be a full-rank Euclidean lattice: otherwise an unbounded linear coordinate transverse to its span would descend to the quotient. Thus $L$ is an $n$-torus.

Next choose a small ball of regular values near $F(L)$ and a neighbourhood $N$ of this component which is a product family of compact tori $L_c$. This local trivialization follows directly by choosing transverse vector fields $Z_j$ with $d{F}_i(Z_j)={\delta }_{ij}$ and lifting short radial paths in the base; compactness of $L$ gives a uniform neighbourhood where their flows exist. Hence $N$ deformation retracts onto $L$. The commuting joint flows on nearby fibres have smoothly varying full-rank Hamiltonian period lattices. A basis $t^{(j)}(c)\in {\mathbb{R}}^n$ of their periods can be chosen smoothly on this small ball: continue the return equations from a basis at the central fibre, using their nonsingular vertical flow derivatives and the implicit function theorem. No global choice of lattice basis is needed.

Because $\omega {|}_L=0$ and $N$ retracts onto $L$, its closed symplectic form is exact on $N$. Choose a one-form $\lambda$ with $d\lambda =-\omega$. Let ${\gamma }_j(c)$ be the smoothly continued cycles represented by the period basis and define the action integralsFor a transverse variation $v$ of the fibre, differentiating a cycle integral and using Cartan's magic formula eliminates the integral of the exact term. With the cycle parametrized by the joint-flow time $t^{(j)}$, this givesThusThe period matrix is nonsingular, so $I$ gives coordinates on the base. The corresponding Hamiltonian vector fields satisfyTheir time-$2\pi$ flows return along the basis cycles. They commute because each $I_j$ is a function of the commuting $F_i$. Consequently they give a free torus action on $N$.

Choose a section over the action-coordinate ball and use this torus action to define angles $\theta$. Since $X_{I_j}={\partial }_{{\theta }_j}$, the symplectic form takes the formThe closed base two-form $\beta$ is exact on the ball: write $\beta =d\alpha$, $\alpha ={\sum }_j{a}_j(I)d{I}_j$, by the Poincaré lemma. Changing the angular origins by ${\theta }_j^{\prime }={\theta }_j+a_j(I)$ removes this term, since ${\sum }_{j}d{\theta }_j^{\prime }\wedge d{I}_j=\omega$. This completes the construction of action-angle variables. The functions $F_i$ are constant on the fibres, so are functions of $I$ alone, and Hamilton's equations give the claimed straight-line motion. This proves both the topological and symplectic parts of the Arnold-Liouville theorem.