Abstract:Let $(G,X)$ be a PEL-Shimura datum of type AC in Kottwitz's classification. Assume $G_{\mathbf{Q}_p}$ is unramified. We show that the good reduction locus of the infinite $p$-level Shimura variety attached to this datum, considered as a diamond, can be described as the fiber product of a certain v-stack (which we call ``Igusa stack") with a Schubert cell of the corresponding $B_{dR}^+$-affine Grassmannian, over the stack of $G_{\mathbf{Q}_p}$-torsors on the Fargues-Fontaine curve. We also construct a minimal compactification of the Igusa stack and show that this fiber product structure extends to the minimal compactification of the Shimura variety. When the Schubert cell of the affine Grassmannian is replaced by a bounded substack of $\mathcal{G}$-shtukas, where $\mathcal{G}$ is a reductive model of $G_{\mathbf{Q}_p}$ over $\mathbf{Z}_p$, we show that this fiber product recovers the integral model of the Shimura variety. This result on integral models, if specialized to a Newton polygon stratum, recovers the fiber product formula of Mantovan. Similar fiber product structures are conjectured by Scholze to exist on general Shimura varieties.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to understand the geometric properties of certain PEL - type Shimura varieties as p - adic analytic objects and their relationships with local counterparts. Specifically, by constructing a p - adic analytic stack called "Igusa stack", the author explores how to interpolate between different layers of Shimura varieties to obtain a "product structure" similar to the Mantovan fiber product formula. This research not only provides a new perspective for understanding the geometric structure of Shimura varieties but also offers a new method for constructing canonical integral models of Shimura varieties.
### Main contributions of the paper
1. **Construction of Igusa Stack**:
- The author defines a new v - stack, called "Igusa stack", and describes the good reduction region of Shimura varieties through its fiber product with Bun G (the classification stack of G - bundles on the Fargues - Fontaine curve).
- It is proved that on the good reduction region, Shimura varieties can be expressed as the fiber product of Igusa stack and Bun G.
2. **Minimal compactification**:
- The minimal compactification of Igusa stack is constructed, and it is proved that this fiber product structure can be extended to the minimal compactification of Shimura varieties.
- By the algebraic Hartogs extension lemma, it is verified that the fiber product of relative spectra indeed recovers the minimal compactification of Shimura varieties.
3. **Integral model**:
- For the case where G is a smooth parabolic model of GQp, it is proved that at the level of Kp = G(Zp), there exists a canonical integral model such that the fiber product structure remains unchanged.
- This result supports Scholze's fiber product conjecture about general Shimura varieties.
4. **Hecke action**:
- It is proved that there exists an action of G(Af) on Igusa stack, and this action is compatible with the action on Shimura varieties.
5. **Newton stratification**:
- The Newton stratification of Shimura varieties is studied, and it is proved that on the fundamental stratum, this fiber product structure recovers the p - adic uniformization formula of Rapoport and Zink.
### Specific formulas and concepts
- **Dieudonné module**: For a complete local ring R of characteristic p, its Dieudonné module is a Zp - module with Frobenius and Verschiebung. For example, for Qp/Zp, its Dieudonné module is (Zp, F = 1).
- **Hodge - Tate period map**: For Shimura variety SKp, the Hodge - Tate period map πHT: SKp → GrG,µ maps Shimura variety to a Schubert cell of B+dr - affine Grassmannian.
- **Beauville - Laszlo map**: BL: GrG → BunG maps the affine Grassmannian to the classification stack of G - bundles on the Fargues - Fontaine curve.
- **Fiber product structure**: On the good reduction region, Shimura variety SKp can be expressed as the fiber product of Igusa stack IgsKp and Bun G:
\[
\begin{array}{ccc}
S^\circ_{K_p} & \rightarrow & Gr_{G,\mu} \\
\downarrow & & \downarrow \\
Igs^\circ_{K_p} & \rightarrow & Bun_G
\end{array}
\]
### Applications and significance
- **Geometric Langlands correspondence**: This research provides new tools for the geometric Langlands correspondence. In particular, through the fiber product of Igusa stack and shtuka, one can construct perverse sheaves related to local Langlands parameters.
- **Integral model of Shimura variety**: Through the construction of Igusa stack, for Shimura variety...