This paper proves two main results. First, it is shown that if Σ is a smooth manifold homeomorphic to the standard n-torus T n = R n Z n and H is a real-analytically completely integrable convex hamiltonian on T ∗Σ, then Σ is diffeomorphic to Tn. Second, it is proven that for some topological 7-manifolds, the cotangent bundle of each smooth structure admits a real-analytically completely integrable riemannian metric hamiltonian.
Taimanov @cite_27 has proven that if a compact manifold @math admits a real-analytically completely integrable geodesic flow, then @math is almost abelian of rank at most @math ; @math ; and there is an injection @math where @math . These constraints are ineffective for exotic tori.
@cite_27
2133347489
A set S of vector fields on a differentiable manifold M is said to be completely controllable if for every pair @math of points of M there exists a trajectory of S from m to @math . Here a trajectory of S is a curve which is an integral curve of some @math or a finite concatenation of such curves so that, in general, a trajectory of S run in reverse is no longer a trajectory. Our main theorem is: on every connected paracompact manifold of class @math , @math , or @math , there exists a completely controllable set S consisting of two vector fields of class @math .