Commutative algebra inspired by modularity lifting

Aquí presento un resumen técnico detallado del artículo "Commutative algebra inspired by modularity lifting" de Srikanth B. Iyengar, estructurado según los puntos solicitados.

1. El Problema y el Contexto

El artículo aborda el desarrollo de resultados en álgebra conmutativa pura que han surgido como consecuencia directa de la demostración de la conjetura de Shimura-Taniyama-Weil (modularidad de curvas elípticas semiestables) por parte de Andrew Wiles, Richard Taylor y otros.

El núcleo del problema original en teoría de números consistía en probar que ciertos mapas suryectivos $\phi_\Sigma: R_\Sigma \to T_\Sigma$ entre anillos locales noetherianos (donde $R_\Sigma$ parametriza deformaciones de representaciones de Galois y $T_\Sigma$ es un álgebra de Hecke) son isomorfismos.

• El desafío algebraico: Para probar que $\phi_\Sigma$ es un isomorfismo, Wiles y Diamond demostraron que el módulo de formas modulares $M_\Sigma$ es libre sobre $R_\Sigma$ y que $R_\Sigma$ es una intersección completa.
• La brecha: Mientras que el caso "mínimo" ($\Sigma = \emptyset$) podía resolverse mediante técnicas de "patching" (empalme) y la fórmula de Auslander-Buchsbaum, el caso "no mínimo" requería nuevos criterios algebraicos para detectar la libertad de módulos sobre anillos locales y la propiedad de intersección completa, especialmente cuando los anillos no son necesariamente regulares o cuando se trabaja con módulos de torsión o infinitamente generados.

El objetivo del artículo es sistematizar y generalizar estas herramientas algebraicas, alejándose de la dependencia exclusiva de la teoría de números para establecer resultados algebraicos robustos que luego puedan aplicarse de nuevo a problemas aritméticos.

2. Metodología

Iyengar emplea un enfoque basado en álgebra homológica, teoría de deformaciones y estructura de anillos locales. La metodología se divide en tres ejes principales:

1. Generalización de Conjeturas de De Smit: Se parte de la observación de que si un módulo es plano sobre un anillo base $A$, bajo ciertas condiciones de dimensión de embedding, debería ser plano (y libre) sobre el anillo de llegada $B$. Se utiliza la fórmula de Auslander-Buchsbaum y propiedades de la dimensión proyectiva.
2. Acciones Derivadas en Complejos: Se extiende el concepto de acción de un anillo sobre un módulo a complejos de cadenas (complexes). Esto es crucial para el método de "patching" de Taylor-Wiles-Kisin, donde se empalman complejos en lugar de módulos. Se introduce el lenguaje de acciones derivadas ($B \to \text{Hom}_{K(A)}(F, F)$) para estudiar la homología de estos complejos.
3. Criterios Numéricos y Defectos: Se analiza el "defecto de Wiles" ($\delta_\lambda(M)$), una medida que compara la longitud de un módulo de congruencia $\Psi_\lambda(M)$ con la longitud de un módulo conormal torsión. Se generaliza este criterio desde puntos de codimensión 0 a puntos de codimensión arbitraria en el espectro de un álgebra analítica local.

3. Contribuciones Clave y Resultados Principales

A. La Conjetura de De Smit y sus Generalizaciones (Sección 2)

• Teorema 2.2 (Brochard, Khare, Iyengar): Se prueba una versión generalizada de la conjetura de De Smit. Si $\phi: A \to B$ es un homomorfismo local de anillos noetherianos y $N$ es un $B$-módulo finitamente generado con dimensión plana sobre $A$ tal que $\text{flat dim}_A N \leq \text{edim } A - \text{edim } B$, entonces:
  1. $N$ es libre como $B$-módulo.
  2. El mapa $\phi$ es una intersección completa.
  • Significado: Esto permite eliminar la necesidad de técnicas de "patching" en ciertos casos mínimos, demostrando la libertad y la estructura del anillo directamente mediante condiciones homológicas.
• Acciones Derivadas (Teorema 2.6): Se responde positivamente a una pregunta de Khare sobre complejos con acciones derivadas. Si un complejo libre finito $F$ sobre $A$ admite una estructura de complejo derivado $B$ y la longitud del complejo cumple $n \leq \text{edim } A - \text{edim } B$, entonces $H_0(F)$ es libre sobre $B$, siempre que la fibra cerrada $B/\mathfrak{m}_A B$ sea una intersección completa.
• Teorema 2.7: Se establece que si un complejo $F$ es quasi-isomorfo a un complejo de $B$-módulos, entonces su homología está concentrada en grado 0, es libre, y el mapa es una intersección completa. Esto subraya la rigidez de las acciones derivadas.

