arxiv: v1 [math.nt] 8 May 2018

Transcription

1 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES JEAN-MARC FONTAINE arxiv: v1 [math.nt] 8 May 2018 Abstract: Let K be a finite extension of Q p and G K the absolute Galois group. Then G K acts on the fundamental curve X of p-adic Hodge theory (cf. [FF]) and we may consider the abelian category M(G K ) of coherent O X -modules equipped with a continuous and semi-linear action of G K. An almost C p -representation of G K is a p-adic Banach space V equipped with a linear and continuous action of G K such that there exists d N, two G K -stable finite dimensional sub-q p - vector spaces U + of V, U of C d p, and a G K-equivariant isomorphism V/U + C d p /U. These representations form an abelian category C(G K ) (cf. [Fo03]). The main purpose of this paper is to prove that C(G K ) can be recovered from M(G K ) by a simple construction (and conversely) inducing, in particular, an equivalence of triangulated categories D b (M(G K )) D b (C(G K )) 1. Introduction 1.1. We fix a prime number p, an algebraic closure Q p of Q p and a finite extension K of Q p contained in Q p. We set G K = Gal(Q p /K) and C p the p-adic completion of Q p on which G K acts by continuity. In[FF], LaurentFarguesandIintroducedthefundamentalcurveX Qp,C p ofp-adichodgetheory, denoted X below, which is a separated noetherian regular scheme of dimension 1 defined over Q p (i.e. we have H 0 (X,O X ) = Q p ). The structural sheaf is naturally equipped with a topology (cf. 3.4): if U is any open subset of X, then O X (U) is a locally convex Q p -algebra. There is a natural action of G K on X which is continuous. We may consider the abelian category M(G K ) of G K - equivariant coherent O X -modules, that is of coherent O X -modules equipped with a semi-linear and continuous action of G K. Any non zero F Ob(M(G K )) as a degree deg(f) Z and a rank rk(f) N, hence also a slope s(f) = deg(f)/rk(f) Q {+ } (with the convention that s(f) = + if F is a torsion O X -module). As in the classical case, one says that a coherent O X [G K ]-module F is semi-stable if F 0 and if s(f ) s(f) for any non zero subobject F of F. We may consider the full sub-category M 0 (G K ) of M(G K ) whose objects are semi-stable of slope 0. One of the main results of [FF] is that, if F is any object of M 0 (G K ), then F(X) = H 0 (X,F) is a finite dimensional Q p -vector space, hence is an object of the abelian category Rep Qp (G K )ofp-adicrepresentationsofg K (thatisoffinitedimensionalq p -vectorspacesequipped with a linear and continuous action of G K ) and that the functor M 0 (G K ) Rep Qp (G K ), F F(X) is an equivalence of categories (with V O X Qp V as a quasi-inverse). The main purpose of this paper is to discuss the following question: Is there an extension of this result enabling us to give an analogous Galois description of all objects of M(G K )? Date: May 9,

2 2 JEAN-MARC FONTAINE 1.2. In [Fo03], I introduced the category of almost C p -representations of G K : A Banach representation of G K is a p-adic Banach space (i.e. a topological Q p -vector space whose topology can be defined by a norm and which is complete) equipped with a linear and continuous action of G K. With an obvious definition of morphisms, Banach representations of G K form an additive category B(G K ) containing the category Rep Qp (G K ) as a full subcategory. By continuity, G K acts on the p-adic completion C p of Q p and C p has a natural structure of a Banach representation. The category C(G K ) of almost C p -representations of G K is the full subcategory of B(G K ) whose objects are those V s for which one can find d N, two G K -stable finite dimensional sub-q p -vector spaces U + of V and U of C d p and an isomorphism V/U + C d p/u in B(G K ). This category turns out to be abelian (loc.cit.). The curve X has only one closed point which is G K -stable and the orbit under G K of any other closed point is infinite. This implies that a torsion object of M(G K ) is supported at. As the completion ofo X, is the ringb + ofp-adicperiods, the categorym (G K ) oftorsionobjects of M(G K ) ( semi-stable objects of slope ) can be identified to the category Rep tor B (G + K ) of B + -modules of finite length equipped with a semi-linear and continuous action of G K. The topology of any B + -module of finite length is the topology of a p-adic Banach space and we may consider the forget functor Rep tor B (G + K ) B(G K ). We proved in loc.cit. that this functor is fully faithful and that the essential image C (G K ) is contained in C(G K ). Hence, setting C 0 (G K ) = Rep Qp (G K ), we see that for s {0, }, the functor F F(X) induces an equivalence of categories M s (G K ) C s (G K ). Similarly, as for a smooth projective curve over a field, we defined in [FF] the Harder-Narasimhan filtration of any F M(G K ): this is the unique filtration 0 = F 0 F 1... F r 1 F r = F such that all the F i /F i 1 are semi-stable and that s(f i /F i 1 ) > s(f i+1 /F i ) for 0 < i < r. We call the s(f i /F i 1 ), for 1 i r, the HN-slopes of F. Let M 0 (G K ) the full subcategory of M(G K ) whose objects are effective, i.e. such that all their HN-slopes are 0. Similarly let C 0 (G K ) the full subcategory of C(G K ) whose objects are effective, i.e. those V s which are isomorphic to a subobject (in C(G K )) of an object of C (G K ). If F is any coherent O X [G K ]-module, then F(X) is a topological Q p -vector space equipped with a linear and continuous action of G K. The main result of this paper is: Theorem A. IfF is any coherent O X [G K ]-module, then F(X) is an effective almost C p -representation of G K. By restriction to M 0 (G K ) the functor F F(X) induces an equivalence of categories M 0 (G K ) C 0 (G K ). This equivalence doesn t extend to an equivalence between M(G K ) and C(G K ). Nevertheless each of these two categories can be reconstructed from the other: The above functor induces an equivalence of triangulated categories D b (M(G K )) D b (C(G K )) and each of them can be reconstructed as the heart of a t-structure. More precisely: Denote M <0 (G K ) the full sub-category of M(G K ) whose objects are those for which all HN-slopes are < 0. Then t = (M 0 (G K ),M <0 (G K )) is what is called a torsion pair on M(G K ). From this torsion pair, we can construct an other abelian category f(m(g K )) t which is the full subcategory of D b (M(G K )) whose objects are those F s such that F i = 0 for i {0,1}, H 0 (F ) is an object of M <0 (G K ), H 1 (F ) is an object of M 0 (G K ). There is a natural equivalence (M(G K )) t C(G K ).

