Uniform irreducibility of Galois action on the $\ell$-primary part of Abelian $3$-folds of Picard type

Resumo Técnico: Irredutibilidade Uniforme da Ação de Galois em 3-Foldes Abelianos de Tipo Picard

1. O Problema e o Contexto

O trabalho generaliza um resultado clássico de Manin (1970) sobre curvas elípticas para variedades abelianas de dimensão superior.

• Contexto Histórico: Manin provou que, para um corpo de números $k$ e um primo $\ell$, existe um limite uniforme $r$ tal que, para qualquer curva elíptica não-CM (sem multiplicação complexa) sobre $k$, o subgrupo de torsão $\ell^r$ não contém uma linha $k$-racional (ou seja, a imagem do grupo de Galois não está contida em um subgrupo de Borel).
• O Desafio: Estender essa uniformidade para famílias de variedades abelianas de dimensão 3 (3-foldes) que possuem multiplicação por um corpo quadrático imaginário $M$.
• Objetivo Específico: Provar que, para certas famílias 2-dimensionais de 3-foldes abelianos de tipo Picard, existe um inteiro $r$ (dependendo apenas de $\ell$, $k$ e de um conjunto finito de lugares) tal que a representação de Galois associada ao módulo de torsão $\ell^r$ não admite um "flag completo" $k$-racional (uma cadeia de subespaços invariantes).

2. Metodologia e Estrutura da Prova

A prova é altamente sofisticada, combinando teoria de números, geometria aritmética e teoria de representações automorfas. A estratégia divide-se em três pilares principais:

A. Geometria Aritmética e Conjectura de Bombieri-Lang

• Os 3-foldes de tipo Picard são parametrizados por superfícies modulares de Picard (variedades de Shimura de dimensão 2).
• O objetivo é mostrar que os pontos $k$-racionais nessas superfícies não são densos no sentido de Zariski.
• Para isso, os autores utilizam a Conjectura de Bombieri-Lang, que prevê que em variedades de tipo geral, os pontos racionais estão contidos em uma união finita de subvariedades de dimensão menor (curvas e pontos).
• Desafio Técnico: As superfícies em questão possuem níveis de congruência não "neat" (com torção), o que impede o uso direto de métodos anteriores. Os autores precisam provar que a irregularidade ($q = h^1(\mathcal{O}_X)$) dessas superfícies é suficientemente alta ($\ge 3$) para garantir que a superfície seja de tipo geral.

B. Teoria de Representações Automorfas (Nível Local)

• Para calcular a irregularidade, os autores analisam formas automorfas em grupos unitários $U(3)$.
• Eles focam em representações não-temperadas (endoscópicas) que aparecem em pacotes de Arthur.
• Contribuição Chave Local: Eles resolvem questões delicadas sobre a existência de vetores invariantes sob subgrupos de Iwahori de profundidade $r$ ($\Gamma_0(\ell^r)$) para essas representações não-temperadas.
  • Utilizam coeficientes de matriz e operadores de entrelaçamento (intertwining operators).
  • Realizam cálculos precisos de somas exponenciais para determinar quando essas representações possuem invariantes não nulos.
  • Demonstram que, sob certas condições de ramificação no primo $\ell$ e no discriminante $D$, a irregularidade cresce com o nível.

C. Grupos de Galois e Famílias de Curvas

• Uma vez estabelecida a Conjectura de Bombieri-Lang, os pontos racionais residem em curvas ou pontos isolados.
• Para as curvas, os autores aplicam resultados de Cadoret e Tamagawa sobre a limitação uniforme da ação de Galois em famílias de dimensão 1.
• Para os pontos isolados, utilizam a conjectura de Mumford-Tate (conhecida para dimensão 3) para lidar com casos de CM (Multiplicação Complexa).

3. Principais Resultados (Teoremas)

