Pith. sign in

REVIEW 3 major objections 4 minor 35 references

Prismatic crystals and $p$-adic Riemann--Hilbert correspondence

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read 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…

desk verdict 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. read the letter →

arxiv 2411.18780 v1 pith:IC2MB6PX submitted 2024-11-27 math.NT math.AG

Hui Gao , Yu Min , Yupeng Wang This is my paper · ORCID
classification math.NTmath.AG MSC 14F3011S25
keywords prismaticcrystalsp-adicRiemann-HilbertcorrespondencedeRhamperiodsheafenhancedconnectionsSentheoryKummertowerB_dR-localsystemssemi-stableformalschemes
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 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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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$.

Reading between the lines

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

  • 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.
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

3 major / 4 minor

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.

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 (3)
  1. [§16, proof of Theorem 16.1] 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.
  2. [§14, Proposition 14.10 and Lemma 14.8(1)] 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.
  3. [§5, Proposition 5.6] 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.
minor comments (4)
  1. [Title and abstract] 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.
  2. [§8, Lemma 8.1] 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.
  3. [§12, Theorem 12.4] 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.
  4. [§16, Remark 16.2] 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.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity; the main equivalences rest on explicit stratification computations and an internally developed analytic Sen theory, with prior same-author results used as non-equivalent base cases.

full rationale

The derivation chain for the genuinely new cases (nonzero relative dimension, semi-stable, or m≥2) is not reduced to its inputs by construction. Local absolute crystals are matched to enhanced connections through Lemma 6.7's explicit cocycle computation, and the global equivalence is obtained by Zariski-stack descent together with Theorem 15.1, whose analytic Sen-theoretic proof is supplied in §12–§15 rather than assumed. The a-smallness conditions are definitions (Definition 1.1, Definition 1.3, Definition 12.8), not fitted parameters, and no displayed equation is reused as both input and output. The paper does lean on same-author prior work [GMW23], [GMW], and [MW] for the point case and the m=1 base cases; these citations are load-bearing scaffolding but they concern strictly weaker statements (X=Spf O_K or m=1) and are not equivalent to Theorem 1.4. The most delicate input, Proposition 14.10, depends on Lemma 14.8(1), which is proved internally via Lemma 5.7 and the m=1 lattice O_C{X_1}_pd; a failure there would indeed endanger Theorem 15.1 and hence Theorem 1.4, but that is a correctness risk about an unverified analytic hypothesis, not a circular reduction. Accordingly no circular step is exhibited.

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

The central claim has no fitted free parameters: the only constants such as a, E, and pi are fixed by the setup. The proof relies on the standard prismatic and Sen-theoretic infrastructure from BS22, BS23, RC22, and Kos21, and on the domain assumption that X is a smooth or semi-stable formal scheme over O_K. No new empirical entities are introduced; the nearly de Rham period ring in Notation 14.6 is a constructed object whose properties are proved internally.

assumptions (4)
  • standard math Prismatic site and prismatic cohomology as in Bhatt-Scholze BS22 and BS23.
    The paper works on the absolute and relative (log-)prismatic site and invokes results such as BS23, Prop. 2.7 without reproving them.
  • standard math Locally analytic Sen theory of Rodriguez-Camargo RC22 for infinite-dimensional representations.
    Section 12 builds the infinite-dimensional Sen theory on RC22, Thm. 2.4.3 as a black box.
  • domain assumption K is a mixed-characteristic complete discrete valuation ring with perfect residue field; X is a quasi-compact smooth or semi-stable formal scheme over O_K.
    The entire theorem is stated in this setting; for other bases or non-formal schemes the statement is not claimed.
  • domain assumption All categories in the diagram of Theorem 1.4 satisfy Zariski descent.
    In the proof of Theorem 16.1, global equivalence is reduced to local checks by asserting Zariski descent for the categories involved; this is stated without proof in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Prismatic crystals and $p$-adic Riemann--Hilbert correspondence." pith.science (2026). https://pith.science/paper/IC2MB6PX

@misc{pith2026241118780,
  author       = {Pith},
  title        = {Pith review of: Prismatic crystals and $p$-adic Riemann--Hilbert correspondence},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IC2MB6PX}},
  note         = {Machine review of arXiv:2411.18780}
}
abstract

