The p-adic Corlette–Simpson correspondence for abeloids

For an abeloid variety A over a complete algebraically closed field extension K of Qp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {Q}_p$$\end{document}, we construct a p-adic Corlette–Simpson correspondence, namely an equivalence between finite-dimensional continuous K-linear representations of the Tate module and a certain subcategory of the Higgs bundles on A. To do so, our central object of study is the category of vector bundles for the v-topology on the diamond associated to A. We prove that any pro-finite-étale v-vector bundle can be built from pro-finite-étale v-line bundles and unipotent v-bundles. To describe the latter, we extend the theory of universal vector extensions to the v-topology and use this to generalise a result of Brion by relating unipotent v-bundles on abeloids to representations of vector groups.


Introduction
Let K be a complete algebraically closed field extension of Q p .The goal of this article is to prove the following version of a p-adic Corlette-Simpson theorem for abeloid varieties, i.e. connected smooth proper commutative rigid group varieties over K (see Theorem 6.1): Theorem 1.1.Let A be an abeloid variety over K. Then there is an equivalence of categories finite-dimensional continuous K-linear representations of π 1 (A, 0) ∼ = pro-finite-étale Higgs bundles on A .
This is canonical after choices of an exponential on K and of a splitting of the Hodge-Tate sequence of A.
Here pro-finite-étale Higgs bundles are defined as Higgs bundles such that the underlying vector bundle becomes trivial on a pro-finite-étale covering of A.
To motivate the theorem, we recall that the complex Corlette-Simpson correspondence for a compact Kähler manifold X provides a category equivalence between finite-dimensional complex representations of the fundamental group of X and semi-stable Higgs bundles on X with vanishing Chern classes [Sim92].
In the past 15 years, there has been extensive work on establishing analogs of the complex Corlette-Simpson correspondence in the p-adic setting, i.e. for proper smooth varieties over C p (or more generally for proper smooth rigid spaces over any complete algebraically closed extension K of Q p ): Faltings [Fal05] and later Abbes-Gros-Tsuji [AGT16] have established a correspondence between small Higgs bundles and small so-called generalised representations for smooth proper non-archimedean varieties with a toroidal model.Faltings also proves a result for curves without the smallness assumptions on both sides, but it seems that it is currently not known whether these assumptions can also be eliminated in higher dimensions.Despite all advances, some of which we review below, a major question in the field remains open, namely the problem to determine which Higgs bundles correspond to genuine representations of the étale fundamental group: For algebraic varieties over C p , one might expect that numerical flatness plays a role.For rigid analytic varieties over general base fields, it seems that there is currently not even a precise conjecture for what the correct subcategory of Higgs bundles for such a p-adic Corlette-Simpson correspondence should be.
The case of abeloid varieties.The purpose of this paper is to solve the aforementioned problem in the case of abeloid varieties.This gives a first idea what kind of statement to expect in general.
We note that Theorem 1.1 is closely analogous to the complex case: On complex abelian varieties, semi-stable bundles with vanishing Chern classes are precisely the homogeneous ones [MN84, Theorem 2].Since on an abelian variety A over K = C p the pro-finite-étale vector bundles coincide with the homogeneous ones (see Remark 3.6), our result Theorem 1.1 in this case is indeed analogous to the complex Corlette-Simpson correspondence.However, interestingly, this immediate analogy breaks down if the base field is larger than C p , in which case being pro-finite-étale turns out to be stronger than being homogeneous.
Our proof of Theorem 1.1 relies heavily on the machinery of the pro-étale site of Scholze's p-adic Hodge theory [Sch13a].More generally, it will be convenient to work in the framework of diamonds [Sch17] and the v-site that comes with it.This allows us to reinterpret the representations on the left-hand side of the main result as vector bundles on the v-site, which are very closely related to Faltings' generalised representations.This reduces Theorem 1.1 to a study of the category of v-vector bundles on A. v-Vector Bundles on Abeloid Varieties.The category of (locally spatial) diamonds over K is a large category of "spaces" which contains all smooth rigid K-varieties and all perfectoid spaces over K as full subcategories and hence provides a convenient framework for our purposes.Diamonds come equipped with a topology (i.e. an analytic site) and an étale site, which match the respective sites of smooth rigid K-varieties, thereby allowing us to identify any smooth rigid K-variety with its associated diamond without losing any information.But they also provide us with the much finer v-site: For any locally spatial diamond X, the v-site X v is the site of all locally spatial diamonds over X, where coverings are jointly surjective maps satisfying some quasi-compactness hypothesis.The site X v comes equipped with a structure sheaf O X , which enables us to consider vector bundles on X v : Definition 1.2.Let X be a locally spatial diamond over K (e.g. a smooth rigid K-variety).
(a) A v-vector bundle on X is a sheaf of O X -modules on X v which is v-locally isomorphic to O n X for some n ∈ Z ≥0 .(b) A v-vector bundle E on X is called pro-finite-étale if it becomes trivial on a pro-finiteétale cover of X, i.e. a cofiltered inverse limit of finite étale covers.
Via pullback along X v → X an , the category of v-vector bundles contains the category of classical vector bundles on X an as a full subcategory.To avoid confusion, we will call objects of the latter category analytic vector bundles.
Let now X be a connected proper smooth rigid K-variety and fix any point x ∈ X(K).Then using the language of v-vector bundles, we get a new interpretation of the category of K-linear representations of π 1 (X, x), so in particular of the left-hand-side of Theorem 1.1.Namely, the language of diamonds allows us to construct the universal pro-finite-étale cover where the limit is taken over all pairs (X ′ , x ′ ) of connected finite étale covers X ′ ։ X together with a point x ′ ∈ X ′ (K) over x.Then X → X is a π 1 (X, x)-torsor and it follows (see Theorem 2.9) that there is a natural equivalence of categories pro-finite-étale v-vector bundles on X ∼ = fin.-dim.continuous K-linear π 1 (X, x)-rep. .
In this article, we study the category of v-vector bundles in the case that X is an abeloid variety A. Abeloids are a rigid generalisation of abelian varieties that may be regarded as the p-adic analogs of complex tori.In close analogy with the description of homogeneous vector bundles on complex tori due to Matsushima and Morimoto [Mor59][MM60], as well as on abelian varieties due to Miyanishi and Mukai [Miy73][Muk78, Theorem 4.17], we prove the following structure result for pro-finite-étale v-vector bundles on abeloids (see Theorem 3.5): Theorem 1.3.Let A be an abeloid variety over K. Then a v-vector bundle E on A is pro-finite-étale if and only if it decomposes as a direct sum where each U i is a unipotent v-vector bundle (i.e. a successive extension of trivial bundles) and each L i is a pro-finite-étale line bundle on A.
If E is analytic, all U i and L i occuring in this decomposition are also analytic.
Proof Strategy.We sketch the proof of Theorem 1.1.Using Theorem 1.3 we can reduce the proof to the following two cases: 1. Line bundles.This was done in previous work of the first author [Heu21c] (see §2.6).
2. Unipotent objects on both sides, i.e. successive extensions of the trivial object.This part does not rely on the choice of an exponential.
The proof of step 2 relies on the following analog of Brion's correspondence of unipotent vector bundles and representations of the vector group H 1 (A, O A ) * ⊗ G a (where − * denotes the K-vector space dual) in the algebraic setting of abelian varieties [Bri12, §3.3] (see Theorem 4.11).
Theorem 1.4.Let A be an abeloid variety over K and let τ ∈ {an, v}.Then there is a natural equivalence of categories The proof of Theorem 1.4 relies on a theory of vector extensions (both for the analytic and the v-site) analogous to the classical theory.The appearance of H 1 τ (A, O A ) * ⊗ G a comes from the fact that this vector group features in the universal τ -vector extension of A. This is shown in Theorem 4.9, which generalises the classical result on the universal vector extensions from abelian to abeloid varieties and from the analytic to the v-topology.
In order to link unipotent v-vector bundles to unipotent Higgs bundles, recall that on every smooth proper rigid space X over K there is a canonical short exact sequence of finite dimensional K-vector spaces, the Hodge-Tate sequence (see Section 2.5).Now apply this to X = A and fix a splitting of this sequence.This induces an isomorphism By Theorem 1.4, representations of the left-hand-side correspond to unipotent v-vector bundles, while representations of the right-hand-side correspond to unipotent analytic vector bundles together with a commuting action of H 0 (A, Ω 1 A (−1)) * .It is not hard to verify that the latter action corresponds precisely to a Higgs field (see Proposition 6.2).This concludes the proof of Theorem 1.1.
Naturality of the Correspondence.In contrast to the classical result over the complex numbers, the p-adic Corlette-Simpson correspondence is in general expected to depend on a splitting of the Hodge-Tate sequence and on a choice of an exponential on K.
To understand why the first choice appears, one should view the v-cohomology H 1 v (X, O X ) appearing in Eq. (1) as an analog of the singular cohomology H 1 (Y, C) on a complex manifold Y .In fact, by Scholze's Primitive Comparison Theorem we have In the complex case, the existence of a Kähler form guarantees a canonical splitting of the analog of Eq. (1) (the Hodge decomposition), which plays an important role in the Corlette-Simpson correspondence.In contrast, there is in general no canonical splitting in the non-archimedean world, so we content ourselves with artificially choosing any splitting of the Hodge-Tate map HT.A better way to make this choice is arguably to choose a lift of A to B + dR /ξ 2 , which by [Guo19, Proposition 7.2.5]induces a splitting of this sequence.In particular, by considering the category of abeloids equipped with such a lift, the correspondence in Theorem 1.1 becomes natural in A. We also note that if A is defined over a finite extension of Q p , there is a canonical choice of such a lift, and thus of a splitting of HT.
The choice of an exponential results from the step from G a to G m , and essentially only affects the correspondence for line bundles since it does not enter in the unipotent case.Indeed, given any two choices of an exponential, the resulting equivalences on indecomposable objects only differ by twists with analytic torsion line bundles.Related Work.Towards establishing a p-adic Corlette-Simpson correspondence for representations of the étale fundamental group, Deninger and the third author have investigated the case of Higgs bundles with vanishing Higgs field, in which case they show that one can attach representations to vector bundles with numerically flat reduction [DW05b,DW20].Würthen [Wü20] has extended this functor to the rigid analytic case and has shown that for analytic vector bundles, the notion of numerically flat reduction is closely related to being pro-finite-étale, i.e. the condition that also appears in Theorem 1.1.For abeloids, it is easy to see that the functor thus defined agrees with ours restricted to vanishing Higgs fields.
Liu-Zhu [LZ17] investigate a Riemann-Hilbert functor on a smooth rigid analytic variety X over a finite extension of Q p , which yields part of a p-adic Corlette-Simpson correspondence, namely a tensor functor from the category of étale Q p -local systems on X to the category of nilpotent Higgs bundles on X ⊗ C p .Their approach also uses the pro-étale site in an essential way, but it starts with an arithmetic datum on the representation side and does not consider the question when a local system can be attached to a Higgs bundle.
The category v-bundles has previously been studied by the second and third author [MW20]: For example, they show that pro-finite-étaleness and related properties of vector bundles can be checked on proper covers.
One case in which a p-adic Corlette-Simpson correspondence for representations is known is the case of rank one [Heu21c]: In this case, characters of the étale fundamental group correspond to pro-finite-étale Higgs line bundles, and one can also explicitly describe profinite-étale line bundles as topological torsion points in the Picard variety [Heu21a].
However, a "full" p-adic Corlette-Simpson correspondence from a specific subcategory of Higgs bundles on a proper smooth variety X to the category of finite-dimensional continuous K-linear representations of the étale fundamental group of X has so far not been established yet, not even in non-trivial special cases of X.In particular, the question which vector bundles correspond to genuine p-adic representations in Faltings' equivalence remains open.
Outlook.We believe that our results are useful in two ways: Firstly, we believe that studying abeloid and abelian varieties from a diamantine point of view gives interesting new insights in their theory, for example the universal v-vector extension in this case.
Secondly, since currently there is not even a conjecture for what the p-adic Corlette-Simpson correspondence for representations of the étale fundamental group should look like, it seems very important to first understand interesting special cases.Similarly to how padic Hodge theory was first fully understood on abelian varieties, the goal of this article is therefore to fully understand the p-adic side of the Corlette-Simpson correspondence (i.e."non-abelian p-adic Hodge theory") for abelian varieties, and more generally abeloids.Of course, the fact that the étale fundamental group is abelian in this case makes the correspondence much more accessible.However, we note that the investigation of the category of v-bundles in this special case already has implications for much more general situations.
For example, for algebraic X, or by results of Hansen-Li [HL20, Proposition 4.3] also for rigid analytic X with projective reduction, there is an "Albanese abeloid" X → A with H 0 (A, Ω 1 ) = H 0 (X, Ω 1 ).It follows that our abeloid description captures the entire "abelian" part of the p-adic Corlette-Simpson correspondence for X, i.e. those representations that factor through the torsionfree quotient of the abelianization of the fundamental group of X (which is the adelic Tate module π 1 (A, 0) of the Albanese abeloid).In particular, this explains in this generality which representations should be associated to Higgs fields on the trivial bundle on X.
Acknowledgements.We would like to thank Peter Scholze for many helpful discussions, and the referee for their careful reading and very useful comments.
The first and second author were each supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) via the Leibniz-Preis of Peter Scholze.The first author was funded by DFG under Germany's Excellence Strategy-EXC-2047/1 -390685813.The third author acknowledges support by the Deutsche Forschungsgemeinschaft, through TRR 326 Geometry and Arithmetic of Uniformized Structures, project number 444845124.

