Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

A prismatic-etale comparison theorem in the semistable case

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For semistable p-adic formal schemes, Breuil–Kisin cohomology of analytic prismatic F-crystals is canonically isomorphic, after base change to A_inf and inverting µ, to the étale cohomology of the corresponding semistable Z_p-local system.

desk verdict A serious, detailed proof of the semistable prismatic-etale comparison for analytic F-crystals; the main theorem is conditional on a cited coefficient version of Scholze's primitive comparison that the paper does not prove. read the letter →

arxiv 2507.08451 v1 pith:EIB554SC submitted 2025-07-11 math.AG math.NT

Yichao Tian This is my paper · ORCID
classification math.AGmath.NT MSC 14F3014G2014F20
keywords prismaticcohomologysemistableformalschemeslogsiteBreuil–Kisinétalecomparisonp-adicHodgetheoryanalyticF-crystalsq-Higgsmodules
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

The paper establishes a semistable analogue of the prismatic–étale comparison theorem: for a separated semistable p-adic formal scheme, the Breuil–Kisin cohomology of an analytic prismatic F-crystal becomes, after base change to the period ring $A_{\mathrm{inf}}$ and inverting the element $\mu$, canonically isomorphic to the pro-étale cohomology of the semistable étale $\mathbb{Z}_p$-local system attached to the crystal through the [10] equivalence. For proper schemes the isomorphism is precisely on each cohomology group, étale rather than pro-étale, and equivariant under Frobenius and Galois actions. This generalizes the crystalline prismatic–étale comparison of [12] to the semistable setting and gives a comparison in the non-proper case that is new even for smooth schemes. A reader should care because it pins down the integral cohomology of semistable local systems in terms of prismatic coefficients, a step toward a full prismatic-crystalline bridge for semistable representations.

What carries the argument

The load-bearing machinery is the absolute log prismatic site $X_\Delta$ of the semistable log formal scheme together with its analytic prismatic F-crystals; the Breuil–Kisin log prism $\mathbb{S} = (S,(E(u)),\mathbb{N})$, whose Čech–Alexander complex defines Breuil–Kisin cohomology; and a local $q$-Higgs description: for small affine charts over $\mathrm{Spf}(O_C)$, the cohomology of a complete prismatic crystal is computed by the $q$-de Rham complex of an attached topologically quasi-nilpotent $q$-Higgs module. From that local description the paper derives a comparison with Galois cohomology via the décalage functor $L\eta_\mu$, transfers it to the perfect prismatic site through the equivalence of Prop. 1.23, and finishes by passing from pro-étale to étale cohomology using the primitive comparison theorem of [20].

What would settle it

A concrete falsifier would be to compute both sides for a specific separated non-proper semistable example—for instance, an affine annulus built from $T_0T_1 = \pi$—and a rank-one analytic prismatic F-crystal whose local system has nontrivial monodromy: if the canonical map of Theorem 0.4(1) were not an isomorphism after inverting $\mu$, or the Frobenius and Galois actions disagreed, the theorem would fall. Since the left side is explicitly computable via $q$-de Rham complexes and the right side via étale cohomology of the local system, a discrepancy in the first cohomology group would settle it.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 0.4: for a separated semistable p-adic formal scheme $X$ over $\mathrm{Spf}(O_K)$ and an analytic prismatic F-crystal $E$ on its absolute log prismatic site, there is a canonical, Frobenius- and Galois-equivariant isomorphism $(R\Gamma_S(X,E) \otimes^L_S A_{\mathrm{inf}})^\wedge[1/\mu] \simeq R\Gamma(X_{C,\mathrm{proet}}, T(E) \otimes_{\mathbb{Z}_p} A_{\mathrm{inf},X_C})[1/\mu]$, where the left side is the Breuil–Kisin cohomology of $E$ base-changed to $A_{\mathrm{inf}}$ and completed, and the right side is the pro-étale cohomology of the semistable local system $T(E)$ obtained from $E$ via the equivalence of [10, Cor. 5.2]. When $X$ is proper over $\mathrm{Spf}(O_K)$, the completion is unnecessary and one obtains $R\Gamma_S(X,E) \otimes^L_S A_{\mathrm{inf}}[1/\mu] \simeq R\Gamma(X_{C,\mathrm{et}}, T(E)) \otimes^L_{\mathbb{Z}_p} A_{\mathrm{inf}}[1/\mu]$, hence an isomorphism on each cohomology group. The proof compares the prismatic side to the perfect prismatic site, computes cohomology locally through $q$-Higgs modules and Galois cohomology, and then invokes the primitive comparison theorem of [20] to land in étale cohomology.

