Adjoint Bloch--Kato Selmer groups of regular algebraic automorphic Galois representations

Resumen Técnico: Grupos de Selmer de Bloch–Kato Adjuntos de Representaciones Galois Automorfas Regulares Algebraicas

Planteamiento del Problema
El artículo aborda la desaparición del grupo de Selmer de Bloch–Kato adjunto, $H^1_f(F, \text{ad } \rho)$, asociado con representaciones de Galois $\rho$ que surgen de representaciones automorfas algebraicas regulares de $\text{GL}_n$ sobre un cuerpo de números CM $F$. Se conjetura que este grupo desaparece según las conjeturas de Fontaine–Mazur, Beilinson y Bloch–Kato. Si bien existen resultados incondicionales para casos específicos (notablemente el escenario de "defecto 0" o de Taylor–Wiles), extender estos resultados al escenario de "defecto positivo" (donde la cohomología de los espacios simétricos locales asociados tiene torsión y no está concentrada en un solo grado) ha sido un desafío significativo.

Una dificultad primaria en el escenario de defecto positivo es la necesidad de trabajar con complejos en el argumento de parcheo (patching) en lugar de simples módulos. Esto complica la aplicación de los teoremas $R=T$, ya que se debe controlar las propiedades de los complejos parcheados (por ejemplo, asegurar que sean finitos generados sobre anillos de operadores de diamante) sin el control habitual proporcionado por las representaciones residuales que satisfacen la condición de Taylor–Wiles. Además, los enfoques previos requerían condiciones fuertes sobre la representación residual módulo $p$, tales como condiciones específicas de irreducibilidad o no trivialidad de $\rho|_{F(\zeta_p)}$.

Metodología
Los autores emplean un argumento de parcheo refinado utilizando ultrafiltros, adaptado para manejar complejos con grupos de cohomología de rango potencialmente ilimitado. La metodología procede a través de varias etapas técnicas clave:

1. Ultra-parcheo para Complejos: Los autores construyen complejos parcheados $M_{\infty, \bullet}$ utilizando un ultrafiltro no principal sobre una secuencia de niveles de Taylor–Wiles. A diferencia de trabajos previos que parcheaban módulos, esta construcción parchea complejos de cadenas singulares con coeficientes en un retículo $V^\vee_\lambda$.
2. Control de Kernels Nilpotentes: Un obstáculo técnico central es que los isomorfismos de tipo $R=T$ resultantes en el entorno parcheado son válidos solo hasta un ideal nilpotente. Para superar esto, los autores utilizan una técnica introducida en [AC23], que aprovecha la suavidad de la fibra $\mathbb{Q}_p$ de los anillos de deformación locales en puntos genéricos. Esto les permite deducir propiedades del espacio tangente de Zariski (y, por tanto, del grupo de Selmer) a pesar de la presencia de errores nilpotentes en el isomorfismo global.
3. Parcheo de Dos Pasos con Operadores de Discriminante: Los autores introducen un novedoso proceso de parcheo de dos pasos que involucra un operador de Hecke de "discriminante" $\delta$.
   • Primero, reemplazan el espacio de formas modulares $H_{Q_N}$ (libre sobre un anillo como $\mathbb{Z}_p[x]/(x^{p^r}-1)$) con un objeto parcheado $\tilde{H}^r$ (libre sobre $\mathbb{Z}_p[x]/(x^{p^r})$).
   • Este agrandamiento asegura que la localización $\delta \tilde{H}^r_q$ sea libre sobre $\mathbb{Q}_p[x]/(x^{p^r})$, eliminando efectivamente la diferencia entre los niveles esférico e Iwahori en los lugares de Taylor–Wiles.
   • Esto permite la recuperación del montaje de parcheo estándar sobre un anillo local regular (por ejemplo, $\mathbb{Q}_p[[x]]$) donde se pueden aplicar argumentos familiares.
4. Compatibilidad Local-Global: La prueba depende de resultados incondicionales de compatibilidad local-global para $\ell \neq p$ y $\ell = p$, establecidos en los artículos acompañantes [Hev26] y [AHTW26]. Estos resultados se aplican bajo una condición de "descomposición genérica" para asegurar que la descomposición de la cohomología con respecto al mapa de período de Hodge–Tate sea bien comportada.

Contribuciones Clave y Resultados
El resultado principal establece la desaparición del grupo de Selmer de Bloch–Kato adjunto bajo condiciones impuestas únicamente en la representación de Galois $p$-ádica, en lugar de en su representación residual módulo $p$.

• Teorema Principal (Teorema 5.1): Sea $F$ un cuerpo CM y $\pi$ una representación automorfa cuspidal, regular algebraica de $\text{GL}_n(\mathbb{A}_F)$. Sea $\rho = r_{\pi, \iota}$ la representación de Galois asociada. Si:

  1. La imagen $\rho(G_F(\zeta_{p^\infty}))$ es "enorme" (en el sentido de [NT23]);
  2. La extensión $L/F(\zeta_{p^\infty})$ determinada por $\text{ad } \rho$ satisface $H^1(L/F, \text{ad } \rho(1)) = 0$;
  3. $\rho|_{G_{F_v}}$ es genérica para todo $v|p$ o donde $\pi_v$ es ramificada;
     Entonces $H^1_f(F, \text{ad } \rho) = 0$.

• Corolarios:

  • Representaciones Puras (Corolario 5.2): Si $\rho$ es pura (una condición satisfecha por muchas representaciones automorfas), la desaparición se cumple.
  • Representaciones Polarizables (Corolario 5.3): Para representaciones polarizables (por ejemplo, aquellas asociadas a formas automorfas autoduales conjugadas), la desaparición se cumple siempre que la imagen sea enorme. Este resultado se señala como estrictamente más fuerte que el trabajo previo [NT23], ya que cubre la representación adjunta completa sobre $F$, no solo su parte autodual.
  • Potencias Simétricas de Curvas Elípticas (Corolario 5.4): Para una curva elíptica $E$ sobre $F$ con $\text{End}(E_F) = \mathbb{Z}$, $H^1_f(F, \text{ad } \text{Sym}^n V_p E) = 0$ para todo $n \ge 1$.

Significancia y Reivindicaciones
El artículo afirma que su novedad principal reside en imponer condiciones únicamente en las representaciones de Galois $p$-ádicas y no en sus representaciones residuales módulo $p$. Esto elimina la necesidad de la "condición de Taylor–Wiles" sobre la representación residual, lo cual era una restricción significativa en los resultados anteriores de "defecto 0".

Los autores declaran explícitamente que su argumento permite el manejo de entornos de "defecto positivo" donde los grupos de cohomología tienen una torsión significativa. Al desarrollar un método para parchear complejos y controlar los kernels nilpotentes resultantes, extienden el alcance de los resultados de desaparición de Bloch–Kato a una clase más amplia de representaciones automorfas. El trabajo se presenta como un resultado incondicional para clases específicas de representaciones (por ejemplo, aquellas con representaciones de Weil–Deligne puras), apoyándose en la condición de "imagen enorme" y la genericidad, que son a menudo verificables en la práctica (por ejemplo, vía el teorema de la imagen abierta de Serre para curvas elípticas).

El artículo no pretende resolver la conjetura de Bloch–Kato en su total generalidad, sino que establece nuevos casos incondicionales donde el grupo de Selmer desaparece, proporcionando así instancias de la conjetura y herramientas para aplicaciones posteriores en la teoría de deformaciones de Galois y el programa de Langlands.