Birational and $\mathbf{A}^1$-invariant lattices in the cohomology of the structure sheaf over non-archimedean fields

Resumen Técnico: Retículos Biracionales e $\mathbb{A}^1$-Invarianes en la Cohomología del Haz Estructural sobre Campos No Arquimedianos

Enunciado del Problema
El artículo aborda una pregunta clásica en geometría aritmética: si una teoría de cohomología $X \mapsto H(X)$ definida sobre una categoría de esquemas sobre un campo no arquimediano completo $K$, tomando valores en espacios vectoriales de dimensión finita sobre $K$, admite un retículo functorial sobre el anillo de enteros $R = \mathcal{O}_K$. Una resolución positiva implica que, para cualquier endomorfismo $f: X \to X$, el polinomio característico del mapa lineal inducido $f^*$ tiene coeficientes en $R$.

Específicamente, los autores se centran en la cohomología del haz estructural, $H^i(X, \mathcal{O}_X)$, para esquemas suaves y propios. Aunque se sabe que esta cohomología se extiende a un funtor sobre esquemas separados suaves (mediante compactificación) y es $\mathbb{A}^1$-invariante, la existencia de una estructura integral definida algebraicamente (un retículo) que satisfaga el descenso tamo y sea compatible con la invariancia biracional ha sido un desafío abierto, particularmente en característica positiva y para esquemas no propios.

Metodología
Los autores construyen el retículo deseado utilizando una variante de la cohomología tamo introducida por Hübner y Schmidt [HS20], modificada como en [MRS26]. El núcleo de su enfoque implica:

1. El Sitio Tamo: Trabajan dentro de la categoría $\text{Sch}(S, \bar{S})$ de pares $(U, \tilde{U})$ donde $U \hookrightarrow \tilde{U}$ es una inmersión abierta sobre $\bar{S} = \text{Spec}(R)$, con $U$ factorizando a través de $S = \text{Spec}(K)$. Equipan esta categoría con la topología tamo, donde las cubiertas se definen mediante familias de aplicaciones que son tamas sobre valuaciones.
2. El Haz $\mathcal{G}_a(0)$: En lugar de usar el haz estructural tamo estándar $\mathcal{O}_t$ (cuya rigidificación es el haz estructural rígido integral $\mathcal{O}^\circ$), definen un haz torcido $\mathcal{G}_a(0)$. Para un par $(U, \tilde{U})$, este haz se define como:
   $$\mathcal{G}_a(0)(U, \tilde{U}) = \left\{ a \in \mathcal{O}(U) \mid a \in \sqrt[m]{\pi \mathcal{O}(\tilde{U}_{\text{int}})} \right\}$$
   donde $\pi$ es un pseudo-uniformizador de $R$ y $\tilde{U}_{\text{int}}$ es la clausura integral de $\tilde{U}$ en $U$.
   Distinción Crucial: La rigidificación de $\mathcal{G}_a(0)$ corresponde al haz $\mathcal{O}(1)$ (funciones con norma sup estrictamente menor que 1), mientras que $\mathcal{O}_t$ rigidifica a $\mathcal{O}^\circ$ (funciones con norma sup $\le 1$). Los autores argumentan que $\mathcal{O}(1)$ es sobreconvergente, una propiedad esencial para aplicar teoremas de cambio de base en geometría rígida, lo cual falla para $\mathcal{O}^\circ$.
3. Comparación con Geometría Rígida: La prueba se basa en un teorema de comparación entre la cohomología tamo de $\mathcal{G}_a(0)$ y la cohomología analítica rígida de $\mathcal{O}(1)$. Esta comparación es un teorema de "GAGA integral".
4. Anulación Analítica: La invariancia $\mathbb{A}^1$ y la invariancia biracional se deducen de resultados de anulación en geometría analítica rígida. Específicamente, utilizan resultados de Bartenwerfer [Bar79] y van der Put [Put82] que muestran que $H^i(D, \mathcal{O}(s)) = 0$ para $i > 0$ en polidiscos generalizados $D$, y que los grupos de cohomología son aniquilados por elementos de norma pequeña (Teorema 3.2).

