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 Zp on the Spinc-bundles and the Zp-invariant moduli space of the solutions of the Seiberg–Witten equations for a Spinc-structure ξ→ X. When the Zp 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 Spinc-structure ξ' on the quotient manifold X/Zp ≡X', α∈(0,1). We relate the Zp-invariant moduli space for the Spinc-structure ξ on X and the α-twisted moduli space for the Spinc-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 Zp acts trivially on L|Σ, we prove that there is a one-to-one correspondence between the Zp-invariant moduli space M(ξZp and the moduli space M (ξ") where ξ'' is a Spinc-structure on X' associated to the quotient bundle L/Zp→ X'. vskip0pt When p = 2, we apply the above constructions to a Kahler surface X with b2+(X) > 3 and H2(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 [Σ]∈2H2(H ;Z). If KX2 > 0 or KX2 = 0 and the genus g(Σ)> 1, we have a vanishing theorem for Seiberg–Witten invariant of the quotient manifold X'. When KX2 = 0 and the genus g(Σ)= 1, if there is a Z2-equivariant Spinc-structure ξ on X whose virtual dimension of the Seiberg–Witten moduli space is zero then there is a Spinc-structure ξ" on X' such that the Seiberg-Witten invariant is ±1.