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

Resumo Técnico: Uma Classificação de Superfícies de Riemann Triangulares com $2p^2$ Automorfismos

Enunciação do Problema
Este artigo aborda a classificação de superfícies de Riemann compactas de gênero $g \geq 2$ que admitem uma ação "triangular" por um grupo finito de ordem $2p^2$, onde $p$ é um primo ímpar. Uma ação triangular é definida como uma ação onde o espaço quociente tem gênero 0 e o mapa de recobrimento ramifica sobre exatamente três pontos (assinatura $(0; m_1, m_2, m_3)$). Tais superfícies são denominadas quasi-platônicas. Os autores visam determinar as condições necessárias e suficientes para que grupos abstratos de ordem $2p^2$ atuem triangularmente, classificar as superfícies resultantes até isomorfismo, calcular seus gêneros e grupos completos de automorfismos, e fornecer modelos algébricos explícitos. Este trabalho estende classificações anteriores, como as para grupos de ordem $pq$ (Streit e Wolfart) e grupos cíclicos/abelianos, ao caso mais intrincado de ordem $2p^2$, onde surgem múltiplos grupos não isomorfos e múltiplas ações distintas por grupo.

Metodologia
Os autores empregam a teoria combinatória dos grupos de Fuchsian e o estudo das inclusões entre eles, um quadro desenvolvido por Singerman. A metodologia central envolve:

1. Análise de Assinatura: Identificar quais dos cinco grupos não isomorfos de ordem $2p^2$ ($D_{p^2}$, $Z_{p^2} \rtimes Z_2$, $Z_{2p} \times Z_p$, $D_p \times Z_p$ e $Z_{2p^2}$) podem admitir uma ação triangular. Isso é alcançado analisando os geradores necessários para mapear sobrejetivamente um grupo de Fuchsian de assinatura $(0; m_1, m_2, m_3)$ sobre o grupo alvo.
2. Epimorfismos Núcleo-Superfície (SKEs): Construir epimorfismos $\Phi: \Gamma \to G$ de grupos de Fuchsian $\Gamma$ para os grupos alvo $G$. O núcleo de tal mapa define a superfície de Riemann $S \cong \mathbb{H}/\ker(\Phi)$.
3. Extensão de Ações: Utilizar a lista de assinaturas maximais de Singerman e os critérios estabelecidos por Bujalance, Cirre e Conder para determinar se uma dada ação se estende a um grupo de automorfismos maior. Isso envolve verificar inclusões de grupos de Fuchsian e a existência de involuções específicas no grupo de automorfismos que satisfaçam condições de extensão.
4. Modelagem Algébrica: Descrever as superfícies classificadas como recobrimentos cíclicos da linha projetiva (curvas $n$-gonais cíclicas). Os autores derivam curvas afins explícitas do plano da forma $y^n = \prod (x - \alpha_i)^{n_i}$ analisando valores de ramificação e números de rotação dos automorfismos.
5. Classificação por Isomorfismo: Determinar o número de superfícies não isomorfas analisando as órbitas dos SKEs sob a ação do grupo de automorfismos do grupo de Fuchsian e do grupo alvo.

Principais Contribuições e Resultados
O artigo fornece uma classificação completa de superfícies de Riemann compactas que admitem uma ação triangular de um grupo de ordem $2p^2$. As principais descobertas são:

• Existência e Contagem:

  • Os grupos $D_{p^2}$ e $Z_p^2 \rtimes Z_2$ não admitem ações triangulares para $g \geq 2$.
  • Para $p \geq 5$, existem exatamente $\frac{p^2 + 2p + 3}{2}$ superfícies de Riemann compactas não isomorfas entre si que admitem tal ação.
  • Para $p = 3$, existem exatamente 8 tais superfícies.
  • As superfícies estão distribuídas entre os grupos $Z_{2p} \times Z_p$, $D_p \times Z_p$ e $Z_{2p^2}$.

