Remark 11 Notice that the theorem does not assume that \(\Sigma /\varphi =\mathbb {P}^1\) . In general, given a \(\varphi \) -invariant spin structure it is already an interesting question to determine whether such spin structure is even or odd (cf. [1]} for the case in which the quotient is an elliptic curve).

