Abstract:For a closed negatively monotone symplectic manifold, we construct quasi-isometric embeddings from the Euclidean spaces to its Hamiltonian diffeomorphism group, assuming it contains an incompressible heavy Lagrangian. We also show the super-heaviness of its skeleton with respect to a Donaldson hypersurface.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the spectral diameter problem of the Hamiltonian diffeomorphism group of negatively monotone symplectic manifolds. Specifically, the author focuses on how to construct quasi - isometric embeddings from Euclidean spaces to the Hamiltonian diffeomorphism groups of these manifolds and prove the existence and properties of certain specific subsets (such as incompressible heavy Lagrangian submanifolds).
### Main problems and methods
1. **Constructing quasi - isometric embeddings**:
The author attempts to construct quasi - isometric embeddings from the Euclidean space $\mathbb{R}^N$ to the Hamiltonian diffeomorphism group $\text{Ham}(M,\omega)$ of the negatively monotone symplectic manifold $(M^{2n},\omega)$. This involves using quasi - flat maps $I:(\mathbb{R}^N,|\cdot|_\infty)\to\text{Ham}(M,\omega)$ and satisfying the following inequality:
\[
|x|_\infty\leq v(I(x))\leq|I(x)|_{\text{Hofer}}\leq 2|x|_\infty
\]
where $v$ is the spectral norm and $|\cdot|_{\text{Hofer}}$ is the Hofer norm.
2. **Studying heavy Lagrangian submanifolds**:
The author pays special attention to negatively monotone symplectic manifolds that contain incompressible heavy Lagrangian submanifolds. Incompressible means that the fundamental group homomorphism induced by the inclusion map of the Lagrangian submanifold is injective.
3. **Proving super - heavy skeletons**:
The author also proves that, given a Donaldson hypersurface, the skeleton of the symplectic manifold is super - heavy. Specifically, for the negatively monotone symplectic manifold $(M^{2n},\omega)$ that satisfies the condition $c_1(TM)|_{\pi_2(M)}=\tau\cdot\omega|_{\pi_2(M)}$, its skeleton $L_Y$ is super - heavy.
### Main results
- **Theorem 1.1**: If the closed negatively monotone symplectic manifold $(M^{2n},\omega)$ contains an incompressible heavy Lagrangian submanifold, then for any positive integer $N$, there exists a group homomorphism $I:(\mathbb{R}^N,|\cdot|_\infty)\to\text{Ham}(M,\omega)$ that satisfies the above inequality.
- **Theorem 1.7**: If the incompressible Lagrangian submanifold $L$ is heavy, then for any Weinstein neighborhood $U$, the boundary $\partial(M - U)$ is also heavy.
- **Theorem 1.11**: For the closed integral symplectic manifold $(M^{2n},\omega)$ and the Donaldson hypersurface $Y^{2n - 2}$ within it, its skeleton $L_Y$ is super - heavy.
Through these results, the author provides new insights into understanding the geometric structure of the Hamiltonian diffeomorphism group of negatively monotone symplectic manifolds, especially regarding the properties of its spectral diameter.