Abstract. 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.
Inspired by Le Calvez' theory of transverse foliations for dynamical systems of surfaces [25,26], we introduce a dynamical invariant, denoted by N , for Hamiltonians of any surface other than the sphere. When the surface is the plane or is closed and aspherical, we prove that on the set of autonomous Hamiltonians this invariant coincides with the spectral invariants constructed by Viterbo on the plane and Schwarz on closed and aspherical surfaces.Along the way, we obtain several results of independent interest: We show that a formal spectral invariant, satisfying a minimal set of axioms, must coincide with N on autonomous Hamiltonians thus establishing a certain uniqueness result for spectral invariants, we obtain a "Max Formula" for spectral invariants on aspherical manifolds, give a very simple description of the Entov-Polterovich quasi-state on aspherical surfaces and characterize the heavy and super-heavy subsets of such surfaces.Formal Spectral Invariants: Although the following definition makes sense on any symplectic manifold we will restrict our attention here to the case of a surface Σ which is either the plane R 2 or is closed and aspherical. Definition 3. A function c : C ∞ ([0, 1] × Σ) → R is a formal spectral invariant if it satisfies the following four axioms: 1. (Spectrality) c(H) ∈ spec(H) for all H ∈ C ∞ ([0, 1]×Σ), where spec(H), the spectrum of H, is the set of critical values of the Hamiltonian action, that is, the set of actions of fixed points of φ 1 H .
We prove that the G-invariant orbital measures supported on adjoint orbits in the Lie algebra of a classical, compact, connected, simple Lie group satisfy a smoothness dichotomy: Either µ k is singular to Lebesgue measure or µ k ∈ L 2 . The minimum k for which µ k ∈ L 2 is specified and is also the minimum k such that the k-fold sum of the orbit has positive measure.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.