pith. sign in

arxiv: 2605.15657 · v1 · pith:7ZZ65EIVnew · submitted 2026-05-15 · 🧮 math.NT · math.RT

On the Face Map of the Admissible Set With Iwahori Level

Qingchao Yu This is my paper

Pith reviewed 2026-05-19 22:10 UTC · model grok-4.3

classification 🧮 math.NT math.RT
keywords admissible setface decompositioncoweight polytopeIwahori levelface mapsurjectivitymu-admissible setPappas-Rapoport
0
0 comments X

The pith

The mu-admissible set decomposes into faces indexed by those of the coweight polytope, proving the face map is surjective.

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

The paper associates to each face of the coweight polytope a corresponding subset of the mu-admissible set. These subsets form a decomposition of the admissible set into faces. The decomposition supplies a complete description of the fibers of the face map defined by Pappas-Rapoport. It also shows that the face map itself is surjective. Readers working with p-adic groups or Shimura varieties at Iwahori level would use this to track how admissible elements are stratified by polytope data.

Core claim

To each face F of the coweight polytope P_μ we associate a subset Adm(μ)_F of the μ-admissible set Adm(μ), which we call a face of Adm(μ). This association produces a face decomposition of Adm(μ). As an application we give a complete description of the fibers of the face map |Δ|^f defined by Pappas-Rapoport and prove that the face map is surjective.

What carries the argument

The subsets Adm(μ)_F attached to each face F of the coweight polytope P_μ; these subsets decompose Adm(μ) and determine the fibers of the face map |Δ|^f.

If this is right

  • Adm(μ) admits a decomposition into faces indexed by the faces of P_μ.
  • The fibers of |Δ|^f are completely described in terms of the polytope faces.
  • The face map |Δ|^f is surjective.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same association might be tested for admissible sets at deeper level structures.
  • The decomposition could support dimension calculations or inductive arguments on face strata.
  • Surjectivity may simplify the identification of which combinatorial types appear in explicit low-rank examples.

Load-bearing premise

The subsets Adm(μ)_F associated to each face of the polytope are well-defined and their union exactly covers the admissible set, possibly with controlled overlaps.

What would settle it

An explicit element of Adm(μ) that lies in none of the subsets Adm(μ)_F, or a point in the target of the face map with no preimage.

Figures

Figures reproduced from arXiv: 2605.15657 by Qingchao Yu.

