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

Resumen Técnico: La Conjetura de Grothendieck Metabeliana para Curvas de Género Cero sobre Campos Finitamente Generados

Planteamiento del Problema
El artículo aborda la conjetura de Grothendieck en el contexto de la geometría anabeliana, centrándose específicamente en la reconstrucción de la clase de isomorfismo de una curva hiperbólica a partir de su grupo fundamental. Si bien la conjetura completa para curvas hiperbólicas sobre campos finitamente generados sobre $\mathbb{Q}$ (característica 0) y sobre campos finitos (característica positiva) ha sido establecida por Nakamura, Tamagawa, Mochizuki y Stix, este trabajo investiga una versión truncada.

El problema central es si el cociente metabeliano del grupo fundamental tamizado geométricamente es suficiente para reconstruir la curva. Específicamente, para una curva hiperbólica suave $X$ de tipo $(g, r)$ sobre un campo $k$, sea $\Pi_X$ el grupo fundamental tamizado y $\Delta_X$ el grupo fundamental tamizado geométrico. El artículo considera el cociente metabeliano máximo del grupo geométrico, denotado como $\Delta_X^{meta} = \Delta_X / \Delta_X''$, y el cociente correspondiente del grupo completo, $\Pi_X^{meta} = \Pi_X / \Delta_X''$.

La conjetura postula que para dos tales curvas $X_1$ y $X_2$, un isomorfismo de sus grupos fundamentales metabelianos sobre el grupo galoisiano absoluto $G_k$ implica que las curvas son isomórficas sobre $k$ (salvo por el giro de Frobenius en característica positiva). El artículo se dirige específicamente al caso de género cero ($g=0$) con un número suficiente de puntos de ramificación o punciones ($r \geq 5$).

Metodología
La estrategia de la prueba se basa en un enfoque de "reconstrucción teórica de grupos", donde los invariantes geométricos se recuperan únicamente de la estructura del grupo fundamental metabeliano. La metodología procede a través de varias etapas clave:

1. Reconstrucción de Invariantes: El autor establece primero que los invariantes básicos, como si el campo base es finito o infinito, el número de punciones $r$ y el carácter ciclotómico, pueden reconstruirse a partir del cociente metabeliano $\Pi_X^{meta}$. Esto implica analizar la filtración de peso del máximo cociente abeliano $\Delta_X^{ab}$.
2. Grupos de Descomposición y Secciones: Un componente crítico es la reconstrucción de los grupos de descomposición (subgrupos correspondientes a puntos cerrados de la curva) a partir del cociente metabeliano. El artículo introduce el concepto de cuasi-secciones geométricas (homomorfismos continuos de subgrupos abiertos de $G_k$ al grupo fundamental).
3. Propiedades de Separación: Utilizando la teoría de Kummer y argumentos cohomológicos, el autor demuestra propiedades de "separación". Estos resultados demuestran que puntos cerrados distintos en la curva corresponden a grupos de descomposición distintos (o no conmensurables) dentro del grupo fundamental, siempre que $r$ sea suficientemente grande.
4. Reconstrucción de la Curva sobre Campos Finitos: Para el caso donde el campo base $k$ es un campo finito, el autor reconstruye el cuerpo de funciones y la estructura de esquema de la curva. Esto implica definir un monoide multiplicativo $K(\Pi^{ab})$ derivado del grupo fundamental y demostrar que es isomórfico al cuerpo de funciones $K(X)$. Este paso utiliza la reconstrucción de los grupos de descomposición y el elemento de Frobenius.
5. Argumento de Especialización: Para extender los resultados de los campos finitos a los campos finitamente generados sobre un campo finito (o $\mathbb{Q}$), el artículo emplea un argumento de especialización. Utiliza anillos locales regulares henselianos para relacionar los grupos fundamentales de la fibra genérica (el campo de interés) con la fibra especial (un campo finito). Se demuestra que el núcleo de la morfismo de especialización es teóricamente reconstruible desde el punto de vista de los grupos.

Contribuciones Clave y Resultados
El artículo proporciona los siguientes teoremas principales, asumiendo que las curvas son de género 0 y tienen al menos 5 punciones ($r \geq 5$):

• Teorema A (Característica 0): Sean $k$ un campo finitamente generado sobre $\mathbb{Q}$. Dos curvas hiperbólicas suaves $X_1, X_2$ de género 0 con $r \geq 5$ son isomórficas sobre $k$ si y solo si sus grupos fundamentales metabelianos son 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 (Campos Finitos): Sean $k$ un campo finito. Dos tales curvas son isomórficas sobre $k$ si y solo si sus grupos fundamentales metabelianos son isomórficos sobre $G_k$. (Nota: En el caso de campos finitos, el isomorfismo de grupos implica que las curvas son isomórficas como esquemas).
• Teorema C (Característica Positiva, Campos Finitamente Generados): Sea $k$ un campo finitamente generado sobre un campo finito. Para curvas no isotriviales suaves $X_1, X_2$ de género 0 con $r \geq 5$, sus grupos fundamentales metabelianos son isomórficos sobre $G_k$ si y solo si existen enteros no negativos $n_1, n_2$ tales que los giros de Frobenius satisfacen $X_1(n_1) \cong_k X_2(n_2)$.

Significancia y Limitaciones
La significancia de este trabajo radica en establecer el caso metabeliano ($m=2$) de la conjetura de Grothendieck para curvas de género cero. Resultados previos de Mochizuki y Nakamura cubrieron pasos de solvibilidad más altos ($m \geq 5$) o casos especiales específicos. El caso abeliano ($m=1$) es conocido por ser insuficiente para la reconstrucción, ya que la acción de Galois sobre el máximo cociente abeliano está determinada enteramente por los caracteres ciclotómicos, los cuales no distinguen entre diferentes curvas. El cociente metabeliano es el primer cociente soluble no abeliano donde se espera un enunciado anabeliano positivo y, como se demuestra aquí, se cumple para $r \geq 5$.

El autor señala explícitamente la limitación respecto al número de punciones. La suposición $r \geq 5$ es necesaria para la caracterización teórica de grupos de si una cuasi-sección geométrica es cuspidal o no cuspidal. El método depende del análisis de curvas cociente de tipo $(0, r-1)$; por lo tanto, para aplicar la caracterización inductivamente, se requiere que $r-1 \geq 4$. El artículo reconoce que el caso $r=3$ es excepcional y puede probarse (Proposición 6.6), pero el caso general para $r=4$ permanece abierto, ya que la caracterización teórica de grupos necesaria para $r=3$ no se conoce actualmente.

En resumen, el artículo extiende con éxito la reconstrucción anabeliana al nivel metabeliano para curvas de género cero con suficientes punciones, cerrando la brecha entre el fallo abeliano conocido y los éxitos de solvibilidad de pasos superiores.