Resumen Técnico: Detección Homológica por Álgebras Perfectoides

Planteamiento del Problema

El artículo aborda la brecha en la comprensión de cómo las álgebras perfectoides, que se han vuelto fundamentales en la geometría $p$-ádica y la teoría de singularidades de característica mixta, interactúan con los invariantes homológicos duales. Mientras que trabajos previos (notablemente de Bhatt, Iyengar y Ma) establecieron que las álgebras perfectoides detectan la regularidad vía la dimensión plana en característica mixta (análogamente a los resultados de Kunz y Peskine–Szpiro sobre el morfismo de Frobenius en característica positiva), se sabe significativamente menos sobre la dimensión inyectiva ($\text{idim}_R(-)$) y propiedades duales relacionadas. Los autores buscan desarrollar una teoría donde las álgebras perfectoides detecten la dimensión inyectiva finita, las propiedades de Gorenstein, la Cohen–Macaulayness y la regularidad en característica mixta, proporcionando análogos a los resultados clásicos que involucran el endomorfismo de Frobenius.

Metodología

Los autores emplean una combinación de álgebra homológica, secuencias espectrales y las propiedades estructurales de las álgebras perfectoides.

1. Estimaciones de Dimensión para Cocientes: El paso fundacional consiste en establecer cotas para las dimensiones proyectiva e inyectiva de los cocientes de álgebras perfectoides por ideales radicales.

   • Utilizan la secuencia espectral $E_2^{p,q} = \text{Ext}_S^p(S/J, \text{Ext}_R^q(S, M)) \Rightarrow \text{Ext}_R^{p+q}(S/J, M)$ para relacionar la anulación de los grupos Ext sobre un álgebra perfecta $S$ con la anulación sobre el cuerpo residual $k$.
   • Analizan la dimensión proyectiva de "ideales perfectamente principales" (ideales generados por sistemas compatibles de raíces de potencia de $p$) utilizando colímites y límites derivados en la categoría derivada $D(R)$. Específicamente, demuestran que el ideal generado por un sistema compatible de raíces de potencia de $p$ de un múltiplo unidad de $p$ tiene dimensión proyectiva a lo sumo 1.
   • Al iterar estos argumentos sobre un conjunto generador de un ideal radical, derivan una cota superior de $2(r+1)$ para la dimensión proyectiva de $A/\sqrt{I}A$, donde $I$ se genera por $r$ elementos hasta el radical.

2. Caracterizaciones Homológicas Duales:

   • Los autores aprovechan el functor de dualidad de Matlis para traducir resultados entre dimensiones proyectivas e inyectivas.
   • Utilizan la dimensión proyectiva de Gorenstein ($\text{Gpd}_R(-)$) introducida por Enochs y Jenda para extender las caracterizaciones de anillos Gorenstein a módulos no finamente generados.
   • Las demostraciones a menudo dependen del hecho de que si un módulo $M$ tiene dimensión inyectiva finita, entonces $\text{Ext}_R^i(A, M) = 0$ para $i \gg 0$ para cualquier álgebra $A$. La novedad reside en probar el recíproco: si esta anulación ocurre para un álgebra perfecta específica $A$, entonces $M$ debe tener dimensión inyectiva finita.

3. Uso de Condiciones Perfectoides: El artículo define un conjunto específico de condiciones (Notación 3.1) para que un $R$-álgebra $A$ sea "parecida a una perfecta" en el contexto de estos teoremas. Esto incluye ser un álgebra reducida que contiene un sistema compatible de raíces de potencia de $p$ de un múltiplo unidad de $p$, tal que el cociente por el ideal generado por estas raíces es perfecta. Esto permite a los autores debilitar la definición estricta de álgebras perfectoides manteniendo las propiedades homológicas necesarias.

Contribuciones Clave y Resultados

1. Estimaciones de Dimensión (Sección 2)

• Proposición 2.3: Para un $R$-álgebra reducida $A$ que satisface condiciones específicas de tipo perfecto, e un ideal $I$ generado por $r$ elementos hasta el radical (conteniendo $p$), la dimensión proyectiva $\text{pd}_A(A/\sqrt{I}A)$ está acotada por $2(r+1)$.
• Proposición 2.5: Si $A$ tiene dimensión inyectiva finita como $R$-módulo, entonces $A/\sqrt{I}A$ también tiene dimensión inyectiva finita, con $\text{idim}_R(A/\sqrt{I}A) \leq \text{idim}_R(A)$.
• Corolario 2.6: Establece un criterio de anulación: si $\text{Ext}_R^i(A, M) = 0$ para un rango suficientemente largo de índices, entonces $\text{Ext}_R^i(k, M) = 0$. Esto vincula la anulación sobre el álgebra perfecta con la anulación sobre el cuerpo residual.

