Finiteness for Étale Fundamental Groups of Néron Models

Resumo Técnico: Finitude dos Grupos Fundamentais Étales de Modelos de Néron

Enunciado do Problema
O artigo investiga a estrutura e as propriedades de finitude do grupo fundamental étale do modelo de Néron de uma variedade abeliana sobre um corpo numérico $K$. Especificamente, foca-se na parte "geométrica" deste grupo, denotada por $\pi_{1}^{\text{et,geom}}(\mathcal{A})$, definida como o núcleo do mapa $\pi_{1}^{\text{et}}(\mathcal{A}) \to \pi_{1}^{\text{et}}(\text{Spec } \mathcal{O}_K)$. Enquanto resultados anteriores de Katz e Lang estabeleceram a finitude do grupo fundamental completo para variedades abelianas sobre $\mathbb{Q}$, e Bost e Charles provaram a finitude para modelos regulares integrais de curvas elípticas, a finitude do subgrupo geométrico para variedades abelianas gerais sobre corpos numéricos arbitrários permanecia uma questão em aberto. O artigo visa provar que este subgrupo é finito e determinar se o seu tamanho pode ser uniformemente limitado dependendo apenas da dimensão e do corpo base.

Metodologia
A estratégia primária envolve analisar o comportamento da altura de Faltings sob coberturas étales finitas de modelos de Néron. O autor aproveita a fórmula de isogenia de Faltings, que relaciona as alturas de variedades abelianas isogêneas com o grau da isogenia. O argumento central procede por contradição: se o grupo fundamental geométrico fosse infinito, seria possível construir uma sequência de coberturas étales finitas (e, portanto, isogenias) de grau arbitrariamente grande. Pela fórmula de Faltings, tais isogenias produziriam variedades abelianas com alturas de Faltings arbitrariamente pequenas. Isso contradiz a propriedade de Northcott para variedades abelianas sobre corpos numéricos, que afirma que existem apenas finitas classes de isomorfismo de variedades abelianas com altura limitada por uma constante.

Para o caso específico de curvas elípticas, a metodologia é refinada para estabelecer a uniformidade. O autor utiliza o teorema da torção uniforme de Merel, que limita o tamanho do subgrupo de torção de curvas elípticas sobre um corpo numérico fixo. Ao mostrar que o núcleo de uma cobertura étale fina de um modelo de Néron deve ser definido sobre o corpo de classe de Hilbert de $K$, o problema é reduzido a limitar os pontos de torção sobre esta extensão específica.

No caso de curvas elípticas sobre $\mathbb{Q}$, o artigo emprega uma combinação de geometria aritmética e computação explícita. O autor analisa o discriminante da curva elíptica sob isogenia, mostrando que, para uma cobertura étale fina de grau $n$, o discriminante mínimo da cobertura deve ser a $n$-ésima potência do discriminante original. Esta condição, combinada com a fórmula de Silverman para a altura de Faltings e o teorema de torção de Mazur, restringe os possíveis graus de tais coberturas a um pequeno conjunto de inteiros. A não existência de coberturas de grau 7 é provada interpretando a existência de tal curva como um ponto racional na curva modular $X(1)$ que deve simultaneamente satisfazer condições derivadas da equação $A^2 + B^3 = 1728C^7$ e da geometria da curva modular $X_1(7)$. Isso envolve a construção de twists específicos de $X(7)$ e a realização de testes locais $p$-ádicos (usando Sage) para mostrar incompatibilidade.

Contribuições Principais e Resultados

1. Finitude Geral (Teorema 1.1): O artigo prova que, para qualquer variedade abeliana $A$ de dimensão $g$ sobre um corpo numérico $K$, o grupo fundamental étale geométrico $\pi_{1}^{\text{et,geom}}(\mathcal{A})$ de seu modelo de Néron é um grupo finito. Isso é alcançado demonstrando que os graus de coberturas étales finas do modelo de Néron são limitados, impedindo a existência de alturas de Faltings arbitrariamente pequenas.

2. Uniformidade para Curvas Elípticas (Teorema 1.3): Para curvas elípticas, o resultado de finitude é fortalecido para um limite uniforme. O artigo prova que existe uma constante $C$, dependendo apenas do corpo numérico $K$, tal que $|\pi_{1}^{\text{et,geom}}(\mathcal{E})| \le C$ para qualquer curva elíptica $E/K$. Isso baseia-se no fato de que o núcleo de uma isogenia se estende para uma cobertura étale fina de $\text{Spec } \mathcal{O}_K$, implicando que os pontos do núcleo são definidos sobre o corpo de classe de Hilbert, onde o teorema de Merel se aplica.

3. Classificação Explícita sobre $\mathbb{Q}$ (Teorema 1.4): Para curvas elípticas sobre $\mathbb{Q}$, o artigo fornece uma lista completa de possíveis grupos fundamentais étales para seus modelos de Néron. O grupo é isomorfo a $\mathbb{Z}/N\mathbb{Z}$ onde $N \in \{1, 2, 3, 5\}$.

   • O caso $N=7$ é descartado. A prova mostra que uma cobertura étale fina de grau 7 exigiria que o discriminante mínimo fosse uma sétima potência e a existência de um ponto de torção de ordem 7 racional. Ao analisar a curva modular $X(1)$ e a equação $A^2 + B^3 = 1728C^7$, o autor demonstra via testes locais que não existem pontos racionais que correspondam a curvas elípticas válidas com as propriedades de redução exigidas.
   • O caso $N=4$ é descartado para curvas com redução aditiva ao analisar os grupos de componentes das fibras especiais e usando a fórmula de altura de Silverman para mostrar que tal isogenia não pode existir.
   • Exemplos para $N=1, 2, 3, 5$ são fornecidos utilizando dados do LMFDB (L-functions and Modular Forms Database), confirmando que todos os casos listados são realizados.

Significância
O artigo estabelece uma propriedade fundamental de finitude para os grupos fundamentais étales geométricos de modelos de Néron, estendendo resultados anteriores de $\mathbb{Q}$ para corpos numéricos arbitrários e de modelos regulares integrais para o modelo de Néron completo. Ao provar que estes grupos são finitos e uniformemente limitados para curvas elípticas, o trabalho conecta a aritmética de isogenias, a geometria de modelos de Néron e a distribuição de pontos de torção. A classificação explícita sobre $\mathbb{Q}$ oferece uma compreensão concreta das possíveis simetrias destes modelos, descartando estruturas de grupo específicas (como $\mathbb{Z}/7\mathbb{Z}$) através de uma síntese da teoria de curvas modulares e análise diofantina. Os resultados baseiam-se em ferramentas padrão da geometria aritmética (altura de Faltings, propriedade de Northcott, teorema de Merel), mas aplicam-nas num contexto novel para resolver questões sobre a estrutura global de modelos de Néron.