Preliminaries on v-vector bundles
Throughout this article, we fix a complete algebraically closed non-archimedean field extension K of Q p .We will work with smooth proper rigid spaces X over K; later X will always be an abeloid variety, but for now we can work in the general case.

Recollections on diamonds
It will be important for our considerations to regard X as a diamond in the sense of Scholze.
In the following we recall some technical background for this.
Let Perf K the category of perfectoid spaces over K.This carries various natural topologies; we will be most interested in the v-topology in the sense of [Sch17, Definition 8.1].We refer to [Sch17,§11] for the definition of diamonds; we will exclusively work with "locally spatial diamonds".By [Sch17, Theorem 12.18] these can roughly be described as v-sheaves Y on Perf K that admit a quasi-pro-étale surjection by a perfectoid space X.We denote by LSD K the full subcategory of v-sheaves on Perf K consisting of all locally spatial diamonds.Every locally spatial diamond Y comes equipped with the following sites: • The v-site Y v consisting of all locally spatial diamonds over Y with the v-topology.
This definition differs slightly from [Sch17, Definition 14.1], where Y v consists of all small v-sheaves on Perf K over Y -however, both definitions produce the same topos, so the distinction does not matter in practice.In a similar vein we could also replace Y v by the v-site of perfectoid spaces over Y .
• The analytic site Y an , which is the site associated to the topological space |Y | (see [Sch17,Definition 11.14]).By definition, the condition that Y be locally spatial means that |Y | is locally spectral.
Given an analytic adic space Z over K, one associates a presheaf Z ♦ on Perf K by sending any perfectoid space X over K to the set of morphisms of adic spaces X → Z over K.By the tilting equivalence, this coincides with the definition in [Sch17, Definition 15.5].
Moreover, for every semi-normal rigid space X over K we have natural equivalences of sites X an = X ♦ an and X ét = X ♦ ét .For any analytic adic space over K, diamondification defines a natural morphism of sites ν : X ♦ v → X an .There are structure sheaves O v and O + v on Perf K which are sheaves for the v-topology [Sch17, Theorem 8.7].In particular, they naturally extend to v-sheaves on LSD K .If X is a semi-normal rigid space, we will usually abuse notation and write X v instead of X ♦ v .On X the restriction ν * O v of O v to X an coincides with the analytic structure sheaf O Xan via the natural map [KL16, Theorem 8.2.3].See [MW20, §2] for more details.We will therefore often omit the subscript and simply write O and O + .
We will write H * an (X, −) and H * v (X, −) for the cohomology with respect to the (small) analytic site X an and the site X ♦ v , respectively.

The diamantine universal cover
Next, we recall the pro-finite-étale universal cover of a rigid space: Definition 2.2 (cf.[Heu21c, Definition 4.6]).Let X be a connected smooth rigid space over K and fix any base-point x ∈ X(K).We define the pro-finite-étale universal cover X of X as where the index category on the right is given by the pointed maps (X ′ , x ′ ) → (X, x) from connected finite-étale covers X ′ → X together with a point x ′ ∈ X ′ (K) over x.The limit is taken in the category of locally spatial diamonds and in particular X is a locally spatial diamond (cf.[Sch17, Lemma 11.22]).The points x ′ give rise to a lift x ∈ X(K) of x.While X → X has a large automorphism group, the additional datum of this point x makes the pointed space ( X, x) unique up to unique isomorphism, and functorial in X.
It is easy to see that X is the universal pro-finite-étale cover of X in the following sense: Let Y → X be any pro-finite-étale cover with a lift y ∈ Y (K) of x.Then there is a unique morphism X → Y over X sending x to y.
If X is proper, then X is also the "universal cover" of X in a v-cohomological sense: Proposition 2.4.Let X be a connected smooth proper rigid space over K.
(ii) Let F be one of the following v-sheaves: Z p , Z, O +a , O or any abelian torsion group G considered as a constant sheaf.Then Proof.Part (i) follows from the fact that X × X X → X is an inverse limit of finite étale covers and every finite étale cover of X splits and hence is isomorphic to a finite disjoint union of copies of X.Part (ii) follows easily from [Heu21c, Proposition 4.9].As a summary, note that the cohomology of G and consequently Z p is easily computed.To get the claim about the cohomology of O + we can then use the Primitive Comparison Theorem ([Sch13a, Theorem 5.1]).The cohomology of O follows by inverting p (since X is qcqs, filtered colimits can be pulled out of the cohomology).

The universal cover of abeloids
If X = A is an abeloid variety, then the universal cover X has particularly good properties: In this case we have a canonical base point 0 ∈ A(K).Since any connected finite étale cover of A is an isogeny from an abeloid A ′ → A, we then more explicitly have A, is the adelic Tate module.In particular, the universal cover in this case gives rise to a diamantine uniformisation We refer to [BGH + 18][Heu21d, §1, §3] for a more detailed discussion of the space A and its properties.For us it will be important that for A one can improve on the properties stated in Proposition 2.4: Remark 2.6.This is not true in general, e.g. for X = P n we simply have X = X.It is unknown whether X can always be represented by an analytic adic space.

Pro-finite-étale vector bundles
The point of view we would like to adopt on Faltings' work is to replace generalised representations by locally trivial O-modules in the v-topology.From this perspective, the honest representations π → GL n (K) correspond precisely to those v-vector bundles that become trivial on the cover X → X, as we shall now discuss.
Definition 2.7.Let X be a smooth rigid space over K.
(a) A v-vector bundle on X is a locally free O-module of finite rank on X v .
(b) An analytic vector bundle on X is a locally free O-module of finite rank on X an .There is a natural functor from analytic vector bundles to v-vector bundles given by where we recall that ν : X v → X an denotes the natural morphism of sites.We say that a v-vector bundle is analytic if it is in the essential image of this functor.
(c) A v-vector bundle on X is called pro-finite-étale if it becomes free on a pro-finite-étale cover of X.If X is connected, then by Lemma 2.3 this is equivalent to saying that it becomes free on X.
(d) We call an analytic vector bundle pro-finite-étale if its associated v-vector bundle is pro-finite-étale.
In the case of K = C p , the category of pro-finite-étale v-vector bundles was studied in [Wü20, §3.1] and [MW20] (more precisely, pro-finite-étale v-vector bundles are equivalent to vector bundles with properly trivializable reduction modulo all p n in the sense of loc cit ).
Note that we have a diagram of sites but there is no functor between the pro-finite-étale site and the analytic site.Indeed, if X is connected, the only object contained in both is the identity X → X.
The following Lemma says that for analytic bundles, we may freely switch back and forth between X an and X v .
Proof.Since ν * O v = O X an by Theorem 2.1 and the following remarks, the functor ν * defines a quasi-inverse on the essential image, as one sees locally on X.
For any base point x we denote by Rep K (π 1 (X, x)) the category of continuous finitedimensional K-linear representations of π 1 (X, x).The following theorem is the key to analyze this category.
Theorem 2.9 ([Heu21c, Theorem 5.2]).Let X be a connected smooth proper rigid space over K and fix x ∈ X(K).Then there is an exact equivalence of tensor categories where This can be regarded as an extension of [Wü20,§3], where a functor from analytic vector bundles to representations is constructed.
Proof.This equivalence is a formal consequence of glueing in the v-site together with Proposition 2.4.More precisely, since any pro-finite-étale v-vector bundle on X is free on X, the category of pro-finite-étale v-vector bundles is equivalent to the category of descent data of finite free O-modules on X v along X → X.From H 0 ( X, O) = K it is clear that the category of finite free O-modules on X is equivalent to the category of finite K-vector spaces.Since X → X is a π 1 (X, x)-torsor, it follows that giving a descent datum of a finite free O-module M along X → X amounts to specifying a π 1 (X, x)-action on M, this can be seen as an instance of the Cartan-Leray spectral sequence [Heu21c, Proposition 3.6].
For the second claim (about local systems) note that it follows in the same vein (using Remark 2.10.We learnt the idea that pro-finite-étale covers of X can be used to study the p-adic Hodge theory of X from Bhatt who in [CBC + 19] uses them for abelian varieties of good reduction to prove the Hodge-Tate decompositon in this case.

Higgs bundles
Let X be a smooth rigid space over K. To motivate the definition of Higgs bundles in the p-adic setting, let us begin by recalling Scholze's perspective on the Hodge-Tate spectral sequence: In [Sch13b], Scholze proves that the Leray spectral sequence for ν : X v → X an applied to the structure sheaf O can be interpreted as the Hodge-Tate spectral sequence in case that X is proper.In low degrees, this is in general a left-exact sequence that is also right-exact if X is proper.Here the (−1) is a Tate twist, which in the absence of Galois actions simply means tensoring with the free Z p -module Hom(T p µ p ∞ , Z p ).Of course since we are working over an algebraically closed field, any choice of a compatible system of p-power unit roots induces an isomorphism Ω 1 (−1) ∼ = Ω 1 , but it is more natural not to make such a choice: For example, the Tate twist is important to keep track of the Galois action if X has a model over a local field.
Definition 2.11.To simplify notation, we shall from now on write Example 2.12.To see why the twist appears, recall that in the case of abelian varieties, one can define HT via the morphism given by regarding an element of dualising, and sending this to the pullback of dT /T on µ p ∞ .Extending K-linearly, we can then use the Weil pairing to identify Twisting by (−1) gives the map HT in Eq. (2).
The upshot of this discussion is that in the p-adic situation, it is natural to include a Tate twist in the definition of Higgs bundles: Definition 2.13.A Higgs bundle on X is a pair (E, θ), where E is an analytic vector bundle on X and θ is an element θ ∈ H 0 (X, End(E) ⊗ Ω 1 ) satisfying the Higgs field condition θ ∧ θ = 0.
Note that we can view θ as a map Higgs bundles on X is a map ϕ : E → E ′ of vector bundles such that the following diagram commutes: The category of Higgs bundles is an exact tensor category, where exactness is measured on the underlying vector bundles and the tensor product is defined as ) with identity object given by the "trivial Higgs bundle" (O, 0).Definition 2.14.Let X be a smooth rigid variety over K.
(a) A pro-finite-étale Higgs bundle on X is a Higgs bundle (E, θ) on X such that E is a pro-finite-étale vector bundle.
(b) A unipotent Higgs bundle on X is a Higgs bundle (E, θ) on X which can be written as a successive extension (in the category of Higgs bundles) of the trivial Higgs bundle.

