Abstract:We prove an analogue of Scholze's Primitive Comparison Theorem for proper rigid spaces over an algebraically closed non-archimedean field $K$ of characteristic $p$. This implies a v-topological version of the Primitive Comparison Theorem for proper finite type morphisms $f:X\to Y$ of analytic adic spaces over $\mathbb Z_p$. We deduce new cases of the Proper Base Change Theorem for $p$-torsion coefficients and the Künneth formula in this setting.

What problem does this paper attempt to address?

The paper attempts to address the problem of proving a result similar to Scholze's Primitive Comparison Theorem under characteristic $ p $. Specifically, the author Ben Heuer aims to prove that for a proper rigid space $ X $ over an algebraically closed non-Archimedean field $ K $ of characteristic $ p $, there exists a natural homomorphism: \[ H^n_{\text{ét}}(X, \mathbb{F}_p) \otimes_{\mathbb{F}_p} \mathcal{O}_K/\pi \to H^n_{\text{ét}}(X, \mathcal{O}^+/\pi) \] This homomorphism is an almost isomorphism and is compatible with the Frobenius action. Furthermore, the author also proves a relative version of the Primitive Comparison Theorem for the analytic sheaf space of a proper morphism of finite type $ f: X \to Y $ under the $ v $-topology. These results further lead to new cases of the Proper Base Change Theorem with $ p $-torsion coefficients and the Künnet formula. Specifically, the main contributions of the paper include: 1. Proving a result similar to Scholze's Primitive Comparison Theorem under characteristic $ p $. 2. Extending the Primitive Comparison Theorem to a relative version under the $ v $-topology. 3. Proving new cases of the Proper Base Change Theorem with $ p $-torsion coefficients. 4. Obtaining new results for the Künnet formula on rigid spaces. These results not only enrich the study of $ p $-adic Hodge theory but also provide important tools for the application of moduli spaces in $ p $-adic non-abelian Hodge theory.

The Primitive Comparison Theorem in characteristic $p$

The Primitive Comparison Theorem in characteristic p

Faltings’ main p -adic comparison theorems for non-smooth schemes

Mod-p Poincaré Duality in p-adic Analytic Geometry

A $p$-adic local invariant cycle theorem with applications to Brauer groups

Primitive Deformations of Quantum $p$-groups

Relative P-Adic Hodge Theory: Foundations

On p-torsions of geometric Brauer groups

Application of the notion of $Φ$-object to the study of p-class groups and p-ramified torsion groups of abelian extensions

The inverse problem for primitive ideal spaces

Boundedness of the p-primary torsion of the Brauer group of products of varieties

Torsion in $p$-adic étale cohomology: remarks and conjectures

On a theorem of Knörr

Approximation and algebraicity in positive characteristic Hahn fields

Eisenstein-Kronecker classes, integrality of critical values of Hecke $L$-functions and $p$-adic interpolation

Comparison of different Tate conjectures

De Rham Comparison and Poincaré Duality for Rigid Varieties

Remarks on $p$-primary torsion of the Brauer group

On Artin's Primitive Root Conjecture for Function Fields over $\mathbb{F}_{q}$

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Relative p-adic Hodge theory, II: Imperfect period rings