A note on prismatic sites for p-quasisyntomic rings

Jingbang Guo

A note on prismatic sites for p-quasisyntomic rings

T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Transversal covers of a p-quasisyntomic ring make the absolute prismatic site admit self-coproducts and reduce crystals to a cosimplicial limit.

desk verdict Clean toolkit note that packages known Tor-amplitude conditions into reusable covers and Hopf-algebroid presentations for absolute prismatic crystals. read the letter →

arxiv 2607.04931 v2 pith:YERLJ5RZ submitted 2026-07-06 math.AG math.AC

Jingbang Guo This is my paper · ORCID

classification math.AGmath.AC MSC 14F3014G2213D03

keywords absoluteprismaticsitep-quasisyntomicringstransversalobjectsrelativelyquasiregularsemiperfectoidcoverscrystalsδ-pairscoproductsinsites

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

For a p-quasisyntomic ring R the absolute prismatic site R_Δ is large, so one needs concrete covers of the final object in its sheaf topos before crystals or cohomology can be computed by descent. This note isolates two classes of objects that work: transversal objects (prisms that are p-torsion-free, p-completely flat over R, and whose relative cotangent complex has Tor-amplitude concentrated in degree 1) and the more general relatively quasiregular semiperfectoid covers. In both cases the prismatic cohomology of an auxiliary δ-pair produces the required self-coproducts inside R_Δ. Consequently every absolute prismatic crystal is equivalent to a cosimplicial module over the resulting Hopf algebroid. The construction recovers the familiar Breuil–Kisin, q-de Rham and p̃-de Rham covers and supplies new ones for polynomial rings, complete intersections and p-divided-power algebras, giving a uniform site-theoretic foundation for explicit computations of prismatic and syntomic cohomology.

What carries the argument

The coproduct of a transversal (or relatively quasiregular semiperfectoid) object with an arbitrary object of R_Δ is realized as the prismatic cohomology of a certain relatively quasiregular semiperfectoid δ-pair; Bhatt–Scholze’s theorem that this cohomology is concentrated in degree 0 and initial supplies the universal property.

What would settle it

Exhibit a bounded prism (A,I) and a surjective A/I-algebra R whose relative cotangent complex has p-complete Tor-amplitude in [1,1] yet whose relative prismatic cohomology Δ_{R/A} fails to be concentrated in degree 0 or fails to be initial; any such counter-example would collapse both corollaries.

Watch

Extended reading notes

Core claim

If (A,I,u) is a transversal cover of a p-quasisyntomic ring R, then it covers the final object of Shv(R_Δ) and admits finite self-coproducts; the category of absolute prismatic crystals is therefore equivalent to the limit of the derived categories of the self-coproducts. The same conclusion holds for the prismatic cohomology of any relatively quasiregular semiperfectoid cover of R.

Load-bearing premise

The construction leans entirely on the theorem that prismatic cohomology of a quasiregular semiperfectoid algebra over a bounded prism is discrete and initial; if that concentration fails the coproducts are not known to exist inside the site.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This is a short, correctly argued note that isolates usable criteria for covers of the final object in the absolute prismatic site of a p-quasisyntomic ring. The two new packages—transversal objects (Def. 3.1) and relatively quasiregular semiperfectoid covers (Def. 4.1)—are essentially the Tor-amplitude and flatness conditions already latent in Bhatt–Scholze and Antieau–Krause–Nikolaus, but they are stated so that coproducts exist and can be written down via relative prismatic cohomology of δ-pairs (Constructions 3.14 and 4.10). Corollaries 3.16 and 4.12 then give the expected equivalences for crystals and vector bundles as limits over the resulting cosimplicial objects.

What the paper does well is the bookkeeping. The lemmas that verify the Tor-amplitude hypotheses (3.13, 4.9) are elementary cofiber sequences of cotangent complexes; flatness of the maps out of an arbitrary object is just composition of p-completely flat morphisms. The examples (Breuil–Kisin, q-de Rham, logarithmic variants, divided-power polynomials) recover the Hopf algebroids people already use and show how the new language organises them. Dependence on the published Bhatt–Scholze discreteness theorem is explicit and the hypotheses are checked; there is no circularity.

Soft spots are minor and proportional. Novelty is reorganisation rather than a conceptual leap; the writing is dense and assumes the reader already lives in the absolute-site literature. A couple of amplitude statements are phrased slightly loosely before being tightened in remarks, but nothing load-bearing fails. No free parameters or invented entities beyond the two definitions.

