Pith. sign in

REVIEW 2 major objections 5 minor 39 references

Log prismatic $F$-crystals and realization functors

T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read Every log prismatic F-crystal on a semi-stable log formal scheme now has étale and crystalline realizations, and the étale one is faithful and, in the n≤1 case, preserves exactness.

desk verdict A serious paper that delivers the expected horizontal-boundary generalization of realization functors, but the referee should verify Prop 5.19 and its dependence on the author's companion preprint. read the letter →

arxiv 2505.01084 v2 pith:V6XL6KM7 submitted 2025-05-02 math.AG math.NT

Kentaro Inoue This is my paper · ORCID
classification math.AGmath.NT MSC 14F3014G22
keywords logprismaticcohomologyanalyticF-crystalsp-adicHodgetheoryrealizationfunctorsKummerétalelocalsystemsfilteredF-isocrystalssemi-stableformalschemesNygaardfiltration
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

Log prismatic cohomology packages the p-adic Hodge theory of varieties with semi-stable reduction into coefficient objects called log prismatic F-crystals. This paper establishes that, on semi-stable log formal schemes over a p-adic field whose boundary may contain horizontal components, every such crystal produces two classical coefficient objects: a Kummer étale $\mathbb{Z}_p$-local system and a filtered F-isocrystal, and the two are associated in the sense of Definition 4.18(2). The étale realization is fully faithful, and when the local framings have at most one vertical boundary divisor ($n\leq 1$) it is bi-exact: it preserves and reflects exact sequences. A companion paper applies the construction to toroidal compactifications of Shimura varieties. If the claims hold, log prismatic coefficients can be used interchangeably with étale and crystalline coefficients on semi-stable degenerations, extending results previously known in the smooth and vertically semi-stable cases.

What carries the argument

The central object is the category of analytic log prismatic F-crystals, namely vector bundles on the log prismatic site equipped with a Frobenius-compatible isomorphism, defined on the locus away from $V(p,I)$. The argument's load-bearing mechanism is a descent statement the paper calls Kummer quasi-syntomic descent (Proposition 5.19): for a strict quasi-syntomic cover of the infinite-root log cover $X_{\infty,\alpha}$, restriction from the ambient category to the totalization over the Čech nerve is fully faithful and bi-exact onto its essential image. This descent lets the author reduce the proof of Theorem B, first to the known full faithfulness of the lattice realization functor on integral perfectoid algebras, and then to exact sequences of modules over the Breuil-Kisin log prisms associated with the local framings.

What would settle it

Exhibit a strict quasi-syntomic cover $(Y,M_Y)\to (X_{\infty,\alpha},M_{X_{\infty,\alpha}})$ as in Setting 5.18 for which the restriction functor to the Čech nerve is not fully faithful or not bi-exact onto its essential image, or a counterexample to the companion proposition it invokes. Equivalently, in the $n\leq 1$ case, exhibit two non-isomorphic analytic log prismatic F-crystals with isomorphic Kummer étale local systems, or an exact sequence of local systems whose preimage under the étale realization is not exact.

Watch

Extended reading notes

Core claim

On a semi-stable log formal scheme over $\mathcal{O}_K$, with framings that may have both horizontal and vertical boundary coordinates, the paper constructs an étale realization functor from analytic log prismatic F-crystals to Kummer étale $\mathbb{Z}_p$-local systems on the generic fiber, and a crystalline realization functor to filtered F-isocrystals, and proves the two realizations of the same crystal are associated in the sense of Definition 4.18(2). Theorem B strengthens this: the étale realization is fully faithful for all semi-stable log formal schemes, and when framings satisfy $n\leq 1$ it is a bi-exact equivalence onto its essential image. The construction works with analytic log prismatic F-crystals, the larger coefficient category obtained by evaluating vector bundles on the complement of $V(p,I)$, and generalizes prior realizations from the smooth and vertically semi-stable cases to horizontal boundary components. The de Rham realization is also described through the Nygaard filtration on the Breuil-Kisin log prisms attached to a framing.

