Mapas en el monstruo del Lago Ness

Ferran Valdez

Centro de Ciencias Matematicas. UNAM, Campus Moreliawww.matmor.unam.mx/∼ferran/

6 de marzo de 2013

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 1 / 36

Superficies compactas

Las superficies compactas son variedades de dimension dos. Se construyen“pegando” un numero finito de toros entre sı.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 2 / 36

Superficies compactas

Las superficies compactas (orientables) son variedades de dimension dos(diferenciables). Se construyen “pegando” un numero finito de toros entresı.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 3 / 36

Superficies compactas

Las superficies compactas (orientables) son variedades de dimension dos(diferenciables). Se construyen “pegando” un numero finito de toros entresı.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 4 / 36

Superficies compactas

Las superficies compactas (orientables) son variedades de dimension dos(diferenciables). Se construyen “pegando” un numero finito de toros entresı.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 5 / 36

Superficies compactas

Las superficies compactas (orientables) son variedades de dimension dos(diferenciables). Se construyen “pegando” un numero finito de toros entresı.

Las superficies compactas (sin frontera) quedan completamentedeterminadas por su genero (numero de toros que pegamos juntos).

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 6 / 36

Superficies no compactas

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 7 / 36

Superficies no compactas

Aparecen los “fines” de una superficie.Son las maneras que hay de irse alinfinito.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 8 / 36

Superficies no compactas

Aparecen los “fines” de una superficie.Son las maneras que hay de irse alinfinito.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 8 / 36

Superficies no compactas

Los fines pueden ser “planos” (i.e. sin genero).

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 9 / 36

Superficies no compactas

Los fines pueden tener genero, necesariamente infinito.Una superficie no compacta (orientable) queda determinada por su generoy su espacio de fines. El espacio de fines es un subespacio del “conjunto”

de Cantor. Es decir, en este caso el invariante topologico no esnecesariamente discreto.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 10 / 36

Superficies no compactas

Los fines pueden tener genero, necesariamente infinito.Una superficie no compacta (orientable) queda determinada por su generoy su espacio de fines. El espacio de fines es un subespacio del “conjunto”

de Cantor. Es decir, en este caso el invariante topologico no esnecesariamente discreto.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 10 / 36

Superficies no compactas

Los fines pueden tener genero, necesariamente infinito.Una superficie no compacta (orientable) queda determinada por su generoy su espacio de fines. El espacio de fines es un subespacio del “conjunto”

de Cantor. Es decir, en este caso el invariante topologico no esnecesariamente discreto.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 10 / 36

Superficies no compactas

Los fines pueden tener genero, necesariamente infinito.Una superficie no compacta (orientable) queda determinada por su generoy su espacio de fines. El espacio de fines es un subespacio del “conjunto”

de Cantor. Es decir, en este caso el invariante topologico no esnecesariamente discreto.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 10 / 36

Una superficie distinguida

El Monstruo del lago Ness

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 11 / 36

Una superficie distinguida

El Monstruo del lago Ness

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 12 / 36

Mapas

Un mapa es una grafica Γ junto con un encaje f : Γ ↪→ S tal que:

1 Dos aristas en S se intersectan si y solo si tienen un vertice en comunen Γ.

2 S \ f (Γ) es una union disjunta de discos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 13 / 36

Mapas

Un mapa es una grafica Γ junto con un encaje f : Γ ↪→ S tal que:

1 Dos aristas en S se intersectan si y solo si tienen un vertice en comunen Γ.

2 S \ f (Γ) es una union disjunta de discos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 13 / 36

Mapas

Un mapa es una grafica Γ junto con un encaje f : Γ ↪→ S tal que

1 Dos aristas en S se intersectan si y solo si tienen un vertice en comunen Γ.

2 S \ f (Γ) es una union disjunta de discos.

Un mapa en el toro.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 14 / 36

Mapas

Un mapa en el plano.

Otros ejemplos: solidos platonicos, teselaciones regulares del plano. Todasuperficie triangulable tiene al menos un mapa.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 15 / 36

Automorfismos y simetrıas de mapas

A cada mapa M = (Γ,S) le podemos asociar el grupo de automorfismosdel mapa. Este esta formado por todos los homeomorfismos de h : S → Sque inducen un automorfismo h∗ : Γ→ Γ de la grafica Γ.Notacion:

