Pith. sign in

REVIEW 3 major objections 4 minor 47 references

On semi-stable integral models for Shimura varieties

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that, for PEL-type Shimura varieties with maximal parahoric level at an odd prime, the singularities of the canonical integral model are resolved by explicitly blowing up a chain of Schubert varieties, yielding a…

desk verdict A serious, explicit construction that likely resolves Conjecture 2.4 for a substantial PEL class, but the referee must check the omitted bilinear-form identities in Lemma 5.9 before the induction is fully certified. read the letter →

arxiv 2608.07105 v1 pith:ZGE4SGYG submitted 2026-08-07 math.NT

Jie Yang , Ioannis Zachos , Zhihao Zhao This is my paper · ORCID
classification math.NT MSC 11G1814G3514B0514M15
keywords Shimuravarietiessemi-stableintegralmodelscanonicallocalparahoriclevelSchubertblow-upresolutionsnearbycyclesPELtype
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that a large class of PEL-type Shimura varieties with maximal parahoric level at an odd prime admit projective semi-stable integral models after a finite extension of the reflex field. The key claim is local: every relevant canonical local model has a group-equivariant modification whose special fiber is a reduced normal-crossings divisor, obtained by explicitly blowing up a chain of Schubert varieties. The construction covers unramified unitary, symplectic, and even orthogonal similitude groups and their Weil restrictions, assuming the algebra factors satisfy condition (†) and there are no ramified unitary factors. If correct, the resulting regular models force the inertia group to act unipotently on nearby cycles and on the ℓ-adic cohomology of the geometric generic fiber.

What carries the argument

The argument is carried by a family of auxiliary affine schemes U(d,ℓ), defined by matrix equations XᵗHX = T₀²H, XHXᵗ = T₀²H, π = T₀T₁⋯T_ℓ together with spin-condition relations (with J_{2d} in place of H in the symplectic case), where X is a (2d+1)×(2d+1) or 2d×2d matrix. The load-bearing identity, Lemma 5.9 (and its symplectic analogue Proposition 9.4), says that the affine chart D₊(y_{i₀,j₀}) of the blow-up of U(d,ℓ) along (X,T₀) is isomorphic to U(d−1,ℓ+1) × $A^{{4d−2}}$; the complementary chart D₊(α) is a smooth group scheme times Spec O_F[T₀,…,T_ℓ]/(π − T₀⋯T_ℓ). Iterating this reduction shrinks the matrix size by one at each blow-up and increases ℓ by one, until only a semi-stable product $A^{{2i²}}$ × Spec O_F[T₀,…,T_i]/(π − T₀⋯T_i) remains. This inductive matrix-size reduction is what converts the geometric problem of resolving Schubert singularities into a concrete computation with determinantal ideals.

What would settle it