Load-bearing premise

The theorem leans on two external results that it cites rather than proves—the equivalence between analytic prismatic F-crystals and semistable étale Z_p-local systems of [10, Cor. 5.2], and the limit version of the primitive comparison theorem of [20, Thm. 5.1]—so the central claim is only as secure as those two inputs for the separated, possibly non-proper semistable schemes considered here.

Editorial extensions

If this is right

  • For proper semistable $X$, each Breuil–Kisin cohomology group $H^i_S(X,E)$ is a finitely generated $S$-module, and after base change to $A_{\mathrm{inf}}[1/\mu]$ it is isomorphic to $H^i(X_{C,\mathrm{et}},T(E)) \otimes_{\mathbb{Z}_p} A_{\mathrm{inf}}[1/\mu]$; integral étale cohomology of semistable local systems is thereby determined by prismatic data.
  • The non-proper statement gives a derived comparison for separated semistable formal schemes, with the left side taken up to $(p,\mu)$-completion; this is new even when $X$ is smooth and non-proper.
  • The isomorphism is equivariant under Frobenius and the Galois group of an algebraic closure of $K$ over $K$, so arithmetic actions on the two sides are matched, not just the underlying abelian groups.
  • Taking $E = O_\Delta$ recovers, after identification, the $A_{\mathrm{inf}}$-cohomology descriptions for constant coefficients in the semistable case.
  • Combined with the equivalence of categories [10, Cor. 5.2], the theorem upgrades that equivalence from an identification of objects to an identification of cohomology theories.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next step is to test whether the same local $q$-Higgs technology extends the comparison to arbitrary log smooth p-adic formal schemes, with the semistable divisor replaced by a general snc boundary.
  • If a conjectural prismatic–crystalline comparison for the attached crystalline F-isocrystal is filled in, the canonical isomorphism of Theorem 0.4 would yield the classical semistable comparison at integral level, and the monodromy filtrations on both sides should match.
  • A concrete new case to probe is a relative annulus or product of a semistable curve with itself, where explicit $q$-de Rham and explicit étale cohomology can be computed by hand; agreement of the Galois action on the resulting $A_{\mathrm{inf}}[1/\mu]$-modules would support the theorem beyond the proper case.
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.

Referee Report

2 major / 4 minor

Summary. The paper proves a semistable prismatic–étale comparison theorem. For a separated semistable p-adic formal scheme X over Spf(O_K) and an analytic prismatic F-crystal E, it establishes a canonical isomorphism between the p-adically completed Breuil–Kisin cohomology of E base-changed to A_inf (after inverting mu) and the pro-étale cohomology of the associated semistable Z_p-local system T(E); in the proper case it identifies this with étale cohomology of T(E) after inverting mu. The proof proceeds through local q-Higgs descriptions (Section 3), a Galois-cohomology and décalage bridge (Section 4), a comparison over O_C using perfect prismatic sites and diamonds (Section 5), the construction of the canonical extension j_* and finiteness of Breuil–Kisin cohomology (Section 6), and base change from O_K to O_C (Section 7). The argument is written in full, with explicit framings, Čech–Alexander complexes, and descent arguments.

Significance. If the cited external inputs are valid, the theorem is a substantial generalization of Guo–Reinecke's prismatic–étale comparison to the semistable case, and it provides a direct proof of the strong étale comparison without invoking Poincaré duality. The manuscript is parameter-free and self-contained in its internal structure: the local computations in Section 3, the Galois-cohomology bridge in Section 4, and the base-change and descent arguments in Sections 5–7 are all given explicitly. The main caveats are two black-box external inputs: the Du–Liu–Moon–Shimizu equivalence [10, Cor. 5.2] used to define the local system T(E), and the cited primitive comparison theorem of Scholze used in Theorem 5.6(2). Neither is proved in this paper, so the strongest form of the main theorem is conditional on these inputs.

