{"id":"a17a636c-7252-4817-97ef-6e3a48c4af5c","arxiv_id":"2411.18780","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Absolute de Rham prismatic crystals on smooth or semi-stable formal schemes are classified by small enhanced connections and by small B+dR-local systems, via a new analytic Sen theory over the Kummer tower.","lead":"This paper proves a new equivalence between three ways of encoding p-adic geometric objects: prismatic crystals, enhanced connections, and p-adic local systems, for smooth and semi-stable formal schemes. It matters because it advances the p-adic Riemann-Hilbert program, which aims to translate between arithmetic and geometric structures in number theory.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The main theorem's global equivalence passes through Proposition 14.10, whose key input, Lemma 14.8(1), asserts without independent verification that the nearly de Rham period ring is relatively locally analytic and a-small; a breakdown there would invalidate Theorem 15.1 and hence Theorem 1.4.","rationale":"The reader's weakest assumption identifies Proposition 14.10 and its dependence on Lemma 14.8(1); my reading of the proof chain reaches the same point. Theorem 16.1 is a formal assembly of local equivalences using Theorem 15.1, and Theorem 15.1 depends on the analytic Sen theory in Proposition 14.10. The proof of Proposition 14.10 relies on treating W ⊗ B^{*-ndR,m} as relatively locally analytic and a-small, using Lemma 14.8(1). That lemma is proved by a short argument for m = 1 and a citation to Lemma 5.7 for a-smallness; it is not backed by an independent computation of the Sen invariants of the period ring. I did not find a concrete contradiction or a clear internal inconsistency, so the concern is about verification rather than a discovered flaw. The most useful check is to compute directly, for m = 2 and a simple Eisenstein polynomial, the τ-analytic invariants and a-smallness of B^{*-ndR,m} from the explicit action (14.3). This would settle whether the unverified input is correct. Since the reader already marked the paper CONDITIONAL with moderate confidence, my stress-test does not move the verdict.","tokens_in":78663,"tokens_out":23374,"duration_ms":193187,"concrete_test":"Independently re-derive Lemma 14.8(1)-(3) from the explicit action (14.3) without invoking Theorem 12.7. For the smallest nontrivial case K = Q_p, E(u) = u - p (so a = -1) and m = 2, write B^{*-ndR,2} = B^+_{dR,2}{Z_1}_pd with g(Z_1) = Z_1 + c(g) t/ℓ_u. Compute the graded pieces Gr^0 and Gr^1 under t, verify that each is relatively locally analytic by constructing the ON basis and open subgroup required in Definition 12.1; then directly compute D_{Sen,K∞}(B^{*-ndR,2}) = ((B^{*-ndR,L,2})^{G_L})^{γ=1,τ-la} using τ(Z_1) = Z_1 + t/ℓ_u and γ(t) = t. Check that the result is K_∞[[E]]/E^2{Z_1}_pd and that φ_{K∞} on it satisfies the a-small limit (5.3). If either the relative local analyticity or the a-small limit fails, Proposition 14.10 and Theorem 15.1 fail; if the check passes, the central analytic input is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.4 is completed in §16 by reducing to Theorem 15.1, which is built on the analytic Sen theory of §14. The load-bearing step is Proposition 14.10: for a-small relatively locally analytic W, the τ-analytic invariants D_{τ-an}(W) = (W ⊗ B^{*-ndR,m})^{G_K} are claimed to recover D_{Sen,K∞}(W) and to compute G_K-cohomology via φ_{K∞}. The proof invokes Theorem 12.7 for W ⊗ B^{*-ndR,m}, which requires Lemma 14.8(1): B^{*-ndR,m} is relatively locally analytic and a-small. The proof of Lemma 14.8(1) only treats the m = 1 case by taking the lattice O_C{X_1}_pd, and relegates a-smallness to Lemma 5.7; it does not independently compute the analytic Sen module of the period ring itself, nor does it address the completed-tensor-product subtleties needed when passing the cohomology comparison through the Kummer tower base change. The worry is not a contradiction with existing results; it is that the chain of equivalences has a single, unverified analytic input. If Lemma 14.8(1) fails in any grading t^i/t^{i+1}, or if the derived quasi-isomorphism in the proof of Proposition 14.10 does not force the displayed degree-zero inclusion (14.4) to be an equality, then the global equivalence MIC^a_en ≃ MIC^a_GK collapses and so does the main theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a systematic study of relative and absolute Δ+dR-crystals on the (log-)prismatic site of smooth and semi-stable formal schemes over OK. It proves local classification results: relative crystals are equivalent to nilpotent β- or E-connections (§3–§4), and local absolute crystals are equivalent to a-small enhanced connections (§6–§7), with cohomology comparisons. It then constructs a geometric p-adic Riemann–Hilbert correspondence for B+dR-local systems (§8–§9), an equivalence between perfect prismatic crystals and B+dR-local systems (§10), and an analytic Sen theory over the Kummer tower (§12–§14) that is used to prove a global equivalence between a-small enhanced connections and small GK-equivariant connections (§15). The main theorem, Theorem 1.4, asserts a commutative diagram of equivalences among the categories MICa_en(Xét, OX,S+dR,m), Vect(XΔ,∗, Δ+dR,m), and Vect^a(Xproét, B+dR,m), with an analogous bottom row, together with functorial quasi-isomorphisms of cohomology. The paper states that the genuinely new cases are relative dimension at least one, including all semi-stable cases and all m≥2 in the smooth case.","tokens_in":79019,"tokens_out":5072,"duration_ms":53365,"significance":"If the main theorem is correct, the paper gives a substantial extension of the Hodge–Tate and de Rham prismatic classifications to relative and semi-stable settings, and it introduces a new analytic Sen component over the Kummer tower that is likely to be useful beyond this paper. The local computations in §3, §4, §6, and §7 are explicit and are a genuine strength, as are the cohomology comparisons in §7 and the careful treatment of the perfect prismatic site in §10. The reliance on the authors' previous works GMW23, GMW, and MW is reasonable because the point case and m=1 cases are independent published results. However, the proof of the global theorem has two load-bearing gaps that need to be closed: the Zariski descent step in §16 is asserted without proof, and the analytic Sen input in Proposition 14.10 depends on Lemma 14.8(1) and on an infinite-rank extension of Proposition 5.6 whose proof is only sketched. These gaps are not contradictions with existing results, but they are central to the main claim.","major_comments":[{"comment":"The globalization from the local equivalence of §6 to the global Theorem 1.4 is made by the sentence: “Both statements can now be checked Zariski locally since all categories in the diagram satisfy Zariski descent.” This is load-bearing and no proof or reference is supplied for the Zariski descent property of Vect(XΔ,∗, Δ+dR,m) and of MICa_en(Xét, OX,S+dR,m). In particular, it is not obvious that restriction of crystals on the absolute prismatic site is a stack on the Zariski site with respect to this particular sheaf of rings, and the enhanced-connection category involves a-smallness conditions that must be shown to be local. Since this step converts the local Theorem 6.16 into the global equivalence, the proof is incomplete as written.","section":"§16, proof of Theorem 16.1"},{"comment":"Proposition 14.10 is the key analytic step used to prove the global equivalence in Theorem 15.1 and hence Theorem 1.4. Its proof applies Theorem 12.7 to the tensor product W⊗B+dR B∗-ndR,m, which requires that this tensor product is relatively locally analytic and a-small. The proof cites Lemma 14.8(1), but that lemma only treats the m=1 case by taking the lattice OC{X1}pd and checks a-smallness through Lemma 5.7; it does not prove stability of relative local analyticity or a-smallness under completed tensor products with an arbitrary a-small W. Moreover, the derivation of the equalities in (14.4) from the displayed cohomology comparison is very compressed: an isomorphism of complexes after tensoring with K∞ does not by itself force the natural degree-zero inclusion to be an equality unless the map on H0 is identified. Because Theorem 15.1 and Theorem 16.1 collapse if this analytic Sen input fails, this step needs a complete proof.","section":"§14, Proposition 14.10 and Lemma 14.8(1)"},{"comment":"Proposition 5.6 extends the finite-rank equivalence Strat(S•,+,∗,dR,m⊗K F) ≃ MIC∧,a(S+dR,m⊗K F) to infinite-rank orthonormal Banach modules, and the proof says only that the finite-rank arguments in [GMW, Prop 4.5] “still hold true in the Banach case” once φ is a-small. This extension is used later for the infinite-dimensional period ring B∗-ndR,m in §14, including Lemma 5.7 and Lemma 5.8(3), which feed directly into Proposition 14.10. The convergence of the infinite summations defining the stratification and the validity of the cocycle condition in the completed tensor product setting need to be spelled out, or a precise reference given; as written this is a load-bearing assertion rather than a proof.","section":"§5, Proposition 5.6"}],"minor_comments":[{"comment":"The title and abstract contain spacing artifacts such as “PRISMA TIC CRYST ALS” and “p-adic Riemann–Hilbert correspondence”; these should be corrected during production.","section":"Title and abstract"},{"comment":"In the proof of Lemma 8.1(1), after choosing lifts of a B1-basis, the claim that they form a Bm-basis needs a short Nakayama-style justification; the induction step is standard but is not stated explicitly.","section":"§8, Lemma 8.1"},{"comment":"The proof of Theorem 12.4 says “By standard d´evissage, it suffices to prove the m=1 case.” This is acceptable, but the devissage argument should indicate why the relative locally analytic condition is preserved in the graded pieces; otherwise the reader must reconstruct a nontrivial step.","section":"§12, Theorem 12.4"},{"comment":"Remark 16.2 notes that the left vertical arrow in the main diagram depends on the choice of E and of the compatible system πn, while the categories themselves are intrinsic. This is fine, but a sentence explaining why the equivalence still yields intrinsic categories on both sides would help avoid confusion about the dependence of the displayed functors.","section":"§16, Remark 16.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is ambitious and likely correct in its main ideas, but the proof as written leaves two load-bearing gaps: the Zariski descent globalization in §16 and the analytic Sen input in Proposition 14.10, together with the infinite-rank Banach extension in Proposition 5.6 that it depends on. These are not merely cosmetic; each is used essentially in the proof of the main theorem. I would encourage the editor to request a major revision in which these steps are proved in detail, rather than to reject, since the local computations and the overall architecture are convincing and the gaps appear fixable within the manuscript's framework. There is no apparent novelty disclosure problem: Remark 1.9 states clearly what is new, and the black-box use of GMW23, GMW, and MW is appropriate for the point case and m=1 base cases."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Plainly: the main theorem is a real advance. Theorem 1.4 globalizes the classification of absolute de Rham prismatic crystals to smooth and semi-stable formal schemes over O_K with positive relative dimension, and Remark 1.9 is refreshingly explicit about which cases are new (m≥2 smooth, any m≥1 semi-stable). The local stratifications in §§3–6 are worked out in detail, the cohomology comparisons in §7 are there, and the reduction of perfect log-prisms to perfect prisms in §17 is a clean and useful result. The paper leans on the authors' earlier work for the point case and m=1, but those are independent published results and the dependence is stated.\n\nThe soft spots are where the argument is most novel. The analytic Sen theory over the Kummer tower in §14 is the hinge of the global descent. Proposition 14.10 identifies the τ-analytic invariants of an a-small representation with the Sen module and compares GK-cohomology via φK∞. Its proof uses Lemma 14.8(1), which asserts that B^{*-ndR,m} is relatively locally analytic and a-small. That lemma is proved briefly: the m=1 case is discussed, a-smallness is referred to Lemma 5.7, and the behavior under completed tensor products over the Kummer tower is not written out. I do not see an actual error, and the likely truth is on the authors' side, but this is precisely where a referee should spend time. The Zariski descent claim in Theorem 16.1 is likewise stated without proof; probably standard for these categories, but the global equivalence is built on it.\n\nNet: this is an important, honest paper that deserves a serious refereeing. I would send it out. The verdict is conditional pending a close check of Prop 14.10 and the descent step, but conditional in that sense is the normal state of a first-rate paper in this area, not a red flag.","headline":"A substantial and honest advance in the prismatic Riemann–Hilbert program; the main theorem looks credible, but the new analytic Sen theory in §14 has a proof point that a referee should check before the global equivalence is taken as settled.","tokens_in":79538,"tokens_out":2922,"would_cite":true,"duration_ms":27742,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14F30","11S25"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that de Rham prismatic crystals on smooth and semi-stable formal schemes are equivalent, through a p-adic Riemann–Hilbert correspondence, to a-small enhanced connections and to a-small $\\mathbb{B}^+_{\\mathrm{dR},m}$-local…","keywords":["prismatic crystals","p-adic Riemann-Hilbert correspondence","de Rham period sheaf","enhanced connections","Sen theory","Kummer tower","B_dR-local systems","semi-stable formal schemes"],"falsifier":"Work out the $\\tau$-analytic invariants for the simplest non-trivial case beyond known results: a rank-one $\\mathbb{B}^+_{\\mathrm{dR},2}$-representation twisted by a character whose Sen weight sits exactly at the boundary of the $a$-small range. Proposition 14.10 predicts $(W \\otimes B^{*\\text{-ndR},2})^{G_K}$ is a free $K[[E]]/E^2$-module of rank one whose $\\varphi_{K_\\infty}$-cohomology computes $R\\Gamma(G_K,W)$; if freeness fails, or if the canonical map to $D_{\\mathrm{Sen},K_\\infty}(W)$ is not an isomorphism, the analytic Sen theory, and with it Theorem 1.4, collapses.","tokens_in":78479,"feed_emoji":"💎","tokens_out":14316,"duration_ms":116014,"temperature":0.7,"pith_summary":"The paper seeks to establish that, for smooth and semi-stable formal schemes over a mixed-characteristic discrete valuation ring, three seemingly different objects are the same at every finite de Rham level $m$: de Rham prismatic crystals, enhanced connections with a smallness condition, and $a$-small $\\mathbb{B}^+_{\\mathrm{dR},m}$-local systems on the pro-étale site. If this is right, computations can travel between prismatic cohomology, differential equations, and Galois cohomology of local systems, and the cohomology of these objects is compared by explicit quasi-isomorphisms. The engine is an infinite-dimensional, refined analytic Sen theory over the Kummer tower, which makes it possible to decompose the completed de Rham period ring back to the arithmetic level $K[[E]]$ where a genuine Sen-type operator exists. The result extends previously known point-case and level-one statements to positive relative dimension: new for all $m \\ge 1$ in the semi-stable case and for $m \\ge 2$ in the smooth case.","feed_headline":"Prismatic crystals are p-adic local systems","feed_subtitle":"Smooth and semi-stable schemes: de Rham crystals match enhanced connections, small local systems, and cohomology.","key_machinery":"The load-bearing objects are the de Rham prismatic period sheaf $\\Delta^+_{\\mathrm{dR},m} = \\mathcal{O}_\\Delta[1/p]/I^m$; the category of $a$-small enhanced connections, meaning a finite projective module with a topologically nilpotent integrable connection $\\nabla$ and an arithmetic $E$-connection $\\varphi$ satisfying $[\\varphi,\\nabla_i]=\\nabla_i$ together with the convergence condition $\\lim_{n\\to\\infty} a^n \\prod_{i=0}^{n-1}(\\varphi-i)=0$; and the nearly de Rham period ring $B^{*\\text{-ndR},m}$, built from the coproduct of the Breuil–Kisin prism and the perfect prism attached to the completed algebraic closure. The mechanism that makes the global statements work is the refined analytic Sen theory over the Kummer tower $K_\\infty$: for $a$-small relatively locally analytic representations $W$, the $\\tau$-analytic invariants $D_{\\tau\\text{-an}}(W) = (W \\otimes B^{*\\text{-ndR},m})^{G_K}$ recover the Sen module $D_{\\mathrm{Sen},K_\\infty}(W)$ and compute $G_K$-cohomology through the operator $\\varphi_{K_\\infty}$. This analytic descent converts the geometric Riemann–Hilbert equivalence for all $\\mathbb{B}^+_{\\mathrm{dR},m}$-local systems into the global equivalence between enhanced connections and $G_K$-equivariant connections, and it supplies the glue that turns local crystal classifications into the global theorem.","core_discovery":"On the paper's own terms, the central discovery is Theorem 1.4: a commutative square of tensor equivalences. For $X$ a quasi-compact smooth (resp. semi-stable) formal scheme over $\\mathcal{O}_K$, the category $\\mathrm{Vect}(X_{\\Delta,*},\\Delta^+_{\\mathrm{dR},m})$ of de Rham prismatic crystals is equivalent to the category $\\mathrm{MIC}^a_{\\mathrm{en}}(X_{\\mathrm{\\acute{e}t}},\\mathcal{O}_{X,S^+_{\\mathrm{dR},m}})$ of $a$-small enhanced connections and to the category $\\mathrm{Vect}^a(X_{\\mathrm{pro\\acute{e}t}},\\mathbb{B}^+_{\\mathrm{dR},m})$ of $a$-small $\\mathbb{B}^+_{\\mathrm{dR},m}$-local systems; the bottom row of the square likewise identifies perfect prismatic crystals, $G_K$-equivariant connections, and all $\\mathbb{B}^+_{\\mathrm{dR},m}$-local systems. Corresponding objects are shown to have functorially quasi-isomorphic cohomologies: $\\varphi$-enhanced de Rham cohomology, prismatic cohomology, and pro-étale cohomology agree. The genuinely new content is the global step for positive relative dimension, obtained by combining a geometric Riemann–Hilbert correspondence for all $\\mathbb{B}^+_{\\mathrm{dR},m}$-local systems with the refined analytic Sen theory over the Kummer tower.","pith_inferences":["An implicit consequence of the Kummer-tower Sen theory is that other comparison problems where the cyclotomic tower fails, because the Sen operator cannot be linearly extended past level one, may still admit a decompletion by switching to the Kummer tower.","The $a$-smallness condition, being a Sen-weight bound, suggests a moduli-theoretic reading: the category of level-$m$ de Rham prismatic crystals should be a bounded open substack of a moduli space of $\\mathbb{B}^+_{\\mathrm{dR},m}$-local systems.","A testable extension is to use the same enhanced-connection formalism to produce a logarithmic p-adic Simpson correspondence for semi-stable schemes at all levels, via a higher-dimensional toric version of the Kummer decompletion.","The explicit stratification formulas in the paper should make it feasible to compute concrete prismatic realizations, say of Tate twists, by linear algebra once the Sen operator is known."],"forward_implications":["Every $a$-small $\\mathbb{B}^+_{\\mathrm{dR},m}$-local system on a smooth or semi-stable rigid space becomes the pro-étale realization of a de Rham prismatic crystal, so local-system invariants such as Sen weights and Galois cohomology can be computed from enhanced connections.","The $\\varphi$-enhanced de Rham complex gives a differential-equation formula for the prismatic cohomology of a crystal, matching it to pro-étale cohomology of the corresponding local system.","The Riemann–Hilbert correspondence now covers all $\\mathbb{B}^+_{\\mathrm{dR},m}$-local systems, not only those associated with $\\mathbb{Q}_p$-local systems, so the entire category is controlled by $G_K$-equivariant $t$-connections.","The $a$-smallness condition provides a concrete numerical criterion, expressed as a bound on Sen weights, for when a local system admits a prismatic crystal model.","For semi-stable formal schemes, the log-prismatic version supplies the first classification of this kind at every level $m \\ge 1$."],"supporting_citations":[{"why":"Supplies the equivalence between prismatic crystals and stratifications, the starting point of every local classification in the paper.","marker":"[BS23]"},{"why":"Classifies de Rham prismatic crystals over the point $\\mathcal{O}_K$ by $a$-small $E$-connections, the case the paper generalizes to positive-dimensional bases.","marker":"[GMW]"},{"why":"Proves the $m=1$ smooth relative-dimensional equivalences and the site-theoretic full faithfulness used as a baseline.","marker":"[MW]"},{"why":"Provides the geometric p-adic Riemann–Hilbert functor and the ringed spaces that the paper extends from p-adic local systems to all $\\mathbb{B}^+_{\\mathrm{dR},m}$-local systems.","marker":"[LZ17]"},{"why":"Supplies infinite-dimensional relatively locally analytic Sen theory that the Kummer-tower version refines and generalizes.","marker":"[RC22]"},{"why":"Proves the $m=1$ cohomology comparison for relative prismatic crystals invoked in the derived Nakayama reductions.","marker":"[Tia23]"},{"why":"Introduces the period ring whose analytic Sen interpretation drives the refined analytic Sen theory.","marker":"[AHLB22]"},{"why":"Establishes the Hodge–Tate prismatic crystal classification via Sen theory over the Kummer tower, including the $\\tau$-operator framework.","marker":"[GMW23]"},{"why":"Defines the pro-étale $\\mathbb{B}^+_{\\mathrm{dR}}$ period sheaf and the $\\mathbb{B}^+_{\\mathrm{dR}}$-local systems that form one side of the main equivalence.","marker":"[Sch13]"}],"fun_headline_variants":["Prismatic crystals match enhanced connections and small p-adic local systems","Global p-adic Riemann-Hilbert ties crystals to connections and local systems","De Rham crystals, enhanced connections, local systems: one equivalence","Prismatic crystals correspond to enhanced connections and small local systems","Sen theory over Kummer tower: p-adic local systems classify crystals"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the technical claim that the nearly de Rham period ring is a relatively locally analytic and $a$-small Galois representation, so that its invariants can be recovered by the refined Kummer-tower Sen operator; this claim is proved inside the paper but has not yet been independently verified.","fun_headline_variants_meta":{"raw":{"variants":["Prismatic crystals match enhanced connections and small p-adic local systems","Global p-adic Riemann-Hilbert ties crystals to connections and local systems","De Rham crystals, enhanced connections, local systems: one equivalence","Prismatic crystals correspond to enhanced connections and small local systems","Sen theory over Kummer tower: p-adic local systems classify crystals"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000722,"raw_usage":{"total_tokens":3247,"prompt_tokens":958,"completion_tokens":2289,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":574,"completion_tokens_details":{"reasoning_tokens":2197}},"tokens_in":574,"tokens_out":2289,"duration_ms":84687,"temperature":1.0,"reasoning_tokens":2197,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:53:04.973190+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Work out the $\\tau$-analytic invariants for the simplest non-trivial case beyond known results: a rank-one $\\mathbb{B}^+_{\\mathrm{dR},2}$-representation twisted by a character whose Sen weight sits exactly at the boundary of the $a$-small range. Proposition 14.10 predicts $(W \\otimes B^{*\\text{-ndR},2})^{G_K}$ is a free $K[[E]]/E^2$-module of rank one whose $\\varphi_{K_\\infty}$-cohomology computes $R\\Gamma(G_K,W)$; if freeness fails, or if the canonical map to $D_{\\mathrm{Sen},K_\\infty}(W)$ is not an isomorphism, the analytic Sen theory, and with it Theorem 1.4, collapses.","supporting_citations":[],"review_version":1}