3 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES 3 Similarly, denote C <0 (G K ) the full sub-category of C(G K ) whose objects are those V s for which Hom(V,W) = 0 for all W in cc (G K ). Then t = (C <0 (G K ),C 0 (G K )) is a torsion pair on C(G K ) which canbe usedto define the abelian subcategory(c(g K )) t whichis the full subcategory of D b (C(G K ) whose objects are those V such that V i = 0 for i {0,1}, H 0 (V ) is an object of C 0 (G K ), H 1 (V ) is an object of C <0 (G K ). There is a natural equivalence (C(G K )) t M(G K ) Contents. In 2, we recall and slightly extend the results of [Fo03] on almost C p -representations. We first recall ( 2.1) some basic facts about locally convex spaces over a non archimedean field. We introduce ( 2.2) the category of (p-adic) ind-fréchet representations (of G K ). Then ( 2.3), we recall some basic facts about the ring of periods B + and B that we equip with a locally convex topology. In 2.4, we discuss some properties of B + -representations and B -representations (of G K ). We describe ( 2.5) the main properties of the category C(G K ) of almost C p -representations and of its full subcategories C 0 (G K ) of finite dimensional p-adic representations and C (G K ) of B + -representations of finite length. In 2.5, we also introduce the category Ĉ(G K) of representations of G K which are suitable limits (in the category of locally convex p-adic representations of G K ) of almost C p -representations. In 2.6, we recall the notion of almost split exact sequence of B(G K ) and the fact that an extension in B(G K ) of two almost C p -representations is an almost C p -representation if and only if the associated short exact sequence almost splits. In 3, we study the category Rep Be (G K ) of B e -representations of G K. We also recall and precise some of the results of [FF] on coherent O X [G K ]-modules. We first recall ( 3.1) some basic facts about the sub-q p -algebras B cris + and B e of B which are stable under the action of G K and equipped with a natural topology oflocally convexalgebras. Then we introduce ( 3.2) Rep Be (G K ) and show that this is a Q p -linear abelian category. We recall ( 3.3) the definition of the fundamental curve X = X Qp,C of p-adic Hodge theory p introduced in [FF] on which G K acts and give a description of the category Coh(O X ) of coherent O X -modules. We discuss ( 3.4) the topology on the structural sheaf O X and give a description of the category M(G K ) of coherent O X [G K ]-modules ( 3.5). We describe ( 3.6) the Harder- Narasimhan filtration on any F M(G K ). We consider two full subcategories of M(G K ): the category M 0 (G K ), of the semi-stable objects of slope 0, the category M (G K ) of objects whose underlying O X -module is torsion. We show ( 3.7) that the global sections functor induces equivalence of categories M 0 (G K ) C 0 (G K ) and M (G K ) C (G K ). In 3.8, we introduce two kinds of twists of the objects of M(G K ), the Tate twists and the Harder-Narasimhan twists. Say that a B e -representation Λ is trivialisable if there exists U C 0 (G K ) and an isomorphism B e Qp U Λ. In 3.9, we show that Rep Be (G K ) is the smallest subcategory of itself containing trivialisable B e -representations and stable under taking extensions and direct summands. In 3.10, we show that, if Λ is a B e -representation of G K, then the underlying topological Q p -vector space equipped with its action of G K is an object of Ĉ(G K) and that the forget functor Rep Be (G K ) Ĉ(G K) is exact and fully faithful. We conclude this section by discussing the cohomology of coherent O X -modules ( 3.11) and of coherent O X [G K ]-modules ( 3.12). We show that, taking the global sections, we get a functor M(G K ) C(G K ), F F(X) = H 0 (X,O X )

4 4 JEAN-MARC FONTAINE whose essential image is contained in C 0 (G K ). The aim of 4 is to construct a left adjoint C(G K ) M(G K ), V F V of the functor F F(X). We show ( 4.3) that any almost C p -representation V has a B e -hull, i.e. there is a pair V e = (V e,ι V e ) with V e a B e -representation (of G K ) and ι V e : V V e a morphism in Ĉ(G K) such that, for all Λ Rep Be (G K ), the map Hom RepBe (G K)(V e,λ) HomĈ(GK) (V,Λ) induced by ι V e is bijective. Similarly with obvious definitions, we show that V has a B + -hull V + and a B -hull V. Using the existence of these hulls and the relations between them and knowing the description of M(G K ) given in 3.5, the construction of the functor V F V is quite simple. The proof of the existence of these hulls relies heavily on the description of all extensions in C(G K ) of an object of C (G K ) by an object of C 0 (G K ) which is given in 4.2. The aim of 5 is to prove theorem A. We first show ( 5.1 (resp. 5.2)) that M 0 (G K ) (resp. C 0 (G K )) is the smallest full subcategory of M(G K ) (resp. C(G K )) containing M 0 (G K ) and M (G K ) (resp. C 0 (G K ) and C (G K )) and stable under extensions and direct summands. Then ( 5.3), we prove by dévissage that the functor M 0 (G K ) C 0 (G K ), F F(X) is an equivalence of exact categories (see 1.5), the functor V F V being a quasi-inverse. The purpose of 6 is to extend the main result to the categories M(G K ) and C(G K ). After some general nonsense on derived categories of exact subcategories of abelian categories ( 6.1), we first extend the main result to an equivalence of of triangulated categories ( 6.2), D b (M(G K )) D b (C(G K )). To go further, we need to introduce the full subcategories M <0 (G K ) of M(G K ) and C <0 (G K ) of C(G K ) of coeffective objects. The main theorem said that, if F M 0 (G K ), then H 0 (X,F) has a natural structure of an object of C 0 (G K ) and this structure determines F. We prove ( 6.3) that, if F M <0 (G K ), then H 1 (X,F) has a natural structure of an object of C <0 (G K ) and this structure determines F. Using this result, we can build C(G K ) from M(G K ) and conversely. We give two different recipes (with independent proofs) for that. We first ( 6.4) describe explicitely the heart of the t-structure on D b (M(G K )) corresponding to C(G K ) and of the t-structure on D b (C(G K )) corresponding to M(G K )). In 6.5, we explain that (M 0 (G K ),M <0 (G K )) is a torsion pair on M(G K ). One can use it to construct a new abelian category equipped with a torsion pair. Up to equivalence, it is C(G K ) equipped with the torsion pair (C <0 (G K ),C 0 (G K )) A remark on possible generalisations. The results of this paper are obviously a special case of a much more general result where K is replaced by any reasonable rigid analytic, Berkovich or adic space. Let s sketch a description of the case where K is now any field complete with respect to a non archimedean non trivial absolute value with perfect residue field of characteristic p. We can define the abelian category Coh(O XK ) of coherent modules on the curve X K. When K is a perfectoid field, X K is the curve X Qp,K constructed in [FF]. If K is not perfectoid, then X K doesn t exist but one can define the category of coherent modules over this virtual curve.

