Relative p-adic Hodge theory: Foundations

TL;DR

This paper develops a new framework for relative p-adic Hodge theory using Witt vectors and nonarchimedean geometry, connecting etale cohomology, phi-modules, and Galois groups in a unified setting.

Contribution

It introduces a systematic approach to relative p-adic Hodge theory based on Witt vectors, establishing links between etale local systems, phi-modules, and Galois groups, and generalizes the field of norms construction.

Findings

Established an equivalence between finite etale algebras over perfect Banach rings and Banach Q_p-algebras.

Connected etale cohomology with phi-cohomology in the relative setting.

Provided descriptions of etale local systems on p-adic analytic spaces using perfectoid and Fargues-Fontaine curves.

Abstract

We describe a new approach to relative p-adic Hodge theory based on systematic use of Witt vector constructions and nonarchimedean analytic geometry in the style of both Berkovich and Huber. We give a thorough development of phi-modules over a relative Robba ring associated to a perfect Banach ring of characteristic p, including the relationship between these objects and etale Z_p-local systems and Q_p-local systems on the algebraic and analytic spaces associated to the base ring, and the relationship between etale cohomology and phi-cohomology. We also make a critical link to mixed characteristic by exhibiting an equivalence of tensor categories between the finite etale algebras over an arbitrary perfect Banach algebra over a nontrivially normed complete field of characteristic p and the finite etale algebras over a corresponding Banach Q_p-algebra. This recovers the homeomorphism between the absolute Galois groups of F_p((pi)) and Q_p(mu_{p^infty}) given by the field of norms construction of Fontaine and Wintenberger, as well as generalizations considered by Andreatta, Brinon, Faltings, Gabber, Ramero, Scholl, and most recently Scholze. Using Huber's formalism of adic spaces and Scholze's formalism of perfectoid spaces, we globalize the constructions to give several descriptions of the etale local systems on analytic spaces over p-adic fields. One of these descriptions uses a relative version of the Fargues-Fontaine curve.