major comments (2)
  1. [§5.6, proof of Theorem 5.6(2)] The passage from pro-étale to étale cohomology is load-bearing for Theorem 0.4(2) and is the one place where the manuscript is not self-contained: it invokes 'a limit version of Scholze's primitive comparison theorem [20, Theorem 5.1]' without stating the version used. If [20, Thm. 5.1] is stated only for the constant sheaf, an additional argument is required for an arbitrary finite free Z_p-local system T(E): one must justify the limit over p^n, handle the A_inf-twist, and control the relevant spectral sequence or descent. Please either quote the exact theorem from [20] in the form needed here or supply the missing reduction. If [20, Thm. 5.1] does cover lisse Z_p-sheaves, this comment is resolved by adding the precise statement and a short indication of why the cited theorem applies to T(E).
  2. [§7.6 and §0.2] Theorem 0.4 and Theorem 5.6(2) depend essentially on the Du–Liu–Moon–Shimizu equivalence T: Vectan(X_Delta, O_Delta)^(phi=1) -> Loc_st^{Z_p}(X_eta,et) and on the identification of the essential image with semistable étale Z_p-local systems. The manuscript cites [10, Cor. 5.2] and [10, Prop. 3.21] but does not state the precise hypotheses under which these results apply to separated (not necessarily proper) semistable formal schemes over a complete discrete valuation ring. Since the main theorem inherits the full validity of this external equivalence, please state explicitly the exact input from [10] and, if [10] is a preprint, the version used.
minor comments (4)
  1. [§6, footnote in proof of Theorem 6.18] The footnote 'I don’t know whether j_*(E)/E(u)j_*(E) ≃ j_*E' is an explicit limitation statement. The proof as written uses only the Čech nerve R^{rel,•}_S, where the needed isomorphisms hold, so the argument appears to go through; however, the reader is left to verify that the unknown sheaf-level assertion is not used elsewhere. Please add a clarifying remark after the footnote explaining that the subsequent finiteness proof requires only the Čech-nerve version.
  2. [Throughout] The manuscript contains numerous typographical errors that should be corrected in revision, including 'caononical', 'moprhism', 'obejct', 'funtor', 'equippd', 'Lebnitz', 'autormphism', and 'ismorphism'.
  3. [§4.3 and §4.6] The set Xi_p is introduced in (4.3.1) and then Xi^*_p is used in the proof of Theorem 4.6(2) without an explicit definition; please define Xi^*_p immediately after (4.3.1) and state its role in the decomposition of E_infty.
  4. [References] The citation [20, Theorem 5.1] should include a page or theorem number and, ideally, the precise statement of the version used, since the proof of Theorem 5.6(2) relies on a 'limit version' that is not quoted.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the comparison is assembled from external equivalences and local computations; the few self-citations are non-load-bearing.

full rationale

The paper derives Theorem 0.4 from Theorem 5.6 and Proposition 7.4. Theorem 5.6 is obtained by combining Proposition 5.3, Lemma 5.2, and Lemma 5.5 with the external equivalence T: Vectan(X∆,O∆)^(φ=1)→Loc_st(Z_p)(X_η,ét) of Du–Liu–Moon–Shimizu [10, Cor 5.2] and with a cited limit version of Scholze's primitive comparison theorem [20, Thm 5.1]. None of these inputs is a restatement of Theorem 0.4, and the paper does not fit any parameter to the target cohomology. The author's earlier paper [22] is cited only as the model for auxiliary local lemmas (Lemma 3.4, Lemma 3.6, Proposition 3.19), and those lemmas are proved in the text rather than imported as black boxes; hence these self-citations are not load-bearing. The dependence of the proper case on the coefficient version of [20, Thm 5.1] is a genuine external hypothesis, but it is an unproved input, not a circular reduction: the étale side is not defined in terms of RΓ_S(X,E), nor is the isomorphism imposed by construction. No equation in the paper reduces the claimed comparison to its own statement.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no fitted constants and no new objects; it works with log prismatic sites, q-Higgs modules, and perfectoid rings from the cited literature. The risk is concentrated in the correctness and scope of the external inputs listed above, not in an internal fitting procedure.

assumptions (4)
  • domain assumption Equivalence of analytic prismatic F-crystals to semistable etale Z_p-local systems (Du-Liu-Moon-Shimizu [10, Cor 5.2]), and the equivalence of Laurent prismatic F-crystals with local systems (Theorem 1.26).
    Used to define T(E) and the etale realization functor, which appear on the right-hand side of the comparison theorem. This equivalence is cited, not proven in the present paper.
  • domain assumption Limit version of Scholze's primitive comparison theorem [20, Thm 5.1].
    Invoked in the proof of Theorem 5.6(2) to pass from pro-etale cohomology to etale cohomology after inverting mu; essential for the proper-case statement.
  • standard math Decalage properties and Koszul-complex computations for Leta_mu from [3, Section 6].
    Used in Proposition 2.5 and Theorem 4.6 to relate the local de Rham complex to group cohomology with the mu-adic decalage operator; treated as established background.
  • standard math Strict flat topology and fpqc descent in the log prismatic topos, including repleteness and the Cech-Alexander computation of RGamma.
    Used throughout, for example in Lemmas 1.12, 1.17, 3.24, to compute cohomology via covers; standard facts from [5] and [20].

