A classification of triangular Riemann surfaces with $2p^2$ automorphisms

Resumen Técnico: Una Clasificación de Superficies de Riemann Triangulares con $2p^2$ Automorfismos

Planteamiento del Problema
Este artículo aborda la clasificación de superficies de Riemann compactas de género $g \geq 2$ que admiten una acción "triangular" por un grupo finito de orden $2p^2$, donde $p$ es un primo impar. Una acción triangular se define como una acción donde el espacio cociente tiene género 0 y el mapa de recubrimiento ramifica exactamente sobre tres puntos (firma $(0; m_1, m_2, m_3)$). Tales superficies se denominan cuasiplatónicas. Los autores buscan determinar las condiciones necesarias y suficientes para que los grupos abstractos de orden $2p^2$ actúen triangularmente, clasificar las superficies resultantes hasta isomorfismo, calcular sus géneros y sus grupos completos de automorfismos, y proporcionar modelos algebraicos explícitos. Este trabajo extiende clasificaciones anteriores, como las de grupos de orden $pq$ (Streit y Wolfart) y grupos cíclicos/abelianos, al caso más intrincado de orden $2p^2$, donde surgen múltiples grupos no isomorfos y múltiples acciones distintas por grupo.

Metodología
Los autores emplean la teoría combinatoria de los grupos de Fuchsian y el estudio de las inclusiones entre ellos, un marco desarrollado por Singerman. La metodología central implica:

1. Análisis de Firmas: Identificar cuáles de los cinco grupos no isomorfos de orden $2p^2$ ($D_{p^2}$, $Z_{p^2} \rtimes Z_2$, $Z_{2p} \times Z_p$, $D_p \times Z_p$ y $Z_{2p^2}$) pueden admitir una acción triangular. Esto se logra analizando los generadores necesarios para mapear sobreyectivamente un grupo de Fuchsian de firma $(0; m_1, m_2, m_3)$ sobre el grupo objetivo.
2. Epimorfismos Núcleo-Superficie (ENS): Construir epimorfismos $\Phi: \Gamma \to G$ desde grupos de Fuchsian $\Gamma$ hacia los grupos objetivo $G$. El núcleo de tal aplicación define la superficie de Riemann $S \cong \mathbb{H}/\ker(\Phi)$.
3. Extensión de Acciones: Utilizar la lista de firmas maximales de Singerman y los criterios establecidos por Bujalance, Cirre y Conder para determinar si una acción dada se extiende a un grupo de automorfismos mayor. Esto implica verificar inclusiones de grupos de Fuchsian y la existencia de involuciones específicas en el grupo de automorfismos que satisfacen las condiciones de extensión.
4. Modelado Algebraico: Describir las superficies clasificadas como recubrimientos cíclicos de la línea proyectiva (curvas $n$-gonales cíclicas). Los autores derivan curvas afines explícitas del plano de la forma $y^n = \prod (x - \alpha_i)^{n_i}$ analizando los valores de ramificación y los números de rotación de los automorfismos.
5. Clasificación por Isomorfismo: Determinar el número de superficies no isomorfas analizando las órbitas de los ENS bajo la acción del grupo de automorfismos del grupo de Fuchsian y del grupo objetivo.

Contribuciones y Resultados Clave
El artículo proporciona una clasificación completa de las superficies de Riemann compactas que admiten una acción triangular de un grupo de orden $2p^2$. Los hallazgos principales son:

• Existencia y Conteo:

  • Los grupos $D_{p^2}$ y $Z_p^2 \rtimes Z_2$ no admiten acciones triangulares para $g \geq 2$.
  • Para $p \geq 5$, existen exactamente $\frac{p^2 + 2p + 3}{2}$ superficies de Riemann compactas no isomorfas entre sí que admiten tal acción.
  • Para $p = 3$, existen exactamente 8 tales superficies.
  • Las superficies se distribuyen entre los grupos $Z_{2p} \times Z_p$, $D_p \times Z_p$ y $Z_{2p^2}$.

