arxiv: 2512.21418 · v2 · submitted 2025-12-24 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

A p-adic Simpson correspondence for singular rigid-analytic varieties

Hanlin Cai , Zeyu Liu

Authors on Pith no claims yet

Pith reviewed 2026-05-16 19:17 UTC · model grok-4.3

classification 🧮 math.AG

keywords p-adic Simpson correspondencerigid-analytic varietiespro-etale vector bundlesHiggs bundleseh-sitenon-archimedean geometrysingular varieties

0 comments

The pith

The category of pro-étale vector bundles on a proper rigid-analytic variety is equivalent to the category of Higgs bundles on its eh-site.

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

The paper proves an equivalence of categories for any proper rigid-analytic variety X over a complete algebraically closed non-archimedean extension C of Q_p. On one side are the pro-étale vector bundles on X. On the other are the Higgs bundles defined with respect to the eh-site of X. This generalizes earlier results that were restricted to smooth varieties by allowing the eh-site to accommodate singularities in X. A reader would care because it provides a way to handle vector bundles in p-adic geometry even when the underlying space is not smooth.

Core claim

We show that the category of pro-étale vector bundles on X is equivalent to the category of Higgs bundles on the eh-site of X. This equivalence holds for arbitrary proper rigid-analytic varieties, including those with singularities, by using a suitable definition of the eh-site.

What carries the argument

The eh-site of X, which is designed to incorporate both étale and henselian information so that Higgs bundles on it correspond to pro-étale vector bundles even in the singular case.

If this is right

The p-adic Simpson correspondence now applies to singular proper rigid-analytic varieties.
Vector bundles with pro-étale structure can be analyzed using Higgs bundle methods on the eh-site.
Previous limitations to smooth varieties are removed, allowing broader applications in non-archimedean geometry.

Where Pith is reading between the lines

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

If the equivalence holds, it may enable the construction of moduli spaces for these bundles on singular varieties.
Connections to other sites or cohomologies in p-adic arithmetic geometry could be explored using this correspondence.
Explicit calculations on examples like singular curves could verify the equivalence in low dimensions.

Load-bearing premise

The eh-site is defined suitably to capture the necessary data for singular rigid-analytic varieties over C.

What would settle it

A specific singular proper rigid-analytic variety over C where the two categories have different objects or morphisms, such as mismatched ranks of bundles or incompatible Higgs fields.

read the original abstract

Let $C$ be a complete, algebraically closed non-archimedean extension of $\mathbb{Q}_p$, and $X$ be a proper rigid-analytic variety over $C$. We show that the category of pro-\'etale vector bundles on $X$ is equivalent to the category of Higgs bundles on the $\eh$-site of $X$, thereby generalizing the work of Faltings and Heuer to arbitrary proper rigid-analytic varieties.

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 generalizes the p-adic Simpson correspondence to singular proper rigid-analytic varieties via an eh-site equivalence, but the abstract gives no proof details so soundness is hard to judge.

read the letter

The main point is that the authors extend the Faltings-Heuer p-adic Simpson correspondence to proper rigid-analytic varieties over C that can be singular. They claim the category of pro-étale vector bundles on X is equivalent to the category of Higgs bundles on the eh-site of X. This is a direct generalization of the smooth case, and the eh-site is the natural tool they use to handle singularities without extra smoothness hypotheses. If the argument holds, it widens the range of objects where the correspondence applies in p-adic Hodge theory. The paper states the result cleanly and positions it explicitly against the prior literature, which is straightforward and useful. The eh-site construction itself looks like a reasonable adaptation for the rigid-analytic setting. The soft spot is the complete absence of any proof outline, key technical steps, or discussion of how singularities are managed in the equivalence. Without those details it is impossible to check whether the eh-site definition introduces new issues or whether the proof really avoids hidden smoothness requirements. The reader's assessment matches this: everything rests on the abstract claim alone. This work is for people already working in p-adic non-archimedean geometry and Hodge theory who know the Faltings-Heuer result and want to see the singular extension. A reader in that group would get value from the statement even before the proofs are verified. It deserves a serious referee. The claim is substantive enough that a careful check of the arguments would be worthwhile, even if revisions turn out to be needed.

Referee Report

2 major / 1 minor