how reviews work

0 comments
Cite this review

Pith. "Pith review of A prismatic-etale comparison theorem in the semistable case." pith.science (2026). https://pith.science/paper/EIB554SC

@misc{pith2026250708451,
  author       = {Pith},
  title        = {Pith review of: A prismatic-etale comparison theorem in the semistable case},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EIB554SC}},
  note         = {Machine review of arXiv:2507.08451}
}
abstract

Let $K|\mathbb{Q}_p$ be a complete discrete valuation field with perfect residue field, $O_K$ be its ring of integers. Consider a semistable $p$-adic formal scheme $X$ over $\mathrm{Spf}(O_K)$ with smooth generic fiber $X_{\eta}$. Du--Liu--Moon--Shimizu showed recently that the category of analytic prismatic $F$-crystals on the absolute log prismatic site of $X$ is equivalent to the category of semistable \'etale $\mathbb{Z}_p$-local systems on the adic generic fiber $X_{\eta}$. In this article, we prove a comparison between the Breuil--Kisin cohomology of an analytic log prismatic $F$-crystal on $X$ and the \'etale cohomology of its corresponding \'etale $\mathbb{Z}_p$-local system. This generalizes Guo--Reneicke's prismatic--\'etale comparison for crystalline $\mathbb{Z}_p$-local systems to the semi-stable case

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Prismatic cohomology and $A_{\inf}$-cohomology with coefficients

    math.AG 2025-09 conditional novelty 7.0 of 10

    Prismatic cohomology of a locally finite free prismatic crystal is canonically isomorphic to A_inf-cohomology of the associated relative Breuil-Kisin-Fargues module, for smooth p-adic formal schemes over the ring of i...

Reference graph

Works this paper leans on

24 extracted references · 12 canonical work pages · cited by 1 Pith paper

  1. [10]

    , Log prismatic F-crystals and purity (2024), available at https://arxiv.org/abs/2404. 19603. ↑2, 7, 9, 13, 49, 50, 51, 52, 60

    work page 2024

  2. [16]

    Hodge--Tate crystals on the logarithmic prismatic sites of semi-stable formal schemes

    Y. Min and Y. Wang,Hodge–Tate crystals on the logarithmic prismatic sites of semi-stable formal schemes (2022), available athttps://arxiv.org/abs/2205.08895. ↑5, 15, 16, 18, 54, 55, 59

    work page Pith review arXiv 2022

  3. [24]

    , Prismatic crystals and q-Higgs fields (2024), available at http://arxiv.org/abs/2403. 11676. ↑5, 12, 13, 15, 18, 19, 20, 24, 25, 26, 28, 33, 34, 35, 36, 42 Yichao Tian, Morningside Center of Mathematics, State Key Laboratory of Mathematical Sciences, AMSS, Chinese Academy of Sciences, 55 Zhong Guan Cun East Road, 100190, Beijing, China 61

    work page 2024

  4. [20]

    Scholze, p-adic Hodge theory for rigid analytic varieties, Forum of Math

    P. Scholze, p-adic Hodge theory for rigid analytic varieties, Forum of Math. Pi1, e1(2013), DOI 10.1017/fmp.2013.1. ↑12, 48

    doi:10.1017/fmp.2013.1 2013

  5. [1]

    Andretta and A

    F. Andretta and A. Iovita,Semistable sheaves and comparison isomorphisms in the semi-stable case, Rend. Semin. Mat. Univ. Padova.138 (2012), 131-285. ↑2

    work page 2012

  6. [2]

    Berthelot,Cohomologie cristalline des schémas de caractéristiquep >0 407 (1974)

    P. Berthelot,Cohomologie cristalline des schémas de caractéristiquep >0 407 (1974). ↑34

    work page 1974

  7. [3]

    Bhatt, M

    B. Bhatt, M. Morrow, and P. Scholze,Integral p-adic Hodge theory, Publ. Math. IHES128 (2018), 219-397, DOI 10.1007/s10240-019-00102-z. MR3905467↑1, 6, 8, 16, 20, 28, 42, 43, 57

    doi:10.1007/s10240-019-00102-z 2018

  8. [4]

    , Topological Hochschild homology and integralp-adic Hodge theory, Publ. Math. IHES129 (2019), 199-310, DOI 10.1007/s10240-019-00106-9. MR3949030↑1

    doi:10.1007/s10240-019-00106-9 2019