• Clasificaciones Específicas:

  • $Z_{2p} \times Z_p$: Admite una única acción triangular con firma $(2p, 2p, p)$. La superficie resultante tiene género $g = (p-1)^2$ y es isomorfa a la normalización de $y^p = x^{2p} - 1$. Su grupo completo de automorfismos es $D_p \times Z_{2p}$.
  • $D_p \times Z_p$: Admite acciones con firmas $(2, p, 2p)$ y $(2p, 2p, p)$.
    • La firma $(2, p, 2p)$ produce una única superficie de género $\frac{(p-1)(p-2)}{2}$, isomorfa a $y^p = (x^p - 1)^2$, con grupo completo de automorfismos $Z_p^2 \rtimes D_3$.
    • La firma $(2p, 2p, p)$ produce $\frac{p+1}{2}$ superficies no isomorfas de género $(p-1)^2$. Estas se describen mediante curvas $y^p = (x^p - 1)^2(x^p + 1)^{\epsilon}$. Sus grupos completos de automorfismos varían: $D_p^2 \rtimes Z_2$ para un caso, $D_p \times Z_{2p}$ para otro, y $D_p \times Z_p$ para el resto.
  • $Z_{2p^2}$: Admite acciones con cuatro firmas distintas: $(2, p^2, 2p^2)$, $(2p^2, 2p^2, p)$, $(2p, p^2, 2p^2)$ y $(2p^2, 2p^2, p^2)$.
    • Estas producen $1 + \frac{p-1}{2} + (p-1) + \frac{p^2 - 2p + 1}{2}$ clases de isomorfismo distintas.
    • Se proporcionan modelos algebraicos explícitos para cada caso (por ejemplo, $y^{p^2} = x^2 + 1$, $y^p = x^2(x^{2p}-1)^m$, etc.).
    • El grupo completo de automorfismos es generalmente $Z_{2p^2}$, excepto en casos específicos donde se extiende a $Z_{p^2} \rtimes D_4$.

• Cuerpo de Definición:

  • Un resultado significativo es que todas las superficies de Riemann identificadas están definidas sobre los números racionales ($\mathbb{Q}$). Esto se deriva del hecho de que sus modelos algebraicos vienen dados por polinomios con coeficientes racionales.

• Clasificación de Hipermapas:

  • Como subproducto, los autores clasifican los hipermapas orientablemente regulares (o dessins d'enfants) con grupos de automorfismos que preservan la orientación de orden $2p^2$. Para $p \geq 5$, existen exactamente $p^2 + p$ tales hipermapas no equivalentes.

Significado
El artículo reclama importancia en varias áreas:

1. Completitud: Proporciona una clasificación definitiva para el orden específico $2p^2$, un caso más complejo que el orden $pq$ previamente estudiado debido a la existencia de grupos no abelianos y múltiples tipos de acción.
2. Racionalidad: El resultado de que todas tales superficies están definidas sobre $\mathbb{Q}$ contrasta con el comportamiento general de las superficies de Riemann con automorfismos, que a menudo requieren cuerpos de números. Esto refuerza la naturaleza aritmética especial de las superficies cuasiplatónicas.
3. Modelos Algebraicos: La construcción explícita de curvas afines del plano para cada clase de isomorfismo permite un estudio computacional concreto y conecta la clasificación geométrica con la geometría algebraica.
4. Geometría del Espacio de Módulos: Al identificar el lugar singular del espacio de módulos $M_g$ correspondiente a estas acciones grupales específicas, el trabajo contribuye a comprender la geometría del espacio de módulos de superficies de Riemann.
5. Conexión Combinatoria: La clasificación cierra la brecha entre la teoría de las superficies de Riemann y la combinatoria de los hipermapas, ofreciendo una lista completa de hipermapas orientablemente regulares para este orden específico de automorfismos.

Los autores enfatizan que sus resultados se derivan mediante la aplicación rigurosa de la teoría de grupos de Fuchsian y no dependen de conjeturas no probadas, proporcionando una base sólida para el estudio posterior de las propiedades aritméticas y geométricas de estas superficies.