The p-adic Corlette-Simpson correspondence for line bundles
The category of v-line bundles can be described explicitly in terms of homological algebra.This is possible because the group GL 1 = G m is abelian.We shall now review how one can in particular describe the pro-finite-étale line bundles, and the statement of the p-adic Corlette-Simpson correspondence in this case.
The key point is that there is an analog of Scholze's Hodge-Tate spectral sequence when O is replaced by the sheaf of units O × : As explained in [Heu21c, §2], the p-adic logarithm can be used to show that there is for any smooth rigid space X over K a left-exact sequence Theorem 2.15 ([Heu21c, Theorem 5.2]).Let X be a smooth proper rigid space over K. Then any choice of an exponential function (i.e. a continuous splitting of log on K) and of a Hodge-Tate splitting sets up an equivalence of categories {v-line bundles on X} ∼ − → {Higgs line bundles on X} that induces via Theorem 2.9 an equivalence of categories

∼ − → pro-finite-étale Higgs line bundles on X .
In order to understand the p-adic Corlette-Simpson correspondence in rank one, it thus remains to determine when a Higgs line bundle is pro-finite-étale.This is done as follows: Theorem 2.16 ([Heu21a, Theorem 5.1]).Assume that the rigid Picard functor of X is represented by a rigid group variety G. Then a line bundle L on X is pro-finite-étale if and only if its associated point L ∈ G(K) is topological torsion, i.e. there is N ∈ N such that In the case of abeloid varieties, it is known that the Picard functor is always representable by a group whose identity component is the dual abeloid A ∨ [BL91, §6], and whose Néron-Severi group is torsionfree.Consequently, in this case, the pro-finite-étale line bundles are precisely the ones represented by the topological torsion subgroup In summary, we have in this case a canonical short exact sequence Here the first map can be interpreted as the Weil pairing [DW05a, §4] [Heu21a, §5.2].

Pro-finite-étale vector bundles on abeloids
As before, let K be a complete algebraically closed field extension of Q p .In this section, we show that on an abeloid variety A over K any pro-finite-étale v-vector bundle can be built out of pro-finite-étale line bundles, which are well-understood by the p-adic Corlette-Simpson correspondence in rank 1 of [Heu21c, §5], and unipotent vector bundles.We begin by studying the latter.

Unipotent v-vector bundles
In this subsection, we can again work in greater generality: We assume throughout that X is a smooth rigid space over K.
(b) An analytic vector bundle E on X is analytically unipotent if E is a successive extension of trivial line bundles on X an .
Of course any analytic vector bundle that is analytically unipotent is automatically vunipotent.We will now show that the converse is true.
Lemma 3.2.Let E be an analytic vector bundle on X.Then E is v-unipotent if and only if E is analytically unipotent.
We will therefore in the following just speak of "unipotent" analytic or v-vector bundles.
Proof.We only have to show that every v-unipotent bundle E is also analytically unipotent.We prove this by induction on the rank n of E. Since E is unipotent in the v-topology, we can find a v-topological extension where E ′ is an unipotent v-bundle of smaller rank.By Lemma 2.8, the morphism ϕ : O → E exists already in the analytic topology, where it is clearly still injective.Let now E ′′ := E/O in the analytic topology.Then E ′′ is coherent on X an .By right-exactness of ν * we have ν * E ′′ = E ′ .By Lemma 3.3 below it follows that E ′′ is analytically locally free, necessarily of rank n − 1.We win by induction.
Lemma 3.3.Let X be a smooth rigid space over K and let F be a coherent sheaf on X an .Then F is locally free on X an if and only if its pullback to X v is v-locally free.
Proof.We only need to show the "if" direction, so let us assume that the pullback ν * F of F to X v is v-locally free.We need to show that then F is locally free on X an .This statement is local on X, so we can assume that X = Spa(A, A + ) is affinoid and admits an étale map to a torus T that is a composition of rational localizations and finite étale maps.Let T ∞ → T be the affinoid pro-étale toric tower obtained by adjoining all p-power roots of the coordinates.By [Sch13a, Lemma 4.5], base-changing to X yields a pro-finite-étale cover X ∞ → X of X by an affinoid perfectoid space X ∞ = Spa(A ∞ , A + ∞ ).By [KL16, Theorem 2.3.3],F corresponds to a finite A-module M .Since ν * F is v-locally free by assumption, [KL16, Theorem 3.5.8](see also [SW20, Lemma 17.1.8])implies that (ν * F )| X∞ is analytic locally free and corresponds to a finite projective module M ∞ .Clearly M ∞ = M ⊗ A A ∞ .We now use that the morphism A → A ∞ is split in the category of Amodules: In our situation, this holds because one can pull back splittings for the toric tower using the explicit descriptions in [Sch13a, Lemma 4.5], but we mention that such splittings exist more generally, see [HK20, Lemma 7.6].In particular, A → A ∞ is universally injective, so finite projective modules descend along A → A ∞ (see e.g.[dJ + 20, Theorem 08XD]).It follows that M is finite projective and hence that F is locally free, as desired.
The following analyticity criterion will be helpful when working with analytic vector bundles as v-vector bundles: Lemma 3.4 ([Heu21c, Corollary 3.5]).Let X be a connected smooth rigid space.Let V be an analytic vector bundle and let L be a v-line bundle on X. Suppose that there is a non-trivial map L → V .Then L is analytic.

