A construction of tame sheaves and tame de Rham--Witt cohomology

Resumen Técnico: Una Construcción de Hazes Tame y Cohomología de Rham–Witt Tame

Problema y Motivación
El artículo aborda una limitación fundamental en la construcción de teorías de cohomología $p$-ádica integrales para esquemas sobre un cuerpo $k$ de característica positiva $p$. Si bien la cohomología de Rham con polos logarítmicos proporciona una teoría bien comportada en característica cero que satisface el descenso étale, la construcción análoga utilizando el complejo de Rham–Witt con polos logarítmicos en característica $p$ falla en satisfacer el descenso étale. Este fracaso se atribuye a la ramificación salvaje. Trabajos anteriores de Hübner y Saito ([HS20]) establecieron que estas teorías satisfacen el "descenso tame" relativo a un sitio tame específico. Sin embargo, el marco existente depende de espacios adicos, lo que hace técnicamente difícil la construcción de haces.

Los autores tienen como objetivo introducir una variante algebraica de la topología tame para pares de esquemas $(X, \tilde{X})$, donde $X \hookrightarrow \tilde{X}$ es una inmersión abierta cuasi-compacta. El objetivo es establecer resultados fundamentales para este sitio que permitan la construcción sistemática de haces tame y teorías de cohomología que satisfagan el descenso tame, específicamente para el complejo de Rham–Witt y los haces de reciprocidad.

Metodología
La metodología central implica definir un nuevo sitio, el sitio tame $(X, \tilde{X})_t$, y desarrollar una maquinaria general para construir haces sobre él.

1. El Sitio Tame: La categoría subyacente consiste en pares $(U, \tilde{U})$ donde $U \hookrightarrow \tilde{U}$ es una inmersión abierta cuasi-compacta sobre un par base $(S, \tilde{S})$, con condiciones específicas de finitud (morfismos ift). La topología está generada por cubrimientos tame, definidos mediante el comportamiento de las valuaciones en el espacio adico $Spa(U, \tilde{U})$. Un morfismo es un cubrimiento tame si, para cada valuación en el objetivo, existe un levantamiento en la fuente donde la extensión inducida de campos de valuación es tame.
2. La Construcción $\beta$: Los autores introducen un mecanismo general (Proposición 8.2) para construir un haz tame $F_\beta$ en $(X, \tilde{X})_t$ a partir de un haz étale $F$ en $X_{\text{ét}}$ equipado con un "dato local" $\beta$. Este dato especifica, para cada anillo de valuación centrado en $\tilde{X}$, un subconjunto de "secciones tame" de $F$. El haz resultante $F_\beta$ consiste en secciones de $F$ que, al ser llevadas al henselizado del anillo de valuación, se encuentran dentro de los subconjuntos tame especificados.
3. Cálculos Cohomológicos: El artículo establece un teorema de comparación (Teorema 7.2) que relaciona la cohomología de un haz tame en $(X, \tilde{X})_t$ con el límite directo de grupos de cohomología étale sobre explosiones admisibles de $\tilde{X}$. Esto depende de la existencia de objetos acíclicos (pro-objetos que son locales para la topología) y de una comparación entre la cohomología de Čech y la cohomología de haces (Teorema 6.5).

Contribuciones y Resultados Clave

• Teoría Fundamental del Sitio Tame: Los autores definen el topos tame y demuestran que la cohomología de un haz tame es independiente de la elección de la compactificación $\tilde{X}$ (Lema 2.7). Establecen que la cohomología puede calcularse como un colímite sobre modificaciones (Teorema 7.2), siempre que el haz satisfaga una condición específica respecto a sus estambres siendo módulos $\mathbb{Z}(p_x)$.
• Complejo de Rham–Witt Tame: Aplicando la construcción $\beta$ al complejo de Rham–Witt con polos logarítmicos, los autores definen el gran complejo de Rham–Witt tame $W_S\Omega^\bullet_t$ (Definición 9.5). Demuestran que para un esquema liso $\tilde{X}$ con un divisor de cruce normal simple $D = \tilde{X} \setminus X$, la cohomología de este complejo tame en $(X, \tilde{X})_t$ es isomorfa a la cohomología cristalina logarítmica de $(\tilde{X}, D)$ (Teorema 10.3).
  • Específicamente, $R\Gamma((X, \tilde{X})_t, W\Omega^\bullet_t) \cong R\Gamma_{\text{log-crys}}((\tilde{X}, D)/W(k))$.
• Cohomología Sintómica Tame: Los autores definen complejos sintómicos tame $Z_p(r)_t$ utilizando la filtración de Nygaard en el complejo de Rham–Witt tame. Muestran que estos complejos recuperan la cohomología motivica tame considerada en literatura previa (Teorema 10.8), estableciendo un isomorfismo $Z/p^\bullet(r)_t \cong W^\bullet\Omega^r_{t, \log}[-r]$.
• Haces de Reciprocidad: La construcción se extiende a haces de reciprocidad (Teorema 11.3). Para un haz de reciprocidad $F$, el haz tame asociado $F^{\text{rec}}_{\log}$ tiene cohomología isomorfa a la cohomología de Nisnevich del haz de módulo maximal invariante bajo cubos en la compactificación.
• Comparación con Sitios Tame Previos: El artículo compara el nuevo sitio $(X, \tilde{X})_t$ con el sitio tame $(X/S)_t$ definido en [HS20]. Si bien existe un par adjunto de functores entre las categorías de haces, las teorías de cohomología son generalmente distintas. Los autores demuestran que pasar de $(X, \tilde{X})_t$ a $(X/S)_t$ resulta en una pérdida de información; por ejemplo, la cohomología del haz estructural tame $O_t$ en $(X, \tilde{X})_t$ calcula la cohomología del haz estructural en la compactificación, mientras que en $(X/S)_t$ calcula la cohomología de un haz constante relacionado con la cohomología étale (Observación 12.6).

Significado y Afirmaciones
El artículo afirma proporcionar un marco algebraico robusto para construir modelos integrales de teorías de cohomología $p$-ádicas que satisfacen el descenso tame. Al cambiar de espacios adicos a esquemas, los autores simplifican la construcción de haces, haciéndola accesible a técnicas estándar de geometría algebraica.

El significado principal radica en la capacidad de:

1. Generar sistemáticamente haces tame a partir de datos étale mediante la construcción $\beta$.
2. Demostrar que el complejo de Rham–Witt con polos logarítmicos satisface el descenso tame, recuperando así la cohomología cristalina logarítmica de manera puramente algebraica.
3. Establecer un puente entre la cohomología sintómica tame y la cohomología motivica.
4. Clarificar la relación entre diferentes topologías tame, mostrando que el sitio basado en pares $(X, \tilde{X})_t$ retiene más información geométrica (específicamente respecto a la compactificación) que el sitio relativo $(X/S)_t$.

Los autores notan que estos resultados dependen de la resolución de singularidades o de cotas específicas de dimensión (por ejemplo, $d \leq 3$ en característica positiva) para ciertos isomorfismos, como la identificación de la cohomología con la cohomología cristalina logarítmica. El trabajo prepara el escenario para futuras construcciones de modelos integrales para la cohomología coherente y de Rham sobre campos no arquimedianos.