5 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES 5 When K is a finite extension of Q p, there is a natural equivalence of categories Coh(O XK ) M(G K ). We still have the Harder-Narasimhan filtration on Coh(O XK ) and may consider its exact subcategories Coh 0 (O XK ) and Coh <0 (O XK ) which form a torsion pair t on Coh(O XK ). The construction of the curve X K is functorial in K. If C is the completion of a separable closure K s of K, for any coherent O XK -module F, we may consider the pull-back f F of F via f : X C X K. If G K = Gal(K s /K), we may consider the exact category B(G K ) of p-adic Banach representations of G K and we have exact and faithful functors Coh 0 (O XK ) B(G K ), F H 0 (X C,f F) Coh <0 (O XK ) B(G K ), F H 1 (X C,f F) But, in general, these functors are not fully faithful. Working with B(G K ) amounts to work over the small pro-étale site of K and we need to work with a bigger site. A possibility is to use the big pro-étale site K proét of K as defined by Scholze ([Scho]), 8 1 and to replace B(G K ) with the category Vect Qp (K) of Q p -sheaves over K proét ; and C(G K ) with the category of pseudo-geometric Q p -sheaves, an abelian full subcategory of Vect Qp (K) defined by imitating the definition of C(G K ) as a full subcategory of B(G K ). The correspondence K X K can be extended to a functor U X U from the category of perfectoid spaces to the category of Q p -schemes. We also have exact and faithful functors Coh 0 (O XK ) Vect Qp (K), F ( U H 0 (X U,f U F)) Coh <0 (O XK ) Vect Qp (K), F ( U H 1 (X U,f U F)) (where f U : X U X K is the structural morphism). It seems likely (and not so hard to prove) that these functors are fully faithful and that one can describe their essential images Vect pg, 0 Q p (K) and Vect pg,<0 Q p (K). These two functors seem to induce an equivalence of categories (Coh(O XK )) t Vect pg Q p (K) the induced torsion pair on Vect pg Q p (K) being t = (Vect <0 Q p (K),Vect 0 Q p (K)). In the case where K is the p-adic completion of an algebraic closure of Q p, this result has been proved by Le Bras [LB]. We hope to come back soon on this generalisation Conventions and notations. If C is a category, we often write C C for C Ob(C). An exact subcategory of an abelian category A is a strictly full subcategory of A containing 0 and stable under extensions. If B is an exact subcategory of A, we say that a sequence of morphisms of A is exact if it is exact as a sequence of morphisms in A. In particular, we have the obvious notion of a short exact sequence. It is easy to see that, equipped with this class of short exact sequences, B is an exact category in the sense of Quillen (cf. [Qu], see also [Lau]). Actually, any exact category B in the senseofquillencan be viewedasanexact subcategoryofan abeliancategory(cf[qu], 2). As usual Z p (1) is the Tate module of the multiplicative group, and, for all n N, Z p (n) = Sym n Z p Z p (1) Z p ( n) = L Zp (Z p (n),z p ). 1 More precisely, we fix an uncountable cardinal κ satisfying the properties of [Scho], lemma 4.1. The underlying category is the category of perfectoid spaces over K which are κ-small (loc. cit., def.4.3) and covering are as defined in loc. cit., def. 8.1 (the only difference with the big pro-étale site of Scholze is that we restrict ourself to perfectoid spaces lying over the given non archimedean field K).

6 6 JEAN-MARC FONTAINE If M is any Z p -module equipped with a linear action of G K, for all n Z, M(n) = M Zp Z p (n) I would like to thank Laurent Fargues for helpful discussions. 2. Representations of G K In this paper, each time we say representation, we mean representation of G K. In this section, we introduce a few categories of such representations and describe some of their properties. Most of them are already known (see in particular [Fo03]) or easy consequences of known properties Banach, Fréchet, ind-banach and ind-fréchet. We refer to [Em] and [Schn] for basic facts about p-adic functional analysis. All results of this paragraph are either contained or easy consequences of results contained in at least one of these two memoirs. We fix a non archimedean field E, i.e. a field complete with respect to a non trivial non archimedean absolute value, and denote O E its valuation ring. In the applications in this paper, E will be Q p. A locally convex E-vector space is a topological E vector space V such that the open sub-o E -modules of V form a fundamental system of neighbourhood of 0, A Fréchet E-vector space or an E-Fréchet is a locally convex E-vector space which is metrisable and complete, A Banach E-vector space or an E-Banach is a Fréchet vector space whose topology can be defined by a norm, An ind-fréchet (resp. ind-banach) E-vector space or an ind-e-fréchet (resp. ind-e- Banach) isalocallyconvexe-vectorspacev, suchthatonecanfindanincreasingsequence (V n ) n N of closed sub-e-vector spaces such that i) V = n N V n, ii) each V n, with the induced topology, is an E-Fréchet (resp. an E-Banach), iii) the topology of V is the coarsest locally convex topology with these properties. Condition (iii) is equivalent to the fact that a sub-o E -module L of V is open if and only if L V n is open in V n for all n N. If V is a topological E-vector space, it is an E-Fréchet if and only if i) its topology can be defined by a countable family (q n ) n N of semi-norms, ii) V is complete. In this situation, replacing each q n by q n = sup 0 i n q i, we may assume that q n q n+1 for all n. Then, if V n is the Hausdorff completion of V, with respect to q n, this is an E-Banach and we have an homeomorphism V lim n NV n (with the inverse limit topology on the RHS). Conversely, any inverse limit, indexed by N, of E-Banach is an E-Fréchet. Let V be a topological E-vector space. We say that a decreasing filtration (F n V) n Z by closed sub-e-vector spaces of V is admissible if i) n Z F n V = V and n Z F n V = 0, ii)ifm Zandr N, thenf m V/F m+r V, equippedwiththeinducedtopology,isane-banach, iii) if m Z, then the natural map F m V lim r NF m V/F m+r V is an homeomorphism (with the inverse limit topology on the RHS),

