Hodge 型 Shimura 簇整模型中的正规化

设 $(G,X)$ 为 Hodge 型 Shimura 数据，$\mathscr{S}_K(G,X)$ 为其具有超特殊（resp. 仿特殊，假设群非分歧）水平结构的整模型。我们证明 $\mathscr{S}_K(G,X)$ 容许一个与模空间诠释相容的闭嵌入，嵌入到 Siegel 模簇的整模型 $\mathscr{S}_{K'}(\mathrm{GSp},S^{\pm})$ 中。特别地，在 $\mathscr{S}_K(G,X)$ 的构造中，正规化步骤是多余的。特别地，我们的结果适用于 Rapoport、Kottwitz 等（resp. Rapoport-Zink 等）先前构造的整模型，因为这些模型与适当选取 Shimura 数据所得的 Hodge 型整模型一致。此外，结合 Lan 关于整模型环面紧化边界分量的一个结果，我们的结果也意味着：对于适当选取的锥分解，存在 Hodge 型整模型的环面紧化到 Siegel 整模型环面紧化的闭嵌入。