Purity in the tame cohomology

Resumen Técnico: Pureza en la Cohomología Tame

Planteamiento del Problema
El artículo aborda el fallo del teorema de pureza cohomológica absoluta para los haces de torsión-$p$ en la topología étale sobre esquemas de característica $p$. Mientras que la pureza se cumple para coeficientes primos de $p$ (teorema de Gabber-Fujiwara), esta falla para los haces de de Rham-Witt logarítmicos $\nu_{m}(n)$ en la topología étale. Específicamente, para un par regular $(X, Z)$ de codimensión $r$, la imagen directa superior $R^{r+1}i_!\nu_{X,m}(n)$ no necesariamente se anula, lo que obstruye la existencia de un isomorfismo de pureza $Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$. La obstrucción surge porque el operador de Cartier inverso (o el mapa de Artin-Schreier) no es sobreyectivo en la topología étale debido a la presencia de cubrimientos con ramificación salvaje.

Metodología
El autor, Amine Koubaa, resuelve esta obstrucción desplazando el marco de trabajo de la topología étale a la topología tame (tame topology), introducida por Hübner y Stalder. La metodología se apoya en los siguientes componentes estructurales:

1. Espacios Ádicos y Espacios Discretamente Anillados: El artículo utiliza espacios ádicos discretamente anillados, denotados $X = \text{Spa}(X, S)$, para proporcionar un entorno geométrico donde la ramificación tame es bien comportada. La demostración aprovecha la equivalencia entre la cohomología tame de un esquema y la cohomología de su espacio ádico asociado.
2. Geometría Logarítmica y Diferenciales: La herramienta técnica central es el haz de diferenciales logarítmicos. El autor introduce y analiza el haz $\Omega^+_{X/k}$, definido mediante seminormas de Kähler y "rangers" (un concepto de Hübner y Temkin), que captura diferenciales con valoración acotada.
3. Resolución de Singularidades: Las demostraciones asumen la existencia de resolución de singularidades y resolución de singularidades embebida (específicamente para esquemas log-suaves). Esto permite la reducción de los casos generales a pares log-suaves $(X, \bar{X})$ donde el límite es un divisor de cruce normal simple.
4. El Operador de Cartier: Un paso crucial consiste en establecer la exactitud de la secuencia que involucra al operador de Cartier $C$ sobre los haces de diferenciales cerradas $Z\Omega^+$. En la topología tame, el operador de Cartier inverso se vuelve sobreyectivo, a diferencia de lo que ocurre en la topología étale donde falla debido a la ramificación salvaje.
5. Teorema de Popescu: Para extender los resultados de esquemas suaves sobre cuerpos perfectos a pares regulares sobre bases arbitrarias de característica $p$, el artículo emplea el teorema de Popescu, expresando álgebras regulares como colímites filtrados de álgebras suaves.

Contribuciones Clave y Resultados

• Teorema de Pureza para la Cohomología Tame (Teoremas 1.3 y 5.9): El resultado principal establece que para un par suave $(X, Z)$ de codimensión pura $r$ sobre un cuerpo perfecto $k$ de característica $p$, existe un isomorfismo natural en la categoría derivada de haces tame:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  Esto se cumple bajo la suposición de resolución de singularidades. El isomorfismo se construye mediante un morfismo de Gysin.

• Exactitud de la Secuencia de Cartier (Teorema 4.27): El artículo demuestra que en espacios ádicos discretamente anillados, la secuencia
  $$0 \to \nu(n) \to Z\Omega^+_{X/k} \xrightarrow{C^{-1}} \Omega^+_{X/k} \to 0$$
  es exacta en la topología tame. Esta exactitud es el mecanismo que restaura la pureza, ya que asegura la anulación del término de obstrucción $R^{r+1}i_!$.

• Construcción del Morfismo de Gysin (Sección 5.1): El autor construye un morfismo de Gysin para los haces $\Omega^+_{n}$ y lo extiende a los haces de de Rham-Witt logarítmicos $\nu_{m}(n)$. Esto implica demostrar que las imágenes directas superiores $R^ji_!\Omega^+_{n}$ se anulan para $j \neq r$ y que $R^ri_!\Omega^+_{n} \cong \Omega^+_{n-r}[-r]$.

• Generalización a Pares Regulares (Teorema 5.15): Utilizando el teorema de Popescu, el resultado de pureza se generaliza de pares suaves sobre cuerpos perfectos a pares regulares $(X, Z)$ sobre un esquema base $S$ de característica $p$. El resultado establece que:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  en la categoría derivada $D((Z/S)_t)$.

• Comparación con la Cohomología Étale (Proposición 5.10): El artículo clarifica la relación entre los resultados tame y étale. Muestra que el isomorfismo de pureza tame es la versión "correcta", y que el fallo de la pureza étale se debe a la no suryectividad del operador de Cartier en presencia de ramificación salvaje. La regularización (sheafification) tame de la imagen directa étale recupera el resultado tame.

Significación y Pretensiones
El artículo pretende proporcionar una solución completa al problema de la pureza para los haces de de Rham-Witt logarítmicos en característica positiva utilizando la topología tame.

• Restauración de la Pureza: Demuestra que la obstrucción a la pureza en la topología étale (la no anulación de $R^{r+1}i_!$) es un artefacto de la ramificación salvaje, la cual queda excluida en la topología tame.
• Avance Metodológico: Al integrar la teoría de espacios ádicos (específicamente los discretamente anillados) con la geometría logarítmica y el operador de Cartier, el artículo proporciona un marco robusto para manejar coeficientes de torsión-$p$ donde los métodos étale clásicos fallan.
• Consistencia con Resultados Conocidos: Sus resultados generalizan los teoremas de semi-pureza de Milne y Gros y se alinean con el teorema de pureza absoluta para coeficientes primos de $p$.
• Modestia sobre las Suposiciones: El autor señala explícitamente que sus resultados dependen de la suposición de resolución de singularidades. El artículo menciona que el trabajo futuro apunta a eliminar esta suposición, particularmente respecto a la existencia del operador de Cartier en $\Omega^+$ sin depender de la resolución.

En resumen, el artículo establece que "la pureza se cumple en la topología tame", ofreciendo un isomorfismo natural para la imagen directa con soporte propio de los haces de de Rham-Witt logarítmicos, resolviendo así un problema de larga data en la cohomología de esquemas en característica $p$.