2. Caracterización de Dimensión Inyectiva Finita y Anillos Gorenstein (Sección 3.1)

• Teorema 3.2: Provee un análogo en característica mixta del criterio de Herzog. Para un anillo local nooetheriano $(R, \mathfrak{m})$ con $p \in \mathfrak{m}$ y un módulo $M$ no nulo, finamente generado o $\mathfrak{m}$-ádicamente completo, los siguientes son equivalentes:

  1. $M$ tiene dimensión inyectiva finita.
  2. $\text{Ext}_R^i((R/pR)^{\text{perf}}, M) = 0$ para todo $i \gg 0$.
  3. $\text{Ext}_R^i(A, M) = 0$ para todo $i \gg 0$ para algún $R$-álgebra perfecta $A$ (con $\mathfrak{m}A \neq A$).
  • Significancia: Esta caracterización se señala como nueva incluso en característica $p$ y se aplica a módulos completos, no solo a los finamente generados. Esto implica que $R$ es Cohen–Macaulay si estas condiciones se cumplen.

• Corolario 3.4: Caracteriza los anillos locales Gorenstein. $R$ es Gorenstein si y solo si $\text{Ext}_R^i((R/pR)^{\text{perf}}, R) = 0$ para $i \gg 0$, o equivalentemente, si existe un álgebra perfecta $A$ con dimensión proyectiva de Gorenstein finita. Esto sirve como un análogo en característica mixta de los resultados de Takahashi–Yoshino e Iyengar–Sather-Wagstaff.

3. Caracterización de Módulos Cohen–Macaulay (Sección 3.2)

• Teorema 3.7 y Corolario 3.10: Un módulo finamente generado (o completo) es Cohen–Macaulay si y solo si existe un álgebra perfecta $A$ tal que $\text{Ext}_R^i(A, M) = 0$ para todo $i < \dim(M)$.
• Corolario 3.13: Para un anillo local completo Cohen–Macaulay, un módulo libre de torsión $M$ es una suma directa finita del módulo canónico si y solo si $\text{Ext}_R^i(A, M) = 0$ para todo $i \neq \dim(M)$.

4. Regularidad y Dimensiones Inyectivas (Sección 3.3)

• Teorema 3.15: Provee un dual al criterio de regularidad de Bhatt–Iyengar–Ma. Un anillo local nooetheriano $R$ es regular si y solo si:
  1. La perfección $(R/pR)^{\text{perf}}$ tiene dimensión inyectiva finita.
  2. Existe un $R$-álgebra perfecta $A$ con dimensión inyectiva finita.
  3. $R$ tiene una singularidad aislada y existe un $A$ perfecto tal que $\text{Ext}_R^i(A, A) = 0$ para $i \gg 0$.
• Corolario 3.16 y 3.18: Si tal álgebra perfecta $A$ es también un álgebra grande de Cohen–Macaulay y tiene dimensión inyectiva finita, entonces $\text{idim}_R(A) = \dim(R)$. Esto establece una dicotomía donde la dimensión inyectiva es o bien la dimensión del anillo o infinita.

Significancia y Reivindicaciones

El artículo afirma establecer un "análogo en característica mixta" de las caracterizaciones homológicas clásicas que dependen del morfismo de Frobenius en característica positiva. Al reemplazar el endomorfismo de Frobenius con álgebras perfectoides (o sus clausuras perfectas), los autores demuestran que estos objetos altamente no-nooetherianos pueden controlar y detectar efectivamente invariantes homológicos estándar como la dimensión inyectiva, la propiedad de Gorenstein y la regularidad.

Específicamente, los autores destacan:

• Nuevas Caracterizaciones: Los resultados proporcionan nuevas caracterizaciones de la dimensión inyectiva finita y de los anillos Gorenstein, particularmente para módulos completos y en característica mixta.
• Extensión del Alcance: La teoría se extiende más allá de los módulos finamente generados para incluir módulos $\mathfrak{m}$-ádicamente completos y módulos grandes de Cohen–Macaulay.
• Resolución de Conjeturas: El trabajo resuelve una conjetura implícita de la literatura previa respecto a la dimensión inyectiva de la clausura integral absoluta ($R^+$) tanto en característica prima como mixta, mostrando que si esta es finita, el anillo debe ser regular.
• Dualidad: El papel construye exitosamente una teoría dual a los resultados de detección de dimensión plana de Bhatt, Iyengar y Ma, completando así un panorama más amplio de cómo las álgebras perfectoides interactúan con las conjeturas homológicas en álgebra conmutativa.

Los autores mantienen un tono modesto, señalando que, aunque la condición de ser perfecta puede debilitarse (a las condiciones en la Notación 3.1), los resultados centrales dependen de las propiedades estructurales de estas álgebras para acotar las dimensiones homológicas y detectar la anulación de los grupos Ext.