The geometry of the unipotent component of the moduli space of Weil-Deligne representations

Resumo Técnico: A Geometria do Componente Unipotente do Espaço de Módulos de Representações de Weil-Deligne

Enunciação do Problema
O artigo investiga a geometria do espaço de módulos de representações de Weil-Deligne unipotentes com valores em um grupo redutivo split $G$ sobre um corpo local. Especificamente, foca no esquema $S_{G,O}$, que parametriza pares $(\Phi, N)$ onde $\Phi$ é um elemento semissimples e $N$ é um elemento nilpotente satisfazendo a relação $\text{Ad}(\Phi)N = qN$. Este esquema serve como um espaço de módulos emoldurado para representações de Weil-Deligne unipotentes e está intimamente relacionado aos anéis de deformação de Galois locais, que são centrais ao método de emendamento (patching) de Taylor-Wiles-Kisin utilizado na prova de teoremas de elevação de modularidade.

O problema geométrico primário abordado é a caracterização da suavidade das componentes irredutíveis de $S_{G,O}$. Embora se saiba que o esquema é uma união de componentes irredutíveis indexadas por órbitas nilpotentes, as condições sob as quais essas componentes são suaves (regulares) versus singulares não estavam totalmente estabelecidas para grupos redutivos gerais, particularmente no contexto da condição "considerada" exigida para a teoria de deformação.

Metodologia
O autor emprega uma combinação de geometria algébrica, teoria de representações e álgebra comutativa para analisar a estrutura local de $S_{G,O}$.

1. Consideração e Banalidade: O artigo introduz e utiliza a noção de "$q$-consideração", uma condição sobre a potência de primo $q$ relativa ao número de Coxeter $h_G$ do grupo $G$. Isso garante que $q$ se comporte bem em relação à estrutura do grupo (especificamente, que $1, q, \dots, q^{h_G}$ sejam distintos no corpo residual). Isso está ligado ao conceito de "$G$-banalidade" e "geometricamente-$G$-banalidade" do trabalho de Dat, Helm, Kurinczuk e Moss.
2. Teoria de Bala-Carter e Co-caracteres: A análise depende fortemente da teoria de Bala-Carter para classificar órbitas nilpotentes. Para um elemento nilpotente $e$, o autor associa um co-caractere $\lambda: \mathbb{G}_m \to G$ e decompõe a álgebra de Lie $\mathfrak{g}$ em autoespaços de $\text{Ad}(\lambda(t))$. A distinção entre órbitas nilpotentes "distinguidas" (onde o centralizador possui uma estrutura específica) e órbitas não distinguidas é crucial.
3. Provas de Suavidade:
   • Suavidade: Para componentes correspondentes a órbitas nilpotentes distinguidas (ou a órbita zero), o autor constrói um morfismo suave e sobrejetivo a partir de um produto do grupo $G$ e um subesquema suave específico $Y$ (definido via a decomposição de Levi do centralizador do elemento nilpotente). Ao mostrar que este mapa é um pullback de um morfismo suave, a suavidade da componente é estabelecida.
   • Singularidades: Para órbitas não distinguidas, o autor constrói um ponto específico na componente e demonstra que a dimensão do espaço tangente neste ponto excede estritamente a dimensão da componente. Isso é alcançado analisando a interação entre os espaços tangentes da órbita, do toro, do cone nilpotente e dos subgrupos unipotentes, utilizando as propriedades de raízes "expostas" no diagrama de Dynkin.
4. Emendamento e Formas Automorfas: Os resultados geométricos são aplicados ao contexto aritmético usando o método de emendamento de Taylor-Wiles-Kisin. O autor considera famílias de Hida de formas automorfas ordinárias em grupos unitários e constrói um anel de deformação global $R^{\text{univ}}_S$.

Principais Contribuições e Resultados

1. Caracterização de Componentes Suaves (Teorema 1.2):
   O artigo prova que, sob a suposição de que $q$ é considerado em relação a $G$:

   • A componente irredutível $X_C$ de $S_{G,O}$ correspondente a uma órbita nilpotente distinguida $C$ (ou a órbita zero) é suave sobre o anel base.
   • Inversamente, se $C$ é uma órbita nilpotente não trivial e não distinguida, a componente $X_C$ é singular.
     Este resultado generaliza trabalhos anteriores de Bellovin e Helm, fornecendo uma classificação geométrica completa da suavidade desses espaços de módulos.

2. Regularidade dos Anéis de Deformação:
   Ao estabelecer a suavidade dos anéis de deformação locais associados a órbitas distinguidas (especificamente representações de Steinberg e séries discretas), o artigo confirma que as fibras genéricas desses anéis de deformação locais são anéis locais regulares. Isso é um pré-requisito para que o argumento de emendamento tenha sucesso.

3. Livreza das Formas Automorfas Ordinárias (Teorema 1.3):
   Aplicando os resultados geométricos ao contexto global, o autor prova que o módulo de formas automorfas ordinárias $S^{\text{ord}}(U(p^\infty), L/\mathcal{O})^\vee$ é um módulo localmente livre e finito sobre o anel de deformação global $R^{\text{univ}}_S[1/l]$.

   • Isso implica que a álgebra de Hecke atuando nessas formas é isomorfa ao anel de deformação global (após inverter $l$).
   • Crucialmente, estabelece que a multiplicidade de formas automorfas com uma dada representação de Galois de característica zero é constante ao longo das componentes conexas do anel de deformação.

Significado e Alegações
O artigo alega fornecer uma fundação geométrica rigorosa para a suavidade dos anéis de deformação locais usados em teoremas modernos de elevação de modularidade. Ao identificar explicitamente quais componentes do espaço de módulos de Weil-Deligne são suaves, o trabalho justifica as suposições de regularidade frequentemente feitas em argumentos de emendamento.

A aplicação às famílias de Hida é significativa porque estende resultados de multiplicidade de formas automorfas clássicas para famílias de Hida não clássicas. O autor observa que, se a multiplicidade for 1 para formas clássicas em uma componente conexa específica, o resultado geométrico de livreza implica que a multiplicidade é 1 para todas as formas (clássicas e não clássicas) nessa componente. Isso preenche a lacuna entre a teoria dos números clássica e a geometria das famílias $p$-ádicas, garantindo que a propriedade de "multiplicidade um" seja preservada ao longo da família.

O trabalho não propõe novas aplicações experimentais ou conjecturas futuras além do escopo imediato de estabelecer a livreza do módulo e o isomorfismo entre as álgebras de Hecke e de deformação no contexto ordinário para grupos unitários. Ele depende e sintetiza maquinaria existente (Taylor-Wiles-Kisin, teoria de Hida) com novos insights geométricos relativos às singularidades dos fechos de órbitas nilpotentes no contexto de parâmetros de Weil-Deligne.