7 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES 7 iv) a sub-o E -module L of V is open if and only if L F n V is open in F n V for all n. The following result is obvious: Proposition 2.1. Let V be a topological E-vector space. Then i) V is an ind-e-fréchet if and only if it has an admissible filtration, ii) V is an E-Banach (resp. an E-Fréchet, resp. an ind-e-banach) if and only if has an admissible filtration (F n V) n Z such that F 0 V = V and F 1 V = 0 (resp. F 0 V = V, resp. F 1 V = 0). Proposition 2.2. Let V 1 and V 2 two ind-e-fréchet, (F n V 1 ) n Z an admissible filtration of V 1 and (F n V 2 ) n Z an admissible filtration of V 2. Let u : V 1 V 2 an E-linear map. The following are equivalent: i) the map u is continuous, ii) for all m Z, there exists n Z such that u(f m V 1 ) F n V 2 and the induced map is continuous. F m V 1 F n V 2 Proof : ii) = i): It s enough to show that, if L is an open lattice in V 2, then f 1 (L) is open in V 1 which means that if m Z, then f 1 (L) F m V 1 is open in F m V 1 which is indeed true as, if n is such that f(f m V 1 ) F n V 2, this is the inverse image of the continuous map F m V 1 F n V 2 which is induced by f. i) = ii): All the F n V 2 are E-Fréchet. For each fixed m, so is F m V 1 and the existence of such an n is explained by Schneider in [Schn] (cor. 8.9). Corollaire 2.3. Let V be an ind-e-fréchet and (F n V) n Z an admissible filtration. Then V is an E- Banach (resp. an E-Fréchet, resp. an ind-e-banach) if and only if there exists m n such that F m V = V and F n V = 0 (resp. m such that F m V = V, resp. n such that F n V = 0). Corollaire 2.4. Let V be an ind-e-fréchet and (F n 1 V) n Z and (F n 2 V) n Z two admissible filtrations. For all m Z, there exists n Z such that F m 1 V Fn 2 V. An ind Fréchet E-algebra is a topological E-algebra B which has a multiplicative admissible filtration, i.e. an admissible filtration (F n B) n Z of the underlying topological E-vector space such that, if m,n Z, and, if b F m B, b F n B, then bb F m+n B. A Banach (resp. Fréchet, resp. ind-banach) E-algebra is an ind Fréchet E-algebra B which has a multiplicative admissible filtration (F n B) n Z such that F 0 B = B and F 1 B = 0 (resp. F 0 B = B, resp. F 1 B = 0) Ind-Fréchet representations. From now on E will be Q p. We ll say Banach, Fréchet, ind-banach, ind-fréchet instead of Q p - Banach, Q p -Fréchet, ind-q p -Banach, ind-q p -Fréchet. We ll say Banach algebra, Fréchet algebra,... instead of Q p -Banach algebra, Q p -Fréchet algebra,... The category IF(G K ) of ind-fréchet representations (of G K ) is the category whose objects are ind-fréchet equipped with a Q p -linear and continuous action of G K, morphisms are G K -equivariant continuous Q p -linear map. The category IF(G K ) is an additive Q p -linear category and any morphism f : V 1 V 2 has a kernel and a cokernel: the kernel is the G K -stable closed sub-q p -vector space which is the kernel of the underlying Q p -linear map. The cokernel is the quotient of V 2 by the G K -stable closed sub-q p -vector space which is the closure of f(v 1 ). We say that a morphism f is strict if the map Coim(f) Im(f)