Load-bearing premise

The load-bearing premise is a descent theorem, Proposition 5.19, for analytic log prismatic F-crystals over strict quasi-syntomic covers; its proof is reduced to a proposition in a companion preprint, so if that comparison fails, the full faithfulness and bi-exactness of the étale realization would not follow.

Editorial extensions

If this is right

  • A log prismatic F-crystal on a semi-stable log formal scheme is determined up to isomorphism by its Kummer étale local system, because the étale realization functor is fully faithful.
  • The étale and crystalline realizations of the same crystal are associated in the sense of Definition 4.18(2), so passage between the two coefficient worlds loses no comparison information.
  • When the local framings have at most one vertical boundary direction, exact sequences of crystals and exact sequences of local systems correspond bi-exactly, giving a sharp embedding theorem.
  • The de Rham realization is computed from the Nygaard filtration on a Breuil-Kisin log prism, so the filtered vector bundle and Griffiths transversality are explicit from the crystal itself.
  • The construction supplies the log prismatic realization used in a companion work on toroidal compactifications of Shimura varieties of Hodge type (Remark 1.7).

Reading between the lines

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

  • An immediate next problem is to identify the essential image of the étale realization; the paper's naive expectation is the category of semi-stable local systems, which would turn the bi-exact embedding into a full Tannakian equivalence.
  • The bi-exactness theorem stops at $n\leq 1$; whether multi-dimensional vertical degenerations with $n\geq 2$ destroy bi-exactness is left open and could be tested with multi-variable Breuil-Kisin log prisms.
  • Because Proposition 5.19 is proved by reduction to a companion preprint, an independent proof of that descent statement would be the fastest way to check the robustness of Theorem B.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper develops realization functors for coefficient objects in log prismatic cohomology. On a semi-stable log formal scheme over O_K with possibly horizontal boundary components, it constructs an étale realization functor T_ét from analytic log prismatic F-crystals to Kummer étale Z_p-local systems and a crystalline realization functor T_fisoc to filtered F-isocrystals, and proves that they are associated in the sense of Definition 4.18(2) (Theorem A / Theorem 6.18). It further proves that T_ét is fully faithful (Theorem 6.27) and, when framings have n≤1 étale locally, bi-exact onto its essential image (Theorem 6.32). The main technical engine is a "Kummer quasi-syntomic descent" statement (Proposition 5.19), supported by a study of big log affinoid perfectoids and period sheaves with connections in Section 4 and of F-isocrystals with monodromy in Section 3.

Significance. If correct, this fills a genuine gap: the previous smooth and vertical semi-stable cases are extended to the mixed horizontal/vertical setting, and full faithfulness of the étale realization is obtained without the detailed Breuil-Kisin ring computations used in earlier works. The paper is generally careful about functoriality and independence of framings, and it contains substantial local descriptions (Lemmas 4.6 and 4.12, Propositions 4.21 and 6.23) that are useful in themselves. The main caveat is that Proposition 5.19, the load-bearing descent input for Theorem B, is not proved self-containedly: it is reduced to results in the author's companion preprint [Ino25], whose relation to the present paper is only partially described.

major comments (2)
  1. [§5.2, Proposition 5.19; used in §6.5 and §6.6] The proof of the full faithfulness half of Proposition 5.19 is not carried out in this paper: it refers to [Ino25, Proposition 4.18] and [Ino25, Proposition 2.26] for the exact sequence 0→A→B^(0)→B^(1). Since Proposition 5.19 is then used verbatim in Theorem 6.27 and in Theorem 6.32, this is a load-bearing external input. Moreover, Remark 1.7 states that [Ino25] applies the results of the present paper, so there is a potential circularity between the two works. Please either give a complete proof of Proposition 5.19 or spell out the exact dependency graph and confirm that [Ino25, Prop. 2.26 and 4.18] do not use Proposition 5.19 or Theorem B.
  2. [§6.6, Theorem 6.32] The deduction of exactness of 0→TdR(E1)→TdR(E2)→TdR(E3)→0 from exactness of the associated graded pieces is only sketched. One needs a lemma stating that, for finite (or at least bounded, separated, and exhaustive) filtrations with locally free graded pieces, exactness of the graded sequence implies exactness of the underlying filtered sequence, by induction over the filtration steps. Please supply this lemma or a precise reference, and state the boundedness of the Hodge filtrations in Definition 3.27 or in the construction of TdR.
