Ogus's conjecture on F-isocrystals

Haoyang Guo

arxiv: 2606.22637 · v1 · pith:53PTSSLWnew · submitted 2026-06-21 · 🧮 math.AG · math.NT

Ogus's conjecture on F-isocrystals

Haoyang Guo This is my paper

Pith reviewed 2026-06-26 09:32 UTC · model grok-4.3

classification 🧮 math.AG math.NT

keywords Ogus conjectureF-isocrystalsGauss-Manin connectionp-adic local systemsprismatic methodsrigid spacesFrobenius modulesRiemann-Hilbert functor

0 comments

The pith

Ogus's conjecture holds: a canonical F-isocrystal enhancing the Gauss-Manin connection exists for proper relative rigid spaces with analytically good reduction.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for any proper relative rigid space with analytically good reduction, there exists a canonical F-isocrystal that carries a Frobenius structure compatible with the Gauss-Manin connection. This is established by combining p-adic local systems with prismatic cohomology techniques. The argument also produces a refined version of the p-adic Riemann-Hilbert correspondence and a purity result for the associated Frobenius modules. A reader would care because the result supplies a missing canonical Frobenius enhancement in p-adic de Rham cohomology for this class of spaces.

Core claim

Ogus conjectured in 1984 the existence of a canonical F-isocrystal enhancing the Gauss-Manin connection on the de Rham cohomology of a proper relative rigid space with analytically good reduction. The paper affirms the conjecture in full generality by constructing the F-isocrystal via p-adic local systems and prismatic methods. In the course of the proof a prismatic refinement of the p-adic Riemann-Hilbert functor is defined and a primitive purity theorem is established for the resulting Frobenius modules.

What carries the argument

The prismatic refinement of the p-adic Riemann-Hilbert functor, which converts p-adic local systems into the desired canonical F-isocrystal compatible with the Gauss-Manin connection.

If this is right

The Gauss-Manin connection on the cohomology of such spaces carries a canonical Frobenius structure.
The p-adic Riemann-Hilbert functor admits a prismatic lift that preserves Frobenius actions.
A primitive purity theorem applies to the Frobenius modules arising from these local systems.
The result extends the scope of known canonical F-isocrystals beyond previously treated special cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same prismatic construction may apply to other classes of rigid spaces once the good-reduction hypothesis is relaxed.
The purity theorem for Frobenius modules could be used to study ramification in p-adic local systems.
The canonical enhancement supplies a candidate for comparison isomorphisms in p-adic Hodge theory for rigid-analytic families.

Load-bearing premise

The spaces in question are proper relative rigid spaces that admit analytically good reduction, so that prismatic methods directly yield the canonical F-isocrystal without additional hypotheses.

What would settle it

An explicit proper relative rigid space with analytically good reduction for which the Gauss-Manin connection admits no Frobenius enhancement that is canonical with respect to the prismatic construction would disprove the claim.

read the original abstract

In 1984, Ogus conjectured the existence of a canonical F-isocrystal that enhances the Gauss--Manin connection, for a proper relative rigid space with analytically good reduction. We give a positive answer to this conjecture in full generality, through p-adic local systems and prismatic methods. Along the way, we introduce a prismatic refinement of the p-adic Riemann--Hilbert functor and prove a primitive purity theorem for Frobenius modules.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper claims a full resolution of Ogus's 1984 conjecture via prismatic methods and a refined Riemann-Hilbert functor, but the abstract alone leaves the actual derivations uncheckable.

read the letter

The main point is that this paper asserts a complete positive answer to Ogus's conjecture: for a proper relative rigid space with analytically good reduction, there exists a canonical F-isocrystal enhancing the Gauss-Manin connection. It reaches this through p-adic local systems, a prismatic refinement of the p-adic Riemann-Hilbert functor, and a primitive purity theorem for Frobenius modules.

