Abstract:We define and construct integral canonical models for automorphic vector bundles over Shimura varieties of abelian type.
More precisely, we first build on Kisin's work to construct integral canonical models over rings of integers of number fields with finitely many primes inverted for Shimura varieties of abelian type with hyperspecial level at all primes we do not invert, compatible with Kisin's construction. We then define a notion of an integral canonical model for the standard principal bundles lying over Shimura varieties and proceed to construct them in the abelian type case. With these in hand, one immediately also gets integral models for automorphic vector bundles.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct and define integral canonical models of automorphic vector bundles on Abelian - type Shimura varieties. Specifically, the work of the author Tom Lovering mainly focuses on the following aspects:
1. **Extending Kisin's work**: First, based on Kisin's work, Lovering constructed integral canonical models with superspecial level structures for Abelian - type Shimura varieties at all primes not dividing \(N\). These models are compatible with Kisin's construction.
2. **Defining and constructing integral canonical models of standard principal bundles**: Next, Lovering defined integral canonical models of standard principal bundles covering Shimura varieties and constructed them in the Abelian - type case. With these models, the integral models of automorphic vector bundles are also obtained.
3. **Ensuring the smoothness and extensibility of the models**: Lovering proved that the constructed models are smooth and satisfy the extension property, which guarantees the uniqueness of the models.
4. **Handling special cases**: For special types (such as the Siegel case and Hodge type), Lovering discussed in detail how to construct these models through moduli interpretation and group - theoretic techniques.
5. **Generalizing to the general case**: Finally, Lovering generalized these results to more general Abelian - type Shimura varieties, solving the problem of integral canonical models of automorphic vector bundles on this type of varieties.
### Main Theorem
Lovering's main theorem can be summarized as follows:
Suppose \((G, X)\) is an Abelian - type Shimura datum, and \(G/\mathbb{Z}[1/N]\) is a reductive model. Then the tower of Shimura varieties
\[ \text{Sh}_{K_N}(G, X) \]
has smooth integral canonical models \(\text{S}_{K_N}(G, X)/\mathcal{O}_E[1/N]\) over \(\mathcal{O}_E[1/N]\), and this model satisfies the extension property. Moreover, for any place \(v\) not dividing \(N\), the localization of this model over \(\mathcal{O}_{E, v}\) is consistent with Kisin's smooth integral model.
### Proof Outline
The proof is divided into several steps:
- **Siegel case**: Using Mumford's results, the model in the Siegel case was constructed.
- **Hodge type**: By embedding into the symplectic group, the construction was carried out using the existing Hodge - type results.
- **Abelian type**: New technical means were introduced, such as the construction of twists through the center of the derived group, and finally generalized to the Abelian type.
This work not only fills the gaps in the existing literature but also provides a powerful tool for studying the geometric properties of automorphic forms and Shimura varieties.