pith. sign in

arxiv: 2512.13649 · v2 · submitted 2025-12-15 · 🧮 math.AG · math.NT

Igusa Stack for some exceptional Shimura Varieties

Ali Partofard This is my paper

Pith reviewed 2026-05-16 22:03 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords meta-unitary Shimura varietiesIgusa stacksShtukasfiber product formulaintegral modelslocal Langlands correspondencecohomology
0
0 comments X

The pith

The fiber product formula holds for integral models of meta-unitary Shimura varieties.

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

The paper proves the validity of the fiber product formula for meta-unitary Shimura varieties by reformulating Bultel's construction in terms of moduli stacks of Shtukas and Igusa stacks. This generalizes earlier results for abelian-type varieties to this non-abelian class. The geometric description then yields local-global compatibility results for the associated cohomology groups. Adapting strategies from related works, it applies the unipotent categorical local Langlands correspondence to establish a vanishing theorem for the generic cohomology.

Core claim

By recasting the integral models of meta-unitary Shimura varieties as stacks of Shtukas and Igusa stacks, the fiber product formula is shown to hold, which in turn produces local-global compatibility and a vanishing result for generic cohomology via the unipotent categorical local Langlands correspondence.

What carries the argument

The moduli stack of Shtukas together with the Igusa stack, which provides the geometric reformulation needed to establish the fiber product formula.

If this is right

  • Local-global compatibility results follow for the cohomology of these Shimura varieties.
  • A general vanishing theorem holds for the generic part of the cohomology.
  • The construction extends previous results of Zhang, Daniels, Van Hoften, Kim, and Zhang to non-abelian type cases.

Where Pith is reading between the lines

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

  • Similar reformulations might be possible for other exceptional Shimura varieties beyond the meta-unitary case.
  • These stacks could facilitate explicit computations of cohomology in low dimensions.
  • The vanishing theorem may have implications for the distribution of automorphic forms.

Load-bearing premise

Bultel's original construction admits a reformulation in terms of moduli stacks of Shtukas and Igusa stacks for meta-unitary Shimura varieties without introducing new obstructions.

What would settle it

Finding a meta-unitary Shimura variety where the fiber product formula fails for its integral model would disprove the main claim.

read the original abstract

We study the integral models of meta-unitary Shimura varieties through the lens of Scholze's fiber product conjecture. Reformulating Bultel's original construction in terms of moduli stacks of Shtukas and Igusa stacks, we prove the validity of the fiber product formula for this class of non-abelian type Shimura varieties, thereby generalizing the works of Zhang and Daniels, Van Hoften, Kim, and Zhang. We utilize this geometric description to derive local-global compatibility results and, adapting the strategy of Zhu and Yang, apply the unipotent categorical local Langlands correspondence to prove a general vanishing theorem for the generic part of the cohomology of meta-unitary Shimura varieties.

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

2 major / 2 minor

Summary. The paper studies integral models of meta-unitary Shimura varieties through Scholze's fiber product conjecture. By reformulating Bultel's construction in terms of moduli stacks of Shtukas and Igusa stacks, it proves the validity of the fiber product formula for this class of non-abelian type Shimura varieties, generalizing prior works of Zhang, Daniels, Van Hoften, Kim, and Zhang. It derives local-global compatibility results from this description and, adapting Zhu-Yang, applies the unipotent categorical local Langlands correspondence to establish a general vanishing theorem for the generic part of the cohomology.

Significance. If the central claims hold, the work extends the fiber product conjecture to exceptional non-abelian Shimura varieties, supplying a geometric framework for their integral models that was previously limited to abelian cases. The resulting local-global compatibilities and vanishing theorem for cohomology would strengthen connections between Shtuka theory, Igusa stacks, and categorical Langlands correspondences, offering concrete tools for further arithmetic applications.