Contribuciones y Resultados Clave

1. Construcción del Functor $F$
Los autores definen un funtor $F: \text{Sm}_K \to D^{\ge 0}(R)_f$ (donde $D^{\ge 0}(R)_f$ es la categoría derivada de complejos con cohomología en la categoría de $R$-módulos de tipo finito hasta torsión acotada) mediante:
$$F(X) := R\Gamma_t(X/R, \mathcal{G}_a(0))$$
Demuestran que este funtor satisface las siguientes propiedades (Teorema 1):

• Compatibilidad: $F(X) \otimes_R K \simeq R\Gamma(X, \mathcal{O})$ para cualquier compactificación suave $X$ de $X$.
• Invariancia $\mathbb{A}^1$: $F(X) \simeq F(X \times \mathbb{A}^1)$.
• Invariancia Biracional: $F(X) \simeq F(Y)$ para cualquier aplicación $Y \to X$ que sea un isomorfismo sobre un subconjunto abierto denso.
• Descenso Tamo: $F$ satisface el descenso con respecto a cubiertas $R$-tamás.

2. Restricciones Dimensionales y de Característica

• Característica Cero: Los resultados se mantienen para todos los esquemas separados suaves sobre $K$ de cualquier dimensión.
• Característica Positiva: Los resultados se mantienen para esquemas separados suaves de dimensión $\le 3$. Esta restricción surge de la dependencia de la existencia de compactificaciones suaves y resolución de singularidades en característica positiva (usando [CP19] y [CR15]), las cuales actualmente solo están establecidas para dimensiones hasta 3.

3. Aplicación a Grupos de Automorfismos
Como aplicación directa, los autores demuestran que, para una variedad propia suave $X$ de dimensión $\le 3$ sobre un campo $k$ de característica positiva, el grupo de automorfismos biracionales $\text{Aut}_k(k(X))$ actúa cuasi-unipotentemente sobre los grupos de cohomología $H^i(X, \mathcal{O}_X)$.

• Mecanismo: Mediante la reducción a un campo finitamente generado, se demuestra que los autovalores de la acción pertenecen al grupo multiplicativo de un campo finito, lo que implica que son raíces de la unidad.

4. Extensión a Esquemas Singulares
El artículo señala que la hipótesis de suavidad se requiere principalmente para aplicar el teorema de anulación de Bartenwerfer para afinoides suaves. Los autores proponen que, si el resultado de anulación para $\mathcal{O}(1)$ puede generalizarse a afinoides con singularidades específicas (por ejemplo, racionales, log canónicas, Du Bois), entonces los teoremas principales se extienden a esquemas normales con tales singularidades (Teorema 4.19).

Significado y Afirmaciones
El artículo afirma proporcionar la primera estructura integral definida algebraicamente sobre la cohomología del haz estructural que es tanto $\mathbb{A}^1$-invariante como satisface el descenso tamo.

• Analítico vs. Algebraico: Si bien una estructura integral puede definirse analíticamente mediante GAGA y los resultados de Bartenwerfer sobre espacios rígidos, este artículo la construye algebraicamente a través del sitio tamo.
• Superación de Singularidades: El uso del haz torcido $\mathcal{G}_a(0)$ (que rigidifica a $\mathcal{O}(1)$) en lugar del haz estructural tamo estándar es la clave técnica que permite a los autores eludir la necesidad de resolución de singularidades sobre $R$ en la prueba de la invariancia $\mathbb{A}^1$, dependiendo en cambio de cálculos analíticos en el lado rígido.
• Modestia: Los autores declaran explícitamente que la restricción a dimensión 3 en característica positiva es una limitación de los resultados actuales de resolución de singularidades, no de su método. También señalan que la extensión a cohomología de de Rham o cristalina sigue siendo un tema para trabajo futuro, condicionado a la construcción de haces adecuados en el sitio tamo.

En resumen, el artículo establece un marco robusto para estudiar estructuras integrales en cohomología no arquimediana, tendiendo un puente entre la geometría algebraica tamo y la geometría analítica rígida para derivar resultados estructurales fuertes sobre invariantes biracionales y acciones de automorfismos.