B. El Defecto de Wiles y Módulos de Congruencia (Sección 3)

• Generalización a Codimensiones Superiores: Se extiende el criterio numérico de Diamond-Lenstra-Wiles (originalmente para codimensión 0) a puntos regulares de codimensión $c$ arbitraria en el espectro de un álgebra analítica local $A$.
• Definición del Módulo de Congruencia $\Psi_\lambda(M)$: Se define como el co-kernel de un mapa entre grupos Ext:
  $$\Psi_\lambda(M) := \text{Coker}(\text{Ext}^c_A(O, M) \to \text{Ext}^c_A(O, M/\mathfrak{p}M)^{\text{tf}})$$
  donde $\mathfrak{p} = \text{Ker}(\lambda)$.
• Teorema 3.4 (Fórmula del Defecto): Se introduce el defecto de Wiles $\delta_\lambda(M)$. Bajo la hipótesis de que $M$ tiene profundidad suficiente ($\text{depth}_A M \geq c+1$):
  $$\delta_\lambda(M) \geq 0$$
  La igualdad $\delta_\lambda(M) = 0$ se cumple si y solo si:
  1. $A$ es una intersección completa.
  2. $M$ es libre (o tiene un sumando libre de rango $\mu$) en $\lambda$.
  • Fórmula de descomposición: $\delta_\lambda(M) = \mu \cdot \delta_\lambda(A) + \text{longitud}(\text{Coker } \kappa_\lambda(M))$.
• Teorema 3.6 (Módulos Infinitamente Generados): Se extiende el criterio a módulos $M$ que son completos $\mathfrak{m}_A$-ádicamente y son módulos de Cohen-Macaulay grandes ($\text{depth} = \dim$). Si el mapa de Künneth $\kappa_\lambda(M)$ es sobreyectivo, entonces $M$ se descompone en un módulo plano y un módulo sin soporte en $\mathfrak{p}$. La prueba utiliza la teoría de completaciones derivadas de Greenlees y May.

C. El Módulo de Defecto de Wiles (Sección 3 Final)

• Se propone una definición intrínseca del "módulo de defecto" utilizando la homología de Koszul. Para un anillo $A$ y un ideal $\mathfrak{p} = \text{Ker}(\lambda)$ generado por una secuencia, el módulo de defecto se define como el co-kernel de un mapa natural entre productos tensoriales de homología de Koszul:
  $$\bigwedge^{n-c} H_1(K) \otimes H_0(K \otimes_A M) \to H_{n-c}(K \otimes_A M)$$
• Esto permite formular los criterios de libertad e intersección completa en términos de la anulación de este módulo de defecto, lo cual es aplicable incluso cuando los módulos no son finitamente generados.

4. Significado e Impacto

1. Independencia Algebraica: El trabajo logra extraer principios puramente algebraicos de la teoría de números, creando un marco teórico que no depende de las propiedades específicas de las representaciones de Galois, sino de la estructura de los anillos y módulos involucrados.
2. Generalización del Método de Patching: Al proporcionar criterios numéricos que funcionan después del proceso de "patching" (incluso en casos no mínimos y con anillos más generales), se amplía el alcance de los teoremas de elevación de modularidad.
3. Nuevas Herramientas Homológicas: La introducción de acciones derivadas en complejos y el estudio de módulos de defecto a través de la homología de Koszul abren nuevas líneas de investigación en álgebra conmutativa, conectando la teoría de deformaciones con la estructura de la categoría derivada.
4. Aplicaciones Futuras: Estos resultados son fundamentales para abordar problemas en cohomología completada (como los módulos de Emerton-Gee) y para probar la modularidad en contextos donde las técnicas clásicas de Wiles fallan debido a la falta de puntos regulares de codimensión 0 o a la presencia de torsión.

En resumen, el artículo transforma una técnica específica de la demostración de Fermat en una teoría algebraica robusta, proporcionando criterios precisos para detectar cuando un anillo es una intersección completa y un módulo es libre, basándose en invariantes numéricos y homológicos generalizados.