pith. sign in

arxiv: 2606.06092 · v1 · pith:JBDYIZTWnew · submitted 2026-06-04 · 🧮 math.AG · math.NT

Higgs bundles on the Fargues-Fontaine curve

Pith reviewed 2026-06-27 23:31 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords Higgs bundlesFargues-Fontaine curveBNR correspondenceaffine Springer fibersHitchin fiberPicard stackétale stacksmoduli stacks
0
0 comments X

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.

The paper defines Higgs bundles on the Fargues-Fontaine curve and proves a version of the BNR correspondence that identifies them with line bundles on suitable curves. It then introduces an action of a Picard stack on the moduli stack of these Higgs bundles. Modulo this action, a natural injective map of étale stacks is constructed from the product of B_dR^+-affine Springer fibers to the Hitchin fiber. This map induces an equivalence of categories when evaluated at any geometric point. The construction also points toward links between these geometric objects and number-theoretic structures.

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.

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.

Referee Report

0 major / 0 minor

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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

Abstract supplies no explicit free parameters, invented entities, or non-standard axioms; the work rests on the established theory of the Fargues-Fontaine curve and moduli stacks in algebraic geometry.

axioms (1)
  • domain assumption The Fargues-Fontaine curve exists and carries the expected geometric structures from p-adic Hodge theory
    The entire construction presupposes this object and its properties.

pith-pipeline@v0.9.1-grok · 5615 in / 1213 out tokens · 27498 ms · 2026-06-27T23:31:20.908535+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 15 canonical work pages

  1. [1]

    Foundations for almost ring theory --

    Ofer Gabber and Lorenzo Ramero , year=. Foundations for almost ring theory --. math/0409584 , archivePrefix=

  2. [2]

    Nagoya Math

    Mukai, Shigeru , title =. Nagoya Math. J. , issn =. 1981 , language =. doi:10.1017/S002776300001922X , keywords =

  3. [3]

    Beauville, Arnaud and Laszlo, Yves , title =. C. R. Acad. Sci., Paris, S. 1995 , keywords =

  4. [4]

    Huber, Roland , title =. Math. Z. , issn =. 1993 , language =. doi:10.1007/BF02571668 , keywords =

  5. [5]

    Stably uniform affinoids are sheafy , url =

    Buzzard, Kevin and Verberkmoes, Alain , month = sep, year =. Stably uniform affinoids are sheafy , url =

  6. [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 =

  7. [7]

    2025 , howpublished =

    Zhu, Xinwen , title =. 2025 , howpublished =

  8. [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. [9]

    2024 , howpublished =

    Ben-Zvi, David and Sakellaridis, Yiannis and Venkatesh, Akshay , title =. 2024 , howpublished =

  10. [10]

    Categorification of local relative

    Yuta Takaya and Milton Lin , year=. Categorification of local relative. 2601.02258 , archivePrefix=

  11. [11]

    Galois representations and ( ,

    Berger, Laurent , year =. Galois representations and ( ,

  12. [12]

    Notes on perfectoid spaces , AUTHOR =

  13. [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. [14]

    Zhu, Yihang , howpublished =. The

  15. [15]

    , title =

    Kedlaya, Kiran S. , title =. Doc. Math. , issn =. 2018 , language =. doi:10.25537/dm.2018v23.171-188 , keywords =

  16. [16]

    , TITLE =

    Waldspurger, J.-L. , title =. Compos. Math. , issn =. 1997 , language =. doi:10.1023/A:1000103112268 , keywords =

  17. [17]

    and Pantev, T

    Donagi, R. and Pantev, T. , TITLE =. Invent. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00222-012-0373-8 , URL =

  18. [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 =

  19. [19]

    Fargues, Laurent , title =. Compos. Math. , issn =. 2020 , language =. doi:10.1112/S0010437X20007423 , keywords =

  20. [20]

    Borel, Armand and Springer, T. A. , title =. T. 1968 , language =. doi:10.2748/tmj/1178243073 , keywords =

  21. [21]

    Greenberg, M. J. , title =. Bull. Am. Math. Soc. , issn =. 1966 , language =. doi:10.1090/S0002-9904-1966-11565-3 , zbMATH =

  22. [22]

    Hansen, David and Kedlaya, Kiran , title =

  23. [23]

    Scholze, Peter , title =. Publ. Math., Inst. Hautes. 2012 , language =. doi:10.1007/s10240-012-0042-x , keywords =

  24. [24]

    2023 , howpublished =

    Wedhorn, Torsten , title =. 2023 , howpublished =

  25. [25]

    Etingof, S

    Etingof, Pavel and Gelaki, Shlomo and Nikshych, Dmitri and Ostrik, Victor , title =. 2015 , publisher =. doi:10.1090/surv/205 , keywords =

  26. [26]

    2024 , eprint=

    On the geometrization of the local Langlands correspondence , author=. 2024 , eprint=

  27. [27]

    2023 , journal=

    Cesnavicius, Kestutis and Youcis, Alex , title =. 2023 , journal=

  28. [28]

    p -adic non-abelian

    Ben Heuer and Daxin Xu , year=. p -adic non-abelian. arXiv , primaryClass=:2402.01365 , journal=

  29. [29]

    Chen, Tsao-Hsien and Zhu, Xinwen , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X16008113 , URL =

  30. [30]

    Fibration de

    Ng. Fibration de. Invent. Math. , issn =. 2006 , doi =

  31. [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. [32]

    The Stacks project , howpublished =

    The. The Stacks project , howpublished =

  33. [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. [34]

    2016 , publisher =

    Olsson, Martin , title =. 2016 , publisher =

  35. [35]

    https://mathoverflow.net/q/202 , URL =

    When is fiber dimension upper semi-continuous? , AUTHOR =. https://mathoverflow.net/q/202 , URL =

  36. [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. [37]

    Valuations on tensor products , AUTHOR =

  38. [38]

    arXiv:2409.15516 , url=

    Some Foundational Results In Adic Geometry , author=. arXiv:2409.15516 , url=. 2024 , eprint=

  39. [39]

    Geometrization of the local

    Fargues, Laurent and Scholze, Peter , journal=. Geometrization of the local

  40. [40]

    Scholze, Peter , journal=

  41. [41]

    2020 , PAGES =

    Scholze, Peter and Weinstein, Jared , TITLE =. 2020 , PAGES =

  42. [42]

    and Liu, Ruochuan , title =

    Kedlaya, Kiran S. and Liu, Ruochuan , title =. 2015 , publisher =