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

Resumen Técnico: La Geometría del Componente Unipotente del Espacio de Módulos de Representaciones de Weil-Deligne

Planteamiento del Problema
El artículo investiga la geometría del espacio de módulos de representaciones de Weil-Deligne unipotentes con valores en un grupo reductivo dividido $G$ sobre un cuerpo local. Específicamente, se centra en el esquema $S_{G,O}$, que parametriza pares $(\Phi, N)$ donde $\Phi$ es un elemento semisimple y $N$ es un elemento nilpotente que satisface la relación $\text{Ad}(\Phi)N = qN$. Este esquema sirve como un espacio de módulos enmarcado para representaciones de Weil-Deligne unipotentes y está estrechamente relacionado con los anillos de deformación de Galois locales, los cuales son centrales en el método de empalme (patching) de Taylor-Wiles-Kisin utilizado en la demostración de teoremas de elevación de modularidad.

El problema geométrico principal abordado es la caracterización de la suavidad de las componentes irreducibles de $S_{G,O}$. Si bien se sabe que el esquema es una unión de componentes irreducibles indexadas por órbitas nilpotentes, las condiciones bajo las cuales estas componentes son suaves (regulares) frente a singulares no estaban completamente establecidas para grupos reductivos generales, particularmente en el contexto de la condición "considerada" requerida para la teoría de deformaciones.

Metodología
El autor emplea una combinación de geometría algebraica, teoría de representaciones y álgebra conmutativa para analizar la estructura local de $S_{G,O}$.

1. Consideración y Banalidad: El artículo introduce y utiliza la noción de "$q$-consideración", una condición sobre la potencia prima $q$ relativa al número de Coxeter $h_G$ del grupo $G$. Esto asegura que $q$ se comporte bien con respecto a la estructura del grupo (específicamente, que $1, q, \dots, q^{h_G}$ sean distintos en el cuerpo residual). Esto está vinculado al concepto de "$G$-banalidad" y "geométricamente-$G$-banalidad" de la obra de Dat, Helm, Kurinczuk y Moss.
2. Teoría de Bala-Carter y Cocharácteres: El análisis depende en gran medida de la teoría de Bala-Carter para clasificar órbitas nilpotentes. Para un elemento nilpotente $e$, el autor asocia un cocharácter $\lambda: \mathbb{G}_m \to G$ y descompone el álgebra de Lie $\mathfrak{g}$ en espacios propios de $\text{Ad}(\lambda(t))$. La distinción entre órbitas nilpotentes "distinguidas" (donde el centralizador tiene una estructura específica) y órbitas no distinguidas es crucial.
3. Pruebas de Suavidad:
   • Suavidad: Para componentes correspondientes a órbitas nilpotentes distinguidas (o la órbita cero), el autor construye un morfismo sobreyectivo suave desde un producto del grupo $G$ y un subesquema suave específico $Y$ (definido mediante la descomposición de Levi del centralizador del elemento nilpotente). Al demostrar que este mapa es un pullback de un morfismo suave, se establece la suavidad de la componente.
   • Singularidades: Para órbitas no distinguidas, el autor construye un punto específico en la componente y demuestra que la dimensión del espacio tangente en este punto excede estrictamente la dimensión de la componente. Esto se logra analizando la interacción entre los espacios tangentes de la órbita, el toro, el cono nilpotente y los subgrupos unipotentes, utilizando las propiedades de las raíces "expuestas" en el diagrama de Dynkin.
4. Empalme y Formas Automorfas: Los resultados geométricos se aplican al contexto aritmético utilizando el método de empalme de Taylor-Wiles-Kisin. El autor considera familias de Hida de formas automorfas ordinarias sobre grupos unitarios y construye un anillo de deformación global $R^{\text{univ}}_S$.

Contribuciones y Resultados Clave

1. Caracterización de Componentes Suaves (Teorema 1.2):
   El artículo demuestra que bajo la suposición de que $q$ es considerado hacia $G$:

   • La componente irreducible $X_C$ de $S_{G,O}$ correspondiente a una órbita nilpotente distinguida $C$ (o la órbita cero) es suave sobre el anillo base.
   • Por el contrario, si $C$ es una órbita nilpotente no trivial y no distinguida, la componente $X_C$ es singular.
     Este resultado generaliza trabajos anteriores de Bellovin y Helm, proporcionando una clasificación geométrica completa de la suavidad de estos espacios de módulos.

2. Regularidad de Anillos de Deformación:
   Al establecer la suavidad de los anillos de deformación locales asociados a órbitas distinguidas (específicamente representaciones de Steinberg y series discretas), el artículo confirma que las fibras genéricas de estos anillos de deformación locales son anillos locales regulares. Esto es un prerrequisito para que el argumento de empalme tenga éxito.

3. Libertad de Formas Automorfas Ordinarias (Teorema 1.3):
   Aplicando los resultados geométricos al contexto global, el autor demuestra que el módulo de formas automorfas ordinarias $S^{\text{ord}}(U(p^\infty), L/\mathcal{O})^\vee$ es un módulo localmente libre finito sobre el anillo de deformación global $R^{\text{univ}}_S[1/l]$.

   • Esto implica que el álgebra de Hecke que actúa sobre estas formas es isomorfa al anillo de deformación global (después de invertir $l$).
   • Crucialmente, establece que la multiplicidad de formas automorfas con una representación de Galois de característica cero dada es constante a lo largo de las componentes conexas del anillo de deformación.

Significado y Afirmaciones
El artículo afirma proporcionar una base geométrica rigurosa para la suavidad de los anillos de deformación locales utilizados en teoremas modernos de elevación de modularidad. Al identificar explícitamente qué componentes del espacio de módulos de Weil-Deligne son suaves, el trabajo justifica las suposiciones de regularidad a menudo realizadas en argumentos de empalme.

La aplicación a las familias de Hida es significativa porque extiende resultados de multiplicidad desde formas automorfas clásicas a familias de Hida no clásicas. El autor señala que si la multiplicidad es 1 para formas clásicas en una componente conexa específica, el resultado geométrico de libertad implica que la multiplicidad es 1 para todas las formas (clásicas y no clásicas) en esa componente. Esto cierra la brecha entre la teoría de números clásica y la geometría de familias $p$-ádicas, asegurando que la propiedad de "multiplicidad uno" se preserve a través de la familia.

El trabajo no propone nuevas aplicaciones experimentales ni conjeturas futuras más allá del alcance inmediato de establecer la libertad del módulo y el isomorfismo entre los anillos de Hecke y de deformación en el contexto ordinario para grupos unitarios. Se basa y sintetiza maquinaria existente (Taylor-Wiles-Kisin, teoría de Hida) con nuevas perspectivas geométricas sobre las singularidades de los cierres de órbitas nilpotentes en el contexto de los parámetros de Weil-Deligne.