What looks new is the claim of full generality rather than partial cases. The prismatic approach is a natural fit for organizing the F-structure on the connection, and the hypotheses match the original conjecture exactly.

The abstract presents the constructions cleanly and without obvious circularity. If the details hold, the primitive purity result could be useful on its own.

The clear limitation is that only the abstract is available, so the derivation steps, any edge cases in the prismatic arguments, and the precise handling of the local systems cannot be inspected. That makes it impossible to judge whether the proof is airtight or whether hidden conditions slipped in.

This is for people already working in p-adic geometry or prismatic cohomology who need the F-isocrystal construction. A reader who follows arithmetic geometry developments would want to see the full argument.

It deserves a serious referee because settling a conjecture from 1984 is worth the effort to verify, even if the review turns up gaps that require fixes.

Referee Report

0 major / 1 minor

Summary. The manuscript asserts a complete proof of Ogus's 1984 conjecture: for a proper relative rigid space with analytically good reduction, there exists a canonical F-isocrystal enhancing the Gauss-Manin connection. The argument proceeds via p-adic local systems and prismatic methods; it introduces a prismatic refinement of the p-adic Riemann-Hilbert functor and establishes a primitive purity theorem for Frobenius modules.

Significance. A verified proof would resolve a longstanding open question in p-adic algebraic geometry and provide a canonical enhancement of the Gauss-Manin connection, with potential implications for p-adic Hodge theory. The introduction of the prismatic Riemann-Hilbert refinement and the primitive purity theorem constitute reusable technical contributions.

minor comments (1)

The abstract and introduction could include a short diagram or flowchart summarizing the logical dependencies among the prismatic refinement, the purity theorem, and the final existence statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive recommendation to accept the manuscript and for their assessment of the significance of the resolution of Ogus's conjecture.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper claims to resolve Ogus's conjecture via an existence proof that constructs a canonical F-isocrystal using p-adic local systems, a prismatic refinement of the p-adic Riemann-Hilbert functor, and a primitive purity theorem. No equations, definitions, or steps in the provided abstract reduce the claimed result to a fitted parameter, self-citation chain, or input by construction. The argument is presented as relying on external prismatic methods applied to the stated hypotheses (proper relative rigid spaces with analytically good reduction), making the derivation self-contained against external benchmarks rather than internally circular.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; standard background assumptions in p-adic geometry are presumed but not detailed.

pith-pipeline@v0.9.1-grok · 5586 in / 1048 out tokens · 35679 ms · 2026-06-26T09:32:38.916756+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

60 extracted references · 32 canonical work pages

[1]

Annals of Mathematics , volume =

Bhatt, Bhargav and Scholze, Peter , journal =. Prisms and prismatic cohomology , year =. doi:10.4007/annals.2022.196.3.5 , fjournal =

work page doi:10.4007/annals.2022.196.3.5 2022
[2]

The Stacks project , year =

The. The Stacks project , year =
[3]

2023 , archiveprefix =

Haoyang Guo and Shizhang Li , title =. 2023 , archiveprefix =. 2309.06663 , primaryclass =

arXiv 2023
[4]

Sur certains types de repr\'

Fontaine, Jean-Marc , journal =. Sur certains types de repr\'. 1982 , issn =. doi:10.2307/2007012 , fjournal =

work page doi:10.2307/2007012 1982
[5]

2022 , archiveprefix =

Peter Scholze , title =. 2022 , archiveprefix =. 1709.07343 , primaryclass =

Pith/arXiv arXiv 2022
[6]

2020 , Publisher =

Scholze, Peter and Weinstein, Jared , Title =. 2020 , Publisher =. doi:10.1515/9780691202150 , MSC2010 =

work page doi:10.1515/9780691202150 2020
[7]

Forum Math

Scholze, Peter , TITLE =. Forum Math. Pi , FJOURNAL =. 2013 , PAGES =. doi:10.1017/fmp.2013.1 , URL =

work page doi:10.1017/fmp.2013.1 2013
[8]