major comments (2)
  1. [Main reformulation section (post-§1)] The reformulation of Bultel's construction (detailed in the main body after the introduction) must explicitly verify that no new obstructions arise from non-abelian phenomena when passing to meta-unitary data; the current sketch relies on prior Shtuka and Igusa results without a self-contained check that the fiber product formula remains parameter-free in this setting.
  2. [Vanishing theorem section] The application of the unipotent categorical local Langlands correspondence to obtain the vanishing theorem (in the final section) needs a precise statement of the input assumptions on the Shimura datum; without this, it is unclear whether the generic cohomology vanishing follows directly or requires additional restrictions not stated in the abstract.
minor comments (2)
  1. [Introduction] The introduction should include a short table or diagram contrasting meta-unitary Shimura varieties with the abelian cases treated by Zhang et al. to improve readability.
  2. [Throughout] Notation for the Igusa stack and Shtuka moduli stack should be fixed consistently across sections; occasional shifts between script and roman fonts obscure the geometric constructions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and have made revisions accordingly.

read point-by-point responses

  1. Referee: [Main reformulation section (post-§1)] The reformulation of Bultel's construction (detailed in the main body after the introduction) must explicitly verify that no new obstructions arise from non-abelian phenomena when passing to meta-unitary data; the current sketch relies on prior Shtuka and Igusa results without a self-contained check that the fiber product formula remains parameter-free in this setting.

    Authors: We agree that an explicit verification strengthens the presentation. In the revised manuscript we have added a dedicated subsection (now §3.2) that performs a self-contained check: we verify directly that the meta-unitary Hodge types and the associated Igusa stack data satisfy the same compatibility conditions used in the abelian cases, with no additional parameters introduced by the non-abelian structure. This is recorded as Proposition 3.7, which confirms the fiber product formula remains parameter-free. revision: yes

  2. Referee: [Vanishing theorem section] The application of the unipotent categorical local Langlands correspondence to obtain the vanishing theorem (in the final section) needs a precise statement of the input assumptions on the Shimura datum; without this, it is unclear whether the generic cohomology vanishing follows directly or requires additional restrictions not stated in the abstract.

    Authors: We thank the referee for this observation. In the revised version we have inserted a precise list of assumptions at the opening of §5: the Shimura datum is of meta-unitary type with the indicated signature at infinity, the level is sufficiently small, and the prime is unramified. Under these hypotheses the generic cohomology vanishing follows directly from the unipotent categorical local Langlands correspondence (adapted from Zhu–Yang) with no further restrictions. The abstract has been updated to reflect the same hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central result is the validity of the fiber product formula obtained by reformulating Bultel's construction via moduli stacks of Shtukas and Igusa stacks for meta-unitary Shimura varieties. This relies on external prior results concerning Shtukas, Igusa stacks, and the unipotent categorical local Langlands correspondence, together with an adaptation of the strategy from Zhu and Yang. No derivation step reduces by construction to a parameter fitted inside the paper, a self-defined quantity, or a load-bearing self-citation chain; the argument remains self-contained against external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard background results in the theory of Shimura varieties, moduli of Shtukas, and Igusa stacks; no free parameters or new invented entities are indicated in the abstract.

axioms (2)
  • domain assumption Standard properties of integral models of Shimura varieties and their relation to moduli stacks of Shtukas hold for the meta-unitary case.
    Invoked when reformulating Bultel's construction.
  • domain assumption The unipotent categorical local Langlands correspondence applies to the generic cohomology of these varieties.
    Used to derive the vanishing theorem.

