Abstract:We study the extension of homologically trivial symplectic or Hamiltonian cyclic actions to Hamiltonian circle actions on irrational ruled symplectic $4$-manifolds. On one hand, we construct symplectic involutions on minimal irrational ruled $4$-manifolds that cannot extend to a symplectic circle action even with a possibly different symplectic form. Higher dimensional examples are also constructed. On the other hand, for homologically trivial symplectic cyclic actions of any other order, we show that such an extension always exists.
We also classify finite groups of symplecticmorphisms that acts trivially on the first homology group, and prove the non-extendability of the Klein $4$-group action to the three dimensional rotation group action motivated by the classification of finite groups of symplectomorphisms.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to explore whether periodic symplectic and Hamiltonian diffeomorphisms on symplectic manifolds can be extended to Hamiltonian circle group actions. Specifically, the article studies whether homologically trivial symplectic or Hamiltonian cyclic actions on irrational ruled symplectic 4 - manifolds can be extended to Hamiltonian circle group actions.
#### Main problem description
1. **Hamiltonian Cyclic Action Extension**:
- For a closed symplectic manifold \((M,\omega)\), can every Hamiltonian cyclic action be extended to a Hamiltonian circle group action? Here, the Hamiltonian cyclic action refers to the action generated by a periodic Hamiltonian diffeomorphism.
2. **Extension problems on specific manifolds**:
- In particular, for an irrational ruled symplectic 4 - manifold, that is, \((M,\omega)\) is a manifold symplectomorphic to an \(S^{2}\) fiber bundle over a Riemann surface \(\Sigma\) with the genus of the base at least 2, are there homologically trivial symplectic cyclic actions that cannot be extended to Hamiltonian circle group actions?
3. **Action of Klein 4 - group**:
- Can the symplectic action of Klein 4 - group be extended to an action of the three - dimensional rotation group?
#### Key conclusions
- **Theorem 1.2**: There exist homologically trivial symplectic involution actions on irrational ruled symplectic 4 - manifolds, and these involutions cannot be extended to symplectic circle group actions even if the symplectic form \(\omega'\) is changed.
- **Theorem 1.6 and 1.7**: For irrational ruled symplectic 4 - manifolds under certain specific conditions, if there is an effective \(Z_{k}\) action (\(k>2\)) generated by homologically trivial symplectic automorphisms, then this \(Z_{k}\) action can be extended to a Hamiltonian \(S^{1}\) action.
- **Theorem 1.8**: There exist homologically trivial Klein 4 - group symplectic actions on irrational ruled symplectic 4 - manifolds, and this action cannot be extended to a symplectic \(SO(3)\) action.
### Summary
This paper mainly explores the problem of whether symplectic cyclic actions can be extended to Hamiltonian circle group actions on different types of symplectic manifolds by constructing specific examples and classifying finite - group actions, and draws conclusions about the possibility and impossibility of extension under specific conditions.