2022 , note=

The prismatization of p -adic formal schemes , author=. 2022 , note=

2022
[9]

2003 , _PAGES =

Gabber, Ofer and Ramero, Lorenzo , publisher =. Almost ring theory , year =. doi:10.1007/b10047 , mrclass =

work page doi:10.1007/b10047
[10]

2022 , archiveprefix =

Bhargav Bhatt and Jacob Lurie , title =. 2022 , archiveprefix =. 2201.06120 , primaryclass =

arXiv 2022
[11]

2012 , archiveprefix =

Bhargav Bhatt , title =. 2012 , archiveprefix =. 1204.6560 , primaryclass =

Pith/arXiv arXiv 2012
[12]

Period sheaves via derived de

Guo, Haoyang and Li, Shizhang , journal =. Period sheaves via derived de. 2021 , issn =. doi:10.1112/s0010437x21007545 , fjournal =

work page doi:10.1112/s0010437x21007545 2021
[13]

Crystalline comparison isomorphisms in

Tan, Fucheng and Tong, Jilong , journal =. Crystalline comparison isomorphisms in. 2019 , issn =. doi:10.2140/ant.2019.13.1509 , fjournal =

work page doi:10.2140/ant.2019.13.1509 2019
[14]

Schlank and Nathaniel Stapleton and Jared Weinstein , title =

Tobias Barthel and Tomer M. Schlank and Nathaniel Stapleton and Jared Weinstein , title =. 2024 , archiveprefix =. 2402.00960 , primaryclass =

arXiv 2024
[15]

Tate, J. T. , howpublished =. 1967 , keywords =

1967
[16]

Formes diff

Fontaine, Jean-Marc , journal =. Formes diff. 1982 , issn =. doi:10.1007/BF01396625 , fjournal =

work page doi:10.1007/bf01396625 1982
[17]

Integral

Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , journal =. Integral. 2018 , issn =. doi:10.1007/s10240-019-00102-z , fjournal =

work page doi:10.1007/s10240-019-00102-z 2018
[18]

de Jong, A. J. , journal =. Crystalline. 1995 , issn =

1995
[19]

Prismatic

Bhatt, Bhargav and Scholze, Peter , journal =. Prismatic. 2023 , issn =. doi:10.4310/CJM.2023.v11.n2.a3 , file =

work page doi:10.4310/cjm.2023.v11.n2.a3 2023
[20]

Rigidity and a

Liu, Ruochuan and Zhu, Xinwen , journal =. Rigidity and a. 2017 , issn =. doi:10.1007/s00222-016-0671-7 , fjournal =

work page doi:10.1007/s00222-016-0671-7 2017
[21]

2024 , archiveprefix =

Bogdan Zavyalov , title =. 2024 , archiveprefix =. 2110.10773 , primaryclass =

arXiv 2024
[22]

Armendariz modules over skew PBW extensions.Comm

Bhatt, Bhargav and Iyengar, Srikanth B. and Ma, Linquan , journal =. Regular rings and perfect(oid) algebras , year =. doi:10.1080/00927872.2018.1524009 , fjournal =

work page doi:10.1080/00927872.2018.1524009 2018
[23]

Completed prismatic

Du, Heng and Liu, Tong and Moon, Yong Suk and Shimizu, Koji , journal =. Completed prismatic. 2024 , issn =. doi:10.1112/S0010437X24007097 , fjournal =

work page doi:10.1112/s0010437x24007097 2024
[24]

2024 , archiveprefix =

Heng Du and Tong Liu and Yong Suk Moon and Koji Shimizu , title =. 2024 , archiveprefix =. 2404.19603 , primaryclass =

arXiv 2024
[25]

2023 , archiveprefix =

Abhinandan , title =. 2023 , archiveprefix =. 2309.16446 , primaryclass =

Pith/arXiv arXiv 2023
[26]

Algebraic geometry and number theory , SERIES =