pith-pipeline@v0.9.0 · 5401 in / 1270 out tokens · 28555 ms · 2026-05-16T22:03:16.878018+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    a morphismx∈Div r Y defining a collection of Cartier divisorsΓ xi ⊂ Y S,

    work page

  2. [2]

    aG-bundleEon the curveY S,

    work page

  3. [3]

    Remark2.12.A Shtuka with no leg is equivalent to aG-bundle on the Far- gues–Fontaine curveX

    an isomorphism ofG-bundles ι:σ ∗E| YS \Γx ∼ − − → E|YS \Γx , bounded byµ. Remark2.12.A Shtuka with no leg is equivalent to aG-bundle on the Far- gues–Fontaine curveX. There is an equivalence between the points of the stack BunG and the Kottwitz setB(G). For eachb∈B(G), we denote byE b the corresponding Shtuka with no legs. 13 Letϵ <min i∈I κ(xi)andr >max ...

    work page

  4. [4]

    A mapx:S→Div 1 X that defines a relative Cartier divisorΓ x ⊂X S of degree one

    work page

  5. [5]

    AG-bundleEon the relative Fargue-Fontaine curveX S that becomes triv- ial over any geometric point ofS

    work page

  6. [6]

    An isomorphism ofG-bundles ι:E| XS \Γx ∼ − → Eb|XS \Γx which is meromorphic along the divisorΓ x and is bounded byµ

    work page

  7. [7]

    Theorem 2.17.The functorSht I (G,µ,K) is representable by a spatial diamond, this diamond is a v-stack which is separated and locally of finite type overSpd(E)

    AK-latticeTwithin the étale local systemπ ét(E). Theorem 2.17.The functorSht I (G,µ,K) is representable by a spatial diamond, this diamond is a v-stack which is separated and locally of finite type overSpd(E). Definition 2.18.LetYdenote the relative Fargues–Fontaine curve andGa reductive group overZ p. TheHecke stackHck G classifies modifications ofG- bun...

    work page

  8. [8]

    For eachi∈ {1,2,3}, the skew-Hermitian Hodge structure(V i,Ψ i, hi)is of Hodge type, whereh i =ρ i ◦h. 24

    work page

  9. [9]

    There exist involution algebrasR 1, R2, R3, R123 that are free of finite rank overL, together with an action ofR π on(V π,Ψ π)for each π∈ {1,2,3,{1,2,3}}, such thatG 0 is the stabilizer of these actions inside Q GU(Vπ,Ψ π)

    work page

  10. [10]

    Each cycleScontains an elementτsuch that, for eachi, all but at most one of the Hodge numbers ˜hp,q i,τ vanish

    work page

  11. [11]

    Then, for eachi, there exists someτ∈Ssuch that µτ i,S,v = (1,1,

    For every cycleSand1≤i≤3, let(V i,S,v, µi,S,v)denote the associated sparse display datum. Then, for eachi, there exists someτ∈Ssuch that µτ i,S,v = (1,1, . . . ,1)or(z, z, . . . , z). We now explain the role of these conditions: Remark3.9.Condition (1) is the key hypothesis, since it ensures the existence of the Hodge-type Shimura data(GU( ˜Vi,Ψ(V i)), ˜h...

    work page

  12. [12]

    3.ϵ i :A ∞ Q ⊗V i →A ∞ Q ⊗ ˜Vi is an isomorphism

    The skew-Hermitian forms ˜Ψi on ˜Vi are such that( ˜Vi, ˜Ψi, ˜hi)are skew- Hermitian Hodge structures. 3.ϵ i :A ∞ Q ⊗V i →A ∞ Q ⊗ ˜Vi is an isomorphism. 25 We say that a meta-unitary Shimura datum isunramifiedif, in addition, there exists a self-dualO L,p-latticeB i ⊂V i such that U(B i, ψi)is hyperspecial insideU(V i, ψi). Example 3.11.Let(G, µ)be a Shim...

    work page

  13. [13]

    From the universal display overSwe obtain aG-torsorP, a mapπ:P → GrS,G, and a flat connection∇

    work page

  14. [14]

    The monodromy group of the connection∇is maximal

    work page

  15. [15]

    Each connected component ofScontains an elliptic point

    work page

  16. [16]

    The image of(P, π,∇)agrees with the naturalG-torsor, together with the filtration and connection, onSh(G, µ) =S Qp. 4 Local Igusa Stack 4.1 Central Leaf Let(G, µ)be a Shimura datum with reflex fieldEandvbe a place ofEabove p, such that the associated Shimura varietySh(G, µ)admits an integral model SoverO E,(v), together with a period morphism πCrys :S ♢ −...

    work page

  17. [17]

    The v-stackIgs G,µ,K p is aℓ-cohomologically smooth small Artin v-stack of dimesnion0and with dualizing sheafΛ[0]

    work page

  18. [18]

    The morphism¯π Crys :Igs G,µ,K p →Bun G is seperated, represenatble in spatial diamonds, compactifiable of finite transcendental dimension. 33

    work page

  19. [19]

    for any ring of coefficientsΛwithnΛ = 0,gcd(n, p) = 1, we have a natural equivalence BL∗¯πCrys,∗ − →πHT,∗ red∗ as functors fromD(Igs G,µ,K p ,Λ)toD(Gr G,µ−1,Kp ,Λ)

    work page

  20. [20]

    Consider the Newton stratumBun b G, and letIgs b andSht b be the pullbacks to this stratum

    The complex¯πCrys,∗Λlies inD ULA(BunG) Proof.The proofs are similar to the ones in [Zha23] and [DvHKZ24]. Consider the Newton stratumBun b G, and letIgs b andSht b be the pullbacks to this stratum. Consider the local Shimura varietyM int G,µ,b. Lemma 6.2.The natural mapsIg b →Igs b andM int G,µ,b →Sht b are ˜Gb-torsors, and we have the identificationsIgs ...

    work page

  21. [21]

    theG(A p,∞ f )-action onU≃Igs U(G, X)× BunG,µ−1 GrG,µ−1,E induced by theG(A p,∞ f )-action onIgs U(G, X)and theG(Q p)-action on Gr G,µ−1,E recovers the Hecke action onU,

    work page

  22. [22]

    well- positioned

    the(ϕ,id)-action onIgs U(G, X)×BunG,µ−1 GrG,µ−1,E, induced by the canon- ical isomorphismϕ BunG,µ−1 ≃id BunG,µ−1 , recovers the identity map on U. Theorem 8.2.The Igusa stack for the meta-unitary Shimura variety is functorial in the sense of the definition 8.1. Proof.The above axioms are true by theorem 5.12 and remark 5.5. Corollary 8.3.Let(G, µ)be a Shi...

    work page

  23. [23]

    (IsocG,Λ) ξ ∼ − →IndCoh(Locunip LG,E)ξ

    The unipotent local Langlands functor restricts to an equivalence of cate- gories: Lunip G,ξ :IndShv unip f.g. (IsocG,Λ) ξ ∼ − →IndCoh(Locunip LG,E)ξ

    work page

  24. [24]

    Then the Hecke actionT V is exotict- exact when restricted to the subcategoryShv unip(IsocG,Λ) ξ

    LetVbe a tilting ˆG-representation. Then the Hecke actionT V is exotict- exact when restricted to the subcategoryShv unip(IsocG,Λ) ξ

    work page

  25. [25]

    9.2 Global Geometry and the Igusa Stack To apply the local theory to the global setting, one utilizes the geometry of the special fiber of a meta-unitary Shimura variety

    Moreover, ifΛ = Qℓ, the functorL unip G,ξ is compatible with the exotict- structure onShv unip(IsocG,Λ) ξ and the standardt-structure onIndCoh(Loc unip LG,E)ξ. 9.2 Global Geometry and the Igusa Stack To apply the local theory to the global setting, one utilizes the geometry of the special fiber of a meta-unitary Shimura variety . Let(G, µ)be a meta-unitar...

    work page

  26. [26]

    We denote by rVµ the vector bundle onLoc unip LG,Qp associated toV µ

    LetV µ be the highest weight representation of ˆGassociated toµ. We denote by rVµ the vector bundle onLoc unip LG,Qp associated toV µ

    work page

  27. [27]

    PEL M oduli S paces without C - V alued P oints

    LetCohSpr unip LG be theunipotent coherent Springer sheafdefined as CohSprunip LG := (qunip)∗ωLocunip LB,Qp ∈Coh(Loc unip LG,Qp ), whereq unip :Loc unip LB,Qp →Loc unip LG,Qp is the natural morphism from the stack of unipotent parameters for the dual Borel. The coherent Springer sheaf carries a natural action of the Iwahori-Hecke algebraH I, while the vec...

    work page arXiv 2008