Canonical Models of Abelian-Type Shimura Varieties

• Integral canonical models of abelian-type Shimura varieties are normal, flat schemes over rings of integers that uniquely extend Shimura varieties with rich moduli-theoretic properties.
• Their construction employs group-theoretic local models from reductive group representations to control formal local structures and manage singularities.
• This framework underpins critical arithmetic applications, including p-adic Hodge comparisons, Langlands program tests, and automorphic vector bundle constructions.

An integral canonical model of an abelian-type Shimura variety is a normal, flat, finite type scheme over the ring of integers at a place of its reflex field, characterized by a unique extension property, Hecke-functoriality, and a moduli-theoretic relationship to the Hodge- and adjoint forms of the Shimura datum. The formal and local structure of these models is governed by group-theoretic "local models" stemming from the representation theory of reductive groups. These models serve as integral lifts of the generic complex and $p$-adic towers of Shimura varieties, encoding their reduction and deformation data, and underpinning arithmetic, geometric, and automorphic applications.

1. Abelian-Type Shimura Data and Parahoric Level Structure

Let $(G,X)$ denote a Shimura datum, with $G$ a connected reductive group over $\Q$ and $X$ a $G(\R)$-conjugacy class of homomorphisms $h: S = \mathrm{Res}_{\C/\R} \mathbb{G}_m \to G_\R$ satisfying Deligne's axioms. $(G,X)$ is called of abelian type if there exists a Shimura datum of Hodge type $(G_1, X_1)$ and a central isogeny $G_1^{\mathrm{der}} \rightarrow G^{\mathrm{der}}$ inducing an isomorphism on adjoint data $$(G_1^{\mathrm{ad}}, X_1^{\mathrm{ad}}) \cong (G^{\mathrm{ad}}, X^{\mathrm{ad}})$$ (Kisin et al., 2015). The reflex field $E=E(G,X)$ is the field of definition of the attached conjugacy class of cocharacters.

Given a rational prime $p>2$ and $G$ splitting over a tamely ramified extension of $\Q_p$, one considers a parahoric subgroup $K_p = G_x(\Z_p) \subset G(\Q_p)$ attached to a point $x$ in the Bruhat–Tits building $B(G, \Q_p)$, and forms open compact subgroups $K = K_p K^p \subset G(\A_f)$.

2. Construction of Integral Canonical Models

For such data, Kisin–Pappas–Zhou construct flat, normal, quasi-projective $\O_{E,(v)}$-schemes $\mathcal{S}_{K}(G,X)$ uniquely characterized by the following Pappas–Rapoport axioms (Daniels et al., 2024):

1. Extension Property: For every discrete valuation ring $R$ of mixed characteristic mapping $\O_{E,(v)} \to R$,

$$\mathcal{S}_{K}(G,X)(R) \cong \mathrm{Sh}_K(G,X)(R[1/p]).$$

1. Hecke Functoriality: For $g \in G(\A_f^p)$ mapping $K^p \mapsto K^{\prime p}$, there is a unique finite étale transition morphism between the integral models extending the Hecke correspondence.
2. Universal Shtuka: The $G^c$-shtuka (associated fiber functor with moduli) on $\mathrm{Sh}_{K}(G,X)^{\lozenge}$ extends to $S_K$ on the diamond, bound by the Hodge cocharacter.
3. Rapoport–Zink Uniformization: For each geometric special fiber point, there is a formal identification of the completed local ring with the corresponding formal local model determined by the group and Hodge data (Daniels et al., 2024, Kisin et al., 2015).

When $(G,X)$ is of Hodge type, $\mathcal{S}_K(G,X)$ is defined as the normalization of the Zariski closure of $\mathrm{Sh}_K(G,X)$ in a suitable Siegel moduli space. For abelian type, integral models are obtained via a central isogeny and descent from the Hodge type cover (Kisin et al., 2015, Lovering, 2016, Morel, 2023).

3. Local Models, Singularities, and Étale-Local Structure

The singularities of the integral models are controlled étale-locally by group-theoretic local models $M_{\mathrm{loc}}(G, \{\mu\}, x)$. These are constructed as Zariski closures of the Schubert cell associated with the Hodge cocharacter in the twisted affine Grassmannian for a smooth affine group scheme $\mathcal{G}$ over $\Z_p[u]$ (Kisin et al., 2015, He et al., 2018). The formal local structure is governed by a smooth $\mathcal{G}_x \otimes \O_E$-torsor and isomorphisms of strict henselizations:

