We develop a diamond-theoretic geometric avatar of a ``stratified universe'' tower by organizing local Shimura and local shtukamoduli as honest $v$-stacks on PerfDiam.
We develop a diamond-theoretic geometric avatar of a ``stratified universe'' tower by organizing local Shimura and local shtukamoduli as honest v-stacks on PerfDiam.For G=GLₙ and the basic class bₙ of slope $1/n$ , with minuscule μ=(1,0,,0), the height-n stratum is identified with the standard local shtuka diamond\[U_n \;\; ShtGL_n,b_n,μ,\]i.e.\ the Lubin--Tate/Rapoport--Zink space in the Fargues--Scholze formalism.For general reductive G/Qₚ and minuscule μ we define the admissible ``stratified-universe'' stack\[ UᵃᵈᵐG,μ\;:=\;b∈ B(G,μ) ShtG,b,μ,\]together with a natural forgetful morphism UᵃᵈᵐG,μ→ BunG, whose image is the union of Newton strata indexed by B(G,μ).We record the relevant stabilizers Jb(Qₚ) and the Hecke/Grassmannian diagrams governing bounded modifications.On the semantic side, working in the ∞-topos X=Shvᵥ(PerfDiam, S)we show that the ``transfinite jump'' construction built from lim¹ of an inverse tower is internal and functorial.We then isolate two natural geometric towers T suitable for this mechanism:(A) congruence-level refinements Uₙ(m) and (B) ξ-adic jet truncations of theBdR⁺-Grassmannian, and prove a commuting level--jet compatibility square.The remaining conjectural step is a realization theorem identifying a specific syntactic UF/HoTT universe tower with the canonical geometric tower in X.
No takes yet. Share an insight, caveat, or question.
Antoni Piotr Kodzis (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: