Higgs bundles on the Fargues-Fontaine curve
Pith reviewed 2026-06-27 23:31 UTC · model grok-4.3
The pith
There is an injective map of étale stacks from the product of B_dR^+-affine Springer fibers to the Hitchin fiber of Higgs bundles on the Fargues-Fontaine curve that induces an equivalence of categories on every geometric point.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes a version of the BNR correspondence for Higgs bundles on the Fargues-Fontaine curve and shows that, after quotienting by the action of the Picard stack, there is a natural injective map of étale-stacks from the product of B_dR^+-affine Springer fibers to the Hitchin fiber that induces an equivalence of categories on every geometric point.
What carries the argument
The moduli stack of Higgs bundles on the Fargues-Fontaine curve together with its Picard stack action that is compatible with the formation of the Hitchin fiber.
Load-bearing premise
The moduli stack of Higgs bundles on the Fargues-Fontaine curve is well-defined and carries a natural action of the Picard stack that is compatible with the formation of the Hitchin fiber.
What would settle it
A geometric point at which the constructed map from the product of B_dR^+-affine Springer fibers to the Hitchin fiber fails to be injective or fails to induce an equivalence of categories would falsify the central claim.
read the original abstract
In this paper, we introduce a notion of Higgs bundles on the Fargues-Fontaine curve. We establish a version of the BNR correspondence, which relates Higgs bundles to line bundles on suitable curves. We then describe an action of a Picard stack on the moduli stack of Higgs bundles and show that, modulo this action, there is a natural injective map of \'etale-stacks from the product of $B_{dR}^+$-affine Springer fibers to the Hitchin fiber that induces an equivalence of categories on every geometric point. Finally, we discuss connections with number-theoretic objects.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a notion of Higgs bundles on the Fargues-Fontaine curve. It establishes a version of the BNR correspondence relating Higgs bundles to line bundles on suitable curves. It describes an action of a Picard stack on the moduli stack of Higgs bundles. Modulo this action, there is a natural injective map of étale-stacks from the product of B_dR^+-affine Springer fibers to the Hitchin fiber that induces an equivalence of categories on every geometric point. Connections with number-theoretic objects are discussed.
Significance. If the constructions hold, the work would link the geometry of the Fargues-Fontaine curve to Higgs bundles and affine Springer fibers, potentially offering a new angle on p-adic aspects of the geometric Langlands correspondence. The claimed equivalence on geometric points and the Picard stack action could provide a useful framework for studying moduli problems in this setting. No machine-checked proofs or parameter-free derivations are mentioned.
Simulated Author's Rebuttal
We thank the referee for their summary of our manuscript and for noting its potential significance in linking the Fargues-Fontaine curve to Higgs bundles and affine Springer fibers in the context of p-adic geometric Langlands. The referee's description of our results is accurate. No specific major comments were raised in the report.
Circularity Check
No significant circularity
full rationale
The abstract introduces a notion of Higgs bundles on the Fargues-Fontaine curve, establishes a BNR correspondence, describes a Picard stack action, and constructs an injective map from B_dR^+-affine Springer fibers to the Hitchin fiber. These steps are presented as standard constructions in the field with no quoted equations, self-citations, or fitted parameters that reduce the central claims to inputs by definition. Without load-bearing reductions visible in the provided text, the derivation chain remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Fargues-Fontaine curve exists and carries the expected geometric structures from p-adic Hodge theory
Reference graph
Works this paper leans on
-
[1]
Foundations for almost ring theory --
Ofer Gabber and Lorenzo Ramero , year=. Foundations for almost ring theory --. math/0409584 , archivePrefix=
-
[2]
Mukai, Shigeru , title =. Nagoya Math. J. , issn =. 1981 , language =. doi:10.1017/S002776300001922X , keywords =
-
[3]
Beauville, Arnaud and Laszlo, Yves , title =. C. R. Acad. Sci., Paris, S. 1995 , keywords =
1995
-
[4]
Huber, Roland , title =. Math. Z. , issn =. 1993 , language =. doi:10.1007/BF02571668 , keywords =
-
[5]
Stably uniform affinoids are sheafy , url =
Buzzard, Kevin and Verberkmoes, Alain , month = sep, year =. Stably uniform affinoids are sheafy , url =
-
[6]
Perfectoid spaces
Weinstein, Jared , title =. Perfectoid spaces. Lectures from the 20th Arizona winter school, University of Arizona, Tuscon, AZ, USA, March 11--17, 2017. With an introduction by Peter Scholze , isbn =. 2019 , publisher =
2017
-
[7]
2025 , howpublished =
Zhu, Xinwen , title =. 2025 , howpublished =
2025
-
[8]
Jean-Francois Dat and David Helm and Robert Kurinczuk and Gilbert Moss , title =. J. Eur. Math. Soc. (JEMS) , issn =. 2025 , language =. doi:10.4171/JEMS/1599 , keywords =
-
[9]
2024 , howpublished =
Ben-Zvi, David and Sakellaridis, Yiannis and Venkatesh, Akshay , title =. 2024 , howpublished =
2024
-
[10]
Categorification of local relative
Yuta Takaya and Milton Lin , year=. Categorification of local relative. 2601.02258 , archivePrefix=
-
[11]
Galois representations and ( ,
Berger, Laurent , year =. Galois representations and ( ,
-
[12]
Notes on perfectoid spaces , AUTHOR =
-
[13]
Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , title =. Publ. Math., Inst. Hautes. 2018 , language =. doi:10.1007/s10240-019-00102-z , keywords =
-
[14]
Zhu, Yihang , howpublished =. The
-
[15]
Kedlaya, Kiran S. , title =. Doc. Math. , issn =. 2018 , language =. doi:10.25537/dm.2018v23.171-188 , keywords =
-
[16]
Waldspurger, J.-L. , title =. Compos. Math. , issn =. 1997 , language =. doi:10.1023/A:1000103112268 , keywords =
-
[17]
Donagi, R. and Pantev, T. , TITLE =. Invent. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00222-012-0373-8 , URL =
-
[18]
, title =
Kedlaya, Kiran S. , title =. Perfectoid spaces. Lectures from the 20th Arizona winter school, University of Arizona, Tuscon, AZ, USA, March 11--17, 2017. With an introduction by Peter Scholze , isbn =. 2019 , publisher =
2017
-
[19]
Fargues, Laurent , title =. Compos. Math. , issn =. 2020 , language =. doi:10.1112/S0010437X20007423 , keywords =
-
[20]
Borel, Armand and Springer, T. A. , title =. T. 1968 , language =. doi:10.2748/tmj/1178243073 , keywords =
-
[21]
Greenberg, M. J. , title =. Bull. Am. Math. Soc. , issn =. 1966 , language =. doi:10.1090/S0002-9904-1966-11565-3 , zbMATH =
-
[22]
Hansen, David and Kedlaya, Kiran , title =
-
[23]
Scholze, Peter , title =. Publ. Math., Inst. Hautes. 2012 , language =. doi:10.1007/s10240-012-0042-x , keywords =
-
[24]
2023 , howpublished =
Wedhorn, Torsten , title =. 2023 , howpublished =
2023
-
[25]
Etingof, Pavel and Gelaki, Shlomo and Nikshych, Dmitri and Ostrik, Victor , title =. 2015 , publisher =. doi:10.1090/surv/205 , keywords =
-
[26]
2024 , eprint=
On the geometrization of the local Langlands correspondence , author=. 2024 , eprint=
2024
-
[27]
2023 , journal=
Cesnavicius, Kestutis and Youcis, Alex , title =. 2023 , journal=
2023
-
[28]
Ben Heuer and Daxin Xu , year=. p -adic non-abelian. arXiv , primaryClass=:2402.01365 , journal=
-
[29]
Chen, Tsao-Hsien and Zhu, Xinwen , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X16008113 , URL =
-
[30]
Fibration de
Ng. Fibration de. Invent. Math. , issn =. 2006 , doi =
2006
-
[31]
Le lemme fondamental pour les alg\`ebres de
Ng. Le lemme fondamental pour les alg\`ebres de. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2010 , PAGES =. doi:10.1007/s10240-010-0026-7 , URL =
-
[32]
The Stacks project , howpublished =
The. The Stacks project , howpublished =
-
[33]
Beauville, Arnaud and Narasimhan, M. S. and Ramanan, S. , title =. J. Reine Angew. Math. , issn =. 1989 , language =. doi:10.1515/crll.1989.398.169 , keywords =
-
[34]
2016 , publisher =
Olsson, Martin , title =. 2016 , publisher =
2016
-
[35]
https://mathoverflow.net/q/202 , URL =
When is fiber dimension upper semi-continuous? , AUTHOR =. https://mathoverflow.net/q/202 , URL =
-
[36]
https://math.stackexchange.com/q/2393254 , URL =
Quasiseparated if finitely covered by affines in appropriate way , AUTHOR =. https://math.stackexchange.com/q/2393254 , URL =
-
[37]
Valuations on tensor products , AUTHOR =
-
[38]
Some Foundational Results In Adic Geometry , author=. arXiv:2409.15516 , url=. 2024 , eprint=
arXiv 2024
-
[39]
Geometrization of the local
Fargues, Laurent and Scholze, Peter , journal=. Geometrization of the local
-
[40]
Scholze, Peter , journal=
-
[41]
2020 , PAGES =
Scholze, Peter and Weinstein, Jared , TITLE =. 2020 , PAGES =
2020
-
[42]
and Liu, Ruochuan , title =
Kedlaya, Kiran S. and Liu, Ruochuan , title =. 2015 , publisher =
2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.