Ogus's conjecture on F-isocrystals
Pith reviewed 2026-06-26 09:32 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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
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
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
Reference graph
Works this paper leans on
-
[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 =
-
[2]
The Stacks project , year =
The. The Stacks project , year =
-
[3]
Haoyang Guo and Shizhang Li , title =. 2023 , archiveprefix =. 2309.06663 , primaryclass =
arXiv 2023
-
[4]
Fontaine, Jean-Marc , journal =. Sur certains types de repr\'. 1982 , issn =. doi:10.2307/2007012 , fjournal =
-
[5]
Peter Scholze , title =. 2022 , archiveprefix =. 1709.07343 , primaryclass =
Pith/arXiv arXiv 2022
-
[6]
Scholze, Peter and Weinstein, Jared , Title =. 2020 , Publisher =. doi:10.1515/9780691202150 , MSC2010 =
-
[7]
Scholze, Peter , TITLE =. Forum Math. Pi , FJOURNAL =. 2013 , PAGES =. doi:10.1017/fmp.2013.1 , URL =
-
[8]
2022 , note=
The prismatization of p -adic formal schemes , author=. 2022 , note=
2022
-
[9]
Gabber, Ofer and Ramero, Lorenzo , publisher =. Almost ring theory , year =. doi:10.1007/b10047 , mrclass =
-
[10]
Bhargav Bhatt and Jacob Lurie , title =. 2022 , archiveprefix =. 2201.06120 , primaryclass =
arXiv 2022
-
[11]
Bhargav Bhatt , title =. 2012 , archiveprefix =. 1204.6560 , primaryclass =
Pith/arXiv arXiv 2012
-
[12]
Guo, Haoyang and Li, Shizhang , journal =. Period sheaves via derived de. 2021 , issn =. doi:10.1112/s0010437x21007545 , fjournal =
-
[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 =
-
[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]
Fontaine, Jean-Marc , journal =. Formes diff. 1982 , issn =. doi:10.1007/BF01396625 , fjournal =
-
[17]
Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , journal =. Integral. 2018 , issn =. doi:10.1007/s10240-019-00102-z , fjournal =
-
[18]
de Jong, A. J. , journal =. Crystalline. 1995 , issn =
1995
-
[19]
Bhatt, Bhargav and Scholze, Peter , journal =. Prismatic. 2023 , issn =. doi:10.4310/CJM.2023.v11.n2.a3 , file =
-
[20]
Liu, Ruochuan and Zhu, Xinwen , journal =. Rigidity and a. 2017 , issn =. doi:10.1007/s00222-016-0671-7 , fjournal =
-
[21]
Bogdan Zavyalov , title =. 2024 , archiveprefix =. 2110.10773 , primaryclass =
arXiv 2024
-
[22]
Bhatt, Bhargav and Iyengar, Srikanth B. and Ma, Linquan , journal =. Regular rings and perfect(oid) algebras , year =. doi:10.1080/00927872.2018.1524009 , fjournal =
-
[23]
Du, Heng and Liu, Tong and Moon, Yong Suk and Shimizu, Koji , journal =. Completed prismatic. 2024 , issn =. doi:10.1112/S0010437X24007097 , fjournal =
-
[24]
Heng Du and Tong Liu and Yong Suk Moon and Koji Shimizu , title =. 2024 , archiveprefix =. 2404.19603 , primaryclass =
arXiv 2024
-
[25]
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 =
-
[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 =
-
[29]
Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , journal =. Topological. 2019 , issn =. doi:10.1007/s10240-019-00106-9 , fjournal =
-
[30]
Ryo Ishizuka and Kei Nakazato , title =. 2024 , archiveprefix =. 2402.06207 , primaryclass =
arXiv 2024
-
[31]
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 =
-
[33]
Cesnavicius, Kpolhk estutis and Koshikawa, Teruhisa , journal =. The. 2019 , issn =. doi:10.1112/s0010437x1800790x , fjournal =
-
[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 =
-
[35]
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 =
-
[37]
Haoyang Guo and Ziquan Yang , title =. 2024 , archiveprefix =. 2409.19742 , primaryclass =
arXiv 2024
-
[38]
Shimizu, Koji , journal =. Constancy of generalized. 2018 , issn =. doi:10.1112/S0010437X1800742X , fjournal =
-
[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 =
-
[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 =
-
[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 =
-
[42]
Crystalline cohomology of rigid analytic spaces , year =
Guo, Haoyang , journal =. Crystalline cohomology of rigid analytic spaces , year =. doi:10.24033/bsmf.2912 , fjournal =
-
[43]
Du, Heng and Liu, Tong , journal =. A prismatic approach to. 2026 , issn =. doi:10.4171/jems/1515 , fjournal =
-
[44]
Groupes de
Grothendieck, Alexandre , publisher =. Groupes de. 1974 , series =
1974
-
[45]
Ogus, Arthur , journal =. 1984 , issn =. doi:10.1215/S0012-7094-84-05136-6 , fjournal =
-
[46]
Gillet, Henri and Messing, William , journal =. Cycle classes and. 1987 , issn =. doi:10.1215/S0012-7094-87-05527-X , fjournal =
-
[47]
Nygaard, Niels and Ogus, Arthur , journal =. Tate's conjecture for. 1985 , issn =. doi:10.2307/1971327 , fjournal =
-
[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]
Beilinson, Alexander , journal =. 2012 , issn =. doi:10.1090/S0894-0347-2012-00729-2 , fjournal =
-
[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]
Vasiu, Adrian and Zink, Thomas , journal =. Purity results for. 2010 , issn =. doi:10.4171/dm/307 , fjournal =
-
[57]
Ansch. Forum Math. Pi , title =. 2023 , issn =. doi:10.1017/fmp.2022.22 , fjournal =
-
[58]
Haoyang Guo and Dmitry Kubrak and Artem Prikhodko , title =. 2022 , archiveprefix =. 2211.17227 , primaryclass =
arXiv 2022
-
[59]
Vladimir Drinfeld , title =. 2024 , archiveprefix =. 2005.04746 , primaryclass =
arXiv 2024
-
[60]
Prismatic
Bhargav Bhatt , note =. Prismatic
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.