Summary. The manuscript claims that for a proper rigid-analytic variety X over a complete algebraically closed non-archimedean extension C of Q_p, the category of pro-étale vector bundles on X is equivalent to the category of Higgs bundles on the eh-site of X. This is presented as a direct generalization of the Faltings-Heuer p-adic Simpson correspondence to the singular case.

Significance. If established, the result would extend the p-adic non-abelian Hodge correspondence to singular rigid-analytic varieties, broadening its scope in arithmetic geometry beyond the smooth setting. This could enable new applications to vector bundles on singular spaces via Higgs data on the eh-site.

major comments (2)

[Abstract] The abstract states the category equivalence as the central result but supplies no proof outline, error handling for singular loci, or verification that the eh-site construction preserves the necessary equivalences from the smooth case of Faltings-Heuer. This renders the soundness of the generalization unassessable from the given text.
[Site construction section] The eh-site definition for singular rigid-analytic varieties (presumably in the section introducing the site) must be shown explicitly to avoid introducing extra hypotheses on the singular locus that are not present in the smooth case; without this, the extension of the equivalence remains a potential point of fragility.

minor comments (1)

Add explicit citations to the precise theorems in Faltings and Heuer being generalized, including page or theorem numbers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful and constructive report. The comments highlight important points about clarity in the abstract and the site construction. We address each major comment below and have revised the manuscript to improve accessibility and explicitness while preserving the original arguments.

read point-by-point responses

Referee: [Abstract] The abstract states the category equivalence as the central result but supplies no proof outline, error handling for singular loci, or verification that the eh-site construction preserves the necessary equivalences from the smooth case of Faltings-Heuer. This renders the soundness of the generalization unassessable from the given text.

Authors: We agree that the abstract would benefit from a concise indication of the proof strategy. In the revised manuscript we have added one sentence to the abstract noting that the equivalence is obtained by reducing to the smooth case via a resolution of singularities in the rigid-analytic category and verifying that the eh-site functors preserve the pro-étale/Higgs correspondence without additional restrictions. The full argument, including the treatment of singular loci through the finer eh-topology, appears in Sections 3–5; a new remark in the introduction explicitly compares the construction to Faltings–Heuer and confirms that no new hypotheses on the singular locus are introduced. revision: yes
Referee: [Site construction section] The eh-site definition for singular rigid-analytic varieties (presumably in the section introducing the site) must be shown explicitly to avoid introducing extra hypotheses on the singular locus that are not present in the smooth case; without this, the extension of the equivalence remains a potential point of fragility.

Authors: The eh-site is defined in Section 2 for an arbitrary proper rigid-analytic variety X over C, with no extra conditions imposed on the singular locus. The site consists of all rigid-analytic spaces over X equipped with the eh-topology (generated by étale and proper surjective morphisms); this definition is stated verbatim and applies uniformly whether X is smooth or singular. We have inserted an explicit paragraph in the revised Section 2 confirming that the construction coincides with the smooth-case definition of Faltings–Heuer when X is smooth and that the descent properties used in the equivalence proof hold on the eh-site without further restrictions on singularities. The subsequent sections then show that the pro-étale vector bundles on X correspond to Higgs bundles on this site via the same functors. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper claims an equivalence of categories between pro-étale vector bundles and Higgs bundles on the eh-site, presented explicitly as a generalization of the external prior results of Faltings and Heuer. No self-citations appear as load-bearing premises, no parameters are fitted and then relabeled as predictions, and no definitions or uniqueness statements reduce by construction to the target statement. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard foundational assumptions from rigid analytic geometry and p-adic Hodge theory without introducing new free parameters or invented entities.

axioms (1)

standard math Standard properties of proper rigid-analytic varieties, pro-étale topology, and the eh-site over non-archimedean fields
These are background results from the literature on p-adic geometry invoked to set up the categories.

pith-pipeline@v0.9.0 · 5360 in / 1155 out tokens · 35761 ms · 2026-05-16T19:17:00.192110+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1: equivalence Vect(X_proét) ≃ Higgs(X_h) via 1-truncated smooth proper h-hypercover with B_dR/ξ² lift
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

h-topology defined via finite quasicompact surjective families; structure theorem via flat locus + blowup + Zariski main theorem

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages · 5 internal anchors

[1]

261, Springer Berlin, 1984

Siegfried Bosch, Ulrich G \"u ntzer, and Reinhold Remmert, Non-archimedean analysis, vol. 261, Springer Berlin, 1984

