Conjecture on the natural morphism for derived ordinary parts
Let I,J⊆ΔI,J\subseteq\DeltaI,J⊆Δ, let σ\sigmaσ be a locally admissible smooth representation of LIL_ILI over AAA, let IwJ∈IWJ{}^Iw^J\in{}^IW^JIwJ∈IWJ, and let n∈Nn\in\mathbb{N}n∈N. Let dIwJd_{{}^Iw^J}dIwJ and…