arxiv: v1 [math.fa] 29 Nov 2015

Transcription

1 arxiv: v1 [math.fa] 29 Nov 2015 STEIN DOMAINS IN BANACH ALGEBRAIC GEOMETRY FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER Abstract. In this artice we give a homoogica characterization of the topoogy of Stein spaces over any vaued base fied. In particuar, when working over the fied of compex numbers, we obtain a characterization of the usua Eucidean (transcendenta) topoogy of compex anaytic spaces. For non-archimedean base fieds the topoogy we characterize coincides with the topoogy of the Berkovich anaytic space associated to a non-archimedean Stein agebra. Because the characterization we used is borrowed from a definition in derived geometry, this work shoud be read as a contribution towards the foundations of derived anaytic geometry. Contents 1. Introduction Notation 3 2. Bornoogica Agebraic Geometry Quasi-abeian categories, bornoogica spaces and dagger anaytic geometry Bornoogica vector spaces Tensor product of unbounded compexes 9 3. Some resuts in functiona anaysis Proper bornoogica vector spaces Reations between bornoogica and topoogica vector spaces Nucear bornoogica spaces and fatness A reative fatness emma Strict exact sequences in bornoogica and topoogica settings Derived functors of the inverse imit functor Stein domains Bornoogica Fréchet agebras Stein agebras and Stein spaces 36 The first author acknowedges the support of the University of Padova by MIUR PRIN Arithmetic Agebraic Geometry and Number Theory, and the University of Regensburg with the support of the DFG funded CRC 1085 Higher Invariants. Interactions between Arithmetic Geometry and Goba Anaysis that permitted him to work on this project. The second author acknowedges the University of Oxford and the support of the European Commission under the Marie Curie Programme for the IEF grant which enabed this research to take pace. The contents of this artice refect the views of the authors and not the views of the European Commission. We woud ike to thank Konstantin Ardakov, Francesco Badassarri, Emar Grosse-Könne, Frédéric Paugam, and Jérôme Poineau for interesting conversations. 1

2 2 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER 5. Homoogica characterization of the Stein topoogy 43 References Introduction This paper can be thought as a continuation of [5] and [4], on which we buid our main resuts. The probem addressed in the present work is to extend the approach proposed in [5] and [4] to Stein domains of anaytic spaces. More precisey, the main theorems of this paper prove that the characterization of open embeddings with the homotopy monomorphism property, given in [5] for affinoid domains and in [4] for dagger affinoid domains, extends to Stein domains. Since Stein spaces are defined as spaces which have a suitabe exhaustion by (dagger) affinoid subdomains, the strategy of our proofs is to rey on the resuts of [5] and [4], and deduce the theorems for Stein spaces using their exhaustions. In particuar, this strategy naturay eads to consider projective imits of bornoogica spaces and the issue about the commutation of the bornoogica projective tensor product with projective imits. We devote Section3 to provide basic resuts about these issues for which it seems that there is no iterature avaiabe. Our main difficuty is the fact that neither the projective tensor product nor the injective tensor product of bornoogica vector spaces commutes with projective imits in genera. This is aso the main obstace to the generaization of our resuts to more genera notion of domains, such as dagger quasi-stein domains. The paper is organized as foows: in Section2 we reca the main resuts from [4] that wi be used, we fix the notation and we introduce some key notions that wi be used in our main proofs. Section3 contains our technica resuts in functiona anaysis that are required to prove Theorems 5.5 and 5.7. In Section3.1 we describe the cass of proper bornoogica spaces and we prove its main property in Proposition 3.15, which shows that the cosure of a subspace of a proper bornoogica space is equa to the set of its (bornoogica) imit points. Section 3.3 begins with the definition of nucear bornoogica spaces and the study of their main properties. We remark that, athough proper and nucear bornoogica vector spaces have been previousy considered in iterature, see for exampe [19] and [21], this is the first time, at our knowedge, that a detaied study of their property is done aso for non- Archimedean base fieds. The main resut of Section3.3 is Theorem 3.50 which shows that nucear bornoogica vector spaces are fat in CBorn k with respect to its natura monoida structure, i.e. the endofunctor p qpb k F is exact if F is nucear. This is a bornoogica counterpart of the we-known resut of the theory of ocay convex spaces. The rest of Section3 deas with projective imits of bornoogica vector spaces: In particuar, Section 3.4 addresses the issue of commutation of projective imits with the bornoogica compete projective tensor product; Section 3.5 deas with a bornoogica version of the Mittag-Leffer Lemma for Fréchet spaces and Section 3.6 contains some emmas about the computation of the derived functor of the projective imit functor for quasi-abeian categories. Section 4 starts by providing some resuts on Fréchet bornoogica agebras and then it continues by giving the definition of Stein spaces and Stein agebras suitabe for our context. The main resut of this section, Theorem 4.25, is a generaization of Forster s Theorem about the anti-equivaence between the category of compex Stein agebras and compex Stein spaces,

