The intersection form on the homology of a surface acted on by a finite group

Abstract

Let G be a finite group acting freely on a compact oriented surface S by homeomorphisms preserving the orientation. Then, there exists a G-invariant Lagrangian subspace in the first homology group of S.