Related papers: Embeddings of free groups into asymptotic cones of…
The group $Ham(M,\omega)$ of all Hamiltonian diffeomorphisms of a symplectic manifold $(M,\omega)$ plays a central role in symplectic geometry. This group is endowed with the Hofer metric. In this paper we study two aspects of the geometry…
This paper establishes robust obstructions to representing Hamiltonian diffeomorphisms as $k$-th powers ($k \geq 2$) or embedding them in flows for certain higher-dimensional symplectic manifolds $(M,\omega)$, including surface bundles. We…
We show that for any metric space $M$ satisfying certain natural conditions, there is a finitely generated group $G$, an ultrafilter $\omega $, and an isometric embedding $\iota $ of $M$ to the asymptotic cone ${\rm Cone}_\omega (G)$ such…
To every closed subset $X$ of a symplectic manifold $(M,\omega)$ we associate a natural group of Hamiltonian diffeomorphisms $Ham(X,\omega)$. We equip this group with a semi-norm $\Vert\cdot\Vert^{X,\omega}$, generalizing the Hofer norm. We…
Using a "Hodge decomposition" of symplectic isotopies on a compact symplectic manifold $(M,\omega)$, we construct a norm on the identity component in the group of all symplectic diffeomorphisms of $(M,\omega)$ whose restriction to the group…
Let $\Sigma_g$ be a closed hyperbolic surface of genus $g$ and let $Ham(\Sigma_g)$ be the group of Hamiltonian diffeomorphisms of $\Sigma_g$. The most natural word metric on this group is the autonomous metric. It has many interesting…
A fundamental result of Banyaga states that the Hamiltonian diffeomorphism group of a closed symplectic manifold is perfect. We refine this result by proving that, locally in the $C^\infty$ topology, the number of commutators needed to…
Given a finitely generated subgroup $H$ of a finitely generated group $G$ and a non-principal ultrafilter $\omega$, we consider a natural subspace, $Cone^{\omega}_{G}(H)$, of the asymptotic cone of $G$ corresponding to $H$. Informally, this…
We compare Hofer's geometries on two spaces associated with a closed symplectic manifold M. The first space is the group of Hamiltonian diffeomorphisms. The second space L consists of all Lagrangian submanifolds of $M \times M$ which are…
Let $(X,\omega)$ be a compact symplectic manifold of dimension $2n$ and let $Ham(X,\omega)$ be its group of Hamiltonian diffeomorphisms. We prove the existence of a constant $C$, depending on $X$ but not on $\omega$, such that any finite…
For any symplectic manifold, Hamiltonian diffeomorphism group contains a subset which consists of times one flows of autonomous(time-independent) Hamiltonian vector fields. Polterovich and Shelukhin proved that the complement of autonomous…
We show, by an elementary and explicit construction, that the group of Hamiltonian diffeomorphisms of certain symplectic manifolds, endowed with Hofer's metric, contains subgroups quasi-isometric to Euclidean spaces of arbitrary dimension.
We study random covers of a closed hyperbolic surface $\Sigma$, subject to the condition that, for $k\geq 2$, the fundamental group is isomorphic to the free group $F_k$. We show that asymptotically they distribute according to a specific…
The purpose of this article is to characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces. More precisely, we will show that (1) if $(M,\omega)$ admits a…
We construct a group (an HNN extension of a free group) with polynomial isoperimetric function, linear isodiametric function and non-simply connected asymptotic cones.
We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_\Sigma),\mathcal{O})_{\mathfrak{m}_\Sigma}$ of arithmetic manifolds are free over certain deformation rings $R_\Sigma$, when there are…
Let $(\X,\omega)$ be a compact symplectic orbifold. We define $\pi_1(Ham(\X, \omega))$, the fundamental group of the 2-group of Hamiltonian diffeomorphisms of $(\X, \omega)$, and construct a group homomorphism from $\pi_1(Ham(\X, \omega))$…
We construct an embedding $\Phi$ of $[0,1]^{\infty}$ into $Ham(M, \omega)$, the group of Hamiltonian diffeomorphisms of a suitable closed symplectic manifold $(M, \omega)$. We then prove that $\Phi$ is in fact a quasi-isometry. After…
We prove that if a subgroup $H$ of the automorphism group $\mathrm{Aut}(\Sigma^{\mathbb{Z}})$ of a non-trivial full shift acts on points of finite support with a free orbit, then for every finitely-generated abelian group $A$, the abstract…
The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms…