Abstract:We give a simple proof that Kottwitz's PEL type integral models of Shimura varieties admit closed embeddings into Siegel integral models. We also show that Rapoport's and Kottwitz's integral models agree with Kisin's integral models for relevant Shimura data.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the integral models of PEL - type Shimura varieties can be closed - embedded into Siegel integral models via Hodge embeddings. In addition, the author also shows that for the relevant Shimura data, the integral models of Rapoport and Kottwitz are consistent with Kisin's integral model.
### Specific problem analysis
1. **Existence and properties of Hodge embeddings**
- One of the main goals of the paper is to prove that the Hodge embedding \(\Phi: \mathcal{S}_K(G, X)\to\mathcal{S}_{K'}(GSp, S^\pm)\) is a closed embedding. Here, \(\mathcal{S}_K(G, X)\) represents the integral model of PEL - type Shimura varieties, and \(\mathcal{S}_{K'}(GSp, S^\pm)\) is the Siegel integral model.
- Through a constructive proof, the author shows that the Hodge embedding is a closed embedding under the infinite - level structure, and this result can be descended to the finite - level structure.
2. **Consistency of different integral models**
- The author further proves that for appropriate Shimura data, the integral models of Rapoport, Kottwitz and Kisin are consistent. Specifically, for PEL - type Shimura varieties, Kisin's integral model is the same as Kottwitz's integral model; for Hilbert modular varieties, Kisin's integral model is the same as Rapoport's integral model.
### Main conclusions
- **Closed - embedding property of Hodge embeddings**: Through a series of lemmas and propositions, the author finally proves that the Hodge embedding is a closed embedding under the infinite - level structure (Proposition 3.16), and this result can be descended to the finite - level structure (Corollary 3.18).
- **Consistency of different integral models**: By using the closed - embedding property of Hodge embeddings, the author proves that the integral models of Rapoport, Kottwitz and Kisin are consistent under appropriate conditions (Lemma 3.2 and Corollary 3.18).
### Summary of mathematical formulas
- **Definition of Hodge embeddings**:
\[
\Phi_\infty(S): \mathcal{S}^{(p)}_\infty(G, X)(S)\to\mathcal{S}^{(p)}_{K_\infty}(GSp, S^\pm)(S)
\]
where \(S\) is a \(\text{Spec }\mathcal{O}_{E, (v)}\)-scheme.
- **Proof of closed embeddings**:
- By proving the injectivity (Proposition 3.8) and properness (Lemma 3.13) of the Hodge embedding under the infinite - level structure, it is finally concluded that it is a closed embedding (Proposition 3.16).
- **Consistency of different integral models**:
- By comparing the fiber product diagrams of different integral models, it is proved that they are the same under appropriate conditions (Lemma 3.2 and Corollary 3.18).
These results provide a solid theoretical basis for understanding the integral models of PEL - type Shimura varieties and their relationship with Siegel integral models.