The existence conjecture for integral models of Shimura varieties of abelian type
The integral-model conjecture. There is a scheme SKp(G,X){\mathscr S}_{K_p}({\mathbb G},X)SKp(G,X) over … with a right action of G(Afp){\mathbb G}({\mathbb A}_f^p)G(Afp) satisfying: (a) sufficiently small…