Figure 1
Figure 1. Figure 1: Fs1s2s1,∅ F1,{α1,α2} Fs2s1,∅ F1,∅ Fs1,∅ Fs2s1s2,{α1} Fs2,{α1} Fs1s2,{α1} F1,{α1} [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: is an example in the case of type A2 and µ = 2ω ∨ 1 . The origin is at the thick dot. The set Adm(µ) is the area inside the thick line. The face Adm(µ)∅,s1 consists of the alcoves shaded in dark gray. The face Adm(µ){α1},s2 consists of the alcove shaded in light gray [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 6
Figure 6. Figure 6 [PITH_FULL_IMAGE:figures/full_fig_p009_6.png] view at source ↗
read the original abstract

To each face $\mathcal{F}$ of the coweight polytope $\mathcal{P}_{\mu}$, we associate a subset $\text{Adm}(\mu)_{\mathcal{F}}$ of the $\mu$-admissible set $\text{Adm}(\mu)$, which we refer to as a face of $\text{Adm}(\mu)$. This gives rise to a face decomposition of $\text{Adm}(\mu)$. As an application, we give a complete description of the fibers of the face map $|\Delta|^f$ defined by Pappas-Rapoport and prove that the face map is surjective.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper associates to each face F of the coweight polytope P_μ a subset Adm(μ)_F of the μ-admissible set Adm(μ), which it calls a face of Adm(μ). This yields a face decomposition of Adm(μ). As an application, the manuscript gives a complete description of the fibers of the face map |Δ|^f defined by Pappas-Rapoport and proves that the face map is surjective.

Significance. If the face decomposition is valid, the work supplies a useful combinatorial refinement of the admissible set at Iwahori level and confirms surjectivity of the Pappas-Rapoport face map. This structural result may facilitate further study of the geometry of related moduli spaces or Rapoport-Zink formal schemes.

minor comments (2)
  1. The definition of Adm(μ)_F via association to faces of P_μ is central; a short explicit example for a low-rank case (e.g., GL_2 or GL_3) would help readers verify the construction before the general fiber analysis.
  2. Notation for the face map |Δ|^f and the polytope P_μ should be cross-referenced to the original Pappas-Rapoport paper at first use to avoid any ambiguity for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recommending minor revision. The report does not list any major comments, so we have no specific points requiring point-by-point rebuttal at this stage. We will address any minor issues in the revised version of the paper.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper defines subsets Adm(μ)_F by associating them to faces of the externally given coweight polytope P_μ, then verifies that these form a decomposition of Adm(μ) (well-defined, covering, controlled overlaps). This construction is applied to the independently defined Pappas-Rapoport face map |Δ|^f to describe its fibers and prove surjectivity. No step reduces by construction to a fitted parameter, self-referential definition, or self-citation chain; the central claims rest on explicit definitions and subsequent mathematical arguments rather than renaming or smuggling inputs as outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on standard background definitions of coweight polytopes, admissible sets, and the Pappas-Rapoport face map, plus the new association of subsets to faces.

axioms (1)
  • domain assumption Standard properties of coweight polytopes and μ-admissible sets in the theory of p-adic groups and Iwahori level structures.
    Invoked throughout the construction of faces and the application to the face map.
invented entities (1)
  • Face Adm(μ)_F of the admissible set no independent evidence
    purpose: To decompose Adm(μ) according to faces of the coweight polytope P_μ.
    Newly defined subset associated to each face F; no independent evidence outside the paper's construction.

pith-pipeline@v0.9.0 · 5616 in / 1349 out tokens · 49442 ms · 2026-05-19T22:10:50.177651+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 2 internal anchors

  1. [1]

    [BH20] Oliver B¨ ultel and Mohammad Hadi Hedayatzadeh

    J. Ansch¨ utz, I. Gleason, J. Louren¸ co, and T. Richarz.On the p-adic theory of local models. 2022. arXiv:2201.01234 [math.AG]

    work page arXiv 2022

  2. [2]

    Reflection subgroups of Coxeter systems

    M. Dyer. “Reflection subgroups of Coxeter systems”. In:Journal of Algebra135.1 (1990), pp. 57–73

    work page 1990

  3. [3]

    Fully Hodge-Newton decomposable Shimura varieties

    U. G¨ ortz, X. He, and S. Nie. “Fully Hodge-Newton decomposable Shimura varieties”. In:Peking Math. J.2.2 (2019), pp. 99–154

    work page 2019

  4. [4]

    Test functions for Shimura varieties: the Drinfeld case

    T. J. Haines. “Test functions for Shimura varieties: the Drinfeld case.” In:Duke Math- ematical Journal106 (2001), pp. 19–40. 12

    work page 2001

  5. [5]

    Introduction to Shimura varieties with bad reduction of parahoric type

    T. J. Haines. “Introduction to Shimura varieties with bad reduction of parahoric type”. In:Harmonic analysis, the trace formula, and Shimura varieties. Vol. 4. Clay Math. Proc. Amer. Math. Soc., Providence, RI, 2005, pp. 583–642

    work page 2005

  6. [6]

    Vertexwise criteria for admissibility of alcoves

    T. J. Haines and X. He. “Vertexwise criteria for admissibility of alcoves”. In:Amer. J. Math.139.3 (2017), pp. 769–784

    work page 2017

  7. [7]

    Normality and Cohen-Macaulayness of parahoric local models

    T. J. Haines and T. Richarz. “Normality and Cohen-Macaulayness of parahoric local models”. In:J. Eur. Math. Soc. (JEMS)25.2 (2023), pp. 703–729

    work page 2023

  8. [8]

    X. He, F. Schremmer, and Q. Yu.Cohen-Macaulayness of Local Models via Shellability of the Admissible Set. 2026. arXiv:2603.05875 [math.NT]

    work page arXiv 2026

  9. [9]

    Dimension formula for the affine Deligne-Lusztig varietyX(µ, b)

    X. He and Q. Yu. “Dimension formula for the affine Deligne-Lusztig varietyX(µ, b)”. In:Math. Ann.379.3-4 (2021), pp. 1747–1765

    work page 2021

  10. [10]

    He and Q

    X. He and Q. Yu.Dual Shellability of Admissible Set and Cohen-Macaulayness of Local Models. 2025. arXiv:2509.11581 [math.AG]

    work page arXiv 2025

  11. [11]

    Weights of simple highest weight modules over a complex semisimple Lie algebra

    A. Khare.Weights of simple highest weight modules over a complex semisimple Lie algebra. 2013. arXiv:1305.4104 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  12. [12]

    Faces of weight polytopes and a generalization of a theorem of Vinberg

    A. Khare and T. Ridenour. “Faces of weight polytopes and a generalization of a theorem of Vinberg”. In:Algebr. Represent. Theory15.3 (2012), pp. 593–611

    work page 2012

  13. [13]

    Wythoff’s construction for Coxeter groups

    G. Maxwell. “Wythoff’s construction for Coxeter groups”. In:Journal of Algebra123.2 (1989), pp. 351–377

    work page 1989

  14. [14]

    Generic Newton points and the Newton poset in Iwahori-double cosets

    E. Mili´ cevi´ c and E. Viehmann. “Generic Newton points and the Newton poset in Iwahori-double cosets”. In:Forum Math. Sigma8 (2020), Paper No. e50, 18

    work page 2020

  15. [15]

    Local models of Shimura varieties and a conjecture of Kot- twitz

    G. Pappas and X. Zhu. “Local models of Shimura varieties and a conjecture of Kot- twitz”. In:Invent. Math.194.1 (2013), pp. 147–254

    work page 2013

  16. [16]

    Toric schemes and integral models for Shimura varieties with $\Gamma_1(p)$-type level

    G. Pappas and M. Rapoport.Toric schemes and integral models for Shimura varieties withΓ 1(p)-type level. 2026. arXiv:2602.23245 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  17. [17]

    Local models of Shimura varieties, I. Geometry and combinatorics

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

    work page 2013

  18. [18]

    Descent systems for Bruhat posets

    L. E. Renner. “Descent systems for Bruhat posets”. In:J. Algebraic Combin.29.4 (2009), pp. 413–435

    work page 2009

  19. [19]

    Scholze and J

    P. Scholze and J. Weinstein.Berkeley lectures onp-adic geometry. Vol. 207. Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2020, pp. x+250

    work page 2020

  20. [20]

    Affine Bruhat order and Demazure products

    F. Schremmer. “Affine Bruhat order and Demazure products”. In:Forum Math. Sigma 12 (2024), Paper No. e53, 56

    work page 2024

  21. [21]

    On certain commutative subalgebras of a universal enveloping alge- bra

    `E. B. Vinberg. “On certain commutative subalgebras of a universal enveloping alge- bra”. In:Mathematics of the USSR-Izvestiya36.1 (Feb. 1991), p. 1. Institute for Advanced Study, Shenzhen University, Nanshan District, Shenzhen, Guang- dong, China Email address:qingchao yu@outlook.com 13

    work page 1991