Centralizers of Hamiltonian finite cyclic group actions on rational ruled surfaces

Abstract

Let $M=(M,\omega)$ be either the product $S^2\times S^2$ or the non-trivial $S^2$ bundle over $S^2$ endowed with any symplectic form $\omega$. Suppose a finite cyclic group $Z_n$ is acting effectively on $(M,\omega)$ through Hamiltonian diffeomorphisms, that is, there is an injective homomorphism $Z_n\hookrightarrow Ham(M,\omega)$. In this paper, we investigate the homotopy type of the group $Symp^{Z_n}(M,\omega)$ of equivariant symplectomorphisms. We prove that for some infinite families of $Z_n$ actions satisfying certain inequalities involving the order $n$ and the symplectic cohomology class $[\omega]$, the actions extends to either one or two toric actions, and accordingly, that the centralizers are homotopically equivalent to either a finite dimensional Lie group, or to the homotopy pushout of two tori along a circle. Our results rely on $J$-holomorphic techniques, on Delzant's classification of toric actions, on Karshon's classification of Hamiltonian circle actions on $4$-manifolds, and on the Chen-Wilczy\'nski classification of smooth $Z_n$-actions on Hirzebruch surfaces.