The metabelian Grothendieck conjecture for genus zero curves over finitely generated fields

Resumo Técnico: A Conjectura Metabeliana de Grothendieck para Curvas de Gênero Zero sobre Campos Finitamente Gerados

Enunciado do Problema
O artigo aborda a conjectura de Grothendieck no contexto da geometria anabeliana, focando especificamente na reconstrução da classe de isomorfismo de uma curva hiperbólica a partir de seu grupo fundamental. Embora a conjectura completa para curvas hiperbólicas sobre corpos (campos) de característica 0 finitamente gerados sobre $\mathbb{Q}$ e em característica positiva (sobre corpos finitos) tenha sido estabelecida por Nakamura, Tamagawa, Mochizuki e Stix, este trabalho investiga uma versão truncada.

O problema central é se o quociente metabeliano do grupo fundamental tame geometricamente maximal é suficiente para reconstruir a curva. Especificamente, para uma curva hiperbólica $X$ do tipo $(g, r)$ sobre um corpo $k$, seja $\Pi_X$ o grupo fundamental tame e $\Delta_X$ o grupo fundamental tame geométrico. O artigo considera o quociente metabeliano maximal do grupo geométrico, denotado por $\Delta_X^{meta} = \Delta_X / \Delta_X''$, e o quociente correspondente do grupo total, $\Pi_X^{meta} = \Pi_X / \Delta_X''$.

A conjectura postula que, para duas tais curvas $X_1$ e $X_2$, um isomorfismo de seus grupos fundamentais metabelianos sobre o grupo de Galois absoluto $G_k$ implica que as curvas são isomórficas sobre $k$ (salvo torção de Frobenius em característica positiva). O artigo foca especificamente no caso de gênero zero ($g=0$) com um número suficiente de furos ($r \geq 5$).

Metodologia
A estratégia de prova baseia-se em uma abordagem de "reconstrução grupoteórica", onde invariantes geométricos são recuperados apenas da estrutura do grupo fundamental metabeliano. A metodologia procede através de várias etapas fundamentais:

1. Reconstrução de Invariantes: O autor estabelece primeiro que invariantes básicos, como o fato de o corpo base ser finito ou infinito, o número de furos $r$, e o caractere ciclotômico, podem ser reconstruídos a partir do quociente metabeliano $\Pi_X^{meta}$. Isso envolve a análise da filtração de peso do quociente abeliano maximal $\Delta_X^{ab}$.
2. Grupos de Decomposição e Seções: Um componente crítico é a reconstrução dos grupos de decomposição (subgrupos correspondentes a pontos fechados da curva) a partir do quociente metabeliano. O artigo introduz o conceito de quasi-seções geométricas (homomorfismos contínuos de subgrupos abertos de $G_k$ para o grupo fundamental).
3. Propriedades de Separabilidade: Utilizando teoria de Kummer e argumentos cohomológicos, o autor prova propriedades de "separabilidade". Estes resultados demonstram que pontos fechados distintos na curva correspondem a grupos de decomposição distintos (ou não comensuráveis) dentro do grupo fundamental, desde que $r$ seja suficientemente grande.
4. Reconstrução da Curva sobre Corpos Finitos: Para o caso em que o corpo base $k$ é um corpo finito, o autor reconstrói o corpo de funções e a estrutura de esquema da curva. Isso envolve a definição de um monoide multiplicativo $K(\Pi^{ab})$ derivado do grupo fundamental e a demonstração de que este é isomórfico ao corpo de funções $K(X)$. Esta etapa utiliza a reconstrução dos grupos de decomposição e do elemento de Frobenius.
5. Argumento de Especialização: Para estender os resultados de corpos finitos para corpos finitamente gerados sobre um corpo finito (ou $\mathbb{Q}$), o artigo emprega um argumento de especialização. Ele utiliza anéis locais regulares henselianos para relacionar os grupos fundamentais da fibra genérica (o corpo de interesse) à fibra especial (um corpo finito). O núcleo da morfismo de especialização é mostrado como sendo reconstruível grupoteoricamente.

Contribuições Principais e Resultados
O artigo apresenta os seguintes teoremas principais, assumindo que as curvas são de gênero 0 e possuem pelo menos 5 furos ($r \geq 5$):

• Teorema A (Característica 0): Seja $k$ um corpo finitamente gerado sobre $\mathbb{Q}$. Duas curvas hiperbólicas suaves $X_1, X_2$ de gênero 0 com $r \geq 5$ são isomórficas sobre $k$ se, e somente se, seus grupos fundamentais metabelianos são isomórficos sobre $G_k$.
  $$X_1 \cong_k X_2 \iff \Pi_{X_1}^{meta} \cong_{G_k} \Pi_{X_2}^{meta}$$
• Teorema B (Corpos Finitos): Seja $k$ um corpo finito. Duas tais curvas são isomórficas sobre $k$ se, e somente se, seus grupos fundamentais metabelianos são isomórficos sobre $G_k$. (Nota: No caso de corpos finitos, o isomorfismo de grupos implica que as curvas são isomórficas como esquemas).
• Teorema C (Característica Positiva, Corpos Finitamente Gerados): Seja $k$ um corpo finitamente gerado sobre um corpo finito. Para curvas suaves não isotriviais $X_1, X_2$ de gênero 0 com $r \geq 5$, seus grupos fundamentais metabelianos são isomórficos sobre $G_k$ se, e somente se, existem inteiros não negativos $n_1, n_2$ tais que as torções de Frobenius satisfazem $X_1(n_1) \cong_k X_2(n_2)$.

Significância e Limitações
A significância deste trabalho reside no estabelecimento do caso metabeliano ($m=2$) da conjectura de Grothendieck para curvas de gênero zero. Resultados anteriores de Mochizuki e Nakamura cobriram passos de solvabilidade de ordem superior ($m \geq 5$) ou casos especiais específicos. O caso abeliano ($m=1$) é conhecido por ser insuficiente para a reconstrução, pois a ação de Galois sobre o quociente abeliano maximal é determinada inteiramente pelos caracteres ciclotômicos, que não distinguem entre diferentes curvas. O quociente metabeliano é o primeiro quociente não-abeliano solúvel onde uma afirmação anabeliana positiva é esperada e, como provado aqui, ocorre para $r \geq 5$.

O autor nota explicitamente a limitação em relação ao número de furos. A suposição $r \geq 5$ é necessária para a caracterização grupoteórica de se uma quasi-seção geométrica é cuspidal ou não-cuspidal. O método depende da análise de curvas de quociente do tipo $(0, r-1)$; portanto, para aplicar a caracterização indutivamente, é necessário que $r-1 \geq 4$. O artigo reconhece que o caso $r=3$ é excepcional e pode ser provado (Proposição 6.6), mas o caso geral para $r=4$ permanece em aberto, visto que a necessária caracterização grupoteórica para $r=3$ não é atualmente conhecida.

Em resumo, o artigo estende com sucesso a reconstrução anabeliana para o nível metabeliano para curvas de gênero zero com número suficiente de furos, preenchendo a lacuna entre a falha abeliana conhecida e os sucessos de solvabilidade de ordem superior.