Cohen-Macaulayness of Local Models via Shellability of the Admissible Set

Abstract

We prove that for any dominant cocharacter $μ$ and any parahoric level $K$, the augmented admissible set $\widehat{\Adm(μ)^K}$ in the Iwahori-Weyl group is dual EL-shellable. This resolves a conjecture of Görtz and provides a new proof of the Cohen-Macaulay property for the special fibres of local models with parahoric level structure. In particular, the result settles the previously open cases of residue characteristic $2$ and non-reduced root systems. This approach is characteristic-free and intrinsic to the structure of admissible sets. Moreover, our construction yields an explicit shelling, which translates into an inductive, component-by-component building procedure for the special fibre that preserves Cohen-Macaulayness at each step. As a consequence, we obtain the Cohen-Macaulayness of many local models of Shimura varieties considered in the literature, most notably those satisfying the He-Pappas-Rapoport description, as well as the local models characterized by Scholze-Weinstein and constructed by Anschütz-Gleason-Lourenço-Richarz. Via the usual local model diagram, these results imply the Cohen-Macaulay property for the corresponding integral models of Shimura varieties whenever available. This gives a new proof that the integral models constructed by Kisin-Pappas-Zhou are Cohen-Macaulay.

Figures (3)

• Figure 1:
• Figure 2:
• Figure :

Theorems & Definitions (47)

• Theorem A: Theorem \ref{['thm:main']}
• Theorem B: Theorem \ref{['thm:CM']}, Proposition \ref{['prop:SWisCM']}, Corollary \ref{['cor:KPZisCM']}
• Conjecture 1
• Definition 1.1
• Definition 1.2: BW83
• Definition 1.3: Go01
• Proposition 1.4
• proof
• Definition 2.1
• Proposition 2.2