El Problema de Nielsen (parte I)

De -
Sea $X$ espacio topológico y $p\in X$ un punto distinguido. Definimos el grupo fundamental $\pi_1(X,p)$ como el conjunto de clases de homotopía de lazos basados en $p$ bajo la operación $[\alpha]*[\beta]=[\alpha*\beta]$, donde $\alpha*\beta$ es la concatenación de lazos y con el elemento identidad dado por la clase del lazo constante. La asociación $X\mapsto \pi_1(X,p)$ tiene un comportamiento funtorial: dado $Y$ espacio topológico y una función continua $f:X\to Y$ tal que $f(p)=q$ existe un homomorfismo $f_*:\pi_1(X,p)\to \pi_1(Y,q)$, de donde se obtiene que para todo espacio $Y$ homeomorfo a $X$ se tiene $\pi_1 (Y,q)\cong \pi_1(X,p)$. En el siguiente texto analizaremos de qué manera el punto base en $\pi_1(X,p)$ da origen a preguntas interesantes dentro de la teoría de grupos modulares (mapping class groups).


Sean $S_g$ la superficie orientable de género $g$, $Top\:(S_g)$ el grupo de homeomorfismos de $S_g$ y $\Gamma(S_g)=Top\:(S_g)/\simeq $ su grupo modular (extendido). Observemos que $h\in Top\:(S_g)$ no siempre induce un isomorfismo de $\pi_1(S_g,p)$ debido a que el punto base $p$ no necesariamente se preserva. Aún así, se tiene un isomorfismo

$ h_*:\pi_1(S_g,p)\longrightarrow \pi_1(S_g,h(p))$

Por otro lado, dado un camino $\gamma$ de $h(p)$ a $p$ se tiene el isomorfismo

$\gamma_*:\pi_1(S_g,h(p))\longrightarrow \pi_1(S_g,p)$

que es un automorfismo interno de $\pi_1(S_g,p)$ si y sólo si $\gamma$ es un lazo basado en $p$. Más aún, dados $\phi,\varphi$ caminos de $h(p)$ a $p$ los homomorfismos inducidos $\phi_*,\varphi_*$ difieren por un homomorfismo interno de $\pi_1(S_g,p)$. Así, consideramos el cociente

$Out\: \pi_1(S_g,p)=Aut\:\pi_1(S_g,p)/Inn\:\pi_1(S_g,p)$

llamado el grupo de automorfismos exteriores de $\pi_1(S_g,p)$. 


J. Nielsen

Jakob Nielsen (1890-1959) se preguntó acerca del inverso para la función $\eta:Top\:(S_g)\to Out\:\pi_1(S_g,p)$ construida arriba: ¿será que todo elemento de $Out\:\pi_1(S_g,p)$ está inducido por un elemento particular de $Top\:(S_g)$? Mas aún, ¿qué subgrupos de $Out\:\pi_1(S_g,p)$ pueden ser representados por subgrupos de $Top\:(S_g)$? Éste es el llamado Problema de Realización de Nielsen.


La versión más conocida del problema anterior se obtiene al notar que el homomorfismo $\eta$ factoriza a través de $\Gamma(S_g)$, por lo que se obtiene

$\overline{\eta}:\Gamma(S_g)\longrightarrow Out\pi_1(S_g,p)$



M. Dehn



Es un resultado de M. Dehn que $\overline{\eta}$ es un isomorfimo para $g\geq 1$ pero fué J. Nielsen el primero en publicar una demostración (en 1927). Por otro lado, R. Baer fué el primero en probar la inyectividad (en 1928) de $\overline{\eta}$. Así, el problema de Nielsen se plantea en otros términos: 

¿qué subgrupos (finitos) de $\Gamma(S_g)$ admiten una representación en $Top\:(S_g)$?

Comentarios

Publicar un comentario

Entradas populares

Galileo Galilei y su ley de caída libre

De -
Imagen
1. Introducción Con respecto al estudio del movimiento de caída libre, el filósofo griego Aristóteles (384-322 aC) asumió que los objetos más pesados ​​caían más rápido que los más ligeros. Esta suposición se mantuvo durante casi 2000 años hasta que, a finales del siglo XVI, el matemático italiano  Galileo Galilei  (1564-1642)  demostró que en realidad todos los objetos caen al mismo tiempo sin importar el peso de estos. Corrientes de pensamiento con respecto al movimiento de caída libre Aristoteliana                                          Galileana Galileo estaba convencido de que en un espacio completamente libre de aire, dos cuerpos en caída libre cubrían distancias iguales en tiempos iguales sin importar su peso. Esto contradecía radicalmente las nociones aristotélicas acerca de la caída libre. Por supesto que en esa época, era muy difícil medir con precisión el tiempo que tarda un objeto en caer una distancia vertical. Sin embar
Leer más

Breve historia del Cálculo

De -
Imagen
1. Introducción El historiador de las matemáticas Morris Kline considera al Cálculo, después de la geometría, como la creación más grande en todas las matemáticas [4, p. 342]. Generalmente se atribuye su invención principalmente a dos matemáticos del siglo XVII, el inglés Isaac Newton (1642-1727) y el alemán Gottfried Wilhelm Leibniz (1646-1716). Sin embargo, esta es una excesiva y absurda simplificación de los hechos. En realidad el Cálculo, tal y como lo conocemos actualmente, es el producto de una larga evolución en la cual ciertamente estos dos personajes desempeñaron un papel decisivo [6]. Leibniz Newton En términos muy generales, el  Cálculo llegó para resolver y unificar los problemas de cálculo de áreas y volúmenes, el trazo de tangentes a curvas y la obtención de valores máximos y mínimos, proporcionando una metodología general para la solución de todos estos problemas; también permitió definir el concepto de continuidad y manejar pro
Leer más

Una historia de la Teoría de Conjuntos

De -
Imagen
La historia de la teoría de conjuntos es bastante diferente comparada con la historia de la mayoría de las otras áreas de las matemáticas. Para la mayoría de las áreas por lo general se puede rastrear un largo proceso en el que las ideas evolucionan hasta alcanzar un resplandor final de inspiración, a menudo por un número de matemáticos casi simultáneamente, produciendo un descubrimiento de gran importancia. La teoría de conjuntos sin embargo, es bastante diferente. Su creación se debe a una sola persona, Georg Cantor. Antes de adentrarnos en la historia principal del desarrollo de la teoría de Cantor, primero examinamos algunas contribuciones preliminares. Georg Cantor La idea de infinito había sido objeto de una profunda reflexión desde la época de los griegos. Zenón de Elea, alrededor de 450 aC, con sus problemas en el infinito, hizo una importante contribución. En la Edad Media, la discusión del infinito había dado lugar a la comparación de conjuntos infinitos. Por
Leer más