Abstract:We study the mod $p$-points of the Kisin--Pappas integral models of Shimura varieties of Hodge type with parahoric level. We show that if the group is quasi-split, then every isogeny class contains the reduction of a CM point, proving a conjecture of Kisin--Madapusi-Pera--Shin. We furthermore show that the mod $p$ isogeny classes are of the form predicted by the Langlands--Rapoport conjecture if either the Shimura variety is proper or if the group at $p$ is unramified. The main ingredient in our work is a global argument that allows us to reduce the conjecture to the case of very special parahoric level. This case is dealt with in the appendix by Rong Zhou. As a corollary to our arguments, we determine the connected components of Ekedahl--Oort strata.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is about the structure and properties of the mod - $p$ points of Shimura varieties under specific models. Specifically, the author studied the $\mathbb{F}_p$-points of Shimura varieties with affine level structures and proved some important conjectures. ### Main problems 1. **Homology classes of mod - $p$ points**: One of the core objectives of the paper is to prove that if the group $G_{\mathbb{Q}_p}$ is quasi - split, then each homology class contains the reduction of a special point (CM point). This verifies the Kisin - Madapusi - Pera - Shin conjecture. 2. **Langlands - Rapoport conjecture**: The paper further shows that when the Shimura variety is proper or the group is unramified at $p$, the form of the mod - $p$ homology classes conforms to the prediction of the Langlands - Rapoport conjecture. ### Specific content - **Integral models of Shimura varieties**: The paper studied the $\mathbb{F}_p$-points on the Kisin - Pappas integral models of Hodge - type Shimura varieties. - **Main results**: - For very special affine subgroups, each homology class has the form $I_\phi(\mathbb{Q})\backslash X_p(\phi)\times X_p(\phi)/U_p$. - If the Shimura variety is proper or the group is unramified at $p$, the above conclusion holds for any affine subgroup. - **He - Rapoport axioms**: The paper verified that the Kisin - Pappas integral model satisfies the He - Rapoport axioms. - **Irreducible components of EKOR strata**: By combining the $\ell$-adic monodromy theorem, the paper calculated the set of irreducible components of EKOR strata. ### Method overview - **Geometric method**: The paper utilized the geometric properties of affine Deligne - Lusztig varieties, especially conducting a detailed analysis for the case of very special affine subgroups. - **Transitivity argument**: By proving the transitivity of results from very special affine subgroups to Iwahori subgroups and then to general affine subgroups, the paper solved more general cases. - **Diagram commutativity**: The paper proved that a key diagram is a Cartesian diagram, which is part of the He and Rapoport conjecture. ### Conclusion Through the above methods, the paper successfully proved important conjectures about mod - $p$ points and provided new insights into the geometric structure of Shimura varieties. These results not only verify previous conjectures but also lay the foundation for further research. ### Formulas involved - Representation of homology classes: \[ S(\phi)=I_\phi(\mathbb{Q})\backslash X_p(\phi)\times X_p(\phi) \] - Natural mapping of EKOR strata: \[ S_{U,F_p}^{(w)}\to S_{U,F_p}(G,X) \] These formulas and conclusions together form the core content of the paper, demonstrating the author's in - depth research and important contributions in this field.

Mod $p$ points on Shimura varieties of parahoric level (with an appendix by Rong Zhou)

On a conjecture of Pappas and Rapoport

On the geometry of the Pappas-Rapoport models in the (AR) case

Integral models of Shimura varieties with parahoric level structure, II

$p$-adic hyperbolicity for moduli spaces of abelian motives

Canonical Integral Models of Shimura Varieties of Abelian Type

p-adic shtukas and the theory of global and local Shimura varieties

Moduli spaces of level structures on mixed characteristic local shtukas

Regular models of ramified unitary Shimura varieties at maximal parahoric level

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Semi-stable and splitting models for unitary Shimura varieties over ramified places. II

Central leaves on Shimura varieties with parahoric reduction

Tate Cycles on Some Quaternionic Shimura Varieties Mod P

Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves

Characteristic $p$ analogues of the Mumford--Tate and André--Oort conjectures for products of ordinary GSpin Shimura varieties

On integral local Shimura varieties

Heights of pre-special points of Shimura varieties

Partial Hasse Invariants on Splitting Models of Hilbert Modular Varieties

Perfectoidness via Sen Theory and Applications to Shimura Varieties

On the Piatetski-Shapiro construction for integral models of Shimura varieties

Torsion Vanishing for Some Shimura Varieties