Algebraic geometry in mixed characteristic

Abstract

Fix a prime number $p$. We report on some recent developments in algebraic geometry (broadly construed) over $p$-adically complete commutative rings. These developments include foundational advances within the subject, as well as external applications.