Kisin, Mark , booktitle =. Crystalline representations and. 2006 , isbn =. doi:10.1007/978-0-8176-4532-8_7 , keywords =

work page doi:10.1007/978-0-8176-4532-8_7 2006
[27]

Lectures on commutative algebra II , year =

Hochster, Mel , note =. Lectures on commutative algebra II , year =
[28]

Hochster, Melvin and Jeffries, Jack , journal =. A. 2024 , issn =. doi:10.1353/ajm.2024.a944363 , fjournal =

work page doi:10.1353/ajm.2024.a944363 2024
[29]

Topological

Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , journal =. Topological. 2019 , issn =. doi:10.1007/s10240-019-00106-9 , fjournal =

work page doi:10.1007/s10240-019-00106-9 2019
[30]

2024 , archiveprefix =

Ryo Ishizuka and Kei Nakazato , title =. 2024 , archiveprefix =. 2402.06207 , primaryclass =

arXiv 2024
[31]

2024 , archiveprefix =

Ben Heuer , title =. 2024 , archiveprefix =. 2207.07623 , primaryclass =

Pith/arXiv arXiv 2024
[32]

Lectures on formal and rigid geometry , year =

Bosch, Siegfried , publisher =. Lectures on formal and rigid geometry , year =. doi:10.1007/978-3-319-04417-0 , fseries =

work page doi:10.1007/978-3-319-04417-0
[33]

Cesnavicius, Kpolhk estutis and Koshikawa, Teruhisa , journal =. The. 2019 , issn =. doi:10.1112/s0010437x1800790x , fjournal =

work page doi:10.1112/s0010437x1800790x 2019
[34]

Altered local uniformization of rigid-analytic spaces , year =

Zavyalov, Bogdan , journal =. Altered local uniformization of rigid-analytic spaces , year =. doi:10.1007/s11856-024-2628-7 , fjournal =

work page doi:10.1007/s11856-024-2628-7
[35]

2022 , archiveprefix =

Ildar Gaisin and Teruhisa Koshikawa , title =. 2022 , archiveprefix =. 2206.07983 , primaryclass =

arXiv 2022
[36]

Raynaud, Michel and Gruson, Laurent , journal =. Crit. 1971 , issn =. doi:10.1007/BF01390094 , fjournal =

work page doi:10.1007/bf01390094 1971
[37]

2024 , archiveprefix =

Haoyang Guo and Ziquan Yang , title =. 2024 , archiveprefix =. 2409.19742 , primaryclass =

arXiv 2024
[38]

Constancy of generalized

Shimizu, Koji , journal =. Constancy of generalized. 2018 , issn =. doi:10.1112/S0010437X1800742X , fjournal =

work page doi:10.1112/s0010437x1800742x 2018
[39]

A prismatic approach to crystalline local systems , year =

Guo, Haoyang and Reinecke, Emanuel , journal =. A prismatic approach to crystalline local systems , year =. doi:10.1007/s00222-024-01238-4 , fjournal =

work page doi:10.1007/s00222-024-01238-4
[40]

A note on purity of crystalline local systems , year =

Moon, Yong Suk , journal =. A note on purity of crystalline local systems , year =. doi:10.1090/proc/16993 , fjournal =

work page doi:10.1090/proc/16993
[41]

Faithfully flat descent of almost perfect complexes in rigid geometry , year =

Mathew, Akhil , journal =. Faithfully flat descent of almost perfect complexes in rigid geometry , year =. doi:10.1016/j.jpaa.2021.106938 , fjournal =

work page doi:10.1016/j.jpaa.2021.106938 2021
[42]

Crystalline cohomology of rigid analytic spaces , year =

Guo, Haoyang , journal =. Crystalline cohomology of rigid analytic spaces , year =. doi:10.24033/bsmf.2912 , fjournal =

work page doi:10.24033/bsmf.2912
[43]

A prismatic approach to

