On the Geometry of the Pappas–rapoport Models for Pel Shimura Varieties | Synapse