This is for people who compute prismatic or syntomic cohomology by descent and want a clean reference for which objects give self-coproducts. It deserves a serious referee; I would accept it for peer review and would cite the corollaries when I need an explicit cover. Bring it to reading group if the group is already working with absolute prismatic sites; otherwise it is optional.

Referee Report

0 major / 5 minor

Summary. The paper studies the absolute prismatic site R_Δ of a p-quasisyntomic ring R. It introduces transversal objects (A,I,u) (A p-torsion-free, u : R o A/I p-completely flat, L_{(A/I)/(A ⊗ R)} of p-complete Tor-amplitude [1,1]) and shows that when u is p-completely faithfully flat such an object covers the final object of Shv(R_Δ) and admits finite self-coproducts (Corollary 3.16). The coproducts are realized as the prismatic cohomology of the relatively quasiregular semiperfectoid δ-pair (A ⊗ B, (A/I) ⊗̂_R (B/J)) via the Bhatt–Scholze discreteness theorem. The same conclusion is obtained for the more general class of relatively quasiregular semiperfectoid covers of R (Definition 4.1, Corollary 4.12). The resulting cosimplicial objects yield the usual descent equivalences for prismatic crystals and vector bundles. Section 5 supplies concrete examples (Breuil–Kisin, q-de Rham, polynomial and complete-intersection rings, p-divided powers).

Significance. The note supplies a clean, usable criterion for producing covers of the final object in the absolute prismatic site that admit finite self-coproducts. This is precisely the input needed for concrete descent computations of prismatic and syntomic cohomology and for the study of prismatic crystals as comodules over Hopf algebroids. The constructions rest on published theorems of Bhatt–Scholze and Antieau–Krause–Nikolaus; the new contribution is the verification that the Tor-amplitude hypotheses hold for the natural δ-pairs attached to transversal objects and relatively quasiregular semiperfectoid covers, together with a list of examples that appear frequently in practice. The results are therefore of immediate utility for anyone performing explicit calculations with absolute prismatic cohomology.

minor comments (5)

Throughout: several typographical slips ("satsified", "cohomoloyg", "transveral", "fisrt", "Breui-Kisin", "Defintion", "quasiregu-lar"). A careful proof-reading pass would remove them.
Definition 3.7: the sentence defining a prismatic δ-pair is truncated ("prismatic if it is pre-prismatic and (A,I)").
Definition 4.1(3) and Remark 4.3: the Tor-amplitude interval is written [0,1] in the definition and [1,1] in the equivalent reformulation; the surrounding text makes the intended meaning clear, but a single consistent statement would help the reader.
Section 1.2: the phrase "we wonder when the coproduct … would exist" is informal for a mathematical note; a more direct statement of the problem would improve the tone.
Examples 5.1–5.7: the Hopf-algebroid descriptions are useful; a brief remark that the resulting formal stacks are independent of the choice of cover (as already noted for S_log versus the Breuil–Kisin prism) would make the computational utility even clearer.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: coproducts and covers are constructed by verifying Tor-amplitude hypotheses for known Bhatt–Scholze/Antieau–Krause–Nikolaus theorems; no self-referential definitions or load-bearing self-citations.

full rationale

The paper is a short pure-math note whose central claims (Corollaries 3.16 and 4.12) assert that transversal objects (Def. 3.1) and relatively quasiregular semiperfectoid covers (Def. 4.1) cover the final object of Shv(R_Δ) and admit finite self-coproducts. The constructions (3.14, 4.10) produce those coproducts as the prismatic cohomology Δ of certain δ-pairs; existence, discreteness, initiality and p-complete faithful flatness are taken verbatim from the external theorems of Bhatt–Scholze (Thm. 3.12 = [7, Prop. 7.10]) and Antieau–Krause–Nikolaus (Thm. 3.11 = [1, Thm. 9.6]). The only work performed in the paper is the direct verification, via cofiber sequences of cotangent complexes, that the Tor-amplitude hypotheses of those theorems hold for the δ-pairs built from the newly defined objects (Lemmas 3.13, 4.9 and the supporting Lemmas 3.3–3.5, 4.4–4.5). All background notions (p-quasisyntomic rings, absolute prismatic sites, flat descent for crystals) are cited from independent sources [5,7,1,6]. There are no self-citations by the author, no fitted parameters, no uniqueness theorems imported from prior work of the same author, and no equation that is forced by a definition chosen inside the paper. The derivation is therefore non-circular.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The paper is pure mathematics. It imports the entire apparatus of prisms, absolute prismatic sites, relative prismatic cohomology of δ-pairs, and p-complete Tor-amplitude from the literature. The only new entities are the two classes of covers it defines; no free parameters appear.

