Coherent six-functor formalisms: Pro vs Solid

Resumen Técnico: Notas sobre Formalismos Coherentes de Seis Functores: Pro frente a Sólido

Enunciado del Problema
El artículo aborda una brecha fundamental en el formalismo de seis functores de Grothendieck para haces coherentes. Si bien el formalismo está bien establecido para haces constructibles $\ell$-ádicos en la cohomología étale, el caso de los haces coherentes permanece incompleto. Específicamente, para una inmersión abierta $j: U \hookrightarrow X$, el funtor de imagen directa excepcional $j_!$ no existe como un funtor entre las categorías estándar de haces (cuasi)coherentes.

Históricamente, se han propuesto dos enfoques distintos para resolver esto ampliando la categoría de haces:

1. Enfoque de Deligne: Extiende la categoría a haces pro-coherentes (específicamente, sistemas pro indexados por $\mathbb{N}^{op}$) para construir $j_!$ [Har66, Apéndice].
2. Enfoque de Clausen-Scholze: Extiende la categoría a módulos sólidos dentro del marco de las matemáticas condensadas, proporcionando un tratamiento robusto de $j_!$ en un contexto derivado [CS19a, Conferencia VIII].

La relación entre estas dos construcciones ha permanecido poco clara. Este artículo tiene como objetivo unir estos enfoques estableciendo una comparación precisa entre la construcción de haces pro de Deligne y la construcción de módulos sólidos de Clausen-Scholze.

Metodología y Marco Técnico
El autor construye un funtor de comparación natural $\Phi$ y analiza sus propiedades en el contexto de las matemáticas condensadas y los módulos topológicos.

1. Construcción del Functor:
   El artículo define un funtor $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$, donde $A$ es un anillo conmutativo. Este funtor mapea un sistema pro $\varprojlim_{\mathbb{N}} M_i$ al módulo sólido asociado con el límite inverso de los módulos topológicos subyacentes (equipados con la topología de límite inverso).

   • La construcción procede en dos pasos:
     • $\Phi_1$: Mapea sistemas pro a módulos topológicos ($\text{TopMod}(A)_{cgwh}$).
     • $\Phi_2$: Mapea estos módulos topológicos a módulos condensados mediante la inmersión de Yoneda ($M \mapsto \text{Hom}_{\text{Top}}(-, M)$).
   • La composición $\Phi = \Phi_2 \circ \Phi_1$ factoriza a través de la categoría de módulos sólidos, $\text{Solid}(A)$.

2. Análisis de la Fidelidad Plena:
   Un resultado técnico central implica la restricción de $\Phi$ a la subcategoría de sistemas pro Mittag-Leffler ($\text{Pro}^{ML}_{\mathbb{N}}\text{Mod}(A)$).

   • El autor demuestra que $\Phi$ es plenamente fiel cuando se restringe a sistemas Mittag-Leffler.
   • La prueba se basa en mostrar que, para un sistema Mittag-Leffler, el mapa canónico desde el colímite de homomorfismos hacia los homomorfismos del límite es una biyección. Esto requiere un análisis cuidadoso de la topología de límite inverso, utilizando específicamente el hecho de que, para conjuntos de índices numerables, la condición de Mittag-Leffler asegura que los mapas de proyección se estabilizan sobre la imagen estable.
   • El artículo señala explícitamente que esta propiedad falla para conjuntos de índices no numerables o sistemas no Mittag-Leffler, proporcionando un contraejemplo que involucra sistemas indexados por $\omega_1$ donde el límite se anula a pesar de que el sistema sea Mittag-Leffler.

3. Funtor Derivado y Compatibilidad:
   El artículo considera el funtor derivado derecho $R\Phi: D(\text{Pro}_{\mathbb{N}}\text{Mod}(A)) \to D(\text{Solid}(A))$. El teorema principal establece la compatibilidad de $R\Phi$ con los functores $j_!$ definidos por Deligne ($j^{De}_!$) y Clausen-Scholze ($j^{CS}_!$).

Resultados Clave
El resultado principal es el Teorema 1.1 (detallado en las Proposiciones 2.14 y 3.3):

• Existencia y Propiedades de $\Phi$: Existe un funtor natural $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$. Este funtor es exacto a la izquierda. Su restricción a la subcategoría de sistemas pro Mittag-Leffler, $\Phi_{ML}$, es exacto y plenamente fiel.

• Compatibilidad de $j_!$: Para un álgebra $A$ de tipo finito sobre $\mathbb{Z}$ y un no-divisor de cero $f \in A$, sea $j: \text{Spec}(A[1/f]) \hookrightarrow \text{Spec}(A)$ la inmersión abierta. El diagrama que involucra los functores derivados conmuta:
  $$\begin{array}{ccc} \text{Mod}^{fp}(A[1/f]) & \xrightarrow{j^{De}_!} & D(\text{Solid}(A[1/f])) \\ \downarrow & & \downarrow \\ \text{Pro}_{\mathbb{N}}\text{Mod}^{fp}(A) & \xrightarrow{R\Phi} & D(\text{Solid}(A)) \end{array}$$
  Específicamente, $R\Phi \circ j^{De}_! \cong j^{CS}_! \circ R\Phi$ para módulos finitamente presentados.

• Mecanismo de Prueba para la Compatibilidad: La prueba implica cálculos explícitos de ambos lados del diagrama conmutativo.

  • El $j^{De}_!$ de Deligne se realiza mediante el cono del mapa desde un módulo finitamente presentado $M'$ hacia su completación $f$-ádica.
  • El $j^{CS}_!$ de Clausen-Scholze se calcula utilizando el producto tensorial sólido y la resolución de $A[1/f]$ en la categoría de módulos sólidos sobre $(A[T], A)$.
  • El autor demuestra que ambas construcciones producen objetos isomorfos en la categoría derivada de módulos sólidos analizando la completación $f$-ádica $\widehat{M'}$ y su localización, utilizando resultados de planitud para el mapa $A \to \widehat{A}$ y la localización $A \to A[1/f]$.

Significado y Afirmaciones
El artículo afirma proporcionar una "unificación conceptual y estructural" de los dos enfoques para el funtor $j_!$ faltante. Al demostrar que la construcción clásica de Deligne mediante haces pro coincide con la construcción moderna de Clausen-Scholze mediante módulos sólidos, el trabajo refuerza la compatibilidad de las técnicas clásicas con las herramientas de las matemáticas condensadas.

El autor señala que, aunque el teorema se enuncia actualmente para un tipo específico de inmersión abierta (definida por un no-divisor de cero en un álgebra de tipo finito), el resultado ofrece una "idea interesante" para el caso general. El artículo no afirma haber resuelto el caso general para inmersiones abiertas arbitrarias, sino que expresa la expectativa de que el teorema se mantenga de manera más general, con el plan de "pegar el funtor $R\Phi$" en trabajos futuros.

El trabajo es modesto en su alcance, centrándose en establecer el puente entre estos dos marcos específicos en lugar de proponer nuevas aplicaciones experimentales o extender la teoría a contextos geométricos completamente nuevos más allá de la comparación de estos dos formalismos.