## The antipodal action on a connected one dimensional manifold

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

When I am reading one paper, I have met the following statement:

It is impossible to define a $Z_{2}\times Z_{2}$ action on a connected closed curve on a compact Riemann surface.

The claim is equivalent to say that the existence of two fixed point free involutions on a circle is not true.

The author just took this statement as an obvious fact and have used it to prove a lemmer about the antiholomorphic involutions on the compact Riemann surface. It seems the claim is pretty simple, but I cannot find an elegant way to prove this is indeed true.

I have tried to use the the following fact to prove it:

the one-dimensional manifold can be considered as a circle under the homeomorphism, and it is diffeomorphic to the one dimensional real projective plane, which inherits the automorphism group of $PGL(2, \mathbb{R})$ from $\mathbb{R}^{2}.$ And in $PGL(2, \mathbb{R}),$ the element corresponding to the antipodal map is unique, so the above statement is true.

Is this a correct proof?

-

There must be an additional hypothesis here (for a $\mathbb{Z}_2\times\mathbb{Z}_2$ action on $S^1$, because I can define an action which is trivial on the first summand and acts by antipodal-map ($z \rightarrow -z$) on the 2nd summand – Chris Gerig Feb 18 2011 at 5:30
Notice that there are many, many fixed-point free involutions on a circle... – Mariano Suárez-Alvarez Feb 18 2011 at 5:46

## 2 Answers

Assuming you want fixed-point free actions...

Since $\pi_1(S^1)$ is cyclic, all connected coverings of $S^1$ have cyclic group of covering transformations. Now, if $\mathbb Z_2^2$ acted without fixed points on $S^1$, the corresponding quotient map would be a covering $S^1\to S^1$ of group $\mathbb Z_2^2$, which is impossible.

Later: a bit less technological: suppose $G=\mathbb Z_2^2$ acts freely on $S^1$ and pick a point $x$. The orbit of $x$ cuts $S^1$ in $4$ segments, and one of them, call it $I$, has $x$ and $\sigma(x)$ as endpoints for some $\sigma\in G\setminus{1}$. But the map $\sigma$ maps $I$ to itself, so by continuity, $\sigma$ fixes a point in $I$, which it didn't.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

If you mean the action is a free action:

If a group $G$ acts freely on an odd-dimensional sphere $S^{2k-1}$ then $G$ has periodic cohomology of period $2k$. And if $G$ is abelian but not cyclic, then $G$ does $\textit{not}$ have periodic cohomology. Thus your group does not act freely on the circle.

[] To see the latter claim: a calculation using the Kunneth formula shows that $H^n(\mathbb{Z}_2\times\mathbb{Z}_2,\mathbb{Z}_2)$ has $\mathbb{Z}_2$-dimension $n+1$ for $n\ge 0$ and hence is not periodic.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 38, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9280055165290833, "perplexity_flag": "head"}