A derived construction of eigenvarieties

We construct a derived variant of Emerton's eigenvarieties using the locally analytic representation theory of $p$-adic groups. The main innovations include comparison and exploitation of two homotopy equivalent completed complexes associated to the locally symmetric spaces of a quasi-split reductive group $\mathbb{G}$, comparison to overconvergent cohomology, proving exactness of finite slope part functor, together with some representation-theoretic statements. As a global application, we exhibit an eigenvariety coming from data of $\mathrm{GL}_n$ over a CM field as a subeigenvariety for a quasi-split unitary group.