Prescribed lifts of 2-dimensional representations

Basado en el texto proporcionado, aquí se presenta un resumen técnico detallado del artículo "Prescribed Lifts of 2-Dimensional Representations" de Emerton, Gee, Pan y Zhu.

Planteamiento del Problema

El artículo aborda un problema de levantamiento de lo local a lo global para representaciones galoisianas de 2 dimensiones. Sea $F$ un cuerpo totalmente real y $p$ un número primo. Dada una representación continua, absolutamente irreducible y totalmente impar $\rho: \text{Gal}_F \to \text{GL}_2(\mathbb{F})$ (donde $\mathbb{F}$ es un cuerpo finito de característica $p$), los autores investigan la existencia y finitud de levantamientos $\tilde{\rho}: \text{Gal}_F \to \text{GL}_2(\mathcal{O})$ (donde $\mathcal{O}$ es el anillo de enteros de una extensión finita de $\mathbb{Q}_p$) que satisfagan condiciones locales específicas.

Las condiciones prescritas están definidas por un problema de deformación global $S$, que incluye:

1. Un carácter de determinante fijo $\psi$ que levanta a $\det \rho$.
2. Condiciones locales en un conjunto finito de lugares $\Sigma$ (que contiene todos los lugares por encima de $p$).
   • Lejos de $p$: El levantamiento debe pertenecer a una unión prescrita no vacía de componentes irreducibles del anillo de deformación local de determinante fijo.
   • Por encima de $p$: El levantamiento debe pertenecer a una unión prescrita no vacía de componentes irreducibles de un anillo de deformación potencialmente semiestable con pesos de Hodge–Tate regulares arbitrarios.

La cuestión central es si el anillo de deformación global $R_S$ asociado con estas condiciones es un $\mathcal{O}$-álgebra finita de rango positivo. Si es así, esto implica que el conjunto de tales levantamientos es finito y no vacío.

Metodología

Los autores emplean una estrategia que combina la cohomología de Galois con la geometría de los esquemas modulares (moduli stacks) de $(\phi, \Gamma)$-módulos etales, evitando la necesidad de nuevos teoremas de levantamiento de modularidad para pesos arbitrarios.

1. Cota inferior cohomológica de Galois:
   Los autores primero establecen una cota inferior para la dimensión del anillo de deformación global $R_S$. Bajo las hipótesis estándar de Taylor–Wiles (específicamente que $\rho|_{\text{Gal}_F(\zeta_p)}$ es absolutamente irreducible, y condiciones no solubles para $p=2$ o condiciones no excepcionales para $p=5$), demuestran mediante cálculos de tangente-obstrucción que $\dim R_S \geq 1$. Esto asegura que, si $R_S$ es finito sobre $\mathcal{O}$, debe tener un rango positivo, garantizando la existencia de levantamientos de característica cero.

2. Finitud vía comparación de la fibra especial:
   El desafío técnico central es demostrar que $R_S$ es finito sobre $\mathcal{O}$. En trabajos previos, esto se lograba a menudo comparando el anillo de deformación con un álgebra de Hecke mediante teoremas de levantamiento de modularidad. Sin embargo, tales teoremas son generalmente conocidos solo para el caso de "peso 2 paralelo" (pesos de Hodge–Tate $\{0, 1\}$ en cada embedding).

   • Los autores utilizan el esquema modular (moduli stack) $X$ de $(\phi, \Gamma)$-módulos etales construido en [EG23].
   • Invocan una forma "topológica" de la filosofía de Breuil–Mézard: los subesquemas reducidos subyacentes de los anillos de deformación potencialmente semiestables para arbitrarios pesos de Hodge–Tate regulares son iguales a uniones adecuadas de componentes del subesquema reducido subyacente $X_{\text{red}}$.
   • Crucialmente, demuestran (Proposición 3.1.2) que toda representación local residual de 2 dimensiones (con el determinante requerido) está contenida en la fibra especial de un subesquema tame, potencialmente semiestable de peso 2.
   • Esto implica que, módulo el unificador $\varpi$ y hasta un engrosamiento nilpotente, cualquier anillo de deformación local potencialmente semiestable es un cociente de un anillo de deformación local de peso 2.

3. Reducción Global:
   Al tensar estas comparaciones locales, los autores construyen una suryección desde un anillo de deformación global $R_{S'}$ (donde $S'$ impone condiciones de peso 2) hacia un cociente del anillo original $R_S$ (módulo $\varpi$ y un ideal nilpotente). Dado que $R_{S'}$ es conocido por ser finito sobre $\mathcal{O}$ (vía los resultados de Snowden [Sno09] y los teoremas de Kisin), la finitud de $R_S$ se deduce de ello.

Contribuciones Clave

• Generalización de las condiciones de peso: El artículo extiende la finitud conocida de los anillos de deformación globales desde el caso de "peso 2 paralelo" al caso de pesos de Hodge–Tate regulares arbitrarios.
• Independencia de nuevos teoremas de modularidad: Los autores logran esta generalización sin establecer la potencial modularidad de los levantamientos ni probar nuevos teoremas de levantamiento de automorfía para pesos superiores. En su lugar, se apoyan en la estructura geométrica de los esquemas modulares de deformación.
• Componentes locales arbitrarias: El resultado permite prescribir un conjunto arbitrario no vacío de componentes irreducibles de los anillos de deformación locales, cubriendo una amplia gama de condiciones de nivel y peso simultáneamente.

Resultados Principales

Teorema 1.1.1 (Teorema 4.2.1):
Sea $F$ un cuerpo totalmente real y $\rho: \text{Gal}_F \to \text{GL}_2(\mathbb{F})$ una representación irreducible y totalmente impar. Suponga que:

• $\rho|_{\text{Gal}_F(\zeta_p)}$ es absolutamente irreducible.
• Si $p=2$, $\rho$ tiene imagen no soluble.
• Si $p=5$, $\rho$ no es excepcional (en el sentido de la Definición 4.1.1).

Entonces, para cualquier problema de deformación global $S$ (prescribiendo condiciones locales como se describió arriba), el anillo de deformación universal $R_S$ es un $\mathcal{O}$-álgebra finita de rango $\mathcal{O}$ positivo.

Corolario: El conjunto de clases de isomorfismo de levantamientos de $\rho$ a $\text{GL}_2(\mathcal{O})$ que satisfacen las condiciones locales prescritas es finito y no vacío.

Significado y Alcance

El artículo afirma proporcionar un análogo galoisiano de los teoremas sobre elevación de nivel (level raising), reducción de nivel (level lowering) y cambio de peso para formas modulares de Hilbert. Al demostrar que el anillo de deformación global es finito y no vacío, los autores demuestran que conjuntos arbitrarios y no vacíos de componentes locales ocurren globalmente.

Los autores señalan que sus hipótesis son las requeridas para el argumento estándar de Taylor–Wiles en el entorno de 2 dimensiones. Expresan explícitamente que no abordan el caso residualmente reducible ni las generalizaciones a representaciones de mayor dimensión o a otros grupos reductivos en este trabajo, aunque discuten los requisitos teóricos (como la "coincidencia numérica" en el método de Taylor–Wiles) que serían necesarios para tales extensiones. El resultado se presenta como un teorema estructural sobre la existencia de levantamientos con propiedades locales específicas, más que como una construcción de formas automórficas específicas.