Aut(M)

.

Cuando S es una superficie con una metrica Riemanniana, a cada mapaM = (Γ, S) le podemos asociar el grupo de isometrıas. Estas son lasisometrıas de S que preservan el conjunto de vertices y aristas de Γglobalmente.

Toda isometrıa es un automorfismo pero no todo automorfismo es unasimetrıa (¡Ejercicio!)

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 16 / 36

Automorfismos y simetrıas de mapas

A cada mapa M = (Γ,S) le podemos asociar el grupo de automorfismosdel mapa. Este esta formado por todos los homeomorfismos de h : S → Sque inducen un automorfismo h∗ : Γ→ Γ de la grafica Γ.Notacion:

Aut(M)

.

Cuando S es una superficie con una metrica Riemanniana, a cada mapaM = (Γ, S) le podemos asociar el grupo de isometrıas. Estas son lasisometrıas de S que preservan el conjunto de vertices y aristas de Γglobalmente.

Toda isometrıa es un automorfismo pero no todo automorfismo es unasimetrıa (¡Ejercicio!)

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 16 / 36

Automorfismos y simetrıas de mapas

A cada mapa M = (Γ,S) le podemos asociar el grupo de automorfismosdel mapa. Este esta formado por todos los homeomorfismos de h : S → Sque inducen un automorfismo h∗ : Γ→ Γ de la grafica Γ.Notacion:

Aut(M)

.

Cuando S es una superficie con una metrica Riemanniana, a cada mapaM = (Γ, S) le podemos asociar el grupo de isometrıas. Estas son lasisometrıas de S que preservan el conjunto de vertices y aristas de Γglobalmente.

Toda isometrıa es un automorfismo pero no todo automorfismo es unasimetrıa (¡Ejercicio!)

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 16 / 36

Automorfismos y simetrıas de mapas

A cada mapa M = (Γ,S) le podemos asociar el grupo de automorfismosdel mapa. Este esta formado por todos los homeomorfismos de h : S → Sque inducen un automorfismo h∗ : Γ→ Γ de la grafica Γ.Notacion:

Aut(M)

.

Cuando S es una superficie con una metrica Riemanniana, a cada mapaM = (Γ, S) le podemos asociar el grupo de isometrıas. Estas son lasisometrıas de S que preservan el conjunto de vertices y aristas de Γglobalmente.

Toda isometrıa es un automorfismo pero no todo automorfismo es unasimetrıa (¡Ejercicio!)

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 16 / 36

Automorfismos y simetrıas de mapas

A cada mapa M = (Γ,S) le podemos asociar el grupo de automorfismosdel mapa. Este esta formado por todos los homeomorfismos de h : S → Sque inducen un automorfismo h∗ : Γ→ Γ de la grafica Γ.Notacion:

Aut(M)

.

Cuando S es una superficie con una metrica Riemanniana, a cada mapaM = (Γ, S) le podemos asociar el grupo de isometrıas. Estas son lasisometrıas de S que preservan el conjunto de vertices y aristas de Γglobalmente.

Toda isometrıa es un automorfismo pero no todo automorfismo es unasimetrıa (¡Ejercicio!)

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 16 / 36

Banderas de un mapa

Una bandera en un mapa M = (Γ, S) es un triangulo cuyos vertices son:un vertice v del mapa M, el punto medio de una arista e de M y un puntointerior de una cara de M que contiene a e.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 17 / 36

Banderas de un mapa

Una bandera en un mapa M = (Γ, S) es un triangulo cuyos vertices son:un vertice v del mapa M, el punto medio de una arista e de M y un punto

interior de una cara de M que contiene a e.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 18 / 36

Banderas de un mapa

Una bandera en un mapa M = (Γ, S) es un triangulo cuyos vertices son:un vertice v del mapa M, el punto medio de una arista e de M y un punto

interior de una cara de M que contiene a e.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 19 / 36

Banderas de un mapa

Una bandera en un mapa M = (Γ, S) es un triangulo cuyos vertices son:un vertice v del mapa M, el punto medio de una arista e de M y un punto

interior de una cara de M que contiene a e.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 20 / 36

Banderas de un mapa

