On the computation of base-change lifts and lifts of Hida families

A continuación presento un resumen técnico detallado del artículo "On the computation of base-change lift and lifts of Hida families" (Sobre el cálculo de elevaciones de cambio base y elevaciones de familias de Hida), escrito por Iván Blanco-Chacón, Luis Dieulefait y Antti Haavikko.

1. Problema y Contexto

El artículo aborda un problema central en la teoría de números y la correspondencia de Langlands: el problema de cambio base (base-change problem).

• Contexto: Dada una forma modular clásica $f$ sobre $\mathbb{Q}$ (o una forma modular de Hilbert sobre un cuerpo totalmente real $F$), el problema consiste en determinar si su restricción a una extensión de cuerpos de números $L/F$ corresponde a una forma automorfa sobre $L$.
• El Vacío Existente: Trabajos previos de Langlands, Arthur, Clozel y Dieulefait han demostrado la existencia de estas elevaciones (lifts) para extensiones abelianas o solubles. Sin embargo, estos resultados son no constructivos: garantizan que la representación automorfa existe y está determinada por propiedades locales, pero no proporcionan una fórmula explícita para calcular sus coeficientes de Fourier (autovalores de Hecke) ni describen el objeto geométrico concreto al que pertenecen.
• Objetivo: El objetivo principal de este trabajo es proporcionar un enfoque explícito y computacional. Buscan derivar una fórmula cerrada para los autovalores de Hecke de una elevación de cambio base y utilizar esta fórmula para construir elevaciones de familias de Hida (familias p-ádicas de formas modulares).

2. Metodología

Los autores emplean una combinación de teoría de representaciones de Galois, teoría de formas modulares y algoritmos computacionales:

1. Derivación de Fórmulas Recursivas:

   • Utilizan la relación entre la traza de potencias de matrices de la representación de Galois asociada a una forma modular $f$ y sus coeficientes de Fourier $a(n)$.
   • Aprovechan la fórmula recursiva de los coeficientes de Fourier para potencias de primos: $a(p^n) = a(p)a(p^{n-1}) - \chi(p)p^{k-1}a(p^{n-2})$.
   • Demuestran que la traza de la representación de Galois elevada a la $n$-ésima potencia se relaciona directamente con $a(p^n)$ y términos de corrección.

2. Análisis de Grupos de Galois Locales:

   • Analizan la estructura de los grupos de descomposición e inercia en la extensión $F/\mathbb{Q}$.
   • Establecen la relación entre el elemento de Frobenius en el cuerpo base y su preimagen en la extensión, considerando el grado de residuo $r = f(\mathfrak{p}|p)$.

3. Construcción de Familias de Hida:

   • Definen las familias de Hida como representaciones de Galois p-ádicas continuas sobre anillos de Iwasawa.
   • Utilizan la densidad de los puntos clásicos (pesos enteros) en el espacio de pesos p-ádico para extender las fórmulas de cambio base de formas clásicas a toda la familia formal.

4. Implementación Computacional:

   • Desarrollan algoritmos en el sistema Magma para calcular los autovalores de Hecke de la elevación y para buscar y verificar la forma modular de Hilbert correspondiente dentro de espacios de formas nuevas.

3. Contribuciones Clave y Resultados Principales

El artículo presenta cuatro contribuciones fundamentales:

A. Fórmula Explícita para Autovalores de Hecke (Teorema 3.1)

Los autores generalizan los resultados de Doi, Naganuma y Saito a cualquier cuerpo de números totalmente real Galoisiano $F$.
Sea $f \in S_k(N, \chi)$ una forma nueva clásica y $h$ su elevación de cambio base a $F$. Para un primo racional $p$ que no divide al nivel $N$ y un primo $\mathfrak{p} \subset \mathcal{O}_F$ sobre $p$ con grado de residuo $r = f(\mathfrak{p}|p)$, el autovalor de Hecke $C(\mathfrak{p})$ de $h$ en $\mathfrak{p}$ viene dado por:

