Perfectoid Shimura Varieties of Abelian Type

Abstract

We prove that Shimura varieties of abelian type with infinite level at p are perfectoid. As a corollary, the moduli spaces of polarized K3 surfaces with infinite level at p are also perfectoid.