Una bandera en un mapa M = (Γ, S) es un triangulo cuyos vertices son:un vertice v del mapa M, el punto medio de una arista e de M y un punto

interior de una cara de M que contiene a e.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 21 / 36

Banderas de un mapa

Una bandera en un mapa M = (Γ, S) es un triangulo cuyos vertices son:un vertice v del mapa M, el punto medio de una arista e de M y un punto

interior de una cara de M que contiene a e.

El grupo Aut(M) actua en el conjunto de banderas de M. Decimos que elmapa M es regular si esta accion es transitiva.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 22 / 36

Banderas de un mapa

Una bandera en un mapa M = (Γ, S) es un triangulo cuyos vertices son:un vertice v del mapa M, el punto medio de una arista e de M y un punto

interior de una cara de M que contiene a e.

El grupo Aut(M) actua en el conjunto de banderas de M. Decimos que elmapa M es regular si esta accion es transitiva.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 22 / 36

Teorıa geometrica de grupos

Tomemos G un grupo finitamente generado y A un sistema degeneradores.La grafica de Cayley de G es la grafica Γ(G ,A) cuyos verticesson los elementos de G y cuyas aristas son (g , ga) para cada a ∈ A. Lagrafica Γ(G ,A) se puede volver un espacio topologico decretando que cadaarista tiene longitud 1.Definimos el espacio de fines de G como el espaciode fines de la grafica Γ(G ,A).

Lema (Svarc-Milnor)

Sea S una superficie. Supongamos que G actua sobre S porhomeomorfismos de manera propia, discontinua y cocompacta. Entonceslos espacios de fines de S y de G son homeomorfos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 23 / 36

Teorıa geometrica de grupos

Tomemos G un grupo finitamente generado y A un sistema degeneradores.La grafica de Cayley de G es la grafica Γ(G ,A) cuyos verticesson los elementos de G y cuyas aristas son (g , ga) para cada a ∈ A. Lagrafica Γ(G ,A) se puede volver un espacio topologico decretando que cadaarista tiene longitud 1.Definimos el espacio de fines de G como el espaciode fines de la grafica Γ(G ,A).

Lema (Svarc-Milnor)

Sea S una superficie. Supongamos que G actua sobre S porhomeomorfismos de manera propia, discontinua y cocompacta. Entonceslos espacios de fines de S y de G son homeomorfos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 23 / 36

Teorıa geometrica de grupos

Tomemos G un grupo finitamente generado y A un sistema degeneradores.La grafica de Cayley de G es la grafica Γ(G ,A) cuyos verticesson los elementos de G y cuyas aristas son (g , ga) para cada a ∈ A. Lagrafica Γ(G ,A) se puede volver un espacio topologico decretando que cadaarista tiene longitud 1.Definimos el espacio de fines de G como el espaciode fines de la grafica Γ(G ,A).

Lema (Svarc-Milnor)

Sea S una superficie. Supongamos que G actua sobre S porhomeomorfismos de manera propia, discontinua y cocompacta. Entonceslos espacios de fines de S y de G son homeomorfos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 23 / 36

Teorıa geometrica de grupos

Tomemos G un grupo finitamente generado y A un sistema degeneradores.La grafica de Cayley de G es la grafica Γ(G ,A) cuyos verticesson los elementos de G y cuyas aristas son (g , ga) para cada a ∈ A. Lagrafica Γ(G ,A) se puede volver un espacio topologico decretando que cadaarista tiene longitud 1.Definimos el espacio de fines de G como el espaciode fines de la grafica Γ(G ,A).

Lema (Svarc-Milnor)

Sea S una superficie. Supongamos que G actua sobre S porhomeomorfismos de manera propia, discontinua y cocompacta. Entonceslos espacios de fines de S y de G son homeomorfos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 23 / 36

Teorıa geometrica de grupos

Tomemos G un grupo finitamente generado y A un sistema degeneradores.La grafica de Cayley de G es la grafica Γ(G ,A) cuyos verticesson los elementos de G y cuyas aristas son (g , ga) para cada a ∈ A. Lagrafica Γ(G ,A) se puede volver un espacio topologico decretando que cadaarista tiene longitud 1.Definimos el espacio de fines de G como el espaciode fines de la grafica Γ(G ,A).

