Abstract:We initiate the study of the fundamental group of natural completions of the group of Hamiltonian diffeomorphisms, namely its $C^0$-closure $\overline{\mathrm{Ham}}(M,\omega)$ and its completion with respect to the spectral norm $\widehat{\mathrm{Ham}}(M,\omega)$. We prove that in some situations, namely complex projective spaces and rational Hirzebruch surfaces, certain Hamiltonian loops that were known to be non-trivial in $\pi_1\big(\mathrm{Ham}(M,\omega)\big)$ remain non-trivial in $\pi_1\big(\widehat{\mathrm{Ham}}(M,\omega)\big)$. This yields in particular cases, including $\mathbb C\mathrm P^2$ and the monotone $S^2\times S^2$, the injectivity of the map $\pi_1\big(\mathrm{Ham}(M,\omega)\big)\to\pi_1\big(\widehat{\mathrm{Ham}}(M,\omega)\big)$ induced by the inclusion. The same results hold for the Hofer completion of $\mathrm{Ham}(M,\omega)$. Moreover, whenever the spectral norm is known to be $C^0$-continuous, they also hold for $\overline{\mathrm{Ham}}(M,\omega)$.
Our method relies on computations of the valuation of Seidel elements and hence of the spectral norm on $\pi_1\big(\mathrm{Ham}(M,\omega)\big)$. Some of these computations were known before, but we also present new ones which might be of independent interest. For example, we show that the spectral pseudo-norm is degenerate when $(M,\omega)$ is any non-monotone $S^{2}\times S^{2}$. At the contrary, it is a genuine norm when $M$ is the 1-point blow-up of $\mathbb C\mathrm P^{2}$; it is unbounded for small sizes of the blow-up and become bounded starting at the monotone one.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the study of the fundamental group in the natural completion of the Hamiltonian diffeomorphism group on a specific symplectic manifold. Specifically, the authors study whether certain Hamiltonian loops, which are known to be nontrivial in $\pi_1(\text{Ham}(M, \omega))$, remain nontrivial in $\pi_1([\text{Ham}(M, \omega)])$ on complex projective spaces and rational Hirzebruch surfaces. This involves the maps $\iota: \text{Ham}(M, \omega) \to \text{Ham}(M, \omega)$ and $j: \text{Ham}(M, \omega) \to [\text{Ham}(M, \omega)]$ between the fundamental groups of the closure $\text{Ham}(M, \omega)$ of the Hamiltonian diffeomorphism group under the $C^0$ -topology and the completion $[\text{Ham}(M, \omega)]$ with respect to the spectral norm.
### Main Results
1. **Theorem 1**: Consider a nontrivial Hamiltonian circle action $\Lambda$ on a compact rational symplectic manifold $(M, \omega)$. Suppose that its extreme fixed - point components are semi - free, then $j_*([\Lambda])$ is nontrivial in $\pi_1([\text{Ham}(M, \omega)])$.
2. **Corollary 2**: When $(M, \omega)$ is the monotone product $S^2\times S^2$ or $\mathbb{CP}^2$ equipped with the Fubini - Study symplectic form, the map $j_*: \pi_1(\text{Ham}(M, \omega))\to\pi_1([\text{Ham}(M, \omega)])$ is injective.
3. **Corollary 4**: For any $n\geq1$, the order of the element $j_*(h_n)$ in the group $\pi_1([\text{Ham}(\mathbb{CP}^n, \omega_{\text{FS}})])$ is $n + 1$.
4. **Theorem 5**: The map $j_*$ is injective on all rational one - point blow - ups of $\mathbb{CP}^2$. That is, when $\mu\in\mathbb{Q}$, the map $j_*: \pi_1(\text{Ham}(F_\mu))\to\pi_1([\text{Ham}(F_\mu)])$ is injective.
### Methods
The authors' method is based on the following proposition:
**Proposition 9**: Suppose that $(M, \omega)$ is a rational symplectic manifold. Then there exists a map $\bar{\Gamma}: \pi_1([\text{Ham}(M, \omega)])\to\mathbb{R}$ such that the following diagram commutes:
\[
\begin{array}{ccc}
\pi_1(\text{Ham}(M, \omega)) & \xrightarrow{j_*} & \pi_1([\text{Ham}(M, \omega)]) \\
\downarrow{\Gamma} & & \downarrow{\bar{\Gamma}} \\
\mathbb{R} & = & \mathbb{R}
\end{array}
\]
The main results are proved by calculating $\Gamma$, that is, verifying that it is nonzero on certain elements, thus ensuring that the images of these elements in $\pi_1([\text{Ham}(M, \omega)])$ are also nontrivial.
### Computations
The authors also carried out calculations of the spectral pseudo - norm, especially for the cases of complex projective spaces and Hirzebruch surfaces. These calculations reveal some independently interesting properties, such as the degeneracy or non - degeneracy of the spectral pseudo - norm in certain cases.
In summary, the main purpose of this paper is...