The intersection form on the homology of a surface acted on by a finite group
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.