The minimum genus of Galois covers of curves

Resumo Técnico: O Gênero Mínimo de Coberturas de Galois de Curvas

Enunciado do Problema
O artigo aborda o problema de determinar o gênero mínimo de coberturas de Galois de curvas conexas projetivas suaves sobre um corpo algebricamente fechado $k$ de característica positiva $p$. Especificamente, os autores investigam a existência e o gênero mínimo de $\Gamma$-coberturas $W \to X$ que são étale fora de um conjunto finito de pontos fechados $S_X \subset X$, onde $\Gamma$ é uma extensão de um grupo elétrico abeliano $l$-grupo $H \cong (\mathbb{Z}/l\mathbb{Z})^n$ por um grupo cíclico $p$-grupo $G \cong \mathbb{Z}/p^a\mathbb{Z}$.

O estudo é motivado pela estrutura do grupo fundamental étale $\pi_1^{\text{ét}}(X \setminus S_X)$. Embora a conjectura de Abhyankar (provada por Raynaud e Harbater) caracterize quais grupos finitos aparecem como quocientes deste grupo fundamental, ela não descreve plenamente o sistema inverso de quocientes finitos. Dada uma $G$-cobertura $V \to X$, os autores buscam caracterizar as $\Gamma$-coberturas $W \to X$ que dominam $V$ e determinar o gênero mínimo possível para tais coberturas. Isso estende trabalhos anteriores sobre coberturas com grupos de Galois isomorfos a grupos alternantes ou produtos semidiretos específicos onde a ação era fixa ou restrita.

Metodologia
Os autores empregam uma combinação de geometria algébrica, teoria de representação e otimização combinatória:

1. Estrutura de Módulo de Pontos de Torção: O cerne da metodologia reside na análise do subgrupo de torção $l$ do grupo de Picard da cobertura intermediária $V$, denotado por $Pl(V \setminus S_V)$, onde $S_V$ é a imagem inversa de $S_X$. Este grupo é um módulo à direita de $G$. Os autores utilizam a decomposição deste módulo em representações irredutíveis de $G$ sobre $\mathbb{F}_l$.
2. Correspondência de Galois: Baseando-se em resultados prévios (especificamente [13]), o artigo estabelece uma bijeção entre $H$-coberturas de $V$ (que formam $\Gamma$-coberturas de $X$) e submódulos $G$-estáveis de $Pl(V \setminus S_V)$ isomorfos a $H$.
3. Teoremas de Decomposição: Os autores derivam decomposições explícitas de $Pl(V \setminus S_V)$ em componentes irredutíveis. Eles distinguem a parte proveniente do grupo de Picard de grau zero, $Pic^0(V)[l]$, e a parte proveniente do divisor de ramificação, $Pram(S_V, l)$. A estrutura de $Pram(S_V, l)$ é determinada pela estratificação do lúmen de ramificação $S_X$ baseada nos índices de ramificação da $G$-cobertura $V \to X$.
4. Otimização via Programação Linear: Para encontrar o gênero mínimo, o problema é reduzido a um problema de programação linear inteira. O gênero da cobertura $W$ é uma função do número de pontos de ramificação na $H$-cobertura $W \to V$. Minimizar o gênero corresponde a minimizar a soma ponderada dos pontos de ramificação, sujeita a restrições impostas pelas multiplicidades das representações irredutíveis no módulo $H/H'$, onde $H'$ é o submódulo maximal de $H$ embutível em $Pic^0(V)[l]$.

Principais Contribuições e Resultados