assumptions (5)

domain assumption Bhatt–Scholze: if (A,I) bounded prism and R surjective A/I-algebra with L_{R/(A/I)} of p-complete Tor-amplitude [1,1], then Δ_{R/A} is discrete, initial in (R/A)_Δ, and R oΔ_{R/A}/I is p-completely faithfully flat ([7, Prop. 7.10], restated as Thm 3.12).
Invoked verbatim to produce the coproducts in Constructions 3.14 and 4.10.
domain assumption Definition of p-quasisyntomic ring: bounded p-power torsion and L_R of p-complete Tor-amplitude [0,1] ([5, Def. C.6]).
Standing hypothesis on R throughout the paper.
domain assumption Flat descent for (p,I)-complete complexes and for finite projective modules on the absolute prismatic site (Prop. 2.6, citing [3] and [8]).
Used to pass from covers of the final object to the equivalence of crystal categories (Lemma 2.8).
domain assumption Existence and basic properties of relative prismatic cohomology of δ-pairs as developed in Antieau–Krause–Nikolaus [1].
The whole of Section 4 is phrased in the language of [1]; the paper only needs the special case already covered by Bhatt–Scholze.
standard math Standard properties of cotangent complexes, derived tensor products, and p-complete Tor-amplitude (Illusie, Bhatt–Scholze).
Used in every cofibre-sequence argument (Lemmas 3.3, 3.5, 4.4, 4.5, 4.9).

invented entities (2)

transversal object (Def. 3.1)
purpose: A prism (A,I,u) in R_Δ that is p-torsion-free, with u p-completely flat (or faithfully flat) and L_{(A/I)/(A⊗R)} of p-complete Tor-amplitude [1,1], guaranteeing existence of coproducts.
New packaging of conditions that make the relative prismatic envelope well-behaved; no independent experimental handle outside the paper.
relatively quasiregular semiperfectoid cover (Def. 4.1)
purpose: A bounded δ-pair (A',R') over R that is relatively quasiregular semiperfectoid, with R o R' p-completely faithfully flat and L_{R'/(R⊗A')} of p-complete Tor-amplitude [1,1], so that its prismatic cohomology covers the final object.
Generalisation of transversal objects that allows more flexible examples (logarithmic, divided-power); again purely definitional.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A note on prismatic sites for p-quasisyntomic rings." pith.science (2026). https://pith.science/paper/YERLJ5RZ

@misc{pith2026260704931,
  author       = {Pith},
  title        = {Pith review of: A note on prismatic sites for p-quasisyntomic rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YERLJ5RZ}},
  note         = {Machine review of arXiv:2607.04931}
}

abstract

Let $p$ be a fixed prime number and let $R$ be a $p$-quasisyntomic ring. In this note, we provide conditions for objects in the absolute prismatic site $R_\Prism$ to cover the final object in $\Shv(R_\Prism)$. More precisely, we introduce in $R_\Prism$ the so-called transversal objects, with which coproducts exist in $R_\Prism$. Immediately generalizing this, we introduce the so-called relatively quasiregular semiperfectoid covers of $R$, whose prismatic cohomology (of $\delta$-pairs, in the sense of Antieau-Krause-Nikolaus) would produce in $R_\Prism$ objects with which coproducts exist.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 7 linked inside Pith

[1]

Antieau, A

B. Antieau, A. Krause, T. Nikolaus. Prismatic cohomology relative toδ-rings. Preprint, arXiv:2310.12770 [math.AG] (2023)

arXiv 2023
[2]

Antieau, A

B. Antieau, A. Krause, T. Nikolaus. On theK-theory ofZ/pn. Preprint, arXiv:2405.04329 [math.KT] (2024)

arXiv 2024
[3]

Anschütz, A.-C

J. Anschütz, A.-C. Le Bras. Prismatic Dieudonné theory. Forum Math. Pi 11, Paper No. e2, 92 p. (2023; Zbl 1515.14032)