8 8 JEAN-MARC FONTAINE is an homeomorphism. Similarly one can define in an obvious way the categories B(G K ), IB(G K ) and F(G K ) of Banach, ind-banach, Fréchet representations (of G K ). This is coherent with the definition of B(G K ) already given in the introduction The rings B + and B and their topologies. We denote B the usual field of p-adic periods. Recall (cf. eg. [Fo88], 1.5) that it is the fraction field of a discrete valuation ring B +, that G K acts naturally on these two Q p -algebras and that Z p (1) is naturally a G K -stable sub-z p -module of B +. We chose a generator t of Z p(1). This is also a generator of the maximal ideal of B +. Therefore, for all d Z, the dth -power of this ideal is and is stable under G K. For each d 0, we set Fil d B = B +.td = B + (d) B d = B + /Fild B. Recall ([Fo88], 1.5.3) that B d has a natural structure of a Banach algebra on which the action of G K is continuous, that, in particular, B 1 = C p, and that, for each d N, the projection B d+1 B d is also continuous. Equipped with the topology of the inverse limit, B + becomes a Fréchet algebra on which G K acts continuously. For all n Z, multiplication by t n defines a bijection B + Filn B and we equip Fil n B with the induced topology (for which the action of G K is continuous (but not that multiplication by t n does not commute with the action of G K ). If n Z, then Fil n+1 B is closed in Fil n B and we equip B with its natural locally convex topology(asub-z p -modulelofb isopenifandonlyif, foralln Z, the Z p -module L Fil n B is open in Fil n B ). We see that B is an ind-fréchet K-algebra, with (Fil n B ) n Z as a G K -equivariant multiplicative admissible filtration. In particular B has a natural structure of an ind-fréchet K- representation of G K B + and B -representations. Any B + -module of finite type has a natural structure of a K-Fréchetand any finite dimensional B -vector space has a natural structure of an ind-fréchet K-vector space. A B + -représentation (resp. a B -representation) (of G K ) is a B + -module of finite type (resp. a finite dimensional B -vector space) equipped with a semi-linear and continuous action of G K. With the G K -equivariant B + -linear maps as morphisms, these representations form a category that we denote Rep B + (G K ) (resp. Rep B (G K )). The category Rep tor B (G + K ) = C (G K ) of torsion B + -representations (of G K) defined in the introduction ( 1.2) is the full subcategory of Rep B + (G K ) whose objects are such that the underlying B + -module is torsion ( of finite length). Recall (e.g. [Stack], Tag 02MN) that a Serre subcategory C of an abelian category A is a strictly full subcategory of A containing 0 which is stable under subobjects, quotients and extensions. In particular, this is an abelian category. Given A and C, one can define the quotient category A/C which is an abelian category, solution of the obvious universal problem. Proposition 2.5. The category C (G K ) is a Serre subcategory of Rep B + (G K ). The functor Rep B + (G K ) Rep B (G K ), W B B + W is essentially surjective and induces an equivalence Rep B + (G K )/C (G K ) Rep B (G K ).

9 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES 9 Proof : The essential surjectivity comes from the fact that, for any B -representation W, there is a G K -stable lattice B + -lattice W+. This result itself comes from the fact that if W 0 + is a B+ - lattice of W, then W 0 is an ind-fréchet K-vector space with (t n W 0 + ) n Z forming an admissible filtration. For each w W, the g(w) s for g G K form a compact subset of W, hence it is bounded which implies ([Schn], prop.5.6) that it is contained in t n W 0 + for n 0. Hence, if e 1,e 2,...,e d is a basis of W over B, there exists n N such that g(e i ) t n W 0 + for 1 i d and g G K. Therefore the sub-b + -module W+ of W generated by all these g(e i ) s is also contained in t n W 0 + and is a G K-stable B + -lattice of W. The continuity of the action of G K on W implies the continuity of the action on W + which is an object of Rep B + W + to W and the functor is essentially surjective. obvious identification of B B + The rest of the proof is straightforward. (G K ). We have an If W is any object of C (G K ), there is an integer d such that the underlying B + -module is a B d -module of finite type. As B d is a Banach Q p -algebra, the underlying topological Q p -vector space is a Banach and W has a natural structure of a p-adic Banach representation. In [Fo03], we proved (th.3.1): Proposition 2.6. The forget functor is fully faithful. C (G K ) B(G K ) In other words, given a p-adic Banach representation W of G K, there is at most one structure of B + -module of finite length on W extending the action of Q p such that W becomes a torsion B + -representation. We use this result to identify C (G K ) to a full subcategory of B(G K ). We denote Ĉ (G K ) the full subcategory of IF(G K ) whose objects are those W s which admit a G K -equivariant admissible filtration (F n W) n Z such that F m W/F n W C (G K ) for all m n in Z. By passing to the limit, the previous proposition implies that, on such a W, there is a unique structure of B + -module such that the action of G K is semi-linear and each F m W is a sub-b + -module (and this structure is independent of the choice of (F n W) n Z ). We also see that Ĉ (G K ) is an abelian category and that any morphism of Ĉ (G K ) is B + -linear. Moreover Rep B + (G K ) can be identified to a full subcategory of Ĉ (G K ). The proposition 2.5 implies that this is also true for Rep B (G K ). Proposition 2.7. Let d N. i) Let W 1 be an object of C (G K ) such that length B + W 1 d. There exists a finite extension K of K contained in Q p and a G K -stable sub-b + -module W 1 of W 1 of length d. ii) Let W 2 be an object of Rep B + (G K ) with length B + W 2 d. There exists a finite extension K of K contained in Q p and ag K -stable sub-b + -module W 2 of W 2 such that length B + d. W 2 /W 2 = Proof : i) Via an obvious induction, we see that it is enough to check it for d = 1. Replacing W 1 by the kernel of the multiplication by t in W 1, we may assume that W 1 is a C p -representation. Recall some basic facts of Sen s theory [Sen]: Let χ : G K Z p be the cyclotomic character, H K the kernel of χ and L = (C p ) HK which is also the completion of K = Q HK p. We set Γ K = G K /H K = Gal(K /K). The character χ factors through a character Γ K Z p that we still denote χ.

10 10 JEAN-MARC FONTAINE For any C p -representation W (of G K ), denote W f K the union of the finite dimensional sub- K-vector spaces of W HK stable under the action of G K (acting through Γ K ). This is a finite dimensional K -vector space equipped with a semi-linear action of Γ K. With obvious notations, the functor Rep Cp (G K ) Rep K (Γ K ), W W f K is exact and fully faithful, for any W Rep Cp (G K ), the obvious map C p K W f K W is an isomorphism, for all W Rep Cp (G K ), there exists a unique endomorphism α W,K of the K -vector space W f K such that: for all w W f K, there is an open subgroup Γ w of Γ K such that, if γ Γ w, then γ(w) = exp(log(χ(γ)).α W,K )(w) (the series exp(λα W,K ) converges to an endomorphism of W f K for all small enough λ Z p). It is easyto see that, if K 1 is a finite extension of K contained in Q p, then W f K 1 can be identified to (K 1 ) K W f K and that α W,K 1 is the (K 1 ) -endomorphism of W f K 1 deduced from α W,K by scalar extension. Chose such a K 1 containing an eigenvalue λ of α W,K, hence also of α W,K1 and chose a non zero eigenvector ω 0 W f K 1 for α f W,K 1. There is a finite extension K of K 1 contained in Q p such that, for all γ Γ K, we have γ(w 0 ) = exp(log(χ(γ)).λ).w We can view w 0 as a non zero element of W f K and we see that for all b K and all γ Γ K, we have γ(bw 0 ) = γ(b).exp(log(χ(γ)).λ).w, hence the K -line of W f K generated by w 0 is stable under the action of Γ K. Therefore the C p -line W 1 of W 1 generated by w 0 is stable under the action of G K. ii) Replacing W 2 by W 2 /t r W 2 with r big enough, we may assume that W 2 is an object of C (G K ). The result follows by duality from the assertion (i) applied to the Pontryagin dual W = L B + (W 2,B /B + ) of W Almost C p -representations. If V 1 and V 2 are two objects of IF(G K ), an almost isomorphism f : V 1 V 2, also denoted f : V 1 /U 1 V 2 /U 2, is a triple f = (U 1,U 2, f) where U 1 is a finite dimensional G K -stable sub Q p -vector space of V 1, U 2 is a finite dimensional G K -stable sub Q p -vector space of V 2 and f : V 1 /U 1 V 2 /U 2 an isomorphism of ind-fréchet representations. We say that two objects V 1 and V 2 of IF(G K ) are almost isomorphic if there exists an almost isomorphism f : V 1 V 2. We have (cf. [Fo03], th.5.3): Proposition 2.8. Let V be an object of B(G K ). The following are equivalent: i) V is almost isomorphic to a torsion B + -representation, ii) V is almost isomorphic to a C p -representation,

