Canonical Integral Models of Shimura Varieties of Abelian Type
arXiv:2402.05727
Abstract
We prove a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when by showing that the Kisin-Pappas-Zhou integral models of Shimura varieties of abelian type are canonical. In particular, this shows that these models of are independent of the choices made during their construction, and that they satisfy functoriality with respect to morphisms of Shimura data.
49 pages, comments welcome!