3 to arbitrary base fieds. Section 5 contains our main resuts. We characterize the open embeddings of Stein spaces by the maps having the homotopy monomorphism property (see Theorem 5.5 and Theorem 5.7). Giving a disjoint union of Stein spaces mapping to a fixed Stein space, we characterize in Theorem 5.13 the surjectivity of such a morphism by a conservativity property for transversa modues. See Definition 2.4 for the notion of transversa modue, caed a RR-quasicoherent modue, after the work of Ramis and Ruget [35]. The homoogica treatment of hoomorphic functiona cacuus, as deveoped by Tayor, eads naturay to derived methods (see for exampe [37]). Let pc, b, e C q be a cosed symmetric monoida eementary quasi-abeian category with enough fat projectives. In [6] a Grothendieck topoogy of (homotopy) Zariski open immersions in CommpsCq op is defined where sc is the cosed symmetric monoida mode category of simpicia objects in C. The homotopy monomorphism condition that we use in this artice (in the case that C CBorn k or IndpBan k q) is a restriction of Definition (3) of [41] from the homotopy category of CommpsCq op to the opposite category of dagger Stein agebras (thought of as constant simpicia objects). The mode structure to be expained in [6] is compatibe in a natura way with the quasi-abeian structure on C. This aows us to reate our work to the work of Toën and Vezzosi from [40, 41], as shown in [6]: CommpsCq op satisfies their axioms on a monoida mode category so according to their approach one can do derived geometry reative to it, and appy their resuts. In the case that our base fied is the compex numbers, some of our resuts are aready present in the work of Pirkovskii, for instance [28] Notation. The notation used here wi be totay consistent with the notation of [4], which is the foowing: If C is a category we wi use the notation X P C to indicate that X is an object of C. If C is a category then IndpCq wi denote the category of Ind-objects of C. k wi denote a fied compete with respect to a fixed non-trivia vauation, Archimedean or non-archimedean. Vect k is the cosed symmetric monoida category of vector spaces (with no extra structure) over k. SNrm k the category of semi-normed modues over k, remarking that, if not otherwise stated, by a semi-normed space over non-archimedean base fied we mean a k-vector space equipped with a non-archimedean semi-norm. Nrm k the category of normed modues over k. Ban k the category of Banach modues over k. For V P SNrm k, V s V {p0q is the separation and p V P Ban k is the separated competion. Born k the category of bornoogica vector spaces of convex type over k and CBorn k the category of compete bornoogica vector spaces of convex type over k. For E P Born k and B a bounded absoutey convex subset, (i.e. a bounded disk) of E, E B is the inear subspace of E spanned by eements of B equipped with the gauge

4 4 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER semi-norm (aso caed the Minkowski functiona) defined by B (see Remark 3.40 of [4] for a review of the notion of gauge semi-norm). For E P Born k, D E denotes the category of bounded absoutey convex subsets of E. Afnd : k denotes the category of dagger affinoid agebras over k. For E P Born k, DE c denotes the category of bounded absoutey convex subsets B of E for which E B P Ban k. The notation im refers to a coimit (aso known as inductive or direct imit) of some Ñ functor in a category. The notation im refers to a imit (aso known as projective or inverse imit) of some Ð functor in a category. For poyradii ρ pρ i q P R ǹ, the notation ρ ă ρ 1 means that ρ and ρ 1 have the same number of components and every component of ρ is stricty smaer than the corresponding component of ρ 1. With the notation C D we wi denote the category of covariant functors D Ñ C. In particuar, if I is a fitered set we wi denote C I the category of functors I Ñ C, when I is thought as a category. A cofitered projective system te i u of objects of a category is said to be epimorphic if for any i ă j the system map E j Ñ E i is an epimorphism. Simiary, a fitered direct system te i u is said to be monomorphic if for any i ă j the system map E i Ñ E j is a monomorphism. 2. Bornoogica Agebraic Geometry 2.1. Quasi-abeian categories, bornoogica spaces and dagger anaytic geometry. We suppose that the reader is famiiar with the theory of quasi-abeian categories as deveoped in [36]. In this section pc, b, e C q wi be a cosed symmetric monoida quasi-abeian category and Hom wi denote the interna hom functor. To any cosed symmetric monoida category is associated a category of commutative monoids, denoted CommpCq and a category of affine schemes AffpCq CommpCq op. The duaity functor CommpCq Ñ AffpCq is denoted by spec. To any A P CommpCq we can associate the category of A-modues ModpAq, which is quasi-abeian cosed symmetric monoida with respect to a bifunctor b A, naturay induced by b. Moreover, since ModpAq is quasi-abeian we can aways associate to A the derived categories of ModpAq, denoted DpAq, and using the eft t-structure of DpAq we define D ď0 paq, D ě0 paq and D b paq. Notice aso that in Proposition (c) of [36] it is shown that if C is eementary quasi-abeian ModpAq is eementary quasi-abeian. Definition 2.1. A morphism specpbq Ñ specpaq is said to be a homotopy monomorphism if the canonica functor D ď0 pbq ÝÑ D ď0 paq is fuy faithfu. In a dua way, we say that the correspondent morphism of monoids A Ñ B is a homotopy epimorphism. The foowing characterization of homotopy monomorphisms is the usefu one for pratica purposes. Lemma 2.2. Assume that p : specpbq Ñ specpaq is a morphism in AffpCq and that the functor ModpAq Ñ ModpBq given by tensoring with B over A is eft derivabe to a functor D ď0 paq Ñ D ď0 pbq. Then, p is a homotopy monomorphism if and ony if Bb L AB B.

5 Proof. See Lemma 2.24 of [4]. Lemma 2.3. Let f : specpaq Ñ specpbq, g : specpbq Ñ specpcq be two morphisms of affine schemes such that g f and g are homotopy monomorphisms, then aso f is a homotopy monomorphism. Proof. The hypothesis mean that we have a diagram of functors 5 D ď0 paq pg fq f g D ď0 pbq D ď0 pcq such that g is fuy faithfu and g f is fuy faithfu. Hence for any V, W P D ď0 paq Hom D ď0 paqpv, W q Hom D ď0 pcqppg fq pv q, pg fq pw qq Hom D ď0 pbqpf pv q, f pw qq which precisey means that f is fuy faithfu. We reca the foowing notion from [4] and [5]. Definition 2.4. Consider an object A P CommpCBorn k q. We define a sub-category Mod RR paq of ModpAq whose modues M satisfy the property that the natura morphism M pb L AB Ñ M pb A B is an isomorphism in D ď0 pbq, for a homotopy epimorphisms A Ñ B. We ca these modues RR-quasicoherent modues. Homotopy epimorphisms are the morphisms that we use to endow CommpCq with a Grothendieck topoogy. The foowing definition is based on definitions in [39] and [41]. Definition 2.5. Consider a fu sub-category A Ă AffpCq such that the base change of a homotopy monomorphisms in A is a homotopy monomorphism. On A we can define the homotopy Zariski topoogy which has as its covers coections tspecpb i q Ñ specpaqu where there exists a finite subset J Ă I such that for each i P J, the morphism A Ñ B i is of finite presentation and the resuting morphisms D ď0 pb i q Ñ D ď0 paq is fuy faithfu; a morphism in Mod RR paq is an isomorphism if and ony if it becomes an isomorphism in each Mod RR pb j q for j P J after appying the functor M ÞÑ Mb L AB j. Such a famiy is caed conservative. One can drop the requirement on the maps of the covering A Ñ B i to be finitey presented, obtaining another topoogy caed the forma homotopy Zariski topoogy. Later on, we wi reax the condition on coverings aowing the subset J Ă I to be countabe. We wi discuss this issue at the end of Section5. We wi aso make an extensive use of fat objects in C, in the foowing sense. Definition 2.6. Let pc, b, e C q be a cosed, symmetric monoida, quasi-abeian category. We ca an object F of C fat if for any stricty exact sequence 0 Ñ E 1 Ñ E Ñ E 2 Ñ 0

6 6 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER the resuting sequence 0 Ñ E 1 bf Ñ EbF Ñ E 2 bf Ñ 0 is stricty exact, i.e. if the endofunctor E ÞÑ EbF is an exact functor in the terminoogy of [36]. We concude this section by defining free resoutions in cosed symmetric monoida quasiabeian categories and by showing some properties. Definition 2.7. Let pc, b, e C q be a cosed symmetric monoida quasi-abeian category and et A P CommpCq. An object E P ModpAq is caed free if for some V P C. E AbV Definition 2.8. Let pc, b, e C q be a cosed symmetric monoida quasi-abeian category and et A P CommpCq. A free resoution of E P ModpAq is the data of a strict compex Ñ L 2 peq Ñ L 1 peq Ñ L 0 peq Ñ 0 and a strict quasi-isomorphism L peq E where each L i peq is free in ModpAq and E is thought as a compex concentrated in degree 0. Lemma 2.9. Let pc, b, e C q be a cosed symmetric monoida quasi-abeian category with enough projectives. Let A P CommpCq and E P ModpAq. Then, E admits a free resoution. If in addition, both E and A are fat as objects in C then each term of the free resoution can be chosen to be a fat object in ModpAq. Proof. Consider LA n peq AbpAb ooooomooooon ba beq n times where we think the first A factor as an A-modue and the other factors as objects of C. In this way LA n peq is by definition a free A-modue. Defining the differentias d n : LA n peq Ñ LA n 1 peq in the foowing way: Let m A : AbA Ñ A denotes the mutipication map of A and ρ E : AbE Ñ E the action of A on E, then n 1 ÿ (2.1) d n p 1q i id A b bm A b bid A bid E ` p 1q n id A b bid A bρ E, i 0 where m A is at the ith pace. Standard computations show that the compex L ApEq is a free resoution of E. This compex is a resoution because L ApEq has a spitting over C given by the maps LA n peq ÐÝ LA n 1 peq (2.2) 1 A bid L n 1 A peq, where 1 A is the constant morphism to the identity of A. Therefore, we can deduce that the cone of the map L ApEq Ñ E is a stricty exact compex in D ď0 pcq. By Proposition 1.5.1

7 of [36] a morphism in ModpAq is strict if and ony if is strict as a morphism in C, hence the cone L ApEq Ñ E is aso a stricty exact compex in D ď0 paq. It remains to show the caim about the fatness of L n A peq. Since b A is right exact we ony need to show ony the eft exactness of the functor p qb A L n A peq. Consider a stricty exact sequence of morphisms of ModpAq 0 Ñ F Ñ G Ñ H. Appying p qb A L n A peq we obtain the sequence (2.3) 0 Ñ F b A L n A peq Ñ Gb A L n A peq Ñ Hb A L n A peq which can be rewritten as 0 Ñ F bpab ooooomooooon ba beq Ñ GbpAb ooooomooooon ba beq Ñ HbpAb ooooomooooon ba beq. n times n times n times Therefore, the hypothesis that A and E are fat objects of C directy impies that the sequence (2.3) is stricty exact. Remark The spitting maps of equation (2.2) are not A-inear in genera. Definition Let pc, b, e C q be a cosed symmetric monoida quasi-abeian category. Let A P CommpCq and E P ModpAq. We define the Bar resoution of E to be the free resoution introduced in Lemma 2.9. Using the Bar resoution we can prove the foowing important emma. Lemma Let C be eementary quasi-abeian. Let ta i u be a fitered inductive system in CommpCq such that a system morphisms are homotopy epimorphisms. Then, for any j P I the canonica maps 7 A j Ñ im Ñ A i are homotopy epimorphisms. Proof. Let s fix a j P I. To show that A j Ñ im Ñ A i is a homotopy epimorphism we need to check that pim Ñ A i qb L A j pim Ñ A i q im Ñ A i in D ď0 pcq. Consider the Bar resoution L A j pim Ñ A i q. Then, the compex pim Ñ A i qb Aj L A j pim Ñ A i q is a representative of pim Ñ A i qb L A j pim Ñ A i q. More expicity, for each n P N pim Ñ A i qb Aj L n A j pim Ñ A i q pim Ñ A i qb Aj A j bpa oooooomoooooon j b ba j bpim Ñ A i qq n times

8 8 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER which simpifies to pim A Ñ i qbpaoooooomoooooon j b ba j bpim A Ñ i qq impa Ñ i b oooooomoooooon A j b ba j ba i q. n times n times Now, because by Proposition (c) of [36] im Ñ is an exact functor when I is fitered we have im Ñ Lim Ñ. Therefore, pim Ñ A i qb L A j pim Ñ A i q pim Ñ A i qb Aj L A j pim Ñ A i q im Ñ pa i b Aj L A j pa i qq im Ñ pa i b L A j A i q im Ñ A i. We aso introduce the foowing compex needed for computing Čech cohomoogy in the theories we wi deveop. Definition Given a coection of morphisms U ta Ñ B i u M P ModpAq we have the Čech-Amitsur compex C ApM, Uq ź pm pb A B i q Ñ ź pm pb A B i pb A B j q Ñ i i,j and its augmented version which we ca the Tate compex T A pm, Uq 0 Ñ M Ñ ź i pm pb A B i q Ñ ź i,j where we use the degree convention CApM, d Uq TA d pm, Uq ź for d ě 1. pm pb A B i pb A B j q Ñ i 1,...,i d pm pb A B i1 pb A pb A B id q in CommpCq and 2.2. Bornoogica vector spaces. In this section we reca very briefy the theory of bornoogica vector spaces. We refer the reader to Section3.3 of [4] for more detais. Definition Let X be a set. A bornoogy on X is a coection B of subsets of X such that (1) B is a covering of X, P X, DB P B such that x P B; (2) B is stabe under incusions, i.e. A Ă B P B ñ A P B; nť (3) B is stabe under finite unions, i.e. for each n P N and B 1,..., B n P B, B i P B. The pair px, Bq is caed a bornoogica set, and the eements of B are caed bounded subsets of X (with respect to B, if it is needed to specify). A famiy of subsets A Ă B is caed a basis for B if for any B P B there exist A 1,..., A n P A such that B Ă A 1 Y Y A n. A morphism of bornoogica sets ϕ : px, B X q Ñ py, B Y q is defined to be a bounded map ϕ : X Ñ Y, i.e. a map of sets such that ϕpbq P B Y for a B P B X. Definition A bornoogica vector space over k is a k-vector space E aong with a bornoogy on the underying set of E for which the maps pλ, xq ÞÑ λx and px, yq ÞÑ x ` y are bounded. i 1

9 Definition A bornoogica vector space is said to be of convex type if it has a basis made of absoutey convex subsets. We wi denote by Born k the category whose objects are the bornoogica vector spaces of convex type and whose morphisms are bounded inear maps between them. Remark For every bornoogica vector space of convex type E there is an isomorphism E im Ñ BPD E E B where B varies over the famiy of bounded absoutey convex subsets of E and E B is the vector subspace of E spanned by eements of B equipped with the gauge semi-norm (aso caed Minkowski functiona) defined by B and each E B is equipped with the bornoogy induced by this semi-norm. Reasoning as ast remark, one can show that there is a functor diss : Born k Ñ IndpSNrm k q which is fuy faithfu, which commutes with a projective imits and direct sums and whose essentia image is the sub-category of essentia monomorphic objects of IndpSNrm k q, i.e. by ind-objects isomorphic to systems which have monomorphisms as system maps. The functor diss does not commute with cokernes in genera. Definition A bornoogica vector space over k is said to be separated if its ony bounded inear subspace is the trivia subspace t0u. Definition A bornoogica vector space E over k is said to be compete if there is a sma fitered category I, a functor I Ñ Ban k and an isomorphism 9 E im Ñ E i for a fitered coimit of Banach spaces over k for which the system morphisms are a injective and the coimit is cacuated in the category Born k. Let CBorn k be the fu subcategory of Born k consisting of compete bornoogica spaces. Coecting together severa facts from the theory of bornoogica vector spaces. See Section3.3 of [4] for a more detaied account. Lemma CBorn k has a imits and coimits and the incusion functor CBorn k Ñ Born k commutes with projective imits. Both Born k and CBorn k are cosed symmetric monoida eementary quasi-abeian categories with enough projectives. The monoida structure of Born k is denoted by b π,k and is caed the projective tensor product and the one of CBorn k is pb π,k (often written just as pb k ) and it is caed the competed projective tensor product. We concude by noticing that the fact that CBorn k has enough projectives impies that we can aways derive right exact functors from CBorn k to a quasiabeian category, as happens in the theory of abeian categories Tensor product of unbounded compexes. In this section we extend to the quasiabeian settings some resuts of [9] on the derived functor of the tensor product for abeian categories. We see how the derived functor p qb L p q : D ď0 pcq ˆ D ď0 pcq Ñ D ď0 pcq (discussed extensivey in [4]) extends to a functor p qb L p q : DpCq ˆ DpCq Ñ DpCq. Since

10 10 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER we are not ooking for the utmost generaity of the resut we suppose in this section that C is an eementary quasi-abeian cosed symmetric monoida category, athough it woud be sufficient to suppose ony that C has exact direct sums and enough projectives instead of supposing it to be eementary. Reca that the hypothesis of C being eementary impies that C has enough projectives, cf. Proposition (c) of [36]. Lemma Let X P DpCq, then the morphism is an isomorphism. im Ñ npn τ ďn pxq Ñ ho im Ñ npn τ ďn pxq Proof. We can appy the dua statement of Remark 2.3 of [9] because by Proposition (a) of [36], LHpCq satisfies the axiom AB4. Lemma Every object in DpCq is stricty quasi-isomorphic to a compex of projective objects. Proof. Let X P DpCq. Consider the truncated compex τ ďn pxq (reca that we are using the eft t-structure of DpCq). There is a canonica map τ ďn pxq Ñ X. Since C has enough projectives we can aways find strict quasi-isomorphisms P ďn Ñ τ ďn pxq, where P ďn is a compex of projectives which is zero in degree ą n. The diagram P ďn P ďn`1 τ ďn pxq τ ďn`1 pxq defines a morphism P ďn Ñ P ďn`1 in DpCq, because P ďn`1 Ñ τ ďn`1 px q is a strict quasiisomorphism and this morphism can be reaized as a morphism of compexes because P ďn and P ďn`1 are made of projectives. So, there is a sequence of morphisms im Ñ npn τ ďn pxq Ñ ho im Ñ npn τ ďn pxq Ñ ho im Ñ npn τ ďn pp ďn q where im Ñ npnτ ďn pxq X and the ast map is an isomorphism because is a homotopy coimit of strict quasi-isomorphisms. The first map is an isomorphism by Lemma Therefore, X ho im Ñ npnτ ďn pp ďn q which by construction is a compex of projectives. Definition Let T be a trianguated category with direct sums. We say that subcategory of T is ocaizing if it is cosed under direct sums. We use the foowing notation: KpCq the homotopy category of C and KpPq the smaest ocaizing subcategory of KpCq containing the compexes made of projectives.

11 Remark Notice that if C is eementary, then both KpCq and DpCq have a the direct sums. Indeed, the caim on KpCq is trivia and for the one on DpCq, using Proposition one deduce that C is derived equivaent to an eementary abeian category and therefore DpCq has a direct sums as consequence of Coroary 1.7 of [9]. Lemma The composition functor is an equivaence. KpPqãÑKpCq Ñ DpCq Proof. Since KpPq is thick subcategory of KpCq, we can use the dua statements of Lemmata of [9] to deduce that KpPq is a ocaizing subcategory of KpCq. Using Lemma 2.22 we see that a objects of DpCq are isomorphic to objects of KpPq. Theorem The tensor product can be derived to a functor p qb L p q : DpCq ˆ DpCq Ñ DpCq. The restriction to D ď0 pcqˆd ď0 pcq agrees with the derived tensor product based on projective resoutions. Proof. The tensor product p qbp q extends to a functor KpCq ˆ KpCq Ñ KpCq. By Lemma 2.25, under our hypothesis, DpCq is equivaent to a subcategory of KpCq. Therefore, we can define p qb L p q as the restriction to KpPq of the extension of p qbp q to KpCq. 3. Some resuts in functiona anaysis This section is devoted to prove resuts in the theory of bornoogica vector spaces needed in the rest of the paper Proper bornoogica vector spaces. Definition 3.1. Let E be a bornoogica k-vector space and tx n u a sequence of eements of E. We say that tx n u npn converges (bornoogicay) to 0 if there exists a bounded subset B Ă E such that for every λ P kˆ there exists an n npλq for which x m P ą n. We say that tx n u npn converges (bornoogicay) to a P E if tx n au npn converges (bornoogicay) to zero. The idea of this definition is due to Mackey and it is sometimes caed Mackey convergence. Definition 3.2. Let E be a bornoogica vector space over k. a sequence tx n u npn Ă E is caed Cauchy-Mackey if the doube sequence tx n x m u n,mpn converges to zero; a subset U Ă E is caed (bornoogicay) cosed if every sequence of eements of U which is bornoogicay convergent in X converges bornoogicay to an eement of U. Definition 3.3. A bornoogica vector space is caed semi-compete if every Cauchy-Mackey sequence is convergent. 11

12 12 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER The notion of semi-competeness is not as usefu as the notion of competeness in the theory of topoogica vector spaces. We remark that any compete bornoogica vector space is semi-compete, but the converse is fase. Remark 3.4. The notion of bornoogica convergence on a bornoogica vector space of convex type E im E Ñ B, where D E denotes the famiy of bounded disks of E, can be BPD E restated in the foowing way: tx n u npn is convergent to zero in the sense of Mackey if and ony if there exists a B P D E and N P N such that for a n ą N, x n P E B and x n Ñ 0 in E B (equipped with the semi-norm induced by B). Remark 3.5. The notion of bornoogicay cosed subset induces a topoogy on E, but this topoogy is neither a inear topoogy nor group topoogy in genera. However, an arbitrary intersection of bornoogica cosed subsets of a bornoogica vector space is bornoogicay cosed. From Remark 3.5 foows that the foowing definition is we posed. Definition 3.6. Let U Ă E be a subset of a bornoogica vector space. The (bornoogica) cosure of U is the smaest bornoogicay cosed subset of E in which U is contained. We denote the cosure of U by U. Definition 3.7. Let E be a bornoogica vector space over k. We wi say that a subset U Ă E is bornoogicay dense if the bornoogica cosure of U is equa to E. Proposition 3.8. Let f : E Ñ F be a morphism in CBorn k, then f is a monomorphism if and ony if it is injective f is an epimorphism if and ony if fpeq is bornoogicay dense in F f is a strict epimorphism if and ony if it is surjective and F is endowed with the quotient bornoogy; f is a strict monomorphism if and ony if it is injective, the bornoogy on E agrees with the induced bornoogy from F and fpeq is a bornoogicay cosed subspace of F. Proof. See Proposition 5.6 (a) of [30]. Definition 3.9. A bornoogica vector space is caed proper if its bornoogy has a basis of bornoogicay cosed subsets. Remark (1) A bornoogica vector spaces considered in [2] and [4] are proper. (2) Let E be a separated bornoogica vector space (i.e. t0u is a cosed subset of E), then the morphism E Ñ E p is injective (cf. Proposition 17 page 113 of [18]). Indeed, in this case, in E im E Ñ B then BPD E pe { im Ñ BPD E E B im Ñ BPD E x EB. The main drawback, for our scope, of proper bornoogica vector spaces is that athough they form a cosed symmetric monoida category, this category is not quasi-abeian. We wi aso need the foowing property of proper bornoogica vector spaces.

13 Proposition Any projective imit of proper objects in Born k is proper. Proof. [18], Proposition 12, page 113. Lemma Any subspace of proper bornoogica vector space, endowed with the induced bornoogy, is proper. Proof. Let E be a proper bornoogica vector space and et tb i u be a basis for its bornoogy made of bornoogicay cosed bounded subsets. Given a subspace F Ă E, the famiy tb i X F u is a basis for the bornoogy that E induces on F. Consider a sequence of eements tx n u npn Ă B i X F converging bornoogicay to x P F then, since the incusion map F Ñ E is bounded, it preserves bornoogica imits. Therefore, tx n u npn converges to x aso as a sequence of eements of E and since B i is cosed x P B i. It foows that x P F X B i and therefore the caim. We have to warn the reader that the cosure of a subset X Ă E of a bornoogica vector space is rarey equa to the imit points of convergent sequences of eements of X. So, we introduce the foowing notation. Definition Let E be a bornoogica vector space and X Ă E, then X p1q denotes the eements of E that are bornoogica imits for sequences of eements of X. Thus, we have the (in genera strict) incusion X p1q Ă X. We now show that this incusion is an equaity for an important specia case: inear subspaces of compete, proper bornoogica spaces. We need a preiminary emma. Lemma Let F Ă E be a inear subspace of a compete bornoogica vector space over k. Then, F is (bornoogicay) cosed if and ony if F is compete. Proof. This is a cassica resut in the theory of bornoogica vector spaces. For the convenience of the reader we reproduce here the proof that can be found in [19], chapter 3, Proposition Moreover our proof deas aso with the non-archimedean case of the emma not covered in [19]. Suppose that F Ă E is a compete subspace. Let tx n u npn be a sequence of eements of F that converges bornoogicay to x P E. By Remark 3.4 there exists a bounded disk B Ă E such that x n Ñ x in E B. Since B X F is a bounded disk in F and F is compete can find a disk B 1 Ă F such that B Ă B 1 and F B 1 is Banach. This shows that tx n u npn is a Cauchy sequence in F B 1, because the map F B Ñ F B 1 is by construction bounded. Hence, the imit of tx n u npn is an eements of F, which is hence cosed. For the converse, suppose that F Ă E is a cosed subspace. Let DE c denotes the famiy of competant bounded disks of E, i.e. bounded disks B for which E B is Banach. It is enough to show that for any B P DE c the bounded disk B X F of F is competant. So, et tx n u npn be a Cauchy sequence in F BXF. This impies that tx n u npn is a Cauchy sequence in E B and therefore it must converge to a point of E B. But F BXF is a cosed subspace of E B, since it is the intersection of E B Ă E with a cosed subspace of E, hence the imit of tx n u npn is in F BXF. This proves that F BXF is a k-banach space and concudes the proof. Proposition Let F Ă E be a subspace of a compete, proper bornoogica vector space over k, then F p1q F, where F p1q is as in Definition

14 14 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER Proof. Let E im Ñ E i be a presentation of E as a direct imit of Banach spaces over k as in Definition The bornoogy on F induced by the incusion F Ă E can be described by F im Ñ pf X E i q, where each F X E i is endowed by the norm induced by E i. By Lemma 3.12 F endowed with this bornoogy is a proper bornoogica vector space which is easiy seen to be separated. By Remark 3.10 (2), the inductive system t F { X E i u obtained by appying the competion functor of Banach spaces, is monomorphic and hence it defines a compete and proper bornoogica vector space F p imf{ X E Ñ i in which F embeds. Since F p is the competion of F and the incusion F Ñ E must factor through a map φ : p F Ñ E. Moroever, φ is a strict monomorphism, because for each i P I the maps F X E i Ñ { F X E i Ñ E i are strict, since a spaces are endowed with the restriction of the same norm, by construction. pf is a cosed inear subspace of E because it is compete and hence we can appy Lemma This impies that F Ă impφq F p. Finay, et x P impφq then x φpyq for some y P F { X E i and for some i P I. So, there exists a sequence of eements tx n u npn Ă F X E i which converges in norm to x, which shows that F p impφq Ă F p1q Ă F. We remark that in Proposition 3.15 the hypothesis that F Ă E is a (inear) subspace is crucia. It is possibe to construct subsets S Ă E for which S p1q Ă S stricty even when E is a proper object of CBorn k (see [20] Theorem 1, SectionII.7). Remark Proposition 3.15 in the case k C was proven in [25], cf. Proposition The arguments of [25] are simiar to ours, but the terminoogy and the context are very different Reations between bornoogica and topoogica vector spaces. We reca the definitions of two functors from [18], p q t : Born k Ñ Tc k and p q b : Tc k Ñ Born k, where Tc k is the category of ocay convex topoogica vector spaces over k. To a bornoogica vector space E we associate the topoogica vector space E t in the foowing way: we equip the underying vector space of E with a topoogy for which a basis of 0-neighborhoods is given by bornivorous subsets, i.e. subsets that absorb a bounded subsets of E. If E is a ocay convex space, E b is defined to be the bornoogica vector space obtained by equipping the underying vector space of E with the von Neumann (aso caed canonica) bornoogy, whose bounded subsets are the subsets of E absorbed by a 0-neighborhoods. In chapter 1 of [18] one can find detais of these constructions and their properties of which the main one is that (3.1) p q t : Born k Ô Tc k : p q b is an adjoint pair of functors.

15 Lemma It is shown in [18] (cf. Chapter 2, 2 n 6) that there are fu sub-categories of Born k and Tc k for which these functors give an equivaence of categories. Definition We ca the objects of the categories mentioned in Lemma 3.17 norma bornoogica vector spaces or norma ocay convex spaces (depending on the ambient category we are thinking them in). We ca the corresponding fu sub-categories of norma objects NBorn k Ă Born k and NTc k Ă Tc k. For two eements E, F P NTc k (or E, F P NBorn k ) the notion of boundedness and continuity of a inear map f : E Ñ F is equivaent. Remark Any norma bornoogica vector space is proper (cf. Definition 3.9). One can show this fact by first noticing that in any topoogica vector space the cosure of bounded subset is bounded. Hence, the von Neumann bornoogy of a ocay convex topoogica vector space aways has a basis made of cosed (for the topoogy) subsets. Moreover, every subset which is cosed for the topoogy is aso bornoogicay cosed for the von Neumann bornoogy. For more detais on this topic see [18], Chapter 2, 3, n 6 and 7. Observation The functor p q b : Tc k Ñ Born k commutes with projective imits and p q t : Born k Ñ Tc k commutes with inductive imits. Observation Let E be a bornoogica vector space over k. It foows that a subset U Ă E is bornoogicay dense then U Ă E t is topoogicay dense. Indeed, a bornoogicay cosed subsets for the von Neumann bornoogy of E t must be bornoogicay cosed for the bornoogy of E and, as said in Remark 3.19, a topoogicay cosed subsets of E t are bornoogicay cosed for the von Neumann bornoogy. Therefore, the cosure of U in E t contains the cosure of U in E. Exampe A semi-normed spaces over k are in an obvious way norma objects in Born k and Tc k. A metrizabe ocay convex vector spaces and metrizabe bornoogica vector spaces of convex type are norma. See the beginning of page 109 of [18] or Proposition 3 at page 50 of [19]. The underying object in CBorn k of a k-dagger affinoid agebra is a norma bornoogica vector space (see [2], Chapter 3). We introduce some casses of norma spaces that wi be used throughout the paper. Definition A Fréchet space over k is a compete, metric, ocay convex topoogica vector space over k. A bornoogica Fréchet space over k is a bornoogica vector space E P CBorn k such that E F b for a Fréchet space F P Tc k. Definition A LB space (respectivey LF space) over k is a ocay convex topoogica vector space over E such that (3.2) E im Ñ npn E n where E n is a Banach space (respectivey a Fréchet space) and the system maps are injective. 15

16 16 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER A LB spaces are norma ocay convex spaces but the functor p q b may not commute with the coimit (3.2). Definition An LB space or an LF space over k is said to be reguar if E b im Ñ npn E b n. Definition We say that E P Born k is a bornoogica LB space if E F b where F P Tc k is a reguar LB space. The foowing criterion wi be very important in foowing sections. Proposition Consider a projective system te i u of objects of NBorn k. The foowing conditions are equivaent (1) im Ð peiq t is norma in Tc k ; (2) im Ð Proof. If im Ð pe t iq pim Ð E i q t. pe t iq is norma, then by Observation 3.20 im Ð pe t iq ppim Ð E t iq b q t pim Ð pe tb i qq t pim Ð E i q t. On the other hand, the same cacuations aso shows that if im Ð pe t iq pim Ð E i q t ppim Ð E t iq b q t pim Ð pe tb i qq t pim Ð E i q t im Ð pe t iq. Therefore, im Ð pe t iq is norma. Finay, in next section we wi use the foowing cass of bornoogica vector spaces. Definition A bornoogica vector space is said to be reguar if it has a basis for its bornoogy made of subsets which are cosed subsets with respect to the topoogy of E t. Remark The condition of Definition 3.28 is stricty stronger than the condition of properness of Definition 3.9, where the requirement is that E has a basis of bornoogicay cosed subsets Nucear bornoogica spaces and fatness. The functor CBorn k Ñ CBorn k, given by E ÞÑ E pb π,k F where F is a compete bornoogica vector space, is right exact (even strongy right exact) but not eft exact, in genera. In order to have a sufficient condition to ensure the exactness of such functors, we use the notion of nucear operator. This notions was introduced by Grothendieck in the context of ocay convex spaces over Archimedean base fieds. We wi aso need to introduce the injective tensor product over maximay compete fieds (non-archimedean or not). Definition Conside a morphism f : E Ñ F in Ban k. The morphism f is caed nucear if there exist two sequences tα n u Ă HompE, kq and tf n u Ă F where

17 ř 8 }α n }}f n } ă 8 if k is Archimedean; n 0 }α n }}f n } Ñ 0, for n Ñ 8 if k is non-archimedean; such that 8ÿ fpxq α n pxqf n for a x P E. n 0 Remark A morphism f is nucear in the sense of Definition 3.30 if and ony if f is in the image of the canonica morphism Hompk, E _ pb k F q Ñ Hompk, HompE, F qq HompE, F q, where E _ HompE, kq. This definition makes sense in any cosed, symmetric monoida category. In this abstract context, the pre-composition of a nucear morphism with any morphism is a nucear morphism. Simiary, the post-composition of a nucear morphism with any morphism is nucear (see Proposition 2.1 of [22] for a proof of these facts). Definition Let V be a ocay convex k-vector space. A subset B Ă V is caed compactoid if for any neighborhood of the origin U there is a finite subset F Ă V such that B Ă U ` ΓpF q, where Γ denotes the absoute convex hu of F. Reca that a subset B Ă V of a ocay convex k-vector space is caed pre-compact if for any neighborhood of the origin U B Ă U ` F for a finite set F Ă V. Proposition Let V be a ocay convex k-vector space. If k is ocay compact then a subset B Ă V is compactoid if and ony if it is pre-compact. Proof. Let B Ă V be a compactoid subset and U Ă V be an absoutey convex neighborhood of zero. Then, there is a finite set F tx 1,..., x n u Ă V such that B Ă U ` ΓpF q. ř The map k n Ñ E given by pλ 1,..., λ n q ÞÑ n λ i x i is continuous and it maps the compact set i 1 pk q n onto ΓpF q. Therefore, ΓpF q is compact. This means that there is a finite set F 1 Ă V such that ΓpF q Ă U ` F 1, so B Ă U ` U ` F 1. If k is non-archimedean we can concude that B Ă U ` F 1 proving that B is pre-compact. If k is Archimedean, we can notice that the same reasoning can be done with U in pace of U, so that 2 B Ă U 2 ` U 2 ` F 1 Ă U ` F 1 proving that B is pre-compact aso in this case. 17

