Locally analytic completed cohomology

We generalize the work of Lue Pan on locally analytic completed cohomology of modular curves to Shimura varieties. In the process we obtain a proof of the rational Calegari-Emerton conjectures without a perfectoid assumption at infinite level. We also construct the overconvergent $\mathrm{BGG}$ maps for the derived infinitesimal Jacquet module of the locally analytic completed cohomology and its dual.Comment: This is the second part of the paper arXiv:2205.02016 studying the completed cohomology of Shimura varietie