Mod p Monodromy of Cyclic Covers of the Projective Line

1. Formulação do Problema

O artigo aborda o problema de determinar a imagem da representação de monodromia associada à família de recobrimentos ramificados cíclicos da linha projetiva $\mathbb{P}^1$. Especificamente, foca na ação do grupo de tranças puro $P_{n+1}$ sobre o primeiro grupo de cohomologia étale $H^1_{\text{\'et}}(X; \mathbb{F}_p)$ desses recobrimentos, onde $X$ é um recobrimento cíclico de grau $l$ (um primo ímpar) e os coeficientes são tomados em um corpo finito $\mathbb{F}_p$.

Enquanto o caso para coeficientes inteiros foi anteriormente estabelecido por Achter e Pries (mostrando que a imagem é um subgrupo de índice finito de um grupo unitário sobre um anel de inteiros), este artigo busca generalizar o resultado de "grande monodromia" para o contexto mod $p$. O objetivo é provar que a imagem da monodromia é "grande", especificamente contendo os grupos lineares especiais ou unitários especiais sobre corpos finitos, dependendo da relação aritmética entre os primos $p$ e $l$.

2. Configuração Matemática e Notação

• O Recobrimento: Recobrimentos cíclicos $X_{\bar{a}, \bar{k}} \to \mathbb{P}^1$ são definidos por equações $y^l = \prod_{i=0}^n (x-a_i)^{k_i}$, onde $a_i$ são pontos de ramificação distintos e $k_i \in \{1, \dots, l-1\}$.
• Vetor de Monodromia: A tupla $\bar{k} = (k_0, \dots, k_n)$ é fixa. O espaço de configuração dos pontos de ramificação é $C_n$, com grupo fundamental $P_{n+1}$ (grupo de tranças puro).
• Estrutura de Cohomologia: A cohomologia $H^1_{\text{\'et}}(X; \mathbb{F}_p)$ decompõe-se sob a ação da transformação de deck $\phi$ (atuando como $T$). O componente relevante é o núcleo do polinômio ciclotômico $\Phi_l(T) = T^{l-1} + \dots + 1$, que forma um módulo sobre $\mathbb{F}_p[T]/(\Phi_l(T))$.
• Casos de Corpo: Seja $q$ a ordem do corpo residual de $\mathbb{Z}[\cos(2\pi/l)]$ em um primo acima de $p$. O comportamento depende da paridade de $\frac{l-1}{\text{ord}_l(p)}$:
  • Caso Unitário (Ímpar): $p$ é inerte em $\mathbb{Z}[\zeta_l]$. O anel de coeficientes é $\mathbb{F}_{q^2}$, e o grupo alvo é o Grupo Unitário Especial $SU(n-1, q)$.
  • Caso Linear (Par): $p$ se divide em $\mathbb{Z}[\zeta_l]$. O anel de coeficientes é $\mathbb{F}_q \oplus \mathbb{F}_q$, e o grupo alvo é o Grupo Linear Especial $SL(n-1, q)$.

3. Metodologia

O autor adapta a estratégia de prova usada para cohomologia integral, mas modifica-a para lidar com as restrições de corpos finitos, onde argumentos de densidade de Zariski (usados no caso integral) não são aplicáveis.

A. Representações de Gassner

A representação de monodromia é identificada com uma representação reduzida de Gassner especializada $\bar{g}_n(t_0, \dots, t_n)$.

• Os parâmetros $t_i$ são raízes da unidade correspondentes ao vetor de monodromia $\bar{k}$.
• A representação atua em um espaço vetorial equipado com uma forma anti-hermitiana $h$.
• Irredutibilidade: O artigo estabelece que esta representação é absolutamente irredutível (Proposição 4) e, crucialmente, não admite subespaços invariantes próprios não nulos sobre $\mathbb{F}_p$ (Lema 2), desde que os parâmetros não sejam todos 1.

B. Geração de Transveções

A estratégia central baseia-se no Teorema de Zalesskii, que afirma que um subgrupo irredutível de $GL(n, q)$ gerado por transveções é conjugado a $SL$, $Sp$ ou $SU$. A prova procede em duas etapas principais:

1. Caso Degenerado (Radicais Unipotentes):

   • O autor considera subsequências do vetor de monodromia onde o produto dos parâmetros é 1. Isso corresponde a uma forma hermitiana degenerada (um núcleo de dimensão 1).
   • Usando comutadores de elementos específicos do grupo de tranças (Proposição 5), o autor prova que a imagem da monodromia contém o radical unipotente do grupo de isometria desta forma degenerada.
   • Este radical consiste em transveções ao longo do vetor do núcleo.

2. Levantamento para o Caso Não-Degenerado:

   • Uma inovação chave (Seção 4) é levantar essas transveções do subespaço degenerado para o espaço não-degenerado completo.
   • Ao construir comutadores de transveções "levantadas" na representação de Gassner maior $\bar{g}_{n+1}$, o autor gera todas as transveções unitárias ao longo de vetores isotrópicos específicos (Proposição 6).
   • Isso evita a necessidade de densidade de Zariski ao construir explicitamente os geradores do grupo.

C. Argumento Indutivo

• Caso Base: Usando as transveções geradas no caso degenerado e o argumento de levantamento, o autor prova que a imagem contém o grupo unitário especial/linear especial completo para configurações específicas (Teorema 8).
• Passo Indutivo: Ao reordenar os pontos de ramificação e utilizar o fato de que a representação é primitiva (Lema 3), o autor estende o resultado de um hiperplano para o espaço completo (Teorema 9).
• Controle do Determinante: Finalmente, mostra-se que o determinante dos geradores da monodromia gera o grupo das raízes $l$-ésimas da unidade $\mu_l$, fixando a imagem como o grupo "Especial" ($SL$ ou $SU$) em vez do grupo linear/unitário geral.

4. Resultados Chave

Teorema 2 (Teorema Principal):
Seja $n \ge l+1$. A imagem da representação de monodromia de $P_{n+1}$ no componente de cohomologia relevante $H^1(X_{\bar{a}}; \mathbb{F}_p)_{\pi_j=0}$ é:

• $SU(n-1, q)$ (Unitário Especial) se $\frac{l-1}{\text{ord}_l(p)}$ for ímpar.
• $SL(n-1, q)$ (Linear Especial) se $\frac{l-1}{\text{ord}_l(p)}$ for par.
• Nota: Os grupos são definidos como matrizes com determinante em $\mu_l$.

Teorema 9:
Fornece condições suficientes no vetor de monodromia $\bar{k}$ (especificamente a existência de subsequências com produto 1) para garantir que a imagem da representação de Gassner especializada contenha o grupo unitário especial/linear especial completo.

5. Significado e Aplicações

• Generalização: Este trabalho generaliza os resultados de Achter e Pries (que trataram graus $l=2, 3$) para graus de primos ímpares arbitrários $l$ e primos arbitrários $p$.
• Mudança Metodológica: Adapta com sucesso a prova de cohomologia integral para o contexto mod $p$, substituindo argumentos de densidade topológica por construções algébricas explícitas de transveções e comutadores.
• Teoria Inversa de Galois: A motivação principal é a construção de extensões de Galois de $\mathbb{Q}$ com grupos de Galois específicos.
  • O teorema da "Grande Monodromia" implica um teorema da "Grande Imagem de Galois".
  • Ao analisar a ação de Galois sobre a torção da Jacobiana desses recobrimentos cíclicos, o autor visa construir infinitas extensões de $\mathbb{Q}$ com grupos de Galois isomorfos a $PSL(n, q)$** e **$PSU(n, q)$ para potências de primos $q$ arbitrariamente grandes.
  • Isso aborda um problema aberto importante na teoria inversa de Galois sobre a realização de grupos simples finitos do tipo Lie como grupos de Galois sobre $\mathbb{Q}$.

Conclusão

O artigo de Nesterov fornece uma prova rigorosa de que a monodromia de recobrimentos cíclicos de $\mathbb{P}^1$ é "grande" no contexto mod $p$. Ao estabelecer que a imagem da monodromia contém os grupos lineares especiais ou unitários especiais completos, o artigo estabelece a base necessária para construir novas famílias de corpos numéricos com grupos de Galois prescritos, preenchendo a lacuna entre a monodromia geométrica e a teoria de Galois aritmética.