A cohomological smoothness conjecture for moduli of mixed characteristic local shtukas with one leg

We give a simple geometric characterization of the locus where the inscribed Banach–Colmez Tangent Spaces of moduli of mixed characteristic local shtukas with one leg and fixed determinant are connected. We conjecture that the structure morphism for the underlying diamond is cohomologically smooth over this locus and, applying the Fargues–Scholze Jacobian criterion, we prove this conjecture in the case of EL infinite level Rapoport–Zink spaces, generalizing a result of Ivanov–Weinstein in the basic case.