Cyclic Group Actions on 4-Manifolds

Let X be a closed, oriented Riemannian 4-manifold. Suppose that a cyclic group Z( _p (p is prime) acts on X by an orientation preserving isometry with an embedded Riemann surface as fixed point set. We study the representation of Z _p on the Spin^c-bundles and the Z _p-invariant moduli space of the solutions of the Seiberg–Witten equations for a Spin^c-structure X. When the Z _p action on the determinant bundle det L acts non-trivially on the restriction L| over the fixed point set , we consider -twisted solutions of the Seiberg-Witten equations over a Spin^c-structure ' on the quotient manifold X/Z _p X', (0,1). We relate the Z _p -invariant moduli space for the Spin^c-structure on X and the -twisted moduli space for the Spin^c-structure on X'. From this we induce a one-to-one correspondence between these moduli spaces and calculate the dimension of the -twisted moduli space. When Z _p acts trivially on L|, we prove that there is a one-to-one correspondence between the Z _p -invariant moduli space M( ^Zp and the moduli space M (") where ' is a Spin^c-structure on X' associated to the quotient bundle L/Z _p X'. vskip0pt When p = 2, we apply the above constructions to a Kahler surface X with b ₂ ⁺ (X) > 3 and H ₂(X;Z) has no 2-torsion on which an anti-holomorphic involution acts with fixed point set , a Lagrangian surface with genus greater than 0 and ]2H ₂(H ;Z). If _K ^X 2 > 0 or K _X ² = 0 and the genus g()> 1, we have a vanishing theorem for Seiberg–Witten invariant of the quotient manifold X'. When K _X ² = 0 and the genus g()= 1, if there is a Z ²-equivariant Spin^c-structure on X whose virtual dimension of the Seiberg–Witten moduli space is zero then there is a Spin^c-structure " on X' such that the Seiberg-Witten invariant is ±1.