minor comments (5)
  1. [§5.2, proof of Proposition 5.19] In the full faithfulness proof, the step "Taking tensor products with Γ(Spec(A[1/f]),E)" is valid because E|Spec(A[1/f]) is finite locally free and hence flat over A on each affine open Spec(A[1/f]); however, this justification is not recorded. Please add a sentence so that the reader does not need to supply a flatness hypothesis on B^(0) and B^(1).
  2. [§5.2, proof of Proposition 5.19] The bi-exactness half ends with the assertion that faithful flatness of U(B^(0))→U(A,I) proves the claim. Please expand this with the standard descent argument that exactness of the pullback sequence at the faithfully flat cover reflects exactness in Vect^{an,φ}(A,I).
  3. [§6.5, Theorem 6.27] In the induction step for n≥2, the proof speaks of the "vanishing locus of x_i" for i=1,2. Since the x_i are invertible by Definition 1.1, these loci are empty; the intended variables are almost certainly the vertical coordinates z_i (or the corresponding t_j). Please correct the notation.
  4. [§6.5, Theorem 6.27] The parenthetical "n≤1 (in other words, the special fiber of X is smooth)" is inaccurate for n=1: in that case the special fiber has a normal-crossing divisor. The subsequent argument does not appear to use smoothness, so this is a presentation issue, but the wording should be fixed.
  5. [§6.6, Theorem 6.32] In the paragraph after the exact sequence of Tisoc(E_i)(S_R,M_{S_R}), the displayed sequence of Acrys(S)-modules repeats Tisoc(E1) in all three terms; it should read Tisoc(E1), Tisoc(E2), Tisoc(E3).

Circularity Check

1 steps flagged · score 4.0 of 10

Main realization theorems are not definitionally circular, but the descent statement underlying Theorem B is delegated to the author's own preprint [Ino25], which Remark 1.7 says applies the present paper.

  1. self citation load bearing [Section 5.2, proof of Proposition 5.19 (pp. 47-48); Remark 1.7 (p. 4)]
    "In the same way as the proof of [Ino25, Proposition 4.18], replacing (A, I,MA) with a flat cover allows us to assume that the following conditions hold: ... By [Ino25, Proposition 2.26], we have an exact sequence 0→ A→ B(0)→ B(1). ... Remark 1.7. In [Ino25], the work in this paper is applied to the construction of log prismatic realization on toroidal compactifications of Shimura varieties of Hodge type."

    Proposition 5.19, called 'Kummer quasi-syntomic descent,' is the stated input for the full faithfulness (Theorem 6.27) and bi-exactness (Theorem 6.32) of the étale realization functor. Rather than proving this descent statement from the assumptions given in the paper, the proof reduces its fully faithfulness half to [Ino25, Proposition 4.18] and imports the required exact sequence from [Ino25, Proposition 2.26]. Since [Ino25] is the author's own preprint and, by Remark 1.7, applies the present paper, the two works are mutually dependent: the descent result that carries Theorem B is not independently anchored in the present text. This is a load-bearing self-citation chain, although it does not make the main theorems true by definition.

full rationale