Classification of pro-finite-étale vector bundles on abeloids
We now come to the promised structure result for pro-finite-étale vector bundles on abeloid varieties.This is an analog of the following classical result.Let A be an abelian variety over an algebraically closed field F .Then a vector bundle E on A is called homogeneous if it satisfies x * E = E for all x ∈ A(F ).We make analogous definitions for complex tori over F = C, as well as abeloids over K.By a theorem of Matsushima, Morimoto [Mor59][MM60] (in the setting of complex tori) and Miyanishi [Miy73], Mukai [Muk78, Theorem 4.17] (in the setting of abelian varieties), a vector bundle E on A is homogeneous if and only if it decomposes as a direct sum where each U i is unipotent and each L i is a homogeneous line bundle.
We now prove an analogous result for pro-finite-étale vector bundles on abeloids: Theorem 3.5.Let A be an abeloid variety over K and let E be a v-vector bundle on A.
(i) E is pro-finite-étale if and only if it decomposes as a direct sum where each U i is a unipotent v-vector bundle and each L i is a pro-finite-étale v-line bundle on A. For each factor, both L i and U i are unique up to isomorphism.
(ii) If E is moreover analytic, then each U i is a unipotent analytic vector bundle and each L i is a pro-finite-étale analytic line bundle on A.
Remark 3.6.It is easy to see that any unipotent vector bundle is homogeneous.The Theorem therefore implies that any pro-finite-étale vector bundle on an abeloid variety A is homogeneous.The converse is true for abelian varieties (and probably also abeloids) over C p , but not over more general fields: already in the case of line bundles one has to instead impose the condition that E corresponds to a topological torsion point of A ∨ (K) tt (see Section 2.6), which is stronger than being homogeneous.
Most of the remaining part of this section is devoted to presenting a proof of Theorem 3.5.At the end (see Corollary 3.14) we also give a slightly different categorical interpretation of this result.
Lemma 3.7.Let χ : Z n p → K × be a continuous character and consider K endowed with the Z n p -action via χ.Then for any d ≥ 0, Proof.Let γ 1 , . . ., γ n be the images of the standard basis of Z n p under χ.We recall that in general, RΓ cts (Z n p , K) is computed by the Koszul complex This follows from the argument in [Sch13a, Proof of Lemma 5.5] by first treating O K = lim ← − O K /p n and then inverting p.
In the case of n = 1, this complex is simply the multiplication (γ 1 − 1) : K → K and we deduce that This is trivial unless γ 1 acts trivially, thus H 1 cts (Z p , K) is as described.The statement for d = 0 is clear, and cohomology vanishes for d > 1.
To deduce the general case, we first note that Inductively, the double complex spectral sequence now shows that We deduce from the case of n = 1 that this is zero unless each γ i acts trivially, in which case it is ∧ d K n , as desired.
For the following results, we need an intermediate pro-finite-étale pro-p-cover defined as follows.
Definition 3.8.Let A be an abeloid over K. Then we define the p-adic universal cover of A as Similarly as for A, we have (we caution that our A p is what is denoted by A in [Heu21b]): Proposition 3.9 ([BGH + 18, Theorem 1], [Heu21b, Proposition 4.2]).The space A p is perfectoid and satisfies for i ≥ 1: Next, we prove an analog of the classical lemma in the theory of abelian varieties that RΓ(A, L) = 0 for any non-trivial homogeneous line bundle L on A, see [Mum74, Chapter 8, (vii)].
Lemma 3.10.Let L = O be a pro-finite-étale v-line bundle on an abeloid variety A over K. Then Proof.The v-line bundle L corresponds to a non-trivial character π 1 (A, 0) → K × by Theorem 2.9.We first consider descent along the prime-to-p-torsor A → A p .Since the action of T p A factors through a finite quotient A[N ] for some N coprime to p, the bundle L already becomes trivial on the finite cover [N ] : A p → A p .Using that O( A p ) = H 0 cts (T p A, O( A)) = K by Proposition 2.4, it follows by the Cartan-Leray spectral sequence (see [Heu21c, Corollary 2.9]) that for all i ≥ 0, acts trivially, in which case H 0 v ( A p , L) = K.We now consider the Cartan-Leray sequence for the T p A-torsor A p → A (also compare to [Sch13a, Propositions 3.5 and 3.7.(iii)]).The above implies that this is given by If L( A p ) = 0, this vanishes.If L( A p ) = K, the group is computed by Lemma 3.7.
Remark 3.11.This argument shows that Lemma 3.7 also holds for Z p replaced by Z. On the group cohomological side, this can be seen by replacing the Cartan-Leray sequence by Hochschild-Serre.Alternatively, one could prove Lemma 3.10 like in the classical case; for this one first needs to establish a Künneth-formula for v-vector bundles.
Corollary 3.12.Let L 1 , L 2 be two pro-finite-étale v-line bundles on an abeloid variety A. Then Proof.We have The statement now follows from Lemma 3.10.
Proof of Theorem 3.5.By Proposition 2.4 there are no non-trivial extensions of O by itself on A, hence every unipotent v-vector bundle on A is pro-finite-étale.So in both (i) and (ii) we only need to show the "only if" part.
Assume that E is pro-finite-étale.Then by Theorem 2.9, E corresponds to a representation π 1 (A, 0) → GL(W ) where W := E( X).Since π 1 (A, 0) is abelian and topologically finitely generated, there is a simultaneous eigenvector, i.e. the representation is upper triangular.By exactness of the equivalence of the theorem, it follows inductively that E is a successive extension of line bundles.By Corollary 3.12, any such extension decomposes into a direct sum of successive extensions E i of some line bundle L i by itself.Then To prove (ii), let us now assume that E is analytic and pro-finite-étale.By (i) we can find a decomposition E = n i=1 (U i ⊗ L i ) of E as a v-bundle.Then each W := U i ⊗ L i ֒→ E is itself an analytic vector bundle since it is a direct factor in E: Indeed, we can write it as the kernel of the morphism E → E/W → E. By fully faithfulness, this is a morphism of analytic vector bundles, and thus its kernel is an analytic vector bundle by Lemma 3.3.By Lemma 3.4, this implies that L i is analytic.Consequently, It is then also analytically unipotent by Lemma 3.2.
The following lemma shows that we can in practice restrict attention to unipotent vector bundles that vanish on the pro-finite-étale pro-p-cover A p : Lemma 3.13.Let E be a unipotent v-vector bundle on an abeloid variety A over K. Then E becomes trivial on A p .In particular, the corresponding representation from Theorem 2.9 factors through T p A → GL n (K).
Proof.A v-vector bundle is unipotent if and only if it is pro-finite-étale and the associated representation π 1 (A, 0) = T A → GL n (K) factors over a conjugate of the subgroup U ⊆ GL n (K) of upper triangular unipotent matrices.Since U is a pro-p-group, any morphism T A → U factors through T p A → U .The claim now follows by looking at the associated descent data (equivalently, by comparing the Cartan-Leray sequences for A and A p ).
As a corollary we derive the following decomposition of the category of all pro-finite-étale vector bundles: Corollary 3.14.Let A be an abeloid variety over K and let Pic tt v (A) denote the set of isomorphism classes of pro-finite-étale v-line bundles on A. Then there is a natural equivalence of categories Here for each class [L] in Pic tt v (A), we have a canonical and natural representative L defined as follows: Write Pic tt v (A) = Hom cts (T A, K × ) and associate to each character ρ the line bundle V ρ defined in Theorem 2.9.Proof.By Theorem 3.5 the functor from right to left is essentially surjective, so we only need to check full faithfulness.This boils down to showing the following: Given two unipotent v-bundles U 1 , U 2 and two pro-finite-étale v-line bundles L 1 = L 2 we have Tensoring with L −1 1 reduces to the case that L 1 = O is trivial.Note that L 2 ⊗ U 2 is a successive extension of copies of L 2 , so inductively Lemma 3.10 shows H i v (A, L 2 ⊗ U 2 ) = 0. Now suppose we are given a morphism f : can be seen as an element of H 0 (A, L 2 ⊗ U 2 ) and hence vanishes.It follows that f factors through U ′ 1 .Inductively, we obtain f = 0, as desired.

The diamantine universal vector extension
As before, let K be a complete algebraically closed field extension of Q p .We have seen in Theorem 2.9 that pro-finite-étale v-vector bundles on an abeloid variety A over K are equivalent to finite dimensional continuous representations of the fundamental group T A = π 1 (A, 0) over K.This raises the natural question: Question 4.1.Given a continuous representation T A → GL n (K), how can we tell whether the associated pro-finite-étale v-vector bundle is analytic?
In this section, we will answer the question above with the help of universal vector extensions.Classically, Rosenlicht [Ros58] has shown that every abelian variety A has a universal extension among all extensions of A by vector groups.Here the vector group in the universal vector extension is the tangent space of the dual abelian variety.In this section we will generalise these results from the algebraic to the analytic setting, i.e. to the case of abeloid varieties.In a second generalisation direction, we prove the existence of universal extensions also for the v-topological analog of vector extensions (see Definition 4.2).We then answer Question 4.1 by generalising results of Brion ([Bri12], see also [BSU13, Theorem 6.4.1, Proposition 6.4.4]) relating universal vector extensions to unipotent representations.

