El Problema de Nielsen (parte II)
Recordemos que el Problema de Nielsen consiste en determinar qué subgrupos del grupo modular $\Gamma (S_g)$ pueden ser representados en $Top(S_g)$. Por ejemplo, dado $H\subset \Gamma (S_g)$ con $H=<h>$ cíclico infinito, ¿es cierto que $h$ es de orden infinito? Hagamos $g=0$ y consideremos el grupo modular $\Gamma(S^2)$. En 1926 H. Kneser publica el resultado que afirma que todo homeomorfismo de $S^2$ que preserva orientación es isotópico a una rotación; el análogo diferenciable se debe a S. Smale . En el caso de considerar el grupo modular $\Gamma^{\pm}(S^2)$ de todos los homeomorfismos (los que preservan orientación y los que no) se tiene que $\Gamma^{\pm}(S^2)$ es isomorfo a $\mathbb{Z}_2=\{1,a\}$, donde $1$ es la identidad y $a$ es la función antipodal $x\mapsto -x$. Así, todo el grupo $\Gamma^{\pm}(S^2)$ queda representado por las funciones identidad y antipodal. Tomemos el caso $g=1$. Recordemos el isomorfismo $\Gamma(S_g)\cong Out \pi_1(S_...