User student - MathOverflow

classification of smooth involutions of torus

2010-04-13T03:27:09Z

Let $\mathbb{Z}_2={1,g},T^2={(e^{i\theta_1},e^{i\theta_2})}$ and place $T^2$ in $\mathbb{R}^3$ as the locus of the rotation of $2\pi$ rads of the circle${(y,z)|(y-2)^2+z^2=1}$ around $z$ axis.

It is known that there are 5 nonequivalent smooth involutions on torus,and they are:

1.$g(e^{i\theta_1},e^{i\theta_2})=(e^{i(\theta_1+\pi)},e^{i\theta_2})$ (rotation$\pi$ rads around $z$ axis) with null fixed point set and orbit space $T^2$

2.$g(e^{i\theta_1},e^{i\theta_2})=(e^{-i\theta_1},e^{i\theta_2})$(reflection along $x=0$) with fixed point set $S^1\times S^0$ and orbit space an annulus

3.$g(e^{i\theta_1},e^{i\theta_2})=(e^{i\theta_2},e^{i\theta_1})$(switch the two coordinates) with fixed point set the diagonal circle and orbit space Mobius band

4.$g(e^{i\theta_1},e^{i\theta_2})=(e^{i(\theta_1 +\pi)},e^{-i\theta_2})$(restriction of the involution $(x,y,z,\mapsto (-x,-y,-z)$ of $\mathbb{R}^3$ to torus)with null fixed point set and orbit space klein bottle

5.$g(e^{i\theta_1},e^{i\theta_2})=(e^{-i\theta_1},e^{-i\theta_2})$(reflection along $x=0$ plus reflection along $z=0$) with fixed point set 4 points and orbit space $S^2$

i want to know how to derive the result above.for the free case it seems easy.since the action is free,the orbit space must be a manifold also,and has euler char 0,hence must be torus or klein bottle. for the nonfree case,the orbit is not manifold,but "orbifold". and we have Riemann-Hurwitz Formula:

$\chi(O)=\chi(X_O)-\sum_{i=1}^n (1-\frac{1}{q_i})-\frac{1}{2}\sum_{j=1}^m (1-\frac{1}{r_j})$

here$\chi(O)$ is the orbifold euler char and $\chi(X_o)$ is the euler char of the underlying space associated to the orbifold $O$,and $q_i$and $r_j$ denote the angles for sigular points(cone points and reflector corners can we determine the remaining 3 involutions by using this formula?Thank you!

Involutions of $S^2$

2010-04-09T13:11:45Z

are there some complete results on the involutions of 2 sphere?

at least I have three involutions: (let $\mathbb{Z}_2={1,g}$,and $S^2={(x,y,z)\in\mathbb{R}^3|x^2+y^2+z^2=1}$)

1.$g(x,y,z)=(-x,-y,-z)$(antipodal map) with null fixed point set,and orbit space $\mathbb{R}P^2$ actully,for free involution on $S^n$ with $n\leq3$,the orbit space is homeomorphic to real projective space (Livesay 1960)

2.$g(x,y,z)=(-x,-y,z)$ (rotation $\pi$ rad around $z$ axis) with fixed point set $S^0$(the north pole and south pole) and orbit space $S^2$.

3.$g(x,y,z)=(x,y,-z)$(reflection along $z=0$) with fixed point set $S^1$ (the equator)and orbit space $D^2$

i want to know if there are some other involutions over 2-sphere. here we take two involutions as equivalent if there are conjugate in the homeomorphism group of $S^2$

Comment by student

2010-04-13T06:24:49Z

to Mariano Suárez-Alvarez:yes,two involutions are defined to be equivalent if they are conjugate in the group $Diff(T^2)$