Lema (Svarc-Milnor)

Sea S una superficie. Supongamos que G actua sobre S porhomeomorfismos de manera propia, discontinua y cocompacta. Entonceslos espacios de fines de S y de G son homeomorfos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 23 / 36

Teorıa geometrica de grupos

Teorema (Stallings)

Sea G un grupo finitamente generado. Entonces el espacio de fines de Ges uno de los siguientes:

1 El vacıo sii G es finito.

2 Un punto (e.g. G virtualmente Zk con k ≥ 2).

3 Un conjunto con dos elementos sii G es virtualmente Z.

4 Un conjunto de Cantor sii G se escinde como un producto libre notrivial o es una extension HNN sobre un grupo finito.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 24 / 36

Teorıa geometrica de grupos

Teorema (Stallings)

Sea G un grupo finitamente generado. Entonces el espacio de fines de Ges uno de los siguientes:

1 El vacıo sii G es finito.

2 Un punto (e.g. G virtualmente Zk con k ≥ 2).

3 Un conjunto con dos elementos sii G es virtualmente Z.

4 Un conjunto de Cantor sii G se escinde como un producto libre notrivial o es una extension HNN sobre un grupo finito.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 24 / 36

Teorıa geometrica de grupos

Teorema (Stallings)

Sea G un grupo finitamente generado. Entonces el espacio de fines de Ges uno de los siguientes:

1 El vacıo sii G es finito.

2 Un punto (e.g. G virtualmente Zk con k ≥ 2).

3 Un conjunto con dos elementos sii G es virtualmente Z.

4 Un conjunto de Cantor sii G se escinde como un producto libre notrivial o es una extension HNN sobre un grupo finito.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 24 / 36

Teorıa geometrica de grupos

Teorema (Stallings)

Sea G un grupo finitamente generado. Entonces el espacio de fines de Ges uno de los siguientes:

1 El vacıo sii G es finito.

2 Un punto (e.g. G virtualmente Zk con k ≥ 2).

3 Un conjunto con dos elementos sii G es virtualmente Z.

4 Un conjunto de Cantor sii G se escinde como un producto libre notrivial o es una extension HNN sobre un grupo finito.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 24 / 36

Teorıa geometrica de grupos

Teorema (Stallings)

Sea G un grupo finitamente generado. Entonces el espacio de fines de Ges uno de los siguientes:

1 El vacıo sii G es finito.

2 Un punto (e.g. G virtualmente Zk con k ≥ 2).

3 Un conjunto con dos elementos sii G es virtualmente Z.

4 Un conjunto de Cantor sii G se escinde como un producto libre notrivial o es una extension HNN sobre un grupo finito.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 24 / 36

Teorıa geometrica de grupos

Teorema (Stallings)

Sea G un grupo finitamente generado. Entonces el espacio de fines de Ges uno de los siguientes:

1 El vacıo sii G es finito.

2 Un punto (e.g. G virtualmente Zk con k ≥ 2).

3 Un conjunto con dos elementos sii G es virtualmente Z.

4 Un conjunto de Cantor sii G se escinde como un producto libre notrivial o es una extension HNN sobre un grupo finito.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 24 / 36

Cubiertas mınimas regulares

Dado un mapa M = (Γ, S) llamamos cubriente regular a un cubriente:

π : M := (Γ, S)→ (Γ, S)

donde M es regular.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 25 / 36

Cubiertas mınimas regulares

Dado un mapa M = (Γ, S) llamamos cubriente regular a un mapeocubriente:

π : M := (Γ, S)→ (Γ, S)

donde M es regular.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 26 / 36

Cubiertas mınimas regulares

Dado un mapa M = (Γ, S) llamamos cubriente regular a un mapeocubriente:

π : M := (Γ, S)→ (Γ, S)

donde M es regular.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 27 / 36

Cubiertas mınimas regulares

Dado un mapa M = (Γ, S) llamamos cubriente regular a un mapeocubriente:

π : M := (Γ, S)→ (Γ, S)

donde M es regular.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 28 / 36

Cubiertas mınimas regulares

Dado un mapa M = (Γ, S) llamamos cubriente regular a un mapeocubriente:

π : M := (Γ, S)→ (Γ, S)