work page 1984
[2]

2, 437--482

Bhargav Bhatt and David Hansen, The six functors for zariski-constructible sheaves in rigid geometry, Compositio Mathematica 158 (2022), no. 2, 437--482

work page 2022
[3]

Bhargav Bhatt, Aspects of p-adic Hodge theory , https://www.math.ias.edu/ bhatt/teaching/mat517f25/pHT-notes.pdf

work page
[4]

flattening techniques, Mathematische Annalen 296 (1993), 403--429

Siegfried Bosch and Werner L \"u tkebohmert, Formal and rigid geometry: Ii. flattening techniques, Mathematische Annalen 296 (1993), 403--429

work page 1993
[5]

Bhargav Bhatt, Mattew Morrow, and Peter Scholze, Integral p -adic H odge theory , arXiv:1602.03148

work page internal anchor Pith review Pith/arXiv arXiv
[6]

2105, Springer, 2014

Siegfried Bosch, Lectures on formal and rigid geometry, vol. 2105, Springer, 2014

work page 2014
[7]

2, 329--423

Bhargav Bhatt and Peter Scholze, Projectivity of the witt vector affine grassmannian, Inventiones mathematicae 209 (2017), no. 2, 329--423

work page 2017
[8]

49, 1999, pp

Brian Conrad, Irreducible components of rigid spaces, Annales de l'institut Fourier, vol. 49, 1999, pp. 473--541

work page 1999
[9]

, Cohomological descent, preprint (2003)

work page 2003
[10]

56, 2006, pp

, Relative ampleness in rigid geometry, Annales de l'institut Fourier, vol. 56, 2006, pp. 1049--1126

work page 2006
[11]

S \'e minaire de G \'e om \'e trie Alg \'e brique, Th \'e orie des topos et cohomologie \'e tale des sch \'e mas: S \'e minaire de g \'e ometrie alg \'e brique du bois-marie 1963/64; sga 4 , Springer, 1972

work page 1963
[12]

6, 1511--1532

Antoine Ducros, Variation de la dimension relative en g \'e om \'e trie analytique p-adique , Compositio Mathematica 143 (2007), no. 6, 1511--1532

work page 2007
[13]

, Families of berkovich spaces, Soci \'e t \'e math \'e matique de France, 2018

work page 2018
[14]

2, 847--862

Gerd Faltings, A p-adic simpson correspondence, Advances in Mathematics 198 (2005), no. 2, 847--862

work page 2005
[15]

Kazuhiro Fujiwara and Fumiharu Kato, Foundations of rigid geometry i, arXiv preprint arXiv:1308.4734 (2013)

work page internal anchor Pith review Pith/arXiv arXiv 2013
[16]

104, Princeton University Press, 1982

Eric M Friedlander, Etale homotopy of simplical schemes, vol. 104, Princeton University Press, 1982

work page 1982
[17]

218, Springer Science & Business Media, 2003

Jean Fresnel and Marius Van der Put, Rigid analytic geometry and its applications, vol. 218, Springer Science & Business Media, 2003

work page 2003
[18]

Thomas Geisser, Arithmetic cohomology over finite fields and special values of -functions

work page
[19]

2, 289--323

Daniel Greb, Stefan Kebekus, Thomas Peternell, and Behrouz Taji, Nonabelian hodge theory for klt spaces and descent theorems for vector bundles, Compositio Mathematica 155 (2019), no. 2, 289--323

work page 2019
[20]

Haoyang Guo, Hodge-tate decomposition for non-smooth spaces, arXiv preprint arXiv:1909.09917 (2019)

work page arXiv 1909
[21]

David Hansen, Artin vanishing in rigid analytic geometry, arXiv preprint arXiv:1708.07276 (2017)

work page internal anchor Pith review Pith/arXiv arXiv 2017
[22]

Robin Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977, Graduate Texts in Mathematics, No. 52. MR0463157 (57 \#3116)

work page 1977
[23]

10, Cambridge University Press, 2022, p

Ben Heuer, Line bundles on rigid spaces in the v-topology, Forum of Mathematics, Sigma, vol. 10, Cambridge University Press, 2022, p. e82

work page 2022
[24]

, Moduli spaces in p -adic non-abelian hodge theory, arXiv preprint arXiv:2207.13819 (2022)

work page arXiv 2022
[25]

, A p -adic simpson correspondence for smooth proper rigid varieties, arXiv preprint arXiv:2307.01303 (2023)

work page arXiv 2023
[26]

Annette Huber and Clemens J \"o rder, Differential forms in the h-topology, Algebr. Geom. 1 (2014), no. 4, 449--478. 3272910

work page 2014
[27]

Roland Huber and Manfred Knebusch, On valuation spectra, Contemporary mathematics 155 (1994), 167--167

work page 1994
[28]

2, 359--369

William Heinzer and Christel Rotthaus, Formal fibers and complete homomorphic images, Proceedings of the American Mathematical Society 120 (1994), no. 2, 359--369

work page 1994
[29]

Z 212 (1993), no

Roland Huber, Continuous valuations, Math. Z 212 (1993), no. 3, 455--477

work page 1993
[30]

, A generalization of formal schemes and rigid analytic varieties, Mathematische Zeitschrift 217 (1994), 513--551

work page 1994
[31]

2, 313--358

, A finiteness result for the compactly supported cohomology of rigid analytic varieties, Journal of Algebraic Geometry 7 (1998), no. 2, 313--358

work page 1998
[32]

30, Springer, 2013

, \'E tale cohomology of rigid analytic varieties and adic spaces , vol. 30, Springer, 2013

work page 2013
[33]

The Kerodon Authors , Kerodon , https://kerodon.net/

work page
[34]

frisch:„points de platitude d'un morphisme d'espaces analytiques complexes”, Inventiones mathematicae 4 (1967), 139--141

Reinhardt Kiehl, Note zu der arbeit von j. frisch:„points de platitude d'un morphisme d'espaces analytiques complexes”, Inventiones mathematicae 4 (1967), 139--141

work page 1967
[35]

Kiran S Kedlaya and Ruochuan Liu, Relative p-adic hodge theory, ii: Imperfect period rings, arXiv preprint arXiv:1602.06899 (2016)

work page arXiv 2016
[36]

Tatsuro Kawakami and Jakub Witaszek, Higher f-injective singularities, arXiv preprint arXiv:2412.08887 (2024)

work page arXiv 2024
[37]

Jacob Lurie, Higher topos theory, arXiv preprint math/0608040 (2006)

work page internal anchor Pith review Pith/arXiv arXiv 2006
[38]

, Derived algebraic geometry vii: Spectral schemes, available at author’s website: http://www. math. harvard. edu/lurie (2011)

work page 2011
[39]

Yifeng Liu and Weizhe Zheng, Enhanced six operations and base change theorem for sheaves on artin stacks, arXiv preprint arXiv:1211.5948 (2012)

work page arXiv 2012
[40]

5, 106938

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

work page 2022
[41]

1, 1--138

Arthur Ogus and Vadim Vologodsky, Nonabelian hodge theory in characteristic p, Publications math \'e matiques 106 (2007), no. 1, 1--138

work page 2007
[42]

Michel Raynaud and Laurent Gruson, Crit \`e res de platitude et de projectivit \'e : Techniques de platification d'un module , Inventiones mathematicae 13 (1971), 1--89

work page 1971
[43]

2, 181--230

David Rydh, Submersions and effective descent of \'e tale morphisms , Bulletin de la Soci \'e t \'e Math \'e matique de France 138 (2010), no. 2, 181--230

work page 2010
[44]

1, Cambridge University Press, 2013, p

Peter Scholze, -adic hodge theory for rigid-analytic varieties, Forum of Mathematics, Pi, vol. 1, Cambridge University Press, 2013, p. e1

work page 2013
[45]

, \'E tale cohomology of diamonds , arXiv preprint arXiv:1709.07343 (2017)

work page internal anchor Pith review Pith/arXiv arXiv 2017
[46]

The Stacks Project Authors , Stacks Project , http://stacks.math.columbia.edu

work page
[47]

Vladimir Voevodsky, Homology of schemes, Selecta Mathematica 2 (1996), 111--153

work page 1996
[48]

Bogdan Zavyalov, Almost coherent modules and almost coherent sheaves, arXiv preprint arXiv:2110.10773 (2021)

work page arXiv 2021
[49]

3, 409--475

, Quotients of admissible formal schemes and adic spaces by finite groups, Algebra & Number Theory 18 (2024), no. 3, 409--475

work page 2024