Grupos cristalográficos no euclídeos y susacciones sobre el plano hiperbólico
escrito por
ALEJANDRO J. MONERRI MOLINA
Tutor: Profesor Francisco Javier Cirre Torres
Facultad de CienciasUNIVERSIDAD DE EDUCACIÓN A DISTANCIA
Trabajo presentado para la obtención del título deMaster Universitario en Matemáticas Avanzadas de la UNED.
Especialidad Geometría y Topología
JUNIO 2016
ABSTRACT
Abstract en español:En este trabajo se exponen las propiedades básicas de los subgrupos discontínuos Γ del
grupo de isometrías del plano hiperbólico H, tanto en el caso de cociente H/Γ compacto, comoen el caso no compacto. Para ello, se han estudiado las propiedades geométricas de las regionesfundamentales y los espacios cocientes asociados, así como la relación de éstos con sus estructurasalgebraicas.
Abstract in English:This Master Thesis deals with the basic properties of the discontinuos subgroups Γ of the
group of isommetries of the hyperbolic plane H, both in the case of compact quotient H/Γ and inthe no-compact case. For this purpose, the geometrical properties of their fundamental regionsand quotient spaces have been studied, as well as the relationship between them and theiralgebraic structures.
Keywords: Grupos cristalográficos no euclídeos, Regiones Fundamentales, Automorfismos de superficies
de Riemann y de Klein
i
TABLA DE CONTENIDOS
Página
Índice de cuadros iv
Índice de figuras v
1 Introducción 1
2 Preliminares 32.1. Geometría Hiperbólica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2. Espacios recubridores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3. Grupos fuchsianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.4. Superficies de Riemann y sus grupos de automorfismos . . . . . . . . . . . . . . . . 8
2.5. Algunos resultados de la teoría de grupos . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 Grupos NEC con espacio cociente compacto 143.1. Definición. Propiedades básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2. Región de Wilkie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.3. Clasificación algebraica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.4. Signatura y presentación de grupos NEC . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.5. Isomorfismos de grupos NEC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.6. Área de una región fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.7. Rango de un grupo NEC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.8. Subgrupos de grupos NEC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4 Grupos NEC con espacio cociente no compacto 624.1. Región Fundamental de grupos NEC no compactos . . . . . . . . . . . . . . . . . . . 63
ii
TABLA DE CONTENIDOS
4.2. Estructura algebraica de grupos NEC no compactos . . . . . . . . . . . . . . . . . . 71
4.3. Estructura de grupos NEC no compactos y finitamente generados . . . . . . . . . . 74
5 Conclusiones 83
Bibliografía 85
iii
ÍNDICE DE CUADROS
TABLA Página
3.1. Signatura y Presentación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.2. Órden de los estabilizadores de los vértices . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.1. Tabla de vértices de v . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
iv
ÍNDICE DE FIGURAS
FIGURA Página
2.1. Vértice parabólico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.1. Región fundamental inicial ApBCp∗D . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2. Región fundamental transformada AqCq∗T(B)D . . . . . . . . . . . . . . . . . . . . . . 22
3.3. Región fundamental inicial ABpCp∗D . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.4. Región fundamental transformada AqCT(B)q∗D . . . . . . . . . . . . . . . . . . . . . . 24
3.5. Región fundamental inicial ApBCp′D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.6. Región fundamental transformada AqCT(B)q′D . . . . . . . . . . . . . . . . . . . . . . 25
3.7. Región fundamental inicial ABpCp′D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.8. Región fundamental transformada AqCq′T(B)BD . . . . . . . . . . . . . . . . . . . . . 26
3.9. Teselas para calcular la relación del vértice v . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.1. Vértice parabólico en una región de Dirichlet no compacta . . . . . . . . . . . . . . . . . 65
4.2. Región de Dirichlet del grupo modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.3. Región de Dirichlet del ⟨z 7→ z+1⟩ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.4. F1 tiene contorno cíclico. F2,F3 no tienen contorno cíclico . . . . . . . . . . . . . . . . . 66
4.5. Gráfico para demostración de 4.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.6. Ejemplo de sector para la demostración de la proposición 4.7 . . . . . . . . . . . . . . . 70
4.7. Estrella del vértice v . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.8. Región fundamental con un vértice parabólico . . . . . . . . . . . . . . . . . . . . . . . . 76
4.9. Superficie cociente correspondiente a componentes parabólicas . . . . . . . . . . . . . . 76
4.10. Región fundamental con un lado en el eje R . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.11. Superficie cociente correspondiente a componentes hiperbólicas (funnel) . . . . . . . . 77
4.12. Región fundamental con un lado en el eje R y reflexiones . . . . . . . . . . . . . . . . . 77
4.13. Superficie cociente correspondiente a componentes hiperbólicas (funnel con línea de
reflexión) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.14. Superficie orientable de género 1 no compacta . . . . . . . . . . . . . . . . . . . . . . . . 79
4.15. Región fundamental del grupo G . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.16. Superficie orientable de género 1 no compacta menos un disco cerrado . . . . . . . . . 80
v
CA
PÍ
TU
LO
1INTRODUCCIÓN
Por el teorema de uniformización para superficies de Riemann sabemos que toda superficie
compacta de Riemann de género mayor que uno es el espacio de órbitas del plano hiper-
bólico H bajo la acción de un subgrupo de discreto Γ del grupo de automorfismos de H que
preservan la orientación. La naturaleza discreta de estos subgrupos, llamados grupos fuchsianos,
implica la existencia de las denominadas regiones fundamentales, que son polígonos hiperbólicos,
entre cuyas propiedades está la de la naturaleza invariante de su área, que nos permite deducir
las sorprendentes propiedades de finitud de sus grupos de automorfismos. Adicionalmente, las
propiedades algebraicas de un subgrupo fuchsiano están estrechamente relacionadas con la
estructura geométrica de su región fundamental. De esta forma, la conexión entre las propie-
dades algebraicas de los grupos fuchsianos y las geométricas de sus regiones fundamentales
materializan una de esas relaciones que se encuentran, una y otra vez, entre distintas áreas de
las matemáticas (Topología, Álgebra, Ánálisis Complejo, Teoría de Números, Geometría, etc.), en
este caso, en el estudio de las superficies de Riemann y la Geometría Hiperbólica y que explican
sus papeles centrales en el desarrollo de las matemáticas desde el pasado siglo.
Por otro lado, el grupo completo de automorfismos del plano hiperbólico contiene tanto las trans-
formaciones que preservan la orientación, comentadas arriba, como transformaciones que la
invierten, por ejemplo reflexiones y reflexiones con deslizamientos. Parece razonable por ello
plantearse la siguiente cuestión: ¿en qué medida los subgrupos discretos del grupo completo de
automorfismos de H mantienen propiedades paralelas a las de los grupos fuchsianos? A estos
grupos se les denomina grupos cristalográficos no euclídeos (NEC) y se demuestra que, en efecto,
juegan un papel análogo al de los grupos fuchsianos en el estudio de las denominadas superficies
de Klein, que son la versión no orientable o con borde de las superficies de Riemann.
El estudio de las propiedades de los grupos NEC comienza con los trabajos de Wilkie [28] y
1
CAPÍTULO 1. INTRODUCCIÓN
Macbeath [18] que en 1966 y 1967, respectivamente, obtuvieron la clasificación completa de estos
grupos en el caso de grupos de cociente compacto. Estos trabajos iniciales fueron extendidos, entre
otros, por Macbeath y Hoare en [19] y por Zieschang en [29] al caso de grupos NEC de cociente no
compacto, volviendo, además, a obtener, como casos particulares del caso NEC general, resultados
clásicos relativos a grupos fuchsianos y a superficies de Riemann.
Asimismo, Singerman estudió, por ejemplo, la versión para grupos NEC del importante invariante
dado por el área de sus regiones fundamentales, estudió las propiedades del grupo fuchsiano
canónico de un grupo NEC en [25], e investigó, entre otros, el papel de estos grupos en el estudio
de superficies de Riemann no orientables [24]. Posteriormente, Preston [23] en 1975 y May [21]
en 1977 demostraron que las superficies de Klein, introducidas por Klein en 1897, pueden ser
representadas por cocientes del tipo anterior, es decir, del plano hiperbólico por acciones de grupos
NEC. Por último, destacar que la UNED y la Universidad Complutense de Madrid han tenido
un papel extraordinariamente relevante en el estudio de los grupos NEC y de los grupos de
automorfismos de superficies de Riemann y Klein; por ejemplo, el profesor Bujalance ha realizado
una extensa investigación en el área de grupos NEC en [5] y [6] y en superficies de Riemann y
Klein en [7], [9] y [10], donde únicamente se he citado las referencias usadas en la bibliografía de
esta trabajo. Igualmente, los profesores Etayo y Martínez, entre otras aportaciones, construyeron
en [12] regiones fundamentales convexas en forma de polígonos hiperbólicos con el número
mínimo de lados a partir de una signatura NEC dada.
El contenido de la presente memoria gira entorno a la pregunta planteada arriba y para ello
el trabajo se ha estructurado de la siguiente forma. En primer lugar, en el capítulo 2, Preli-
minares, presentamos resultados básicos de geometría hiperbólica, superficies de Riemann y
sus automorfismos, Teoría de Grupos y Topología. Se revisan las definiciones fundamentales y
resultados básicos necesarios para dar consistencia a la memoria, aunque dado que todos ellos se
incluyen en los contenidos del grado y del máster, se presentan resumidos y sin demostraciones.
El capítulo 3 se dedica al estudio de las propiedades de los grupos NEC de cociente compacto,
aquellos en los que el espacio cociente H/Γ es compacto. Se estudiarán asimismo las regiones
fundamentales y sus propiedades, la clasificación algebraica, presentación y signatura de los
grupos NEC. Adicionalmente, se introducirá el concepto de rango de un grupo NEC y se termina
este capítulo con el estudio de dos tipos de subgrupos de gran relevancia: el grupo fuchsiano
canónico de un grupo NEC y los subgrupos normales. El capítulo 4 es una introducción al estudio
de grupos NEC de cociente no compacto, en particular, se estudian sus regiones fundamentales
y su estructura tanto para el caso de ser finitamente generados como en los no finitamente
generados.
Finalmente, quisiera acabar esta introducción señalando como objetivo personal de la presente
memoria el adquirir y presentar los conocimientos fundamentales necesarios para poder realizar
actividades de investigación en el área de grupos NEC, superficies de Klein y sus grupos de
automorfismos.
2
CA
PÍ
TU
LO
2PRELIMINARES
Este capítulo lo dedicamos a tratar los conceptos preliminares fundamentales necesarios
para abordar la memoria. Se incluyen conceptos y resultados básicos de la geometría
hiperbólica, en particular, los modelos del semiplano superior y del disco de Poincaré,
la métrica hiperbólica y el teorema de Gauss-Bonet, que serán empleados de forma sistemática
durante la memoria. La bibliografía usada para esta parte son, fundamentalmente, [1] y [15],
aunque aspectos parciales de los temas tratados han sido basados también en [3] y [19].
El estudio de superficies de Riemann y Klein hace necesario el uso sistemático de las nociones
de levantamientos y espacios recubridores, a los que dedicamos la segunda sección del presente
capítulo y que hemos tratado siguiendo fundamentalmente dos referencias, [15] y [22].
La tercera sección la dedicamos a los grupos fuchsianos, donde se repasará su definición y algunas
propiedades importantes usadas a lo largo de la memoria. Las referencias usadas en esta sección
son [19], [14] y [15].
La sección cuarta del capítulo la dedicamos el estudio de las propiedades de los cocientes del
semiplano superior por grupos de sus automorfismos H/Γ, en estrecha relación con el concepto de
superficie de Klein y sus grupos de automorfismos, y en ella revisamos la definición de Superficie
de Riemann y sus grupos de automorfismos, además se presentan resultados relacionados como
la fórmula de Riemann-Hurwitz. La bibliografía usada en esta sección ha sido, esencialmente,
[15].
Por último, se ha incluido un repaso de los conceptos ineludibles de teoría de grupos necesarios
para este trabajo, en particular, grupos conmutadores y grupos de Sylow. Para esta sección, se
han usado las referencias [8] y, de nuevo, el texto de Jones y Singerman [15].
3
CAPÍTULO 2. PRELIMINARES
2.1. Geometría Hiperbólica
Este trabajo va a usar de forma sistemática dos modelos del plano hiperbólico, el del semi-
plano superior H y el modelo del disco unidad o de Poincaré D. Recordamos que un modelo desde
el punto de vista geométrico, sec compone de un espacio soporte en el que definimos como se
representan los objetos geométricos básicos como puntos y líneas. Los modelos del semiplano
superior y del disco de Poincaré quedan enmarcados en el plano complejo, usado como espacio
soporte a las definiciones geométricas.
En el modelo del semiplano superior, el espacio soporte es el conjunto de puntos del plano complejo
H = {z = x+ iz ∈ C : y > 0}. En este espacio queda definida una métrica de la forma ds = |d y|y
cuyas geodésicas, las líneas hiperbólicas o H-líneas, son círculos o líneas ortogonales al eje real.
Se puede demostrar que el grupo de isometrías del semiplano superior viene dado por las trans-
formaciones de la forma
az+bcz+d
con ,a,b, c,d ∈R,ad−bc = 1,
az+bcz+d
con ,a,b, c,d ∈R,ad−bc =−1.
Este grupo es isomorfo al grupo proyectivo especial lineal PSL(2,R), la imagen del grupo SL(2,R)
de matrices de orden dos de determinante unidad en el grupo cociente PGL(2,R)/{±I}.
En el modelo del disco de Poincaré, el plano hiperbólico se identifica con el disco abierto
D = {w = u + iv ∈ C : |w| < 1} y la métrica se define como |dw|1−|w|2 . En este caso, las H-líneas
están dadas por círculos perpendiculares al círculo unidad y por las líneas que pasan por el origen,
en otras palabras, H-líneas perpendiculares al círculo unidad. El grupo de isometrías del modelo
de Poincaré consiste ahora en las aplicaciones
aw+b
bw+a,aw+b
bw+acon aa−bb = 1.
Los modelos del semiplano superior y del disco de Poincaré son equivalentes, equivalencia
que viene dada por la transformación de Möbius
w = z− iz+ i
,w ∈D, z ∈H.
En lo que sigue nos centraremos en el modelo del semiplano superior, pero, por lo anterior,
todos los resultados que presentamos tienen su contrapartida equivalente en el modelo de Poinca-
ré. En primer lugar, definimos distancia hiperbólica ρ entre dos puntos z,w ∈H como la longitud
hiperbólica de la H-línea que une z y w. Donde se entiende que la longitud hiperbólica se calcula
integrando sobre la métrica definida arriba. Se tiene el siguiente resultado fundamental:
4
2.2. ESPACIOS RECUBRIDORES
Teorema 2.1 (Invarianza de la distancia hiperbólica). ρ(T(z),T(w)) = ρ(z,w) para toda T ∈PSL(2,R), z,w ∈H.
Un grupo se dice que actúa transitivamente sobre un conjunto si dados dos elementos
cualquiera del mismo a,b existe un elemento g del grupo tal que a = gb. Se tiene que PGL(2,R)
actúa de forma transitiva sobre la H-Líneas. El elemento de H-área se definedxdy
y2 y se tiene, de
nuevo, que el H-área, calculado a partir del elemento de H-área que acabamos de definir, es un
invariante frente a transformaciones de PGL(2,R). Se tienen además los siguientes resultados
que serán ampliamente usados en la memoria:
Teorema 2.2 (Teorema de Gauss-Bonnet). Sea ∆ un triángulo hiperbólico con ángulos α,β,γ.
Entonces su H-área es
µ(∆)=π−α−β−γ.
Decimos que un subconjunto de puntos C del plano hiperbólico es estrellado si existe un
punto O del interior de C de forma que para todo P ∈ C, la H-línea que une O y P está en C. En
particular, los conjuntos convexos hiperbólicos son conjuntos estrellados. El siguiente corolario
del teorema anterior resultará de utilidad en el capítulo 3 al estudiar el área de un grupo NEC:
Corolario 2.3 (Gauss-Bonnet para conjuntos polígonos estrellados). Sea Π un polígono hiperbó-
lico estrellado de n-lados con ángulos α1,α2, ...,αn. Entonces
µ(Π)= (n−2)π−α1 −α1 −α2 − ...−αn.
2.2. Espacios recubridores
Presentamos las nociones de espacio recubridor y recubridor universal de gran utilidad en el
estudio de las propiedades de los cocientes H/Γ. En la última parte de esta sección, describimos
los conceptos de recubrimientos ramificados (branched coverings), plegados (folded covering) y
ramificados-plegados (branched and folded coverings) que serán usados en los capítulos 3 y 4.
Definicion 2.4 (Abierto regularmente cubierto). Sea p : S → S una aplicación continua y sobre-
yectiva. Un conjunto U de S se dice que stá regularmente cubierto por p si su imagen inversa
por p, p−1(U) puede escribirse como una unión disjunta de conjuntos abiertos Vα de S, tales que
para cada α la restricción de p a Vα es un homeomorfismo de Vα en U . Los conjuntos {Vα} y U se
llamarán entornos elementales.
Definicion 2.5 (Aplicación y espacio recubridores). Sea p : S → S una aplicación continua y
sobreyectiva. Si todo punto s de S tiene un entorno U que está regularmente cubierto por p,
entonces se dice que p es una aplicación recubridora y S un espacio recubridor de S.
Diremos además que S es un espacio recubridor de k-hojas de S si p−1(s) tiene k elementos.
Si existe un s tal que p−1(s) tiene k-elementos, entonces p−1(s) tiene k-elementos para todo s ∈ S.
5
CAPÍTULO 2. PRELIMINARES
Se denomina transformación recubridora de (S, p) a un homeomorfismo g : S → S tal que p◦ g = p.
Las transformaciones recubridoras forman un grupo bajo la operación de composición.
Si el espacio recubridor E es simplemente conexo, diremos que E es un recubridor universal
de S. Se tiene que toda superficie conexa S tiene una superficie recubridora (S, p) tal que S
es simplemente conexa, es decir, S es su recubridor universal. El espacio recubridor universal
es único en el siguiente sentido: si (S, q) es otro espacio recubridor simplemente conexo de S,
entonces existe un homeomorfismo f : S → S tal que p = q ◦ f . Más generalmente, si (S, q) es
un espacio recubridor conexo de S, entonces hay una aplicación recubridora f : S → S tal que
p = q ◦ f , de forma que S recubre todas las superficies recubridoras conexas de S. El siguiente
resultado tiene una relevancia especial en el estudio de automorfismos de las superficies de
Riemann y de Klein:
Teorema 2.6 (Aplicaciones y espacios recubridores). Si S es conexo, el grupo G de transformacio-
nes recubridoras de p : S → S actúa de forma discontinua en S. En particular, un elemento de G
distinto de la unidad no puede tener puntos fijos en S.
Decimos que (S, p) es un espacio recubridor regular de S, si para todo s ∈ S, el grupo G de
transformaciones recubridoras actúa transitivamente sobre la fibra p−1(s). El siguiente resultado
nos ofrece la forma natural de identificar una superficie con un cociente de una superficie
recubridora por un grupo de transformaciones recubridoras:
Teorema 2.7 (Superficies recubridores regulares). Si (S, p) es una superficie recubridora regular
de S y si G es el grupos de transformaciones recubridoras, entonces existe un homeomorfismo
q : S → S/G dado por q(s)= [s]G , donde s ∈ S y s ∈ p−1(s).
Un concepto más general que el recubrimiento, es el de recubrimiento ramificado, en el que el
recubrimiento está definido en todo el espacio menos en un conjunto finito de puntos:
Definicion 2.8 (Aplicación y espacio recubridores ramificados). Una aplicación continua p : S →S se dice que es un recubrimiento ramificado si existe un conjunto finito de puntos x1, ..., xn ∈ S
tal que el conjunto p−1({x1, ..., xn}) es discreto y la restricción de p a S − p−1({x1, ..., xn}) es un
recubrimiento. Los puntos x1, ..., xn ∈ S se denominan puntos de ramificación de p
Intuitivamente, si S y S fueran subconjuntos de C, entonces los puntos de ramificación de
f (z) se pueden entender como los puntos z donde las soluciones de f (z)= c tienen multiplicidad
mayor que q. Localmente a un punto de ramificación, la aplicación recubridora ramificada es
equivalente a la aplicación z 7→ zm y diremos que el punto de ramificación tiene índice m.
Análogamente, diremos que una aplicación recubridora es plegada (folded covering) si es local-
mente como la aplicación x+ i y 7→ x+ i|y|. Por último, la aplicación puede ser ramificada y plegada
a la (branched and folded covering); a continuación presentamos la definición formal en este caso
(ver [28]:
6
2.3. GRUPOS FUCHSIANOS
Definicion 2.9 (Aplicación ramificada y plegada). Una aplicación f : X →Y se dice que es una
aplicación ramificada y plegada de orden n en un punto x ∈ X , si x tiene un entorno V y existe los
homeomorfismos h1 : V →W ,h2 : W∗ → f (V ) tal que f = h2 ◦ϕ◦h1, donde W es el disco unidad
|z| < 1, n es un entero positivo, W∗ ⊂W es el conjunto de reiθ con 0< r < 1,0≤ θ ≤ π
n, ϕ : W →W∗
es una aplicación continua
ϕ(reiϑ)= rei|ϑ∗|,donde ϑ∗ verifica −π
n≤ϑ∗ ≤ π
n, ϑ=ϑ∗(mod2π/n).
2.3. Grupos fuchsianos
Los subgrupos discretos de de PSL(2,R) se denominan grupos fuchsianos. Una característica
que define a los grupos fuchsianos es la de su acción que, si bien en el caso general no es
discontinua, verifica una versión algo más débil denominada acción propiamente discontinua. Un
grupo G se dice que actúa propiamente discontínuamente sobre un espacio topológico Y si cada
punto y ∈Y tiene un entorno V tal que si g(V )∩V 6=∅ para g ∈G, entonces g(y)= y. El siguiente
teorema resume las dos propiedades básicas que definen a los grupos fuchsianos:
Teorema 2.10 (Grupos fuchsianos). (i) Sea Γ un subgrupo de PSL(2,R). Entonces Γ es fuchsiano
si y sólo si Γ actúa propiamente discontínuamente en H.
(ii) Sea Γ un grupo fuchsiano y sea p ∈H un punto fijo para algún elemento de Γ. Entonces, existe
un entorno W de p tal que ningún otro punto de W queda fijado por un elemento de Γ que no sea
la identidad.
Los siguientes resultados son de utilidad en el capítulo 3
Corolario 2.11 (Γ-órbita es discreta). Sea Γ un subgrupo de PSL(2,R). Entonces, Γ es un grupo
fuchsiano si y sólo si para todo z ∈H, Γz, la órbita de z por Γ es un subconjunto discreto de H.
Teorema 2.12 (Orden finito de los elementos elípticos). Un elemento elíptico de un grupo fuch-
siano tiene orden finito.
A cada grupo fuchsiano se le asocia una signatura, que un conjunto ordenado de enteros
no negativos. Sucede que la signatura tiene asociada una presentación del grupo dado que es
única salvo isomorfismos y que nos permite identificar o deducir muchas de sus propiedades. La
signatura de un grupo fuchsiano se representa de la forma (g;m1, ...,mr) donde g representa el
género de el espacio cociente H/Γ y los enteros positivos mayores que 1, m1, ...,mr se denominan
periodos. A cada signatura le asignamos un grupo con la siguiente presentación
(i) Generadores: x1, ..., xr,a1,b1...ag,bg
(ii) Relaciones: xm11 = xm2
2 = ...= xmrr = 1, x1x2...xra1b1a−1
1 b−11 ...agbga−1
g b−1g = 1.
Todo grupo fuchsiano tiene una representación como la anterior y todo conjunto de enteros de la
forma g,m1, ...,mr tal que
7
CAPÍTULO 2. PRELIMINARES
2g−2+∑ri=1(1− 1
mi)> 0,
tiene un grupo fuchsiano con la signatura (g;m1, ...,mr). Finalmente, dos grupo fuchsianos
Γ,Γ′
de signaturas (g;m1, ...,mr) y (g′;m
′1, ...,m
′r) respectivamente, son isomorfos si y sólo si
g = g′, r = r
′y hay una permutación φ del conjunto ordenado (1,2, ..., r) tal que m
′i = mφ(i).
Como sabemos, los grupos fuchsianos tienen asociadas regiones fundamentales que nos permiten
teselar el espacio usando estas regiones como tesela básica. En el capítulo 3 se estudian estas
regiones para el caso de los grupos NEC de cociente compacto, cuyas definición y propiedades son
análogas a las del caso de grupos fuchsianos. Un tipo importante de región fundamental es la
región de Dirichlet de un grupo fuchsiano Γ centrado en un punto p, definido como la intersección
de todos los semiplanos formado por los puntos más cercanos al centro de la región p que al de sus
transformados por elementos de Γ. La construcción de la región de Dirichlet tiene dos ventajas
para el estudio y aplicación de las regiones fundamentales: en primer lugar, tiene propiedades
muy convenientes como ser conexas y localmente finitas, es decir, cada punto de la tesela tiene
algún entorno que intersecta con un número finitos de otras teselas. En segundo lugar, permite
su construcción para cualquier grupo fuchsiano, lo que implica que dado un grupo fuchsiano Γ,
siempre podremos construir una región fundamental en forma de polígono hiperbólico convexo.
2.4. Superficies de Riemann y sus grupos de automorfismos
En esta sección, revisamos el concepto de superfices de Riemann. En primer lugar, introduci-
mos su definición para posteriormente presentar las propiedades más relevantes de sus grupos
de automorfismos necesarias para el resto del trabajo.
Definicion 2.13 (Superficies de Riemann). Sea S una superficie y U =Ui una familia de abiertos
que recubren S que verifica las siguientes propiedades
(i) Para cada Ui ∈U existe un homeomorfismo φi : Ui −→C, donde C es el plano complejo.
(ii) Si Ui,U j ∈ U y Ui ∩U j 6=∅, entonces φiφ−1j es una aplicación conforme (también se llama
analítica) definida en φ j(Ui ∩U j).
Entonces se dice que S es una superficie de Riemann.
El siguiente resultado resulta de gran relevancia:
Teorema 2.14 (Teorema de Uniformización). Toda superficie de Riemann simplemente conexa es
conformalmente equivalente a una de las siguientes
(i) La esfera de Riemann Σ;
(ii) El plano complejo C;
(iii) El semiplano superior H.
8
2.4. SUPERFICIES DE RIEMANN Y SUS GRUPOS DE AUTOMORFISMOS
Los homeomorfismos de S en S se llaman automorfismos si las funciones φi fφ−1j son funciones
conformes. El conjunto de automorfismos de una superfice de Riemann S es un grupo bajo la
operación de composición que escribimos Aut(S). Los automorfismos de las tres superficies de
Riemann simplemente conexas se presentan en le siguiente teorema:
Teorema 2.15 (Automorfismos de superficies de Riemann). (i) Aut(Σ)= PSL(2,C);
(ii) Aut(C)= {z 7→ az+b : a,b ∈C,a 6= 0};
(iii) Aut(H)= PSL(2,R).
Si S es una superficie de Riemann y (S, p) es una superficie recubridora de S, entonces
existe una única estructura compleja en S tal que la aplicación p : S → S es holomorfa. De aquí
deducimos que cada transformación recubridora de (S, p) es un automorfismo de S. De esta
forma, si S es una superficie de Riemann conexa, su recubridor universal (S, p) tendrá una única
estructura compleja con respecto a la cual la aplicación recubridora p es holomorfa y, por lo
tanto, S es una superficie de Riemann simplemente conexa. Se puede demostrar además que
la cubierta universal (S, p) es además un recubrimiento regular de S. Ahora, por el teorema de
uniformización, S será conformalmente equivalente a Σ, C o H. Puesto que la cubierta universal
es regular, por el teorema 2.7 y la discusión anterior obtenemos el siguiente teorema, también de
gran utilidad en la memoria:
Teorema 2.16 (Superfice de Riemann conformalmente equivalente a un cociente por un grupo
discontinuo). Si S es una superficie de Riemann no conformalmente equivalente a Σ, C, el plano
complejo menos un punto o a un toro, entonces S tiene un espacio recubridor universal S =H, el
semiplano superior, y S es conformalmente equivalente al cociente H/G para algún grupo G de
PSL(2,R) actuando discontinuamente sobre H.
En la sección anterior hemos visto que un grupo fuchsiano está representado de forma única,
salvo isomorfismos, por un conjunto de números enteros denominado signatura. La signatura
identifica además otras propiedades del grupo, entre ellas el área de la región fundamental
asociada:
Teorema 2.17 (Área de una región fundamental). Sea Γ de signatura (g;m1, ...,mr). Si F es una
región fundamental de Γ, cuya frontera tiene área hiperbólica nula, entonces
µ(F)= 2π{2g−2+∑ri=1(1− 1
mi)}.
Además, si F es la región de Dirichlet de un grupo fuchsiano Γ con H/Γ compacto, entonces se
verifica que µ(F)≥π/21, donde la cota µ(F)=π/21 se verifica únicamente para el grupo triangular
(0;2,3,7).
La región región de Dirichlet es un polígono hiperbólico y se puede demostrar que sus lados
están emparejados por elementos de Γ. De esta forma, análogamente al caso del toro que queda
definido identificando lados opuestos de un rectángulo, las identificaciones de lados de una región
de Dirichlet emparejados por transformaciones de Γ nos permite definir la superficie de Riemann:
9
CAPÍTULO 2. PRELIMINARES
Teorema 2.18 (Superfice de Riemann como cociente de región de Dirichlet). Si F es una región
de Dirichlet de un grupo Γ, entonces F/Γ es homeomorfo a H/Γ.
Las regiones de Dirichlet también nos permiten identificar si la superficie de Riemann es
compacta, como podemos ver en los dos próximos resultados:
Teorema 2.19 (Superfice de Riemann como cociente de región de Dirichlet). Sea F es una región
de Dirichlet de un grupo fuchsiano Γ, entonces H/Γ es compacto si y sólo si F es un subconjunto
compacto de H.
Teorema 2.20 (Superficies compactas y elementos parabólicos). Si H/Γ es compacto, Γ no contiene
elementos parabólicos
El siguiente teorema nos permite identificar los puntos fijos de los elementos parabólicos:
Teorema 2.21 (Puntos fijos en D). Sea v un punto en {z = 1} del disco de Poincaré D. Si v es
un punto fijo de algún elemento de un grupo Γ que actúa en D, entonces ese elemento es una
transformación parabólica. Además, si el vértice v ∈D de una región de Dirichlet queda fijo por
una transformación parabólica T, los dos lados de la región de Dirichlet que se encuentran en v
están emparejados por T, como se puede ver en la figura 2.21. Al vértice v le llamaremos vértice
parabólico.
FIGURA 2.1. Vértice parabólico
Como podemos deducir del teorema 2.15, las superficies de Riemann de género 0 y 1 tienen
un número infinito de automorfismos. Una propiedad sorprendente es la siguiente:
Teorema 2.22 (Número finito de automorfismos de las superficies de Riemann). Sea S una
superficie de Riemann compacta de género g ≥ 2. Entonces, el número de automorfismos de S
|Aut(S)| ≤ 84(g−1).
10
2.5. ALGUNOS RESULTADOS DE LA TEORÍA DE GRUPOS
Los grupos de 84(g−1) automorfismos de una superficie de Riemann compacta de género
g ≥ 2 se denominan grupos de Hurwitz. El siguiente teorema nos permite identificarlos:
Teorema 2.23 (Grupos de Hurwitz). Un grupo finito G es un grupo de Hurwitz si y sólo si G es
no trivial y tiene dos generadores x, y que obedecen las siguientes relaciones x2 = y3 = (xy)7 = 1.
Para terminar esta sección presentamos el siguiente resultado que se denomina teorema de
la fórmula de Riemann-Hurwitz y que nos relaciona el área de un subgrupo H de G con el índice
finito [G : H]:
Teorema 2.24 (Teorema de la fórmula de Riemann-Hurwitz). Si G es un subgrupo fuchsiano con
región fundamental compacta y H es un subgrupo de G de índice finito, entonces
µ(H)= [G : H]µ(G).
2.5. Algunos resultados de la teoría de grupos
Esta sección la dedicamos al estudio de algunos resultados de la teoría de grupos necesarios
para el desarrollo de la memoria. En particular, se revisa, en primer lugar, los conceptos de
subgrupo característico y subgrupo conmutador y su relación con los conceptos de subgrupo
normal y abelianización. En segundo lugar, presentamos resultados acerca de grupos de Sylow
y, por último, se introducen el grupo PSL(2, q), así como algunas de sus propiedades de gran
utilidad para el estudio de automorfimos de superficies de Riemann y Klein.
Un grupo G se dice simple si los únicos subgrupos normales son {1G} y el propio G. Una caracte-
rística a tener en cuenta de los subgrupos normales es que la normalidad no es una propiedad
transitiva, es decir, si G es un grupo, H y K subgrupos suyos de forma que H es normal en K y K
normal en G, entonces H no tiene por qué ser normal en G, como se puede ver con el siguiente
ejemplo usando el grupo diedral D4: K = {1, x2, y, y · f 2},H = {1, y}, que son tales que K es normal
en D4, pues es de índice 2, y H en K , por la misma razón. Sin embargo, H no es normal en G.
Una propiedad que permite verificar, en cierto modo, la transitividad anterior entre grupos
normales, es mediante los subgrupos característicos. Un subgrupo H se dice característico de G
si T(H)= H para todo automorfismo T de G. Se demuestra que los subgrupos característicos son
normales y que la propiedad de ser característico es transitiva, es decir, si H es característico de
K y éste a su vez de G, entonces H será característico en G. Análogamente, Si H es característico
de K y éste es normal en G, entonces H es normal de G.
Si a,b son dos elementos de un grupo G se denomina conmutador de a y b al elemento de G dado
por [a,b]= aba−1b−1. El subrupo conmutador o derivado de G está generado por el conjunto de
conmutadores de elementos de G y se escribe [G,G]. El conmutador de un grupo G es un subgrupo
normal y característico del grupo G. Además, se puede demostrar que el grupo cociente G/[G,G]
es un grupo abeliano, que se denomina abelianización de G. Por último, si H es un subgrupo
normal de G y G/H es abeliano, entonces [G,G] ⊆ H, es decir, el conmutador de G es el menor
11
CAPÍTULO 2. PRELIMINARES
subgrupo de G que verifica la propiedad de producir un cociente abeliano.
Sea G un grupo finito, p un número primo que divide al orden de G y H un subgrupo de G.
Decimos que H es un p-subgrupo de G si su orden es de la forma O(H)= pn, n ≥ 1. Asimismo de
decimos que H es un p-subgrupo de Sylow de G si H es un p-subgrupo de G y el índice de H en
G no es múltiplo de p. En el siguiente teorema enunciamos las propiedades de los subgrupos de
Sylow:
Teorema 2.25 (Teorema de Sylow). Sea G un grupo finito de orden pnm donde p es un número
primo, n y m enteros positivos tales que p no divide a m. Entonces se tiene:
1. G tiene algún p-subgrupo de Sylow.
2. Para cada 1≤ k ≤ n, G posee algún subgrupo de orden pk.
3. Los p-grupos de Sylow de G son conjugados
4. El número np de p-subgrupos de Sylow de G cumple:
(4.1) np divide a m.
(4.2) np −1 es múltiplo de p.
Además, np = [G : NG(H)] para cada p-subgrupo de Sylow H de G.
Un grupo de gran interés en el estudio de automorfismos en superficies de Riemann y Klein, el
grupo PSL(2, p). Para ello, vamos a introducir la siguiente notación: para cada entero p ≥ 2, sea
Zp el anillo de enteros módulo p. Las matrices de determinante 1 con coeficientes en Zp forman
un grupo que denominaremos SL(2, p), en el cual las matrices unidad ±I forman un subgrupo
normal. Se define PSL(2, p) = SL(2, p)/{±I}. El orden de PSL(2, p) es finito y si p es primo se
puede demostrar la siguiente fórmula:
|PSL(2, p)| = {p(p2 −1)
2: p > 2
6 : p = 2A continuación, enumeramos las propiedades de los grupos PSL(2, p) que usaremos en el capítulo
5:
Teorema 2.26 (Propiedades de PSL(2, p) - I). PSL(2, p) es un grupo de Hurwitz si y sólo si:
(i) p = q, donde q es un número primo y q ≡±1mod7 o
(ii) p = q, donde q es primo y q no es ninguno de 0,±1mod7 o
(iii) p = 7.
Teorema 2.27 (Propiedades de PSL(2, p) - II). Los elementos de PSL(2, p) de orden 2 tienen
traza 0, los elementos de orden 3 tienen traza 1 y los de orden 7 tienen traza ξ, donde se verifica
ξ3 +ξ2 −2ξ−1= 0.
En concreto, el grupo PSL(2,8) resulta tener propiedades relevantes en el estudio de grupos
de automorfismos de superficies de Klein. Las siguiente propiedad será necesaria durante este
estudio:
12
2.5. ALGUNOS RESULTADOS DE LA TEORÍA DE GRUPOS
Teorema 2.28 (Propiedades de PSL(2,8)). Dos elementos de PSL(2,8) son conjugados si y sólo
si tienen la misma traza.
Para acabar esta sección vamos a repasar los conceptos de presentación y producto libre de
grupos. Supongamos que un grupo Γ está generado por elementos X i y relaciones R j(X i) = 1
con i ∈ I, j ∈ J, con I, J conjuntos de índices. Cada R j(X i) se denomina palabra formada por
los generadores X i, que será simplemente un producto finito de potencias de generadores X i.
Decimos que las relaciones R j(X i)= 1 son relaciones definidoras de Γ si toda relación en Γ puede
ser deducida a partir de ellas, es decir, una palabra W(X i) de generadores de X i representa la
identidad en Γ si y sólo si puede ser transformada en un producto de conjugados de palabras de
R j(X i). En este caso decimos que el grupo Γ tiene la presentación
Γ= ⟨X i, i ∈ I : R j(X i)= 1, j ∈ J⟩.Formalmente, se dice que el grupo Γ tiene la presentación vista arriba si es isomorfo al cociente
del grupo libre S = ⟨X i, i ∈ I⟩ por el subgrupo normal generado por las relaciones R j(X i)= 1, j ∈ J.
Por ejemplo, los grupos cíclico Cn, diedral Dn y modular PSL(2,Z) tienen las presentaciones
Cn = ⟨X : X n = 1⟩,Dn = ⟨X ,Y : X n =Y 2 = (XY )2 = 1⟩,PSL(2,Z)= ⟨X ,Y : X2 =Y 3 = 1⟩.Por último, dados dos grupos Γ= ⟨X i, i ∈ I : R j(X i)= 1, j ∈ J⟩ y Γ
′ = ⟨Yi′ , i′ ∈ I
′: S j′ (Yi′ )= 1, j
′ ∈ J′⟩,
se llama producto libre de Γ y Γ′al grupo:
Γ∗Γ′ = ⟨X i ∪Yi′ , i ∈ I :, i′ ∈ I
′: R j(X i)= 1∪S j′ (Yi′ )= 1, j ∈ J, j
′ ∈ J′⟩.
13
CA
PÍ
TU
LO
3GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
Este capítulo lo dedicamos al estudio de las propiedades fundamentales de los grupos NEC
de cociente compacto también denominados grupos NEC cocompactos. Análogamente a
los grupos fuchsianos, definidos como los subgrupos discretos de PSL(2,R), el grupo de
automorfismos del semiplano complejo superior H, los grupos NEC serán introducidos como los
subgrupos discretos del grupos completo de simetrías de H, siendo PSL(2,R) un subgrupo del
anterior.
Este capítulo se estructura de la siguiente forma: en primer lugar, definimos formalmente el
concepto de grupo NEC y estudiamos sus propiedades básicas. Posteriormente, en las secciones
2 y 3 se definen las regiones fundamentales y de Dirichlet para grupos NEC, estudiamos sus
propiedades elementales y obtenemos sus formas canónicas. Además, se deducen su presentación
algebraica y su signatura. En la sección 4, se resuelve el problema de determinar las condiciones
necesarias y suficientes para que dos grupos NEC dadas sus representaciones estándar sean iso-
morfos. En la sección 5, profundizamos en el estudio de las regiones fundamentales y calculamos
sus áreas. Dado una presentación de un grupo NEC, en la seción 6 planteamos y resolvemos el
problema de calcular el número mínimo de generadores de ese grupo, que se denomina rango del
grupo. Por último, en la sección 7 estudiamos algunas propiedades de los subgrupos de los grupos
NEC, en particular, las relaciones entre las signaturas de los subgrupos normales y las del propio
grupo, así como el número de ciertos subgrupos de un grupo NEC dado.
3.1. Definición. Propiedades básicas
En la sección 2.4 hemos definido el grupo Λ de todas las transformaciones de la forma
(3.1) z 7→ az+bcz+d
a,b, c,d ∈R,ad−bc = 1,
14
3.2. REGIÓN DE WILKIE
(3.2) z 7→ az+bcz+d
a,b, c,d ∈R,ad−bc =−1,
donde, como hemos visto en el capítulo 2, las transformaciones 3.1 son los automorfismos del
semiplano superior Aut(H)= PSL(2,R) contenidos en el grupo de isometrías de H con índice 2, y
las 3.2 que también preservan H, pero invierten la orientación.
Definicion 3.1 (Grupos NEC). Denominamos grupo cristalográfico no euclídeo (NEC) a los
subgrupos discretos de las isometrías de H.
Ya vimos en el capítulo 2, que los subgrupos discretos de PSL(2,R) son los grupos fuchsianos
y puesto que PSL(2,R)⊂Λ, el grupo de isometrías de H, tenemos que los grupos fuchsianos son
un subgrupo de los grupos NEC. Los grupos fuchsianos serán representados mediante el símbolo
Λ+ y llamaremos grupos NEC propios a los grupos contenidos en Λ−Λ+.
Sea Γ un subgrupo discreto de Λ, como hemos visto en la sección 1.4, dependiendo de si Γ
incluye o no elementos parabólicos, tendremos que el espacio cociente H/Γ será compacto o
no, respectivamente. En lo que queda de este capítulo, estudiaremos grupos NEC con espacio
compacto, mientras que en el capítulo 4, estudiaremos las propiedades de los grupos NEC con
espacio no compacto.
3.2. Región de Wilkie
En primer lugar, definimos los conceptos de región fundamental, teselación y región de
Dirichlet asociados a un grupo NEC, Γ, y estudiamos sus propiedades. Posteriormente, obtene-
mos las denominadas representaciones canónicas de las regiones fundamentales y, finalmente,
obtendremos la presentación canónica del grupo Γ.
Definicion 3.2 (Región fundamental). Sea Γ un grupo NEC, decimos que F es una región
fundamental de Γ si es conexa, cerrada y verifica:
1.⋃
T∈ΓT(F)=H,
2. F ∩T(F)=;,T ∈Γ− {I},
Al conjunto ∂F = F − F le llamaremos contorno de F y a la familia {T(F) : T ∈ Γ} la llamaremos
teselación. Veremos más adelante que el contorno de las regiones fundamentales está compuesto
por H-líneas, que serán los lados de la región fundamental, que intersectan entre si en puntos
llamados vértices. A las imágenes de F por Γ las llamamos caras de la teselación.
La definición ha incluido la condición de que la región fundamental sea conexa. En la biblio-
grafía, se encuentran distintas definiciones donde se exige la conexión, por ejemplo en [3], y otros
donde explícitamente no se usa, como en [15]. En nuestro caso resulta más práctico exigirla, si
bien vamos a hacer un uso intensivo de las regiones de Dirichlet como regiones fundamentales
15
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
lo que implica la conexión (y otras propiedades convenientes) como veremos más adelante. A
continuación introducimos el concepto de región de Dirichlet para un grupo NEC y demostramos
que es una región fundamental.
Definicion 3.3 (Región de Dirichlet). Sea Γ un grupo NEC, sea p ∈H, tal que p no queda fijado
por ningún T ∈Γ\{I}. Definimos región de Dirichlet para Γ centrada en p al conjunto
(3.3) Dp(Γ)= {z ∈H | ρ(z, p)≤ ρ(z,T1(p))},
o, lo que es equivalente,
(3.4) Dp(Γ)= {z ∈H | ρ(z, p)≤ ρ(T(z), p),∀T ∈Γ}.
Como se puede apreciar, para toda transformación fija T1 ∈ Γ el conjunto de puntos z tales
que {z ∈ H | ρ(z, p) < ρ(z,T(p)) ∀T ∈ Γ} verifica que p ∈ Dp(Γ) y como además la órbita de p
por Γ es discreta, según vimos en el capítulo 2, tenemos que Dp(Γ) contiene un entorno de p.
Adicionalmente, el conjunto de puntos de H equidistantes a p y T(p), es decir, la mediatriz
hiperbólica del segmento que los une, determinará un semiplano hiperbólico que contiene a p. Por
lo tanto, Dp(Γ) es la intersección de semiplanos hiperbólicos, luego será una región hiperbólica
convexa. Si además se verifica que Dp(Γ) es la intersección de un número finito de semiplanos
hiperbólicos, tendremos que la región de Dirichlet es un polígono hiperbólico.
Por otro lado, las intersecciones de Dp(Γ) con las bisectrices de los segmentos que unen p y
T(p) serán, o bien líneas hiperbólicas, o bien puntos, que llamaremos lados o vértices de Dp(Γ),
respectivamente. Así mismo, a los puntos de intersección entre lados se les denomina vértices.
Ya sólo queda demostrar que, en efecto, las regiones de Dirichlet son regiones fundamentales.
Para ello, demostramos previamente los siguientes dos lemas:
Lema 3.4 (Existencia de puntos de órbitas a distancia mínima). Sea z1 ∈H y Γ un grupo NEC,
entonces existe un z0 de la Γ-órbita de z1 cuya distancia a z1 es mínima.
Demostración. Como Γ es discreto, la Γ-órbita de un punto dado será un subconjunto discreto de
H, de forma que existirá un ε> 0 tal que el conjunto {z ∈ H | ρ(z1, z) < ε} sólo contendrá z1. Por
lo tanto, ∀T ∈Γ el conjunto {z ∈H | ρ(z,T(z1))< ε} no contiene más elementos que T(z1). De esta
forma, para cada T ∈Γ el disco de centro T(z1) y radio ε sólo contiene al punto T(z1) de la Γ-órbita
de z1 y por consiguiente los discos de centros T(z1) y radios ε/2 serán disjuntos los unos de los
otros. Si tomamos un r suficientemente grande de forma que el conjunto {z ∈H | ρ(z,T(z1))< r}
contenga al menos un elemento de la Γ-órbita de z1 junto con su disco asociado de radio ε/2,
tendremos que a lo sumo contendrá un número finito de discos disjuntos de radio ε/2 y, por lo
tanto, a lo sumo un número finito de elementos de la órbita de z1. Por lo tanto, habrá al menos
uno de ellos de distancia mínima al propio z1.
Lema 3.5 (Representante único de cada órbita). Si z1, z2 ∈ Dp, entonces z1, z2 no pertenecen a la
misma órbita.
16
3.2. REGIÓN DE WILKIE
Demostración. Si ρ(z, p)= ρ(z,T(p)) para alguna T ∈Γ, entonces o bien z pertenece a la frontera
de Dp(Γ), o bien z ∉ Dp(Γ). Por lo tanto, tiene que verificarse ρ(z, p)< ρ(z,T(p)) en el caso z ∈ Dp
y eso ∀T ∈Γ. Como tenemos que z1, z2 ∈ Dp y ambos pertenecen a una misma órbita, se verificará
ρ(z1, p)< ρ(z1,T(p)) o, lo que es lo mismo, ρ(z1, p)< ρ(T(z1), p) ∀T ∈Γ, por lo que, en particular,
ρ(z1, p)< ρ(z2, p). De la misma forma, se tiene que verificar ρ(z2, p)< ρ(z1, p), lo que no es posible.
Es decir, una región de Dirichlet contiene a lo sumo un punto de cada órbita.
Teorema 3.6 (Regiones de Dirichlet son regiones fundamentales). Si p no queda fijado por
ningún elemento de Γ− {I}, entonces Dp(Γ) es una región fundamental para Γ.
Demostración. Sea z1 ∈H y sea z0 el punto de la Γ-órbita de z1 cuya distancia a p sea mínima,
que existe según acabamos de ver en el lema 3.4. Por lo tanto, ρ(z0, p)< ρ(z0,T(p)) y eso ∀T ∈Γ,
es decir, z0 ∈ Dp y tenemos que Dp(Γ) contiene al menos un punto de cada Γ-órbita.
Por el lema 3.5, tenemos que el interior de Dp(Γ) contiene a lo sumo un punto de cada Γ-órbita.
Además, como Dp(Γ) es la intersección de semiplanos cerrados, Dp(Γ) será cerrado y convexo, luego
será conexo por caminos y, de aquí, conexo. Por lo tanto Dp(Γ) es una región fundamental.
A continuación, vamos a estudiar la estructura de la región de Dirichlet: en primer lugar,
demostramos que las regiones de Dirichlet son localmente finitas. A partir de este resultado,
obtenemos que los vértices de una región de Dirichlet son aislados y, para el caso de cociente com-
pacto, además tenemos que el número de vértices es finito. Por último, estudiamos la congruencia
de lados de las regiones de Dirichlet, lo que nos va a permitir definir representaciones canónicas
de las regiones fundamentales de los grupos NEC al final de esta sección.
Definicion 3.7 (Localmente finito). Una región fundamental F de un grupo NEC se dice local-
mente finita si todo punto p ∈ F tiene un entorno V (p) tal que V (p)∩T(F) 6=∅ sólo para un
número finito de T ∈Γ.
Proposicion 3.8 (Regiones de Dirichlet son localmente finitas). Las regiones de Dirichlet son
localmente finitas.
Demostración. Sea F = Dp(Γ) con p no queda fija por ningún T ∈ Γ− {I}. Sea a ∈ F, y sea K un
entorno compacto suyo. Supongamos que K ∩Ti(F) 6=∅ para alguna sucesión infinita T1,T2, ... de
elementos distintos de Γ. Sea σ= supz∈K (ρ(p, z)). Entonces, σ≤ ρ(p,a)+ρ(a, z) para todo z ∈ K ,
y como K es acotado, σ es finita. Sea w j ∈ K ∩T j(F), entonces w j = T(z j) para z j ∈ F y, por la
desigualdad triangular,
ρ(p,T j(p))≤ ρ(p,w j)+ρ(w j,T j(p))= ρ(p,w j)+ρ(z j, p)≤ ρ(p,w j)+ρ(w j, p)≤ 2σ.
.
Por lo tanto, el conjunto infinito de puntos T1(p),T2(p), ... pertenece a la bola compacta de centro
p y radio 2σ, que contradice la acción propiamente discontinua de Γ, propiedad que debería
verificar según vimos en la sección 2.4.
17
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
Antes de demostrar que los vértices de una región de Dirichlet son aislados, el siguiente lema
es necesario:
Lema 3.9 (Subconjuntos compactos). Si C1,C2 son subconjuntos compactos de H y Γ es un grupo
NEC, entonces el conjunto {T ∈Γ : T(C1)∩C2 6=∅} es un conjunto finito.
Demostración. Si desmostramos que dados dos subconjuntos compactos C1,C2 de H, el conjunto
{T ∈ Λ : T(C1)∩C2 6=∅} es compacto, el enunciado es inmediato, puesto que el conjunto sería
compacto y los grupos NEC son discretos, el conjunto sólo puede ser finito. Sólo nos queda
demostrar que, en efecto, {T ∈Λ : T(C1)∩C2 6=∅} es compacto. Supongamos primero que T ∈Λ+,
y sea p ∈ C1. Entonces por 2.11 sabemos que el conjunto Gp = {T ∈Λ+ : T(p) ∈ C2} es un conjunto
compacto. Sea ahora la aplicación f : H→ PSL(2,R) : p →Gp donde PSL(2,R) queda topologizado
de la forma usual con el espacio cociente de SL(2,R) y la aplicación q : SL(2,R)→ PSL(2,R), y el
conjunto SL(2,R) se identifica con R4. Sea la aplicación continua f : SL(2,R)×H→H definida
por f (A, p)= q(A)(p), A ∈ SL(2,R). El conjunto E = f −1(C2) es cerrado, puesto que el conjunto C2
lo es. Además, como C1,C2 son acotados, existe una cota M tal que |ap+bcp+d
| < M para todos las
matrices A ∈ y p ∈ C1. Además, de la compacidad de C2 de deducimos que habrá una segunda
cota m tal que Im(ap+bcp+d
) ≥ m de donde deducimos a su vez que Im(ap+bcp+d
) = Im(p)/|cp+d|2,
es decir,
|ap+b| ≤ M√
Im(p)m
,
con
A =(
a b
c d
),
de donde deducimos que a,b, c,d están acotados. De esta forma E es cerrado y acotado, luego
compacto, de forma que
{T ∈Λ : T(C1)∩C2 6=∅}= q({A ∈ SL(2,R) : p ∈ C1,ap+bcp+d
})= f (E),
será también compacto. Ahora, como las transformaciones de Λ−Λ+ son del la formaap+bcp+d
, a
efectos de la demostración no se produce cambios relevantes, por lo que llegamos a la misma
conclusión, y de aquí al enunciado del lema.
Proposicion 3.10 (Vértices de región de Dirichlet son aislados). Sea x un vértice de una región
de Dirichlet Dp(Γ), entonces existe un entorno de x, V (x), que no contiene ningún otro vértice.
Además, si Γ es un grupo NEC de cociente compacto, el número de vértices es finito.
Demostración. Si x es un punto de un lado de la región de Dirichlet F = Dp(Γ), entonces existe
una Tx ∈Γ tal que ρ(p, x)= ρ(Tx(p), x), y de aquí ρ(p, x)= ρ(p,T−1x (x)). Supongamos que un vértice
v no es aislado, entonces existe una sucesión de vértices vi ∈ F tales que vi → v. Sea de nuevo un
18
3.2. REGIÓN DE WILKIE
Ti ∈Γ tal que ρ(p,vi)= ρ(p,Ti(vi)). Tendremos
ρ(v,Ti(vi))≤ ρ(v,vi)+ρ(vi,Ti(vi))≤ ρ(v,vi)+ρ(vi, p)+ρ(p,Ti(vi))
= ρ(v,vi)+2ρ(vi, p)≤ ρ(v,vi)+2ρ(vi,v)+2ρ(v, p),
por lo tanto, para cada ε> 0 se tiene ρ(v,Ti(vi))< 2ρ(v, p)+ε para i suficientemente grande, lo
que significa que Ti(vi) ∈ K para todo i > N donde K es una región compacta de H. De donde
deducimos que hay una subsucesión Tn(vn)→ b ∈H, lo que contradice la proposición 3.8.
Supongamos ahora que H/Γ es compacto. Como las regiones de Dirichlet son localmente finitas,
si [z] ∈ H/Γ, entonces existe a lo sumo un número finito de z′ ∈ F tales que Π(z′) = [z] donde Π
es la aplicación canónica Π : F →H/Γ. Sean z1, z2... una sucesión infinita de puntos distintos de
F. Como H/Γ es compacto, la sucesión infinita [z1], [z2], ... debe tener un punto límite [l] ∈ H/Γ.
Además, la preimagen de [l] será un número finito de puntos l1, l2, ..., lk de F. Supongamos que
ninguno de ellos es el punto límite de la sucesión (zi). Como cada l i tiene un entorno Vi en Hconteniendo un número finito de puntos de la sucesión y además l1, l2, ..., lk pertenecen todos a
la misma Γ-órbita, cada Vi contendrá un número finito de puntos de la forma S(z j). De donde
deducimos que ∩ki=1(Π(Vi)) es un entorno abierto de [l] conteniendo únicamente un número finito
de puntos de la sucesión ([z j]), lo cual es absurdo. Por lo tanto, alguno de los l1, l2, ..., lk es el
límite de la sucesión (z j), lo que implica que F es compacto.
Ahora por la proposición (5.2) de [28], puesto que F es compacto, tendrá intersección no vacía con
un número finito de sus imágenes por Γ, por lo que F será un polígono convexo con un número
finito de lados.
Definicion 3.11 (Congruencia de vértices y lados). Sea Dp(Γ) la región de Dirichlet de un grupo
NEC, Γ, y sean u,v vértices y s un lado. Si T ∈ Γ− I y se verifica u = T(v), se dice entonces que
u,v son congruentes. Análogamente, si T(s) es un lado de Dp(Γ), entonces s y T(s) se llaman
lados congruentes.
Proposicion 3.12 (Pares de congruencias). El número de lados congruentes de una región de
Dirichlet F = Dp(Γ) de un grupo NEC Γ es como máximo dos.
Demostración. En primer lugar, demostramos que si s y T(s) con T ∈Γ son lados de F, entonces
F ∩T(F) = T(s). En efecto, si F ∩T(F) contiene tres puntos pertenecientes a más de un lado,
entonces como F,T(F) son convexos, F ∩T(F) es convexo, luego tienen que contener un triángulo
hiperbólico de vértices los tres puntos no pertenecientes a una misma geodésica, es decir, contiene
un triángulo hiperbólico de área no nula. Pero esto es imposible, pues las regiones de Dirichlet
son regiones fundamentales y, por tanto, la existencia de este triángulo contradice la definición
3.2(ii).
Supongamos ahora que tenemos tres lados congruentes en F, s,R(s) y T(s), con R,T ∈ Γ− I.
Entonces, tenemos por lo anterior, R(s) = F ∩R(F) y T(s) = F ∩T(F), es decir, s = R−1(F)∩F =T−1(F)∩F =⇒ R = T, luego sólo podemos tener congruencias de pares de lados.
19
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
Acabamos de demostrar que a lo sumo dos lados de una región de Dirichlet son congruentes.
Si pensamos en los tipos de transformaciones que incluyen los grupos NEC, tenemos además
de las congruencias definidas por las transformaciones elípticas de orden 2, las reflexiones, que
dejan el propio lado invariante. En esto se distinguen de las elípticas de orden 2, donde sólo hay
un punto fijo en el lado. Todo esto se presenta con detalle en la siguiente proposición:
Teorema 3.13 (Tipos de congruencia de lados). Sea F = Dp(Γ) una región Dirichlet del grupo
NEC Γ, s un lado de la región y sea T ∈Γ tal que T(s) sea también un lado de la región, entonces
se verifica alguna de las siguientes:
(i) s y T(s) son distintos y ningún otro lado t de Dp(Γ) es congruente a s,
(ii) s y T(s) coinciden, T es elíptico de orden 2 y existe un único punto fijo de s por T,
(iii) s y T(s) coinciden, T es una reflexión y s queda fijo por T.
Demostración. La primera parte es consecuencia directa de la proposición 3.12. Supongamos
ahora que F y T(s),T ∈Γ tienen un lado en común. Entonces, T−1(F) y F también coinciden en
un lado. Si estos lados son iguales, entonces T−1(F)∩F = F ∩T(F), es decir, T = T−1 =⇒ T2 = I,
lo que, como vimos en el capítulo 2, significa que T es una transformación elíptica de orden 2. Así
mismo, sabemos que esta transformación deja un sólo punto fijo, luego tiene que transformar los
segmentos entre los vértices del lado y el punto fijo entre si.
Finalmente, si T es una reflexión, tenemos que s = T(s)= F ∩T(F), donde cada punto de F ∩T(F)
es fijo por T.
Ya estamos en condiciones de analizar que formas pueden tomar las regiones fundamentales
de un grupo NEC. Para ello definimos una forma de etiquetar los lados de una región fundamental
y, por lo tanto, de la propia región fundamental, que llamaremos símbolo o etiqueta de una
región fundamental. A partir de éstas, obtenemos los posibles símbolos de estas regiones que
presentaremos de una forma que denominaremos canónica.
Sea F una región fundamental de un grupo NEC Γ de cociente compacto. Sabemos por lo anterior
que F tiene un número finito de lados. Los lados que no tienen congruencias, por ser del tipo
(iii) según vimos arriba, se etiquetan primero siguiendo la nomenclatura r1, r2, ..., rkr . Los lados
congruentes dos a dos por transformaciones no elípticas de orden 2 los nombramos c1, c2, ..., ckc
e igualmente los relacionados por transformaciones del tipo (ii) se nombrarán e1, e2, ..., eke . Los
lados relacionados por congruencias de pares ci, se transforman, preservando o invirtiendo la
orientación de forma que, en el primer caso, el lado congruente se convierte en c′i y, en el segundo,
en c∗i . Ahora simplemente etiquetamos de esta forma todos los lados de la región fundamental en
orden antihorario. Teniendo en cuenta el símbolo de la región así definida, la podemos transformar,
como veremos a continuación, en otras regiones fundamentales, donde el orden de los lados está
definido y veremos que sólo hay unas pocas combinaciones posibles de símbolos de regiones
fundamentales para los grupos NEC.
20
3.2. REGIÓN DE WILKIE
Lema 3.14 (Regla de trasformación 1). Sean A,B,C,D sucesiones finitas de etiquetas de lados de
una región fundamental de un grupo NEC, p, p∗ dos lados congruentes y T ∈Γ la transformación
que materializa esa congruencia con inversión, de forma que el símbolo de la región fundamental
es ApBCp∗D. Entonces, Γ tiene una región fundamental de la forma AqCq∗T(B)D, donde q es
una línea hiperbólica que une el vértice formado por A y p con el vértice formado por B y C, q∗ es
el lado congruente a q y T(B) es la imagen por la transformación que define la congruencia entre
q y q∗ de la parte de la región fundamental delimitada por p, B y q.
Demostración. En la figura 3.1 podemos ver la región fundamental ApBCp∗D, que llamaremos
región fundamental inicial, donde A,B,C,D son una sucesión finita de vértices que hemos llamado
a1, ...,ar︸ ︷︷ ︸A
,b1, ...,bs︸ ︷︷ ︸B
, c1, ..., ct︸ ︷︷ ︸C
,d1, ...,du︸ ︷︷ ︸D
, respectivamente.
FIGURA 3.1. Región fundamental inicial ApBCp∗D
21
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
FIGURA 3.2. Región fundamental transformada AqCq∗T(B)D
En la figura 3.2 se ha definido la línea hiperbólica q que une el vértice entre A y p con
el vértice entre B y C. Esta línea hiperbólica divide la región fundamental original en dos
partes que hemos denominado F1 y F2. Sea T ∈Γ el elemento que transforma p en p∗, y sea la
F ′ = F2 ∪T(F1), entonces F ′ es otra región fundamental. En efecto, por un lado si z ∈H, entonces
existe por hipótesis una S ∈ Γ y un x ∈ F tal que z = S(x). Por lo tanto, puesto que x ∈ F1 ∪F2
tenemos que, o bien x ∈ F1, o bien x ∈ F2. En el segundo caso, tenemos que para x ∈ F ′ y S ∈ Γ,
para todo z ∈ H, z = S(x). En el primer caso, tendríamos análogamente que para todo z ∈ H,
z = ST−1(x), es decir, se verifica la primera condición de región fundamental 3.2(i).
Para la segunda condición del teorema 3.2, vemos de nuevo que para F2 se verifica por hipótesis.
Análogamente, como también se verifica por hipótesis esa condición para F1, entonces
F1 ∩T(F1)=;,T ∈ Γ− {I}. Esto significa que dados R,S ∈ Γ distintas, se tiene que verificar que
R(F1)∩S(F1) = ; ya que en caso contrario, tendríamos que existiría un x, tal que x ∈ R(F1) y
x ∈ S(F1) , luego T−1(x) ∈ F1 y T−1(x) ∈ T−1S(F1), de aquí deducimos que F1 ∩T−1S(F1) 6= ; lo
cual es absurdo. Por lo tanto, F ′ es una región fundamental.
Lema 3.15 (Regla de trasformación 2). Sean A,B,C,D sucesiones finitas de etiquetas de lados de
una región fundamental de un grupo NEC, p, p∗ dos lados congruentes y T ∈Γ la transformación
que materializa esa congruencia con inversión, de forma que el símbolo de la región fundamental
es ABpCp∗D. Entonces, Γ tiene una región fundamental de la forma AqCT(B)q∗D, donde q es
una línea hiperbólica que une el vértice formado por A y B con el vértice formado por p y C, q∗ es
el lado congruente a q y T(B) es la imagen por la transformación que define la congruencia entre
22
3.2. REGIÓN DE WILKIE
q y q∗ de la parte de la región fundamental delimitada por B, p y q.
Demostración. La demostración de este lema es totalmente análoga al del lema anterior. La
diferencia radica únicamente en la forma de las regiones fundamentales inicial y transformada
que mostramos en las figuras 3.3 y 3.4, respectivamente.
FIGURA 3.3. Región fundamental inicial ABpCp∗D
Lema 3.16 (Regla de trasformación 3). Sean A,B,C,D sucesiones finitas de etiquetas de lados de
una región fundamental de un grupo NEC, p, p′dos lados congruentes y T ∈Γ la transformación
que materializa esa congruencia, de forma que el símbolo de la región fundamental es ApBCp′D.
Entonces, Γ tiene una región fundamental de la forma AqCT(B)q′D, donde q es una línea
hiperbólica que une el vértice formado por A y p con el vértice formado por B y C, q′es el lado
congruente a q y T(B) es la imagen por la transformación T que define la congruencia entre q y q′
de la parte de la región fundamental delimitada por p, B y q.
Demostración. De nuevo mostramos las regiones fundamentales inicial y transformada en las
figuras 3.5 y 3.6. En este caso, como se indica en el enunciado del lema, la transformación T ∈Γahora preserva la orientación y, por lo tanto, T(B) preserva el orden de los lados en vez de
invertirlos como en los casos de las proposiciones 3.14 y 3.15.
23
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
FIGURA 3.4. Región fundamental transformada AqCT(B)q∗D
FIGURA 3.5. Región fundamental inicial ApBCp′D
Lema 3.17 (Regla de trasformación 4). Sean A,B,C,D sucesiones finitas de etiquetas de lados de
una región fundamental de un grupo NEC, p, p′dos lados congruentes y T ∈Γ la transformación
que materializa esa congruencia, de forma que el símbolo de la región fundamental es ABpCp′D.
Entonces, Γ tiene una región fundamental de la forma AqCq′T(B)D, donde q es una línea
24
3.2. REGIÓN DE WILKIE
FIGURA 3.6. Región fundamental transformada AqCT(B)q′D
hiperbólica que une el vértice formado por A y B con el vértice formado por p y C, q′es el lado
congruente a q y T(B) es la imagen por la transformación T que define la congruencia entre q y q′
de la parte de la región fundamental delimitada por B, p y q.
Demostración. De nuevo mostramos las regiones fundamentales inicial y transformada en las
figuras 3.7 y 3.8. Este caso es análogo al lema 3.16.
FIGURA 3.7. Región fundamental inicial ABpCp′D
25
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
FIGURA 3.8. Región fundamental transformada AqCq′T(B)BD
Una región de Wilkie es un polígono hiperbólico cuyos lados están etiquetados de una forma
característica, que mostramos a continuación, y que tiene unos ángulos interiores que verifican
unas condiciones especiales.
El teorema a continuación nos dice que formas posibles de etiquetar los lados tiene una región
de Wilkie, que obtendremos a partir de las reglas de transformación dadas por los lemas 3.14 a
3.17. Posteriormente, en esta misma sección, calcularemos los ángulo interiores del polígono y
daremos la definición definitiva de la región de Wilkie.
Teorema 3.18 (Formas canónicas de las regiones de Wilkie). Sea F una región fundamental
de un grupo NEC de cociente compacto Γ. Entonces puede encontrarse un polígono hiperbólico
R homeomorfo a F cuyos lados pueden etiquetarse de alguna de las formas que se presentan a
continuación: (i) x1x′1...xpx
′pa1b
′1a
′1b1...aqb
′qa
′qbqe1c1,1...c1,m1 e
′1...er cr,1...cr,mr e
′r,
(ii) x1x′1...xpx
′pa1b
′1a
′1b1...aqb
′qa
′qbqe1c1,1...c1,m1 e
′1...er cr,1...cr,mr e
′r cr+1,1...cr+1,mr+1 ,
(iii) x1x′1...xpx
′pd1d∗
1 ...dsd∗s e
′1...er cr,1...cr,mr e
′r,
(iv) x1x′1...xpx
′pd1d∗
1 ...dsd∗s e
′1...er cr,1...cr,mr e
′r cr+1,1...cr+1,mr+1 .
Demostración. En primer lugar, por el enunciado sabemos que F es un polígono hiperbólico con
un número finito de lados. Supongamos que contiene lados congruentes asociados por transforma-
ciones de Γ que no preservan la orientación, que etiquetamos como p1, p∗1 , ..., ps, p∗
s . Aplicando
las reglas de transformación definidas en los lemas 3.14 a 3.17, podemos juntar todos los pares
así congruentes de forma que el polígono quede d1d∗1 ...dsd∗
s Q, donde Q es una sucesión finita de
26
3.2. REGIÓN DE WILKIE
etiquetas de lados donde no habrá ningún par del tipo dd∗. Por ejemplo, si el polígono inicial lo re-
presentamos mediante la sucesión de símbolos Ap1Bp∗1C, aplicando las reglas de transformación,
obtenemos un polígono d1d∗1 BCA, donde pasamos de comenzar el etiquetado en A a comenzar
por d1. Ahora llamamos D a BCA que será una sucesión finita de etiquetas de lados, y si hay
algún par de congruencias de este tipo más, repetimos la operación nuevamente, obteniendo el
polígono d1d∗1 Eqq∗G. Ahora, transformamos de nuevo este polígono de la forma habitual para
obtener otra región fundamental, uniendo el vértice entre d∗1 y E mediante una línea hiperbólica
con el vértice entre q y q∗ obteniendo finalmente el polígono d1d∗1 d2d∗
2 H, donde de nuevo H es
una sucesión finita de etiquetas. Repitiendo el proceso obtenemos, finalmente, la sucesión de
etiquetas que buscábamos d1d∗1 ...dsd∗
s Q.
En segundo lugar, supongamos ahora que Q contiene pares del tipo a,a′sin ninguna etiqueta
intermedia. Por ejemplo, sea la sucesión de etiquetas xx′Aaa
′B. Ahora unimos el vértice entre x
′
y A con el vértice entre a y a′por una línea hiperbólica y, obteniendo la sucesión de etiquetas
xx′yy
′CB, de forma que las etiquetas correspondientes a lados congruentes sin etiquetas inter-
medias se han movido al principio de la sucesión. Aplicando esto al resto de etiquetas del mismo
tipo, obtenemos un polígono etiquetado de la forma
(3.5) x1x′1...xpx
′pd1d∗
1 ...dsd∗s R.
En tercer lugar, supongamos que tenemos dos pares congruentes p, p′
y q, q′
de forma que la
región esté etiquetada de alguna de la formas EApBp′Cq
′Dq, EApBq
′Cq
′D p o EApBq
′Cp
′Dq.
Aplicando la siguiente secuencia de transformaciones al último caso, obtenemos lo que se denomi-
na una pareja de congruencias ligada de la forma ab′a
′bQ. Para simplificar la notación, usamos
las mismas letras para las sucesiones de lados y las parejas de lados congruentes. De esta forma,
EApBq′Cp
′Dq y aplicando la regla de transformación 4 a A, obtenemos
EpBq′Cp
′ADq y aplicando la regla de transformación 4 a B, obtenemos
Epq′Cp
′ADqB y aplicando la regla de transformación 3 a C, obtenemos
Epq′p
′EADCqB y moviendo la cadena una posición a la derecha, obtenemos
Bpq′p
′EADCq y aplicando la regla de transformación 4 a E, obtenemos
Bpq′p
′EADCq y aplicando la regla de transformación 3 a q
′p
′, obtenemos
BpEADCq′p
′q y moviendo la cadena una posición a la derecha, obtenemos
qBpEADCq′p
′y aplicando la regla de transformación 3 a Bp, obtenemos
qEADCBpq′p
′y moviendo la cadena tres posiciones a la derecha, obtenemos finalmente
pq′p
′qEADCB, como queríamos demostrar. Ahora podemos efectuar estas transformaciones
hasta obtener todas las parejas de congruencias ligadas de la sucesión de etiquetas de R de forma
que la ecuación 3.5 quede
(3.6) x1x′1...xpx
′pa1b
′1a
′1b1...aqb
′qa
′qbqd1d∗
1 ...dsd∗s S.
27
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
Una vez realizadas las transformaciones anteriores sobre la región fundamental, S no tiene ni
parejas de congruencias ligadas del tipo a1b′1a
′1b1, ni parejas de congruencias del tipo dd∗ ni del
tipo xx′. Por lo tanto, van a ser grupos de etiquetas de lados sin congruencias como en 3.13(iii). Si
hay en S alguna pareja de congruencias que etiquetamos con e, e′, van a limitar a grupos de estos
tipos de lados que etiquetamos con c, por lo que tendremos finalmente la estructura resultante
de etiquetas de lados
x1x′1...xpx
′pa1b
′1a
′1b1...aqb
′qa
′qbqd1d∗
1 ...dsd∗s e1c1,1c1,2...c1,m1 e
′1...escs,1cs,2...cs,ms e
′1T.
Donde la sucesión de etiquetas dada por T será, o bien vacía, o bien únicamente de lados no
emparejados por congruencias que hemos etiquetado con c. Por último, supongamos que tenemos
simultáneamente una región etiquetada de forma que tengamos simultáneamente pares de lados
de congruencias ligados y pares de lados congruentes con su orientación invertida, por ejemplo
dd∗ab′a
′bR, podemos aplicar de nuevo las reglas de transformación (regla 4 a d∗) y escribir el
etiquetado equivalente dab′a
′d∗bR, aplicando ahora la regla 1 con B = ab
′y C = a
′y teniendo en
cuenta que al transformar B se invierte el orden de los lados, tenemos finalmente el etiquetado
da′d∗bb
′aR, de forma que se desligan los pares de congruencias ligados, permitiendo eliminar
estos términos de la ecuación 3.6. Finalmente, obtenemos necesariamente alguna de las formas
canónicas del enunciado.
De la forma que hemos definido los lados de la región, la relación de los pares congruentes
en términos de preservar o invertir la orientación, junto con la estructura de lados dada por los
pares ligados, junto con sus identificaciones, vemos que las superficies representadas mediante
las formas canónicas 3.18(i)-(ii) son superficies cerradas orientables de género q con r o r+1
agujeros. Así mismo, las formas canónicas 3.18(iii)-(iv) serán superficies canónicas de género (no
orientable) s con r o r+1 agujeros.
Dado un lado p de una región fundamental F, a la transformación T de Γ que verifica que
p ⊂ F ∩T(F) la denotamos como [p]. Por el teorema 3.13 sabemos que esa transformación va
a ser única. Además, si q es el lado congruente a p, se verifica que [p]q = p y [q]−1 = [p], que
se obtienen directamente del enunciado del teorema 3.13. El siguiente teorema establece una
relación entre las teselas con un vértice v en común y ciertos lados relacionados de la región
fundamental:
Proposicion 3.19 (Relación canónica de vértices). Sea v un vértice de una región fundamental
F de un grupo NEC de cociente compacto Γ, y sea el conjunto finito de todas las transformaciones
Ti, i = 1, ..., N de Γ con v ∈ Ti(F) donde el índice está ordenado en sentido horario, T1 = 1 y los Ti
son tales que Ti−1(pi), i = 1, ..., N es el lado de Ti−1(F) separando Ti−1(F) de Ti(F). Entonces, las
N transformaciones de [pi] ∈ Γ, i = 1, ..., N, verifican [p1]...[pN ] = 1. A la relación anterior se la
denomina relación canónica del vértice v (ver figura 3.2).
Demostración. En la figura 3.2 se representa el esquema de teselas coincidentes en un vértice v
siguiendo las denominaciones del enunciado. Sea Φ el conjunto de elementos T de Γ tales que
28
3.2. REGIÓN DE WILKIE
v ∈ T(F). Por el lema 3.8 sabemos que F tiene intersección vacía con a lo sumo un número finito
FIGURA 3.9. Teselas para calcular la relación del vértice v
de sus imágenes mediante Γ, por lo que Φ es un conjunto finito de, digamos, N elementos. Sean
entonces F,T1(F), ...,TN−1(F) las N caras que se encuentran en v ordenadas en sentido horario.
Si llamamos Ti−1(pi), i = 1, ..., N −1 al lado de Ti−1(F) separando Ti−1(F) de Ti(F), entonces pi
es el lado de F separando T−1i−1Ti(F) de F.
Por lo tanto, siguiendo la notación introducida arriba, tenemos que T−1i−1Ti = [pi], o lo que es lo
mismo, Ti = Ti−1[pi]. De aquí, llamando qi al congruente de pi, obtenemos Ti(qi)= Ti−1[pi](qi)=Ti−1(pi). De esta forma, puesto que Ti−1(pi) separa Ti−1(F) de Ti(F), entonces pi es el lado que
separa F de T−1i−1Ti(F). Así mismo, la imagen de F dada por Ti−1(F), tiene el lado Ti−2 pi−1 que
separa Ti−2(F) de Ti−1(F) y que es contiguo a Ti−1 pi en Ti−1(F). Por lo tanto, pi de F será
contiguo a T−1i−1Ti−2(pi−1)= T−1
i−1Ti−1(qi−1)= qi−1, luego las etiquetas pi y qi−1 son contiguas en
la sucesión de etiquetas que representan F, con pi siguiendo o precediendo a qi−1 dependiendo
de si Ti−1 preserva o invierte la orientación.
Para N −1 tenemos TN−1 = TN−2[pN−1] = TN−3[pN−2][pN−1] = ... = [p1]...[pN−2][pN−1]. Donde
TN−1(pN ) es el lado de TN−1(F) que separa TN−1(F) de F, luego pN separa F de T−1N−1(F), es
decir, [pN ]= T−1N−1. Finalmente, esto nos da TN−1[pN ]= 1⇒ [p1]...[pN−2][pN−1][pN ]= 1.
Proposicion 3.20 (Relaciones canonicas de vértices conjugados). Si v,v′ son dos vértices con-
gruentes de una región fundamental F de un grupo NEC de cociente compacto Γ, la relación
canónica de v es conjugada a la relación canónica de v′ o a su inversa.
Demostración. Sea [p1]...[pN−2][pN−1][pN ]= 1 la relación canónica de v y sea T la transforma-
ción tal que T(v′)= v. Entonces la imagen de T es una de las caras que intersectan a F en v, lo
29
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
cual significa que, siguiendo la notación de la proposición anterior, existe un i,1≤ i ≤ N−1 tal que
T(F)= [Ti](F). De la demostración de esa misma proposición sabemos que los dos lados de [Ti](F)
que se cortan en v son Ti−1[pi]= Ti[qi] y Ti[pi+1]. De esta forma, v′ es el vértice de F entre los la-
dos pi+1 y qi, donde de nuevo pi+1 sigue o precede a qi según Ti preserve o invierta la orientación.
Supongamos que Ti preserva la orientación, entonces la relación canónica de v′ queda [pi+1][pi+2]...[pN ][p1]...[pi]=1 y llamando R = [p1]...[pi] tenemos
1 = RR−1 = [p1]...[pi][pi+1][pi+2]...[pN ][p1]...[pi]([p1]...[pi])−1 que es la relación canónica de v,
es decir, las relaciones canónicas son conjugadas.
Por último, en el caso de que Ti no preserve la orientación, la relación canónica para v′
es, en términos de los lados conjugados q1, ..., qN , [qi][qi−1]...[q1][qN ]...[qi+1] = 1 y tomando
la inversa tenemos 1 = ([qi][qi−1]...[q1][qN ]...[qi+1])−1 = ([qi+1])−1([qi])−1...([qN ])−1...([qi])−1 =[pi+1][pi+2]...[pN ][p1]...[pi] que, como en el caso anterior, multiplicando por R y R−1 a derecha e
izquierda respectivamente nos da la relación canónica de v.
3.3. Clasificación algebraica
El puente entre la geometría de las regiones fundamentales, representada por sus lados
y vértices como hemos visto en la sección anterior, y la naturaleza algebraica de los grupo de
transformaciones de las que son regiones fundamentales, en este caso el grupo NEC Γ, viene dado
por el siguiente teorema. Esto nos va a permitir obtener un algo más adelante la presentación de
los grupos NEC.
Antes de enunciar el teorema, introducimos el concepto de relación básica. Sea Σ= {T : T(F)∩F 6=;,T ∈Γ}. Si R,U ∈Σ, existe un elemento S ∈Γ tal que RS =U . Si se verifica que F∩R(F)∩U(F) 6=; entonces R−1F∩F∩S(F) 6= ;, es decir, F∩S(F) 6= ;. De esta forma, S ∈Σ. A la relación RS =U
tales que R,S,U ∈Σ y F ∩R(F)∩U(F) 6= ; la denominamos relación básica. Se puede demostrar,
ver [28], que Σ es un conjunto completo de generadores y que el conjunto L de las relaciones
básicas es un conjunto completo de relaciones de Σ.
Teorema 3.21 (Conjunto completo de Generadores de Γ). Sea F una región fundamental de un
grupo NEC Γ de cociente compacto y sea Σ′ = {Ti ∈Γ} el conjunto de elementos de Γ que lleva F a
una cara vecina. Sea L′1 un conjunto de relaciones canónicas que incluye una por cada conjunto
de vértices congruentes de F y sea L′2 el conjunto de relaciones [ci]2 = 1, que incluye una por cada
lado ci de F que no es congruente con ningún otro lado de F. Entonces, Σ′es un conjunto completo
de generadores de Γ y L′ = L
′1 ∪L
′2 es un conjunto completo de relaciones en términos de Σ
′.
Demostración. Sabemos que Γ está generado por el conjunto Σ = {T : T(F)∩ F 6= ;,T ∈ Γ} y
tenemos que demostrar que las T ∈Γ pueden ser expresadas en términos de elementos de Σ′del
enunciado. Puesto que T(F)∩F 6= ;, se deduce que F y T(F) tienen al menos un vértice en común,
que llamaremos v. Por lo tanto, tenemos por la demostración de la proposición 3.20, que podemos
escribir T = [p1][p2]...[pr] donde N es el número de caras que tienen el vértice común v, r < N y
30
3.3. CLASIFICACIÓN ALGEBRAICA
las [pi] son elementos de Σ′, pues llevan F a teselas vecinas. A este tipo de relación le llamamos
expresión reducida del elemento T de Σ en términos de elementos de Σ′.
Sean ahora R,S,U ∈ Σ tales que verifican la relación básica RS = U, podemos reemplazar
esta expresión por la relación obtenida al usar las expresiones reducidas de cada una de las
transformaciones de la relación básica, obteniendo cada relación básica en términos de los
elementos de Σ′. Como el conjunto de relaciones L representa un conjunto completo de relaciones
en términos de elementos de Σ y éstos pueden representarse en términos de elementos de Σ′,
entonces el conjunto L1 de relaciones obtenidas de esta forma son un conjunto completo de
relaciones en términos de elementos de Σ′.
Por otro lado, del teorema 3.20 sabemos que las relaciones canónicas de todos los vértices de F con
consecuencia de las relaciones de L′, por lo tanto si demostramos que cada relación básica RS =U
es consecuencia de una relación canónica, de una relación de L′2 o se satisface idénticamente,
entonces habremos demostrado completamente el enunciado del problema. Podemos encontrar
los siguientes casos:
1) R o S son la unidad: Este caso es trivial, ya que entonces tenemos relaciones del tipo 1.S = S y
similares.
2) Relaciones son del tipo RS =U = 1: en este caso, puesto que la relación básica verifica además
F ∩R(F)∩U(F)= F ∩R(F), tenemos los siguientes subcasos:
2a) Si R = [p1], [p1]2 = 1, y [p1] preserva la orientación, entonces S = [p1] y la relación básica
RS =U es la relación canónica del vértice de F dado por F∩R(F), fijo por la transformación [p1].
2b) Si R = [p1], [p1]2 = 1, y [p1] invierte la orientación, entonces S = [p1] y la relación básica
RS =U es una del conjunto L′2.
2c) Si R = [p1], [p1]2 6= 1, y [p1] preserva la orientación, entonces S = [p2]...[pN ] y RS = 1 es la
relación canónica del vértice entre los lados [qN ] y [p1].
2d) Si R = [p1], [p1]2 6= 1, y [p1] invierte la orientación, entonces S = [q1] y la relación es la
relación trivial [p1][q1]= 1.
2e) Si R = [p1][p2]...[pr],1 < r < N y R preserva la orientación, entonces U = [pr+1]...[pN ] y
tenemos que RS =U es la relación canónica del vértice entre [p1] y [qN ]
2f) Si R = [p1][p2]...[pr],1< r < N y R invierte la orientación, entonces U = [qr]...[q1] y tenemos
que RS =U es la relación trivial [p1]...[pr][qr]...[q1].
3) Relaciones del tipo RS = U 6= 1: en este caso tenemos que F ∩ R(F)∩U(F) es un vértice,
llamémoslo v, con [p1]...[pr]...[pN ]= 1 su relación canónica. Tenemos los casos:
3a) Si R preserva la orientación, tenemos que v ∈ R(F) es el vértice entre los lados R(qr) y R(pr+1)
de R(F). Además, como R−1F ∩F ∩R−1U(F) = R−1F ∩F ∩S(F) = R−1(v), entonces R−1(v) es el
vértice de F entre qr y pr+1, que será un punto de F ∩R(F). Por lo tanto, al preservar R la
orientación, tenemos que las caras que intersectan en R−1(v), en el sentido de las agujas del reloj,
serán F, [pr+1]F, [pr+1][pr+2]F, ... por lo que S es, o bien [pr+1][pr+2]...[pr+s] con r+s < N, o bien,
[pr+1][pr+2]...[pN ][p1]...[pt] con t < r. Finalmente obtenemos que la relación RS =U será una de
31
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
las dos siguientes:
[p1][p2]...[pr][pr+1][pr+2]...[pr+s]
o
[p1][p2]...[pr][pr+1][pr+2]...[pN ][p1]...[pt]= [p1]...[pt].
De esta forma, las relaciones RS = U se satisfacen idénticamente en el primer caso, o son
consecuencia de la relación canónica en el segundo.
3b) Si R invierte la orientación, las caras que intersectan en R−1(v), en el sentido de las agujas
del reloj, serán F, [qr]F, [qr−1]F, ... por lo que S es, o bien [qr][qr−1]...[qr−s] con s < r−1, o bien,
[qr][qr−1]...[q1][qN ]...[pN−t+1] con r+ t < N, por lo que la relación RS =U será una de las dos
siguientes:
[p1][p2]...[pr][qr][qr−1]...[qr−s]= [p1][p2]...[pr−s−1]
o
[p1][p2]...[pr][qr]...[q1][qN ]...[pN−t+1]= [p1]...[pN−t].
De nuevo, las relaciones RS =U se satisfacen idénticamente en el primer caso, o son consecuencia
de la relación canónica en el segundo.
Finalmente, terminamos esta sección respondiendo a la siguiente pregunta: dado un gru-
po NEC de cociente compacto Γ, ¿Qué relación existe entre la forma canónica de una región
fundamental de Γ y su presentación cómo grupo? La respuesta se ofrece en los siguientes dos
teoremas.
Teorema 3.22 (Presentación canónica de Γ de cociente compacto y orientable). Sea Γ un grupo
NEC con H/Γ compacto tal que el cociente sea una superficie orientable con s agujeros y de género q.
Supongamos además que en su interior existen p puntos donde la aplicación cociente ϕ : H→H/Γ
es un recubrimiento ramificado de órdenes dados, los elementos del conjunto B = {h1,h2, ...,hp}
arbitrariamente ordenados. Supongamos además que alrededor del agujero k-ésimo donde la
aplicación cociente es ramificada y plegada de órdenes los dados por los elementos del conjunto
Vk = {nk,1,nk,2, ...,nk,mk } escritos en orden cíclicamente. Entonces, existe la presentación de Γ, que
denominaremos canónica, de la forma:
Generadores:
[xi], i = 1,2, ..., p, transformaciones elípticas,
[a j], [b j], [ek], j = 1,2, ..., q,k = 1,2, ..., s, transformaciones hiperbólicas,
[ck,l],k = 1,2, ..., s y l = 1,2, ...,mk +1, reflexiones
y relaciones:
(a) [ck,l]2 = 1,k = 1,2, ..., s y l = 1,2, ...,mk +1,
(b) [xi]hi = 1, i = 1,2, ..., p,
(c) [ek][ck,mk+1][ek]−1[ck,1]= 1,([ck,l][ck,l+1])nk,l = 1,k = 1, ..., s, l = 1, ...,mk,
(d)∏p
i=1[xi]∏q
j=1([a j][b j][a j]−1[b j]−1)∏s
k=1[ek]= 1.
32
3.3. CLASIFICACIÓN ALGEBRAICA
Demostración. Del teorema 3.18 sabemos que la forma canónica de la región fundamental de Γ
será de una de las formas:
1. x1x′1...xpx
′pa1b
′1a
′1b1...aqb
′qa
′qbqe1c1,1...c1,m1 e
′1...escs,1...cs,ms e
′scs+1,1...cs+1,ms+1 .
2. x1x′1...xpx
′pa1b
′1a
′1b1...aqb
′qa
′qbqe1c1,1...c1,m1 e
′1...escs,1...cs,ms e
′s ,
Para el primer caso, según hemos visto en el teorema 3.21, los generadores son:
[xi], i = 1, ..., p,
[a j], j = 1, ..., q,
[b j], j = 1, ..., q,
[ek],k = 1, ..., s−1,
[ck,l],k = 1, ..., s, l = 1, ...,mk,
ya que cada lado h de la región fundamental F va a verificar que su transformación asociada [h] es,
por definición, aquella tal que F∩[h]F ⊃ h, es decir, es un elemento del grupo de transformaciones
de Γ que transforman F en alguno de sus caras vecinas, luego como vimos en el teorema 3.21,
uno de los generadores de Γ.
Por otro lado, puesto que los lados etiquetados mediante ck,l son únicos, en el sentido de no ser
congruentes a ningún otro de los de F, serán reflexiones de forma que sus transformaciones
asociadas verificarán la relación
(3.7) [ck,l]2 = 1,k = 1, ..., s, l = 1, ...,mk +1.
Análogamente, los vértices de los pares (xi, x′i) son tales que las caras [xi]F, [xi]2F, ... dejan ese
vértice invariante por lo que las transformaciones [xi], [xi]2, ... son los elementos de la relación
canónica de v, es decir, existirá un entero f i tal que
(3.8) [xi] f i = 1.
Además, por ser [xi] un elemento cíclico finito, será elíptico de orden f i.
Tomemos ahora los vértices entre los lados ck,l y ck,l+1: puesto que se verifica que [ck,l]2 = 1,
las caras que se encuentran en v serán [ck,l]F, [ck,l+1]F, [ck,l][ck,l+1]F, ..., por lo que la relación
canónica en v será de la forma
(3.9) {[ck,l][ck,l+1]}gk,l = 1.
Sea v el vértice formado por los lados (ek, ck,1). Su vértice congruente v′ será el dado por los
lados (ck,uk , e′k), puesto que los lados ek y e′k son congruentes y el vértice (ek, ck,1) sólo puede
ser congruente al formado por (ck,mk , e′k) o al dado por (e′k, ek+1), pero esto último es imposible
puesto que tendríamos que (ck,mk , e′k) sería congruente a un vértice formado por lados ninguno
de los cuales sería congruente a alguno de los lados ck,mk o e′k. Observemos que, como ek y e′k son
congruentes, tendremos, como se vio durante la demostración del teorema 3.21, que se verifica
33
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
[e′k] = [ek]−1. Finalmente, como los vértices v y v′ son conjugados por la transformación [ek],
podremos escribir la clase de relaciones canónicas de estos vértices de la siguiente forma: sea F
la región fundamental, v el vértice dado arriba, entonces [ck,1]F será la cara vecina dada por la
reflexión de F sobre el lado ck,1 que compartirá el vértice v. Ahora, la cara [ek]−1[ck,1]F será una
cara vecina de F, pero en este caso comparte el vértice v′. De aquí, la cara [ck,mk ][ek]−1[ck,1]F
será otra cara vecina que comparte el vértice v′ y por lo tanto la cara [ek][ck,mk ][ek]−1[ck,1]F será
otra cara vecina de F que comparte v. En otras palabras, las caras vecinas de F que comparten v
serán de la forma ([ek][ck,mk ][ek]−1[ck,1])lF para l entero, y por la relación canónica del vértice v,
podemos asegurar que existe un entero lk de forma que se verificará
(3.10) ([ek][ck,mk ][ek]−1[ck,1])lk = 1.
Por último, tendremos aquellos vértices de F no representados en los casos anteriores, que
representamos mediante la relación{p∏
i=1[xi]
q∏j=1
([a j][b j][a j]−1[b j]−1)s−1∏k=1
[ek][cs,1]×s−1∏k=1
[es−k]−1 ×q∏
j=1([bq− j+1][aq− j+1][aq− j+1]−1[aq− j+1]−1)×
p∏i=1
[xp−i+1]−1[cs,ms ]
}l
= 1.(3.11)
Definimos ahora el generador [es]−1 =∏pi=1[xi]
∏qj=1([a j][b j][a j]−1[b j]−1)
∏s−1k=1[ek], de donde te-
niendo en cuenta las siguientes igualdades:∏s−1k=1[es−k]−1 = ([es−1]−1[es−2]−1...[e2]−1[e1]−1)= (
∏s−1k=1[ek])−1,
y∏qj=1([bq− j+1][aq− j+1][bq− j+1]−1[aq− j+1]−1)
= ([bq][aq][bq]−1[aq]−1[bq−1][aq−1][bq−1]−1[aq−1]−1...[b2][a2][b2]−1[a2]−1[b1][a1][b1]−1[a1]−1)
= (∏q
j=1[a j][b j][a j]−1[b j]−1)−1
obtenemos finalmente las relaciones
(3.12) ([es][cs,ms ][es]−1[cs,1])l = 1
y
(3.13) [es]−1 =p∏
i=1[xi]
q∏j=1
([a j][b j][a j]−1[b j]−1)s∏
k=1[ek].
De esta forma, tenemos que las relaciones 3.7, 3.8, 3.9, 3.10, 3.12 y 3.13 forman un conjunto
completo de relaciones en términos de los generadores
[xi], i = 1, ..., p,
[a j], j = 1, ..., q,
[b j], j = 1, ..., q,
[ek],k = 1, ..., s,
34
3.3. CLASIFICACIÓN ALGEBRAICA
[ck,l],k = 1, ..., s, l = 1, ...,mk.
Si se verifica que lk, l = 1 tenemos las relaciones y generadores del enunciado. En caso contrario,
si para algún k, lk = 1, definimos [ek][ck,mk ][ek]−1 = [ck,0] y podemos escribir las relaciones
(3.14) ([ek][ck,mk ][ek]−1)−1[ck,0]= [ek][ck,mk ][ek]−1[ck,0]= 1,
(3.15) [ck,0]2 = ([ek][ck,mk ][ek]−1)([ek][ck,mk ][ek]−1)= 1
y teniendo en cuenta 3.10, tenemos que
(3.16) ([ek][ck,mk ][ek]−1[ck,1])lk = ([ck,0][ck,1])lk = 1.
De nuevo, añadiendo ahora los [ck,0] al conjunto de generadores y las relaciones 3,14,3,15,3,16,
obtenemos los generadores y relaciones del enunciado.
Por último, supongamos que tenemos el caso (ii) del enunciado, que tendrá los generadores:
[xi], i = 1, ..., p,
[a j], j = 1, ..., q,
[b j], j = 1, ..., q,
[ek],k = 1, ..., s,
[ck,l],k = 1, ..., s, l = 1, ...,mk.
con las relaciones que quedan justificadas de forma totalmente análoga al caso anterior
(i) [ck,l]2 = 1,k = 1, ..., s, l = 1, ...,mk +1,
(ii) [xi] f i = 1,
(iii) {[ck,l][ck,l+1]}lk = 1,
(iv) ([ek][ck,mk ][ek]−1[ck,1])lk = 1,
(v) {∏p
i=1[xi]∏q
j=1([a j][b j][a j]−1[b j]−1)∏s
k=1[ek]}l = 1.
De nuevo, si los l, lk = 1, tenemos los generadores y relaciones del enunciado. Si por el contrario l
no es la unidad, definimos el generador [x0] de la forma
[x0]−1 =∏pi=1[xi]
∏qj=1([a j][b j][a j]−1[b j]−1)
∏sk=1[ek] y reemplazamos (v) por
(vi) [x0]l = 1
y
(vii)∏p
i=1[xi]∏q
j=1([a j][b j][a j]−1[b j]−1)∏s
k=1[ek]= 1.
Análogamente al caso de arriba, si ahora alguno de los lk 6= 1, introducimos el generador [ck,0]
como antes y obtenemos otra vez la conclusión del teorema.
Por último, enunciamos el caso de grupos NEC de cociente compacto y no orientable. La
demostración es totalmente análoga al caso anterior y simplemente la bosquejamos:
Teorema 3.23 (Presentación canónica de Γ de cociente compacto y no orientable). Sea Γ un
grupo NEC con H/Γ compacto tal que el cociente sea una superficie no orientable con s agujeros
y de género no orientable r. Supongamos además que en su interior existen p puntos donde la
35
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
aplicación cociente ϕ : H → H/Γ es un recubrimiento ramificado de órdenes los elementos del
conjunto B = {h1,h2, ...,hp} arbitrariamente ordenados. Supongamos además que alrededor del
agujero k-ésimo, donde la aplicación cociente es ramificada y plegada donde los órdenes son los
dados por los elementos del conjunto Vk = {nk,1,nk,2, ...,nk,mk } ordenados cíclicamente. Entonces,
existe la presentación de Γ, que denominaremos canónica, de la forma:
Generadores:
[xi], i = 1,2, ..., p, transformaciones elípticas,
[d j], j = 1,2, ..., r, reflexiones con deslizamientos,
[ek],k = 1,2, ..., s, transformaciones hiperbólicas,
[ck,l],k = 1,2, ..., s y l = 1,2, ...,mk +1, reflexiones
y relaciones:
(a) [ck,l]2 = 1,k = 1,2, ..., s y l = 1,2, ...,mk +1,
(b) [xi]hi = 1, i = 1,2, ..., p,
(c) [ek][ck,mk+1][ek]−1[ck,1]= 1,([ck,l][ck,l+1])nk,l = 1,k = 1, ..., s, l = 1, ...,mk,
(d)∏p
i=1[xi]∏r
j=1[d j]2 ∏sk=1[ek]= 1.
Demostración. De nuevo tenemos dos casos que quedan caracterizados por la forma canónica de
la región fundamental para el caso no orientable, que son:
1. x1x′1...xpx
′pd1d∗
1 ...drd∗r ...e1c1,1...c1,u1 e
′1...es−1cs−1,1...cs−1,us−1 e
′s−1cs,1...cs,us ,
2. x1x′1...xpx
′pd1d∗
1 ...drd∗r e1c1,1...c1,u1 e
′1...escs,1...cs,us e
′s.
Para el primer caso del enunciado, los generadores son
[xi], i = 1, ..., p,
[d j], j = 1, ..., r,
[ek],k = 1, ..., s−1,
[ck,l],k = 1, ..., s, l = 1, ...,mk.
con las relaciones que quedan justificadas de forma análoga al teorema anterior
(i) [ck,l]2 = 1,k = 1, ..., s, l = 1, ...,mk +1,
(ii) [xi]hi = 1, i = 1, ..., p,
(iii) [ck,l][ck,l+1]nk,l = 1,k = 1, ..., s,
(iv) ([ek][ck,uk ][ek]−1[ck,1])nk,l = 1,
(v)∏t
i=1[xi]∏q
j=1[d j][d j]∗−1 ∏s−1k=1[ek][cs,1]×∏s−1
k=1[es−k]−1 ×∏ti=1[xt−i+1]−1[cs,us ]
l = 1.
Definimos ahora el generador [es]−1 = ∏ti=1[xi]
∏qj=1[d j][d∗ j]−1 ∏s−1
k=1[ek], de donde obtenemos
finalmente las relaciones
(vi) ([es][cs,us ][es]−1[cs,1])= 1,
y
(vii) [es]−1 =∏ti=1[xi]
∏qj=1[d j][d j]∗−1 ∏s
k=1[ek].
De esta forma, tenemos las relaciones (i),(ii),(iii),(iv),(vi) y (vii) en términos de los generadores:
36
3.3. CLASIFICACIÓN ALGEBRAICA
[xi], i = 1, ..., p,
[d j], j = 1, ..., r,
[ek],k = 1, ..., s−1,
[ck,l],k = 1, ..., s, l = 1, ...,mk.
Si se verifica que lk, l = 1 tenemos las relaciones y generadores del enunciado, si definimos
[ek][ck,uk ][ek]−1 = [ck,0] y podemos escribir las relaciones
(viii) ([ek][ck,uk ][ek]−1)−1[ck,0]= [ek][ck,uk ][ek]−1[ck,0]= 1,
(ix) [ck,0]2 = ([ek][ck,uk ][ek]−1)([ek][ck,uk ][ek]−1)= 1,
lo que nos da
(x) ([ek][ck,uk ][ek]−1[ck,1])lk = ([ck,0][ck,1])lk = 1.
De nuevo, añadiendo ahora los [ck,0] al conjunto de generadores y las relaciones (viii),(ix),(x),
obtenemos los generadores y relaciones del enunciado.
Análogamente en el segundo caso del enunciado, tendremos los generadores:
[xi], i = 1, ..., p,
[d j], j = 1, ..., r,
[ek],k = 1, ..., s−1,
[ck,l],k = 1, ..., s, l = 1, ...,mk.
con las relaciones
(i) [ck,l]2 = 1,k = 1, ..., s, l = 1, ...,mk +1,
(ii) [xi]hi = 1, i = 1, ..., p,
(iii) [ck,l][ck,l+1]lk = 1,
(iv) ([ek][ck,uk ][ek]−1[ck,1])lk = 1,
(v) {∏t
i=1[xi]∏q
j=1[d j][d∗ j]−1 ∏s−1k=1[ek][cs,1]×∏s−1
k=1[es−k]−1}l = 1.
Definiendo el generador
[x0]−1 =∏ti=1[xi]
∏qj=1([a j][b j][a j]−1[b j]−1)
∏sk=1[ek]
y reemplazamos (v) por
(vi) [x0]l = 1
y
(vii)∏t
i=1[xi]∏q
j=1[d j]2 ∏sk=1[ek]= 1.
Análogamente al caso de arriba, si ahora alguno de los lk 6= 1, introducimos el generador [ck,0]
como antes y obtenemos otra vez la conclusión del teorema.
De nuevo, si los l, lk = 1, tenemos los generadores y relaciones del enunciado. Si por el contrario l
no es la unidad, definimos el generador [x0] de la forma
[x0]−1 =∏ti=1[xi]
∏qj=1[d j]2 ∏s
k=1[ek]
y reemplazamos (v) por
(vi) [x0]l = 1
y
(vii)∏t
i=1[xi]∏q
j=1[d j]2 ∏sk=1[ek]= 1.
37
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
Podemos resumir los resultados de esta sección de la siguiente forma: dado un grupo NEC Γ,
entonces existe un polígono fundamental F de H/Γ de forma que el estabilizador de los vértices
dados por los lados (xi, x′i), digamos Mi, son grupos cíclicos de rotaciones de orden mi entero, los
estabilizadores de los vértices dados por los lados (ci, j, ci, j+1), que llamaremos Ni j, será el grupo
diedral de orden 2ni j, puesto que puede presentarse de la forma
< x = ci, j, y= ci, j ci, j+1 | x2 = y2ni j = (xy)2 = 1>ya que
(xy)2ni j = (ci, j ci, j ci, j+1)2ni j = (ci, j+1)2ni j = 1ni j = 1.
Cualquier otro punto de ci, j tiene como estabilizador el grupo de reflexiones Z2.
3.4. Signatura y presentación de grupos NEC
En la sección anterior, hemos demostrado las posibles presentaciones de un grupo NEC a
partir de la geometría de las formas fundamentales. Esta sección la vamos a dedicar a estudiar que
características geométricas nos permiten identificar las propiedades del grupo NEC incluyendo
su presentación. Esto lo vamos a resolver de forma análoga a cómo se realiza en el caso particular
de los grupos Fuchsianos, en particular, introduciendo el concepto de signaturas NEC.
A continuación, estudiaremos la relación entre la signatura y su presentación, así como las
características geométricas de la región fundamental asociada. Esto nos permitirá finalmente
obtener los resultados principales de esta sección relacionados con las propiedades de isomorfía
de grupos NEC, es decir, bajo que condiciones, en función de la representación geométrica o
algebraica de dos grupos NEC, éstos será isomorfos.
Previamente, una comentario sobre la notación. En la sección anterior hemos representado
las transformaciones del grupo NEC (excepto la unidad y los genereadores) con corchetes, por
ejemplo [p], y a los lados de las regiones fundamentales con letras latinas de la forma p. Esto era
conveniente para las demostraciones efectuadas en esa sección, ya que estaban relacionadas con
relaciones canónicas de vértices y con transformaciones asociadas a lados conjugados de la región
fundamental y sus caras vecina. En esta sección, sin embargo, usaremos letras griegas para
representar a los lados y reservaremos el alfabeto latino para representar a todos los elementos
de los grupos NEC (no sólo a sus generadores).
Definicion 3.24 (Signatura de Wilkie). Una signatura NEC o de Wilkie consiste en un signo ± y
una sucesión de enteros ordenadas por subsucesiones de la siguiente forma:
(0) un signo ±, + para el caso orientable, − para el caso no orientable,
(1) un entero g ≥ 0,
(2) un conjunto ordenado de enteros m1, ...,mp,mi ≥ 2 que denominamos periodos propios de la
signatura,
(3) un conjunto ordenado de ciclos de periodos
C1 = (n11, ...,n1m1 ), ...,Ck = (nk1, ...,nksk ),ni j≥2. La signatura se escribe (g,±, [m1, ...,mp]{C1, ...,Ck}),
38
3.4. SIGNATURA Y PRESENTACIÓN DE GRUPOS NEC
o bien explícitamente, (g,±, [m1, ...,mp]{(n11, ...,n1s1 ), ..., (nk1, ...,nksk )}). Los conjuntos de periodos
pueden estar vacíos, obteniendo signaturas de Wilkie del tipo:
(g,+, [], ), representa un grupo NEC sin periodos ni ciclos,
(g,+, [m], ()()), representa un grupo NEC con un periodo propio y dos ciclos vacíos.
La signatura de Wilkie de un grupo NEC así definida, tiene asociados símbolos de superficie,
entendidos como las formas canónicas de las regiones fundamentales asociadas, de la siguiente
forma:
(3.17) (g,+, [m1, ...,mp]{(n11, ...,n1s1), ..., (nk1, ...,nksk )})
tiene asociado una región fundamental cuya forma canónica es:
ξ1ξ′1...ξpξ
′pα1β
′1α
′1β1...αgβ
′gα
′gβgε1γ10γ11...γ1s1ε
′1ε2γ20γ21...γ2s2ε
′2...εkγk0γk1...γkskε
′k.
Observemos como la signatura y la forma canónica se identifican en función del número de
periodos y de ciclos y sus longitudes, sin que el valor exacto de los enteros que representan los
periodos y ciclos es relevante. Análogamente, para el caso no orientable tenemos una signatura:
(3.18) (g,−, [m1, ...,mp]{(n11, ...,n1s1), ..., (nk1, ...,nksk )})
que tiene asociado una región fundamental cuya forma canónica es:
ξ1ξ′1...ξpξ
′pε1γ10γ11...γ1s1ε
′1ε2γ20γ21...γ2s2ε
′2...εkγk0γk1...γkskε
′kδ1δ
∗1 ...δgδ
∗g.
Desde un punto de vista geométrico, ya vimos que 3.17 representa una superficie orientable con
borde menos k discos y de género g. Igualmente, la superficie representada por 3.18 representa
una superficie no orientable con borde menos k discos y género no orientable g.
Recordemos de la sección anterior, que los generadores y relaciones estaban ligados con los vérti-
ces donde los lados de un determinado tipo (asociados a las transformaciones) se encontraban.
De esta forma, los periodos (relacionados con los exponentes que aparecían en las relaciones) se
pueden asociar a los vértices donde intersectan estos lados; en otras palabras, podemos imaginar
los periodos asociados a los vértices de los polígonos fundamentales. De esta forma, los periodos
mi se asociarán a vértices Mi comunes a los lados ξiξ′i y los ciclos ni j asociados a los vértices Ni j
comunes a los lados γi j−1,γi j.
Ya vimos en la sección anterior como obtener la presentación de un grupo NEC a partir de la forma
del polígono fundamental asociado. Teniendo esto en cuenta y como acabamos de asociar a la
forma canónica de la región fundamental una signatura, es inmediato definir para cada signatura
la presentación del grupo NEC cuya región fundamental tenga la forma canónica asociada a esa
signatura. Recordemos que las presentaciones asociadas a los polígonos fundamentales escritos
en su forma canónica son, para el caso orientable:
ξ1ξ′1...ξpξ
′pα1β
′1α
′1β1...αpβ
′pα
′pβpε1γ10γ11...γ1s1ε
′1ε2γ20γ21...γ2s2ε
′2...εkγk0γk1...γkskε
′k. cuyos gene-
radores son
xi, i = 1,2, ..., p,
ai,bi, e j, i = 1,2, ..., q, j = 1,2, ...,k,
39
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
ci, j, i = 1,2, ...,k y j = 0,1,2, ..., si,
y las relaciones:
(a) c2i, j = 1, i = 1,2, ...,k y j = 0,1,2, ..., sk,
(b) xmii = 1, i = 1,2, ..., p,
(c) e i ci,si+1 e−1i ci,0 = 1,(ci, j−1ci, j)ni, j = 1, i = 1, ...,k, j = 1, ..., sk,
(d)∏p
i=1 xi∏q
j=1(a jb ja−1j b−1
j )∏k
i=1 e i = 1.
Para el caso no orientable de polígono
ξ1ξ′1...ξrξ
′rε1γ10γ11...γ1s1ε
′1ε2γ20γ21...γ2s2ε
′2...εkγk0γk1...γkskε
′kδ1δ
∗1 ...δgδ
∗g,
tenemos los generadores
xi, i = 1,2, ..., p,
di, i = 1,2, ..., r,
e i, i = 1,2, ...,k,
ci, j, i = 1,2, ...,k y j = 0,1,2, ..., si,
y las relaciones:
(a) c2i, j = 1, i = 1,2, ...,k y j = 0,1,2, ..., si,
(b) xmii = 1, i = 1,2, ..., p,
(c) e i ci,si+1 e−1i ci,0 = 1,(ci, j−1ci, j)ni, j = 1, i = 1, ...,k, j = 1, ..., si,
(d)∏p
i=1 xi∏r
i=1 d2i∏k
i=1 e i = 1.
Ahora hemos usado la notación comentada al inicio de la sección, cambiando los corchetes por el
alfabeto latino en minúsculas, mientras que los lados de la región fundamental se representan
con el alfabeto griego. Además, recordando la sección anterior, los generadores xi están asociados
a las relaciones canónicas de los vértices dados por los lados ξi,ξ′i, los generadores ci, j con los
vértices dados por los lados γi j−1,γi j e igualmente los generadores ai,bi,di, e i con los lados
αi,βi,δi,εi. Así mismo, usaremos el operador conmutador [a,b]= aba−1b−1 para simplificar las
notaciones. Finalmente, en la tabla a continuación representamos explícitamente como se relacio-
nan signatura y presentación. Hemos visto como las transformaciones a,b, ..., x, ..., definidas en la
Elemento de la signatura Generador Relación
Periodo mi xi xmi
Ciclo Ci = (ni1, ...,nisi ) e i, ci0, ..., cisi e i ci,si e−1i ci,0 = 1, c2
i, j, (ci, j−1ci, j)ni, j
g+ a1,b1, ...,ag,bg x1...xr[a1,b1]...[ag,bg]e1...ekg− d1, ...,dg x1...xr e1...ekd1...dg
Cuadro 3.1: Signatura y Presentación
presentación de los grupos NEC transforman los lados correspondientes del polígono fundamental
α,ββ, ...,ξ, .... De las definiciones y propiedades de estas transformaciones, estudiadas a lo largo de
las secciones anteriores, y lo visto en esta, sabemos que los vértices Mi permanecen invariantes
por las transformaciones del grupo < xi >, de forma que tenemos que el grupo cíclico xi será el
estabilizador de los vértices Mi. Análogamente, el grupo < ci, j−1ci, j > será el estabilizador de los
40
3.5. ISOMORFISMOS DE GRUPOS NEC
vértices Ni j. Adicionalmente, tenemos la siguiente proposición:
Proposicion 3.25 (Propiedades geométricas de los grupos NEC). Un elemento de orden finito de
un grupo NEC Γ es conjugado a alguno de los siguientes:
(i) a una potencia de alguna xi,1≤ i ≤ p,
(ii) a una potencia de alguna ci, j−1ci, j,1≤ j ≤ si,1≤ i ≤ k,
(iii) algún ci, j,1≤ j ≤ si,1≤ i ≤ k.
Demostración. Un elemento de orden finito t de Γ será o bien una rotación, o bien una reflexión.
En cualquiera de los dos casos, tendremos un punto fijo en el semiplano superior H que podemos
denominar x. Además, como F es una región fundamental, existirá alguna imagen de F por
Γ tal que y = gx ∈ F, g ∈ Γ. Por lo tanto, x = g−1 y = tx = tg−1 y, es decir, y = gtg−1 y, luego la
transformación conjugada gtg−1 es un estabilizador de y. Puesto que los únicos puntos en
F con estabilizador no trivial son los vértices Mi, Ni j y los puntos de los lados de F cuyas
transformaciones asociadas son las reflexiones, es decir, los puntos de los lados γi j. Es decir, t
será conjugado a alguno de esos estabilizadores, que serán según vimos en el párrafo anterior,
o bien un elemento de < xi > que es el caso (i), o uno de < ci, j−1ci, j > que es el caso (ii), o una
reflexión, es decir, algún ci, j que es el caso (iii).
3.5. Isomorfismos de grupos NEC
Esta sección la dedicamos a estudiar las propiedades de isomorfía de grupos NEC: dadas dos
presentaciones o dos signaturas, ¿bajo que condiciones representan grupos isomórficos? Antes de
responder esta pregunta vamos a matizar el concepto de isomorfía. Para ello vamos a introducir
el concepto de isomorfía geométrica y vamos a estudiar bajo que condiciones dos grupos NEC son
geométricamente isomorfos, lo que nos dará pie a estudiar la isomorfía de estos grupos desde un
punto de vista general.
Definicion 3.26 (Isomorfismo geométrico). Dos grupos NEC Γ,Γ′ se dice que son geométrica-
mente isomórficos si existe un homeomorfismo de H, t : x, y→ x′, y′ y un isomorfismo de grupos
Γ,Γ′, g → g′ tales que y = gx ⇔ y′ = g′x′. De esta forma, tenemos y′ = g′x′ ⇒ ty = g′tx ⇒ tgx =g′tx ⇒ g′ = tgt−1, es decir, dos grupos Γ,Γ′ son geométricamente isomorfos si son conjugados en
el grupo de homeomorfismos de H.
Por otro lado, diremos que un isomorfismo de Γ en Γ′ (no necesiaremente geométrico) puede
ser realizado geométricamente si para todo elemento g de Γ existe un homeomorfismo t de H tal
que su imagen por el isomorfismo es tgt−1 independientemente de g. En este caso, diremos que t
es una realización geométrica del isomorfismo. Puesto que el número de puntos fijos determina
la naturaleza de las transformaciones en el plano hiperbólico y como además los isomorfirmos
geométricos dejan invariante el conjunto de este tipo de puntos, tenemos que los isomorfismos
geométricos transforman rotaciones (punto fijo) en rotaciones, reflexiones (infinitos puntos fijos)
41
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
en reflexiones y reflexiones con traslación (ningún punto fijo) en reflexiones con traslación. En
efecto, si x en un punto fijo de g y t es un isomorfismo geométrico, tenemos que x = gx y g′ = tgt−1,
de forma que g′tx = tgx = tx, luego tx será un punto fijo de g′. Análogamente, si x′ es un punto fijo
de g′, tenemos que x′ = g′x′ = tgt−1x′ ⇒ t−1x′ = tgt−1x′ y x′ es un punto fijo de g, es decir, hay una
relación uno a uno entre los puntos fijos de g y g′ transformados por el isomorfismo geométrico
que es lo que queríamos ver. De esta forma, si t es un isomorfismo geométrico, la imagen de la
órbita de x por Γ será t(Γx)= t(Γ(t−1(tx)))= (tΓt−1)(tx)=Γ′(tx), es decir, será la órbita por Γ′ del
punto tx. De aquí deducimos que un isomorfismo geométrico induce un homeomorfismo entre los
cocientes H/Γ y H/Γ′ que denominaremos t∗.
Antes de analizar las propiedades de isomorfía geométrica de los grupos NEC, definimos el
concepto de equivalencia directa e indirecta entre periodos de ciclos de signaturas, que usaremos
para enunciar y demostrar las isomorfías:
Definicion 3.27 (Ciclos equivalentes). Dados dos ciclos de periodos C = (n1, ...,ns),C′ = (n′1, ...,n′
s′ )
decimos que C y C′ son directamente equivalentes si uno es una permutación cíclica de otro, es
decir, si s = s′ y existe un entero k tal que ni = n′i+k, tomando módulo s para la suma de índices.
Análogamente, se dice que los ciclos son inversamente equivalentes si uno es la permutación
cíclica inversa de otro, es decir, si existe un entero k tal que ni = n′k−i, tomando otra vez módulo s
para la suma de índices.
Finalmente, obtenemos las condiciones de isomorfía geométrica entre grupos NEC.
Teorema 3.28 (Isomorfismo geométrico entre grupos NEC). Si un grupo NEC Γ de signatu-
ra (g,±, [m1, ...,mp]{C1, ...,Cs}) es geométricamente isomorfo a un grupo NEC Γ′ de signatura
(g′,±, [m′1, ...,m′
p′]{C′1, ...,C′
s′}), entonces ambos son orientables/no orientables, p = p′, s = s′ los
periodos [m′] son una permutación de los periodos [m]. Además, en el caso orientable, los ciclos
C′i son, o bien todos directamente, o bien todos inversamente equivalentes a Cφ(i), donde φ es una
permutación de (1,2, ..., s). Para el caso no orientable, para cada i el ciclo C′i es, o bien directamente,
o bien inversamente equivalente a Cφ(i), donde φ es, de nuevo, una permutación de (1,2, ..., s).
Demostración. Como sabemos de la teoría de grupos, dado un grupo Γ actuando sobre el semi-
plano superior H, se denomina estabilizador de x ∈H al conjunto St(x)= {g ∈Γ : gx = x}, es decir,
el conjunto de elementos de Γ que dejan invariante x. Así mismo, llamamos órbita de x al conjunto
Orb(x)= {z ∈H : ∃g ∈Γ, gx = z}. Se tiene que si y ∈Orb(x) entonces St(y)= gSt(x)g−1, con gx = y.
De aquí deducimos que, para el caso del homeomorfismo t∗ inducido según definimos arriba entre
los espacios cociente H/Γ y H/Γ′, todos los puntos de una misma Γ-órbita tienen estabilizadores
geométricamente isomorfos, pues los estabilizadores son subgrupos y son conjugados en el grupo
de homeomorfismos de H. De esta forma, hablaremos de estabilizador de un punto del espacio
cociente, entendido como la clase de isomorfismos a la que pertenecen los estabilizadores de los
puntos de una órbita.
El homeomorfismo t∗ definido arriba, aplicará entonces puntos de S = H/Γ en S′ = H/Γ′ con
42
3.5. ISOMORFISMOS DE GRUPOS NEC
estabilizadores geométricamente isomoformos. Si identificamos los cocientes con sus polígonos
fundamentales cuya forma canónica es la obtenida según su signatura, obtenemos que los esta-
bilizadores de los puntos Mi y los de su imagen por t∗ son geométricamente ismorfos, es decir,
conjugados y, por lo tanto,si es estabilizador del primero es un grupo cíclico de rotaciones de orden
mi, el del segundo también será cíclico del mismo orden. Similarmente, si los estabilizadores de
los puntos Ni j son grupos diedrales de orden ni j, lo mismo sucederá con los estabilizadores de
t∗(Ni j). En otras palabras, el homeomorfismo t∗ induce una aplicación biyectiva de los periodos y
de los ciclos de Γ en los de Γ′.Como se deduce de los enunciados de los teoremas 3,22 y 3,23 los vértices Ni j, correspondientes
a las intersecciones de los lados (ci, j, ci, j+1), pertenecen todos a las mismas componentes de la
frontera de S pues son todos puntos rodeando al i-ésimo agujero de su frontera, y por lo tanto, sus
t∗-imágenes serán todas pertenecientes a su vez a la misma componente de la frontera de S′, es
decir, las imágenes de los Ni j serán N ′i′ j′ tales que todos los puntos con el mismo índice i tendrán
sus imágenes con el mismo índice i′ y cada ciclo de la signatura de Γ corresponderá con un ciclo
de la misma longitud y con los mismos periodos en Γ′. Además, dentro de cada ciclo, el orden que
se ha tomado alrededor de la i-ésima componente corresponderá a un ciclo con el mismo orden,
o su reverso ,y, por último, los puntos elegidos como Ni1 para cada i son irrelevantes desde un
punto de vista geométrico, de forma que permutaciones cíclicas de los puntos serán posibles.
Llamemos [Ci] la componente de la frontera de S en el caso no orientable, entonces contiene los
puntos Ni j y tendremos una permutación φ como la del enunciado que verificará [C′i]= t∗[Cφ(i)].
Dependiendo de si la aplicación t∗ de la componente de la frontera [Ci] en [C′i], que será una
aplicación entre 1-esfereas y por lo tanto tendrá grado +1 o −1 dependiendo de si t∗ aplica
respetando o invirtiendo la orientación de las componentes de la frontera, es decir, los ciclos serán
directamente o inversamente equivalentes según el grado de t∗.
Finalmente, en el caso orientable, cada componente de la frontera tendrá la orientación inducida
por la orientación de la superficie, de forma que, todas las componentes de la superficie S estarán
orientadas de la misma forma, e igualmente todas las componentes de la frontera de la superficie
orientable S′, es decir, en el caso orientable t∗ aplica todas los pares ligados de componentes de
ciclos, digamos [Ci] y [C′j] de forma que son todos directamente equivalentes o todos inversamente
equivalentes según t∗ preserve o invierte la orientación.
Llegados a este punto es importante señalar que un isomorfismo de grupos no tiene por qué
tener una realización geométrica. Observemos que si G =< 1, g, g2, g3, g4 > es el grupo cíclico de
rotaciones de orden 5 y u : G →G : r → r2 un automorfismo de G, veamos que no puede ser derivado
geométricamente: en efecto, si así fuese tendríamos que existiría un homeomorfismo t : D → D
tal que si x, x′, y, y′ ∈ D y a,b ∈ G con b = u(a), entonces y = ax ⇔ ty = y′ = u(a)x′ = bx′ = btx. Si
y = ax, entonces se debería verificar que ty = btx = a2tx =⇒ tax = a2tx, es decir, a2 y a tienen
que ser conjugados. Esto implica, por ejemplo, que g3 y g4 elementos de G son conjugados en el
grupo de los homeomorfismos de D, pues (g4)2 = g8 = g5 g3 = g3. Sin embargo, no son conjugados
43
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
entre si, ya que son rotaciones de ángulos 6π/5 y 8π/5 respectivamente y por lo tanto serán las
transformaciones Ue6π/5 y Ue8π/5, que no pueden ser conjugadas.
Sin embargo, en el caso de grupos planos de cociente compacto todo isomorfismo puede ser
realizado geométricamente como se demuestra, por ejemplo, en [29]. La demostración no se
incluye, más que por su dificultad, por ser necesario incluir conceptos de la teoría de espacios de
Teichmüller y homeomorfismos cuasi-conformes que implicarían extender en exceso la presente
memoria.
Con la base dada por los resultados anteriores podemos enfrentarnos al objetivo último de esta
sección, en particular, la respuesta a la siguiente pregunta: ¿bajo qué condiciones dos grupos
NEC con signaturas dadas son isomorfos?
Teorema 3.29 (Isomorfismo entre grupos NEC). Las condiciones de ismomorfía geométrica entre
dos grupos NEC Γ y Γ′ son necesarias y suficientes para que los dos grupos sean isomorfos.
Demostración. Como hemos comentado en el párrafo anterior al teorema, los isomorfismos entre
dos grupos NEC pueden ser realizados geométricamente, de forma que las condiciones de isomor-
fismo geométrico son necesarias para que sean isomorfos en su sentido más general.
La demostración de la suficiencia de las condiciones del teorema se divide en cinco partes:
(i) Sea φ una permutación de (1,2, ..., p), entonces los grupos NEC (g,±, [m1, ...,mp]{C1, ...,Cs}) y
(g,±, [mφ(1), ...,mφ(p)]{C1, ...,Cs}) son isomorfos.
(ii) Si C′j es una permutación cíclica de C j entonces los grupos NEC (g,±, [m1, ...,mp]{C1, ...,Cs})
y (g,±, [m1, ...,mp]{C1, ...,C j−1,C′j,C j+1, ...Cs}) son isomorfos.
(iii) Sea φ una permutación de (1,2, ..., s), entonces los grupos NEC (g,±, [m1, ...,mp]{C1, ...,Cs}) y
(g,±, [m1, ...,mp]{Cφ(1), ...,Cφ(s)}) son isomorfos.
(iv) Si C∗i es un ciclo con los mismos periodos que Ci pero escritos en sentido inverso, entonces los
grupos NEC (g,+, [m1, ...,mp]{C1, ...,Cs}) y (g,+, [m1, ...,mp]{C∗1 , ...,C∗
s }) son isomorfos.
(v) Si C∗i es un ciclo con los mismos periodos que Ci pero escritos en sentido inverso, entonces los
grupos NEC (g,−, [m1, ...,mp]C1, ...,Cs) y (g,−, [m1, ...,mp]{C1, ...,C∗i , ...,Cs}) son isomorfos.
Pasemos a demostrar cada una de las propiedades de isomorfía planteadas:
(i) El orden de los p puntos de ramificación es irrelevante, como se puede ver al reemplazar
los generadores xi y xi+1 por los generadores x′i = xixi+1x−1i y xi+1 = xi respectivamente, que al
reemplazar en las relaciones del grupo da,
x′hi+1i = (xixi+1x−1
i )hi+1 = xix−1i+1)hi+1 x−1
i = xix−1i = 1,
x′hii+1 = xhi
i = 1,
x1...xi−1x′ix′i+1...xpa1b1a−1
1 b−11 ...agbga−1
g b−1g e1...es
= x1...xi−1xixi+1x−1i xi...xpa1b1a−1
1 b−11 ...agbga−1
g b−1g e1...es
= x1...xi−1xixi+1...xpa1b1a−11 b−1
1 ...agbga−1g b−1
g e1...es = 1,
de forma que volvemos a obtener el mismo número de generadores con las mismas relaciones, es
decir, los grupos son isomorfos bajo permutaciones de los ciclos.
(ii) La segunda operación es equivalente a demostrar que el orden de los periodos nk,1 es irre-
44
3.5. ISOMORFISMOS DE GRUPOS NEC
levante, es decir, cualquier permutación de (1, ..,mk) tal que los elementos del ciclo C′k son una
permutación de los elementos del ciclo Ck, produce un grupo isomorfo. Para ello basta con ver que
el conjunto nk,1,nk,2, ...,nk,mk puede ser movido un lugar cíclicamente. Sabemos que se verifican
la siguiente relación:
1= ekck,mk+1e−1k ck,1 = ekck,mk+1e−1
k c−1k,1 ⇒ ck,1 = ekck,mk+1e−1
k , de forma que obtenemos
1= (ck,1ck,2)nk,1 = (ekck,mk+1e−1k ck,2)nk,1 .
Reemplazando el generador ck,2 por c′k,2 = e−1k ck,2ek, nos permite escribir la relación anterior de
la forma:
1= (ekck,mk+1e−1k ekc′k,2e−1
k )nk,1 = (ekck,mk+1c′k,2e−1k )nk,1 = ek(ck,mk+1c′k,2)nk,1 e−1
k .
Esto lo podemos escribir como (ck,mk+1c′k,2)nk,1 . Usando la relación (ck,2ck,3)nk,1 = 1, obtenemos
(ekc′k,2e−1k ck,3)nk,2 = 1.
Definimos ahora el generador ck,α = ekc′k,2e−1k , que verifica c2
k,α = ekc′k,2e−1k ekc′k,2e−1
k = ekc′k,2c′k,2e−1k =
eke−1k ck,2eke−1
k ck,2eke−1k = ck,2ck,2 = 1, de forma que obtenemos las dos relaciones:
ekc′k,2e−1k ck,α = 1
y
(ck,αck,3)nk,2 = 1, esta última se obtiene de forma completamente análoga a la relación obtenida
arriba, ck,mk+1c′k,2)nk,1 .
Ahora, si usamos los generadores ck,α, c′k,2, ck,l , l = 3,4, ...,mk +1 y las relaciones
ekc′k,2e−1k ck,α = 1,
(ck,αck,3)nk,2 = 1,
(ck,l ck,l+1)nk,l = 1, l = 3,4, ...,mk,
(ck,mk+1c′k,2)nk,2 = 1,
junto con el resto de generadores y relaciones que no han variado, observamos como el resultado
es un grupo con el mismo número de generadores y con las mismas relaciones entre ellos, es decir,
el nuevo grupo es isomorfo.
(iii) La tercera operación es equivalente a demostrar que el orden de los s agujeros es irrelevante,
es decir, que cualquier permutación de (1, .., s) producen un grupo con los mismos generadores y
presentación. Definamos dos generadores e′i = e i e i+1e−1i , e′i+1 = e i, c′i+1,l = ci,l , l = 1,2, ...,mi, c′i,l =
e i ci+1,l e−1i , l = 1,2, ...,mi+1. Estos generadores cumplen las relaciones:
c2i,l = e i ci+1,l e−1
i e i ci+1,l e−1i = e i ci+1,l ci+1,l e−1
i = 1, l = 1, ...,mi+1
c2i+1,l = ci+1,l ci+1,l = 1, l = 1, ...,mi
e′i c′i,mi+1+1e
′−1i c′i,1 = e i e i+1e−1
i e i ci+1,mi+1+1e−1i e i e−1
i+1e−1i e i ci+1,1e−1
i
= e i[e i+1ci+1,mi+1+1e−1i+1ci+1,1]e−1
i = e i e−1i = 1
e′i+1c′i+1,mi+1+1e′−1i+1c′i+1,1 = e i ci+1,mi+1+1e−1
i ci+1,1 = 1
(c′i,l c′i,l+1)ni+1,l = (e i ci+1,l e−1
i e i ci+1,l+1e−1i )ni+1,l
= (e i ci+1,l ci+1,l+1e−1i )ni+1,l = e i ci+1,l ci+1,l+1e−1
i e i ci+1,l ci+1,l+1e−1i ...e i ci+1,l ci+1,l+1e−1
i
= e i ci+1,l ci+1,l+1ci+1,l ci+1,l+1...ci+1,l ci+1,l+1e−1i
= e i(c′i,l c′i,l+1)ni+1,l e−1
i = e i e−1i = 1
45
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
(c′i+1,l c′i+1,l+1)ni+1,l = (ci,l ci,l+1)ni+1,l = 1
Para el caso orientable tendremos la relación
x1...xpa1b1a−11 b−1
1 ...agbga−1g b−1
g e1...e i−1e′i e′i+1e i+2...es
= x1...xpa1b1a−11 b−1
1 ...agbga−1g b−1
g e1...e i−1e i e i+1e−1i e i e i+2...es
= x1...xpa1b1a−11 b−1
1 ...agbga−1g b−1
g e1...e i−1e i e i+1e i+2...es = 1
y para el caso no orientable
x1...xpd21...d2
r e1...e i−1e′i e′i+1e i+2...es = x1...xpd2
1...d2r e1...e i−1e i e i+1e−1
i e i e i+2...es
= x1...xpd21...d2
r e1...e i−1e i e i+1e i+2...es = 1
(iv) Si ahora tenemos un grupo en el que invertimos el orden de los periodos de cada ciclo de otro
grupo dado, tenemos que los generadores serán
x′i,a′
j, j = 1, ..., g,
b′j, j = 1, ..., g,
e′k,k = 1, ..., s,
c′k, l,k = 1, ..., s, l = 1, ...,mk +1,
y las relaciones serán (los subíndices se definen de forma que el orden en cada ciclo queda
invertido y adicionalmente invertimos el orden de los puntos de ramificación por conveniencia),
(a)c′2k,l = 1,k = 1, ..., s, l = 1, ...,mk +1,
(b)x′hp−i+1
i = 1, i = 1, ..., p,
(c)e′kc′k,mk+1e′−1k c′k,1 = 1,(c′k,l c
′k,l+1)nk,mk−l+1 = 1, l = 1, ...,mk,k = 1, ..., s,
(d)x′1...x′pa′1b′
1a′−11 b
′−11 ...a′
gb′ga
′−1g b
′−1g e′s...e′1
= 1.
Teniendo en cuenta que el orden de los puntos de ramificación es irrelevante y reescribiendo las
relaciones (c) de la forma
e′−1k c′k,1ekck,mk+1 = 1,(c′k,l+1c′k,l)
nk,mk−l+1 = 1,
y transformando e invirtiendo la relación (d) obtenemos
(a′1b′
1a′−11 b
′−11 ...a′
gb′ga
′−1g b
′−1g e′s...e′1)−1 = x′1...x′p
⇒ e′−11 ...e
′−1s b′
ga′gb
′−1g a
′−1g ...b′
1a′1b
′−11 a
′−11 = x′1...x′p
⇒ e′−11 ...e
′−1s b′
ga′gb
′−1g a
′−1g ...b′
1a′1b
′−11 a
′−11 (e′s...e′1)−1 = x′p...x′1(e′s...e′1)−1
⇒ e′s...e′1x′−11 ...x
′−1p e
′−11 ...e
′−1s b′
ga′gb
′−1g a
′−1g ...b′
1a′1b
′−11 a
′−11 (e′s...e′1)−1 = 1
⇒ e′s...e′1x′−11 e
′−1s ...e
′−11 ...e′s...e′1x
′−1p e
′−11 ...e
′−1s b′
ga′gb
′−1g a
′−1g ...b′
1a′1b
′−11 a
′−11 e
′−1s ...e
′−11 = 1,
de esta forma, definiendo los generadores x′′i = e′s...e′1x′−11 e
′−1s ...e
′−11 , obtenemos finalmente la
relación (d) de la forma
x′′p...x′′1b′ga′
gb′−1g a
′−1g ...b′
1a′1b
′−11 a
′−11 e
′−1s ...e
′−11 = 1.
Usando los generadores
x′′i ,
a′′j = aq− j+1, j = 1, ..., g,
b′′j = bq− j+1, j = 1, ..., g,
46
3.5. ISOMORFISMOS DE GRUPOS NEC
e′′k = e−1k ,k = 1, ..., s,
c′′k, l = ck,mk−l+1,k = 1, ..., s, l = 1, ...,mk +1,
obtenemos el mismo número de generadores y las mismas relaciones en ambos grupos, lo que
implica que son isomorfos.
(v) De (iii) tenemos que podemos permutar los ciclos sin alterar la clase de ismomorfismo a la que
pertenece una signatura dada, de forma que podemos asumir que la signatura
(g,−, [m1, ...,mp]{C1, ...,C∗i , ...,Cs}) donde el ciclo C∗
i se ha obtenido del ciclo Ci invirtiendo el or-
den de sus periodos, es isomorfa a la signatura (g,−, [m1, ...,mp]{C1, ...,C∗s }) donde la permutación
nos ha llevado i a s. De esta forma, tomamos Γ′ con esta última signatura y teniendo en cuenta
la forma de las signaturas de Γ y Γ′ tenemos que los generadores y relaciones de ambos grupos
son idénticos excepto,
escs,ms cs,0e−1s = 1,
c2s, j−1 = c2
s, j−1 = (cs, j−1cs, j)ns, j = 1,
x1...xpe1...esd21...d2
r=1,
para el caso de Γ, y en el caso de Γ′
e′sc′s,msc′s,0e
′−1s = 1,
c′2s, j−1 = c
′2s, j−1 = (c′s, j−1c′s, j)
ns,ms+1− j = 1,
x′1...x′pe′1...e′sd2′1...d2
′r = 1.
Definimos ahora un isomorfismo φ entre los dos grupos de la siguiente forma; la imagen de los
generadores de Γ es idéntica a la de los generadores de Γ′:φ(xi)= x′i,φ(e i)= e′i,φ(ci, j)= c′i, j, i = 1, ..., s−1,
φ(di)= d′i, i = 2, ..., r,
y sólo se diferencia en los siguientes generadores
d = e′sd′1,φ(es)= de
′−1s d−1,φ(cs, j)= dc
′−1s,ms+1− jd
−1,
φ(d1)= e′sd′1.
Observemos que todas las relaciones de ambos grupos son idénticas, en el caso de generadores
idénticos es claro:
1=φ(1)=φ((xi)hi )= (φ(xi))hi = (x′i)hi ,
1=φ(1)=φ(c2i, j)= (c′i, j)
2,
1=φ(1)=φ(ci, j ci, j+1)g i, j = (φ(ci, j)φ(ci, j+1)))g i, j = (c′i, j c′i, j+1)g i, j ,
1=φ(1)=φ(e i ci,mi+1e−1i ci, j)=φ(e i)φ(ci,mi+1)φ(e−1
i )φ(ci, j)= e′i c′i,mi+1e
′−1i )c′i, j),
y para el caso generadores con imágenes distintas de la unidad, es,d1 ycs, j, tenemos
φ(c2s, j)= (φ(ci, j))2 = (dcs,ms+1− jd−1)2
= (e′sd′1c′s,ms+1− j(e
′sd1)
′−1)2
= (e′sd′1c′s,ms+1− jd
′−11 e
′−1s )2
= e′sd′1c′s,ms+1− jd
′−11 e
′−1s e′s
= d′1c′s,ms+1− jd
′−11 e
′−1s = 1,
φ(cs, j cs, j+1)gs, j = (φ(cs, j)φ(cs, j+1)))gs, j
47
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
= (dc′s, jd−1d1c′s, j+1d−1)gs, j
= (dc′s, j c′s, j+1d−1)gs, j
= dc′s, jd−1d1c′s, j+1d−1...dc′s, jd
−1d1c′s, j+1d−1
= dc′s, j c′s, j+1c′s, j c
′s, j+1...c′s, j c
′s, j+1d−1
= d(cs, j cs, j+1)gs, j d−1 = dd−1 = 1,
1=φ(1)=φ(x1...xpd21...d2
r e1...es)
φ(x1)...φ(xp)φ(d21)...φ(d2
r )φ(e1)...φ(es)
= x′1...x′pe′1...de′sd−1(e′sd1)′2...d
′2r
= x′1...x′pe′1...de′−1s d−1φ(d1)...d
′2r
= x′1...x′pe′1...e′sd′1e
′−1s (e′sd′
1)−1e′sd′1e′sd′
1...d′2r
= x′1...x′pe′1...e′sd′1e
′−1s d1)
′−1e′−1s
e′sd′1e′sd′
1...d′2r = x′1...x′pe′1...e′sd
′21 ...d
′2r .
Con lo que la quinta operación sobre grupos no orientables es también un isomorfismo.
Con esto quedan demostradas las isometrías para las cinco operaciones propuestas y, por lo tanto,
el enunciado del teorema.
3.6. Área de una región fundamental
Una de las características de gran interés en el estudio de grupos fuchsianos es el área de sus
regiones fundamentales: el área hiperbólica de una región fundamental de un grupo fuchsiano
dado es un invariante numérico del mismo. Además, dada la signatura de un grupo, podemos
obtener ese invariante de forma sencilla a partir de los parámetros de la signatura. Por lo tanto,
parece razonable preguntarse si los grupos NEC tienen propiedades similares. Esto va a ser el
objetivo de los siguientes tres teoremas.
Teorema 3.30 (Área de la región fundamental de un grupo NEC es invariante). Sean F1 y F2
dos regiones fundamentales de un grupo NEC Γ. Supongamos que las áreas hiperbólicas de los
contornos de ambas son nulos. Entonces sus áreas son iguales, µ(F1)=µ(F2).
Demostración. En primer lugar, hemos visto en la sección 2.3 que el área de un conjunto en H es
invariante frente a transformaciones del grupo de isometrías de H del que Γ es un subconjunto.
Sea j = 1,2 y Q j el interior de F j, entonces µ(Q j)=µ(F j) por el enunciado. Entonces,
F1 ⊇ F1 ∩∪g∈Γg(Q2)=∪g∈Γ(F1 ∩ g(Q2)).
Puesto que la unión es disjunta, ya que Q2 es el interior de una región fundamental distinta de
F1, tenemos que se verificará
µ(F1)≥Σg∈Γµ(F1 ∩ g(Q2))=Σg∈Γµ(g−1(F1)∩Q2)=Σg∈Γµ(g(F1)∩Q2).
Por otro lado, ∪g∈Γg(F1)=H, de forma que ∪g∈Γg(F1 ∩Q2)=Q2.
Finalmente, se tiene que µ(g(F1)∩Q2)≥µ(Q2)=µ(F2), es decir, µ(F1)≥µ(F2). De la misma forma
tenemos µ(F2)≥µ(F1), es decir µ(F1)=µ(F2).
48
3.6. ÁREA DE UNA REGIÓN FUNDAMENTAL
Teorema 3.31 (Suma de ángulos de un conjunto congruente de vértices de una región fundamen-
tal). Sea F una región fundamental de un grupo NEC de cociente compacto Γ. Sean θ1, ...,θt los
ángulos internos de un conjunto congruente de vértices de F y sea m el orden del estabilizador de
uno de esos vértices. Entonces, θ1 + ...+θt = 2πm
.
Demostración. Sean v1, ...,vt un conjunto de vértices congruentes de F de ángulos internos
θ1, ...,θt. De las demostraciones de los teoremas 3.22 y 3.23 sabemos que de las relaciones
canónicas del vértice v1 de F, tenemos una transformación g ∈ Γ y un entero, que llamaremos
orden del estabilizador de v1, m tales que gm = 1 y g(v1)= v1, de forma que el estabilizador de
v1 será el conjunto H = {1, g, ..., gm−1}. Entonces, las regiones gr(F), r = 0,1, ...,m tienen todas en
común el vértice v1 de ángulo θ1.
Supongamos ahora que hay un vk,Tk ∈ Γ tal que Tkvk = v1, entonces el conjunto de todos los
elementos de Γ que llevan vk en v1 será una transformación de la forma hTk con h ∈ H, puesto
que si pvk = v1, entonces pT−1k v1 = v1 ⇒ pT−1
k ∈ H de donde se deduce que p es de la forma hTk
con h ∈ H. Luego tendremos que el conjunto de transformaciones que llevan vk en v1 tendrá
también m elementos y todas las regiones de la forma grTk(F) tendrán v1 como vértice ahora
formando un ángulo θk puesto que v1 formará el mismo ángulo con la región grTk(F) que vk con
R, que es θk por hipótesis.
Si la región h(F),h ∈Γ contiene al vértice v1, entonces h−1(v1) ∈ F, de forma que será un vértice
de F, digamos vi,1≤ i ≤ t. Por lo tanto, h ∈ HTi de donde deducimos que la región h(F) es una
de las mt regiones que rodean al vértice v1 y además cada ángulo θi estará repetido m veces.
Por último, si dos regiones son tales que grTk(F)= gsTl(F), se tiene grTkvk = gsTlvk ⇒ grv1 =v1 = gsTlvk =⇒ v1 = Tlvl = Tlvk, de donde deducimos k = l, es decir, Tk = Tl y de aquí también
gr = gq. Finalmente de deducimos el enunciado del teorema: m(θ1 + ...+θt)= 2π.
Teorema 3.32 (Área de la región fundamental de un grupo NEC). (a) Sea Γ un grupo NEC de
signatura (g,+, [m1, ...,mr]{(n11...n1s1 ), ..., (nk1...nksk )}). Entonces el área de la región fundamental
F del grupo dado es
µ(F)= 2π(2g−2+∑ri=1(1− 1
mi)+k+∑k
i=1∑r
j=si
12
(1− 1ni j
).
(b) Si Γ un grupo NEC de signatura (g,−, [m1, ...,mr]{(n11...n1s1 ), ..., (nk1...nksk )}). Entonces el área
de la región fundamental F del grupo dado es
µ(F)= 2π(g−2+∑ri=1(1− 1
mi)+k+∑k
i=1∑r
j=si
12
(1− 1ni j
).
Demostración. Sea Γ un grupo NEC de cociente compacto cuya región fundamental es F. En
la sección 3.2 hemos visto que bajo estas condiciones la región fundamental será un polígono
hiperbólico convexo con un número finito de lados. Por el teorema de Gauss-Bonet para conjuntos
convexos sabemos que el área de F será µ(F)= (n−2)π− A, donde A es la suma de los ángulos de
F.
Además, por 3.31 sabemos que la suma de los ángulos de un conjunto de vértices conjugados
es 2π/l, donde l es el orden del estabilizador. Entonces, si denotamos (δ1,δ2) al vértice donde
49
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
intersectan δ1 y δ2, podemos tener los casos de la tabla a continuación:
Vértice Orden del estabilizador
(a) (xi, x′i) mi(b) (ci, j−1, ci, j) 2ni j(c) (e i, ci,0) 2(d) (ci,si , e′i) 2
Cuadro 3.2: Órden de los estabilizadores de los vértices
Cada vértice de los tipos (a) y (b) no tienen otros conjugados y por lo tanto forman cada uno un
conjunto de vértices conjugados, de forma que la suma de ángulos de (a) y (b) será∑r
i=1(1− 1mi
)
y∑k
i=1∑r
j=si(1− 1
ni j) respectivamente. Como se vio en los teoremas 3.22 y 3.23, por un lado los
vértices (c) y (d) son conjugados entre si, por lo tanto su suma será k2π2
= kπ y por otro lado, el
resto de vértices son todos conjugados entre si con estabilizador, por lo que tenemos que la suma
de sus ángulos será 2π, de donde obtenemos A = 2π+kπ+π∑ri=1(
1mi
)+π∑ki=1
∑rj=si
(1
ni j) lo que
finalmente nos da
µF = (n−2)π− (2π+kπ+π∑ri=1
2πmi
+∑ki=1
∑rj=si
π
ni j)= (2r+2k+ (s1 +1)+ ...+ (sk +1)+4g−2)π−
(2π+kπ+∑ri=1
2πmi
+∑ki=1
∑rj=si
π
ni j)
= 2π(r+k+ s1 + ...+ sk +2g−1−2+k+∑ri=1
π
mi+∑k
i=1∑r
j=si
12ni j
)
= 2π(k+ s1 + ...+ sk
2+ k
2+2g−2− k
2+∑r
i=1(1− 1mi
)−∑ki=1
∑rj=si
12ni j
)
= 2π(k+∑ki=1
∑rj=si
12+2g−2+∑r
i=1(1− 1mi
)−∑ki=1
∑rj=si
12ni j
)
= 2π(k+2g−2+∑ri=1(1− 1
mi)+∑k
i=1∑r
j=si
12
(1− 1ni j
))
que es el enunciado en el caso (a). El caso (b) es completamente análogo, teniendo simplemente
en cuenta que ahora n = r+k+ g, con lo que la demostración queda completa.
3.7. Rango de un grupo NEC
Dada la presentación de un grupo cualquiera Γ, el mínimo número de generadores necesario
para definirlo completamente se llama rango de Γ, y lo denotamos de la forma rg(Γ). Si, en
particular, el grupo tiene una representación geométrica de forma que tiene asociado una región
fundamental, por ejemplo en el caso de grupos fuchsianos, definimos el rango geométrico del grupo
gr(Γ) al número de parejas de lados congruentes. Recordemos de la teoría de grupos fuchsianos,
cada una de esas parejas de lados congruentes determina un generador del grupo, como podemos
ver en [14], [15]. Obviamente, tenemos que se verifica rg(Γ)≤ gr(Γ) y la cuestión es estudiar que
característica debe tener un grupo para que ambos conceptos coincidan. El objetivo de esta sección
50
3.7. RANGO DE UN GRUPO NEC
es estudiar el rango y el rango geométrico de un grupo NEC y entender como se relacionan. Para
ello introducimos el concepto de rango geométrico de un grupo NEC y obtenemos su rango en
función de los términos de su signatura.
Sea Γ un grupo NEC, F un polígono fundamental de Γ y x un lado de F. Como vimos en la
sección 3.3, existe una única transformación g ∈ Γ tal que F ∩ g(F) = x y decimos que cada
lado de F determina una transformación de Γ. Análogamente, vimos que g−1(x) es también
un lado de F que determina a su vez la transformación g−1 ∈ Γ. Llamemos N(F) al número de
parejas de trasnformaciones g, g−1. Si tomamos un representante de cada una de esos pares
de transformaciones, sabemos que obtenemos un sistema de generadores de Γ que llamaremos
sistema geométrico de generadores asociados a F, que contendrá N(F) elementos. Estamos en
condiciones de definir el rango geométrico de un grupo NEC:
Definicion 3.33. Sea Γ un grupo NEC y F una región fundamental suya. Definimos rango
geométrico de Γ, grΓ al mínimo del conjunto N(F) donde F es región fundamental de Γ. Diremos
que Γ es un grupo NEC de tipo finito si gr(F) es finito, es decir, si Γ tiene un polígono fundamental
con un número finito de lados, como ocurre en el caso de grupos NEC de cociente compacto.
En las secciones anteriores hemos representado las regiones fundamentales de los grupos
NEC de cociente compacto en forma de una sucesión de lados a la que hemos asociado un conjunto
de generadores que podemos denominar geométricos, de forma que para ellos tenemos ya una
cota para el rango geométrico. Por ejemplo, para el caso compacto y orientable, teníamos una
signatura y región fundamental de la forma
(g,+, [m1, ...,mp]{(n11...n1s1)...(nk1...nksk )}),
ξ1ξ′1...ξpξ
′pα1β
′1α
′1β1...αgβ
′gα
′gβgε1γ10γ11...γ1s1ε
′1ε2γ20γ21...γ2s2ε
′2...εkγk0γk1...γkskε
′k,
por lo que la cota superior del rango geométrico será
2g+ p+k∑k
i=1 si.
Análogamente, para el caso no orientable tendremos
(g,−, [m1, ...,mp]{(n11...n1s1)...(nk1...nksk )}),
ξ1ξ′1...ξpξ
′pα1α
∗1 ...αgα
∗gε1γ10γ11...γ1s1ε
′1ε2γ20γ21...γ2s2ε
′2...εkγk0γk1...γkskε
′k,
por lo que la cota superior del rango geométrico será en el caso no orientable
g+ p+k+∑ki=1 si.
Finalmente, podemos condensar el resultado en el siguiente teorema
Teorema 3.34 (Rango geométrico de un grupo NEC). Sea Γ un grupo NEC de signatura
(g,±, [m1, ...,mp]{(n11...n1s1), ..., (nk1...nksk )}). Entonces se tiene
(i) Si p+k = 0 entonces gr(Γ)=αg.
(ii) Si p+k > 0, entonces gr(Γ)=αg+ p+k+∑ki=1 si.
Donde tenemos que α= 2 si el signo es + y en caso contrario es α= 1
Demostración. En el caso orientable, si p = k = 0, tenemos los grupos cuyas regiones fundamen-
tales se pueden caracterizar por la secuencia de símbolos α1β′1α
′1β1...αgβ
′gα
′gβg, luego la cota
51
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
superior del rango geométrico será g. Si p+ k > 0, entonces la cota superior es la que hemos
obtenido en la discusión anterior al enunciado del teorema 2g+ p+k+∑pi=1 si.
En el caso no orientable, tenemos que si p+k = 0, entonces el polígono fundamental tendrá los
lados α∗1 , ...,αg y, por lo tanto, su rango geométrico tendrá como cota g. Si p+k > 0, hemos obtenido
arriba que la cota superior del rango geométrico será g+ p+k+∑ki=1 si. De donde obtenemos el
enunciado del teorema.
Por otro lado, en la sección anterior hemos visto que el área de la región fundamental F se puede
expresar de la forma
µ(F)= 2π(αg−2+∑pi=1(1− 1
mi)+k+∑k
i=1∑r
j=si
12
(1− 1ni j
)
, y por Gauss-Bonet también podemos escribir el área de la forma
µ(F)= (n−2)π−∑r+k+s+dλ=1 (
2πlλ
),
donde r es el número de ciclos de pares de lados xi, x′i conjugados por transformaciones elípticas,
k los ciclos de pares e i, ci1 o cisi e′i, s ciclos correspondientes a los pares de lados ci j, ci j+1 y
finalmente los d ciclos correspondientes al resto de lados. Además, lλ es el estabilizador corres-
pondiente a alguno de los vértices conjugados correspondientes al ciclo λ, donde los ciclos se
ordenan agrupando los tipos de forma que λ = 1, .., r da lλ = mλ, lλ = 2 para λ = r+1, ..., r+ k,
lλ = 2ni j para λ= r+ k+1, ..., r+ k+ s y los últimos d ciclos corresponden al resto de lados. De
aquí escribimos
2π(αg−2+∑pi=1(1− 1
mi)+k+∑k
i=1∑r
j=si
12
(1− 1ni j
)= (n−2)π−∑r+k+s+dλ=1 (
2πlλ
)
simplificando obtenemos
2αg−4+2∑p
i=1(1− 1mi
)+2k+2∑k
i=1∑r
j=si
12
(1− 1ni j
)= n−2−∑r+k+s+dλ=1 (
2lλ
)
y agrupando los términos en los sumatorios
2αg−2+2r+2k+ s = n−∑r+kλ=r+1(
2lλ
)−∑r+k+s+dλ=r+k+s+1(
2lλ
)
puesto que∑r+kλ=r+1(
2lλ
)+∑r+k+s+dλ=r+k+s+1(
2lλ
)≥ 0
obtenemos
2αg−2+2r+2k+ s ≤ n, es decir la cota inferior del rango geométrico es αg+ p+k+∑si=1 si, que
al ser igual a la cota superior, nos da el resultado del teorema.
Antes de acabar esta sección presento una breve nota acerca de la relación entre el rango alge-
braico y el rango geométrico de un grupo NEC. En particular, Kaufmann-Zieschang demuestran
en [16] que los rangos geométricos y algebraicos, si bien coinciden en algunos casos concretos por
ejemplo para grupos NEC sin reflexiones, difieren en el caso general, donde el rango geométrico
es mayor que el algebraico.
52
3.8. SUBGRUPOS DE GRUPOS NEC
3.8. Subgrupos de grupos NEC
Si Γ es un grupo NEC propio, éste tiene un subgrupo fuchsiano distinguido de índice dos que
llamaremos grupo fuchsiano canónico Γ+ y que se define como Γ+ =Γ∩Λ+. El primer objetivo de
esta sección es obtener la signatura Γ+ a partir de la signatura NEC del grupo Γ.
Como se ha visto en los teoremas de presentación de grupos NEC en la sección 3.3, los elementos
de orden finito de Γ son conjugados a alguno de los siguientes:
una potencia de algún xi,1≤ i ≤ r,
una potencia de algún producto ci, j−1ci, j,1≤ i ≤ k,1≤ j ≤ si,
algún ci, j,1≤ i ≤ k,1≤ j ≤ si.
Los dos primeros casos se corresponden a elementos elípticos y forman, por lo tanto, parte del
grupo fuchsiano canónico Γ+. Como por otro lado, la signatura de un grupo fuchsiano queda
definida por el género de la superficie del cociente compacto asociado al grupo H/Γ+ y los periodos
de cada una de las clases de conjugación de subgrupos finitos ciclos maximales, y estos últimos
corresponden, como se sabe, uno a uno con los ciclos elípticos de la región fundamental asociada
a Γ+, bastaría con conocer cuantas clases de conjugación de los elementos elípticos están en Γ+
para poder conocer los periodos de la signatura del grupo fuchsiano asociado a Γ.
Proposicion 3.35 (Clases conjugación ciclos elípticos en Γ+). (a) Sea xi ∈Γ un generador elíptico.
Entonces los grupos conjugados de < xi > en Γ tienen exactamente dos clases de conjugación en Γ+.
(b) Cualquier grupo conjugado a < ci, j−1ci, j > en Γ es conjugado a < ci, j−1ci, j > en Γ+.
Demostración. (a) Sea g ∈ Γ−Γ+ y supongamos que < xi > y gxi g−1 son conjugados en Γ+. En-
tonces, existiría un h ∈Γ+ tal que
< xi >=< hgxi g−1h−1 >=< kxik−1 >,
con k = hg ∈ Γ−Γ+. El grupo < xi > es el estabilizador de un único punto p ∈ H , de forma que
deducimos p = xi p = kxik−1 p, es decir k−1 p = xik−1 p ⇒ k−1 p = p. Esto significa que k pertenece
al conjunto de estabilizadores de p lo cual implica que k ∈< xi >. Lo cual es imposible puesto que
k ∈Γ−Γ+ mientras que xi ∈Γ+. (a) Sea g ∈Γ−Γ+ entonces
C =∈= g < ci, j−1ci, j > g−1 = g < ci, j ci, j−1 > g−1,
esto último es cierto puesto que (ci, j ci, j−1)m = (ci, j−1ci, j)ni, j−1 (ci, j ci, j−1)m = (ci, j−1ci, j)ni, j−1−m, don-
de (ci, j−1ci, j)ni, j−1 = 1 por hipótesis y m < p, ya que en caso contrario podemos simplificar y tomar
módulo p. Finalmente,
C = g < ci, j ci, j−1 > g−1 = g < ci, j ci, j−1ci, j ci, j > g−1 = (gci, j)< ci, j−1ci, j > (gci, j)−1,
de donde deducimos que C es conjugado a < ci, j−1ci, j > mediante un elemento gci, j ∈Γ+.
Ya estamos en condiciones de demostrar el primer resultado básico de esta sección:
53
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
Teorema 3.36 (Signatura del grupo fuchsiano canónico). (a) Si Γ tiene signatura
(g,+, [m1, ...,mr]{(n11, ...,n1s1)...(nk1, ...,nksk )}), entonces Γ+ tiene signatura
(2g+k−1;m1,m1, ...,mr,mr,n11, ...,nksk ).
(b) Si Γ tiene signatura (g,−, [m1, ...,mr]{(n11, ...,n1s1 )...(nk1, ...,nksk )}), entonces Γ+ tiene signatura
(g+k−1;m1,m1, ...,mr,mr,n11, ...,nksk ).
Demostración. Por la proposición anterior, tenemos que los grupos conjugados a cada < xi > en Γ,
tienen dos clases de conjugación en Γ+, de forma que tendremos periodos asociados a estas clases
de conjugación de la forma m1,m1, ...,mr,mr, donde ahora repetimos los periodos simples del
grupo NEC dos veces. Así mismo, las clases de conjugación asociadas a < ci, j−1ci, j > aportarán
un periodo cada una, de forma que los periodos del grupo fuchsiano canónico son
(m1,m1, ...,mr,mr,n11, ...,nksk ).
Para terminar, tenemos que calcular el género de la superficie H/Γ+ que nos permitirá escribir la
signatura del grupo fuchsiano canónico. Como, por el teorema de la fórmula de Riemann-Hurwitz,
la superficie de la región fundamental del grupo fuchsiano canónico µ(F+) es el doble de la del
grupo NEC propio µF , tendremos que:
µ(F+)= 2π(2g′−2+∑r+di=1 (1− 1
l i))= 2µF
=µ(F)= 4π(αg−2+∑pi=1(1− 1
mi)+k+∑k
i=1∑r
j=si
12
(1− 1ni j
),
donde l i es el periodo i-ésimo del grupo fuchsiano canónico y d = s1 + ...+ sk. Simplificando,
2g′−2+∑r+di=1 (1− 1
l i)= 2αg−4+∑p
i=1(1− 1mi
)+2k+∑ki=1
∑rj=si
(1− 1ni j
)
⇒ 2g′−2= 2αg−4+2k ⇒ g′ =αg−2+k.
De aquí deducimos que las signaturas del grupo fuchsiano canónico son
(αg+k−1;m1,m1, ...,mr,mr,n11, ...,nksk )
donde α= 2 si el grupo NEC es orientable y 1 en caso contrario.
Como es bien conocido, un subgrupo de índice dos de un grupo dado es un subgrupo normal,
de forma que el estudio del grupo fuchsiano canónico puede verse como un caso particular del
estudio más general del cálculo de la estructura de los subgrupos normales de un grupo NEC
dado. A este tema dedicamos esta última parte de la sección, en particular, vamos a estudiar
la forma de la signatura de un subgrupo de índice N, primo distinto de dos, de un grupo NEC.
Más detalles sobre los subgrupos normales de los grupos NEC y sus signaturas pueden verse en
[5] y [6]. Antes de presentar los resultados acerca de las signaturas de los subgrupos normales,
introducimos el concepto de sistema elíptico completo:
Definicion 3.37. Sea Γ un grupo NEC y sea {x1, ..., xr} un conjunto de elementos elípticos de Γ,
ninguno de los cuales es el producto de dos reflexiones en Γ. Decimos que este conjunto es un
sistema elíptico completo s.e.c. si se cumple:
(i) Cada elemento elíptico de Γ que no sea producto de dos reflexiones de Γ es conjugado en Γ a
54
3.8. SUBGRUPOS DE GRUPOS NEC
una potencia de xi,1≤ i ≤ r.
(ii) Cada potencia no trivial de xi no es conjugada a ninguna potencia de x j(i 6= j).
Tenemos que los s.e.c. tienen las siguientes propiedades:
Proposicion 3.38 (Propiedades de las s.e.c.). Si Γ es un grupo NEC y A,B son dos s.e.c., entonces
tienen el mismo número de elementos y los mismos periodos. Además, los generadores elípticos de
Γ forman un s.e.c.
Demostración. En primer lugar, sean A = {x1, ..., xr} y B = {y1, ..., ys}, y supongamos que r 6= s,
digamos r < s. Supongamos así mismo que los xi, yj ordenados de tal forma que xi = yl ii . Sea ahora
z un elemento elíptico de Γ, entonces, por definición, tendremos que z = ynzs , además tendremos
z = xmzr = ylr mz
r , luego se verificará ylr mzr = ynz
s , lo cual es absurdo pues hemos supuesto que r 6= s.
En otras palabras, se tiene que verificar que r = s. Por otro lado, como xi, yi son elípticas, tenemos
que existen mi,ni tales que 1 = xmii = yni
i . Supongamos que ni < mi y sean z = xni+1i y xi = yl i ,
entonces, z = xni+1i = yl i ni+l i
i = yl ii = xi, lo cual es absurdo, luego se tiene que verificar que ni = mi.
De esta forma, los periodos de los xi y los yi de los s.e.c. son los mismos.
Por otro lado, si los generadores elípticos de un grupo NEC no fuesen un s.e.c. tendríamos que,
o bien no verifican (i), o bien (ii). Si no se verificase (i), existirían transformaciones elípticas
que no son producto de reflexiones, que no estarían representados por ninguna potencia de los
generadores elípticos, lo cual es absurdo. Si no se verificase (ii), tendríamos que para alguna
transformación elíptica digamos xi, existiría un x j, también elíptica, tal que xi = xmj , lo que
implicaría que podríamos definir una nueva signatura de Γ con un generador elíptico menos
que la inicial, lo que es imposible por que la nueva signatura no sería isomorfa. Por lo tanto, los
generadores elípticos forman un s.e.c.
Por lo tanto, conocidos los órdenes de los elementos de un s.e.c., serán conocidos los periodos
propios de la signatura de Γ.
A continuación, en las tres próximas proposiciones vamos a presentar tres resultados parciales
acerca de la signatura de un subgrupo normal de índice N impar no necesariamete primo de un
grupo NEC Γ, a saber, resultados acerca de los periodos propios, periodos cíclicos y el signo de la
signatura, respectivamente. La sección finaliza con un teorema que nos da la signatura de un
subgrupo normal de índice N primo de un grupo NEC Γ dado, a partir de su signatura.
Proposicion 3.39 (Periodo de subgrupo normal). Sea Γ un grupo NEC de signatura
(g,±, [m1, ...,mr]{(n11, ...,n1s1)...(nk1, ...,nksk )})
y supongamos que Γ0 es un subgrupo normal de Γ tal que [Γ :Γ0]= N, con N impar. Entonces, si
suponemos que pi es el exponente de xi módulo Γ0,1≤ i ≤ r, entonces, los periodos propios de Γ0
son
[(mi
pi)N/pii=1,...,r,pi 6=mi
].
55
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
Demostración. Como Γ0 es un subgrupo normal de Γ de índice impar, si ci j es una reflexión de
Γ, entonces ci j pertenece a Γ0, pues en caso contrario ci jΓ0 sería un elemento de orden 2 en un
subgrupo de orden impar. Dado el conjunto de todos los elementos conjugados de xpii con pi 6= mi,
tenemos que estudiar cuantas clases diferentes de elementos de la forma Sxpii S−1,S ∈Γ no son
conjugados por elementos de Γ0, que serían por tanto un conjunto de elementos que verificarían
las condiciones de la definición 3.37.
Puesto que Γ0 es normal en Γ de orden N, tendremos que el cociente Γ/Γ0 tendrá N elementos
que escribiremos {Γ0R1, ...,Γ0RN }, de forma que habrá un P ∈ Γ0 y un Rk,1 ≤ k ≤ N, tales que
S = PRk. Por lo tanto, Sxpii S−1 = PRkxpi
i R−1k P−1.
Por lo tanto, hemos reducido el problema a estudiar cuantas clases de elementos de la forma
Rkxpii R−1
k no son conjugados por elementos Γ0. Por el enunciado, puesto que xi módulo Γ0 tiene
exponente pi, tenemos que el elemento Γ0xi, que denotamos (Γ0xi), de Γ/Γ0 es un grupo cíclico de
orden pi, de donde tenemos
Γ0Rk =Γ0Si jxqi ,
donde Si jΓ0,1≤ j ≤ N/pi es un conjunto de representantes de las clasesΓ/Γ0
(Γ0xi). Por lo tanto,
Rkxpi R−1
k = γSi jxpii S−1
i j γ−1,γ ∈Γ0,
que nos permite reducir el problema de nuevo a encontrar cuantos elementos de la forma
Si jxpii S−1
i j no son conjugados por elementos de Γ0.
En primer lugar, si dos elementos Si jxpii S−1
i j y Sihxpii S−1
ih son conjugados por un elemento T ∈Γ0,
entonces se verificará
Si jxpii S−1
i j = TSihxpii S−1
ih T−1,
de donde deducimos que
xpii = S−1
i j TSihxpii S−1
ih T−1Si j,
llamando M = S−1i j TSih, vemos que M conmuta con xpi
i , luego demos asegurar que xpii y M fijan
el mismo punto y M es elíptica. De donde deducimos que M tiene que ser una potencia de algún
xi, puesto que en caso contrario dos transformaciones elípticas distintas M = xqj y xi con i 6= j
deberían ser conjugadas, lo cual es imposible por ser los generadores elípticos de Γ un s.e.c. Por lo
tanto, supongamos que M = xqii , entonces M = xqi
i = S−1i j TSih ⇒ Si jx
qii = TSih que se verifica sólo
si Si j = Sih, ya que en caso contrario, los representantes de las clases distintas j y h deΓ/Γ0
(Γ0xi)se
podrían relacionar con una T ∈Γ0, lo que implicaría que pertenecerían a la misma clase.
Además, por las condiciones del enunciado, vemos que el orden de Si jxpii S−1
i j en Γ0 tiene el mismo
orden que xpii , es decir, mi/pi.
Repitiendo la misma discusión para todos los elementos elípticos xi, con pi 6= mi y consideremos
el conjunto E = {Si jxpii S−1
i j : i = 1, ...,τ, pi 6= mi,1≤ j ≤ N/pi}.
Ahora probamos que E es un s.e.c. para Γ0. En efecto, como Γ0 es normal, si u ∈ E tenemos que
u ∈Γ0. Comprobemos que se verifican las dos condiciones de la definición 3.37 :
(i) Si x ∈Γ0 es un elemento elíptico que no es producto de dos reflexiones de Γ0, será también un
elemento elíptico de Γ0 de forma que hay un t ∈Γ y un xi ∈Γ tal que x = txqii t−1, que es conjugado
56
3.8. SUBGRUPOS DE GRUPOS NEC
en Γ0 a un elemento de la familia E. De esta forma, E verifica la primera condición.
(ii) Si tomamos dos elementos de la forma Si jxpii S−1
i j y Skl xpkk S−1
kl , tenemos que si hubiera un
t ∈Γ0 para los cuales
(Si jxpii S−1
i j )q = t(Skl xpkk S−1
kl )p t−1,
tendríamos
(Si jxpi qi S−1
i j )q = t(Skl xpkk S−1
kl )p t−1,
es decir,
xpi qi = S−1
i j tSkl xpk pk S−1
kl t−1Si j,
lo que significaría que xpi qi sería conjugado a una potencia de xk, lo cual es imposible puesto que
los xi son un s.e.c. de Γ.
Además, si los dos elementos Si jxpii S−1
i j y Skl xpkk S−1
kl fuesen conjugados para algún T ∈ Γ0,
tendríamos, como hemos visto arriba, que Si j = Sih. Por lo tanto, el conjunto E tiene que ser un
s.e.c. del grupo Γ0.
Finalmente, puesto que para cada xi con pi 6= mi, tenemos 1≤ j ≤ N/pi elementos en E tales que
el orden de cada uno es mi/pi, los periodos propios de Γ0 serán
[(mi
pi)N/pii=1,...,τ], pi 6= mi.
Proposicion 3.40 (Ciclos de subgrupo normal). Sea Γ un grupo NEC de signatura
(g,±, [m1, ...,mr]{(n11, ...,n1s1)...(nk1, ...,nksk )})
y supongamos que Γ0 es un subgrupo normal de Γ tal que [Γ :Γ0]= N, con N impar. Entonces, si
suponemos que ki es el menor numero natural para el que se verifica ekii ∈Γ0, los ciclos de periodos
de Γ0 son
(ni1...nisi ...︸︷︷︸ki−veces
ni1...nisi )N/ki , i = 1, ...,k.
Demostración. Vamos a obtener los ciclos del subgrupo normal Γ0 a partir de las propiedades
de su región fundamental, región que obtendremos a partir de la región fundamental del grupo
principal Γ.
Sea F la región fundamental de Γ, que para los efectos de esta demostración representaremos
con el símbolo εiγi0...γisiε′i A, donde A denota el resto de caras del polígono F. Además, ci j es el
elemento de Γ que fija el lado γi j, Ni j es el vértice común a los lados γi, j−1,γi j y e i es el elemento
de Γ que transforma ε′i en εi.
Como, por hipótesis, para e i ∈ Γ, ki es el menor número entero tal que ekii ∈ Γ0, entonces el
cociente Γ/Γ0 contendrá N clases, de las cuales las ki primeras pueden ser representadas por las
clases {Γ0, e iΓ0, ..., eki−1i Γ0} y tendremos N/ki elementos de Γ que denotaremos por β2, ...,βN/ki ,
tales que
Γ/Γ0 = {Γ0, e iΓ0, ..., eki−1i Γ0,β2Γ0, ...,β2eki−1
i Γ0, ....,βN/ki eki−1i Γ0}.
A partir de esta representación de las clases del cociente de Γ/Γ0, obtenemos una representación
del polígono fundamental de Γ0 de la forma
F ′ = F ∪ ...∪ eki−1i F ∪β2F ∪ ...∪β2eki−1
i F ∪ ....∪βN/ki eki−1i F. En efecto, sea z ∈H, como F es una
57
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
región fundamental de Γ, existirá un w ∈ F tal que z = T(w),T ∈ Γ. Pero por la descomposición
vista arriba de clases del cociente Γ/Γ0, tendremos alguna clase Tkl =βkepli ,k = 1, ..., N/ki,β1 = 1
con T = γTkl ,γ ∈Γ0. Por lo tanto, z = γTkl(w)= γ(Tkl(w)).
Como Tkl(w) ∈ F ′, z estará en la Γ0-órbita de algún punto de F ′, por lo que la unión de Γ0-
imágenes de F ′ será H. Por otro lado, supongamos que z,S(z) con S ∈Γ0 pertenece al interior de
F ′. Tenemos que demostrar que en ese caso se verifica S = I, de forma que el interior de F ′ con-
tendrá exactamente un único punto de cada Γ0-órbita y, teniendo en cuenta lo anterior, podremos
asegurar que F ′ es una región fundamental de Γ0. Supongamos que ε> 0 es lo suficientemente
pequeño para que Bε(z) está contenido en el interior de F ′. Entonces, Bε(z) tiene intersección no
trivial con k imágenes del interior de F, con 1≤ k ≤ n, imágenes que llamamos Ti j1 (F), ...,Ti jk (F).
Puesto que Bε(S(z)) = S(Bε(z)) y sea Bε(z) con intersección no vacía con Ti j(F),1 ≤ j ≤ n. En-
tonces, Bε(z) tendrá intersección no vacía con S−1Ti j(F), luego S−1Ti j = Ti jl ,1 ≤ l ≤ k. Por lo
tanto,Ti jΓ0 = S−1Ti jΓ0 = Ti l , de forma que T j = Ti l y S = I, como queríamos demostrar.
Recordemos que al estudiar la forma canónica de los símbolos que representan las regiones fun-
damentales F de un grupo NEC dado Γ, que como hemos comentado anteriormente determinan
la estructura topológica del cociente H/Γ, los lados de F de la forma εiγi0...γisiε′i están ligados a
los agujeros de la superficie H/Γ, de forma que cada lado de este tipo se identifica con un agujero
determinado de esa superficie. Además, esto se verificaba tanto para superficies orientables como
no orientables. Vamos a ver a continuación que el equivalente a estos lados en el caso de la región
F ′ asociada el subgrupo normal de índice N, Γ0, serán los lados dados por
β j eki−1i (εi),β j e
ki−1i (γi0), ...,β j e
ki−1i (γisi ),
β j eki−2i (εi), ...,β j e i(γisi ),β j(γi0), ...,β j(γisi ),β j(ε
′i),
con j = 1, ..., N/ki,β1 = 1. Para ello vamos a ver que, en efecto, la familia de lados anterior genera,
para cada j, un agujero en la superficie F ′/Γ0. La demostración se va a realizar para β1, siendo
los restantes casos análogos.
Sea entonces la familia de lados dada por
eki−1i (εi), ...,β j e i(γi0), ..., e i(γisi ),γi0, ...,γisi ,ε
′i,
y vamos a estudiar si se verifican las dos condiciones:
(1) Existe una transformación en Γ0 que envía la cara ε′i a eki−1
i (ε′i), y
(2) No existen transformaciones en Γ0 que envíen puntos de los lados γi0,γi0, ..., eki−1i (γisi ) a otro
punto de F ′.Consideramos que las caras estudiadas se identifican en el cociente F ′/Γ0. Observemos que (1)
se verifica, pues como se tiene que ekii ∈Γ0 y eki
i (ε′i)= eki−1
i e i(ε′i)= eki−1
ki(εi), entonces existe una
transformación en Γ0, ekiki
que envía ε′i a eki−1
i (εi).
Para que se verifique (2), tenemos que demostrar que no hay ninguna transformación que envíe
un punto de los lados dados en si mismo, a otro de esos lados o a otro lado cualquiera de F ′, o a
un punto cualquiera de F ′, es decir, que no se verifica ninguno de los casos:
(2.1) Existe una β ∈ Γ0 que envía un punto p ∈ eri (γi j) a un punto q ∈ er
i (γi j): en este caso,
58
3.8. SUBGRUPOS DE GRUPOS NEC
tendríamos que e−ri (q) = q′ ∈ γi j y e−r
i (p) = p′ ∈ γi j, es decir, e−ri βer
i (p′) = q′, pero no existen
transformaciones de la forma dada en Γ que nos identifiquen dos puntos en un mismo lado γi j.
(2.2) Existe una β ∈ Γ0 que envía un punto p ∈ eri (γi j) a un punto q ∈ es
i(γih): en este caso,
tendríamos que e−si (q) = q′ ∈ γih y e−r
i (p) = p′ ∈ γi j, es decir, e−si βer
i (p′) = q′, pero no existen
transformaciones de Γ que envíe un punto del lado γi j al lado γih.
(2.3) Existe una β ∈Γ0 que envía un punto p ∈ eri (γi j) a un punto q de cualquier otro lado de F ′
que no sea del tipo βhesi(γi j): de nuevo tendríamos que debería existir una transformación en Γ
que identificaría un punto de γi j con otro punto de otro lado diferente de F, lo cual es de nuevo
imposible.
(2.4) Existe una β ∈Γ0 que envía un punto p ∈ eri (γi j) a un punto q de cualquier otro lado del tipo
βhesi(γi j): en este caso, tendríamos que
e−ri (p)= p′ ∈ γi j, e−s
i β−1h (q)= q′ ∈ γi j. Si p′ 6= q′,
tendríamos de nuevo que existiría una transformación de Γ que enviaría un punto del lado γi j a
otro distinto de γi j, que es imposible. Por lo tanto será p′ = q′, es decir
e−si β−1
h βeri (p′)= p′.
Puesto que p′ ∈ γi j es un punto fijo de e−si β−1
h βeri , tendremos que esta transformación será o
bien un producto de ci j−1ci j, un producto de ci j ci j+1 o una del tipo ci j, que son elementos de
Γ0, es decir, e−si β−1
h βeri ∈Γ0, lo que implica que βhes
iΓ0 =βeriΓ0 = er
iΓ0, lo que contradice nuestra
definición de clases del cociente Γ/Γ0.
De esta forma, hemos demostrado que para cada j = 1, ..., N/ki, la familia de lados β j(ε′i), ...,β j e
ki−1i (εi)
es un agujero de la superficie definida por el cociente F ′/Γ0.
Puesto que cada agujero de esta superficie se corresponde con un ciclo de periodos de valores ni j,
asociados a los vértices Ni j, comunes a los lados γi j−1,γi j, y cuyos estabilizadores son el grupo
diedral de orden 2ni j, tendremos que el ciclo de periodos asociado a los lados
eki−1i (εi), ...,β j e i(γi0), ..., e i(γisi),γi0, ...,γisi,ε
′i,
será la mitad del orden de los estabilizadores de los puntos β j ehi (Ni j), j = 1, ..., N/ki, i = 1, ...,k. De
esta forma, obtenemos que los ciclos correspondientes a los lados de arriba serán
{(ni1...nisi ...︸︷︷︸ki−veces
ni1...nisi )N/ki , i = 1, ...,k},
donde el exponente N/ki representa el número de puntos para cada i, que son j puntos, indexados
por j = 1, ..., N/ki.
Proposicion 3.41 (Signo de la signatura de subgrupo normal). Sea Γ un grupo NEC de signatura
(g,±, [m1, ...,mr]{(n11, ...,n1s1)...(nk1, ...,nksk )})
y supongamos que Γ0 es un subgrupo normal de Γ tal que [Γ :Γ0]= N, con N impar. Entonces, las
signaturas de Γ y Γ0 tienen el mismo signo.
Demostración. En primer lugar, tenemos, de forma análoga a la proposición anterior, que el
cociente Γ/Γ0 queda representado por las clases Γ/Γ0 = {g1Γ0, g2Γ0, ..., gNΓ0}.
59
CAPÍTULO 3. GRUPOS NEC CON ESPACIO COCIENTE COMPACTO
Si F es la región fundamental de Γ, F ′ =N⋃
i=1(g iF) será la región fundamental de Γ0. Sean α,β
lados congruentes de F ′ y supongamos que h ∈ Γ0 es la transformación tal que h(α) = β y sean
α ∈ g iF,β ∈ g jF,α= g iα,β= gJβ, con α,β lados de F. Entonces
g−1j hg i :α→β.
Si Γ tiene el espacio cociente orientable, las g i preservarán la orientación y así lo harán las
g−1j hg i y por lo tanto h. De esta forma, Γ0 tendrá también cociente orientable. Si Γ tiene el
espacio cociente no orientable, podemos suponer que h invierte la orientación. Supongamos que
Γ contiene reflexiones, entonces al ser N impar y Γ0 contendrá, como hemos visto antes, esas
reflexiones. Sea c ∈ Γ0 una reflexión y supongamos que g ∈ Γ invierte la operación, entonces
cg conservará la orientación y puesto que gΓ0 = cgΓ0, por lo que podemos asumir que las g i
conservan la orientación. De esta forma, las g−1j hg i invierten la orientación, luego el cociente
H/Γ0 será no orientable. Finalmente, si Γ tiene cociente no orientable, pero no incluye reflexiones,
las transformaciones que invierten la orientación serán anti-traslaciones (glide reflections) y
de nuevo como en el caso anterior podemos suponer que las g i conservan la orientación, y así,
las g−1j hg i invertirán la orientación, de donde finalmente deducimos que el cociente será no
orientable.
Por lo tanto, los signos de los signaturas de Γ y Γ0 serán iguales.
Teorema 3.42 (Signatura de subgrupo normal). Sea Γ un grupo NEC de signatura
(g,+, [m1, ...,mr]{(n11, ...,n1s1)...(nk1, ...,nksk )}),
y sea Γ0 un subgrupo normal de Γ de índice primo p 6= 2. Supongamos que
e1, ..., e t tienen exponentes > 1modΓ0,
x1, ..., xd tienen orden p primo,
xd+1, ..., xα,α≥ d tienen exponentes > 1modΓ0
Entonces, si Γ tiene signatura de signo +, la signatura de Γ0 es
(gp+ (r+ t−2)(p−1)2
;+; [md+1
p, ...,
mα
p, (mα+1)p...(mr)p];
{(ni1...nisi ...︸︷︷︸p−veces
ni1...nisi )i=1,...,t(ni1...nisi )pi=t+1...k})
y si Γ tiene signatura de signo −, la signatura de Γ0 es
(gp+ (r+ t−2)(p−1);−; [md+1
p, ...,
mα
p, (mα+1)p...(mr)p];
{(ni1...nisi ...︸︷︷︸p−veces
ni1...nisi )i=1,...,t(ni1...nisi )pi=t+1...k}).
Demostración. Los valores de los periodos propios, de los periodos de los ciclos y el signo de la
signatura quedan definidos por las proposiciones 3,39,3,40 y 3,41. En particular, los periodos
propios son
[(mi
pi)N/pi ]i=1,...,τ,pi 6=mi
= [md+1
p, ...,
mα
p, (mα+1)p, ..., (mτ)p]
donde para las condiciones del enunciado del teorema tenemos N = p, pi = p = mi, i = 1, ...,d,
60
3.8. SUBGRUPOS DE GRUPOS NEC
1= pi = p 6= mi, i = d+1, ...α y pi = 1 6= p, i =α+1, ...,τ.
Los ciclos quedan
(ni1...nisi ...︸︷︷︸ki−veces
ni1...nisi )N/ki , i = 1, ...,k
= (ni1...nisi ...︸︷︷︸p−veces
ni1...nisi )i=1,...,t(ni1...nisi)pi=t+1,...,k,
donde para las condiciones del enunciado del teorema tenemos ki = p, i = 1, ..., t y ki = 1, i =t+1, ...,k.
Sean µF y µF ′ las áreas de las regiones fundamentales F y F ′ de Γ y Γ0, respectivamente entonces
µF = 2π(2g−2+∑ri=1(1− 1
mi)+k+∑k
i=1∑si
j=112
(1− 1ni j
),
de donde, teniendo en cuenta que [Γ :Γ0]=µ(F ′)/µ(F), podemos escribir
pµF = p2π(2g−2+∑ri=1(1− 1
mi)+k+∑k
i=1∑si
j=112
(1− 1ni j
))=µF ′ .
Por otro lado,
µF ′ = 2π(2g′−2+∑αi=1(1− p
mi)+∑τ
i=α+1(p− pmi
)+∑ti=1
∑sij=1
12
(p− pni j
)+p∑k
i=t+1∑si
j=112
(p− pni j
)+t+ (k− t)p),
igualando el valor de las áreas calculados de las dos formas, obtenemos
2gp−2p+ p∑r
i=1(1− 1mi
)+ pk+ p∑k
i=1∑si
j=112
(1− 1ni j
),
= 2g′−2+∑αi=1(1− p
mi)+∑τ
i=α+1(p− pmi
)+∑ti=1
∑sij=1
12
(p− pni j
)+p∑k
i=t+1∑si
j=112
(p− pni j
)+t+(k−t)p,
es decir,
2gp−2p+kp+ p∑r
i=1(1− 1mi
)= 2g′−2+ t+ (k− t)p+∑αi=1(1− p
mi)+∑τ
i=α+1(p− pmi
),
simplificando
2gp−2p+kp+ pτ= 2g′−2+ t+ (k− t)p+α+ p(τ−α)
finalmente, se tiene
2g′ = 2gp−2p+kp+ pτ+2− t− p(k− t)−α− p(τ−α)
= 2gp−2p+2− t+ pt−α+ pα
= 2gp−2p+2− t+ pt−α+ pα
⇒ g′ = gp+ (p−1)(α+ t−2)2
.
Si el signo de la signatura es −, los coeficientes de g en nuestro cálculo serán 1 en vez de 2, con el
resto del cálculo idéntico, luego
gp−2p+kp+ pτ= g′−2+ t+ (k− t)p+α+ p(τ−α)
gp−2p+kp+ pτ= g′−2+ t+kp− tp+α+ pτ− pα
gp−2p = g′−2+ t− tp+α− pα
⇒ g′ = gp−2p+2− t+ tp−α+ pα= gp+ (p−1)(α+ t−2).
61
CA
PÍ
TU
LO
4GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
E l objetivo de este capítulo es describir las posibles estructuras de los grupos NEC con
espacio cociente no compacto. Para ello, estudiaremos sus regiones fundamentales, cons-
truiremos las regiones de Dirichlet asociadas a estos grupos y estudiaremos sus propieda-
des lo que, finalmente, nos permitirá obtener sus estructuras. La bibliografía básica usada para
este capítulo incluye las referencias Beardon [2], Jones-Singerman [15], Macbeath-Hoare [19] y
Zieschang-Vogt-Coldeway [29].
Este capítulo se divide de la siguiente forma: en la primera sección, estudiamos las peculiaridades
de las regiones fundamentales asociadas a grupos NEC de cociente no compacto, entre otros,
veremos la relación entre presentación de un grupo y las propiedades de la región fundamental
asociada y estudiaremos las propiedades de las regiones de Dirichlet en el caso no compacto. En
la segunda sección, enunciamos un teorema de estructura de los grupos NEC no compactos en
el caso general. Este teorema, enunciado por primera vez por Macbeath y Hoare [19] en 1976,
resuelve desde el punto de vista algebraico la estructura de los grupos NEC no compactos en
forma de producto libre de grupos con presentaciones específicas. Sin embargo, la estructura así
obtenida, si bien de interés desde el punto de vista de la teoría de grupos, dificulta la comprensión
de los aspectos geométricos subyacentes, en particular, la forma de las regiones fundamentales
asociadas a los grupos involucrados o las particularidades del espacio cociente asociado. Por ello,
en la última sección del capítulo estudiamos la estructura de grupos NEC de cociente no compacto
finitamente generados, donde gracias a las propiedades adecuadas que todavía mantiene la región
fundamental en este caso, se puede obtener una presentación canónica del grupo similar a la del
caso compacto, explicitando la vertiente geométrica del problema.
62
4.1. REGIÓN FUNDAMENTAL DE GRUPOS NEC NO COMPACTOS
4.1. Región Fundamental de grupos NEC no compactos
En el segundo capítulo, para el caso de regiones fundamentales de grupos fuchsianos, y
en el tercero, para el caso de grupos NEC de cociente compacto, ya hemos señalado que las
regiones fundamentales en ambos casos pueden tener formas muy complicadas. Por ello, se
buscan construcciones de este tipo de regiones con ciertas características (convexas, localmente
finitas, poligonales, etc.) que nos permitan el estudio de sus propiedades. En particular, hemos
usado de forma sistemática las construcciones basadas en la región de Dirichlet, que resulta
ser un polígono hiperbólico, convexo y localmente finito. Sin embargo, en el caso de cociente no
compacto, se presentan complicaciones adicionales como veremos a continuación. En primer lugar,
el siguiente resultado establece una relación, esencial a la hora de estudiar la estructura de los
grupos NEC de cociente no compacto, entre los generadores de un grupo NEC y la geometría de
su región fundamental:
Corolario 4.1 (Grupos NEC finitamente generados). Si G es un grupo NEC, entonces las siguien-
tes condiciones son equivalentes:
(i) G es finitamente generado.
(ii) G tiene una región fundamental F que tiene un número finito de vecinos.
Esto es un corolario de la proposición 4.11.2 de [29], proposición que es, obviamente, de
mucho mayor alcance. En vez de usar definiciones topológicas basadas en complejos (red plana,
estrella, superficies topológicas, etc.) de la proposición, hemos particularizado el resultado a
nuestro problema concreto: el semiplano superior y sus grupos de automorfismos (grupos NEC).
Este resultado, nos va a permitir distinguir entre dos clases diferentes de grupos NEC: grupos
de presentación finita, que estudiaremos en la sección 3 y el caso general, que se estudia en
la próxima sección. Como ya vimos en el capítulo 3, una construcción particularmente útil de
regiones fundamentales es la de la región de Dirichlet. Recordemos que se denomina región de
Dirichlet Dz0(Γ) de un grupo NEC Γ al conjunto
Dz0(Γ)= {z ∈H | ρ(z, z0)≤ ρ(z,T(z0)),∀T ∈Γ}.
La siguiente proposición nos resume porque la construcción de regiones de Dirichlet es de gran
utilidad:
Proposicion 4.2 (Propiedades de la región de Dirichlet). La región de Dirichlet de un grupo
NEC Dz0(Γ) es cerrada, convexa, localmente finita y verifica que⋃γ∈Γ
γ(Dz0) = H, propiedad que
denominamos Γ−recubrimiento. Además, Dz0(Γ) es compacta si y sólo si H/Γ es compacto.
Demostración. La demostración de las propiedades de ser cerrada, convexa, localmente finita
y de ser un Γ−recubrimiento son idénticas a las dadas en el capítulo 3, en el teorema 3.6 y la
proposición 3.8, por lo que no las repetiremos aquí.
Supongamos que H/Γ es compacto y sea p : H−→H/Γ la aplicación cociente. La familia de abiertos
{p(W) : H⊃W}, con W compacto recubre H/Γ. Como H/Γ es compacto, tendremos alguna familia
63
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
finita de conjuntos W1,W2, ...,Wn tales que el conjunto compacto K =W1 ∪W2 ∪ ...∪Wn verificará
p(K)=H/Γ. En otras palabras, ΓK =H.
Sea ahora M = max{ρ(z0,w) : w ∈ K}, entonces habrá algún punto de cada Γ-órbita en el disco
hiperbólico de centro z0 y radio M. Por lo tanto, la región de Dirichlet Dz0(Γ) es un subconjunto
cerrado de un disco por lo que será compacto.
Finalmente, si Dz0(Γ) es compacto, su imagen mediante la aplicación cociente p, que es continua,
será también compacta.
Llamamos teselación de Dirichlet a la clase de todos las intersecciones finitas de conjuntos de
la forma γDz0(Γ),γ ∈Γ. Llamamos vértices de la teselación a los elementos 0-dimensionales de
la misma. Análogamente, los lados de la teselación serán sus elementos 1-dimensionales y sus
caras sus elementos 2-dimensionales.
La primera cuestión que nos planteamos es bajo que condiciones una región de Dirichlet es no
compacta. Ya hemos visto que un grupo fuchsiano es un caso particular de grupo NEC, de forma
que los resultados relativos a cocientes no compactos válidos para ellos, también se verificarán
ahora como casos particulares. Para el caso fuchsiano tenemos por el teorema 2.20 que si el
cociente es compacto, entonces no contiene elementos parabólicos. Esto nos permite hacernos una
primera idea de que podemos esperar en el caso no compacto:
1. Ejemplo 1: Región de Dirichlet con infinitos lados. En la proposición 3.10 enunciamos
que si un grupo NEC tiene cociente compacto, entonces el número de vértices de su región
de Dirichlet es finito. De esta forma, un primer ejemplo de región fundamental no compacta
viene dado por una región de Dirichlet con infinitos lados.
2. Ejemplo 2: Vértices en R∪ {∞}. En este caso, tenemos una región de Dirichlet con un
número finito de lados, pero al menos uno de los vértices está, o bien en el eje real, o bien
en {∞}. Por ejemplo, ya vimos en el teorema 2.20 que si un grupo fuchsiano tiene elementos
parabólicos, su región fundamental es no compacta. Además, también vimos en el teorema
2.21 que los puntos en el eje real sólo puede ser fijados por transformaciones parabólicas y
que si un vértice v del eje real queda fijado por una transformación parabólica T, los dos
lados de la región de Dirichlet que se encuentran en v están emparejados por T. A este
vértice le llamamos vértice parabólico. Esta situación queda representada en la figura 4.1,
donde hemos representado el vértice parabólico v, los dos lados l, l′de la región de Dirichlet
que intersectan en él y la transformación parabólica T que empareja los lados anteriores.
Otro caso similar lo tenemos para el grupo modular: en este caso, los lados ’coincidentes’ en
∞ se corresponden a los z tales que {|z| ≥ 1y|Re(z)| = 1/2}, estos lados quedan emparejados
por la transformación parabólica T(z) = z+1, que fija ∞, como se puede ver en la figura
4.2. En estos casos, por cada vértice parabólico al espacio cociente le faltará un punto, por
ejemplo, en el caso anterior del grupo modular, tendremos que el espacio cociente será
64
4.1. REGIÓN FUNDAMENTAL DE GRUPOS NEC NO COMPACTOS
FIGURA 4.1. Vértice parabólico en una región de Dirichlet no compacta
FIGURA 4.2. Región de Dirichlet del grupo modular
una esfera menos un punto correspondiente al vértice parabólico en ∞, por lo que será
homeomorfo al plano.
3. Ejemplo 3: Lados en el eje R Por último, podemos tener lados de la región de Dirichlet en
el eje real. Por ejemplo, la región de Dirichlet del grupo generado por z 7→ z+1 centrada en
p = 1/2+ i, sería la región {z ∈H : 0≤ Re(z)≤ 1}, como hemos dibujado en la figura 4.3. Como
podemos observar, esta región fundamental tiene un lado en el eje real {x ∈R :−1/2≤ x ≤ 1/2}
y, adicionalmente, un vértice en ∞. El espacio cociente será ahora una esfera menos un disco
(por el lado en R) y menos un punto (por el vértice en ∞), de forma que será homeomorfo a
un cilindro, donde homeomorfismo significa ahora homeomorfismo conforme.
65
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
FIGURA 4.3. Región de Dirichlet del ⟨z 7→ z+1⟩
Al estudiar los grupos NEC de cociente compacto, hemos visto que la región de Dirichlet asociada
era una región compacta poligonal con un número finito de lados. Además, la idea básica en
la que nos basábamos para efectuar el estudio de su clasificación y estructura residía en que
podíamos describir esta región etiquetando su contorno como una única sucesión finita de lados y
vértices, que denominamos ciclos y que esos lados tenían una longitud finita. Es decir, un ciclo es
una sucesión de vértices vi y lados e i escrita de la forma v0, e1,v1, e2, ..., en,vn = v0 donde el lado
e i está situado en la sucesión entre los vértices que lo limitan vi−1 y vi y tiene una longitud finita.
En la figura 4.4 podemos ver un ciclo, los vértices y lados de la región F1, y dos secuencias finitas
de vértices y lados que no lo son, la frontera de la región F2, pues tiene un vértice en R y por lo
tanto los lados coincidentes en el vértice del eje real no tienen longitud finita, y F3 con un vértice
en {∞}. Sin embargo, la próxima proposición nos confirma que la estrategia seguida en el caso de
FIGURA 4.4. F1 tiene contorno cíclico. F2,F3 no tienen contorno cíclico
grupos compactos no va a ser posible aplicarla en el caso actual de grupos NEC no compactos:
66
4.1. REGIÓN FUNDAMENTAL DE GRUPOS NEC NO COMPACTOS
Proposicion 4.3 (Grupos NEC no compactos no tiene ciclos). Si H/Γ es no compacto, entonces la
región de Dirichlet asociada a Γ no contiene ciclos.
Demostración. Consideremos H como un subconjunto de la esfera de Riemann C∪ {∞} y sean
F y F la región de Dirichlet Γ y su cerradura, respectivamente. Por la proposición 4.2, F no es
compacto, luego no puede ser un subconjunto cerrado en la esfera de Riemann, de forma que su
cerradura debe incluir algún punto que no esté en F. Sin embargo, F es relativamente cerrado en
H por definición, por lo que los puntos de F−F deben de pertenecer a H−H, es decir, pertenecerán
a R∪ {∞}. Sabemos de los preliminares que el grupo de isometrías del plano hiperbólico actúa
transitivamente en R∪ {∞}, por lo tanto, podemos asumir que el punto en el infinito pertenece a
F −F.
La intersección de una línea hiperbólica x = x0 con F será o vacía, o una semilínea que incluirá
a la semilínea y ≥ y0, o bien la línea completa. Además, si v es un vértice, cualquier línea
hiperbólica que pase por v tendrá una intersección con F de forma que el vértice será su punto
final. Adicionalmente, se verifica que:
(4.1) Si x0 + i y0 ∈ F ⇒ x0 + i y ∈ F∀y> y0,
puesto que en caso contrario, existiría un y1 > y0 de forma que x0 + i y1 no estaría en F. En este
caso, tendríamos que existiría una línea hiperbólica (semicírculo ortogonal a R) que separaría
x0+i y1 de F, de forma que el interior incluiría F y cuyo exterior definiría un entorno de ∞ disjunto
de F, lo que contradice nuestra suposición ∞∈ F, ver figura 4.5. De esta forma, deducimos que
FIGURA 4.5. Gráfico para demostración de 4.1
cada línea hiperbólica de la forma x = x0 contiene a lo sumo un sólo vértice v de F y, si ese vértice
67
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
existe, tendremos que será v = x0 + i y0 con y0 = min{y : x0 + i y ∈ F}.
Al definir un ciclo, hemos visto que cada lado es un intervalo finito de línea con dos vértices. Sean
v = x0+ i y0 y v′ = x1+ i y1, dos de esos vértices. Por la ecuación 4.1, no podrá ser x0 = x1 y llamamos
vértice izquierdo de un lado al vértice cuya parte real es menor, es decir, si x0 < x1, entonces v es
el vértice izquierdo del lado de puntos finales v y v′. Si e i, e j son dos lados distintos y v fuese un
vértice izquierdo de ambos, entonces podríamos escoger un ε suficientemente pequeño de forma
que la línea x = x0 +ε cortaría a las líneas e i y e j en dos puntos distintos x0 +ε+ i y2 y x0 +ε+ i y3
con, digamos, y2 < y3. En ese caso, de nuevo por 4.1, el punto x0 +ε+ i y3 pertenecería al interior
de F, lo que es una contradicción ya que hemos supuesto que pertenecía a un lado.
Finalmente, supongamos que tenemos un conjunto finito de vértices v0,v1, ...,vn, numerados de
tal forma que v0 es el de menor parte real. Como acabamos de ver, v0 sólo puede ser unido por
un lado con a los sumo uno sólo de los otros vértices, por lo que no podemos llegar a formar un
ciclo.
Para terminar la discusión acerca de los ciclos, un breve comentario relativo a los vértices
parabólicos y a la relación entre la proposición 4.3 y el teorema 2.20. Aunque no se haya usado
explícitamente en la demostración de 4.3, el punto en el infinito que nos permite demostrar la
ecuación 4.1 y, a partir de ésta la proposición, es un vértice parabólico, de forma que, intuitiva-
mente, podemos ver que ambos resultados son equivalentes. Sin embargo, la proposición 4.3 en
términos de ciclos es más conveniente para el resto del capítulo.
El próximo paso consiste en definir el conjunto de distancia mínima de un punto z0 ∈H, lo que
nos va a permitir estudiar las propiedades de las regiones de Dirichlet en el caso no compacto.
Definicion 4.4 (Conjunto de distancia mínima). Sea z0 ∈ H no fijo por ninguna γ ∈ Γ y sea
m(z)= min{ρ(z,γz0) : γ ∈ Γ}. Puesto que sólo hay un número finito de puntos en la órbita Γz0 a
una distancia (hiperbólica) menor o igual a R de un punto z, alguna(s) γ ∈ Γ verificará(n) esa
distancia mínima. Definimos entonces el conjunto de distancia mínima como
K(z)= {γ ∈Γ : ρ(z,γz0)= m(z)}.
El conjunto K(z) nos da un criterio para saber si z es un punto interior a una cara, de un lado
o un vértice. Antes necesitamos el siguiente resultado:
Proposicion 4.5 (Conjuntos interiores de distancia mínima). Para cada z ∈H existe un ε> 0 tal
que si ρ(z,w)< ε, entonces K(w)⊂ K(z). Adicionalmente, si γ ∈Γ se verifica:
(i) m(γz)= m(z),
(ii) K(γz)= γK(z).
Demostración. Análogamente a la definición de distancia mínima m(z), podemos definir la segun-
da distancia mínima como m1(z)= {ρ(z,γz0) : γ ∈Γ−K(z)}, que de nuevo por el mismo argumento
que en el caso de m(z) está bien definida. De esta forma, se tiene que m1(z) > m(z), digamos
m1(z)= m+2ε,> 0.
68
4.1. REGIÓN FUNDAMENTAL DE GRUPOS NEC NO COMPACTOS
Supongamos ahora que ρ(z,w)< ε,γ ∈ K(z),δ ∈Γ−K(z), entonces
ρ(w,γz0)≤ ρ(w, z)+ρ(z,γz0)< m(z)+ε,ρ(w,δz0)≥ ρ(z,δz0)−ρ(z,w)> m1(z)−ε= m(z)+ε,por lo tanto, ρ(w,γz0)ε≤ ρ(w,δz0) y el mínimo m(w) sólo puede ocurrir para γ ∈ K(z).
Por otro lado, cómo la métrica hiperbólica es invariante por transformaciones de Γ, tenemos que
m(γz)= min{ρ(γz,δz0) : δ ∈Γ}= min{ρ(z,γ−1δz0) : δ ∈Γ}= min{ρ(z,δ′z0) : δ
′ ∈Γ}= m(z).
Por último, si θ ∈ K(γz),γ ∈ Γ, entonces m(γz) = ρ(γz,θz0) = ρ(z,γ−1θz0) = m(z), es decir, γ−1θ ∈K(z), de forma que θ ∈ γK(z). Análogamente, si θ ∈ γK(z),γ ∈ Γ, se tiene que γ−1θ ∈ K(z), luego
m(z) = ρ(z,γ−1θz0) = ρ(γz,θz0) = m(γz), lo que implica que θ ∈ K(γz), como queríamos demos-
trar.
Pasamos a clasificar los puntos de las caras de una teselación usando los conjuntos K(z):
Proposicion 4.6 (Clasificación de los puntos de una cara). Un punto z es interior a una región
de Dirichlet si y sólo si el número de elementos de K(z) es 1. Un punto z es un punto interior de un
lado de la región de Dirichlet si y sólo si el número de elementos de K(z) es 2. Un punto z es un
vértice de la región de Dirichlet si y sólo si el número de elementos de K(z) es 3 o más.
Demostración. Supongamos en primer lugar que K(z) = {γ}. Por la proposición 4.5 habrá un
entorno V de z tal que si w ∈ V entonces K(w) ⊂ K(z) = {γ}, ya que si se tuviese K(w) =∅ se
tendría que 0= m(w)< m(z), lo cual es imposible por ser m(z) la distancia mínima.
Por otro lado, si D(Γ, z0) es la región de Dirichlet de Γ centrada en z0, tenemos que si z ∈ D(Γ, z0)
entonces ρ(z, z0)≤ ρ(z,γz0),γ 6= 1,γ ∈Γ, por la definición de región de Dirichlet, es decir, 1 ∈ K(z).
Además, si 1 ∈ K(z), tenemos que ρ(z, z0) = m(z), en otras palabras, z ∈ D(Γ, z0) ⇔ 1 ∈ K(z). De
esta forma, si γ−1z ∈ D(Γ, z0), entonces 1 ∈ K(γ−1z) = γ−1K(z), es decir, z ∈ γD(Γ, z0) ⇔ γ ∈ K(z).
Finalmente, esto significa que para todo w ∈U se verifica γ ∈ K(w), luego w ∈ γD(Γ, z0), es decir, z
tiene un entorno U ⊂ γD(Γ, z0) luego es un punto interior a la cara γD(Γ, z0) de la teselación.
Supongamos ahora que K(z)= {γ,δ}, entonces m(z)= ρ(z,γz0)= ρ(z,δz0). Por lo anterior,
γ ∈ K(z) ⇔ z ∈ γD(Γ, z0) y δ ∈ K(z) ⇔ z ∈ δD(Γ, z0), por lo tanto, z ∈ γD(Γ, z0)∩ δD(Γ, z0). Si
llamamos Lγδ a la línea hiperbólica equidistante entre γz0 y δz0, se tiene z ∈ γD(Γ, z0)∩δD(Γ, z0)⊂Lγδ. Por la proposición 4.5, habrá un entorno V de z tal que si w ∈V , entonces K(w) será alguno
de {γ}, {δ}, {γ,δ}. K(w) = {γ} se verifica si y sólo si ρ(w,γz0) < ρ(w,δz0), K(w) = {δ}, si y sólo si
ρ(w,γz0) > ρ(w,δz0) y K(w) = {γ,δ} si y sólo si ρ(w,γz0) = ρ(w,δz0), es decir, si y sólo si w ∈ Lγδ.
De esta forma, tendremos puntos w de V interiores a γD(Γ, z0), interiores a δD(Γ, z0) e interiores
(relativos) a la arista γD(Γ, z0)∩δD(Γ, z0), de donde deducimos que z es interior (relativo) a la
arista y no pertenece al interior de ninguna de las caras γD(Γ, z0),δD(Γ, z0) a las que pertenece.
Finalmente, supongamos que K(z)⊂ {γ1,γ2,γ3}, con γ1,γ2,γ3 distintas. Tenemos que
m(z) = ρ(z,γ1z0) = ρ(z,γ2z0) = ρ(z,γ3z0), y podemos identificar z con el centro del único círculo
hiperbólico que pasa por los puntos γ1z0,γ2z0,γ3z0. Por lo tanto, z es el único elemento de
γ1D(Γ, z0)∩γ2D(Γ, z0)∩γ3D(Γ, z0), con lo que z debe de ser un vértice.
69
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
Queda claro además que cualquier entorno de z va a tener puntos no pertenecientes a la cara
γ1D(Γ, z0) de la teselación, e igualmente pasa con las caras γ2D(Γ, z0), γ3D(Γ, z0) y cualquier otra
cara γ3D(Γ, z0), de donde deducimos que z no es interior a ninguna cara.
En la proposición a continuación, demostramos que tampoco pertenece al interior (relativo) de un
lado, con lo que la demostración queda terminada.
Proposicion 4.7 (Caras adyacentes a vértices). Si z es un vértice de una teselación con la tesela
F la región de Dirichlet de un grupo Γ y V es un disco de centro z y radio ε definido como en la
proposición 4.5, entonces los elementos γ1,γ2, ...,γk de K(z) se pueden ordenar de forma que
γ1F ∩V ,γ2F ∩V , ...,γkF ∩V
son sectores adyacentes de V escritos en orden inverso a las agujas del reloj. Además, γiF ∩γ jF es
una arista si i = j±1 y es sólo el vértice z si i 6= j, j±1, donde los índices se toman módulo k.
Demostración. Usando el modelo del disco de Poincaré donde las h-líneas son, o bien arcos de
circunferencias perpendiculares al círculo |z = 1|, o bien segmentos de diámetros, como vimos en
el capítulo de preliminares. Además, puesto que el grupo de isometrías del plano hiperbólico es
transitivo en H, podemos asumir que z = 0. De esta forma, los puntos de la forma γνz0,γν ∈ K(z)
que son equidistantes a z = 0 estarán en un círculo euclidiano de centro O y radio r. Así mismo,
asumimos los puntos γνz0 = reiθν ordenados de forma que 0 ≤ θ1 < ... < θk ≤ 2π. Por lo tanto, el
conjunto de puntos |z| ≤ r más cercano a uno de los γνz0 es un sector del disco que llamaremos Sν.
En la figura 4.6 se ha representado la situación de la demostración del teorema, en particular el
sector S2 correspondiente a los puntos más cercanos al punto γ2z0, limitado por la circunferencia
y los radios L12,L23.
FIGURA 4.6. Ejemplo de sector para la demostración de la proposición 4.7
Sea w ∈ V , entonces tenemos por la proposición 4.5 que K(w) ⊂ K(z) y de esta forma, el punto
70
4.2. ESTRUCTURA ALGEBRAICA DE GRUPOS NEC NO COMPACTOS
más cercano a w en la órbita de Γz0 será uno de los puntos γ1z0, ...,γkz0. Es decir, los puntos de
V cuya distancia es minimal al punto γνz0 verificarán que γνF∩V = Sν∩V . Hemos ordenado los
sectores Sν de forma contraria a las agujas del reloj, de forma que Si ∩S j será bidimensional,
unidimensional o cero-dimensional, dependiendo de que i = j, i = j±1, i 6= j, j±1, respectivamente.
Puesto que Si,S j y V son conjuntos conjuntos convexos, sus interiores (relativos) serán densos y
lo mismo será entonces para los conjuntos Si ∩S j ∩V = γiF ∩γ jF ∩V , por lo que γiF ∩γ jF para
i = j±1 será unidimensional con interior relativo denso, es decir, será un lado de la tesela.
Del enunciado de la proposición, deducimos que los únicos lados de la teselación a los que
pertenece z son de la forma γνF ∩γν+1F y z es un punto extremo de estos lados, de forma que z
no pertenece al interior relativo de los lados, lo que completa la demostración de la proposición
anterior, 4.6.
4.2. Estructura algebraica de grupos NEC no compactos
La estructura algebraica de los grupos NEC de cociente no compacto queda resuelta en el
teorema que presentamos a continuación. Como ya hemos comentado, su enunciado y demostra-
ción usan esencialmente un enfoque topológico combinatorio dando lugar a una presentación del
grupo NEC en forma de producto libre, finito o infinito, de grupos cíclicos y grupos de tres tipos
distintos con presentaciones predefinidas.
Junto con el enunciado del teorema, indicamos los conceptos fundamentales usados para su
demostración, pero sin entrar en su detalle ya que, por su naturaleza, se puede considerar más
un problema de teoría de grupos con enfoque y método que se apartan de los objetivos de esta
memoria.
Teorema 4.8 (Teorema de estructura de grupos NEC no compactos). Un grupo NEC con cociente
no compacto es el producto libre de grupos cíclicos por grupos de la forma
(4.2) ⟨x0, x1, ...; x20, x2
1, ...(x1x0)n0 , (x2x1)n1 , ...⟩,
donde ni > 1 y el número de generadores y relaciones es finito o infinito, y por grupos de la forma
(4.3) ⟨..., x−1, x0, x1, ...; ..., x2−1, x2
0, x21, ..., (x−1x0)n−1 , (x0x1)n0 , ...⟩,
y
(4.4) ⟨x1, ...xr, e; x21, ..., x2
r , (x1x2)n1 , ...(xr−1xr)nr−1 , xr ex1e−1⟩,
donde r ≥ 1 y ni > 1.
Demostración. En [19] se pueden encontrar todos los detalles de la demostración. Como ya hemos
comentado, para el propósito de la memoria vamos a conformarnos con esbozar los conceptos
fundamentales usados y la dinámica de la demostración, pero no el detalle.
71
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
El punto de partida es la presentación genérica de un grupo NEC dada por la siguiente proposi-
ción:
Proposicion 4.9 (Presentación de un grupo NEC). Sea H el semiplano superior, Γ un grupo
NEC y F una región de Dirichlet de Γ. Sea E = {γ : F ∩γF 6=∅} y sea R el conjunto de E-relaciones
R = {(γ.δ,γδ) : γ,δ ∈Γ,F ∩γF ∩γδF 6=∅}. Entonces, (E,R) es una presentación de Γ.
De la teoría de grupos sabemos que dada una presentación (S,R) de un grupo dado G, si existe
una partición de los generadores S = S1∪S2 y de las relaciones R = R1∪R2, con Ri ⊂ F(Si), i = 1,2
con F(Si) el grupo libre definido por el conjunto de generadores Si, entonces el grupo G se puede
descomponer en el producto libre de los grupos G i = (Si,Ri).
De esta forma, la demostración del teorema consiste esencialmente en, partiendo de la presenta-
ción de la forma de la proposición 4.9, descomponer y simplificar los generadores E y relaciones
R hasta obtener una presentación reducida del grupo en forma de factores de un producto libre.
Para ellos se siguen dos estrategias básicas:
(i) Simplificamos las presentaciones aplicando transformaciones de Tietze que nos permiten
eliminar de la presentación subconjuntos disjuntos de los generedores y relaciones bajo ciertas
condiciones.
(ii) Descomponemos los conjuntos de generadores y relaciones en subconjuntos disjuntos aten-
diendo a la dimensión de los elementos de las teselaciones de la siguiente forma
E = E0 ∪E1 ∪E2,R = R0 ∪R1 ∪R2,
donde E j es el conjunto de elemento de Γ para los cuales F∩γF tiene dimensión j y R j el conjunto
de E-relaciones de Γ para los cuales F ∩γF ∩γδF tiene dimensión j.
A partir de este planteamiento, se puede observar como, análogamente al caso compacto, las
relaciones de vértices y la estructura o diagrama en estrella de un vértice dado adquieren gran re-
levancia para el proceso de descomposición y simplificación. Sin embargo, en el caso no compacto,
las transformaciones que componen los generadores de la presetación reducida y sus relaciones
se obtienen al considerar simultáneamente no sólo los diagramas de estrella, pero los diagramas
de estrella de todos los vértices pertenecientes a una misma órbita, lo que nos lleva al concepto de
tabla de vértices. A continuación, introducimos las definiciones formales de diagrama en estrella
de un vértice y de tabla de vértices:
Definicion 4.10 (Diagrama en estrella de un vértice). Sea v un vértice de una región de Dirichlet
F de un grupo NEC Γ. Denominamos diagrama de estrella de v = v1 a la sucesión ordenada en el
sentido de las agujas del reloj de caras de la teselación de R que comparten v como vértice, que
escribiremos de la forma
γ11F,γ12F, ...,γ1nF con γ11 = 1.
De esta forma, γ1iF ∩γ1 jF es un lado si y sólo si i = j±1 y en caso i 6= j la intersección será v. En
la figura 4.7 vemos el diagrama de estrellas del vértice v.
72
4.2. ESTRUCTURA ALGEBRAICA DE GRUPOS NEC NO COMPACTOS
FIGURA 4.7. Estrella del vértice v
Ahora, dado un vértice v de F queremos obtener todos los vértices de F que están en la órbita
de v:
Proposicion 4.11 (Vértices en la órbita de v). Sea v un vértice de F y γ11F,γ12F, ...,γ1nF su
diagrama de estrella. Entonces, los vértices de F en la órbita de v = v1 serán
v2 = γ−112 v,v3 = γ−1
13 v, ...,vn = γ−11n v,
y para el vértice vi su diagrama en estrella será
γi1F,γi2F, ...,γinF, donde γi j = γ−11i γ1 j.
En el cuadro 4,1 podemos observar el esquema de vértices de F en la órbita del vértice v.
De esta forma, los conjuntos de generadores y relaciones de las presentaciones sucesivamente
v1 = γ−111 v = v v2 = γ−1
21 v ... vi = γ−1i1 v ... vn = γ−1
n1vγ11v1 = v γ21v2 ... γi1vn ... vn = γ−1
1n vγ12v1 γ22v2 = v ... γi2vn ... vn = γ−1
1n v...
... ...... ...
γ1 jv1 γ2 jv2 ... γi jvn ... vn = γ−11n v
...... ...
... ...γ1nv1 γ2nv2 ... γinvn ... vn = γ−1
nnv
Cuadro 4.1: Tabla de vértices de v
simplificadas se toman de ciertos subconjuntos de las trasformaciones de la tabla de vértices
dando finalmente lugar al producto libre del enunciado.
73
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
4.3. Estructura de grupos NEC no compactos y finitamentegenerados
En el corolario 4.1 hemos visto que si la región fundamental asociada a un grupo G de auto-
morfismos de H tiene un número finito de vecinos, entonces el grupo G es finitamente generado.
Los resultados discutidos en esta sección son, por lo tanto, una caso particular del resultado prin-
cipal de la sección anterior que nos describía la forma general de un grupo NEC no compacto. En
lo que sigue vamos a presentar los resultados básicos para este caso basándonos en la referencia
de Zieschang [29], donde se pueden encontrar más detalles y referencias complementarias con
indicaciones para las demostraciones de los resultados que vamos a presentar en esta sección.
En primer lugar, sea Γ un grupo NEC de cociente H/Γ no compacto y tal que su región funda-
mental F tiene un número finito de vecinos. Entonces, existen en H/Γ n curvas cerradas γ1, ...,γn
que descomponen la superficie cociente H/Γ en n+1 superficies conexas S0,S1, ...,Sn donde cada
Si,1≤ i ≤ n es un cilindro con uno de sus finales la curva cerrada y S0 es compacto. Además,
Si ∩S j ={
∅ si 1≤ i < j ≤ n
γ j si i = 0,1≤ j ≤ n.Hay que tener en cuenta que para obtener un región fundamental no compacta es necesario
que, o bien tenga infinitos lados, o bien tenga vértices parabólicos, o bien tenga lados en el eje
real. En el primer caso, la existencia de infinitos lados va a implicar la existencia de infinitos
generadores, luego no entra en el presente apartado. La existencia de vértices parabólicos, por
oto lado, implica que al menos una de las superficies componente contendrá la imagen del (de los)
vértice(s) parabólico(s), de forma que las superficies Si que los contienen se pueden representar
geométricamente como un cono con el vértice en el infinito. Por último, la existencia de lados en el
eje real, implica que a las correspondientes superficies componentes les faltarán discos cerrados.
El teorema a continuación es el equivalente para el caso no compacto pero de presentación finita
a los teoremas 3.22 y 3.23 del capítulo 3:
Teorema 4.12 (Teorema de estructura de grupos NEC de cociente no compacto y representación
finita). Un grupo NEC, Γ, de presentación finita, cociente no compacto y orientable tiene como
generadores:
(a) xi, i = 1,2, ..., p, transformaciones elípticas,
(b+) a j,b j, j = 1,2, ..., q, transformaciones hiperbólicas,
(c) ek,k = 1,2, ..., r y r1 ≥ 1, transformaciones hiperbólicas (k = r1+1, ..., r1+ r2+ r3, ..., r), parabóli-
cas (k = 1, ..., r1)
(d) ck,k = r1 +1, ..., r1 + r2 y 1≤ r1, reflexiones componente compacta
(e) ck,l ,k = r1 + r2 +1, ..., r1 + r2 + r3 y l = 1,2, ..., tl +1, reflexiones componente compacta
(f) ck,l,m,k = r1 + r2 + r3 +1, ..., r, l = 1,2, ...,uk +1, m = 1, ...,uk,l , reflexiones componente no com-
pacta
y relaciones:
74
4.3. ESTRUCTURA DE GRUPOS NEC NO COMPACTOS Y FINITAMENTE GENERADOS
(a) xhii = 1, i = 1,2, ..., p, hi ≥ 2,
(b) c2k = 1,k = r1 +1, ..., r1 + r2,
(c) c2k,l = 1,k = r1 + r2 +1, ..., r1 + r2 + r3 y l = 1,2, ..., tl +1,
(d) c2k,l,m = 1,k = r1 + r2 + r3 +1, ..., r, l = 1,2, ...,uk, m = 1, ...,uk,l ,
(e) (ck,l ck,l+1)hk,l = 1, k = r1 + r2 +1, ..., r1 + r2 + r3, l = 1,2, ..., tl , hk,l ≥ 2, tl ≥ 1,
(f) (ck,l,mck,l,m+1)hk,l,m = 1,k = r1 + r2 + r3 +1, ..., r, l = 1,2, ...,uk, m = 1, ...,uk,l −1, hk,l ≥ 1, tl ≥ 1,
(g) ckekcke−1k = 1, k = r1 +1, ..., r1 + r2,
(h) ck,1ekck,tl+1e−1k = 1, k = r1 + r2 +1, ..., r1 + r2 + r3,
(i)∏p
i=1 xi∏r
k=1 ek∏q
j=1(a jb ja−1j b−1
j )= 1.
Para el caso de cociente no compacto, no orientable y finitamente generado se intercambian los
generadores de (b) y la relación (i) por las (b’) e (i’), respectivamente:
Generador: (b’) v j, j = 1,2, ..., q, reflexiones con deslizamiento,
Relación: (i’)∏p
i=1 xi∏r
k=1 ek∏q
j=1 v2j = 1.
Respecto a los generadores y relaciones presentados es conveniente realizar las siguientes
aclaraciones:
(i) Los generadores-relaciones (d)-(b,g), las reflexiones con un sólo índice, son completamente
análogas a los (e)-(c,h), las reflexiones representadas con dos índices de la forma habitual. Su
introducción es motivada por consistencia en la notación ya que en éstas últimas se exige tl > 0
y los (d)-(b,g) es el caso tl = 0. De esta forma, los generadores y relaciones (d,e)-(b,c,g,h) se co-
rresponden simplemente a las componentes frontera de S0, es decir, los correspondientes a los
agujeros de la componente compacta.
(ii) Los generadores-relaciones (f)-(f), reflexiones con tres índices, se corresponden a los generado-
res y relaciones de los agujeros de las componentes no compactas.
(iii) Los generadores ek se corresponden a generadores parabólicos para k = 1, ..., r1, agujeros de
la componente compacta para k = r1 +1, ..., r1 + r2, ..., r1 + r2 + r3 y los generadores libres de las
componentes no compactas correspondientes a las curvas γk, para k = r1+ r2+ r3+1 que separan
las componentes no compactas Sk,k > 0 de la componente compacta S0.
Demostración. A continuación, se propone el esbozo de una demostración del teorema. Cabe
destacar que, análogamente al caso general descrito en la sección anterior, la demostración de
este resultado no se encuentra explícita en la bibliografía usada en esta memoria y se basa, en
cualquier caso, en el enfoque algebraico de las referencias de Macbeath y Hoare [19], o en el
enfoque topológico combiatorio de Zieschang [29]. En primer lugar, de la discusión que precede al
enunciado del teorema sabemos que la superficie cociente se divide en dos tipos de componentes,
la componente S0, compacta y las componentes Si, i > 0 no compactas. De esta forma, de los
teoremas 3.22 y 3.23, sabemos que la componente compacta va a tener asociados, en el caso
orientable, los generadores:
(a) xi, i = 1,2, ..., p, transformaciones elípticas,
(b) a j,b j, j = 1,2, ..., q, transformaciones hiperbólicas,
75
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
(c) ek, k = r1 +1, ..., r1 + r2 + r3, ..., r, transformaciones hiperbólicas
(d) ck,k = r1 +1, ..., r1 + r2 y 1≤ r1, reflexiones (c.c.)
(e) ck,l ,k = r1 + r2 +1, ..., r1 + r2 + r3 y l = 1,2, ..., tl +1, reflexiones (c.c.)
y relaciones:
(a) xhii = 1, i = 1,2, ..., p, hi ≥ 2,
(b) c2k = 1,k = r1 +1, ..., r1 + r2,
(c) c2k,l = 1,k = r1 + r2 +1, ..., r1 + r2 + r3 y l = 1,2, ..., tl +1,
(e) (ck,l ck,l+1)hk,l = 1, k = r1 + r2 +1, ..., r1 + r2 + r3, l = 1,2, ..., tl , hk,l ≥ 2, tl ≥ 1,
(g) ckekcke−1k = 1, k = r1 +1, ..., r1 + r2,
(h) ck,1ekck,tl+1e−1k = 1, k = r1 + r2 +1, ..., r1 + r2 + r3,
(i)∏p
i=1 xi∏r1+r2+r3
k=r1ek
∏qj=1(a jb ja−1
j b−1j )= 1,
o, para el caso no orientable, cambiamos los generadores (b) de arriba por
(b’) v j, j = 1,2, ..., q, reflexiones con deslizamiento,
y la relación (i) por
(i’)∏p
i=1 xi∏r
k=1 ek∏q
j=1 v2j = 1.
Así mismo, las componentes no compactas pueden ser de dos tipos: en primer lugar, tenemos
las del tipo parabólico (región fundamental con un punto en el infinito). En las figuras 4.8 y 4.9
podemos observar la forma de la región fundamental para el caso de componentes no compactas
de tipo parabólico y la correspondiente superficie cociente con el característico puncture como
vimos en la sección 4.1. La otra posibilidad es que se presenten agujeros abiertos, es decir,
FIGURA 4.8. Región fundamental con un vértice parabólico
FIGURA 4.9. Superficie cociente correspondiente a componentes parabólicas
componentes no compactas que tienen bordes abiertos (región fundamental tiene lados en el
eje real). Estas regiones se denominan funnels y se corresponden al caso de componentes no
compactas de tipo hiperbólico, como podemos apreciar en las figuras 4.10 y 4.11. En el primer
caso, si tenemos r1 componentes del tipo parabólico, tendremos los generadores libres siguientes:
(c’) ek, k = 1, ..., r1.
Por último, las componentes no compactas hiperbólicas (con bordes abiertos) se caracterizan
76
4.3. ESTRUCTURA DE GRUPOS NEC NO COMPACTOS Y FINITAMENTE GENERADOS
FIGURA 4.10. Región fundamental con un lado en el eje R
FIGURA 4.11. Superficie cociente correspondiente a componentes hiperbólica (funnel)
porque en la componente k-ésima se pude tener tiene en el agujero l-simo, m centros de rotación
que son producto de dos reflexiones. Este caso se ha representado en las figuras 4.12 (región
fundamental) y 4.13 (superficie cociente). Estos grupos tendrán, por lo tanto, los generadores
FIGURA 4.12. Región fundamental con un lado en el eje R y reflexiones
FIGURA 4.13. Superficie cociente correspondiente a componentes hiperbólicas (funnelcon línea de reflexión)
(f) ck,l,m,k = r1 + r2 + r3 +1, ..., r, l = 1,2, ...,uk +1, m = 1, ...,uk,l , reflexiones
y relaciones:
(d) c2k,l,m = 1,k = r1 + r2 + r3 +1, ..., r, l = 1,2, ...,uk, m = 1, ...,uk,l ,
77
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
(f) (ck,l,mck,l,m+1)hk,l,m = 1,k = r1 + r2 + r3 +1, ..., r, l = 1,2, ...,uk, m = 1, ...,uk,l −1, hk,l ≥ 1, tl ≥ 1.
Adicionalmente, tenemos que tener en cuenta los generadores dados por las curvas que separan
estas componentes no compactas de la compacta, que serán tantos generadores libres, como
componentes no compactas con bordes abiertos tenga nuestra superficie cociente, digamos r−(r1 + r2 + r3) componentes, que escribimos
(c”) ek, k = s+1, ..., r.
De esta discusión deducimos que un grupos NEC de cociente no compacto finitamente generado
va a tener como generadores (a)-(b)-(c,c’,c”)-(d)-(e)-(f) y relaciones (a)-(b)-(c)-(d)-(e)-(f)-(h), en el
caso orientable, cambiando los generadores (b) por (b’) y la relación (i) por (i’) en el caso no
orientable.
La superficie cociente en el caso orientable será una superficie de género q, donde se han
eliminado r1 puntos de otras tantas componentes no compactas, asociados a los vértices parabóli-
cos de la región fundamental, se han eliminado además r1 + r2 discos abiertos en la componente
compacta S0, p puntos en el interior de S0 se corresponden a los puntos de ramificación, y se
han eliminado r− r1 − r2 − r3 discos cerrados en las componentes no compactas. En el caso no
orientable hablamos ahora de género q no orientable con el resto de características análogas al
caso orientable.
Igualmente al caso compacto, hablaremos de presentaciones equivalentes si coinciden los números
anteriores y además las secuencias de números
(hk,l)k=r1+r2+1,...,r1+r2+r3,l=1,...,uk y (hk,l,m)k=r1+r2+r3+1,...,r, l = 1,2, ...,uk,m = 1, ...,uk,l −1
son idénticos en ambas presentaciones salvo permutaciones.
Ejemplo 4: Superficie con una componente no compacta. En la figura 4.14 podemos ver
un ejemplo de una superficie orientable de género g = 1 menos un disco (abierto) C1, donde
la componente compacta es S0 y la única componente no compacta S1 tiene un punto en el
infinito (vértice parabólico en su región fundamental). La componente compacta incluye tres
puntos x1, x2, x3 que son las imágenes de vértices fijos por transformaciones elípticas, y los puntos
correspondientes al borde del disco C1 que son imágenes de los vértices fijos por las reflexiones.
Los generadores y relaciones del grupos NEC G, con región fundamental cuyo cociente sea la
superficie de la figura 4.14 serán los siguientes:
Generadores:
(a) xi, i = 1,2,3= p,
(b) a j,b j, j = 1= q,
(c) ek,k = 1,2= r,
(d) ck,l ,k = 2 y l = 1,2,3,4= tl +1,
y relaciones:
(a) xhii = 1, i = 1,2,3, hi ≥ 2,
(b) c2k,l = 1,k = 2 y l = 1,2,3,4= tl +1,
(c) (ck,l ck,l+1)hk,l = 1, k = 2, l = 1,2,3,4= tl , hk,l ≥ 2, tl ≥ 1,
78
4.3. ESTRUCTURA DE GRUPOS NEC NO COMPACTOS Y FINITAMENTE GENERADOS
FIGURA 4.14. Superficie orientable de género 1 no compacta
(d) ck,1ekck,tl+1e−1k = 1, k = 2,
(e)∏3
i=1 xi∏2
k=1 eka1b1a−11 b−1
1 = 1.
Finalmente, en la figura 4.15 presentamos una región fundamental compatible con el grupo
anterior, donde los lados δ1,δ′1 están ligados por la transformación parabólica e1 y v es el vértice
parabólico. El significado de la notación usada para los lados de la región fundamental es la usual.
FIGURA 4.15. Región fundamental del grupo G
Ejemplo 5: Superficie con dos componentes no compactas. En la figura 4.16 podemos ver
ahora una superficie orientable de género g = 1. S0 es la componente compacta, donde hemos
79
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
eliminado un disco (abierto) C1, con puntos en el borde del disco que son imágenes de los vértices
fijos por reflexiones (centros de rotación). Además tenemos un segundo disco C2, esta vez sin cen-
tros de rotación y en la componente compacta tenemos adicionalmente dos puntos x1, x2 que son
imágenes de vértices fijos por transformaciones elípticas. Adicionalmente, hay dos componentes
no compactas S1 y S2, la primera con un punto en el infinito (vértice parabólico en su región
fundamental como en el ejemplo anterior) y, en la segunda, hemos eliminado un disco cerrado en
el que incluimos dos puntos especiales (centros de rotación). La situación se corresponde a un
grupo NEC con una región fundamental con un punto en el infinito (S1) y un lado en el eje real
(S2). Los generadores y relaciones del grupos NEC G, con región fundamental cuyo cociente sea
FIGURA 4.16. Superficie orientable de género 1 no compacta menos un disco cerrado
la superficie de la figura 4.16 serán ahora:
Generadores:
(a) xi, i = 1,2= p,
(b) a j,b j, j = 1= q,
(c2) e1, el generador libre parabólico correspondiente a la componente S1, de forma que r1 = 1,
(c2) e2, e3, los generadores asociados a los discos eliminados C2,C1, respectivamente, de donde
tenemos que r2 = 1, r3 = 1,
(c3) e4, el generador libre hiperbólico correspondiente a la componente S2, obteniendo finalmente
que r = 4,
(d) c2, correspondiente al disco C2
(e) c3,l y l = 1,2,3, correspondientes al disco C1
(f) c4,1,m, m = 1,2, correspondientes a la componente no compacta S2
y relaciones:
(a) xhii = 1, i = 1,2, hi ≥ 2,
(b) c22 = 1,
(c) c23,l = 1 y l = 1,2,
(d) (c3,1c3,2)h3,1 = 1,(c3,2c3,3)h3,2 = 1, h3,l ≥ 2, l = 1,2,
(e) c3,1e2c3,3e−12 = 1,
(f) (c4,1,1c4,1,2)h4,1,1 = 1, h4,1,1 ≥ 2,
80
4.3. ESTRUCTURA DE GRUPOS NEC NO COMPACTOS Y FINITAMENTE GENERADOS
(g)∏2
i=1 xi∏4
k=1 eka1b1a−11 b−1
1 = 1.
Para terminar este capítulo, nos planteamos la cuestión de en qué medida las presentacio-
nes dadas por los teoremas 4.12 y 4.8 son compatibles. Este último teorema es, en principio, una
descripción general de la estructura de grupos NEC de cociente no compacto que nos permite
estudiar la estructura de estos grupos sin la exigencia de tener un número finito de lados como
en el teorema 4.12. Por ello, una diferencia obvia radica en el número de generadores, que en el
primer caso son finitos y en el segundo finitos o infinitos. Adicionalmente, en el caso del teorema
4.12 teníamos el producto libre de un número finito de grupos cíclicos y de grupos generados por
reflexiones, mientras que en el teorema 4.8, como acabamos de ver, tenemos el producto libre de
un número finito o infinito de grupos cíclicos y de grupos generados por reflexiones. Sin embargo,
la forma de las presentaciones de ambos tipos de grupos parecen diferir más allá del número
finito o no de generadores y relaciones.
Para entender esta diferencia debemos tener presente que las presentaciones de los grupos en 4.8
de la forma dada por las ecuaciones 4.2, 4.3 y 4.4 son presentaciones a las que hemos aplicado las
transformaciones de Tietze. Mientras que en 4.12 la presentación no está simplificada. Por ello,
no podemos esperar una estructura idéntica en las presentaciones de los grupos dadas por ambos
teoremas.
Si bien los generadores y relaciones en 4.8, son análogos a los de las dadas por los generadores
(b)-(f) y las relaciones (b)-(h) del teorema 4.12, parecen diferenciarse esencialmente en las trans-
formaciones elípticas dadas en 4.12 por los generadores y relaciones (a) (elípticos) y en aquellas
dadas por los generadores (c) con 1≤ k ≤ r1, que hemos identificado previamente como parabólicos.
Ejemplo 6: Grupo Modular. Para convencernos de que la ausencia de elementos de este
tipo en la estructura de grupos NEC no compactos propuesta por el teorema 4.8 es sólo aparente,
vamos a observar con algo más de detenimiento el caso del grupo modular. Como sabemos tiene
cociente no compacto con dos generadores, uno elíptico y otro parabólico, S : z 7→ −1z
y T : z 7→ z+1,
respectivamente. Ya vimos en los preliminares que el grupo modular tiene una presentación de la
forma:
Γ= ⟨S,T : S2 = (ST)3 = 1⟩.Teniendo en cuenta la definición de producto libre de grupos y de grupos cíclicos vistos en los pre-
liminares, vemos inmediatamente que el grupo modular puede presentarse por los generadores
S,U = ST de la forma
Γ= ⟨S,U : S2 =U3 = 1⟩ = ⟨S : S2 = 1⟩∗⟨U : U3 = 1⟩ = C2 ∗C3,
de donde deducimos que el grupo modular puede representarse como el producto libre de dos
grupos cíclicos y, con ello, se verifica el teorema 4.8, de forma que en las componentes de grupos
cíclicos del producto libre del enunciado del teorema tenemos los generadores elípticos y parabóli-
cos que esperaríamos encontrar en la estructura genérica en los grupos de este tipo.
81
CAPÍTULO 4. GRUPOS NEC CON ESPACIO COCIENTE NO COMPACTO
En resumen, este teorema simplemente nos da la forma de los grupos NEC de cociente no com-
pacto salvo isomorfismos algebraicos en forma de descomposición en producto libre de grupos
cíclicos y grupos generados por reflexiones y rotaciones, completamente análogo al del teorema
4.12, salvo por el número de generadores que ahora puede ser infinito y el número de factores del
producto libre que ahora también pueden ser infinitos, si bien los generadores y relaciones no
están explicitados en el teorema 4.8.
82
CA
PÍ
TU
LO
5CONCLUSIONES
Acontinuación, enumeramos las principales conclusiones del trabajo:
1. Partiendo de las propiedades de los subgrupos discretos de isometrías del plano hiperbólico
que preservan la orientación, los llamados grupos fuchsianos, hemos estudiado las propie-
dades del grupo general de isometrías, los denominados grupos NEC. En particular, para el
caso de cociente compacto, además de su estructura y presentación, se han estudiado sus
regiones fundamentales y dos tipos importantes de sus subgrupos, a saber, los subgrupos
fuchsianos canónicos y los subgrupos normales de índice impar.
2. Asimismo, se han esbozado las propiedades de los grupos NEC de cociente no compacto
y se ha presentado dos teoremas de estructura de los mismos, uno para los finitamente
generados y otro para caso general. En este caso, las herramientas algebraicas, geométricas
y topológicas que nos permitían el estudio en el caso compacto no pueden usarse directa-
mente, lo que se ha traducido en un capítulo parcialmente diferente del resto del TFM,
donde el enfoque resulta esencialmente algebraico y basado en el estudio de las posibles
presentaciones y sus equivalencias.
3. El estudio de los grupos NEC de cociente no compacto, nos lleva a plantearnos las siguientes
cuestiones: ¿es posible obtener las presentaciones de grupos NEC no compactos (finitamente
generados o no) con argumentos geométricos como hemos visto en el capítulo 3 para el
caso compacto? ¿Se pueden definir signaturas NEC no compactas de forma análoga a
los casos compactos? ¿Qué propiedades de isomorfismo se verificarían en este caso? ¿Se
pueden extender los resultados referentes a áreas, grupos fuchsianos canónicos, subgrupos
83
CAPÍTULO 5. CONCLUSIONES
normales, etc.? En la bibliografía estudiada, hay resultados parciales, siempre sin el uso
de signaturas y con el enfoque topológico combinatorio, por ejemplo los ya comentados
de Zieschang-Vogt-Coldeway [29], Macbeath-Hoare [19] o Hoare-Karrass-Solitar [13], lo
que parece indicar que el enfoque geométrico tiene ciertas dificultades o limitaciones.
Sin embargo, parece razonable explorar este enfoque comenzando, por ejemplo, con el
análisis de situaciones específicas o ejemplos concretos del tipo superficies no compactas
finitamente generadas con n componentes parabólicas, e ir entendiendo las dificultades
en la definición de signaturas y cálculos asociados (áreas, subgrupos, etc.), así como el
análisis de la situación resultante cuando n es infinito. Esto podría servir de base para un
tratamiento geométrico del caso general.
Se ha tenido que ser sumamente selectivo con la materia incluida en esta memoria, debido a la
extensión de los temas tratados. Ausencias destacadas son, por ejemplo, un estudio más detallado
de los subgrupos normales de los grupos NEC, regiones fundamentales (de Wilkie) minimales, el
concepto de grupos NEC maximales, los espacios de Teichmuller y espacios moduli en el contexto
de los grupos NEC, un estudio detallado de las superficies de Klein (compactas, con componentes
en la frontera, con invariantes, hiperelípticas, etc.) y sus automorfismos. Adicionalmente, el
enfoque durante el TFM ha sido esencialmente algebraico y geométrico, no habiendo sido tratado
en toda la memoria el enfoque topológico combinatorio como puede encontrarse, por ejemplo, en
[29] y que, como se puede comprobar en esa obra, es de gran potencia y utilidad.
La memoria ha usado como bibliografía básica, sobre todo, artículos de investigación. En particu-
lar, el capítulo 3 se basa fundamentalmente, pero no exclusivamente, en los artículos de Wilkie
[28], Macbeath [18], Singerman [25] y Bujalance [5]. Análogamente, el capítulo 4 se ha basado en
el artículo de Macbeath y Hoare [19] para el estudio de los grupos no finitamente generados y [29]
para los finitamente generados. Para una correcta comprensión de estos artículos, he desarrollado,
y en cierta medida incluido en la memoria, abundancia de detalles que, por su naturaleza, no
presentan los artículos originales.
84
BIBLIOGRAFÍA
[1] Anderson, J. W., Hyperbolic Geometry, Springer, (2005). (ISBN:1852339349).
[2] Beardon, A. F., Convex fundamental domains of Fuchsians groups, Proc. Camb. Phil. Soc.
76, (1973), 511-513.
[3] Beardon, A. F., The Geometry of Discrete Groups (Graduate texts in mathematics,
91),Springer-Verlag, (1983). (ISBN: 0387907882).
[4] Borthwick, D. Spectral Theory of Infinite-Area Hyperbolic Surfaces,Birkäuser, Boston (2007).
[5] Bujalance, E., Normal subgrops of N.E.C. Groups, Math. Z. 178, (1981), 331-341.
[6] Bujalance, E., Normal N.E.C. signatures, Illinois Journal of Mathematics vol. 26, Number 3,
(1982).
[7] Bujalance, E., Automorphisms groups of compact Klein surfaces, Manuscripta mathematica
56, (1986), 105-124
[8] Bujalance E., Etayo, J., Gamboa, J. M. Teoría elemental de grupos,UNED ediciones, (2002).
(ISBN: 8436244362).
[9] Bujalance, E., Cirre, F. J., Gamboa, J. M., Gromadzki, G. Symmetries of Com-
pact Riemann Surfaces (Lecture Notes in Mathematics),Springer-Verlag, (2007).
(ISBN:9783642148279).
[10] Bujalance, E., Gromadyki, G. On automorphisms of Klein surfaces with invariant subsets,
Osake J. Math. 50, (2013), 251-269.
[11] Costa, A. F., Martínez, F., Planar hyperelliptic Klein surfaces and fundamental regions of
NEC groups, London Math. Soc. Lect. Note Series 173 (1992).
[12] Etayo, J. J., Martínez, E., Hyperbolic polygons and NEC groups, Proc. Camb. Soc. 104 261
(1988).
[13] Hoare, A. H. M., Karrass, A. and Solitar, D. Subgroups of NEC groups, Comm. Pure Appl.
Math. 26 (1973), 731-744.
85
BIBLIOGRAFÍA
[14] Katok, S., Fuchsian Groups,Chicago Lectures in Mathematics, (1992). (ISBN:0226425835).
[15] Jones, A. G., Singerman, D., Complex Functions,Cambridge University Press, (1987).
(ISBN:052131366).
[16] Kaufmann, R., Zieschang, H., On the rank of NEC groups, London Math. Soc. Lect. Note
Series 173 (1992).
[17] Macbeath, A. M., Groups of homeomorphisms of a simply connected space, Ann. of Math. 79
(1964), 473-488.
[18] Macbeath, A. M., The classification of non-Euclidean plane crystallographic groups, Canad.
J. Math. 19 (1967), 1192-1205.
[19] Macbeath, A. M., and Hoare A. H. M. Groups of hyperbolic crystallography, Math. Proc.
Camb. Phil. Soc. 79 (1976), 235-249.
[20] Martinez, E. Convex fundamental regions for NEC groups, Arch. Math. 47 (1986), 457-464.
[21] (*)May, C. L., Large automorphism groups of compact Klein surfaces with boundary,I.
Glasgow Math. J. 18 (1977), 1-10.
[22] Munkres, J. R., Topología, Prentice Hall, (2002). (ISBN:9788420531809).
[23] (*)Preston, R., Projective structures and fundamental domains on compact Klein surfaces,Ph.
D. Thesis, University of Texas, (1975).
[24] Singerman, D., Automorphisms of compact non-orientable Riemann surfaces, Glasgow Math
J. 12 (1971), 50-59.
[25] Singerman, D., On the structure of non-Euclidean crystallographic groups, Proc. Camb. Soc.
76 233; (1974).
[26] Singerman, D., Universal tesellations, Revista Matemática de la Universida Complutense
de Madrid Vol. 1, números 1, 2, 3; (1988).
[27] Singerman, D., Superficies de Riemann y Cristalografía, Notas de conferencia(2000).
[28] Wilkie, H. C., On non-Euclidean crystallographic groups, Math. Zeitschr. 91 (1966), 87-102.
[29] Zieschang, H., Vogt, E., Coldewey, H.-D. Surfaces and Planar Discontinuous Groups (Lecture
Notes in Mathematics 835),Springer-Verlag, (1980). (ISBN:0387100245).
86
BIBLIOGRAFÍA
(*) Este referencia ha sido usada en la Introducción para explicar el desarrollo
de la teoría de los grupos NEC y sus aplicaciones en el estudio de automorfismos de las
superficies de Klein, pero no se ha tenido acceso directo a la misma.
87