11 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES 11 iii) there is d N such that V is almost isomorphic to C d p (equipped with the natural action of G K ). We denote C(G K ) the category of almost C p -representations (of G K ), that is the full subcategory of B(G K ) whose objects satisfy the equivalent conditions of the previous proposition. This is coherent with the definition given in the introduction ( 1.2). The category C(G K ) contains C (G K ) = Rep tor B (G + K ) and C 0 (G K ) = Rep Qp (G K ) as full subcategories. A weak Serre subcategory B of an abelian category A is a strictly full subcategory which is abelian, such that the inclusion functor is exact and which is closed under taking extensions. The following results are essentially contained in [Fo03]: Theorem 2.9. The category C(G K ) is abelian and any morphism of C(G K ) is strict as a morphism of B(G K ). A sequence of morphisms of C(G K ) is exact if and only if the underlying sequence of Q p -vector spaces is exact. The category C 0 (G K ) is a Serre subcategory of C(G K )and C (G K ) is a weak Serre subcategory of C(G K ). Moreover: i) If U C 0 (G K ) and W C (G K ), then Hom C(GK)(W,U) = 0. ii There exists two additive functions d : Ob C(G K ) N and h : Ob C(G K ) Z uniquely determined respectively by d(u) = 0 if U C 0 (G K ) and d(c p ) = 1 (resp. h(u) = dim Qp (U) if U C 0 (G K ) and h(c p ) = 0). Furthermore, if W C (G K ), then d(w) = length B + (W) and h(w) = 0. Proof : This is essentially the theorem 5.1 of [Fo03] except for: The fact that C 0 (G K ) is a Serre s subcategory of C(G K ) which is a triviality. The fact that C (G K ) is a weak Serre s subcategory of C(G K ). The only thing which is not obvious is the stability under extensions of C (G K ) inside of C(G K ), which is contained in loc.cit., prop.6.3. The fact that if U C 0 (G K ) and W C (G K ), then Hom C(GK)(W,U) = 0, which is the corollary of the theorem 5.1 of loc.cit.. For instance, we see that, if U is a G K -stable finite dimensional sub Q p -vector space of C p, then d(c p /U) = 1 and h(c p /U) = dim Qp U. If V C(G K ), W C (G K ) and f : V/U + W/U is an almost isomorphism, from the diagramme 0 U + V V/U U W W/U 0 whose lines are exact, we deduce that d(v) = d(w), h(v) = h(u + ) h(u ) = dim Qp (U + ) dim Qp (U ). Corollaire i) For any V C(G K ), we have V C 0 (G K ) d(v) = 0 (in which case h(v) = dim Qp V 0). ii) If g : V W is a monomorphism of C(G K ) with W C (G K ) such that d(v) = d(w), then g is an isomorphism. Proof : : Looking at an almost isomorphism as above, the first assertion is immediate. For the second, let U be the cokernel of g. We have d(u) = 0, hence U C 0 (G K ), hence U = 0, as there is no non trivial morphism from W to an object of C 0 (G K ).

12 12 JEAN-MARC FONTAINE Remark As C 0 (G K ) is a Serre subcategory of C(G K ), we may consider the quotient C(G K ) = C(G K )/C 0 (G K ) It is known ([Fo03], prop.7.1) that this abelian category is semi-simple with exactly one isomorphism class of simple objects which is the class of C p viewed as an object of this category. Hence C(G K ) is completely determined, up to equivalence, by the somewhat mysterious huge skew field D K of the endomorphisms of C p in this category (loc.cit., prop.7.2). We denote Ĉ(G K ) the full subcategory of IF(G K ) whose objects are those V s which admit a G K -equivariant admissible filtration (F n V) n Z such that F m V/F n V C(G K ) for all m n in Z. By passing to the limit, we see that the previous theorem implies: Proposition Any morphism of Ĉ(G K ) is strict (as a morphism of IF(G K )) and this category is abelian. A sequence of morphisms of Ĉ(G K ) is exact if and only if the underlying sequence of Q p -vector spaces is exact.the category C(G K ) is a Serre s subcategory of Ĉ(G K) though Ĉ (G K ) is a weak Serre s subcategory. Remarque As Rep B + (G K ) and Rep B (G K ) are Serre s subcategories of Ĉ (G K ), these two categories are also weak Serre s subcategory of Ĉ(G K) Almost split exact sequences. WesaythatasequenceofmorphismsofIF(G K )isexactiftheunderlyingsequenceofq p -vector spaces is exact. An almost splitting of a short exact sequence 0 V V V 0 in IF(G K ) is a G K -stable closed sub-q p -vector space S of V such that (1) the compositum S V V is onto, (2) the Q p -vector space S V is finite dimensional. We say that such an exact sequence almost splits if there exists such an almost splitting. This is equivalent to saying that there exists a G K -stable finite dimensional sub-q p -vector space U of V such that the sequence 0 V /U V/U V 0 splits. We observe that any almost splitting S of a short exact sequence defines, in an obvious way, almost isomorphisms 0 V V V 0 V V V S V. Let s recall two results of [Fo03] (th.5.2 and prop.5.2): Proposition Let 0 W W W 0 a short exact sequence in IF(G K ) with W and W in C (G K ). Then W C (G K ) if and only if the sequence almost splits. Proposition Let 0 V V V 0 a short exact sequence in IF(G K ) with V and V in C(G K ). Then V is in C(G K ) if and only if the sequence almost splits.