18 18 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER The converse statement, that every pre-compact subset is compactoid, is obvious. Thanks to Proposition 3.33, a compactoid subset in the case when k is Archimedean is simpy pre-compact subset. The notion of compactoid is necessary when the base fied is not ocay compact, because in this case the definition of pre-compact subset is not usefu. Definition The famiy of compactoid subsets of a ocay convex topoogica vector space V over k forms a bornoogy, which is denoted by CptpV q. Compactoid subsets are aways bounded subsets in the sense of von Neumann, but the converse is often fase. For exampe, one can show that if on a Banach space every bounded subset is compactoid, then the Banach space must be finite dimensiona. Definition Consider a morphism f : E Ñ F in Ban k. The morphism f is caed compactoid if the image of the unit ba of E is a compactoid (in the sense of Definition 3.32) subset of F. Remark A morphism f : E Ñ F in Ban k is compactoid if and ony it is a bounded morphism when considered as a map of bornoogica spaces f : E b Ñ CptpF q. Notice that what we caed a compactoid map in iterature is just caed a compact map, in the case in which k is Archimedean. If k is Archimedean a nucear morphism is compact but there exist compact morphisms which are not nucear. However, the non-archimedean case is simper. Proposition Let k be non-archimedean and f : E Ñ F a bounded morphism in Ban k. Then f is nucear if and ony if it is compactoid. Proof. In cassica terminoogy what we caed nucear maps over a non-archimedean fied are caed competey continuous maps. With this terminoogy, the proposition is proved as Proposition 2 in page 92 of [15]. Definition An object of CBorn k is said to be nucear if there exists an isomorphism E im Ñ E i as in Definition 2.19 where for any i ă j in I the map E i Ñ E j is a nucear monomorphism of k-banach spaces. Therefore, by definition, nucear bornoogica spaces are aways compete bornoogica spaces. We now imit the discussion to the case where k is maximay compete. This restriction wi be removed ater. Definition Let k be a maximay compete vauation fied. Let E, F be objects of Ban k and et with E _ Hom Bank pe, kq and F _ Hom Bank pf, kq. Then, the (competed) injective tensor product is defined to be the competion of the agebraic tensor product Eb k F equipped with the semi-norm } ÿ e i b f i } ɛ,k sup ÿ αpe i qβpf i q αppe _ q,βppf _ q where pe _ q and pf _ q denote the unit bas. We denote the injective tensor product by E b ɛ,k F ad the competed one by E pb ɛ,k F.