Show all 24 references
  1. [5]

    Bhatt and P

    B. Bhatt and P. Scholze,Prisms and prismatic cohomology, Ann. of Math.196 (2022), 1135-1275, DOI 10.4007/annals.2022.196.3.59. ↑1, 7, 10, 22, 24, 51

    2022 doi

  2. [6]

    Bhatt and P

    B. Bhatt and P. Scholze,Prismatic F-crystals and crystalline Galois representations, Cambridge J. of Math.11, No. 2(2023), 5-7-562, DOI https://dx.doi.org/10.4310/CJM.2023.v11.n2.a3.↑2, 12, 18

    2023 doi

  3. [7]

    Česnavičius and T

    K. Česnavičius and T. Koshikawa,The Ainf-cohomology in the semistable case, Comp. Math.155 (2019), 2039 - 2128, DOI 10.1112/S0010437X1800790X.↑5, 42

    2019 doi

  4. [8]

    Česnavičius and P

    K. Česnavičius and P. Scholze,Purity for flat cohomology, Annals of Math.199 (2024), 58-180. ↑46

    2024

  5. [9]

    H. Du, T. Liu, Y.-S. Moon, and K. Shimizu,Complete prismatic F-crystals and crystallineZp-local systems, Comp. Math.160 (2024), 1101-1166, DOI https://doi.org/10.1112/S0010437X24007097. ↑2

    2024 doi

  6. [11]

    G. Faltings,Crystalline cohomology andp-adic Galois representations, Algebraic analysis, geometry, and number theory: proceedings of the JAMI inaugural conference, held at Baltimore, MD, USA, May 16-19, 1988 (1989), 25-80.↑2

    1989

  7. [12]

    Guo andE

    H. Guo andE. Reinecke,A prismatic approach to crystalline local systems, Invent. Math.236(2024), 17-164, DOI https://doi.org/10.1007/s00222-024-01238-4.↑1, 2, 4, 13, 47, 51, 52

    2024 doi

  8. [13]

    Koshikawa,Logarithmic prismatic cohomology I(2020), available athttps://arxiv.org/abs/ 2007.14037

    T. Koshikawa,Logarithmic prismatic cohomology I(2020), available athttps://arxiv.org/abs/ 2007.14037. ↑2, 7, 49

    2020 arXiv

  9. [14]

    Koshikawa and Z

    T. Koshikawa and Z. Yao,Logarithmic prismatic cohomology II(2023), available athttps://arxiv. org/abs/2306.00364. ↑2, 4, 9, 15, 18

    2023 arXiv

  10. [15]

    Mathew, Faithfully flat descent of almost perfect complexes in rigid geometry, J

    A. Mathew, Faithfully flat descent of almost perfect complexes in rigid geometry, J. Pure Appl. Algebra 226 (2022). ↑52

    2022

  11. [17]

    , Relative (φ, Γ)-modules and prismaticF-crystals (2021), available athttps://arxiv.org/ abs/2110.06076v2. ↑18

    2021 arXiv

  12. [18]

    Morrow and T

    M. Morrow and T. Tsuji, Generalised representations as q-connections in integral p-adic Hodge theory (2020), available athttps://arxiv.org/pdf/2010.04059. ↑28, 42

    2020 arXiv

  13. [19]

    ↑25, 35, 51, 52, 56, 59, 60

    The Stacks Project Authors,The Stacks project, available athttps://stacks.math.columbia.edu. ↑25, 35, 51, 52, 56, 59, 60

  14. [21]

    ↑44, 45, 46, 47

    , Étale cohomology of diamonds(2017), available at http://arxiv.org/abs/1709.07343. ↑44, 45, 46, 47

    2017 arXiv

  15. [22]

    Tian,Finiteness and duality of prismatic crystals, J

    Y. Tian,Finiteness and duality of prismatic crystals, J. Reine Ang. Math.800 (2023), 217-257.↑23, 25, 32

    2023

  16. [23]

    Tsuji,p-adic étale cohomology and crystalline cohomology in the semi-stable reduction case, In- vent

    T. Tsuji,p-adic étale cohomology and crystalline cohomology in the semi-stable reduction case, In- vent. Math.137 (1999), 233-411. ↑60

    1999

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.