• Fórmula Geral para o Gênero Mínimo (Teorema 1.1): O artigo fornece um método para calcular o gênero mínimo $g$ de uma $\Gamma$-cobertura que domina uma $G$-cobertura fixa $V$. Isto é formulado como um problema de programação linear inteira:

  • Objetivo: Minimizar $\sum_{s=0}^a p^s y_s$, onde $y_s$ representa o número de pontos de ramificação em $S_X$ com propriedades de ramificação específicas.
  • Restrições: As variáveis $y_s$ são limitadas pelo número de pontos disponíveis em $S_X$ e devem satisfazer desigualdades derivadas das multiplicidades dos módulos $G$-irredutíveis ($M_{s,t}$) no quociente $H/H'$.
  • Fórmula do Gênero: Uma vez encontrado o valor mínimo $c_{\min}$ da função objetivo, o gênero mínimo é dado por:
    $$g = 2 + l^n(2g_V - 2) + \frac{l^{n-1}(l-1)c_{\min}}{2}$$
    Isso generaliza resultados anteriores ao considerar ações arbitrárias $\theta: G \to \text{Aut}(H)$ e estruturas de ramificação variáveis da cobertura de base $V$.

• Casos Específicos e Fórmulas Explícitas:

  • Teorema 4.2: Especializa o resultado geral para casos onde o lúmen de ramificação consiste inteiramente de pontos totalmente ramificados ou pontos com exatamente $p$ pré-imagens, fornecendo fórmulas explícitas para a constante $c$ na equação do gênero.
  • Teorema 5.6 e Corolário 5.7: Focam no caso onde $X = \mathbb{P}^1$ e a cobertura é étale sobre $\mathbb{A}^1$ (ramificada apenas na infinidade). Os autores definem saltos superiores na filtração de ramificação e relacionam-nos à decomposição do módulo $H$. Eles fornecem um método recursivo para calcular o gênero mínimo baseado nos "saltos superiores" $u_i$.

• Gênero Mínimo para Ações Variáveis (Teorema 1.2): Uma contribuição significativa é o cálculo do gênero mínimo sobre todas as possíveis ações $\theta: \mathbb{Z}/p^2\mathbb{Z} \to \text{Aut}((\mathbb{Z}/l\mathbb{Z})^n)$ e todos os $n$ válidos. Para $a=2$, os autores derivam uma expressão de forma fechada para o gênero mínimo dependendo da ordem de $l$ em $(\mathbb{Z}/p\mathbb{Z})^\times$ e $(\mathbb{Z}/p^2\mathbb{Z})^\times$.

  • Se $d_1 = d_2$ (as ordens são iguais), o mínimo é alcançado quando $n=d_1$.
  • Se $d_1 < d_2$, o mínimo depende de se $p=2$ ou $p \neq 2$, produzindo constantes específicas ($15$ para $p=2$, $2p^2+2$ para $p \neq 2$).

Significância e Alegações
O artigo afirma fornecer uma abordagem sistemática e algorítmica para resolver o "problema de incorporação" para coberturas de Galois com uma estrutura de produto semidireto específica. Ao decompor a torção $l$ do grupo de Picard em módulos $G$-irredutíveis, os autores traduzem um problema geométrico (encontrar coberturas com gênero mínimo) em um problema de otimização combinatória.

A significância reside em:

1. Generalização: Ele estende resultados conhecidos sobre coberturas de gênero mínimo (como os de [5] para $a=1$) para o caso de grupos cíclicos de potências de $p$ superiores ($a \geq 2$) e ações arbitrárias.
2. Completude: Ele aborda o cenário onde a ação do grupo $\theta$ não é fixa mas varia, determinando o gênero mínimo absoluto alcançável dentro da classe dos grupos $(\mathbb{Z}/l\mathbb{Z})^n \rtimes \mathbb{Z}/p^a\mathbb{Z}$.
3. Computação Explícita: O artigo oferece fórmulas concretas e restrições de programação linear que permitem o cálculo explícito destes gêneros mínimos, em vez de apenas provar a existência.

Os autores observam que seus resultados recuperam achados anteriores (ex: [5, Teorema 4.2 e 4.3]) como casos especiais e fornecem um quadro para compreender o sistema inverso de quocientes finitos do grupo fundamental étale de curvas afins em característica positiva.