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.
@cite_1 , Rudnev and Ten assume that a geodesic flow is completely integrable with a non-degenerate first-integral map on an @math -dimensional compact manifold with first Betti number equal to @math . Non-degeneracy means, amongst other things, that the singular set is stratified by the rank of the first integral map and each stratum is a symplectic submanifold on which the system is completely integrable. From these hypotheses, they deduce that there is a lagrangian torus @math such that the natural map @math (figure ) is a homeomorphism . Theorem 2 of @cite_1 states that @math is a diffeomorphism, but this is mistaken. It is shown only that @math is a @math smooth map, hence by invariance of domain, a homeomorphism. To prove that @math is a diffeomorphism one must prove that the Maslov cocycle of @math vanishes, or something equivalent. This is the first difficulty in proving theorem .
@cite_1
2041166905 2083308781 1945101555 2133347489
This study derives geometric, variational discretization of continuum theories arising in fluid dynamics, magnetohydrodynamics (MHD), and the dynamics of complex fluids. A central role in these discretizations is played by the geometric formulation of fluid dynamics, which views solutions to the governing equations for perfect fluid flow as geodesics on the group of volume-preserving diffeomorphisms of the fluid domain. Inspired by this framework, we construct a finite-dimensional approximation to the diffeomorphism group and its Lie algebra, thereby permitting a variational temporal discretization of geodesics on the spatially discretized diffeomorphism group. The extension to MHD and complex fluid flow is then made through an appeal to the theory of Euler–Poincare systems with advection, which provides a generalization of the variational formulation of ideal fluid flow to fluids with one or more advected parameters. Upon deriving a family of structured integrators for these systems, we test their performance via a numerical implementation of the update schemes on a cartesian grid. Among the hallmarks of these new numerical methods are exact preservation of momenta arising from symmetries, automatic satisfaction of solenoidal constraints on vector fields, good long-term energy behavior, robustness with respect to the spatial and temporal resolution of the discretization, and applicability to irregular meshes. Let @math be a geometrically bounded symplectic manifold, @math be a closed, regular coisotropic submanifold, and @math be a Hamiltonian diffeomorphism. The main result of this article is that the number of leafwise fixed points of @math is bounded below by the sum of the Betti numbers of @math , provided that the Hofer distance between @math and the identity is small enough and the pair @math is non-degenerate. As an application, I prove a presymplectic non-embedding result. A version of the Arnold-Givental conjecture for coisotropic submanifolds is also discussed. Let @math be a smooth scheme over an algebraically closed field @math of characteristic zero and @math a regular function, and write @math Crit @math , as a closed subscheme of @math . The motivic vanishing cycle @math is an element of the @math -equivariant motivic Grothendieck ring @math defined by Denef and Loeser math.AG 0006050 and Looijenga math.AG 0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435. We prove three main results: (a) @math depends only on the third-order thickenings @math of @math . (b) If @math is another smooth scheme, @math is regular, @math Crit @math , and @math is an embedding with @math and @math an isomorphism, then @math equals @math "twisted" by a motive associated to a principal @math -bundle defined using @math , where now we work in a quotient ring @math of @math . (c) If @math is an "oriented algebraic d-critical locus" in the sense of Joyce arXiv:1304.4508, there is a natural motive @math , such that if @math is locally modelled on Crit @math , then @math is locally modelled on @math . Using results from arXiv:1305.6302, these imply the existence of natural motives on moduli schemes of coherent sheaves on a Calabi-Yau 3-fold equipped with "orientation data", as required in Kontsevich and Soibelman's motivic Donaldson-Thomas theory arXiv:0811.2435, and on intersections of oriented Lagrangians in an algebraic symplectic manifold. This paper is an analogue for motives of results on perverse sheaves of vanishing cycles proved in arXiv:1211.3259. We extend this paper to Artin stacks in arXiv:1312.0090. In this paper, (Liouville) integrability of geodesic flows on non-simply-connected manifolds is studied. In particular, the following result is obtained: A geodesic flow on a real-analytic Riemannian manifold cannot be integrable in terms of analytic functions if either 1) the fundamental group of the manifold contains no commutative subgroup of finite index, or 2) the first Betti number of the manifold over the field of rational numbers is greater than the dimension (the manifold is assumed to be closed). Bibliography: 11 titles.