Du, Heng and Liu, Tong , journal =. A prismatic approach to. 2026 , issn =. doi:10.4171/jems/1515 , fjournal =

work page doi:10.4171/jems/1515 2026
[44]

Groupes de

Grothendieck, Alexandre , publisher =. Groupes de. 1974 , series =

1974
[45]

1984 , issn =

Ogus, Arthur , journal =. 1984 , issn =. doi:10.1215/S0012-7094-84-05136-6 , fjournal =

work page doi:10.1215/s0012-7094-84-05136-6 1984
[46]

Cycle classes and

Gillet, Henri and Messing, William , journal =. Cycle classes and. 1987 , issn =. doi:10.1215/S0012-7094-87-05527-X , fjournal =

work page doi:10.1215/s0012-7094-87-05527-x 1987
[47]

Tate's conjecture for

Nygaard, Niels and Ogus, Arthur , journal =. Tate's conjecture for. 1985 , issn =. doi:10.2307/1971327 , fjournal =

work page doi:10.2307/1971327 1985
[48]

, howpublished =

Grothendieck, A. , howpublished =. Crystals and the. 1968 , keywords =

1968
[49]

Cohomologie cristalline des schemas de caract

Berthelot, Pierre , publisher =. Cohomologie cristalline des schemas de caract. 1974 , series =

1974
[50]

Crystalline cohomology and

Faltings, Gerd , booktitle =. Crystalline cohomology and. 1989 , pages =

1989
[51]

2012 , issn =

Beilinson, Alexander , journal =. 2012 , issn =. doi:10.1090/S0894-0347-2012-00729-2 , fjournal =

work page doi:10.1090/s0894-0347-2012-00729-2 2012
[52]

Christophe Breuil , note =. Sch\'
[53]

Crystalline sheaves and filtered convergent F-isocrystals on log schemes , year =

Takeshi Tsuji , note =. Crystalline sheaves and filtered convergent F-isocrystals on log schemes , year =
[54]

On the log-crystalline local systems , year =

Haoyang Guo and Kentaro Inoue and Ziquan Yang , note =. On the log-crystalline local systems , year =
[55]

de Jong, A. J. and Oort, F. , journal =. On extending families of curves , year =
[56]

Purity results for

Vasiu, Adrian and Zink, Thomas , journal =. Purity results for. 2010 , issn =. doi:10.4171/dm/307 , fjournal =

work page doi:10.4171/dm/307 2010
[57]

Forum Math

Ansch. Forum Math. Pi , title =. 2023 , issn =. doi:10.1017/fmp.2022.22 , fjournal =

work page doi:10.1017/fmp.2022.22 2023
[58]

2022 , archiveprefix =

Haoyang Guo and Dmitry Kubrak and Artem Prikhodko , title =. 2022 , archiveprefix =. 2211.17227 , primaryclass =

arXiv 2022
[59]

2024 , archiveprefix =

Vladimir Drinfeld , title =. 2024 , archiveprefix =. 2005.04746 , primaryclass =

arXiv 2024
[60]

Prismatic

Bhargav Bhatt , note =. Prismatic

[1] [1]

Annals of Mathematics , volume =

Bhatt, Bhargav and Scholze, Peter , journal =. Prisms and prismatic cohomology , year =. doi:10.4007/annals.2022.196.3.5 , fjournal =

work page doi:10.4007/annals.2022.196.3.5 2022

[2] [2]

The Stacks project , year =

The. The Stacks project , year =

[3] [3]

2023 , archiveprefix =

Haoyang Guo and Shizhang Li , title =. 2023 , archiveprefix =. 2309.06663 , primaryclass =

arXiv 2023

[4] [4]

Sur certains types de repr\'

Fontaine, Jean-Marc , journal =. Sur certains types de repr\'. 1982 , issn =. doi:10.2307/2007012 , fjournal =

work page doi:10.2307/2007012 1982

[5] [5]

2022 , archiveprefix =

