Moduli of $p$-adic representations of a profinite group (1709.04275v4)

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].