Apart from the Proposition 5.19 delegation, the construction of the étale, crystalline, and de Rham realization functors is not definitionally circular: no fitted parameter is renamed as a prediction, and the target categories are not defined in terms of the functors being constructed. Definition 4.18(2) is a target notion of 'associated,' and Theorem 6.18 genuinely proves existence and uniqueness of the filtration making Tét(E) and Tfisoc(E) associated, using Proposition 4.20 and Theorem 6.17. The fully faithfulness and bi-exactness parts of Theorem B do rest on Proposition 5.19, whose proof is only sketched and whose key descent step is quoted from [Ino25], a same-author preprint that Remark 1.7 says depends on the present paper. This is a genuine self-citation burden, but it is not an equivalence of the derivation with its inputs: the cited descent statement is an overlapping external input, and the surrounding arguments contain substantial independent content. The appropriate score is therefore 4 rather than 0 or 2.

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

The central theorems assume the full log prismatic theory of [Kos22, KY23], including the étale realization equivalence for Laurent F-crystals (Theorem 6.3). The proof of the key descent Proposition 5.19 is delegated to the author's own preprint [Ino25], which overlaps in authorship with this paper. No numerical parameters are fitted; the only choices are mathematical (uniformizer, framings, perfectoid algebras). Several new period sheaves are introduced as definitions; they have no external falsifiable handle beyond their internal consistency.

assumptions (5)
  • domain assumption Prismatic cohomology and log prismatic cohomology theories, including prismatic sites, prismatic F-crystals, and Laurent F-crystals, are valid as developed in [BS22], [Kos22], [KY23].
    The paper builds on these theories as black boxes and uses Theorem 6.3 quoted from [KY23, Theorem 7.36] for étale realization of Laurent F-crystals.
  • domain assumption Fargues's functor is fully faithful, as established in [GR24, BS23], used in the proof of full faithfulness of T_ét in Theorem 6.27.
    The proof invokes full faithfulness of Fargues's functor; no proof is repeated.
  • domain assumption [Ino25, Proposition 4.18] and [Ino25, Lemma A.2] are correct and apply to the present log prismatic setting, used in proving Proposition 5.19 and Definition 4.4.
    Proposition 5.19 says its proof follows 'in the same way' as [Ino25, Proposition 4.18]; since [Ino25] is the author's own preprint, this is a same-author dependency that should be checked.
  • domain assumption Kedlaya's A_inf vector bundle result (Lemma 6.30 = [Ked20, Theorem 3.8]) holds, used in the bi-exactness proof.
    Lemma 6.30 quotes [Ked20, Theorem 3.8] for a bi-exact equivalence of vector bundles on A_inf.
  • domain assumption Absolute integral closures of p-adic rings are perfectoid and faithfully flat ([Bha20]), used in Lemma 6.22 to construct a cover trivializing all local systems.
    Lemma 6.22 relies on [Bha20, Lemma 4.20(2) and Theorem 5.16].
invented entities (2)
  • Big log affinoid perfectoids (Definition 4.4)
    purpose: Used to define period sheaves and the association between étale local systems and crystalline/de Rham realizations.
    A new definition in this paper; no external verification beyond the paper's internal use.
  • Period sheaves OB_crys, OB_st, O\hat{B}_st with connections (Section 4.2)
    purpose: Coefficient sheaves on the pro-Kummer-étale site that mediate between étale Zp-local systems, F-isocrystals, and filtered de Rham vector bundles.
    Newly constructed, partly modeled on [DLLZ23a] and [Sch16]; no independent falsifiable prediction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Log prismatic $F$-crystals and realization functors." pith.science (2026). https://pith.science/paper/V6XL6KM7

@misc{pith2026250501084,
  author       = {Pith},
  title        = {Pith review of: Log prismatic $F$-crystals and realization functors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V6XL6KM7}},
  note         = {Machine review of arXiv:2505.01084}
}
abstract

