Está en la página 1de 2

El grupo modular de una superficie

Miguel A. Maldonado
Unidad Academica de Matematicas,
Universidad Autonoma de Zacatecas.

Una manera de obtener informacion de un objeto matematico consiste


en estudiar su grupo de simetras. En las notas que siguen consideraremos el caso de una superficie S a la que asociaremos el grupo (S)
de clases de difeomorfismos que, bajo ciertas condiciones, puede ser
considerado como el grupo de simetras de la superficie.
El grupo de automorfismos
Un automorfismo de un objeto X es un isomorfismo de la forma
del objeto en
X X. Es decir, un automorfismo es una funcion
s mismo que admite inversa y que preserva la estructura de X:
preserva productos, conjuntos abiertos, adyacencias o cualquier
otro elemento que determine la naturaleza de X.
de automorfismo es tan general que en casos concreLa nocion
tos recibe diferentes nombres: si X es objeto algebraico el au
tomorfismo se llama isomorfismo; si es un espacio topologico
un automorfismo es llamado homeomorfismo; si el objeto es
un conjunto finito un automorfismo es una permutacion
de
sus elementos. Otros ejemplos interesantes: graficas dirigidas,
polgonos regulares, conjuntos ordenados, etc.

el contexto diferencial, un automorfismo es llamado difeomor diferenciable, biyectiva y con inversa diferenciafismo (funcion
ble) y su grupo de automorfismos Diff(M ) es llamado el grupo
de difeomorfismos de la variedad.
de ciertos elementos en Diff(M ) se hacen
En la definicion
muchas elecciones (vecindades o parametrizaciones; ver abajo)
por lo que es imposible hablar de unicidad en el grupo de
difeomorfismos. En particular, esto hace de Diff(S) un grupo
muy grande y para sortear este inconveniente se introduce una
de equivalencia que agrupa aquellos difeomorfismos
relacion
que en cierto sentido son los mismos: el concepto es el de isotopa. En terminos generales una isotopa es una familia de
continua endifeomorfismos que parametriza una deformacion
tre dos difeomorfismos.

Figure 1: Esto no es una isotopa

El conjunto Aut(X) de automorfismos de X forma un grupo


de funciones: la operacion
es claramente
bajo la composicion
identidad y
asociativa, el elemento identidad es la funcion
cada elemento en Aut(X) esta equipado
ademas, por definicion,
de su respectivo elemento inverso.
Automorfismos externos. Existe un subgrupo de los automorfismos de un grupo G que consiste de aquellos isomorfismos de
h G. Este subgrupo se denota
la forma g 7 hgh1, para algun
por Inn(G) y es llamado el subgrupo de automorfismos internos de G; no es difcil mostrar que Inn(G) es subgrupo normal.
El cociente
Out(G) = Aut(G)/Inn(G)

Primero recordemos que el grupo Diff(M ) puede ser dotado

de una estructura de espacio topologico


a traves de la topologa
compacto-abierto o de la topologa C con lo que se convierte
de continuidad.
en un espacio donde es posible definir la nocion
esto permite considerar deformaciones continuas enMas aun,
tre difeomorfismos: decimos que f, g Diff(M ) son isotopicos,

continua
denotado por f ' g, si existe una funcion
H : M I M, H(x, t) = Ht(x)

(isotopa)

es llamado el grupo de automorfismos exteriores de G.

con H0(x) = f (x), H1(x) = g(x), tal que t I, Ht(x) es difeo en Diff(M ) induce una operacion
en el
morfismo. La operacion
cociente Diff(M )/ ' llamado el grupo de difeotopia de M.

Difeomorfismos de una superficie

El grupo modular

Diversos resultados dentro de la topologa hacen evidente la


que existe entre variedades diferenciables y funciones
relacion
definidas entre ellas; aqu algunos ejemplos:

Sea S una 2-variedad; es decir, una superficie. El grupo modular (S) de S se define como su grupo de difeotopa; es decir,
(S) tiene por elementos clases de equivalencia [h] que consiste

esta
de aquellos difeomorfismos isotopicos
a h. La operacion
inducida por

El Teorema del Valor Regular afirma que bajo ciertas condi diferenciable f : M M 0 determina una
ciones una funcion
subvariedad N M .
De acuerdo al Teorema del Encaje de Whitney, para toda mvariedad M es posible construir un encaje que exhiba a M
como subvariedad del espacio Euclidiano R2m+1.
Es un resultado de la teora de espacios cubrientes que la ex M
istencia de una doble cubierta orientable disconexa M
garantiza que M es una variedad orientable.
En particular, si se desea estudiar a una variedad diferenciable resulta natural considerar su grupo de automorfismos. En

[f ] [g] = [f g], [f ]

= [f ]

El caso de mayor relevancia es el de la superficie orientable Sg


de genero g cuyo grupo modular +(Sg ) se define considerando
+
el subgrupo Diff (Sg ) de difeomorfismos que preservan ori Ante la presencia de orientabilidad se tienen los gruentacion.
pos +(Sg ) y (Sg ), cuya diferencia esta dada por el difeomorfismo construido al reflejar una mitad de la superficie sobre la
otra mitad (ver imagen).

