The étale topos reconstructs varieties over sub-p-adic fields

Magnus Carlson,Jakob Stix
2024-10-30
Abstract:Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its étale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved the analogous theorem for fields finitely generated over $\mathbb{Q}$. Our proof relies on Mochizuki's Hom-theorem in anabelian geometry, and a study of point-theoretic morphisms of fundamental groups of curves.
Algebraic Geometry,Number Theory
What problem does this paper attempt to address?