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

Resumo Técnico: Cálculo de Levantamentos de Mudança de Base e Famílias de Hida

Autores: Iván Blanco-Chacón, Luis Dieulefait e Antti Haavikko.
Data: Abril de 2026 (arXiv).

1. O Problema

O artigo aborda o problema da mudança de base (base-change) no contexto da conjectura de functorialidade de Langlands. Especificamente, o problema consiste em determinar se, dado um representação automórfica (ou forma modular) definida sobre um corpo de números base $F$ (neste caso, $\mathbb{Q}$), a sua restrição a uma extensão de corpos $L/F$ permanece automórfica.

Embora a existência de tais levantamentos (lifts) tenha sido estabelecida teoricamente para extensões solúveis (trabalhos de Langlands, Arthur-Clozel, Dieulefait), os resultados anteriores são não-construtivos. Eles garantem a existência de uma forma automórfica levantada, mas não fornecem um método explícito para calcular os seus invariantes geométricos, especificamente os autovalores de Hecke. Além disso, não havia uma generalização completa para extensões de mudança de base de famílias de formas modulares (Famílias de Hida) para corpos totalmente reais arbitrários.

2. Metodologia

Os autores desenvolveram uma abordagem computacional e explícita para resolver o problema da mudança de base de formas modulares clássicas para formas modulares de Hilbert sobre corpos de números totalmente reais e Galois. A metodologia divide-se em três pilares principais:

• Derivação de Fórmulas Explícitas: Utilizando a teoria de representações de Galois associadas a formas modulares (teorema de Deligne-Serre) e propriedades de traços de potências de matrizes, os autores derivaram uma fórmula recursiva para calcular os autovalores de Hecke da forma levantada ($h$) a partir dos autovalores da forma original ($f$).
• Generalização para Corpos Galois: Ao contrário de trabalhos anteriores que se limitavam a extensões quadráticas ou cíclicas de ordem prima, esta metodologia aplica-se a qualquer corpo de números totalmente real e Galois.
• Construção de Famílias de Hida: Os autores estenderam as fórmulas de mudança de base para o contexto p-ádico. Eles definiram o levantamento de uma Família de Hida (uma família contínua de formas modulares ordinárias) como uma série de potências formal cujos coeficientes são construídos aplicando as fórmulas de mudança de base aos coeficientes de Iwasawa da família original.
• Implementação Computacional: O trabalho inclui a implementação de algoritmos no sistema de álgebra computacional Magma para calcular esses autovalores e identificar explicitamente as formas modulares de Hilbert levantadas.

3. Contribuições Principais e Resultados

A. Fórmula para Autovalores de Hecke (Teorema 3.1)
O resultado central é uma fórmula explícita para o autovalor de Hecke $C(\mathfrak{p})$ de uma forma de Hilbert $h$ (levantamento de $f$) em um primo $\mathfrak{p} \subset \mathcal{O}_F$ acima de um primo racional $p$:
$$C(\mathfrak{p}) = \begin{cases} a(p) & \text{se } r = 1 \\ a(p^r) - \chi(p)p^{k-1}a(p^{r-2}) & \text{se } r > 1 \end{cases}$$
Onde:

• $a(n)$ são os coeficientes de Fourier de $f$.
• $r = f(\mathfrak{p}|p)$ é o grau residual de $\mathfrak{p}$ sobre $p$.
• $k$ é o peso e $\chi$ é o carater de Nebentypus.
  Esta fórmula generaliza os resultados de Doi, Naganuma e Saito para qualquer corpo totalmente real Galois.

B. Fatorização da Função L (Teorema 4.1)
Para um corpo abeliano totalmente real $F$ de grau $n$, os autores provam que a função L da forma levantada $h$ fatora-se como um produto de funções L torcidas da forma original $f$ pelos caracteres de Dirichlet associados à extensão $F/\mathbb{Q}$:
$$L(h, s) = \prod_{i=0}^{n-1} L(f, s, \chi_i)$$
Esta fatorização é provada de forma elementar e construtiva, validando a igualdade dos fatores de Euler locais para quase todos os primos.

C. Levantamento de Famílias de Hida (Teorema 5.3)
O artigo prova a existência de um levantamento de mudança de base para Famílias de Hida. Eles constroem uma família de formas de Hilbert ordinária que se especializa para os levantamentos de mudança de base das formas clássicas na família original. Isso permite estudar propriedades de deformação em famílias contínuas.

D. Aplicações a Levantamentos Diagonalizáveis Potencialmente (Teoremas 1.1, 1.2, 5.5, 5.6)
Utilizando as famílias de Hida, os autores generalizam resultados sobre a existência de levantamentos automórficos potencialmente diagonalizáveis de representações de Galois.

• Caso Ordinário: Mostram que, para formas ordinárias, a condição restritiva $p > \max\{k, 6\}$ pode ser removida ao utilizar famílias de Hida.
• Caso Não-Ordinário: Estabelecem resultados sob condições de imagem grande e não-CM, provando a existência de levantamentos com pesos de Hodge-Tate $\{0, k_r-1\}$ para uma sequência de pesos $k_r$.

E. Implementação Prática (Seção 6)
Fornecem pseudocódigo e exemplos em Magma que demonstram como calcular os autovalores e identificar a forma de Hilbert específica que corresponde ao levantamento, incluindo casos com graus residuais altos (ex: $r=5$) e perda de ramificação no nível.

4. Significância e Impacto

1. Transição do Existencial para o Construtivo: O trabalho transforma o problema de mudança de base de uma questão puramente existencial (garantida por teoremas de functorialidade) em um problema computável. Isso permite a verificação explícita de conjecturas e a geração de dados numéricos para novas investigações.
2. Generalização de Resultados Clássicos: Estende os métodos de Doi-Naganuma (quadráticos) e Saito (cíclicos de ordem prima) para o caso geral de corpos totalmente reais Galois.
3. Ferramenta para Conjecturas de Langlands: A capacidade de levantar famílias de Hida é crucial para abordar problemas mais complexos, como a mudança de base de produtos tensoriais e potências simétricas de representações automórficas. Os autores indicam que este trabalho é um passo fundamental para provar a automorfia de tais objetos sobre corpos totalmente reais.
4. Remoção de Restrições Técnicas: Ao utilizar a teoria de famílias de Hida, os autores conseguem remover condições técnicas severas (como limites inferiores no primo $p$) que eram necessárias em abordagens anteriores baseadas em deformações globais isoladas.

Em suma, o artigo fornece a "receita" explícita para construir e calcular levantamentos de mudança de base, preenchendo uma lacuna crítica entre a teoria de representações de Galois e a teoria computacional de formas modulares de Hilbert.