$$\widehat{\mathcal{O}}_{\mathcal{S}_K(G,X), z} \cong \widehat{\mathcal{O}}_{M_{\mathrm{loc}}(G, \{\mu\}, x), w}$$

for corresponding points $z,w$ in the special fibers.

Smoothness, normality, and the structure of the special fiber are dictated by the flatness and Cohen–Macaulay properties of $M_{\mathrm{loc}}$, as classified in (He et al., 2018). In particular, in the hyperspecial-unramified case, the models are smooth; for more general parahoric level (e.g., ramified, orthogonal, or unitary), the local models may have semi-stable reduction or more complicated singularities.

4. Functoriality and Independence of Auxiliary Choices

These integral canonical models and their local model diagrams are shown to be independent of choices of Hodge embedding, lattice, or covering datum. For instance, any two symplectic embeddings (or Hodge-type extensions) used in the normalization/closure construction yield canonically isomorphic models (Zhang, 2019, Daniels et al., 2024). Morphisms of Shimura data extend uniquely to morphisms of their integral canonical models under natural group-theoretic hypotheses.

The functoriality of the construction under maps of Shimura data (including central isogenies, inclusions, and abelianization) is a consequence of this independence and the explicit moduli descriptions (Daniels et al., 2024).

5. Compactifications and Automorphic Vector Bundles

At hyperspecial level, integral canonical models admit toroidal and minimal (Satake–Baily–Borel) compactifications (Pera, 2012, Wu, 12 Jan 2026).

• Toroidal compactifications are constructed by normalization in the compactified generic fiber and admit a boundary stratification indexed by rational polyhedral cones, with each stratum canonically modeled by (possibly quotient of) a lower-dimensional Shimura variety.
• Automorphic vector bundles arise from integral canonical models of the standard $G^c$-principal bundle, defined via de Rham and crystalline comparison at crystalline points and characterized functorially (Lovering, 2016, Wu, 12 Jan 2026). Canonical extensions to toroidal compactifications are constructed compatibly with connections and filtrations for representations of parabolic or Levi subgroups.

6. Cohomological, p-adic, and Local Applications

Integral canonical models play a central role in $p$-adic Hodge theory and the arithmetic geometry of Shimura varieties:

• Canonical filtered $F$-crystals with $G$-structure exist over the models at hyperspecial level and encode crystalline, de Rham, and étale comparison for the universal family (Lovering, 2017). The existence of such crystals characterizes the smooth integral model and implies the crystallinity of Galois representations arising from (cohomology with) automorphic sheaves.
• Prismatic and syntomic realizations provide a unified description of integral canonical models as moduli of $F$-gauges with $G$-structure, yielding, for example, a Serre–Tate deformation theorem in this context and prismatic cohomological stratifications (Imai et al., 2023).
• Semi-stable models for ramified or non-hyperspecial parahoric levels are explicitly constructed and analyzed via resolutions of the local models (Zachos et al., 2023), fitting into the general group-theoretic classification framework (He et al., 2018).

7. Arithmetic and Motivic Properties

The realization of integral canonical models enables the verification of deep arithmetic conjectures:

• Kottwitz’s conjecture: The explicit description of nearby cycle traces via the Bernstein center at special fiber points, thus providing test functions for the Langlands–Kottwitz counting of points (Kisin et al., 2015).
• Isogeny and Tate cycles: The isogeny property for special fibers and the algebraicity of (specialized) crystalline cycles (Tate conjecture for K3 surfaces in char 2) have been established using these models (Vasiu, 2012, Kim et al., 2015).
• The Langlands–Rapoport conjecture: Integral models realize the mod-$p$ point description, global- and local-to-global compatibilities, and provide stratifications (Newton, Ekedahl–Oort) governed by the group-theoretic local model (Vasiu, 2012, Imai et al., 2023).
• Rationality and period maps: Canonical extension properties guarantee compatibility of period maps, including across compactifications and over integral and special fibers (Pera, 2012, Kim et al., 2015).

---

These structures are foundational for the study of the reduction, special fiber geometry, and moduli-theoretic and $p$-adic properties of general Shimura varieties beyond PEL and Hodge type, providing the necessary framework for advanced applications in the Langlands program, $p$-adic comparison, and arithmetic geometry (Kisin et al., 2015, Daniels et al., 2024, Wu, 12 Jan 2026).