19 19 The foowing is Theorem 1 of page 212 of [18]. Lemma Let k be a non-archimedean, maximay compete vauation fied. Then, for any E, F P Ban k, the natura morphism in Ban k is an isomorphism. E b π,k F Ñ E b ɛ,k F Definition Let k be a maximay compete vauation fied and et E, F be two objects of CBorn k. We define the injective tensor product of E and F as the coimit in CBorn k of an the monomorphic inductive system: (3.3) E b ɛ,k F im Ñ B E PD E,B F PD F E BE b ɛ,k F BF, where D E and D F are the famiy of bounded disks of E and F respectivey. The competed injective tensor product of E and F is defined E pb ɛ,k F { E b ɛ,k F. Remark The inductive system (3.3) is monomorphic because p qb ɛ,k p q is a strongy eft exact functor, cf. Coroary 2 page 210 of [18]. Definition 3.41 differs from the one given in [18] chapter 4, 2, but is equivaent to it for thanks to the foowing emma. Lemma Let k be a maximay compete vauation fied. Let te i u and tf j u jpj be two fitered inductive systems of compete bornoogica vector spaces such that a E i and F i are separated and reguar (in the sense of Definition 3.28) and a system morphisms are injective. Then, in CBorn k we have that E b ɛ,k F im Ñ pi,jqpiˆjpe i b ɛ,k F i q pim Ñ E i q b ɛ,k pim Ñ jpj where on the right hand side the injective tensor product is the one considered in [18]. Proof. See [18] Proposition 4, page 210. Remark The injective tensor product does not commute with fitered inductive imits in genera. Since a Banach spaces are obviousy reguar and compete bornoogica vector spaces are essentiay monomorphic objects in IndpBan k q, Lemma 3.43 readiy impies that our definition of injective tensor product agrees with the definition of [18] page 208, for proper compete bornoogica vector spaces. Proposition Let k be a maximay compete vauation fied. Let E and F be objects of CBorn k. In the Archimedean case we assume that F is nucear. Then, the natura morphism in CBorn k is an isomorphism. E pb π,k F ÝÑ E pb ɛ,k F F j q,

20 20 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER Proof. We start with the case in which k is non-archimedean. Write E im Ñ E i and F im Ñ jpj F j as in Definition The isomorphisms E i b π,k F j Ñ E i b ɛ,k F j from Lemma 3.40 gives an isomorphism of systems im Ñ pe i b π,k F j q Ñ im Ñ pe i b ɛ,k F j q. pi,jqpiˆj pi,jqpiˆj The projective tensor product commutes with a coimits and by Lemma 3.43 aso the injective tensor product commutes with coimit we are cacuating. Hence, we get an isomorphism pim Ñ E i q b π,k pim Ñ jpj F j q Ñ pim Ñ E i q b ɛ,k pim Ñ jpj and the functoriaity of the competion yieds the caimed isomorphism. We now consider the case in which k is Archimedean. First reca the foowing fact: et f : E 1 Ñ E 2 be a nucear morphism of Banach spaces and V another Banach space, then the inear map of vector spaces f b k id V : E 1 b ɛ,k V Ñ E 2 b π,k V is bounded. This is precisey the content of Proposition 2.4, page I-15 of [13], where the compex case is discussed, but the same arguments work aso over R. Then, consider F im Ñ F j and E im Ñ E i presentations of F and E as in Definition 2.19 and as in Definition jpj 3.38 respectivey. For any pi 1, j 1 q ă pi 2, j 2 q the morphisms F j q α i1,j 1 : E i1 b ɛ,k F j1 Ñ E i2 b ɛ,k F j1 Ñ E i2 b π,k F j2 are bounded morphisms of Banach spaces because of the mentioned Proposition 2.4 of [13]. By Lemma 3.43 we have that the map E b ɛ,k F pim Ñ E i q b ɛ,k pim Ñ jpj F j q im Ñ pi,jqpiˆjpe i b π,k F j q pim Ñ im Ñ pe i b ɛ,k F j q Ñ α pi,jqpiˆj E i q b π,k pim Ñ jpj F j q E b π,k F obtained by the morphisms α i1,j 1 is a bounded map, and is easy to check that the composition of α with the canonica map E b π,k F Ñ E b ɛ,k F is the identity on both sides. We concude the proof using again the functoriaiy of the competion of bornoogica vector spaces. Lemma Let k be a maximay compete fied and F P CBorn k. The functor p q b ɛ,k F is strongy eft exact. Proof. See [18] Coroary 2, page 210. Lemma The competion functor y p q : Nrm k Ñ Ban k is exact.

21 Proof. Proposition of [31] shows that the competion functor is exact for ocay convex spaces. Since the functor p q y : Nrm k Ñ Ban k precisey agrees with the competion as ocay convex spaces, we can use that proposition to deduce our emma. Notice that [31] deas ony with Archimedean base fieds but the same reasoning works aso for non- Archimedean base fieds since ony the uniform structures of the spaces are considered. Remark y p q : Nrm k Ñ Ban k is not strongy eft exact and does not preserve monomorphisms. Lemma If k is non-archimedean, then any object in the category of non-archimedean Banach spaces over k is fat. Proof. If k is maximay compete, then the caim foows from the combination of Lemma 3.46, Lemma 3.40 and Lemma If k is not maximay compete we can choose a maxima competion K{k. For every E P Ban k the canonica map ι E : E Ñ E b k K is a strict monomorphism (even an isometry onto its image, cf. Lemma 3.1 of [29] appied with A k, B K and C E). Consider a strict exact sequence (3.4) 0 Ñ ker f Ñ E f Ñ F in Ban k. We can aways suppose that ker f is equipped with the restriction of the norm of E, in which case ker f Ñ E is an isometric embedding. Appying again Lemma 3.1 of [29], we obtain a diagram 0 ker f E F f 21 0 ker f b k K E b k K F b k K where a vertica maps are isometric embeddings. The bottom row is exact agebraicay. It is aso stricty exact, because we can appy Lemma 3.1 of [29] to the isometric embedding ker f Ñ E (precisey using A ker f, B E and C K this time) to deduce that ker f b k K Ñ E b k K is an isometric embedding. Then, consider and a G P Ban k. Tensoring (3.4) with G we obtain a diagram 0 ker f b k G E b k G F b k G f 0 pker f b k Gq b k K pe b k Gq b k K pf b k Gq b k K

22 22 FEDERICO BAMBOZZI, OREN BEN-BASSAT, AND KOBI KREMNIZER where the top row is agebraicay exact. We need ony to check that ker f b k G Ñ E b k G is a strict monomorphism. Using the isomorphisms ast diagram becomes pe b k Gq b k K pe b k Kq b K pg b k Kq, pf b k Gq b k K pf b k Kq b K pg b k Kq pker f b k Gq b k K pker f b k Kq b K pg b k Kq 0 ker f b k G E b k G F b k G f 0 pker f b k Kq b K pg b k Kq pe b k Kq b K pg b k Kq pf b k Kq b K pg b k Kq where the bottom row is stricty exact because K is maximay compete. Hence, in the diagram ker f b k G E b k G pker f b k Kq b K pg b k Kq pe b k Kq b K pg b k Kq a maps are known to be strict monomorphism but the top horizonta, which is therefore a strict monomorphism too. This shows that the functor p q b π,k p q is strongy exact, and appying Lemma 3.47 we deduce that p qpb π,k p q is exact. We now ook at fatness in the cosed symmetric monoida category CBorn k. Theorem Let F be compete bornoogica vector spaces over k. If k is non-archimedean then F is fat with respect the category pcborn k, pb k, kq. If k is Archimedean then the same concusion hods provided that F is nucear. Proof. When k is Archimedean, it is of course maximay compete. So, the theorem foows immediatey from combining Lemma 3.46 and Proposition Suppose now that k is a non-archimedean compete vauation fied and fix a representation F im Ñ jpj F j as a monomorphism fitered inductive system of Banach spaces. Unraveing the definitions, the functor p qpb π,k F can be written as p qpb π,k F p q { b π,k F imñ p q { b π,k F j im Ñ jpj jpj { p q b π,k F j where ast coimit is cacuated in CBorn k, meaning that it is the separated coimit of bornoogica vector spaces. Since CBorn k is an eementary quasi-abeian category, the fitered coimits are exact. Therefore, appying Lemma 3.49 and Lemma 3.47 we see that the functor p qpb π,k F can be written as a composition of exact functors. We concude this section with some resuts about nucearity needed in subsequent sections.