Está en la página 1de 3

Aplicaciones de la esfera de Riemann:

A continuación mostraremos aplicaciones o ejercicios de la esfera de Riemann o


también llamado plano convexo extendido:
Ejercicio 1:
Sea x una superficie de Riemann compacta de genero 2. Se trata de probar que no existe
𝑓 ∈ 𝐴𝑢𝑡(𝑋) de orden 7.
1. Sea 𝐺 = 〈𝑓〉 el grupo cíclico generado por 𝑓, y consideremos la superficie de
Riemann 𝑋/𝐺. Pruebe que la proyección 𝜋: 𝑋 → 𝑋/𝐺 es un recubrimiento
ramificado de orden 7.

Aplique la fórmula de Hurwitz para obtener el resultado.


Deduzca que el grupo de automorfismos de una superficie de Riemman de genero 2 no
es un grupo de Hurwitz, esto es|𝐴𝑢𝑡(𝑋)| < 84.
Solución:
Sea 𝑓: 𝑋 → 𝑋 un automorfismo de orden 7, y 𝐺 = 〈𝑓〉. Entonces la proyección 𝜋: 𝑋 →
𝑋/𝐺 es un morfismo de grado 7, y supongamos que tiene s puntos de ramificación.
Recordemos que dichos puntos son los que tienen un subgrupo estabilizador no trivial, y
el indicede ramificación es igual al orden primo, los subgrupos no triviales tienen orden
7.Por la fórmula de Hurwitz,
𝑛

2𝑔 − 2 = 7(2𝑔 𝑋/𝐺) − 2) + ∑(7 − 1) = 14𝑔(𝑋/𝐺) − 14 + 6𝑠.


𝑖=1

Como 𝑔 = 2, las posibilidades para 𝑔(𝑋/𝐺) son 0, 1,2, y entonces


𝑋 𝑋
2 = 14𝑔 ( ) − 14 + 6𝑠 → 7𝑔 ( ) + 3𝑠 = 8
𝐺 𝐺
𝑋
Si 𝑔 (𝐺 ) = 0 entonces 3𝑠 = 8, que no es posible.
𝑋
Si 𝑔 ( ) = 1 entonces 7 + 3𝑠 = 8 , que no es posible.
𝐺

𝑋
Si 𝑔 (𝐺 ) = 2 entonces 14 + 3𝑠 = 8, que tampoco es posible.

Por tanto no existe el automorfismo 𝑓 inicial.


Suponemos probado que el grupo de automorfismos 𝐴𝑢𝑡(𝑋) es finito. Si 𝐺 = 𝐴𝑢𝑡(𝑋)
tuviera 84 = 22 . 3.7elementos, entonces, por el primer teorema de Sylow, existiría un
subgrupo de 𝐺 con 7 elementos que tiene que ser cíclico. Pero esto implica la existencia
de un automorfismo de orden 7.
Ejercicio 2:
Sea 𝑋 una superificie de Riemann compacta de genero 𝑔 ≥ 2, y ℎ ∈ 𝐴𝑢𝑡(𝑋) de orden
primo p, es decir ℎ𝑝 = 𝑖𝑑.Sea q un punto fijo de h. y llamemos 𝑡 al número total de
puntos fijos de ℎ. Consideremos la superificie de Riemann cociente 𝑋̂ = 𝑋/〈ℎ〉 definido
por la acción del grupo cíclico generado por h, y llamemos 𝑔̂ a su género. Sea 𝜋: 𝑋 → 𝑋̂
la proyección natural.
1. Calcule los puntos de ramificación de 𝜋, y sus índices de ramificación.
2. Deduzca el valor de 𝑔̂ en función de 𝑔, 𝑝 𝑦 𝑡.
3. Pruebe que existe una carta ∅ en q tal que ∅ o ℎ = 𝜀∅, donde 𝜀 es una raíz
primitiva p-esima de la unidad.
Solución:
Sea 𝐺 = 〈ℎ〉, y la hipótesis implica que |𝐺| = 𝑝. Como p es primo, los únicos
subgrupos de G son el trivial y el total. Sabemos que deg(𝜋) = |𝐺| = 𝑝.
1. Los puntos de ramificación del morfismo 𝜋 son aquellos puntos a que tenga un
subgrupo estabilizador no trivial, es decir, 𝐺𝑎 = 𝐺. Entonces ℎ(𝑎) = 𝑎, por lo
que es un punto fijo de h. Así, los puntos de ramificación son los puntos fijos de
h, y los llamaremos 𝑞1 , 𝑞2 , … , 𝑞𝑡 . Además, sabemos que 𝑒𝑞𝑖 (𝜋) = 𝑝, el orden de
su grupo estabilizador.
2. La fórmula de Hurwitz nos indica que

2𝑔 − 2 = deg(𝜋) (2𝑔̂ − 2) + ∑(𝑒𝑞𝑖 − 1) = 𝑝(2𝑔̂ − 2) + 𝑡(𝑝 − 1).


𝑖=1

Despejamos 𝑔̂, y obtenemos la siguiente expresión:


1 1
𝑔̂ = 1 + (𝑔 − 1 − 𝑡(𝑝 − 1)
𝑝 2
3. Sea q un punto fijo de h, y consideremos una carta (𝑉, ∅) en la orbita 𝐺. 𝑞 ∈
𝑋/𝐺. Por el teorema de forma normal, existe una carta (𝑈, 𝜑) centrada en q tal
que ∅ 𝑜 𝜋 𝑜 𝜑(𝑧) = 𝑧 𝑝 .Consideremos un 𝜔0 en ∅(𝑉). Entonces ∅−1 (𝜔0 ) es una
orbita 𝐺. 𝑎 = {𝑎, ℎ(𝑎) … , ℎ𝑝−1 (𝑎)}. Por otro lado, existen 𝑧0 , 𝑧1 , … 𝑧𝑝−1 tales
que ∅ 𝑜 𝜋 𝑜 𝜑(𝑧1 ) = 𝑧1𝑝 = 𝜔0, de donde existe 𝜀 raíz primitiva p-esima de la
unidad tal que 𝑧1 = 𝜀 𝑖 𝑧0 .
Llamemos 𝑏𝑖 = 𝜑 −1 (𝑧𝑖 ). La orbita de cada b, coincide con 𝐺. 𝑎, pues
𝜋(𝜑 −1 )(𝑧𝑖 ) = ∅−1 (𝜔0 ) = 𝐺. 𝑎. Si reordenamos, podemos suponer que

𝑏0 = 𝑎, 𝑏1 = ℎ(𝑎), … , 𝑏𝑝−1 = ℎ𝑝−1 (𝑎)

Pero esto es lo mismo que decir que


𝜑(𝑎) = 𝜑(𝑏0 ) = 𝑧0 , 𝜑(ℎ(𝑎)) = 𝜑(𝑏1 ) = 𝜀𝑧0 = 𝜀𝜑(𝑏0 ) = 𝜀𝜑(𝑎)

Entonces 𝜑(ℎ(𝑎)) = 𝜀𝜑(𝑎), y esto se va a verificar en un entorno del punto fijo q.


Enlaces bibliográficos:
 https://rodas5.us.es/file/a3390698-608d-4221-8ff0-347ccd51400f/1/sri-rel-
problemas.pdf
 https://www.ucm.es/data/cont/docs/193-2013-10-17-Ejercicios%202008-
2009.pdf

También podría gustarte