Universal vector extensions of abeloids
In the following we will work with the "big analytic site" LSD K,an (where covers are the open covers) and the "big v-site" LSD K,v of locally spatial diamonds over K (see Section 2.1).Definition 4.2.(a) A vector group over K is a (rigid) group variety V over K which is isomorphic to a finite product of copies of G a .To any finite-dimensional K-vector space W we can associate the vector group W ⊗ G a .As usual, via diamondification we consider V as an object of LSD K,v .
(b) Let A be an abeloid variety over K and let τ ∈ {an, v}.A τ -vector extension of A is an exact sequence of sheaves of abelian groups on LSD K,τ where V is a vector group over K.
Remark 4.3.It is clear that the isomorphism classes of τ -vector extensions of an abeloid variety A by a given vector group V are precisely the elements of Ext 1 τ (A, V ).Note that for τ = an, the groups Ext n an (A, V ) can equivalently be computed either on the site LSD K,an or on A an (or on the big analytic site of rigid K-varieties).Similarly, H n an (A, V ) can equivalently be computed in LSD K,an or A an .Thus the choice of working with LSD K,an instead of A an is really a matter of taste -the reason we choose to work with LSD K,an is that it allows for a uniform treatment of the analytic and v-topology.
By the following lemma, τ -vector extensions of A correspond to τ -V -torsors over A.
Lemma 4.4.Let A be an abeloid variety over K and let τ ∈ {an, v}.Let V be a vector group.Then there is a natural isomorphism of abelian groups In particular, every analytic vector extension of A is also a v-vector extension and moreover is representable by a rigid group variety over K.
This follows from the following very general statement: Lemma 4.5.Let C be any site and let G and H be abelian sheaves on C such that any morphism Proof.This follows from the Breen-Deligne resolution [BBM82, §2.1.5](see also [Sch19,Theorem 4.5]): This is a functorial resolution of G in C of the form From this resolution we directly obtain a spectral sequence By assumption, the terms E i,0 1 agree with those computing Ext(0, H) = 0, and thus the terms E i,0 2 vanish.It follows from the 5-term exact sequence that Proof of Lemma 4.4.We apply Lemma 4.5 to the site LSD K,τ .It then remains to show that δ vanishes.Since H 1 an (A r , O) ⊂ H 1 v (A r , O) for r = 1, 2, it suffices to show this vanishing in the case τ = v.Then by Cartan-Leray, which is evidently the zero map.
In the v-topology, the description of the last lemma can be made even more explicit: Lemma 4.6.Let V be any unipotent v-sheaf, for example a vector group.Then we have Proof.The Cartan-Leray sequence of the cover A p → A induces an exact sequence The first term are precisely the continuous homomorphisms.The last term vanishes, this follows inductively from H 1 v ( A p , O) = 0 by Proposition 3.9.
Lemma 4.7.For the rigid group G a , we have Hom(G a , G a ) = K.In particular, sending defines an equivalence of categories from finite dimensional K-vector spaces to vector groups.
Proof.Taking global sections, Hom(G a , G a ) injects into the endomorphisms of the formal group K[[X]] with its additive group law.Here the statement is clear.Now we are ready to generalise the classical result that there exists a universal vector extension in the Zariski topology on abelian varieties [Ros58] to the rigid analytic setting of abeloids.Moreover, we prove that this also holds in the v-topology: Definition 4.8.For any K-vector space W , we denote by W * = Hom K (W, K) its K-dual.Theorem 4.9.Let A be an abeloid variety over K and let τ ∈ {an, v}.Then there is a universal τ -vector extension i.e.E τ A is a τ -vector extension and for every vector extension 0 Proof.For any vector group V over K we have, by Lemma 4.4, In other words, the τ -vector extensions of A by V are in one-to-one correspondence to Klinear maps f : it is immediate from Lemma 4.7 that we obtain a vector extension E τ A which is universal.

