Galois subspaces for compact Riemann surfaces of genus 2

Resumo Técnico: Subespaços de Galois para Superfícies de Riemann Compactas de Gênero 2

Autor: Juan-Pablo Llerena-Córdova
Contexto: Geometria Algébrica, Teoria de Superfícies de Riemann, Teoria de Galois.

1. O Problema

O artigo investiga o conjunto $G_{X,D}$ de subespaços lineares $W$ em um espaço projetivo $\mathbb{P}^n$ (de codimensão 2) associados a um divisor muito amplo $D$ em uma superfície de Riemann compacta $X$ de gênero $g=2$.

O objetivo central é caracterizar quando a projeção $\pi_W \circ \phi_D$ (onde $\phi_D$ é o mergulho induzido por $D$) é um revestimento de Galois. Isso significa que a extensão de corpos de funções $f_W^* k(\mathbb{P}^1) \subseteq k(X)$ é uma extensão de Galois.

O problema específico abordado é calcular a dimensão das componentes projetivas na decomposição do conjunto $G_{X,D}$, focando particularmente nos subespaços de Galois disjuntos (aqueles onde $W \cap \phi_D(X) = \emptyset$), que correspondem a componentes de dimensão zero na decomposição geral. O estudo é realizado sob a condição de que o divisor $D$ seja induzido por um subgrupo do grupo de automorfismos de $X$, denotado por $\text{Aut}(X)$.

2. Metodologia

O autor utiliza a estrutura teórica estabelecida por Auffarth e Rahausen, que fornece uma decomposição do conjunto $G_{X,D}$ como uma união disjunta de espaços projetivos indexados por subgrupos $H \leq \text{Aut}(X)$ tais que o quociente $X/H$ é isomorfo a $\mathbb{P}^1$.

A metodologia segue os seguintes passos:

1. Redução do Problema: Baseia-se no teorema de que $G_{X,D}$ possui uma componente de dimensão zero se e somente se $D$ for linearmente equivalente a um divisor induzido por um subgrupo $H$ ($D \sim D_H$), onde $D_H = \sum_{h \in H} h[p]$.
2. Cálculo de Dimensões: A dimensão de cada componente projetiva na decomposição é dada por $\ell(D - D_H) - 1$. O foco do artigo é calcular $\ell(D_H - D_N)$ para pares de subgrupos $H, N \leq \text{Aut}(X)$ com $X/H \cong X/N \cong \mathbb{P}^1$.
3. Ferramentas Teóricas:
   • Uso da fórmula de Riemann-Roch.
   • Propriedades de equivalência linear de divisores induzidos por subgrupos (Lemas 1.1 a 1.4).
   • A classificação conhecida dos grupos de automorfismos para superfícies de gênero 2 (que são hiperbólicas).
   • Análise da estrutura de reticulado de subgrupos dos grupos de automorfismos possíveis.
4. Classificação de Grupos: O autor analisa sistematicamente todos os grupos de automorfismos possíveis para gênero 2: $C_2$, $C_2 \times C_2$, $D_4$, $C_{10}$, $D_6$, $C_3 \rtimes D_4$ e $GL_2(\mathbb{F}_3)$.

3. Principais Contribuições e Resultados

Teorema Principal (Teorema 0.2):
O artigo estabelece duas afirmações fundamentais para uma superfície de Riemann $X$ de gênero 2 e um subgrupo $H \leq G = \text{Aut}(X)$:

1. Equivalência de Divisores: Se $G \not\cong C_{10}$, dois divisores muito amplos induzidos por subgrupos de $G$ diferem apenas por um múltiplo do divisor canônico $K$.
2. Correspondência Biunívoca: No conjunto $G_{X, D_H}$, existe uma correspondência um-a-um entre os subespaços de Galois disjuntos e os subgrupos de ordem $|H|$.

Resultados Específicos por Grupo de Automorfismos:
O autor demonstra que para certos grupos (como $C_2$ e $C_2 \times C_2$), não existem subgrupos de ordem suficiente ($\geq 5$) para gerar divisores muito amplos, tornando o conjunto $G_{X,D_H}$ vazio. Para os outros grupos, o artigo realiza um cálculo detalhado das dimensões das componentes:

• Método "Zig-Zag": O autor desenvolve um processo iterativo utilizando a interseção de subgrupos e o Lema 1.4/Corolário 1.3 para determinar se $D_H - D_N$ é equivalente a zero ou ao divisor canônico $K$.
  • Se $D_H - D_N \sim 0$, então $\ell = 1$ (dimensão 0).
  • Se $D_H - D_N \sim K$, então $\ell = g = 2$ (dimensão 1).
  • Se a diferença de graus for grande, usa-se o Lema 1.6 para calcular $\ell$ diretamente.
• Tabelas de Dimensões: O artigo apresenta tabelas completas (Tabelas 1 a 5) listando o número de componentes de dimensão $n$ ($D_H^n$) para cada grupo de automorfismos possível ($D_4, C_{10}, D_6, C_3 \rtimes D_4, GL_2(\mathbb{F}_3)$) e para cada tamanho de subgrupo $|H|$.

4. Significado e Implicações

• Completude para Gênero 2: O artigo preenche uma lacuna na literatura, fornecendo uma descrição completa e explícita da estrutura do conjunto de subespaços de Galois para superfícies de gênero 2, um caso que não havia sido totalmente resolvido anteriormente, diferentemente dos casos de gênero 0 e 1.
• Limitações para Gêneros Superiores: O autor observa que, embora as técnicas de equivalência linear (Lemas 1.2 e 1.4) sejam gerais, a prova do Teorema 0.2 depende criticamente da abundância de subgrupos $H$ tais que $X/H \cong \mathbb{P}^1$ em gênero 2. Para gêneros $g > 2$, essa condição é muito mais restritiva, impedindo a generalização direta dos resultados para casos de gênero superior.
• Aplicação Prática: As tabelas fornecidas servem como uma referência computacional imediata para pesquisadores interessados em mergulhos de Galois e automorfismos de curvas algébricas, permitindo a determinação rápida da dimensão das componentes de Galois sem a necessidade de recalcular a cohomologia para cada caso.

Em suma, o trabalho oferece uma classificação rigorosa e computacionalmente verificável da geometria dos subespaços de Galois para curvas de gênero 2, conectando a teoria de grupos de automorfismos com a geometria dos mergulhos projetivos.