Relative representability and parahoric level structures

We establish a representability criterion of $v$-sheaf theoretic modifications of formal schemes and apply this criterion to moduli spaces of parahoric level structures on local shtukas. In the proof, we introduce nice classes of equivariant profinite perfectoid covers and study geometric quotients of perfectoid formal schemes by profinite groups. As a corollary, we show the local representability of integral models of local Shimura varieties under hyperspecial levels, and study the forgetful morphisms between integral models of Shimura varieties associated with inclusions of parahoric subgroups under hyperspecial levels.