$$C(\mathfrak{p}) = \begin{cases} a(p) & \text{si } r = 1 \\ a(p^r) - \chi(p)p^{k-1}a(p^{r-2}) & \text{si } r > 1 \end{cases}$$

Esta fórmula permite calcular los coeficientes de la forma elevada utilizando únicamente los coeficientes de la forma original.

B. Factorización de Funciones L (Teorema 4.1)

Demuestran que para un cuerpo totalmente real abeliano $F$ de grado $n$, la función L de la elevación de cambio base $h$ se factoriza como un producto de funciones L torcidas de la forma original $f$:
$$L(h, s) = \prod_{i=0}^{n-1} L(f, s, \chi_i)$$
donde $\chi_i$ son los caracteres de Dirichlet asociados a la extensión $F/\mathbb{Q}$. La prueba es elemental y constructiva, basada en la igualdad de los factores de Euler locales para primos no ramificados.

C. Existencia y Construcción de Elevaciones de Familias de Hida (Teorema 5.3)

Este es un resultado teórico significativo. Los autores definen la elevación de cambio base de una familia de Hida clásica a una familia de formas de Hilbert.

• Construcción: Definen una representación de Galois $\rho_{\lambda, h}$ sobre $F$ cuyas trazas de Frobenius se calculan aplicando la fórmula del Teorema 3.1 a los coeficientes de la familia de Hida original (tratados como series de potencias formales sobre el anillo de Iwasawa).
• Resultado: Demuestran que esta construcción produce una familia de Hida de formas de Hilbert ordinarias que se especializa correctamente a las elevaciones de cambio base de las formas clásicas en cada peso.

D. Aplicaciones a Elevaciones Automorfas Potencialmente Diagonalizables

Utilizan las familias de Hida para generalizar resultados sobre la existencia de elevaciones automorfas con pesos de Hodge-Tate específicos.

• Teorema 1.1 (Caso Ordinario): Para cualquier forma cuspidal ordinaria $f$ y cualquier cuerpo totalmente real Galoisiano $F$, existe una secuencia de pesos $\{k_r\}$ tal que la restricción de la representación de Galois $\rho_{f,p}$ a $F$ admite una elevación automorfa potencialmente diagonalizable.
• Ventaja: El uso de familias de Hida permite eliminar restricciones técnicas presentes en trabajos anteriores (como $p > \max\{k, 6\}$ o condiciones sobre la imagen residual), simplificando las hipótesis necesarias para la existencia de estas elevaciones.

4. Significado e Impacto

1. De lo Existencial a lo Computacional: El trabajo transforma un problema de existencia abstracta en una herramienta computacional práctica. Los autores no solo prueban que la elevación existe, sino que proporcionan el algoritmo exacto para encontrarla.
2. Herramienta para la Conjetura de Langlands: Al proporcionar una descripción explícita de los objetos geométricos (formas de Hilbert) asociados a las representaciones de cambio base, facilitan el estudio de la functorialidad de Langlands para extensiones de cuerpos de números.
3. Avance en Familias de Hida: La extensión del cambio base al contexto de familias p-ádicas es un paso crucial para estudiar la variación de las propiedades de cambio base en familias continuas, lo cual es esencial para problemas de deformación y para abordar la automorficidad de potencias simétricas y productos tensoriales (mencionado como trabajo futuro).
4. Validación Computacional: La inclusión de pseudocódigo y ejemplos en Magma (Sección 6) demuestra la viabilidad práctica de los métodos teóricos, permitiendo a otros investigadores verificar y utilizar estas elevaciones en sus propios cálculos.

En resumen, el artículo cierra la brecha entre la teoría de la functorialidad de Langlands y la computación explícita, proporcionando las fórmulas y algoritmos necesarios para construir y estudiar elevaciones de cambio base tanto para formas modulares individuales como para familias enteras de Hida.