13 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES 13 Corollary Among the strictly full subcategories of B(G K ) which are abelian, containing C p and C 0 (G K ) and stable under almost split extensions, there is a smallest one. This is C(G K ). Proof : Clear! 3. B e -representations and coherent O X [G K ]-modules 3.1. The topological Q p -algebras B cris + and B e. Recall (cf. e.g. [Fo88], 2.3 and 4.1) that B + cris is a Banach algebra equipped with a continuous endomorphism ϕ and a continuous action of G K commuting with ϕ. There is a natural G K - equivariant continuous injective homomorphism of topological Q p -algebras B + cris B+ that we use to identify B cris + to a subring of B+ containing t. For each d N, we set P d = {b B + cris ϕ(b) = pd b}. This is a G K -stable closed sub-q p -vector space of B + cris as well as of B+. Moreover B+ cris and B + induce the same topology on Pd which can be viewed as a Banach representation of G K. We have a a canonical short exact sequence 0 Q p (d) P d B d 0 where Q p (d) = Q p t d and P d B d is the compositum P d B cris + B+ proj B d. In particular we see that P d is an almost C p -representation with d(p d ) = d and h(p d ) = 1. As usual, we set B cris = B + cris [1/t] that we can view as a G K-stable subring of B. We have ϕ(t) = pt and ϕ extends uniquely to B cris. Moreover the natural map B cris B = B + [1/t] is still injective and we use it to identify B cris to a G K -stable sub-q p -algebra of B. Recall that B e = {b B cris ϕ(b) = b} is also a G K -stable sub-q p -algebra of B. We endow it with the topology induced by the (locally convex) topology of B. Then, we have B e = lim d NFil d B e = d N Fil d B e where, for all d N, Fil d B e = B e B + t d = P d.t d = P d ( d) is an almost C p -representation (with d(p d ( d)) = d and h(p d ( d)) = 1) homeomorphic to P d as a Banach. Setting P d = P d ( d) = 0 for d > 0, we see that B e is an ind-banach algebra with (P n (n)) n Z a G K -stable multiplicative admissible filtration B e -representations. The topology of B e induces on each B e -module of finite type a natural topology for which it is an ind-fréchet (actually an ind-banach). A B e -representation (of G K ) is a B e -module of finite type equipped with a semi-linearand continuousactionofg K. With the G K -equivariantb e -linear maps as morphisms, B e -representations form a category that we denote Rep Be (G K ). Proposition 3.1. The B e -module underlying any B e -representation is free of finite rank. The category Rep Be (G K ) is a Q p -linear abelian category. Proof : Recall ([FF], th.6.5.2) that B e is a principal ideal domain. In particular it is a noetherian ring and the fact that Rep Be (G K ) is a Q p -linear abelian category is obvious. Moreover(loc.cit., prop ), for any maximal ideal p of B e, the orbit of p under the action of G K is infinite. This implies that there is no non trivial G K -equivariant ideal of B e. If Λ is any non zero B e -representationof G K, the annihilator of its torsion sub-module is a proper G K -equivariant ideal and must be 0. Therefore the B e -module underlying Λ is torsion free, hence free of finite

14 14 JEAN-MARC FONTAINE rank. Remark 3.2. Let C e the fraction field of B e. This is the union of the fractional ideals of B e. For each such ideal a, the choice of a generator a defines a bijection B e a, b ba and we put on a the topology defined by transport de structure, which is independent of the choice of the generator. Hence each a is naturally an ind-banach (Q p -vector space). If a b are two fractional ideals, this inclusion is continuous and a is a closed sub-q p -vector space of b. Hence we may endow C e with the coarsest locally convex topology such that, for all fractional ideal a, the map a C e is continuous (a lattice L in C e is open if and only if L a is open in a for all a). The action of G K on C e is continuous for this topology (but C e doesn t seem to be an object of IF(G K )) and we may consider the category Rep Ce (G K ) of C e -representations (of G K ), that is of finite dimensional C e -vector spaces equipped with a semi-linear an continuous action of G K. This is obviously a Q p -linear abelian category. We have an obvious exact Q p -linear functor Rep Be (G K ) Rep Ce (G K ), Λ C e Be Λ. This functor is fully faithful: if M Rep Ce (G K ) is a C e -representation of dimension d, there is at most one G K -equivariant sub-b e -module of rank d because if Λ 1 and Λ 2 are two of them, so are Λ 1 +Λ 2 and (Λ 1 +Λ 2 )/Λ 1 is torsion, hence 0. Remark 3.3. If Λ is any B e -representation of G K, the underlying Q p -vector space is locally convex and Λ inherits a natural structure of an object of IF(G K ). We ll see later that the forget functor Rep Be (G K ) IF(G K ) is fully faithful (prop.3.11) and that its essential image is contained in Ĉ(G K) (prop.3.12). Proposition 3.4. Let W C (G K ) and Λ Rep Be (G K ). Then Hom IF(GK)(W,Λ) = 0. Proof : Let f : W Λ such a morphism. We see that B Be Λ is a B -representation of G K and that g : Λ B Be Λ, λ 1 λ is a morphism of IF(G K ). But gf : W B Be Λ must be B + -linear ( 2.4). As the B+ - module W is torsion though B Λ is torsion free, we have gf = 0, hence also f = 0 as g is injective Coherent O X -modules. We know that B e is a PID and we may consider the open curve X e = Spec B e, a noetherian regular affine scheme of dimension 1 whose function field is the fraction field C e of B e that we can see as a subfield of B. For each closed point x of X, the local ring O X,x is a DVR and we denote v x the corresponding valuation on C e normalised by v x (Ce) = Z. Recall (cf. [FF], 6.5.1) that the curve X = X Qp,C can be defined as the compactification at p infinity of X e. More precisely, as B is the fraction field of the discrete valuation ring B +, it is naturally equipped with a valuation v : if b B is 0, then v (b) is the biggest n Z such that b Fil n B. We denote v the restriction of v to C e. The topological space underlying X is obtained from the topological space underlying X e by adding the closed point defined by v. Hence, the function field of X is C e and, if U is any non empty open subspace of X, we have O X (U) = {b C e v x (b) 0, x U}.