Unipotent representations from vector extensions
Having established the theory of vector extensions of abeloids, we can now generalise a result of Brion for abelian varieties ([Bri12], section 3.3).Definition 4.10.Let V be a vector group over K.By a representation of V on a (finite dimensional) K-vector space W we mean a homomorphism of rigid group varieties We say that this is algebraic if it arises from a morphism of group schemes V → GL(W ) via analytification.(We will see below that this is always the case.) Given any τ -V -vector extension V → E → A (where τ denotes either analytic or vtopology), and any representation ρ : V → GL(W ), the push-out of E along ρ is a τ -vector bundle on A. The following theorem says that the vector bundles arising in this way are precisely the unipotent ones.This is the main result of this section: Theorem 4.11.Let A be an abeloid variety over K and let τ ∈ {an, v}.Then the universal τ -vector extension E τ A defines an equivalence of categories For the proof, we start with the following two easy results about algebraic representations of vector groups in general.We first recall the definition of the matrix logarithm and exponential.These will also be important later on.Lemma 4.12.Let R be a Q-algebra, W a finite free R-module and let U (W ) ⊆ GL R (W ) and N (W ) ⊆ GL R (W ) denote the sets of unipotent and nilpotent R-linear automorphisms of W , respectively.Then there is a natural bijection Moreover, we have: (ii) If n, n ′ ∈ N (W ) commute then exp(n) and exp(n ′ ) commute and (iii) Let u ∈ U (W ) and n ∈ N (W ), then the following are equivalent: u and n commute ⇔ u and exp(n) commute ⇔ log(u) and n commute.
Proof.The involved power series are all finite by definition of unipotent and nilpotent automorphisms.The bijection and (i) and (ii) therefore follow from the analogous statements about formal power series in R To see (iii), it is clear from (i) and (ii) that the last two statements are equivalent.For the first equivalence, the implication ⇒ is also clear.To see ⇐, observe that unu −1 is also a nilpotent matrix, and if u exp(n) = exp(n)u then exp(n) = u exp(n)u −1 = exp(unu −1 ).
It thus follows from injectivity of exp that n and unu −1 coincide.Lemma 4.13.Let K be any non-archimedean field over Q p and T a finite free Z p -module.Consider V := T ⊗ Zp G a as a vector group.Then any rigid analytic representation is unipotent and factors through some vector-subgroup of GL n .In particular, the following categories are equivalent: (a) Algebraic representations of V on finite-dimensional K-vector spaces.
(b) Rigid analytic representations of V on finite-dimensional K-vector spaces.
(c) Continuous unipotent representations of T on finite-dimensional K-vector spaces.
(d) Pairs (W, (u i ) i ), where W is a finite-dimensional K-vector space and (u i ) i is an rkTtuple of pairwise commuting unipotent automorphisms of W .
The equivalence (a , where (e i ) i is a fixed basis of T .
Proof.We start by proving that any rigid analytic representation ρ : T ⊗ Zp G a → GL n is unipotent, and in particular (b)→(c) is well-defined.To see this, consider the restriction ρ |T .We may after conjugating ρ by matrices in GL n (K) assume that ρ |T is upper triangular.We claim that then already ρ is upper triangular: To see this, choose a basis T ∼ = Z r p , then we observe that the matrix entries define rigid analytic functions G r a → G a .By the rigid analytic Identity Theorem (see e.g.[BGR84, Corollary 5.1.4.5]), the subset Z r p ⊆ B r of the closed unit ball B r is Zariski-dense, and thus also Z r p ⊆ G r a is Zariski-dense, i.e. a rational function is uniquely determined on its values on Z r p ⊆ G r a .This shows that the subdiagonal matrix entries vanish because they vanish on T .Hence ρ is an upper triangular representation.
The composition with the projection from the upper triangular matrices to the diagonal is therefore a homomorphism.But since This shows that ρ is indeed unipotent, and the functor (b)→ (c) is well-defined.
A quasi-inverse (d) → (c) is given as follows: For every finite-dimensional K-vector space W , every unipotent automorphism u of W and every γ ∈ Z p let Here the second equality again follows from formal properties of exp and log.It is clear from this definition that u γ is continuous in γ.Moreover, we have u γ1+γ2 = u γ1 u γ2 by Lemma 4.12.(ii).We can thus define the functor (d) → (c) by (W, (u i ) i ) → ρ ′ , where ρ ′ is the representation of T on W with ρ ′ ( i γ i e i ) = i u γi i .We now construct (c) → (a), so let ρ ′ : T → GL(W ) be an object of (c).By Lemma 4.12, the composed map is continuous, additive and has image in pairwise commuting nilpotent matrices.By continuity, θ is Z p -linear.Now by Lemma 4.7 there is a natural isomorphism Hom cts (Z p , K) = Hom(G a , G a ).
As End(W ) is a vector space, with associated vector group End(W ), it follows that Hom Zp (T, End(W )) = End(W ) rkT = Hom alg (T ⊗ Zp G a , End(W )).
In particular, θ extends uniquely to an algebraic map θ : T ⊗ Zp G a → End(W ).Again by Zariski-density, for every K-algebra R the image of θ(R) : T ⊗ Zp R → End(W )(R) lies in pairwise commuting nilpotent matrices, so by Lemma 4.12 we can compose θ with exp (note that log and exp are in fact algebraic on the unipotent and nilpotent matrices, respectively) to get an algebraic map i.e. an object of (a).
It remains to check that starting with a rigid analytic representation ρ : T ⊗ Zp G a → GL n , sending (b) → (c) → (a) → (b) produces a representation ρ ′ which is isomorphic to ρ.To see this, we note that we can regard ρ and ρ ′ as rigid analytic functions By construction, these agree on T .By the above Zariski-density argument, this implies that they agree on G a ⊗ Zp T .
Similarly as for unipotent vector bundles, it is not a priori clear, but true, that an analytic vector extension is the same as a v-vector extension that is locally free in the analytic topology.This is guaranteed by the following lemma: Lemma 4.14.Let A be an abeloid variety over K, let U be a unipotent algebraic group over K, considered as a rigid analytic group via analytification.Let V ⊂ U be a rigid subgroup that is a vector group.Then the following square is Cartesian and all its maps are injective: Proof.Clearly the two horizontal maps are injective.By Lemma 4.6, the right vertical map can be identified with the map and is thus also injective.It follows that all maps in the diagram are injective.Let f be any element in H 1 v (A, V ) whose image in H 1 v (A, U ) comes from H 1 an (A, U ). Then there is a cover W of A by affinoid opens W ⊆ A such that the image of f in each The rows are not necessarily exact, but every element that goes to 0 on the right comes from the left.We conclude that it suffices to prove that the vertical morphism on the right has trivial fibre over 0. We argue by induction on the dimension of U .The induction start of U = G a is clear, here we have to have V = G a and any non-trivial homomorphism G a → G a is an isomorphism by Lemma 4.7, so the vertical map is an isomorphism.
If U has dimension > 1, then we can write it as an extension 0 → U 0 → U → U ′ → 0 with U 0 ∼ = G a .We form the pullback: where V ′ is defined as the quotient V /V 0 , or equivalently the image of V in U ′ .This is again a vector group by Lemma 4.7.Then on each W ∈ W we obtain a diagram of long exact sequences (the top row of abelian groups, the bottom row of pointed sets) We wish to see that α has trivial fibre over 0. For this it suffices to see that β is injective, since the outer vertical maps have trivial fibre over 0 by the induction hypothesis.But H 1 an (W, U 0 ) = 0 since W is affinoid, which implies that U (W ) → U ′ (W ) is surjective.
Proof of Theorem 4.11.We first note that the given functor is fully faithful: It suffices to prove this for τ = v.By Lemma 4.13, the vector bundle E τ A× ρ GL n can then equivalently be described as the pushout of T p A → A → A along ρ |TpA .Regarding unipotent representations of T p A as a full subcategory of all representations, and similarly for v-vector bundles, the fully faithfulness then follows from the equivalence in Theorem 2.9.Next, to see essential surjectivity, let F be a unipotent τ -vector bundle on A. We need to see that there is a vector group V such that F is the pushout of some τ -vector extension 0 → V → E → A → 0 along some representation V → GL n , which is automatically unipotent by Lemma 4.13.When this is known, the result follows from the universal property of the universal τ -vector extension, Theorem 4.9.
By Lemma 3.13, the pullback of F to A induces a continuous representation ρ : T p A → GL n (K).By Lemma 4.13, this extends uniquely to an algebraic unipotent representation Since ρ factors over V , the commutative diagram of Cartan-Leray maps means that F can naturally be seen as a V -torsor.But by Lemma 4.4 we have , hence F can be endowed with a unique structure of a v-vector extension It is then clear from this construction that F can be recovered from this as the pushout of E along V ֒→ GL n , proving the claim in the case τ = v.Let now F be an analytic vector bundle.We claim that then our extension E from above is in fact an analytic vector extension.To see this, let U n denote the group of upper triangular unipotent n × n matrices.Using Ext 1 τ (A, V ) = H 1 τ (A, V ) for τ ∈ {an, v} by Lemma 4.4, Lemma 4.14 implies that we have a Cartesian diagram Moreover, by Lemma 3.2 we have a Cartesian square Combining these shows that the extension E associated to our unipotent vector bundle F is an analytic vector extension if and only if F is analytic.
We can summarise the results of this section by saying that we obtain a commutative diagram of functors in which the vertical arrows are fully faithful embeddings and all other arrows are equivalences of categories unipotent analytic vector bundles on A This answers Question 4.1 above in the unipotent case (the dashed arrows): In order to detect whether a unipotent representation ρ : T p A → GL n (K) corresponds to an analytic vector bundle, we extend K-linearly to a representation and check whether ρ ⊗ K factors through H 1 an (A, O) * .Equivalently, via the "dual Hodge-Tate sequence" 0 → H

Universal Z p -extensions
Before going on, we record two alternative points of view that we hope shed some light on the constructions of the last section.We begin by giving a different perspective on the v-topological part of the last section: We have just seen that any representation of a vector group arises as the unique Klinear extension of a representation of some Z p -lattice.There is an analogous statement for Z p -extensions themselves: Definition 4.15.By a Z p -extension of A we shall mean a short exact sequence of v-sheaves where T ∼ = Z p r for some r ∈ N.
We have the following analog of the universal vector extension: Proposition 4.16.There is a universal Z p -vector extension over A given by the sequence i.e. every other Z p -vector extension arises from this via pushout.
Proof.Let V be finite free over Z p , then we consider the long exact sequence of Hom(−, V ) applied to the displayed sequence: Since V is derived p-complete and A p is p-divisible, we have by [Heu21d, Lemma A.10] Ext v ( A p , V ) = 0.
Consequently, the boundary map induces an isomorphism which implies the desired result.
Corollary 4.17.The universal v-vector extension can explicitly be described as the pushout of Eq. (3) along the natural morphism of v-sheaves Proof.This follows from comparing long exact sequences along the natural transformation Hom(−, Z p ) → Hom(−, O).
Remark 4.18.The analog of this story for the analytic topology is more subtle: One can show using [BL91, Proposition 8.5] that The last group depends on the reduction type of A, namely its rank is precisely the torus rank of the semi-stable reduction.In terms of the Raynaud uniformisation A = E/M , the universal analytic Z p -extension is then given by the canonical pro-étale tower If E is totally degenerate, e.g. if A is a Tate curve, this is an example of a canonical tower for ordinary A that we discuss in the next section.

The case of ordinary reduction
Finally, we now briefly discuss the special case that A has ordinary reduction, since the discussion of this section simplifies a great deal in this case.In particular, we explain an alternative proof of Theorem 4.11 in the ordinary reduction case.Note that by [Lüt95] the usual notion of ordinary reduction generalises to the abeloid case: Definition 4.19.We say that the abeloid variety A has ordinary reduction if the abelian part of the semi-stable reduction is an ordinary abelian variety over the residue field.
Note that the abeloid variety A has ordinary reduction if and only if its Hodge filtration is already rational: Namely, in this case there exists a p-divisible subgroup C ⊆ A[p ∞ ] of height d = dim A called the canonical subgroup such that the Tate module T p C ⊆ T p A spans the Hodge filtration, i.e. we have a commutative diagram of the form In light of this diagram, Theorem 4.11 implies the following simpler statement: Corollary 4.20.Let A be an abeloid variety with ordinary reduction, let ρ : T p A → GL n (K) be a continuous representation and let V ρ be the associated v-vector bundle from Theorem 2.9.
1. Suppose ρ is unipotent.Then V ρ is analytic if and only if ρ vanishes on T p C ⊆ T p A.
2. In general, V ρ is analytic if and only if ρ(T p C) is finite.
Proof.The case of unipotent bundles follows from Theorem 4.11 via the above diagram.
To deduce part 2, it remains by Corollary 3.14 to treat the case of line bundles.We may thus assume that ρ : T p A → K × is a character.In this case, the Corollary follows from the results of [Heu21c]: As recalled in Section 2.6, the v-line bundle V ρ is analytic if and only if HT log(V ρ ) = 0. Combining the diagram [Heu21c, §4.4,(11)] with the above diagram, we see that HT log(V ρ ) gets identified with the image of ρ under the natural map This vanishes if and only if ρ(T p C) lands in µ p ∞ ⊆ K × , the kernel of the logarithm.
We now sketch how one can give an alternative proof of the unipotent part of the Corollary by interpreting it in more geometric terms: Consider the intermediate pro-étale cover This can be identified with the inverse limit over the "dual-to-canonical" isogenies As usual, we see by the Cartan-Leray sequence that we have H 1 v ( A c , O) = Hom(T p C, K) and we thus obtain a short exact sequence We claim that in fact, the following stronger statement holds: We sketch a proof: As in Lemma 4.4 it follows from Lemma 4.5 that one can reduce to showing Ext 1 an ( A c , O) = 0. Via the Raynaud uniformisation A = E/M , one uses this to reduce to the case of good reduction: Namely, the dual-to-canonical isogenies lift uniquely to a tower over E. Let E c be its limit.Exactly like in [BGH + 18, Theorem 4.6], one sees that in the limit the morphism between the two towers gives a short exact sequence relating A c and E c .This reduces us to showing Ext 1 an ( E c , O) = 0.For this we use that E c is itself an extension by a torus of the cover B c for an abelian variety B of good ordinary reduction.Since Ext 1 (G m , O) = 0 as one sees from comparing G m to any Tate curve, this reduces us to the case of good reduction.
In this case, one can use the smooth formal model A of A, which induces a formal model A c of A c .By a comparison of cohomologies, it suffices to prove that H 1 ( A c , O) = 0.For this we use that the dual-to-canonical tower reduces mod p to the tower of Verschiebung isogenies.We thus have since Verschiebung kills each cohomology group.It follows from Eq. (4) by induction that pullback along A c → A kills precisely the unipotent analytic vector bundles.This gives an independent proof that a unipotent vvector bundle is analytic if and only if its associated T p A-representation is trivial on T p C. Remark 4.21.One way in which this perspective could be helpful is that in contrast to the approach via universal vector extensions, it does not use the group structure on A in an essential way.In particular, we believe that diamantine covers like A c can also help understand when generalised representations are representations beyond the case of abeloids.

Higgs bundles on abeloids
As before, let K be a complete algebraically closed field extension of Q p .Having studied pro-finite-étale v-vector bundles on an abeloid variety A over K, we now turn our focus to the other side of the Corlette-Simpson correspondence: the Higgs bundles.It turns out that pro-finite-étale Higgs bundles admit a similar decomposition as pro-finite-étale v-vector bundles, as predicted by the p-adic Corlette-Simpson philosophy.Proving this is the main goal of this subsection.
Proposition 5.1.Let A be an abeloid variety over K. Then a Higgs bundle (E, θ) on A is pro-finite-étale if and only if it can be written as where each (L i , θ Li ) is a pro-finite-étale Higgs line bundle and each (U i , θ Ui ) is a unipotent Higgs bundle on X.
Here Ext 1 denotes the set of isomorphism classes of extensions of Higgs bundles on A.
Proof.By Lemma 3.10, if L = L ′ then Hom(L, L ′ ) = 0 and there are then no non-trivial extensions of L by L ′ .In particular, any Higgs field on L ⊕ L ′ decomposes.Thus also Ext 1 = 0. We can thus reduce to the case L = L ′ .Tensoring with (L ′−1 , −θ ′ ) we are reduced to the case L = L ′ = O and θ ′ = 0.The first statement then follows since Hom(O, O) = H 0 (A, O) = K, and in particular any non-trivial morphism O → O is an isomorphism, which implies θ = θ ′ .

Fix an isomorphism Ω 1
A ∼ = O g A .Then H 0 (A, End(E) ⊗ Ω 1 ) ∼ = H 0 (A, End(E)) g = End(E) g , so the Higgs field Θ can be viewed as a collection of g endomorphisms Θ 1 , . . ., Θ g of E. The condition Θ ∧ Θ = 0 translates to the condition that the Θ i commute pairwise.
Fix now moreover a splitting of E over A, so that E( A) = K 2 .Then via Theorem 2.9, the vector bundle E is associated to a representation ρ : T A = π 1 (A, 0) → U 2 (K) = {( 1 * 0 1 )} ∼ = K, where U 2 (K) denotes the group of upper triangular unipotent 2 × 2-matrices over K. Then End(E) corresponds precisely to the endomorphisms of K 2 (i.e. 2 × 2-matrices) which commute with all ρ(x) for x ∈ T A. Similarly, the Higgs field θ on O corresponds to g elements θ 1 , . . ., θ g ∈ K.The fact that (E, Θ) is an extension of (O, θ) by (O, 0) forces Θ i = 0 b i 0 θ i 6 The p-adic Corlette-Simpson correspondence We now have everything in place to prove our main result, the p-adic Corlette-Simpson correspondence for abeloid varieties.As before, let K be a complete algebraically closed field extension of Q p .Recall that for any smooth proper rigid space X over K, its associated Hodge-Tate spectral sequence degenerates [BMS18, Theorem 13.3], and hence induces a short exact sequence (cf.Section 2.5) The occurring map HT is called the Hodge-Tate map of X.
Theorem 6.1.Let K be a complete algebraically closed field extension of Q p and let A be an abeloid variety over K. Then any choice of an exponential on K and a splitting of the Hodge-Tate map HT of A induce an exact tensor equivalence of categories Rep K (π 1 (A, 0)) ∼ = {pro-finite-étale Higgs bundles on A}.
By Theorem 2.9, the left hand side is equivalent to pro-finite-étale v-vector bundles.As reviewed in Theorem 2.15, the case of line bundles is known.By our decomposition results of both sides, Corollary 3.14 and Corollary 5.3, we are left to treat the unipotent case: Proposition 6.2.The choice of a splitting of the Hodge-Tate map HT of A induces an equivalence of categories {unipotent v-bundles on A} ∼ = {unipotent Higgs bundles on A}.
Proof.By Theorem 4.11, unipotent v-bundles on A are equivalent to algebraic representations H 1 v (A, O) * → Aut(W ) on finite dimensional K-vector spaces.Here and in the following, we simply write H 1 v (A, O) * for the algebraic group H 1 v (A, O) * ⊗ G a to ease notation.We proceed similarly for the other terms in the Hodge-Tate sequence.This abuse of notation is harmless due to the category equivalence in Lemma 4.13.
We now extend this to a chain of equivalences of categories as follows: then these categories are also equivalent to the category of C p -local systems on X v which possess an integral model, as defined in[MW20, Definition 3.23].
checks easily that this is indeed precisely the category of C p -local systems with integral model (for one direction use [MW20, Corollary 3.21]).