Log prismatic cohomology theory developed by Koshikawa-Yao involves coefficient objects, called log prismatic $F$-crystals. In this paper, we construct and study realization functors from the category of log prismatic $F$-crystals to the category of coefficient objects of other $p$-adic cohomology theories, in the setting where boundary divisors may involve horizontal components.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 26 canonical work pages

  1. [1]

    F.\ Andreatta, A.\ Iovita, Semistable sheaves and comparison isomorphisms in the semistable case, Rend.\ Semin.\ Mat.\ Univ.\ Padova 138 (2012), 131-285

    work page 2012

  2. [2]

    P.\ Berthelot: Cohomologie crystalline des sch\' e mas de characteristic p>0 , Springer Lecture Notes 407 (1974)

    work page 1974

  3. [3]

    B.\ Bhatt: Cohen-Macaulayness of absolute integral closures, 2020, arXiv:2008.08070

    arXiv 2020

  4. [4]

    B.\ Bhatt, M.\ Morrow, P.\ Scholze: Integral p-adic Hodge theory, Publ.\ Math.\ Inst.\ Hautes \' E tudes Sci.\ 128 (2018), 219-397

    work page 2018

  5. [5]

    B.\ Bhatt, P.\ Scholze: Prisms and prismatic cohomology, Ann.\ of Math.\ (2) 196 (2022), no.\ 3, 1135-1275

    work page 2022

  6. [6]

    B.\ Bhatt, P.\ Scholze: Prismatic F-crystals and crystalline Galois representations, Camb.\ J.\ Math.\ 11 (2022), no.\ 2, 507-562

    work page 2022

  7. [7]

    K.\ C esnavi c ius, T.\ Koshikawa: The A_ inf -cohomology in the semistable case , Compos.\ Math.\ 155 (2019), no.\ 11, 2039-2128

    work page 2019

  8. [8]

    H.\ Du, T.\ Liu, A prismatic approach to ( , G ) -modules and F -crystals , J.\ Eur.\ Math.\ Soc. (2024)

    work page 2024