15 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES 15 We have X \{ } = X e, the ring B + is the completion of O X, and B is the completion of C e for the topology defined by v. Consider the following category Coh(O X ): an object of Coh(O X ) is a triple (F e,f +,ι F) with F e a B e -module of finite type, F + a B + -module of finite type and ι F : F + B Be F e a B + -linear map inducing an isomorphism of B -vector spaces B B + F + B Be F e. amorphism (F e,f +,ι F) (G e,g +,ι G) is apair (f e,f + ) with f e : F e G e a B e -linear map and f + : F+ G+ a B+ -linear map such that the obvious diagram commutes. To any coherent O X -module F, we can associate an object (F e,f +,ι F) of this category: F e = F(X e ), F + = B OX, F, the completion of the fiber of F at, the completion at of the general fiber is B B + F + as well as B Be F e and ι F : F + B Be F e is the natural map. This correspondence is obviously functorial and it s immediate to see that it gives an equivalence of categories. We use it to identify the category of coherent O X -modules to Coh(O X ). In this equivalence we see that the category Bund(X) of vector bundles over X, i.e. of torsion free coherent O X -modules, can be identified to the full subcategory of Coh(O X ) whose objects are triples (F e,f +,ι F) such that the B e -module F e and the B + -module F+ are torsion free ( free) The topology on O X. The curve X can be also described ([FF], 6.5.1) as X = Proj d N and there is (loc.cit., th.6.5.2) a one to one correspondence between the closed points of X and the Q p -lines in P 1 (the map associating to such a line the prime ideal of P = d N P d that it generates is a bijection between the set of these lines and the set of non zero homogeneous prime ideals of P different from d>0 P d ). In this correspondence corresponds to the line generated by t. Moreover, if x 1,x 2,...,x r are closed points of X and if, for 1 i r, we chose a generator t i of the Q p -line associated to x i, we see that the Q p -algebra O X (X \{x 1,x 2,...,x r }) has a natural topology: If we set u = t 1 t 2...t r, we have P d O X (X \{x 1,x 2,...,x r }) = n N P nr u n and we see that it is an ind-banach algebra with (P nr u n) ) n N a multiplicative admissible Banach filtration. Thus we may consider O X as a sheaf of ind-banach algebras (the restriction maps are obviously continuous) The category M(G K ). The group G K acts continuously on X and it makes sense to speak of the category M(G K ) of coherent O X [G K ]-modules, that is of coherent O X -modules equipped with a semi-linear and continuous action of G K. We see that: the open subset X e = Spec B e is stable under G K and G K acts continuously on the ind- Banach algebra B e,

16 16 JEAN-MARC FONTAINE the point is fixed by G K and the action of G K on the Fréchet algebra B + (resp. on the ind-fréchet algebra B ), completion at of O X, (resp. of the function field C e of X) is continuous. From the description of coherent O X -modules of the previous paragraph, we see that we can identify M(G K ) to the category whose objects are triple F = (F e,f +,ι F), where F e is a B e -representation, F + is a B+ - representation and ι F : F + B Be F e is a G K -equivariant homorphism of B + -modules such that the induced B -linear map is bijective, a morphism B B + F + B Be F e f : (F e,f +,ι F) (G e,g +,ι G) is a pair (f e,f + ) with f e : F e G e (resp. f + : F+ G+ ) a morphism of B e- representations (resp. B + -representations) such that the obvious diagramme commutes. When there is no ambiguity about the map ι F, we write abusively We also denote F = (F e,f + ) F = B Be F e = B Ce (C e Be F e ) the completion at of the generic fiber F η = C e Be F e of F. The category Bund X (G K ) of G K -equivariant vector bundles over X is the full subcategory of M(G K ) whose objects are those for which the underlying O X -module is torsion free. From the fact that any B e -representation is torsion free, we see that, if F is any coherent O X [G K ]-module, there is no torsion away from. Therefore Bund X (G K ) is the full subcategory of M(G K ) whose objects are those F such that the B + -module F+ is free ( torsion free) The Harder-Narasimhan filtration. The abelian categorycoh(o X ) is equipped with two additive functions, the rank and the degree (cf [FF], chap.5) rk : Coh(O X ) N, deg : Coh(O X ) Z The rank of F = (F e,f +,ι F) is the rank of the B e -module F e. It is 0 if and only if F is torsion. It s more difficult to compute the degree. But this additive function is characterised by the following facts: if D is a divisor, then deg(l(d)) = deg(d) = n x, if D = n x [x], if F is a vector bundle of rank r, then if F is a torsion O X -module, then deg(f) = closed points ofx deg(f) = deg( r F), closed points ofx The slope of a non zero coherent O X -module F is length OX,x F x. slope(f) = deg(f)/rank(f) Q {+ } (with the convention that the slope of a non zero torsion coherent O X -module is + ). As in the classical case,

17 ALMOST C p GALOIS REPRESENTATIONS AND VECTOR BUNDLES 17 a coherent O X -module F is semi-stable if it is non zero and if slope(f ) slope(f) for any non zero coherent sub-o X -module of F, the Harder-Narasimhan filtration of a coherent O X -module F is the unique increasing filtration 0 = F 0 F 1... F m 1 F m = F by coherent sub-o X -modules such that each F i /F i 1 is semi-stable with slope(f 1 /F 0 ) > slope(f 2 /F 1 ) >... > slope(f m 1 /F m 2 ) > slope(f m /F m 1 ) The slopes of the F i /F i 1 for 1 i m are called the HN-slopes of F. The Harder-Narasimhan filtration splits continuously but not canonically. If F is an object of M(G K ), the unicity of the Harder-Narasimhan filtration implies that this filtration is by subobjects in M(G K ). In general, there is no G K -equivariant splitting of this filtration The equivalences M 0 (G K ) C 0 (G K ) and M (G K ) C (G K ). For all s Q {+ }, we denote M s (G K ) the full subcategory of M(G K ) whose objects are semi-stable of slope s. We also write M (G K ) = M + (G K ). We have H 0 (X,O X ) = Q p. A central result of [FF] (th ) is that a coherent O X -module F is semi-stable of slope 0 if and only if it is isomorphic to OX r for some positive integer r. From that we deduce: Proposition 3.5. If F M 0 (G K ), then F(X) C 0 (G K ) and rank(f) = dim Qp F(X). The functor M 0 (G K ) C 0 (G K ), F F(X) is an equivalence of categories. The functor is a quasi-inverse. C 0 (G K ) M 0 (G K ), U O X U = (B e Qp U,B + Q p U) If F M(G K ), as there is no torsion away from infinity, F M (G K ) if and only if F e = 0. From that, we deduce: Proposition 3.6. If F M (G K ), then F(X) = F + and belongs to C (G K ). Moreover deg(f) = length B + F(X). The functor M (G K ) C (G K ), F F(X) is an equivalence of categories. The functor is a quasi-inverse. C (G K ) M (G K ), W W = (0,W) For any s Q, we denote M s (G K ) (resp. M <s (G K )) the full subcategory of M(G K ) whose objects are those which have all their HN-slopes s (resp. < s). For any F M(G K ), we denote F 0 the biggest term of the Harder-Narasimhan filtration which belongs to M 0 (G K ) and F <0 = F/F 0. We have a short exact sequence with F 0 M 0 (G K ) and F <0 M <0 (G K ). 0 F 0 F F <0 0