Moduli of $p$-adic representations of a profinite group

TL;DR

This paper constructs a moduli stack for rank n continuous p-adic representations of the étale fundamental group of a smooth proper scheme, providing a derived structure to study their deformation theory within a $ ext{Q}_p$-analytic framework.

Contribution

It introduces a $ ext{Q}_p$-analytic moduli stack for p-adic representations and endows it with a canonical derived structure, advancing the geometric and deformation-theoretic understanding.

Findings

Constructed the moduli stack $ ext{LocSys}_{p,n}(X)$ as a $ ext{Q}_p$-analytic stack.

Proved the existence of a canonical derived structure on $ ext{LocSys}_{p,n}(X)$.

Established geometricity using $ ext{Q}_p$-analytic Lurie-Artin representability.

Abstract

Let $X$ be a smooth and proper scheme over an algebraically closed field. The purpose of the current text is twofold. First, we construct the moduli stack parametrizing rank $n$ continuous $p$-adic representations of the \'etale fundamental group $\pi_1^\textrm{\'et}(X)$. Our construction realizes such object as a $\mathbb{Q}_p$-analytic stack, denoted $\mathrm{LocSys}_{p,n } (X)$. Secondly, we prove that $\mathrm{LocSys}_{p,n}(X)$ admits a canonical derived structure. This derived structure allow us to intrinsically recover the deformation theory of continuous $p$-adic representations, studied in [GV18]. Our proof of geometricity of $\mathrm{LocSys}_{p,n}(X)$ uses in an essential way the $\mathbb{Q}_p$-analytic analogue of Lurie-Artin representability, proved in [PY17].