The face-map conjecture for local-model toric strata

Let AdmG({μ}){\rm Adm}^{\mathcal G}(\{\mu\}) be the admissible set and let ∣Δ∣|\Delta| be the divisor map from this poset to the face poset F(σG,μ){\mathscr F}(\sigma_{{\mathcal G},\mu}). For w∈Adm({μ})w\in{\rm Adm}(\{\mu\}), define

Λ(w)={μˉ′∈Λ{μ}∣w≤tμˉ′}.\Lambda(w)=\{\bar\mu'\in\Lambda_{\{\mu\}}\mid w\leq t^{\bar\mu'}\}.

Let ∣Δ∣f(w)|\Delta|^{\rm f}(w) be the smallest face of σG,μ\sigma_{{\mathcal G},\mu} containing the extremal rays corresponding to the elements of Λ(w)\Lambda(w). The face-map conjecture. The map ∣Δ∣|\Delta| coincides with the map ∣Δ∣f|\Delta|^{\rm f}. This gives a purely combinatorial description of the divisor map; the source does not state a resolution or further cases in which it is known.

References

Primary source

Georgios Pappas and Michael Rapoport, “Toric schemes and integral models for Shimura varieties with Γ_1(p)-type level”, arXiv:2602.23245 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.