We systematically study relative and absolute ${\Delta}_{\mathrm{dR}}^+$-crystals on the (log-) prismatic site of a smooth (resp.~ semi-stable) formal scheme. Using explicit computation of stratifications, we classify (local) relative crystals by certain nilpotent connections, and classify (local) absolute crystals by certain enhanced connections. By using a $p$-adic Riemann--Hilbert functor and an infinite dimensional Sen theory over the Kummer tower, we globalize the results on absolute crystals and further classify them by certain small (global) $\mathbb{B}_{\mathrm{dR}}^+$-local systems.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 22 canonical work pages

  1. [1]

    v -vector bundles on p -adic fields and S en theory via the H odge-- T ate stack

    Johannes Ansch\" u tz, Ben Heuer, and Arthur-C\' e sar Le Bras. v -vector bundles on p -adic fields and S en theory via the H odge-- T ate stack. preprint , 2022

    work page 2022

  2. [2]

    H odge-- T ate stacks and non-abelian p -adic H odge theory of v -perfect complexes on rigid spaces

    Johannes Ansch\" u tz, Ben Heuer, and Arthur-C\' e sar Le Bras. H odge-- T ate stacks and non-abelian p -adic H odge theory of v -perfect complexes on rigid spaces. preprint , 2023

    work page 2023

  3. [3]

    T he small p -adic S impson correspondence in terms of moduli spaces

    Johannes Ansch\" u tz, Ben Heuer, and Arthur-C\' e sar Le Bras. T he small p -adic S impson correspondence in terms of moduli spaces. to appear, Math. Res. Lett. , 2024

    work page 2024

  4. [4]

    Th \'e orie de S en et vecteurs localement analytiques

    Laurent Berger and Pierre Colmez. Th \'e orie de S en et vecteurs localement analytiques . Ann. Sci. \'E c. Norm. Sup \'e r. (4) , 49(4):947--970, 2016

    2016

  5. [5]

    Prismatic cohomology

    Bhargav Bhatt. Prismatic cohomology. E ilenberg L ectures at C olumbia U niversity, http://www-personal.umich.edu/ bhattb/teaching/prismatic-columbia/ , 2018

    work page 2018

  6. [6]

    Absolute prismatic cohomology

    Bhargav Bhatt and Jacob Lurie. Absolute prismatic cohomology. preprint , 2022

    work page 2022

  7. [7]

    T he prismatization of p -adic formal schemes

    Bhargav Bhatt and Jacob Lurie. T he prismatization of p -adic formal schemes. preprint , 2022

    work page 2022

  8. [8]

    Integral p -adic H odge theory

    Bhargav Bhatt, Matthew Morrow, and Peter Scholze. Integral p -adic H odge theory. Publ. Math. Inst. Hautes \' E tudes Sci. , 128:219--397, 2018

    2018