Compute in the affine chart D₊(y_{i₀,j₀}) of U(d,ℓ) for d = 2 (a 5×5 matrix H) the explicit expressions from equations (5.3.3)–(5.3.5) and check whether the relation (r_{i*}, r_s) = 0 for s ≠ i₀ is identically satisfied; if it fails, the chart is not contained in U(d−1,ℓ+1)×$A^{{4d−2}}$ and the claimed semi-stable cover collapses.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central result is Theorem 1.2: under assumption (†), for a maximal parahoric group scheme G there is a finite extension E'/E and a G_{O_{E'}}-equivariant modification M^ss → M^loc_{G,µ} ⊗_{O_E} O_{E'} such that M^ss has semi-stable reduction over O_{E'}. The modification is a chain of blow-ups along Schubert varieties S_0 ⊂ S_1 ⊂ ⋯ ⊂ S_{d-1} in the special fiber, each center being the strict transform of the previous Schubert variety; in local affine charts, the centers are cut out by the determinantal ideals (π, ∧^{j+1}X). Via the local model diagram, this produces a projective semi-stable model S_K^ss of the Shimura variety S_K over O_{E'}, regular with reduced normal-crossings special fiber, and consequently the inertia group acts unipotently on the nearby cycles and on the ℓ-adic cohomology of the geometric generic fiber. The paper also gives explicit moduli descriptions of the Schubert varieties involved, including a new one in the symplectic case.

Load-bearing premise

The load-bearing premise is that the omitted verification in Lemma 5.9—that the remaining bilinear-form identities hold automatically in the main affine chart of each blow-up—is correct, since every subsequent chart computation, including the symplectic analogue, depends on it.

Editorial extensions

If this is right

  • After the explicit finite extension E′ described in (11.2.1), the Shimura variety Sh_K(G,X) acquires a regular integral model whose special fiber is a reduced divisor with normal crossings.
  • For every maximal parahoric level, the canonical local model satisfies the semi-stable resolution conjecture after base change to O_{E′}.
  • The inertia group of E′ acts trivially on the nearby cycles of the semi-stable model and unipotently on the nearby cycles and ℓ-adic cohomology of the original canonical model and of the geometric generic fiber.
  • The construction gives an explicit moduli-theoretic description of the Schubert varieties in the special fibers, including a new symplectic description, and shows they form a single chain ordered by inclusion.
  • The local resolutions are proved uniformly for split and quasi-split orthogonal, symplectic, and Weil-restricted groups, so the same blow-up sequence resolves the corresponding local models after base change to the splitting field.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The chart identity U(d,ℓ) → U(d−1,ℓ+1)×A^{4d−2} suggests a general principle for minuscule local models of classical type: each blow-up of a Schubert stratum decreases the rank parameter while adding normal-crossings coordinates, so semi-stability is forced combinatorially; this principle may extend to the ramified unitary factors excluded by (†).
  • The explicit finite extension E′ is built only from Galois closures of centers and square roots of uniformizers; one could test computationally whether a smaller extension suffices for concrete examples such as GSp_{2g} with Iwahori level, where earlier constructions of semi-stable models for genus 3 suggest the bound may be sharp.
  • Because inertia acts unipotently on the cohomology of the geometric generic fiber, the monodromy filtration is the one predicted by the weight-monodromy conjecture; the semi-stable model constructed here gives a place to verify the corresponding weight filtration term by term.
  • The chain of Schubert varieties used as blow-up centers has the shape of a single chain ordered by inclusion; a testable extension would be to relate the number of blow-ups to the length of this chain and to predict resolutions for other minuscule local models from the same order.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper constructs, for PEL-type Shimura varieties with maximal parahoric level at an odd prime p, explicit (potentially) semi-stable integral models after a finite extension of the reflex field. The main local theorem is Theorem 1.2: under the hypothesis (†), a G_{O_{E'}}-equivariant modification M^ss -> M^loc_{G,μ} ⊗ O_{E'} exists with M^ss semi-stable over O_{E'}. The construction proceeds by blowing up successive Schubert varieties in the special fiber of the canonical local model, with the affine computations reduced to iterated blow-ups of matrix schemes along determinantal ideals. Via the local model diagram, the authors deduce semi-stable integral models S_K^ss of the associated Shimura varieties (Theorem 11.3) and unipotence of inertia on nearby cycles and ℓ-adic cohomology (Theorem 11.7).

Significance. If the main theorem is correct, the paper provides a substantial advance: explicit desingularizations of canonical local models for orthogonal, symplectic, and Weil-restricted PEL data at maximal parahoric level, with the centers described by Schubert varieties and determinantal ideals. The affine-chart reduction and the inductive matrix blow-up method are natural and potentially reusable. The paper is also honest about its scope, handling the ramified-unitary factors only in forthcoming work. The main limitations are that the local-model input (flatness, integrality, and Schubert stratification) is quoted from the same-author preprints [41,42,43], and several key chart identifications are asserted rather than fully verified; these points are discussed in the major comments.

major comments (3)
  1. [Section 5.3, Lemma 5.9] The proof of the chart isomorphism D_+(y_{i0,j0}) ≅ U(d-1,ℓ+1)^{±ε} × A^{4d-2}_{O_F} ends with the sentence: 'The remaining bilinear form identities, i.e., (r_{i0*},r_s)=0 for s≠i_0, (c_{j0*},c_t)=0 for t≠j_0 are automatically satisfied. We omit these routine verifications for brevity.' This is a load-bearing point, not a cosmetic omission. The induction in Proposition 5.4 identifies the next strict transform V(T_0,∧^r Z) precisely by using this chart isomorphism, and the same pattern is used in the split orthogonal case (Lemma 6.4 and Proposition 6.2) and, after iteration, in the symplectic case (Proposition 9.2). If the residual identities are not checked, the closed immersion constructed in Lemma 5.9 need not be surjective, and the dimension argument comparing with the integral target would not force the chart to be the claimed product; the recursion producing A^{2i^2} × Spec O_F[T_0,…,T_i]/(π-T_0⋯T_i) at the end of Proposition 5.4 would then collapse. The missing verification should be supplied in full, either in an appendix or by an independent computer-algebra check, before the main theorem can be considered established.
  2. [Section 7, proof of Theorem 7.3] The proof states: 'For each embedding σ=σ^l_j∈Σ, the local model M^loc_i(σ) is isomorphic to the spin local model M^±_i over the ring of integers of L(√-σ(π_1)) by Theorem 4.3.' This is not immediate. M^loc_i(σ) is defined in Definition 3.4 as the schematic closure of the generic fiber of the naive local model M^naive(L[σ],μ[σ]), whose generic fiber is the disjoint union OGr^+ ⊔ OGr^- of the two orthogonal Grassmannian components, while Theorem 4.3 concerns the spin local model M^±_i, a flat closed subscheme representing one component. The text does not justify why the flat closure of the naive local model should be a single spin component rather than the union M^+_i ∪ M^-_i. If it is the union, the semi-stable resolution must be constructed for the union, and Theorem 5.1 or 6.1, which treats a single spin model, does not apply directly. This identification is central to the Weil-restriction case (Theorem 7.3) and therefore to Theorem 1.2 under (†); it needs a rigorous proof or a revised construction.
  3. [Sections 3 and 7, splitting-model closure] After passing from the naive splitting-model diagram (3.0.8) to the flat-closure diagram (3.0.9), the text records only that α_1 is an H-torsor and α_2 is H-equivariant; it does not assert that α_2 remains smooth after taking schematic closures. However, in the proof of Theorem 7.3, diagram (7.0.7) labels α_2 and α_2' as smooth, and the 'linear modification' argument uses this smoothness to transfer the modification Z → ∏ M^loc_i to a modification of M^spl_L. Smoothness is not automatic under passing to flat closures, and the text gives no proof that the splitting-model diagram is compatible with the closures in the needed way. Please either prove that α_2 in (3.0.9) is smooth (or étale locally a product), or show explicitly why smoothness is not needed for the linear-modification step. Without this, the Weil-restriction constructions in Theorems 7.3 and 10.2 are not fully justified.
minor comments (4)
  1. [Section 6.2, line after Lemma 6.4] The definition 'set i_0^* = 2d+1-j' should presumably read i_0^* = 2d+1-i_0; as written, j is not defined there.
  2. [Section 10, last paragraph of Theorem 10.2 proof] The phrase 'the morphsim γ: M^ss(L,μ)→M^spl_L is G-equivalent' should be 'G-equivariant'.
  3. [Definition 2.5(2)] Definition 2.5(2) appears to define 'normal crossings' twice in consecutive paragraphs: first as simple normal crossings at every closed point, then again via an étale covering. These two notions (normal crossings vs. simple normal crossings) are not the same in the literature, and the text should be reconciled to avoid ambiguity, especially since the main theorems use both properties.
  4. [Lemma 8.5] The notation in the displayed isomorphism of Iwahori–Weyl groups, 'fW_G ≃ ... ≃ fW_{G′}', is confusing: the maps denoted f are used for both the apartment isomorphism and the group isomorphism, and the two uses are never defined. The proof would be clearer with distinct names, e.g., f_A and f_W.

Circularity Check

0 steps flagged · score 2.0 of 10

No definitional or fitted-parameter circularity: the blow-up recursion is a genuinely new induction; the score reflects reliance on same-author companion results and an omitted verification, not circularity.

full rationale

The paper's central chain is: canonical local models (existence from [1]) → explicit affine charts and Schubert stratifications (mostly quoted from the same-author preprints [42,43,41]) → inductive blow-up computations on the chart Spec R_i → semi-stable covering by charts of the form A^{2i^2} × Spec O_F[T_0,...,T_i]/(π−T_0···T_i) → global and Weil-restriction cases via splitting models and Hartl's product construction. The key local recursion in Proposition 5.4 (and its analogues 6.2 and 9.2) is not circular: the auxiliary schemes U(d,ℓ) are introduced by explicit equations, and Lemmas 5.9/5.10, 6.4, 9.4 and 9.5 compute the blow-up charts of U(d,ℓ) as products involving U(d−1,ℓ+1) and affine space. The base case U(0,i) is by definition the standard strictly semi-stable scheme, so the induction terminates in the claimed semi-stable charts. No fitted parameter is renamed as a prediction, and no output quantity is inserted into the input equations: the semi-stability of M^ss is established by exhibiting a covering by explicitly computed charts, not assumed. The main caveats are non-circular. First, several load-bearing inputs—flatness, integrality, Schubert stratification and the explicit affine chart description—are quoted from [42], [43] and [41], which are companion preprints by overlapping authors; these are external inputs rather than consequences of the target theorem, but they are not machine-checked and the paper is not fully self-contained on these points. Second, Lemma 5.9 contains an omitted verification: after deriving the chart D_+(y_{i0,j0}) ≅ U(d−1,ℓ+1)^{±ε} × A^{4d−2}, the paper states that the remaining bilinear-form identities "are automatically satisfied" and omits the details. This is a completeness/rigor risk for the whole induction, but it is not circularity in the sense of the target conclusion being assumed as an input. Accordingly, the circularity score is low; the derivation chain is structurally inductive and self-contained in its constructive core, with reliance on same-author preprints and an omitted routine check reducing verification confidence rather than exhibiting equation-for-equation circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numerical fitting and no invented objects. The construction rests on a stack of prior results: canonical local models [1], local model diagrams [34,23,4], splitting models [30,38,3], Hartl's product theorem [18], and the flatness and Schubert stratification of spin and symplectic local models [42,43,13]. These are taken as input rather than derived here. The same-author companion preprints [42,43] do substantial load-bearing work.

assumptions (6)
  • standard math Theorem 2.2: the v-sheaf local model is represented by a unique flat, projective, normal scheme with reduced special fiber ([1, Theorem 1.2]).
    Used throughout to identify M^loc_{G,µ} and to justify functoriality; imported from Anschuetz-Gleason-Lourenco-Richarz.
  • standard math The canonical integral model S_K of PEL type admits a local model diagram over O_E (Section 11.1, [34, Section 8.2.4], [23]).
    Bridges local resolutions to global Shimura varieties; not proved in this paper.
  • standard math The splitting-model diagram (Proposition 3.3) exhibits M^spl_L as etale locally a product of naive local models, with alpha_1 an H-torsor and alpha_2 smooth ([30,38,3]).
    Needed to transfer resolutions from local models to Weil restrictions.
  • standard math Hartl's theorem [18, Proposition 2.1]: after finitely many blow-ups, a product of semi-stable schemes is semi-stable.
    Used to make products of factorwise resolutions semi-stable.
  • domain assumption Flatness, normality and Schubert stratification of orthogonal and symplectic local models with maximal parahoric level, as stated in Theorems 4.3, 4.5, 8.2 and 8.4 and proved in [42,43,13].
    These are key input facts from companion preprints by the same authors and from Görtz; they identify the centers of the blow-ups.
  • domain assumption Assumption (†): B_{Q_p} is a product of matrix algebras over field extensions, stable or exchanged by the involution, and G^ad has no ramified unitary factors; p>2; K^p sufficiently small.
    Defines the class of PEL data for which the construction is claimed, excluding ramified unitary factors deferred to future work.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On semi-stable integral models for Shimura varieties." pith.science (2026). https://pith.science/paper/ZGE4SGYG

@misc{pith2026260807105,
  author       = {Pith},
  title        = {Pith review of: On semi-stable integral models for Shimura varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZGE4SGYG}},
  note         = {Machine review of arXiv:2608.07105}
}
abstract

We construct (potentially) semi-stable integral models for a class of Shimura varieties with maximal parahoric level at an odd prime $p$. The main input is an explicit construction of semi-stable equivariant modifications of the relevant canonical local models, where the underlying groups are Weil restrictions of unramified unitary similitude groups, symplectic similitude groups, or even orthogonal similitude groups. Via the local model diagram, these constructions give (potentially) semi-stable integral models of the corresponding Shimura varieties. In particular, the resulting models are regular and have reduced special fiber with normal crossings. As an application, we deduce the unipotence of the inertia action on nearby cycles and the $\ell$-adic cohomology of the geometric generic fibers.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

47 extracted references · 35 canonical work pages

  1. [1]

    Ansch¨ utz, I

    J. Ansch¨ utz, I. Gleason, J. Louren¸ co, T. Richarz,On thep-adic theory of local models, to appear inAnn. of Math. (2); preprint arXiv:2201.01234 (2022)

    arXiv 2022

  2. [2]

    Bertapelle and M

    A. Bertapelle and M. Candilera,Greenberg algebras and ramified Witt vectors,J. Th´ eor. Nombres Bordeaux32(2020), no. 3, 901–921

    work page 2020

  3. [3]

    Bijakowski and V

    S. Bijakowski and V. Hernandez,On the geometry of the Pappas–Rapoport models for PEL Shimura varieties,J. Inst. Math. Jussieu22(2023), no. 5, 2403–2445

    work page 2023

  4. [4]

    Daniels, P

    P. Daniels, P. van Hoften, D. Kim, and M. Zhang,On a conjecture of Pappas and Rapoport, Math. Ann.395(2026), no. 2, 31

    work page 2026

  5. [5]

    Daniels and A

    P. Daniels and A. Youcis,Canonical integral models for Shimura varieties of abelian type, Forum Math. Sigma13(2025), e69

    work page 2025

  6. [6]

    de Concini,Symplectic standard tableaux, Adv

    C. de Concini,Symplectic standard tableaux, Adv. in Math. 34 (1979), 1–27

    work page 1979

  7. [7]

    Deligne and N

    P. Deligne and N. Katz (eds.),Groupes de monodromie en g´ eom´ etrie alg´ ebrique (SGA 7 II), Lecture Notes in Mathematics, vol. 340, Springer-Verlag, Berlin–Heidelberg–New York, 1973

    work page 1973

  8. [8]

    Faltings,Explicit resolution of local singularities of moduli-spaces.,J

    G. Faltings,Explicit resolution of local singularities of moduli-spaces.,J. Reine Angew. Math. 483(1997), 183–196

    work page 1997

Show all 47 references
  1. [9]

    Faltings,Toroidal resolutions for some matrix singularities, inModuli of Abelian Varieties, 157–184, Springer, 2001

    G. Faltings,Toroidal resolutions for some matrix singularities, inModuli of Abelian Varieties, 157–184, Springer, 2001

    2001

  2. [10]

    Gaube and B

    S. Gaube and B. Schober,Desingularization of generic symmetric and generic skew- symmetric determinantal singularities,Manuscr. Math.174(2024), no. 3, 1113–1131

    2024

  3. [11]

    Genestier,Un mod` ele semi-stable de la vari´ et´ e de Siegel de genre 3 avec structures de niveau de typeΓ 0(p),Compos

    A. Genestier,Un mod` ele semi-stable de la vari´ et´ e de Siegel de genre 3 avec structures de niveau de typeΓ 0(p),Compos. Math.123(2000), no. 3, 303–328

    2000

  4. [12]

    Gora,Local models, Mustafin varieties and semi-stable resolutions,M¨ unster J

    F. Gora,Local models, Mustafin varieties and semi-stable resolutions,M¨ unster J. Math.16 (2023), no. 2

    2023

  5. [13]

    G¨ ortz,On the flatness of local models for the symplectic group,Adv

    U. G¨ ortz,On the flatness of local models for the symplectic group,Adv. Math.176(2003), 89–115

    2003

  6. [14]

    G¨ ortz,Computing the alternating trace of Frobenius on the sheaves of nearby cycles on local models forGL 4 andGL 5, J

    U. G¨ ortz,Computing the alternating trace of Frobenius on the sheaves of nearby cycles on local models forGL 4 andGL 5, J. Algebra278(2004), 148–172

    2004

  7. [15]

    G¨ ortz,Topological flatness of local models in the ramified case,Math

    U. G¨ ortz,Topological flatness of local models in the ramified case,Math. Z250(2005), 775–790

    2005

  8. [16]

    G¨ ortz and T

    U. G¨ ortz and T. J. Haines,The Jordan–H¨ older series for nearby cycles on some Shimura varieties and affine flag varieties, J. Reine Angew. Math.609(2007), 161–213

    2007

  9. [17]

    T. J. Haines,Introduction to Shimura varieties with bad reduction of parahoric type, Clay Math. Proc., vol. 4, American Mathematical Society, Providence, RI, 2005, p. 583–642

    2005

  10. [18]

    U. T. Hartl,Semi-stability and base change,Arch. Math. (Basel)77(2001), 215–221

    2001

  11. [19]

    X. He, G. Pappas, M. Rapoport,Good and semi-stable reductions of Shimura varieties,J. ´E c. polytech. Math.7(2020), 497–571

    2020

  12. [20]

    X. He, M. Rapoport,Stratifications in the reduction of Shimura varieties, Manus. math. 152 (2017), 317–343

    2017

  13. [21]

    Q. He, Y. Luo, and Y. Shi,Regular models of ramified unitary Shimura varieties at maximal parahoric level,arXiv preprintarXiv:2410.04500 (2024)

    2024 arXiv

  14. [22]

    Kisin and G

    M. Kisin and G. Pappas,Integral models of Shimura varieties with parahoric level structure, Publ. Math. IHES128(2018), no. 1, 121–218

    2018

  15. [23]

    Kisin, G

    M. Kisin, G. Pappas, and R. Zhou,Integral models of Shimura varieties with parahoric level structure, II,Forum Math. Pi14(2026), e14

    2026

  16. [24]

    Kottwitz, M

    R. Kottwitz, M. Rapoport,Minuscule Alcoves forGl n andGSp 2n, Manuscripta Math. 102 (2000), 403–428

    2000

  17. [25]

    Kr¨ amer,Local models for ramified unitary groups,Abh

    N. Kr¨ amer,Local models for ramified unitary groups,Abh. Math. Sem. Univ. Hamburg73 (2003), 67–80

    2003

  18. [26]

    Lan and B

    K.-W. Lan and B. Stroh,Nearby cycles of automorphic ´ etale sheaves, II, inCohomology of Arithmetic Groups: On the Occasion of Joachim Schwermer’s 66th Birthday, Springer Proc. Math. Stat.245, Springer, Cham, 2018, pp. 83–106

    2018

  19. [27]

    Liu,Algebraic geometry and arithmetic curves

    Q. Liu,Algebraic geometry and arithmetic curves. Transl. by Reinie Ern´ e, Oxford University Press, 2006

    2006

  20. [28]

    S. Mao, P. Wu,Canonical extensions ofp-adic shtukas on toroidal compactifications of Shimura varieties,arXiv preprintarxiv:2605.30086 (2026). 51

    2026 arXiv

  21. [29]

    Pappas,On the arithmetic moduli schemes of PEL Shimura varieties,J

    G. Pappas,On the arithmetic moduli schemes of PEL Shimura varieties,J. Algebraic Geom. 9(2000), 577–605

    2000

  22. [30]

    Pappas, M

    G. Pappas, M. Rapoport,Local models in the ramified case. II. Splitting models, Duke Math. Journal 127 (2005), 193-250

    2005

  23. [31]

    Pappas, M

    G. Pappas, M. Rapoport,Local models in the ramified case. III. Unitary groups,J. Inst. Math. Jussieu8(2009), no. 3, 507–564

    2009

  24. [32]

    Pappas and M

    G. Pappas and M. Rapoport,p-adic shtukas and the theory of global and local Shimura varieties,Cambridge J. Math.12(2024), no. 1, 1–164

    2024

  25. [33]

    Pappas, M

    G. Pappas, M. Rapoport, B. Smithling,Local models of Shimura varieties, I. Geometry and combinatorics, inHandbook of moduli. Vol. III, Adv. Lect. Math. (ALM), vol. 26, Int. Press, Somerville, MA, 2013, pp. 135–217

    2013

  26. [34]

    Pappas, X

    G. Pappas, X. Zhu,Local models of Shimura varieties and a conjecture of Kottwitz,Invent. Math.194(2013), no. 1, 147–254

    2013

  27. [35]

    Pappas, I

    G. Pappas, I. Zachos,Regular integral models for Shimura varieties of orthogonal type,Com- pos. Math.158(2022), no. 4, 831–867

    2022

  28. [36]

    Rapoport, T

    M. Rapoport, T. Zink,Period spaces forp-divisible groups, Annals of Mathematics Studies, vol. 141, Princeton Univ. Press, Princeton, NJ, 1996

    1996

  29. [37]

    Scholze, J

    P. Scholze, J. Weinstein,Berkeley lectures onp-adic geometry, Annals of Mathematics Stud- ies, vol. 207, Princeton Univ. Press, Princeton, NJ, 2020

    2020

  30. [38]

    Shen and Y

    X. Shen and Y. Zheng,F-zips with additional structure on splitting models of Shimura vari- eties,Forum Math. Sigma13(2025), e142

    2025

  31. [39]

    Wu,Arithmetic compactifications of integral models of Shimura varieties of abelian type, arXiv preprintarxiv:2505.09135 (2025)

    P. Wu,Arithmetic compactifications of integral models of Shimura varieties of abelian type, arXiv preprintarxiv:2505.09135 (2025)

    2025

  32. [40]

    Yang, 2-adic integral models of some Shimura varieties with parahoric level structure, arXiv preprintarXiv:2301.12981 (2023)

    J. Yang, 2-adic integral models of some Shimura varieties with parahoric level structure, arXiv preprintarXiv:2301.12981 (2023)

    2023 arXiv

  33. [41]

    Yang,Topological flatness of orthogonal spin local models, arXiv:2512.16646 (2025)

    J. Yang,Topological flatness of orthogonal spin local models, arXiv:2512.16646 (2025)

    2025

  34. [42]

    Yang,On the flatness of spin local models for split even orthogonal groups, arXiv:2512.16704v2 (2026)

    J. Yang,On the flatness of spin local models for split even orthogonal groups, arXiv:2512.16704v2 (2026)

    2026 arXiv

  35. [43]

    J. Yang, I. Zachos, Z. Zhao,Onp-adic integral moduli schemes and local models for PEL type D, arXiv:2602.23813v2 (2026)

    2026 arXiv

  36. [44]

    Zachos,On orthogonal local models of Hodge type,Int

    I. Zachos,On orthogonal local models of Hodge type,Int. Math. Res. Not. IMRN2023 (2023), no. 13, 10799–10836

    2023

  37. [45]

    Zachos,Semistable models for some unitary Shimura varieties over ramified primes,Alge- bra & Number Theory18(2024), no

    I. Zachos,Semistable models for some unitary Shimura varieties over ramified primes,Alge- bra & Number Theory18(2024), no. 9, 1715–1736

    2024

  38. [46]

    Zachos, Z

    I. Zachos, Z. Zhao,Semi-stable and splitting models for unitary Shimura varieties over ram- ified places. I,Forum Math. Sigma13(2025), e119

    2025

  39. [47]

    Zachos and Z

    I. Zachos and Z. Zhao,Semi-stable and Splitting Models for Unitary Shimura Varieties Over Ramified Places. II.,Int. Math. Res. Not.2025(2025), no. 11, rnaf145. Yau Mathematical Sciences Center, Tsinghua University, Beijing, 100084, China E-mail address:jie-yang@mail.tsinghua.e...

    2025

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.