arXiv 2023
[4]

Anschütz, A.-C

J. Anschütz, A.-C. Le Bras. Thep-completed cyclotomic trace in degree 2. Ann.K-Theory 5, No. 3, 539–580 (2020; Zbl 1454.19005)

arXiv 2020
[5]

Bhatt, J

B. Bhatt, J. Lurie. Absolute prismatic cohomology. Preprint, arXiv:2201.06120 [math.AG] (2022)

arXiv 2022
[6]

Bhatt, J

B. Bhatt, J. Lurie. The prismatization ofp-adic formal schemes. Preprint, arXiv:2201.06124 [math.AG] (2022)

arXiv 2022
[7]

Bhatt, P

B. Bhatt, P. Scholze. Prisms and prismatic cohomology. Ann. Math. (2) 196, No. 3, 1135–1275 (2022; Zbl 07611906)

2022
[8]

Bhatt, P

B. Bhatt, P. Scholze. PrismaticF-crystals and crystalline Galois representations. Camb. J. Math. 11, No. 2, 507–562 (2023; Zbl 07693592)

2023

Show all 16 references

[9]

M. Gros, B. Le Stum, A. Quirós. Absolute calculus and prismatic crystals on cyclotomic rings. Preprint, arXiv:2310.13790 [math.AG] (2025)

2025 arXiv
[10]

H. Gao, M. Yu, Y. Wang. Hodge–Tate prismatic crystals and Sen theory. Preprint, arXiv:2311.07024 [math.NT] (2023)

2023 arXiv
[11]

Hovey, N

M. Hovey, N. Strickland. Comodules and Landweber exact homology theories. Adv. Math. 192, No. 2, 427–456 (2005; Zbl 1075.55001)

2005
[12]

Z. Liu. A stacky approach to prismatic crystals viaq-prism charts. Preprint, arXiv:2504.07005 [math.AG] (2025)

2025 arXiv
[13]

J. Lurie. Higher topos theory. Princeton, NJ: Princeton University Press (2009; Zbl 1175.18001)

2009
[14]

J. Lurie. Higher algebra.https://www.math.ias.edu/~lurie/papers/HA.pdf
[15]

R. Liu, G. Wang. Topological cyclic homology of local fields. Invent. math., 230:851-932, 2022

2022
[16]

N. Naumann. The stack of formal groups in stable homotopy theory. Adv. Math. 215, No. 2, 569–600 (2007; Zbl 1157.55006)

2007

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.

[1] [1]

Antieau, A

B. Antieau, A. Krause, T. Nikolaus. Prismatic cohomology relative toδ-rings. Preprint, arXiv:2310.12770 [math.AG] (2023)

arXiv 2023

[2] [2]

Antieau, A

B. Antieau, A. Krause, T. Nikolaus. On theK-theory ofZ/pn. Preprint, arXiv:2405.04329 [math.KT] (2024)

arXiv 2024

[3] [3]

Anschütz, A.-C

J. Anschütz, A.-C. Le Bras. Prismatic Dieudonné theory. Forum Math. Pi 11, Paper No. e2, 92 p. (2023; Zbl 1515.14032)

arXiv 2023

[4] [4]

Anschütz, A.-C

J. Anschütz, A.-C. Le Bras. Thep-completed cyclotomic trace in degree 2. Ann.K-Theory 5, No. 3, 539–580 (2020; Zbl 1454.19005)

arXiv 2020

[5] [5]

Bhatt, J

B. Bhatt, J. Lurie. Absolute prismatic cohomology. Preprint, arXiv:2201.06120 [math.AG] (2022)

arXiv 2022

[6] [6]

Bhatt, J

B. Bhatt, J. Lurie. The prismatization ofp-adic formal schemes. Preprint, arXiv:2201.06124 [math.AG] (2022)

arXiv 2022

[7] [7]

Bhatt, P

B. Bhatt, P. Scholze. Prisms and prismatic cohomology. Ann. Math. (2) 196, No. 3, 1135–1275 (2022; Zbl 07611906)

2022

[8] [8]

Bhatt, P

B. Bhatt, P. Scholze. PrismaticF-crystals and crystalline Galois representations. Camb. J. Math. 11, No. 2, 507–562 (2023; Zbl 07693592)

2023