Show all 35 references
  1. [9]

    Prisms and prismatic cohomology

    Bhargav Bhatt and Peter Scholze. Prisms and prismatic cohomology. Ann. of Math. (2) , 196(3):1135--1275, 2022

    2022

  2. [10]

    Prismatic F -crystals and crystalline G alois representations

    Bhargav Bhatt and Peter Scholze. Prismatic F -crystals and crystalline G alois representations. Camb. J. Math. , 11(2):507--562, 2023

    2023

  3. [11]

    Sur un r\'esultat de S hankar S en

    Pierre Colmez. Sur un r\'esultat de S hankar S en. C. R. Acad. Sci. Paris S\'er. I Math. , 318(11):983--985, 1994

    1994

  4. [12]

    Purity for flat cohomology

    Kestutis Cesnavicius and Peter Scholze. Purity for flat cohomology. Ann. of Math. (2) , 199(1):51--180, 2024

    2024

  5. [13]

    A prismatic approach to ( , G ) -modules and F -crystals

    Heng Du and Tong Liu. A prismatic approach to ( , G ) -modules and F -crystals. to appear, J. Eur. Math. Soc. , 2023

    2023

  6. [14]

    Logarithmic R iemann- H ilbert correspondences for rigid varieties

    Hansheng Diao, Kai-Wen Lan, Ruochuan Liu, and Xinwen Zhu. Logarithmic R iemann- H ilbert correspondences for rigid varieties. J. Amer. Math. Soc. , 36(2):483--562, 2023

    2023

  7. [15]

    Arithm\' e tique des repr\' e sentations galoisiennes p -adiques

    Jean-Marc Fontaine. Arithm\' e tique des repr\' e sentations galoisiennes p -adiques. Number 295, pages xi, 1--115. 2004. Cohomologies p -adiques et applications arithm\' e tiques. III

    2004

  8. [16]

    Prismatic crystals over de R ham period sheaf

    Hui Gao, Yu Min, and Yupeng Wang. Prismatic crystals over de R ham period sheaf. preprint

  9. [17]

    H odge-- T ate prismatic crystals and S en theory

    Hui Gao, Yu Min, and Yupeng Wang. H odge-- T ate prismatic crystals and S en theory. arxiv:2311.07024 , 2023

    2023 arXiv

  10. [18]

    Crystalline representations and F -crystals

    Mark Kisin. Crystalline representations and F -crystals . In Algebraic geometry and number theory , volume 253 of Progr. Math. , pages 459--496. Birkh \"a user Boston, Boston, MA, 2006

    2006

  11. [19]

    Relative p -adic H odge theory, II : imperfect period rings

    Kiran Kedlaya and Ruochuan Liu. Relative p -adic H odge theory, II : imperfect period rings . preprint

  12. [20]

    Logarithmic prismatic cohomology I

    Teruhisa Koshikawa. Logarithmic prismatic cohomology I . preprint , 2021

    2021

  13. [21]

    On the prismatization of O _k beyond the H odge-- T ate locus

    Zeyu Liu. On the prismatization of O _k beyond the H odge-- T ate locus. preprint

  14. [22]

    On lattices in semi-stable representations: a proof of a conjecture of B reuil

    Tong Liu. On lattices in semi-stable representations: a proof of a conjecture of B reuil . Compos. Math. , 144(1):61--88, 2008

    2008

  15. [23]

    De R ham prismatic crystals over _K

    Zeyu Liu. De R ham prismatic crystals over _K . Math. Z. , 305(4):53, 2023

    2023

  16. [24]

    Rigidity and a R iemann- H ilbert correspondence for p -adic local systems

    Ruochuan Liu and Xinwen Zhu. Rigidity and a R iemann- H ilbert correspondence for p -adic local systems. Invent. Math. , 207(1):291--343, 2017

    2017

  17. [25]

    Faithfully flat descent of almost perfect complexes in rigid geometry

    Akhil Mathew. Faithfully flat descent of almost perfect complexes in rigid geometry. Journal of Pure and Applied Algebra , 226(5):106938, 2022

    2022

  18. [26]

    Generalised representations as q -connections in integral p -adic H odge theory

    Matthew Morrow and Takeshi Tsuji. Generalised representations as q -connections in integral p -adic H odge theory. preprint

  19. [27]

    p -adic S impson correpondence via prismatic crystals

    Yu Min and Yupeng Wang. p -adic S impson correpondence via prismatic crystals. to appear, JEMS

  20. [28]

    Martin C. Olsson. The logarithmic cotangent complex. Mathematische Annalen , 333:859--931, 2005

    2005

  21. [29]

    Geometrically irreducible p -adic local systems are de R ham up to a twist

    Alexander Petrov. Geometrically irreducible p -adic local systems are de R ham up to a twist. Duke Math. J. , 172(5):963--994, 2023

    2023

  22. [30]

    G eometric S en theory over rigid analytic spaces

    Juan Esteban Rodr\' guez Camargo. G eometric S en theory over rigid analytic spaces. preprint , 2022

    2022

  23. [31]

    p -adic H odge theory for rigid-analytic varieties

    Peter Scholze. p -adic H odge theory for rigid-analytic varieties. Forum Math. Pi , 1:e1, 77, 2013

    2013

  24. [32]

    Continuous cohomology and p -adic G alois representations

    Shankar Sen. Continuous cohomology and p -adic G alois representations. Invent. Math. , 62(1):89--116, 1980/81

    1980

  25. [33]

    Constancy of generalized H odge- T ate weights of a local system

    Koji Shimizu. Constancy of generalized H odge- T ate weights of a local system. Compos. Math. , 154(12):2606--2642, 2018

    2018

  26. [34]

    Finiteness and duality for the cohomology of prismatic crystals

    Yichao Tian. Finiteness and duality for the cohomology of prismatic crystals. J. Reine Angew. Math. , 800:217--257, 2023

    2023

  27. [35]

    Weight elimination in two dimensions when p = 2

    Xiyuan Wang. Weight elimination in two dimensions when p = 2 . Math. Res. Lett. , 29(3):887--901, 2022

    2022

Pith tools

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