Peter Scholze , title =. 2022 , archiveprefix =. 1709.07343 , primaryclass =

Pith/arXiv arXiv 2022

[6] [6]

2020 , Publisher =

Scholze, Peter and Weinstein, Jared , Title =. 2020 , Publisher =. doi:10.1515/9780691202150 , MSC2010 =

work page doi:10.1515/9780691202150 2020

[7] [7]

Forum Math

Scholze, Peter , TITLE =. Forum Math. Pi , FJOURNAL =. 2013 , PAGES =. doi:10.1017/fmp.2013.1 , URL =

work page doi:10.1017/fmp.2013.1 2013

[8] [8]

2022 , note=

The prismatization of p -adic formal schemes , author=. 2022 , note=

2022

[9] [9]

2003 , _PAGES =

Gabber, Ofer and Ramero, Lorenzo , publisher =. Almost ring theory , year =. doi:10.1007/b10047 , mrclass =

work page doi:10.1007/b10047

[10] [10]

2022 , archiveprefix =

Bhargav Bhatt and Jacob Lurie , title =. 2022 , archiveprefix =. 2201.06120 , primaryclass =

arXiv 2022

[11] [11]

2012 , archiveprefix =

Bhargav Bhatt , title =. 2012 , archiveprefix =. 1204.6560 , primaryclass =

Pith/arXiv arXiv 2012

[12] [12]

Period sheaves via derived de

Guo, Haoyang and Li, Shizhang , journal =. Period sheaves via derived de. 2021 , issn =. doi:10.1112/s0010437x21007545 , fjournal =

work page doi:10.1112/s0010437x21007545 2021

[13] [13]

Crystalline comparison isomorphisms in

Tan, Fucheng and Tong, Jilong , journal =. Crystalline comparison isomorphisms in. 2019 , issn =. doi:10.2140/ant.2019.13.1509 , fjournal =

work page doi:10.2140/ant.2019.13.1509 2019

[14] [14]

Schlank and Nathaniel Stapleton and Jared Weinstein , title =

Tobias Barthel and Tomer M. Schlank and Nathaniel Stapleton and Jared Weinstein , title =. 2024 , archiveprefix =. 2402.00960 , primaryclass =

arXiv 2024

[15] [15]

Tate, J. T. , howpublished =. 1967 , keywords =

1967

[16] [16]

Formes diff

Fontaine, Jean-Marc , journal =. Formes diff. 1982 , issn =. doi:10.1007/BF01396625 , fjournal =

work page doi:10.1007/bf01396625 1982

[17] [17]

Integral

Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , journal =. Integral. 2018 , issn =. doi:10.1007/s10240-019-00102-z , fjournal =

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

[18] [18]

de Jong, A. J. , journal =. Crystalline. 1995 , issn =

1995

[19] [19]

Prismatic

Bhatt, Bhargav and Scholze, Peter , journal =. Prismatic. 2023 , issn =. doi:10.4310/CJM.2023.v11.n2.a3 , file =

work page doi:10.4310/cjm.2023.v11.n2.a3 2023

[20] [20]

Rigidity and a

Liu, Ruochuan and Zhu, Xinwen , journal =. Rigidity and a. 2017 , issn =. doi:10.1007/s00222-016-0671-7 , fjournal =

work page doi:10.1007/s00222-016-0671-7 2017

[21] [21]

2024 , archiveprefix =

Bogdan Zavyalov , title =. 2024 , archiveprefix =. 2110.10773 , primaryclass =

arXiv 2024

[22] [22]

Armendariz modules over skew PBW extensions.Comm

Bhatt, Bhargav and Iyengar, Srikanth B. and Ma, Linquan , journal =. Regular rings and perfect(oid) algebras , year =. doi:10.1080/00927872.2018.1524009 , fjournal =

work page doi:10.1080/00927872.2018.1524009 2018

[23] [23]

Completed prismatic

