New energy-capacity-type inequalities and uniqueness of continuous Hamiltonians

We prove a new variant of the energy-capacity inequality for closed rational symplectic manifolds (as well as certain open manifolds such as cotangent bundle of closed manifolds...) and we derive some consequences to C^0-symplectic topology. Namely, we prove that a continuous function which is a uniform limit of smooth Hamiltonians whose flows converge to the identity for the spectral (or Hofer's) distance must vanish. This gives a new proof of uniqueness of continuous generating Hamiltonian for hameomorphisms. This also allows us to improve a result by Cardin and Viterbo on the C^0-rigidity of the Poisson bracket.Comment: 18 pages. v2. Several minor changes. Reference list updated. To appear in Commentarii Mathematici Helvetic

Reduction of symplectic homeomorphisms

In a previous article, we proved that symplectic homeomorphisms preserving a coisotropic submanifold C, preserve its characteristic foliation as well. As a consequence, such symplectic homeomorphisms descend to the reduction of the coisotropic C. In this article we show that these reduced homeomorphisms continue to exhibit certain symplectic properties. In particular, in the specific setting where the symplectic manifold is a torus and the coisotropic is a standard subtorus, we prove that the reduced homeomorphism preserves spectral invariants and hence the spectral capacity. To prove our main result, we use Lagrangian Floer theory to construct a new class of spectral invariants which satisfy a non-standard triangle inequality.Comment: 39 pages, to appear in Annales scientifiques de l'\'Ecole normale sup\'erieur

Coisotropic rigidity and C^0-symplectic geometry

We prove that symplectic homeomorphisms, in the sense of the celebrated Gromov-Eliashberg Theorem, preserve coisotropic submanifolds and their characteristic foliations. This result generalizes the Gromov-Eliashberg Theorem and demonstrates that previous rigidity results (on Lagrangians by Laudenbach-Sikorav, and on characteristics of hypersurfaces by Opshtein) are manifestations of a single rigidity phenomenon. To prove the above, we establish a C^0-dynamical property of coisotropic submanifolds which generalizes a foundational theorem in C^0-Hamiltonian dynamics: Uniqueness of generators for continuous analogs of Hamiltonian flows.Comment: 27 pages. v2. Significant reorganization of the paper, several typos and inaccuracies corrected after the refeering process. A theorem (Theorem 5, completing the study of C^0 dynamical properties of coisotropics) added. To appear in Duke Mathematical Journa

Action minimizing properties and distances on the group of Hamiltonian diffeomorphisms

In this article we prove that for a smooth fiberwise convex Hamiltonian, the asymptotic Hofer distance from the identity gives a strict upper bound to the value at 0 of Mather's $\beta$ function, thus providing a negative answer to a question asked by K. Siburg in \cite{Siburg1998}. However, we show that equality holds if one considers the asymptotic distance defined in \cite{Viterbo1992}.Comment: 21pp, accepted for publication in Geometry & Topolog

Hamiltonian pseudo-representations

16 pages. Main result extended to a large class of Lie algebras.International audienceThe question studied here is the behavior of the Poisson bracket under C^0-perturbations. In this purpose, we introduce the notion of pseudo-representation and prove that for a normed Lie algebra, it converges to a representation. An unexpected consequence of this result is that for many non-closed symplectic manifolds (including cotangent bundles), the group of Hamiltonian diffeomorphisms (with no assumptions on supports) has no C^{-1} bi-invariant metric. Our methods also provide a new proof of Gromov-Eliashberg Theorem, it is to say that the group of symplectic diffeomorphisms is C^0-closed in the group of all diffeomorphisms

On some completions of the space of Hamiltonian maps

We study the completions of the space of Hamiltonian diffeomorphisms of the standard linear symplectic space, for Viterbo's distance and some others derived from it, we study their different inclusions and give some of their properties. In particular, we give a convergence criterion for these distances. This allows us to prove that the completions contain non-ordinary elements, as for example, discontinuous Hamiltonians. We also prove that some dynamical properties of Hamiltonian systems are preserved in the completions.Comment: 31 page

Higher Dimensional Birkhoff attractors

We extend to higher dimensions the notion of Birkhoff attractor of a dissipative map. We prove that this notion coincides with the classical Birkhoff attractor. We prove that for the dissipative system associated to the discounted Hamilton-Jacobi equation the graph of a solution is contained in the Birkhoff attractor. We also study what happens when we perturb a Hamiltonian system to make it dissipative and let the perturbation go to zero. The paper contains two important results on $\gamma$-supports and elements of the $\gamma$-completion of the space of exact Lagrangians. Firstly the $\gamma$-support of a Lagrangian in a cotangent bundle carries the cohomology of the base and secondly given an exact Lagrangian $L$, any Floer theoretic equivalent Lagrangian is the $\gamma$-limit of Hamiltonian images of $L$.Comment: 35 page