Show all 39 references
  1. [9]

    H.\ Diao, K.-W.\ Lan, R.\ Liu, X.\ Zhu: Logarithmic Riemann-Hilbert correspondences for rigid varieties, J.\ Amer.\ Math.\ Soc.\ 36 (2023), no.\ 2, 483-562

    2023

  2. [10]

    H.\ Diao, K.-W.\ Lan, R.\ Liu, X.\ Zhu: Logarithmic adic spaces: some foundational results, Simons Symp.\ p-adic Hodge theory, singular varieties, and non-abelian aspects (2023), 65-182

    2023

  3. [11]

    H.\ Du, T.\ Liu, Y.\ S.\ Moon, K.\ Shimizu, Completed prismatic F -crystals and crystalline _ p -local systems , Compos.\ Math.\ 160 (2024), no.\ 5, 1101-1166

    2024

  4. [12]

    H.\ Du, T.\ Liu, Y.\ S.\ Moon, K.\ Shimizu: Log prismatic F -crystals and purity, 2024, arXiv:2404.19603

    2024

  5. [13]

    V.\ Drinfeld: A stacky approach to crystals, Dialogues between physics and mathematics, C.\ N.\ Yang at 100, Cham: Springer, 2022, 19-47

    2022

  6. [14]

    H.\ Esnault, A.\ Shiho:Convergent isocrystals on simply connected varieties, Ann.\ Inst.\ Fourier 68 (2018), no.\ 5, 2109-2148

    2018

  7. [15]

    G.\ Faltings: Crystalline cohomology and p -adic Galois representations, Johns Hopkins University Press, Baltimore, MD, 1989, 25-80

    1989

  8. [16]

    H.\ Guo, E.\ Reinecke: A prismatic approach to crystalline local systems, Invent.\ Math.\ 236 (2024), no.\ 1, 17-164

    2024

  9. [17]

    H.\ Guo, Z.\ Yang: Pointwise criteria of crystalline local systems, 2024, arXiv:2409.19742

    2024 arXiv

  10. [18]

    R.\ Huber: \' E tale cohomology of rigid analytic varieties and adic spaces , Aspects Math, E30 Friedr.\ Vieweg & Sohn, Braunschweig, 1996

    1996

  11. [19]

    N.\ Imai, H.\ Kato, A.\ Youcis: The prismatic realization functor for Shimura varieties of abelian type, 2023, arXiv:2310.08472

    2023 arXiv

  12. [20]

    N.\ Imai, H.\ Kato, A.\ Youcis: A Tannakian framework for prismatic F-crystals, 2024, arXiv:2406.08259

    2024 arXiv

  13. [21]

    : Log prismatic Dieudonn\' e theory and its application to Shimura varieties , 2025, arXiv:2503.07379

    2025 arXiv

  14. [22]

    K.\ Ito: Prismatic G -displays and descent theory, 2024, arXiv:2303.15814, to appear in Algebra and Number Theory

    2024 arXiv

  15. [23]

    K.\ Kato: Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988), 191-224, Johns Hopkins Univ.\ Press, Baltimore, MD, 1989

    1988

  16. [24]

    II., Tokyo J.\ Math.\ 44 (2021), no.\ 1, 125-155

    K.\ Kato: Logarithmic structures of Fontaine-Illusie. II., Tokyo J.\ Math.\ 44 (2021), no.\ 1, 125-155

    2021

  17. [25]

    K.\ S.\ Kedlaya: Some ring-theoretic properties of A_ inf , in p -adic hodge theory, Simons Symp, pp.\ 129-141, Springer, Cham, 2020

    2020

  18. [26]

    T.\ Koshikawa: Logarithmic prismatic cohomology I, 2022, arXiv:2007.14037

    2022 arXiv

  19. [27]

    T.\ Koshikawa, Z.\ Yao: Logarithmic prismatic cohomology II, 2023, arXiv:2006.00364

    2023 arXiv

  20. [28]

    R.\ Liu, X.\ Zhu: Rigidity and a Riemann-Hilbert correspondence for p -adic local systems, Invent.\ Math.\ 207 (2017), no.\ 1, 291-343

    2017

  21. [29]

    L.\ Mann, A.\ Werner: Local systems on diamonds and p -adic vector bundles, Int.\ Math.\ Res.\ Not.\ 2023, no.\ 15, 12785-12850

    2023

  22. [30]

    A.\ Ogus: The convergent topos in characteristic p , The Grothendieck Festschrift, Vol.\ III, Progr.\ Math, vol.\ 88, Birkh\" u ser Boston, Inc., Boston, MA, 1990 133-162

    1990

  23. [31]

    A.\ Ogus: Lectures on logarithmic algebraic geometry, Cambridge Studies in Advanced Mathematics, 178.\ Cambridge University Press, Cambridge, 2018

    2018

  24. [32]

    P.\ Scholze, p -adic Hodge theory for rigid-analytic varieties, Forum Math.\ Pi 1 (2013)

    2013

  25. [33]

    P.\ Scholze, p -adic Hodge theory for rigid-analytic varieties-corrigendum, Forum Math.\ Pi 4 (2016)

    2016

  26. [34]

    P.\ Scholze: \' E tale cohomology of diamonds , 2022, arXiv:1709.07343

    2022 arXiv

  27. [35]

    K.\ Shimizu: A p -adic monodromy theorem for de Rham local systems, Compos.\ Math.\ 158 (2022), no.\ 12, 2157-2205

    2022

  28. [36]

    The Stacks Project Authors, Stacks Project, 2024

    2024

  29. [37]

    T.\ Tsuji: Crystalline sheaves and filtered convergent F -isocrystals on log schemes, preprint

  30. [38]

    F.\ Tan, J.\ Tong: Crystalline comparison isomorphisms in p -adic Hodge theory: the absolutely unramified case, Algebra Number Theory 13 (2019), no.\ 7, 1509-1581

    2019

  31. [39]

    M.\ W u rthen, H.\ Zhao: Log prismatic Dieudonné theory for log p-divisible groups over _ K , 2023, arXiv:2310.15732

    2023 arXiv

Pith tools

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