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].
Categories: math.AG