A note on mod-$p$ local-global compatibility via Scholze's functor (2111.11137v1)

Abstract: We remove the semisimple condition in the mod-$p$ local-global compatibility result of arXiv:2106.10674. Namely, assuming flatness of $\pi_{\mathfrak{m}}^\vee$ and $\overline{\sigma}{\mathfrak{m}}|{\mathrm{Gal}{F^+{\mathfrak{p}}}}$ being multiplicity free, we prove that $H^{n-1}{\text{\'et}}(\mathbb{P}{\mathbb{C}_p}^{n-1}, \mathcal{F}{\pi{\mathfrak{m}}[\mathfrak{m}]})$ determines $\overline{\sigma}{\mathfrak{m}}|{\mathrm{Gal}{F^+{\mathfrak{p}}}}$ uniquely. We give remarks on our assumptions at the end of this note.