Du, Heng and Liu, Tong and Moon, Yong Suk and Shimizu, Koji , journal =. Completed prismatic. 2024 , issn =. doi:10.1112/S0010437X24007097 , fjournal =

work page doi:10.1112/s0010437x24007097 2024

[24] [24]

2024 , archiveprefix =

Heng Du and Tong Liu and Yong Suk Moon and Koji Shimizu , title =. 2024 , archiveprefix =. 2404.19603 , primaryclass =

arXiv 2024

[25] [25]

2023 , archiveprefix =

Abhinandan , title =. 2023 , archiveprefix =. 2309.16446 , primaryclass =

Pith/arXiv arXiv 2023

[26] [26]

Algebraic geometry and number theory , SERIES =

Kisin, Mark , booktitle =. Crystalline representations and. 2006 , isbn =. doi:10.1007/978-0-8176-4532-8_7 , keywords =

work page doi:10.1007/978-0-8176-4532-8_7 2006

[27] [27]

Lectures on commutative algebra II , year =

Hochster, Mel , note =. Lectures on commutative algebra II , year =

[28] [28]

Hochster, Melvin and Jeffries, Jack , journal =. A. 2024 , issn =. doi:10.1353/ajm.2024.a944363 , fjournal =

work page doi:10.1353/ajm.2024.a944363 2024

[29] [29]

Topological

Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , journal =. Topological. 2019 , issn =. doi:10.1007/s10240-019-00106-9 , fjournal =

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

[30] [30]

2024 , archiveprefix =

Ryo Ishizuka and Kei Nakazato , title =. 2024 , archiveprefix =. 2402.06207 , primaryclass =

arXiv 2024

[31] [31]

2024 , archiveprefix =

Ben Heuer , title =. 2024 , archiveprefix =. 2207.07623 , primaryclass =

Pith/arXiv arXiv 2024

[32] [32]

Lectures on formal and rigid geometry , year =

Bosch, Siegfried , publisher =. Lectures on formal and rigid geometry , year =. doi:10.1007/978-3-319-04417-0 , fseries =

work page doi:10.1007/978-3-319-04417-0

[33] [33]

Cesnavicius, Kpolhk estutis and Koshikawa, Teruhisa , journal =. The. 2019 , issn =. doi:10.1112/s0010437x1800790x , fjournal =

work page doi:10.1112/s0010437x1800790x 2019

[34] [34]

Altered local uniformization of rigid-analytic spaces , year =

Zavyalov, Bogdan , journal =. Altered local uniformization of rigid-analytic spaces , year =. doi:10.1007/s11856-024-2628-7 , fjournal =

work page doi:10.1007/s11856-024-2628-7

[35] [35]

2022 , archiveprefix =

Ildar Gaisin and Teruhisa Koshikawa , title =. 2022 , archiveprefix =. 2206.07983 , primaryclass =

arXiv 2022

[36] [36]

Raynaud, Michel and Gruson, Laurent , journal =. Crit. 1971 , issn =. doi:10.1007/BF01390094 , fjournal =

work page doi:10.1007/bf01390094 1971

[37] [37]

2024 , archiveprefix =

Haoyang Guo and Ziquan Yang , title =. 2024 , archiveprefix =. 2409.19742 , primaryclass =

arXiv 2024

[38] [38]

Constancy of generalized

Shimizu, Koji , journal =. Constancy of generalized. 2018 , issn =. doi:10.1112/S0010437X1800742X , fjournal =

work page doi:10.1112/s0010437x1800742x 2018

[39] [39]

A prismatic approach to crystalline local systems , year =

Guo, Haoyang and Reinecke, Emanuel , journal =. A prismatic approach to crystalline local systems , year =. doi:10.1007/s00222-024-01238-4 , fjournal =

work page doi:10.1007/s00222-024-01238-4

[40] [40]

A note on purity of crystalline local systems , year =

Moon, Yong Suk , journal =. A note on purity of crystalline local systems , year =. doi:10.1090/proc/16993 , fjournal =