Teorema A (Caso Semi-estável):
Dado um corpo de números $k$, um primo $\ell$ inerte em $M$ e um conjunto finito de lugares $S$, existe um inteiro $r$ tal que, para qualquer 3-folde abeliano de tipo Picard não-CM e semi-estável fora de $S$, o módulo $A[\ell^r]$ não contém um flag completo $k$-racional.

Teorema B (Resultado Principal - Relaxando a Estabilidade):
Dado $k$ contendo $M$ e $\ell$ inerte, existe um inteiro $r$ tal que, para qualquer 3-folde abeliano de tipo Picard não-CM onde um homomorfismo específico $\varepsilon_{A,D}$ (relacionado à ação projetiva em $D$) é trivial, o módulo $A[\ell^r]$ não contém um flag completo $k$-racional.

• Nota: O Teorema B implica o Teorema A, pois a semi-estabilidade garante a trivialidade de $\varepsilon_{A,D}$ após uma extensão de corpo finita.

Resultados sobre Irregularidade:

• Demonstram que para $D \equiv 3 \pmod 8$, a irregularidade da superfície modular de nível $\ell^r$ cresce linearmente com $r$.
• Para $D \equiv 7 \pmod 8$, exigem níveis mais altos (como $\ell^3$ ou $\ell^7$) e o uso de caracteres de ramificação moderada (tamely ramified) para garantir a irregularidade $\ge 3$.

4. Contribuições Técnicas e Novas Ferramentas

1. Cálculo de Níveis para Representações Não-Temperadas:
   O artigo resolve um problema aberto sobre quais sub-quotientes de induções parabólicas de caracteres não-ramificados possuem invariantes sob subgrupos de Iwahori específicos. Eles provam que representações não-temperadas em pacotes de Arthur de $U(3)$ possuem invariantes não triviais sob subgrupos de Iwahori de profundidade suficiente, o que é crucial para gerar formas diferenciais holomorfas (irregularidade).

2. Somas Exponenciais e Operadores de Entrelaçamento:
   Os autores desenvolvem uma técnica nova para lidar com a não-genericidade das representações. Eles calculam explicitamente o traço de operadores de entrelaçamento em grupos finitos reductivos, reduzindo o problema à não-vanishing de somas exponenciais específicas.

3. Subgrupo de Gross ($K''$):
   A introdução e utilização de um subgrupo de índice 2 ($K''$) nos grupos compactos maximais em primos ramificados é essencial. Isso permite controlar o sinal do número de raiz global ($W(\lambda^3)$), garantindo que existam formas automorfas com a paridade correta para contribuir para a cohomologia.

4. Primeiro Resultado em Base 2-Dimensional:
   Este é o primeiro resultado de irredutibilidade uniforme para uma família genuinamente 2-dimensional de variedades abelianas. Trabalhos anteriores (Cadoret-Tamagawa) lidavam com famílias de dimensão 1 (curvas).

5. Significado e Impacto

• Generalização de Manin: O trabalho estende a teoria de limites uniformes de torsão de curvas elípticas para dimensões superiores, um passo significativo na teoria de Galois de variedades abelianas.
• Conexão entre Geometria e Teoria de Representações: O artigo demonstra como propriedades analíticas de representações automorfas (invariantes de nível) controlam diretamente propriedades aritméticas de variedades de Shimura (densidade de pontos racionais).
• Validação da Conjectura de Bombieri-Lang: O trabalho fornece evidências concretas e prova casos específicos da conjectura de Bombieri-Lang para superfícies de Picard com níveis de congruência não-neat, uma classe de variedades anteriormente difícil de tratar.
• Aplicabilidade: A técnica desenvolvida para lidar com representações não-temperadas e subgrupos de Iwahori pode ser adaptada para outros grupos unitários e problemas de irredutibilidade em dimensões superiores.

Em suma, o artigo é uma obra-prima de síntese entre a teoria de números moderna, a teoria de grupos algébricos e a geometria aritmética, estabelecendo novos limites para o que é conhecido sobre a estrutura de Galois de variedades abelianas de dimensão 3.