• Classificações Específicas:

  • $Z_{2p} \times Z_p$: Admite uma ação triangular única com assinatura $(2p, 2p, p)$. A superfície resultante tem gênero $g = (p-1)^2$ e é isomorfa à normalização de $y^p = x^{2p} - 1$. Seu grupo completo de automorfismos é $D_p \times Z_{2p}$.
  • $D_p \times Z_p$: Admite ações com assinaturas $(2, p, 2p)$ e $(2p, 2p, p)$.
    • A assinatura $(2, p, 2p)$ produz uma superfície única de gênero $\frac{(p-1)(p-2)}{2}$, isomorfa a $y^p = (x^p - 1)^2$, com grupo completo de automorfismos $Z_p^2 \rtimes D_3$.
    • A assinatura $(2p, 2p, p)$ produz $\frac{p+1}{2}$ superfícies não isomorfas de gênero $(p-1)^2$. Estas são descritas por curvas $y^p = (x^p - 1)^2(x^p + 1)^{\epsilon}$. Seus grupos completos de automorfismos variam: $D_p^2 \rtimes Z_2$ para um caso, $D_p \times Z_{2p}$ para outro, e $D_p \times Z_p$ para os demais.
  • $Z_{2p^2}$: Admite ações com quatro assinaturas distintas: $(2, p^2, 2p^2)$, $(2p^2, 2p^2, p)$, $(2p, p^2, 2p^2)$ e $(2p^2, 2p^2, p^2)$.
    • Estas produzem $1 + \frac{p-1}{2} + (p-1) + \frac{p^2 - 2p + 1}{2}$ classes de isomorfismo distintas.
    • Modelos algébricos explícitos são fornecidos para cada caso (por exemplo, $y^{p^2} = x^2 + 1$, $y^p = x^2(x^{2p}-1)^m$, etc.).
    • O grupo completo de automorfismos é geralmente $Z_{2p^2}$, exceto em casos específicos onde se estende para $Z_{p^2} \rtimes D_4$.

• Corpo de Definição:

  • Um resultado significativo é que todas as superfícies de Riemann identificadas são definidas sobre os números racionais ($\mathbb{Q}$). Isso é derivado do fato de que seus modelos algébricos são dados por polinômios com coeficientes racionais.

• Classificação de Hipermapas:

  • Como subproduto, os autores classificam hipermapas orientavelmente regulares (ou dessins d'enfants) com grupos de automorfismos que preservam a orientação de ordem $2p^2$. Para $p \geq 5$, existem exatamente $p^2 + p$ tais hipermapas não equivalentes.

Significância
O artigo reivindica significância em várias áreas:

1. Completude: Fornece uma classificação definitiva para a ordem específica $2p^2$, um caso mais complexo que a ordem $pq$ anteriormente estudada devido à existência de grupos não abelianos e múltiplos tipos de ação.
2. Racionalidade: O resultado de que todas essas superfícies são definidas sobre $\mathbb{Q}$ contrasta com o comportamento geral de superfícies de Riemann com automorfismos, que frequentemente exigem corpos de números. Isso reforça a natureza aritmética especial das superfícies quasi-platônicas.
3. Modelos Algébricos: A construção explícita de curvas afins do plano para cada classe de isomorfismo permite um estudo computacional concreto e conecta a classificação geométrica à geometria algébrica.
4. Geometria do Espaço de Módulos: Ao identificar o lugar singular do espaço de módulos $M_g$ correspondente a essas ações grupais específicas, o trabalho contribui para a compreensão da geometria do espaço de módulos de superfícies de Riemann.
5. Conexão Combinatória: A classificação ponteia a lacuna entre a teoria das superfícies de Riemann e a combinatória dos hipermapas, oferecendo uma lista completa de hipermapas orientavelmente regulares para essa ordem específica de automorfismo.

Os autores enfatizam que seus resultados são derivados através da aplicação rigorosa da teoria dos grupos de Fuchsian e não dependem de conjecturas não provadas, fornecendo uma base sólida para estudos futuros das propriedades aritméticas e geométricas dessas superfícies.