REVIEW 2 major objections 2 minor 3 references
Canonical extensions of $p$-adic shtukas on toroidal compactifications of Shimura varieties
T0 review · 2 major / 2 minor · reviewed 2026-06-29 · grok-4.3
Pith's one-line read p-adic shtukas admit canonical extensions to integral toroidal compactifications of abelian-type Shimura varieties at any prime p.
desk verdict Mao and Wu define log diamonds to extend p-adic shtukas across toroidal boundaries for abelian-type Shimura varieties at any p and give a Pappas-Rapoport style definition of canonical integral models. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The p-adic log shtuka over the log diamond associated to the integral toroidal compactification, which encodes the degeneration of the shtuka at the boundary.
What would settle it
An explicit abelian-type Shimura variety and prime p where the constructed p-adic log shtuka fails to restrict to the original shtuka away from the boundary or fails to satisfy the expected v-sheaf properties of a shtuka.
Extended reading notes
Core claim
We construct canonical extensions of p-adic shtukas on integral models of toroidal compactifications of abelian-type Shimura varieties with quasi-parahoric levels at any prime number p. More precisely, we define the notion of a log diamond as a v-sheaf associated with a log scheme over Z_p and construct a p-adic log shtuka over the log diamond of an integral toroidal compactification of an abelian-type Shimura variety by studying the degeneration of the shtuka at the boundary. Moreover, we provide a definition of canonical integral models of toroidal and minimal compactifications in the sense of Pappas and Rapoport, and verify it in the same generality as above.
Load-bearing premise
The degeneration of the shtuka at the boundary of the integral toroidal compactification can be captured by a p-adic log shtuka over the associated log diamond.
Editorial extensions
If this is right
- The integral toroidal compactifications are canonical and functorial.
- Canonical integral models exist for both toroidal and minimal compactifications.
- All well-known stratifications on the special fiber are well-positioned.
- The constructions apply uniformly at every prime p for quasi-parahoric levels.
Reading between the lines
- The log-diamond technique may extend to other p-adic objects such as filtered phi-modules or Galois representations attached to the same Shimura varieties.
- If the degeneration data can be formalized similarly, the method could apply to Shimura varieties outside the abelian-type case.
- The axiomatic well-positionedness result may simplify calculations of intersection theory or étale cohomology on the special fibers of these compactifications.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs canonical extensions of p-adic shtukas on integral models of toroidal compactifications of abelian-type Shimura varieties with quasi-parahoric levels at any prime p. It defines the notion of a log diamond as a v-sheaf associated with a log scheme over Z_p and constructs a p-adic log shtuka over the log diamond of an integral toroidal compactification by studying the degeneration of the shtuka at the boundary. It also provides a definition of canonical integral models of toroidal and minimal compactifications in the sense of Pappas and Rapoport and verifies it in the same generality. Applications include the canonicity and functoriality of integral toroidal compactifications, as well as an axiomatic proof of the well-positionedness of all well-known stratifications on the special fiber.
Significance. If the constructions hold, the work would extend the theory of p-adic shtukas and integral models to toroidal compactifications in the stated generality for abelian-type Shimura varieties, building directly on v-sheaves and Pappas-Rapoport models. The axiomatic treatment of stratifications on the special fiber and the claimed functoriality could provide reusable tools for boundary behavior in p-adic settings. No machine-checked proofs or explicit parameter-free derivations are present, but the direct study of degeneration is presented as the core method.
major comments (2)
- [Section on construction of the log shtuka] Section on construction of the log shtuka: the claim that degeneration of the p-adic shtuka at the toroidal boundary is captured by a p-adic log shtuka over the associated log diamond is load-bearing for the canonical extension; explicit verification is needed that the v-sheaf axioms hold and that the construction is compatible with quasi-parahoric level structures at arbitrary p, as this step determines whether the extension is canonical.
- [Definition of canonical integral models] Definition of canonical integral models (Pappas-Rapoport sense): the verification in the full generality of abelian-type Shimura varieties with quasi-parahoric levels requires checking that the definition is independent of choices in the toroidal compactification data; without this, the applications to canonicity and functoriality rest on an unverified step.
minor comments (2)
- The abstract and introduction could include a short table or diagram comparing the new log diamond construction to prior notions of log structures in p-adic geometry for clarity.
- Notation for the v-sheaf associated to the log scheme should be introduced with an explicit reference to the underlying log scheme in the first occurrence to avoid ambiguity.
Simulated Author's Rebuttal
We thank the referee for the detailed report and the recommendation for major revision. We address the two major comments point by point below, providing the strongest honest defense based on the constructions and verifications already present in the manuscript. Both comments concern steps that the paper claims to carry out explicitly via the degeneration analysis and the universal properties of the models; we maintain that these are already verified in the stated generality.
read point-by-point responses
-
Referee: Section on construction of the log shtuka: the claim that degeneration of the p-adic shtuka at the toroidal boundary is captured by a p-adic log shtuka over the associated log diamond is load-bearing for the canonical extension; explicit verification is needed that the v-sheaf axioms hold and that the construction is compatible with quasi-parahoric level structures at arbitrary p, as this step determines whether the extension is canonical.
Authors: The manuscript constructs the p-adic log shtuka precisely by analyzing the degeneration of the shtuka along the toroidal boundary strata, associating to each log scheme over Z_p its log diamond as a v-sheaf. The v-sheaf axioms are verified directly in this degeneration process: the sheaf property follows from the v-topology descent for the underlying diamonds of the integral models, while the log structure compatibility is built into the definition via the log scheme data. Compatibility with quasi-parahoric levels at arbitrary p is ensured because the level structure is incorporated at the level of the v-sheaf before degeneration, and the construction is functorial in the level (independent of the specific prime p, as the quasi-parahoric data is defined uniformly). This is the content of the core construction section, which therefore renders the extension canonical by design. revision: no
-
Referee: Definition of canonical integral models (Pappas-Rapoport sense): the verification in the full generality of abelian-type Shimura varieties with quasi-parahoric levels requires checking that the definition is independent of choices in the toroidal compactification data; without this, the applications to canonicity and functoriality rest on an unverified step.
Authors: The definition of the canonical integral models is given in the Pappas-Rapoport sense and verified to be independent of the auxiliary choices in the toroidal compactification data (such as the choice of cone decompositions and boundary strata) by showing that any two such models are canonically isomorphic via the universal property of the minimal compactification and the functoriality of the log shtuka extension. This independence is established uniformly for abelian-type Shimura varieties with quasi-parahoric levels at any p, which directly supports the subsequent applications to canonicity and functoriality of the integral toroidal compactifications. The verification is therefore not an unverified step but follows from the same degeneration analysis used for the log shtukas. revision: no
Circularity Check
No significant circularity detected
full rationale
The paper's core contribution is a direct construction: defining log diamonds as v-sheaves associated to log schemes over Z_p, then building p-adic log shtukas by explicit study of shtuka degeneration at the toroidal boundary, followed by verification of canonical integral models in the stated generality for abelian-type Shimura varieties. These steps rely on prior external notions (v-sheaves, Pappas-Rapoport models) without reducing any claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The derivation chain is self-contained against external benchmarks and does not invoke uniqueness theorems or ansatzes from the authors' own prior work.
Assumptions & free parameters
invented entities (1)
-
log diamond
Cite this review
Pith. "Pith review of Canonical extensions of $p$-adic shtukas on toroidal compactifications of Shimura varieties." pith.science (2026). https://pith.science/paper/KV4K2HAX
@misc{pith2026260530086,
author = {Pith},
title = {Pith review of: Canonical extensions of $p$-adic shtukas on toroidal compactifications of Shimura varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/KV4K2HAX}},
note = {Machine review of arXiv:2605.30086}
}
abstract
We construct canonical extensions of $p$-adic shtukas on integral models of toroidal compactifications of abelian-type Shimura varieties with quasi-parahoric levels at any prime number $p$. More precisely, we define the notion of a log diamond as a $v$-sheaf associated with a log scheme over $\mathbb{Z}_p$ and construct a $p$-adic log shtuka over the log diamond of an integral toroidal compactification of an abelian-type Shimura variety by studying the ``degeneration'' of the shtuka at the boundary. Moreover, we provide a definition of canonical integral models of toroidal and minimal compactifications in the sense of Pappas and Rapoport, and verify it in the same generality as above. Applications include the canonicity and functoriality of integral toroidal compactifications, as well as an axiomatic proof of the well-positionedness of all well-known stratifications on the special fiber.
Reference graph
Works this paper leans on
-
[1]
Igusa Stacks and the Cohomology of Shimura Varieties
arXiv:2408.01348. [DvHKZ26] ,On a conjecture of Pappas and Rapoport, Math. Ann.395(2026), no. 2, 31. MR5061066 [DY25] P. Daniels and A. Youcis,Canonical integral models for Shimura varieties of abelian type, Forum Math. Sigma13(2025), Paper No. e69. MR4888034 [Far20] L. Fargues,G-torseurs en théorie de Hodgep-adique, Compos. Math.156(2020), no. 10, 2076–2...
work page Pith review arXiv 2026
-
[2]
Hansen,Vanishing and comparison theorems in rigid analytic geometry, Compos
MR4853001 [Han20] D. Hansen,Vanishing and comparison theorems in rigid analytic geometry, Compos. Math.156(2020), no. 2, 299–324. MR4045974 [Har89] M. Harris,Functorial properties of toroidal compactifications of locally symmetric varieties, Proc. London Math. Soc. (3)59(1989), no. 1, 1–22. MR997249 [Heu26] B. Heuer,G-torsors on perfectoid spaces, Épijour...
2020
-
[3]
logarithmic prismatic cohomology II
arXiv:2310.08472. [IKY24] ,A Tannakian framework for prismaticF-crystals, arXiv preprint (2024). arXiv:2406.08259, to appear in Forum of Math. Sigma. [IKY26] K. Inoue, T. Koshikawa, and Z. Yao,Corrigendum to “logarithmic prismatic cohomology II”, 2026. preprint, available here. [Ino25] K. Inoue,Log prismatic Dieudonné theory and its application to Shimura...
Reviewed June 29, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.