环状类型 Shimura 簇的正则积分模型

我们证明了 Pappas-Rapoport 猜想中关于具有 parahoric 水平结构的 Shimura 簇的正则积分模型存在性，在所论 Shimura 簇由环面定义的情形下成立。作为一个重要组成部分，我们利用 Bhatt-Scholze 的棱柱 $F$-晶体理论，证明了从 Gal$(\bar{K}/K)$ 的 $\mathcal{G}$-值晶体表示到 Spd$(\mathcal{O}_K)$ 上的 $\mathcal{G}$-shtuka 存在一个完全忠实的函子，其中 $\mathcal{G}$ 是 $\mathbb{Z}_p$ 上的 parahoric 群概型，$\mathcal{O}_K$ 是 $p$-进域 $K$ 中的整数环。