Este documento presenta dos ejercicios sobre aplicaciones de la esfera de Riemann. El primer ejercicio prueba que no existe un automorfismo de orden 7 en una superficie de Riemann de género 2 utilizando la fórmula de Hurwitz. El segundo ejercicio calcula el género de la superficie cociente por la acción de un automorfismo de orden primo p, y encuentra una carta local en un punto fijo tal que el automorfismo actúa multiplicando por una raíz primitiva p-ésima de la unidad.
Este documento presenta dos ejercicios sobre aplicaciones de la esfera de Riemann. El primer ejercicio prueba que no existe un automorfismo de orden 7 en una superficie de Riemann de género 2 utilizando la fórmula de Hurwitz. El segundo ejercicio calcula el género de la superficie cociente por la acción de un automorfismo de orden primo p, y encuentra una carta local en un punto fijo tal que el automorfismo actúa multiplicando por una raíz primitiva p-ésima de la unidad.
Este documento presenta dos ejercicios sobre aplicaciones de la esfera de Riemann. El primer ejercicio prueba que no existe un automorfismo de orden 7 en una superficie de Riemann de género 2 utilizando la fórmula de Hurwitz. El segundo ejercicio calcula el género de la superficie cociente por la acción de un automorfismo de orden primo p, y encuentra una carta local en un punto fijo tal que el automorfismo actúa multiplicando por una raíz primitiva p-ésima de la unidad.
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, 𝑛
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
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