el elemento que determina en (Sg ) es llamado la involucion

hiperelptica. Este
elemento del grupo modular deja fijos 2g + 2
acerca del grupo modupuntos y su estudio arroja informacion
lar de la esfera con puntos marcados.

en el espejo
Figure 2: Reflexion

(por lo que no conEste difeomorfismo invierte la orientacion


muta con +(Sg )) y genera un subgrupo de orden 2 obteniendo
el producto semi-directo
+

(Sg ) = (Sg ) o Z2

De lo anterior se sigue que la estructura de (Sg ) puede ser


+
obtenida de la estructura de (Sg ) mediante el producto con
Z2.
Como se ilustro arriba, cuando la superficie tiene alguna estructura adicional entonces para definir su grupo modular se
requiere considerar aquellos difeomorfismos que preservan tal
estructura. En el caso de la superfice orientable Sg,n de genero
g cuya frontera Sg consiste de n 1 bordes el grupo modular (Sg , Sg ) := (Sg,n) se define para los difeomorfismos (y las
isotopas involucradas) que dejan fijo cada borde en la frontera.
Teorema de Dehn-Nielsen-Baer. Consideremos un difeomor y notemos que f no
fismo f : Sg Sg que preserve orientacion
siempre induce un automorfismo del grupo fundamental de Sg
debido a que no necesariamente preserva el punto base; induce
el isomorfismo f : 1(Sg , ) 1(Sg , f ()), pero no es un iso
morfismo canonico.
Por otro lado, dado un camino del punto
base a f () se tiene un isomorfismo
: 1(Sg , f ()) 1(Sg , ), [] 7 [

con lo que se define


: Diff(Sg ) Out(1(Sg , )),

h 7 h

Este
homomorfismo factoriza a traves de clases de isotopa
para obtener
: (Sg ) Out(1(Sg , ))
Como resultado de los trabajos de M. Dehn, J. Nielsen y R. Baer
en los 20s se tiene que es isomorfismo, para todo genero g 1.
De este resultado se desprenden dos calculos inmediatos: el
grupo modular de la esfera S 2 = S0 es trivial y para el toro
2
T = S1 se tiene (S1)
= SL(2, Z).
Ciertos elementos del grupo modular
Rotacion.
Consideremos a la superficie Sg encajada en R3 como
se muestra en la Figura 3 (para g = 5). Podemos definir el difeo de 360/g. La clase de
morfismo de Sg dado por una rotacion
es un elemento en (Sg ) de order g. Esto
isotopa de la rotacion

muestra que el grupo modular contiene elementos de torsion.

por 72
Figure 3: Rotacion

Involucion.
Pensemos ahora que Sg se encuentra en R3 como
se muestra en la Figura 4 (para g = 4). Al girar la superficie 180
de la misma;
sobre el eje mostrado se obtiene una involucion

hiperelptica
Figure 4: Involucion

anular A en R2 deterGiros de Dehn. Consideremos la region


minada en coordenadas polares (r, ) por 1 r 2 y definamos
TA dada por TA(r, ) = (r, 2r) (ver Figura 5). Notela funcion

mos que TA determina un giro de 360 en el sentido contrario a


las manecillas del reloj y que ademas deja fija la frontera de A.

Figure 5: Giro de 360

Consideremos ahora una curva cerrada simple en una superficie (orientable) S; es decir, la imagen del crculo bajo una
continua e inyectiva. Una vecindad regular de es una
funcion
anular N en la que es el centro. Formalmente, la vecinregion
de un homeomorfismo : A N ,
dad regular es la eleccion
del parrafo anterior.
donde A es la region
Dados , N y como arriba definimos el giro de Dehn respecto
a como sigue
(
T 1(x), x N
T(x) =
x,
x S\N
anular A. As, el homeomordonde TA es el giro en la region
N , dejando invarifismo T define un giro de 360 en la region
ante todo lo que se encuentra fuera de ella.

En la definicion
de T elegimos
tanto una vecindad regular N como
el homeomorfismo , cualquiera otra
de ellos hubiera arrojado un
eleccion
giro ligeramente diferente; en este sentido no es posible hablar de la unicidad

del giro de Dehn. Este


en la definicion
incoveniente desaparece si nos fijamos
en las respectivas clases de isotopa:
la clase de isotopa del giro de Dehn
T es independiente de N y . Mas
si 0 es otra curva cerrada simple
aun,

isotopica
a , entonces sus respectivos

giros de Dehn son isotopicos.


A pesar de su simplicidad, los giros de Dehn pueden describir
elementos complicados (pero divertidos) del grupo modular.
De hecho M. Dehn probo en los 30s que todo elemento de
(Sg ) puede ser escrito como un producto finito Te11Te22 Terr ,
para cierto conjunto de curvas cerradas simples 1, 2, . . . , r ,
con ei {+1, 1} y a finales de los 70s K. Humphries probo

que r = 2g + 1 y que e ste numero


es mnimo.

Miguel A. Maldonado
Unidad Academica de Matematicas, UAZ.
mmaldonado@matematicas.reduaz.mx