{"id":"475775f3-64ba-4911-af9a-b57490e05203","arxiv_id":"2607.04931","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Transversal objects and relatively quasiregular semiperfectoid covers of a p-quasisyntomic ring R produce objects in R_Δ that cover the final object and admit finite self-coproducts.","lead":"The paper gives conditions under which objects in the absolute prismatic site of a p-quasisyntomic ring cover the final object, so that coproducts exist and crystals can be computed by descent. It introduces transversal objects and relatively quasiregular semiperfectoid covers that produce such covers via prismatic cohomology of δ-pairs.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the dependence on Bhatt–Scholze as the sole external pillar and notes that the paper applies it verbatim after checking the Tor-amplitude conditions. That check is elementary (cofiber sequences of cotangent complexes under p-complete flatness) and matches the definitions given in §3 and §4. The resulting covers and Hopf-algebroid presentations are standard tools already used in the literature; the note simply isolates clean criteria under which they exist. No hidden assumption, circularity, or computational gap appears. Consequently the ACCEPT verdict with low correctness risk stands; the concrete test above is only a routine sanity check that the construction recovers known special cases.","tokens_in":17512,"tokens_out":565,"duration_ms":4966,"concrete_test":"Independently recompute the self-coproduct S^{1} of the Breuil–Kisin prism in Example 5.1 by the classical prismatic-envelope formula of [7, Prop. 3.13] (or by the explicit free δ-ring adjunction) and verify that it coincides with W(k)[z_{0},z_{1}]{(z_{1}-z_{0})/E_K(z_{0})}^igwedge_{(p,E_K(z_{0}))}; agreement confirms that Construction 3.14 recovers the expected object.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims (Corollaries 3.16 and 4.12) rest on the existence of coproducts constructed via prismatic cohomology of relatively quasiregular semiperfectoid δ-pairs (Constructions 3.14 and 4.10). Those constructions invoke Bhatt–Scholze (Theorem 3.12 / [7, Prop. 7.10]) exactly as stated: when A/I \to R is surjective and L_{R/(A/I)} has p-complete Tor-amplitude [1,1], Δ_{R/A} is discrete, initial in (R/A)_Δ, and R \to Δ_{R/A}/I is p-completely faithfully flat. The paper verifies the Tor-amplitude hypotheses for the relevant δ-pairs (Lemmas 3.13 and 4.9) by direct cofiber-sequence arguments that match the definitions of transversal objects and relatively quasiregular semiperfectoid covers. No internal gap appears; the dependence is on a published theorem whose hypotheses are checked.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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 \to 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).","tokens_in":17770,"tokens_out":848,"duration_ms":6321,"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.","major_comments":[],"minor_comments":[{"comment":"Throughout: several typographical slips (\"satsified\", \"cohomoloyg\", \"transveral\", \"fisrt\", \"Breui-Kisin\", \"Defintion\", \"quasiregu-lar\"). A careful proof-reading pass would remove them.","section":null},{"comment":"Definition 3.7: the sentence defining a prismatic δ-pair is truncated (\"prismatic if it is pre-prismatic and (A,I)\").","section":null},{"comment":"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":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is short, correctly written, and fills a genuine technical gap that practitioners of prismatic cohomology encounter. It is appropriate for a notes section or a short-communications series; I see no reason to request substantial revision."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","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.\n\nWhat 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.\n\nSoft 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.\n\nThis 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.","headline":"Clean toolkit note that packages known Tor-amplitude conditions into reusable covers and Hopf-algebroid presentations for absolute prismatic crystals.","tokens_in":18379,"tokens_out":539,"would_cite":true,"duration_ms":4739,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14F30","14G22","13D03"],"pacs":[],"model":"grok-4.5","headline":"Transversal covers of a p-quasisyntomic ring make the absolute prismatic site admit self-coproducts and reduce crystals to a cosimplicial limit.","keywords":["absolute prismatic site","p-quasisyntomic rings","transversal objects","relatively quasiregular semiperfectoid covers","prismatic crystals","δ-pairs","coproducts in prismatic sites"],"falsifier":"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.","tokens_in":18394,"feed_emoji":"△","tokens_out":745,"duration_ms":6063,"temperature":0.7,"pith_summary":"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.","feed_headline":"Transversal covers reduce prismatic crystals to a cosimplicial limit","feed_subtitle":"Self-coproducts exist in the absolute prismatic site, enabling explicit descent for cohomology and crystals","key_machinery":"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.","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Transversal covers make prismatic crystals a cosimplicial limit","Self-coproducts via transversal covers enable prismatic descent","Transversal objects cover the final object in R_Prism","Quasiregular covers yield prismatic crystals as cosimplicial limits","Absolute prismatic crystals reduce to self-coproduct limits"],"cache_read_input_tokens":128,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Transversal covers make prismatic crystals a cosimplicial limit","Self-coproducts via transversal covers enable prismatic descent","Transversal objects cover the final object in R_Prism","Quasiregular covers yield prismatic crystals as cosimplicial limits","Absolute prismatic crystals reduce to self-coproduct limits"]},"model":"grok-4.5","effort":"low","cost_usd":0.003632,"raw_usage":{"total_tokens":1108,"prompt_tokens":706,"num_sources_used":0,"completion_tokens":92,"cost_in_usd_ticks":36320000,"prompt_tokens_details":{"text_tokens":706,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":310,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":706,"tokens_out":92,"duration_ms":2910,"temperature":1.0,"reasoning_tokens":310,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T11:17:23.112993+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}