donde M es regular.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 29 / 36

Cubiertas mınimas regulares

Dado un mapa M = (Γ, S) llamamos cubriente regular a un mapeocubriente:

π : M := (Γ, S)→ (Γ, S)

donde M es regular.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 30 / 36

Cubiertas mınimas regulares

Dado un mapa M = (Γ, S) llamamos cubriente regular a un mapacubriente:

π : M := (Γ, S)→ (Γ, S)

donde M es regular.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 31 / 36

Resultado principal

Teorema

Sea M = M(Γ,R2) un mapa con caras convexas con al menos dos carasde diferentes tamanos y tal que el grupo de simetrıas de M tiene al menosdos translaciones linealmente independientes. Entonces el cubrientemınimo regular M = M(Γ, S) toma lugar en una superficie S homeomorfaal monstruo del lago Ness.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 32 / 36

Resultado principal

Teorema

Sea M = M(Γ,R2) un mapa con caras convexas con al menos dos carasde diferentes tamanos y tal que el grupo de simetrıas de M tiene al menosdos translaciones linealmente independientes. Entonces el cubrientemınimo regular M = M(Γ, S) toma lugar en una superficie S homeomorfaal monstruo del lago Ness.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 32 / 36

Resultado principal

Teorema

Sea M = M(Γ,R2) un mapa con caras convexas con al menos dos carasde diferentes tamanos y tal que el grupo de simetrıas de M tiene al menosdos translaciones linealmente independientes. Entonces el cubrientemınimo regular M = M(Γ, S) toma lugar en una superficie S homeomorfaal monstruo del lago Ness.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 32 / 36

Resultado principal

Teorema

Sea M = M(Γ,R2) un mapa con caras convexas con al menos dos carasde diferentes tamanos y tal que el grupo de simetrıas de M tiene al menosdos translaciones linealmente independientes. Entonces el cubrientemınimo regular M = M(Γ, S) toma lugar en una superficie S homeomorfaal monstruo del lago Ness.

Idea de la prueba. Un fin: el grupo Aut(M) es virtualmente un grupoabeliano de rango mayor o igual a dos. Luego aplicamos el teorema deStallings y el lema de Svarc-Milnor. Genero infinito: basta probar que haygenero y dejar actuar al grupo de automorfismos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 33 / 36

Resultado principal

Teorema

Sea M = M(Γ,R2) un mapa con caras convexas con al menos dos carasde diferentes tamanos y tal que el grupo de simetrıas de M tiene al menosdos translaciones linealmente independientes. Entonces el cubrientemınimo regular M = M(Γ, S) toma lugar en una superficie S homeomorfaal monstruo del lago Ness.

Idea de la prueba. Un fin: el grupo Aut(M) es virtualmente un grupoabeliano de rango mayor o igual a dos. Luego aplicamos el teorema deStallings y el lema de Svarc-Milnor. Genero infinito: basta probar que haygenero y dejar actuar al grupo de automorfismos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 33 / 36

Resultado principal

Teorema

Sea M = M(Γ,R2) un mapa con caras convexas con al menos dos carasde diferentes tamanos y tal que el grupo de simetrıas de M tiene al menosdos translaciones linealmente independientes. Entonces el cubrientemınimo regular M = M(Γ, S) toma lugar en una superficie S homeomorfaal monstruo del lago Ness.

Idea de la prueba. Un fin: el grupo Aut(M) es virtualmente un grupoabeliano de rango mayor o igual a dos. Luego aplicamos el teorema deStallings y el lema de Svarc-Milnor. Genero infinito: basta probar que haygenero y dejar actuar al grupo de automorfismos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 33 / 36

Resultado principal

Corolario

El cubriente mınimo regular de un mapa arquimedeano toma lugar en unasuperficia homeomorfa al monstruo del lago Ness.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 34 / 36

Resultado principal

Corolario

El cubriente mınimo regular de un mapa arquimedeano toma lugar en unasuperficia homeomorfa al monstruo del lago Ness.

Algunos mapas arquimedeanos.

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 35 / 36

¡Muchas gracias a todos por su atencion!

Fin.(arXiv:1210.1518)

Ferran Valdez (UNAM) Mapas en el monstruo del Lago Ness 6 de marzo de 2013 36 / 36