7bff5ab755fd7354.tex
1: \begin{abstract}
2: 
3: We describe all connected components of the space of pairs~$(P,s)$,
4: where $P$ is a hyperbolic Riemann surface with finitely generated
5: fundamental group and $s$ is an $m$-spin structure on~$P$. We prove
6: that any connected component is homeomorphic to a quotient of
7: ${\mathbb R}^d$ by a discrete group.
8: 
9: 
10: \smallskip\noindent
11: Our method is based on a description of an $m$-spin structure by an $m$-Arf function,
12: that is a map $\sigma:\pi_1(P,p)\rightarrow{\mathbb Z}/m{\mathbb Z}$
13: with certain geometric properties. We prove that the set of all $m$-Arf functions
14: has a structure of an affine space associated
15: with $H_1(P,{\mathbb Z}/m{\mathbb Z})$.
16: We describe the orbits of $m$-Arf functions under the action of the group of homotopy classes of surface autohomeomorphisms.
17: Natural topological invariants of an orbit are the unordered set of va\-lues of the $m$-Arf functions on the punctures
18: and the unordered set of values on the $m$-Arf-function on the holes.
19: We prove
20: %(Theorem~\ref{thm-is-type})
21: that for~$g>1$ the space of $m$-Arf functions with prescribed genus and prescribed (unordered) sets of va\-lues on punctures and holes is either connected
22: % if it is not empty
23: %if $m$ is odd or if $m$ is even and the value of the $m$-Arf function on one of the punctures or holes is even.
24: % Otherwise this space
25: or has two connected components distinguished by the Arf invariant $\de\in\{0,1\}$.
26: %(see Definition~\ref{def-arf-inv})
27: (See the results for~$g=1$ later in the paper.)
28: 
29: \smallskip\noindent
30: 
31: 
32: %We describe the space of $m$-spin structures
33: %on a Riemann surface as a finite affine space
34: %of $({\mathbb Z}/m{\mathbb Z})$-valued functions
35: %on the fundamental group of the surface.
36: %We apply this description to prove that any connected component of the space
37: %of $m$-spin structures on compact Riemann surfaces with finite number of
38: %punctures and holes is homeomorphic to a quotient
39: % of the vector space ${\mathbb R}^d$ by a discrete group action.
40: 
41: \end{abstract}
42: