pith. sign in

arxiv: 2207.07623 · v3 · pith:MWI4L525new · submitted 2022-07-15 · 🧮 math.AG

G-torsors on perfectoid spaces

Ben Heuer This is my paper

Pith reviewed 2026-05-24 11:39 UTC · model grok-4.3

classification 🧮 math.AG
keywords G-torsorsperfectoid spacesv-topologyétale topologyrigid analytic groupsp-adic Simpson correspondenceadic spaces
0
0 comments X

The pith

On perfectoid spaces, G-torsors for rigid analytic groups coincide in the étale and v-topologies.

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

The paper establishes that for any rigid analytic group variety G over a non-archimedean field K, the G-torsors on perfectoid spaces are the same whether they are required to be locally trivial in the étale topology or in the finer v-topology. This unifies two notions of principal bundles that had previously been compared only for the additive group and for GL_n. On general adic spaces the v-torsors outnumber the étale ones, but the paper shows they can always be reduced to any open subgroup of G after an étale localization. The reduction is then used to identify generalised Q_p-representations with v-vector bundles.

Core claim

For any rigid analytic group variety G over a non-archimedean field K, the categories of G-torsors on perfectoid spaces in the étale topology and in the v-topology are equivalent.

What carries the argument

G-torsors in the v-topology on adic spaces over K, shown to coincide with their étale counterparts precisely when the base is perfectoid.

If this is right

  • G-torsors on perfectoid spaces admit the same classification in either topology.
  • Any v-torsor on a general adic space over K reduces étale-locally to any chosen open subgroup of G.
  • Generalised Q_p-representations become equivalent to v-vector bundles on arbitrary adic spaces.
  • The p-adic Simpson correspondence can be formulated using v-vector bundles without loss of information.

Where Pith is reading between the lines

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

  • The equivalence may let computations performed in the v-topology transfer directly to étale statements on perfectoid bases.
  • Similar reductions of structure group could be checked for other classes of adic spaces or other group schemes.
  • The result supplies a uniform way to pass between topological and algebraic descriptions of bundles in p-adic settings.

Load-bearing premise

The base space must be perfectoid and G must be a rigid analytic group variety over the non-archimedean field K.

What would settle it

A perfectoid space X together with a rigid analytic group G and a G-torsor that is trivialised by some v-cover but by no étale cover of X.

read the original abstract

For any rigid analytic group variety $G$ over a non-archimedean field $K$ over $\mathbb Q_p$, we study $G$-torsors on adic spaces over $K$ in the $v$-topology. Our main result is that on perfectoid spaces, $G$-torsors in the \'etale and $v$-topology are equivalent. This generalises the known cases of $G=\mathbb G_a$ and $G=\mathrm{GL}_n$ due to Scholze and Kedlaya--Liu. On a general adic space $X$ over $K$, where there can be more $v$-topological $G$-torsors than \'etale ones, we show that for any open subgroup $U\subseteq G$, any $G$-torsor on $X_v$ admits a reduction of structure group to $U$ \'etale-locally on $X$. This has applications in the context of the $p$-adic Simpson correspondence: For example, we use it to show that on any adic space, generalised $\mathbb Q_p$-representations are equivalent to $v$-vector bundles.

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 / 3 minor

Summary. The paper studies G-torsors on adic spaces over a non-archimedean field K ⊃ Q_p, where G is a rigid analytic group variety. The main theorem asserts that when the base is perfectoid, the categories of G-torsors in the étale topology and in the v-topology are equivalent; this extends the known cases G = G_a (Scholze) and G = GL_n (Kedlaya–Liu). On a general adic space X the authors prove that any v-topological G-torsor admits an étale-local reduction of structure group to any open subgroup U ⊂ G. The latter statement is applied to obtain an equivalence between generalised Q_p-representations and v-vector bundles on arbitrary adic spaces.

Significance. If correct, the result supplies a flexible tool for comparing topologies and reducing structure groups in p-adic geometry. The perfectoid case directly generalises two foundational statements and is used to extend the p-adic Simpson correspondence beyond the perfectoid setting. The reduction-of-structure-group statement on general adic spaces is independent of the perfectoid hypothesis and appears to be the key new ingredient for the representation-theoretic application.

minor comments (3)
  1. §2.3: the definition of the v-topology on adic spaces is recalled but the precise site-theoretic conventions (e.g., whether covers are required to be surjective on underlying topological spaces) should be stated explicitly to avoid ambiguity with the literature.
  2. Theorem 4.1 (the main equivalence): the statement is given for perfectoid spaces, yet the proof sketch in §4.2 invokes a descent argument that appears to use only the perfectoid property of the base; a short remark clarifying why the argument does not extend verbatim to arbitrary adic spaces would be helpful.
  3. §5.4, application to p-adic Simpson: the reduction step from v-vector bundles to generalised Q_p-representations relies on the open-subgroup reduction proved earlier; a one-sentence pointer to the precise open subgroup U used in this reduction would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the accurate summary of our results, and the recommendation of minor revision. No specific major comments appear in the report, so we have no points requiring point-by-point rebuttal or revision at this stage. We will of course address any minor issues or typos that may be flagged in a subsequent reading.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper's central claim is an equivalence of G-torsors in étale and v-topologies on perfectoid spaces, presented explicitly as a generalization of prior results by Scholze (for Ga) and Kedlaya-Liu (for GL_n). No equations, definitions, or load-bearing steps in the abstract reduce the claimed equivalence to a fitted input, self-citation chain, or ansatz imported from the author's own prior work. The secondary result on reduction of structure group to open subgroups U (valid on general adic spaces) is stated independently and used for an application to p-adic Simpson correspondence; it does not presuppose the main theorem. The argument rests on the established theory of adic and perfectoid spaces without internal circular reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard definitions and properties of adic spaces, perfectoid spaces, the v-topology, and rigid analytic group varieties as developed by Scholze and others; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math The v-topology is finer than the étale topology on adic spaces.
    Invoked implicitly when comparing torsors in the two topologies; this is a background fact from the theory of adic spaces.
  • domain assumption Perfectoid spaces satisfy the necessary descent and approximation properties used in the equivalence proof.
    The main theorem is stated only for perfectoid spaces, relying on their established good behavior.

pith-pipeline@v0.9.0 · 5727 in / 1507 out tokens · 24681 ms · 2026-05-24T11:39:04.439434+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

36 extracted references · 36 canonical work pages · 1 internal anchor

  1. [1]

    Blakestad, D

    C. Blakestad, D. Gvirtz, B. Heuer, D. Shchedrina, K. Shimizu, P. Wear, Z. Yao. P erfectoid covers of abelian varieties. Math. Res. Lett. , 29(3):631--662, 2022

    work page 2022

  2. [2]

    Bourbaki

    N. Bourbaki. \' E l\' e ments de math\' e matique. F asc. XXXVII . G roupes et alg\`ebres de L ie. C hapitre II : A lg\`ebres de L ie libres. C hapitre III : G roupes de L ie . Actualit\' e s Scientifiques et Industrielles, No. 1349. Hermann, Paris, 1972

    work page 1972

  3. [3]

    Bhatt, P

    B. Bhatt, P. Scholze. T he pro-\' e tale topology for schemes. Ast\' e risque , (369):99--201, 2015

    work page 2015

  4. [4]

    P. Colmez. E spaces de B anach de dimension finie. J. Inst. Math. Jussieu , 1(3):331--439, 2002

    work page 2002

  5. [5]

    A. J. de Jong, et al. T he stacks project. 2023

    work page 2023

  6. [6]

    Faltings

    G. Faltings. A p -adic S impson correspondence. Adv. Math. , 198(2):847--862, 2005

    work page 2005

  7. [7]

    L. Fargues. G roupes analytiques rigides p -divisibles. Math. Ann. , 374(1-2):723--791, 2019

    work page 2019

  8. [8]

    Gabber, L

    O. Gabber, L. Ramero. A lmost ring theory , volume 1800 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2003

    work page 2003

  9. [9]

    Grothendieck

    A. Grothendieck. Le groupe de B rauer. III . E xemples et compl\' e ments. In Dix expos\' e s sur la cohomologie des sch\' e mas , volume 3 of Adv. Stud. Pure Math. , pages 88--188. North-Holland, Amsterdam, 1968

    work page 1968

  10. [10]

    B. Heuer. D iamantine P icard functors of rigid spaces. Preprint, arXiv:2103.16557 , 2021

    work page arXiv 2021

  11. [11]

    B. Heuer. Line bundles on perfectoid covers: case of good reduction. Preprint, arXiv:2105.05230 , 2021

    work page arXiv 2021

  12. [12]

    B. Heuer. Line bundles on rigid spaces in the v-topology. Forum of Math. Sigma , 10:e82, 2022

    work page 2022

  13. [13]

    B. Heuer. Moduli spaces in p -adic non-abelian H odge theory. Preprint, arXiv:2207.13819 , 2022

    work page arXiv 2022

  14. [14]

    Hansen, K

    D. Hansen, K. S. Kedlaya. Sheafiness criteria for H uber rings. Preprint, available at this link https://kskedlaya.org/papers/criteria.pdf

    work page

  15. [15]

    R. Huber. A generalization of formal schemes and rigid analytic varieties. Math. Z. , 217(4):513--551, 1994

    work page 1994

  16. [16]

    R. Huber. \' E tale cohomology of rigid analytic varieties and adic spaces . Aspects of Mathematics, E30. Friedr. Vieweg & Sohn, Braunschweig, 1996

    work page 1996

  17. [17]

    L. Illusie. Complexe cotangent et d\' e formations. I . Lecture Notes in Mathematics, Vol. 239. Springer-Verlag, Berlin-New York, 1971

    work page 1971

  18. [18]

    K. S. Kedlaya, R. Liu. R elative p -adic H odge theory: F oundations. Ast\' e risque , (371):239, 2015

    work page 2015

  19. [19]

    K. S. Kedlaya, R. Liu. R elative p -adic H odge theory, I I : I mperfect period rings . Preprint, arXiv:1602.06899 , 2016

    work page arXiv 2016

  20. [20]

    L \" u tkebohmert

    W. L \" u tkebohmert. The structure of proper rigid groups. J. Reine Angew. Math. , 468:167--219, 1995

    work page 1995

  21. [21]

    R. Liu, X. Zhu. Rigidity and a R iemann- H ilbert correspondence for p -adic local systems. Invent. Math. , 207(1):291--343, 2017

    work page 2017

  22. [22]

    W. Messing. T he crystals associated to B arsotti- T ate groups: with applications to abelian schemes . Lecture Notes in Mathematics, Vol. 264. Springer-Verlag, Berlin-New York, 1972

    work page 1972

  23. [23]

    Morrow, T

    M. Morrow, T. Tsuji. Generalised representations as q-connections in integral p -adic H odge theory. Preprint, arXiv:2010.04059 , 2021

    work page arXiv 2010

  24. [24]

    L. Mann, A. Werner. L ocal S ystems on D iamonds and p- A dic V ector B undles . Int. Math. Res. Not. , 2023(15):12785--12850, 07 2022

    work page 2023

  25. [25]

    Schneider

    P. Schneider. p -adic L ie groups , volume 344 of Grundlehren der mathematischen Wissenschaften . Springer, Heidelberg, 2011

    work page 2011

  26. [26]

    P. Scholze. P erfectoid spaces. Publ. Math. Inst. Hautes \' E tudes Sci. , 116:245--313, 2012

    work page 2012

  27. [27]

    P. Scholze. p -adic H odge theory for rigid-analytic varieties. Forum Math. Pi , 1:e1, 77, 2013

    work page 2013

  28. [28]

    P. Scholze. P erfectoid spaces: A survey. In Current developments in mathematics 2012 , pages 193--227. Int. Press, Somerville, MA, 2013

    work page 2012

  29. [29]

    P. Scholze. \'E tale cohomology of diamonds. Preprint, arXiv:1709.07343 , 2022

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  30. [30]

    J.-P. Serre. Lie algebras and L ie groups , volume 1500 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2006. 1964 lectures given at Harvard University, Corrected fifth printing of the second (1992) edition

    work page 2006

  31. [31]

    Grothendieck, M

    A. Grothendieck, M. Demazure. S ch\'emas en groupes I ( S G A 3). Lect. Notes Math , 151, 1962

    work page 1962

  32. [32]

    Scholze, J

    P. Scholze, J. Weinstein. M oduli of p -divisible groups. Camb. J. Math. , 1(2):145--237, 2013

    work page 2013

  33. [33]

    Scholze, J

    P. Scholze, J. Weinstein. B erkeley L ectures on p -adic G eometry . Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2020

    work page 2020

  34. [34]

    D. Xu. Transport parall\`ele et correspondance de S impson p -adique. Forum Math. Sigma , 5:Paper No. e13, 127, 2017

    work page 2017

  35. [35]

    J. Yang, K. Zuo. A note on the p -adic S impson correspondence. Preprint, arXiv:2012.02058 , 2021

    work page arXiv 2012

  36. [36]

    Zavyalov

    B. Zavyalov. Almost coherent modules and almost coherent sheaves. Preprint, arXiv:2110.10773 , 2021

    work page arXiv 2021