Towards the Fontaine--Mazur conjecture for GL(2)

Resumen Técnico: Hacia la Conjetura de Fontaine–Mazur para $GL_2$

Planteamiento del Problema
El artículo aborda la conjetura de Fontaine–Mazur para $GL_2$, específicamente la Conjetura A, que postula que las representaciones de Galois continuas e irreducibles $\rho: G_F \to GL_2(\mathbb{Q}_p)$ (donde $F$ es un cuerpo numérico totalmente real) que satisfacen condiciones locales específicas (desramificada casi en todas partes, de Rham con pesos de Hodge–Tate distintos en $p$ y determinante totalmente impar) surgen de la geometría.

Una brecha significativa en la literatura existente se refiere al caso en el que la representación residual $\bar{\rho}: G_F \to GL_2(\mathbb{F}_p)$ es reducible. Los teoremas de levantamiento de modularidad han probado con éxito la conjetura para representaciones residuales "suficientemente no degeneradas" (por ejemplo, irreducibles), pero estos métodos generalmente fallan cuando $\bar{\rho}$ es reducible. Los resultados previos en el caso reducible, tales como los de Skinner y Wiles [SW99], estaban limitados en gran medida al caso $F = \mathbb{Q}$ y han resistido la generalización a cuerpos totalmente reales arbitrarios.

Metodología
El autor, Jack A. Thorne, introduce un nuevo enfoque que combina un nuevo teorema de levantamiento de modularidad con la "geometría de los números" para manejar el caso de la representación residual reducible sobre cuerpos totalmente reales generales. La estrategia de la prueba se apoya en dos pilares técnicos primarios:

1. Un Nuevo Teorema de Levantamiento de Modularidad (Teorema 4.1): El artículo establece un resultado de levantamiento de modularidad donde la "cercanía" requerida entre una representación objetivo $\rho$ y una representación modular conocida $\rho'$ se mide mediante una congruencia módulo $\varpi^C$. Crucialmente, el exponente $C$ depende únicamente de los datos locales (lugares ramificados) y de la imagen de la representación global, en lugar de depender de invariantes globales sutiles como el rango o la cardinalidad de los grupos de Selmer. Esto permite que la constante $C$ permanezca estable bajo el cambio de base a extensiones adecuadas de cuerpos totalmente reales. La prueba utiliza un argumento de parcheo de Taylor–Wiles, construyendo un anillo de deformación parcheado $R_\infty$ y un álgebra de Hecke parcheada $T_\infty$. Una innovación clave involucra el uso de ultrafiltros para construir estos anillos y la aplicación de resultados de álgebra conmutativa (específicamente el Teorema 2.12 relativo al soporte de puntos en componentes irreducibles de espectros) para deducir que si un punto modular existe lo suficientemente cerca de un punto objetivo, el punto objetivo también debe residir en la misma componente irreducible, por lo tanto, es modular.

2. Construcción de Aproximaciones Modulares vía Geometría de los Números (Sección 3): Para aplicar el teorema de levantamiento, se debe construir una representación modular $\rho'$ que aproxime a $\rho$ módulo $\varpi^C$. El artículo construye estas aproximaciones utilizando Variedades Abelianas de Hilbert–Blumenthal (HBAVs).

   • El autor construye un espacio de módulos de HBAVs polarizadas con estructura de nivel.
   • Utilizando la "geometría de los números" (específicamente resultados sobre la distribución de puntos de red en cuerpos convexos, siguiendo a [DH98] y [Wid12]), el artículo demuestra la existencia de extensiones totalmente reales $F'/F$ y HBAVs sobre $F'$ cuyos módulos de Tate aproximan las restricciones locales de $\rho$ con un alto grado de precisión.
   • Esta construcción asegura la existencia de una representación modular $\rho'$ (que surge de la cohomología de estas HBAVs) que es congruente con $\rho$ módulo una potencia suficientemente alta del unificador.

Contribuciones Clave y Resultados

• Teorema B (Resultado Principal): El artículo demuestra que para un cuerpo totalmente real $F$ y un primo $p$, cualquier representación continua e irreducible $\rho: G_F \to GL_2(\mathbb{Q}_p)$ que satisfaga las condiciones de Fontaine–Mazur (desramificada casi en todas partes, potencialmente cristalina ordinaria de pesos $\{0, 1\}$ en $p$, y determinante totalmente impar) es potencialmente modular. Esto significa que existe una extensión totalmente real finita $F'/F$ tal que $\rho|_{G_{F'}}$ surge de una representación automórfica cuspidal y regular algebraica de $GL_2(\mathbb{A}_{F'})$.

  • Significado: Este resultado es aplicable incluso cuando la representación residual $\bar{\rho}$ es reducible, un caso previamente inaccesible para cuerpos totalmente reales generales.

• Teorema D (Aplicación a $\mathbb{Q}$): Como corolario, el artículo demuestra la modularidad de $\rho: G_\mathbb{Q} \to GL_2(\mathbb{Q}_p)$ bajo las mismas condiciones, abordando específicamente el caso abierto donde $p=2$ y $\bar{\rho}$ es reducible. Esto se deduce del Teorema B combinado con la conjetura de Serre.

• Álgebra Conmutativa y Determinantes de Grupos: El artículo proporciona resultados refinados sobre la estructura de los anillos de deformación y los determinantes de grupos (Proposición 2.13, Teorema 2.12), estableciendo condiciones bajo las cuales los puntos en los anillos de deformación residen en la misma componente irreducible basándose en la proximidad $p$-ádica.

Significancia y Reivindicaciones
El artículo afirma proporcionar un nuevo enfoque para la conjetura de Fontaine–Mazur que es robusto ante la presencia de representaciones residuales reducibles. Al desacoplar el nivel de congruencia requerido de los tamaños de los grupos de Selmer globales y basarse en su lugar en datos locales y la geometría de los números, el autor supera una obstrucción mayor en la generalización de los teoremas de levantamiento de modularidad a cuerpos totalmente reales.

El trabajo no pretende demostrar la conjetura completa de Fontaine–Mazur (lo cual requeriría eliminar el "potencialmente" en el Teorema B o manejar casos no ordinarios), sino que establece una nueva clase significativa de casos donde la potencial modularidad está garantizada. El autor señala que la potencial modularidad implica que la representación vive en un sistema compatible, y bajo condiciones adicionales (existencia de un lugar donde la representación de Weil–Deligne no es potencialmente desramificada), esto implica que la representación surge de la geometría.

El artículo establece explícitamente que la gran mayoría de los casos para $F=\mathbb{Q}$ ya eran conocidos vía la conjetura de Serre y los teoremas de levantamiento, pero este trabajo apunta específicamente al "caso abierto" de $p=2$ con imagen residual reducible, extendiendo el alcance de los resultados de modularidad a una clase más amplia de representaciones y cuerpos.