work page doi:10.1090/proc/16993

[41] [41]

Faithfully flat descent of almost perfect complexes in rigid geometry , year =

Mathew, Akhil , journal =. Faithfully flat descent of almost perfect complexes in rigid geometry , year =. doi:10.1016/j.jpaa.2021.106938 , fjournal =

work page doi:10.1016/j.jpaa.2021.106938 2021

[42] [42]

Crystalline cohomology of rigid analytic spaces , year =

Guo, Haoyang , journal =. Crystalline cohomology of rigid analytic spaces , year =. doi:10.24033/bsmf.2912 , fjournal =

work page doi:10.24033/bsmf.2912

[43] [43]

A prismatic approach to

Du, Heng and Liu, Tong , journal =. A prismatic approach to. 2026 , issn =. doi:10.4171/jems/1515 , fjournal =

work page doi:10.4171/jems/1515 2026

[44] [44]

Groupes de

Grothendieck, Alexandre , publisher =. Groupes de. 1974 , series =

1974

[45] [45]

1984 , issn =

Ogus, Arthur , journal =. 1984 , issn =. doi:10.1215/S0012-7094-84-05136-6 , fjournal =

work page doi:10.1215/s0012-7094-84-05136-6 1984

[46] [46]

Cycle classes and

Gillet, Henri and Messing, William , journal =. Cycle classes and. 1987 , issn =. doi:10.1215/S0012-7094-87-05527-X , fjournal =

work page doi:10.1215/s0012-7094-87-05527-x 1987

[47] [47]

Tate's conjecture for

Nygaard, Niels and Ogus, Arthur , journal =. Tate's conjecture for. 1985 , issn =. doi:10.2307/1971327 , fjournal =

work page doi:10.2307/1971327 1985

[48] [48]

, howpublished =

Grothendieck, A. , howpublished =. Crystals and the. 1968 , keywords =

1968

[49] [49]

Cohomologie cristalline des schemas de caract

Berthelot, Pierre , publisher =. Cohomologie cristalline des schemas de caract. 1974 , series =

1974

[50] [50]

Crystalline cohomology and

Faltings, Gerd , booktitle =. Crystalline cohomology and. 1989 , pages =

1989

[51] [51]

2012 , issn =

Beilinson, Alexander , journal =. 2012 , issn =. doi:10.1090/S0894-0347-2012-00729-2 , fjournal =

work page doi:10.1090/s0894-0347-2012-00729-2 2012

[52] [52]

Christophe Breuil , note =. Sch\'

[53] [53]

Crystalline sheaves and filtered convergent F-isocrystals on log schemes , year =

Takeshi Tsuji , note =. Crystalline sheaves and filtered convergent F-isocrystals on log schemes , year =

[54] [54]

On the log-crystalline local systems , year =

Haoyang Guo and Kentaro Inoue and Ziquan Yang , note =. On the log-crystalline local systems , year =

[55] [55]

de Jong, A. J. and Oort, F. , journal =. On extending families of curves , year =

[56] [56]

Purity results for

Vasiu, Adrian and Zink, Thomas , journal =. Purity results for. 2010 , issn =. doi:10.4171/dm/307 , fjournal =

work page doi:10.4171/dm/307 2010

[57] [57]

Forum Math

Ansch. Forum Math. Pi , title =. 2023 , issn =. doi:10.1017/fmp.2022.22 , fjournal =

work page doi:10.1017/fmp.2022.22 2023

[58] [58]

2022 , archiveprefix =

Haoyang Guo and Dmitry Kubrak and Artem Prikhodko , title =. 2022 , archiveprefix =. 2211.17227 , primaryclass =

arXiv 2022

[59] [59]

2024 , archiveprefix =

Vladimir Drinfeld , title =. 2024 , archiveprefix =. 2005.04746 , primaryclass =

arXiv 2024

[60] [60]

Prismatic

Bhargav Bhatt , note =. Prismatic