DOCSLIB.ORG

On a Generalization of Affinoid Varieties Arxiv:1401.5702V2

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On a Generalization of Affinoid Varieties Arxiv:1401.5702V2 Universita` degli Studi di Padova Sede Amministrativa: Universit`adegli Studi di Padova Dipartimento di Matematica DOTTORATO DI RICERCA IN MATEMATICA INDIRIZZO: MATEMATICA CICLO XXVI On a generalization of affinoid varieties Direttore della Scuola: Ch.mo Prof. Paolo Dai Pra Coordinatore d'indirizzo: Ch.mo Prof. Franco Cardin Supervisore: Ch.mo Prof. Francesco Baldassarri Dottorando: Federico Bambozzi arXiv:1401.5702v2 [math.AG] 20 Jun 2016 Dicembre 2013 2 Contents 0 Introduction 11 1 Bornological structures 17 1.1 Bornological sets . 17 1.2 Bornological groups . 23 1.3 Bornological rings . 30 1.3.1 Convexity on bornological rings . 32 1.4 Bornological modules . 35 1.5 The language of halos and the tropical addition . 36 2 Bornological spectra and power-series 39 2.1 Spectra of bornological algebras . 39 2.1.1 Bornological convergence and topologically nilpotent elements 54 2.2 Bornological strictly convergent power-series . 57 2.3 The ring of bornological overconvergent power-series . 68 2.4 Weak power-bounded elements and algebraic monads . 76 2.5 Spectra of locally convex algebras . 79 3 Dagger affinoid spaces 87 3.1 Overconvergent analytic functions on polydisks . 87 3.2 The category of dagger affinoid algebras . 95 3.3 Complex dagger algebras as Ind-Stein algebras . 105 3.4 Dagger affinoid spaces . 111 3.5 Dagger affinoid subdomains . 113 4 Tate's acyclicity for dagger rational subdomains 119 4.1 Tate's acyclicity theorem . 119 5 The Gerritzen-Grauert theorem 125 5.1 Archimedean dagger affinoid subdomains . 125 5.2 The Gerritzen-Grauert theorem . 139 6 Dagger analytic spaces 157 6.1 Coherent sheaves over a dagger affinoid space . 158 6.2 Dagger analytic spaces . 170 6.3 Sheaves over dagger analytic spaces . 179 3 4 CONTENTS 6.4 Relations with classical analytic geometries . 187 6.4.1 The non-archimedean case . 188 6.4.2 Complex analytic case . 194 6.5 Flatness for k-dagger analytic spaces . 197 7 Addendum: applications 199 A The pro-site 201 A.1 Pro-objects and Ind-objects . 201 A.2 Sites . 203 A.3 The pro-site and pro-analytic spaces . 204 B Generalized rings of Durov 211 B.1 Monads and generalized rings . 211 B.2 Monads given by multiplicative submonoids of rings . 214 C The bornology of coefficientwise convergence 217 C.1 The bornology of coefficientwise convergence . 217 Abstract In this thesis we develop the foundations for a theory of analytic geometry over a non-trivially valued field, uniformly encompassing the case when the base field is equipped with a non-archimedean valuation and that in which it has an archimedean one. We will use the theory of bornological algebras to reach this goal. Since, at our knowledge, there is not a vast literature on bornological algebras on which we can base our results, we will start from scratch with the theory of bornological al- gebras and we will develop it as far as we need for our scopes. In this way we can construct our theory of analytic spaces taking as building blocks dagger affi- noid algebras, i.e. bornological algebras isomorphic to quotients of the algebras of germs of analytic functions on polycylinders. It turns out that for the category of dagger affinoid algebras we can show the analogous of all the main results of the category of classical affinoid algebras and hence we obtain a good theory of dagger affinoid spaces. Indeed, these spaces behave very similarly to affinoid spaces used to construct rigid analytic spaces. We emphasize that the archimedean case has special features, that we study in the first section of the fifth chapter, and that these special properties allow us to prove the generalization, in archimedean context, of the main result of the affinoid algebras theory: the Gerritzen-Grauert theorem (we remark that our proof is inspired by the new proof of Gerritzen-Grauert theorem in Berkovich geometry given by Temkin in [62]). After proving that we have a good affine theory, we end this thesis by constructing the global theory of dagger analytic spaces. We use the theory of Berkovich nets and hence a Berkovich-like approach to the globalization, as done in [12]. In this way we obtain the category of dagger analytic spaces and we study the relations of the spaces we have found with the ones already present in literature. In particular, we see that our spaces are very strongly related to dagger spaces of Grosse-Kl¨onne, [32], and that, in the archimedean case, the category of classical complex analytic spaces embeds fully faithfully in the category of complex dagger analytic spaces. In conclusion, in this work we obtain a complete affinoid theory of dagger spaces over any valued field and we show that on this theory a good theory of dagger analytic spaces can be developed, which deserves to be strengthened in the future. Riassunto In questa tesi vengono sviluppate le basi per una teoria degli spazi analitici su campi valutati con valutazione non-banale, che comprende in modo uniforme il caso in cui il campo base sia archimedeo o non-archimedeo. Per raggiungere questo obiettivo useremo la teoria delle algebre bornologiche. Siccome non sembra essere disponibile una ampia letteratura riguardo le algebre bornologiche, la prima parte della tesi si occupa di stabilire alcuni risultati fondazionali a riguardo. In questo modo `epossi- bile costruire una teoria degli spazi analitici prendendo come mattoni fondamentali le algebre dagger affinoidi, i.e. algebre bornologiche isomorfe a quozienti delle alge- bre dei germi di funzioni analitiche su policilindri. Si ottiene quindi che la categoria delle algebre dagger affinoidi cosi definite soddisfa l'analogo di tutte le propriet`api`u importanti della categoria delle algebre affinoidi classiche e che di conseguenza si ottiene una buona teoria degli spazi dagger affinoidi la cui categoria `eanaloga alla categoria degli spazi affinoidi usati in geometria rigida. C'`eda sottolineare che il caso in cui il campo base `earchimedeo gli spazi dagger affinoidi hanno propriet`apar- ticolari, studiate all'inizio del quinto capitolo, e che queste propriet`apermettono di ottenere anche per spazi dagger affinodi archimedei il principale risultato strutturale della teoria delle algebre affinoidi: il teorema di Gerritzen-Grauert (la dimostrazione qui data di questo teorema `eispirata dalla nuova dimostrazione data da Temkin in [62] valida in geometria di Berkovich). Dopo aver ottenuto una buona teoria affine, la tesi si conclude discutendo la teoria globale degli spazi dagger analitici. Verr`autilizzato un approccio analogo a quello usato da Berkovich in [12] per la globalizzazione. Dopo aver definito la categoria degli spazi dagger analitici verranno studiate le relazioni tra questi spazi e gli spazi analitici presenti in letteratura. In particolare si vedr`ache questi spazi sono fortemente correlati agli spazi dagger di Grosse-Kl¨onne e che nel caso archimedeo la categoria degli spazi analitici complessi classica si immerge in modo pienamente fedele nella categoria degli spazi dagger analitici complessi. In conclusione, in questo lavoro si ottiene una teoria affinoide completa per spazi dagger su ogni campo valutato sulla base della quale viene proposta una teoria degli spazi dagger globali la quale dovr`aessere approfondita in futuro. Acknowledgements My utmost gratitude goes to my advisor, prof. Francesco Baldassari who gave the fascinating topic of my thesis. It has been an honour and pleasure to work with him, and it would not have been possible for me to do this thesis without the useful discussions that we had during the three years of my Ph.D. A special thanks goes to Velibor Bojkovic for his help in checking arguments of proofs on earlier versions of this work and the help he gave me in order to understand Berkovich geometry. I also wish to thank the referees of my Ph.D. dissertation, Oren Ben-Bassat and Elmar Grosse-Kl¨onne, for their comments (especially Elmar's critics which spurred me to give a better form and presentation to the text) and their encouragements without which I probably would not have had the energies to finish the last chapter in time for the bureaucratic deadlines. I am also very greatful to J´er^omePoineau for pointing out several small mistakes and for useful comments. I also would like to thank Florent Martin for useful and insightful discussions about non-archimedean analytic geometry. I also would like to acknowledge Mauro Porta, Fr´edericPauguam and Kobi Kremnizer for several interesting discussions. Last, but not the least, a special thanks goes to Walter Gubler and Klaus K¨unne- mann for their support and for giving me the time to finish improving the material I wrote during my Ph.D during my post-doc in Regensburg. Carrying out this project would not have been possible without the financial support of the University of Padova by MIUR PRIN2010-11 \Arithmetic Algebraic Geometry and Number Theory", and the University of Regensburg with the DFG funded CRC 1085 \Higher Invariants. Interactions between Arithmetic Geometry and Global Analysis". I am very grateful for the support I received by both institu- tions. 8 Notation • We shall follow standard notations: N is the set of natural numbers (with zero), Z the set of integers, Q the set of rational numbers, R the set of real numbers, C the set of complex numbers, Qp the set of p-adic numbers and we consider on them the usual operations. We shall use the notation R¥0 “ tx P R|x ¥ 0u and R` “ tx P R|x ¡ 0u. • k will always denote a fixed base field which is always supposed to be complete with respect to a non-trivial absolute value, archimedean or non-archimedean. • By an extension of valued fields K{k we mean a valued field K equipped with an embedding kãÑK which is an isometry onto its image.
Load more

Recommended publications
  • Convenient Vector Spaces, Convenient Manifolds and Differential Linear Logic
    Convenient Vector Spaces, Convenient Manifolds and Differential Linear Logic Richard Blute University of Ottawa ongoing discussions with Geoff Crutwell, Thomas Ehrhard, Alex Hoffnung, Christine Tasson June 20, 2011 Richard Blute Convenient Vector Spaces, Convenient Manifolds and Differential Linear Logic Goals Develop a theory of (smooth) manifolds based on differential linear logic. Or perhaps develop a differential linear logic based on manifolds. Convenient vector spaces were recently shown to be a model. There is a well-developed theory of convenient manifolds, including infinite-dimensional manifolds. Convenient manifolds reveal additional structure not seen in finite dimensions. In particular, the notion of tangent space is much more complex. Synthetic differential geometry should also provide information. Convenient vector spaces embed into an extremely good model. Richard Blute Convenient Vector Spaces, Convenient Manifolds and Differential Linear Logic Convenient vector spaces (Fr¨olicher,Kriegl) Definition A vector space is locally convex if it is equipped with a topology such that each point has a neighborhood basis of convex sets, and addition and scalar multiplication are continuous. Locally convex spaces are the most well-behaved topological vector spaces, and most studied in functional analysis. Note that in any topological vector space, one can take limits and hence talk about derivatives of curves. A curve is smooth if it has derivatives of all orders. The analogue of Cauchy sequences in locally convex spaces are called Mackey-Cauchy sequences. The convergence of Mackey-Cauchy sequences implies the convergence of all Mackey-Cauchy nets. The following is taken from a long list of equivalences. Richard Blute Convenient Vector Spaces, Convenient Manifolds and Differential Linear Logic Convenient vector spaces II: Definition Theorem Let E be a locally convex vector space.
    [Show full text]
  • Uniqueness of Von Neumann Bornology in Locally C∗-Algebras
    Scientiae Mathematicae Japonicae Online, e-2009 91 UNIQUENESS OF VON NEUMANN BORNOLOGY IN LOCALLY C∗-ALGEBRAS. A BORNOLOGICAL ANALOGUE OF JOHNSON’S THEOREM M. Oudadess Received May 31, 2008; revised March 20, 2009 Abstract. All locally C∗- structures on a commutative complex algebra have the same bound structure. It is also shown that a Mackey complete C∗-convex algebra is semisimple. By the well-known Johnson’s theorem [4], there is on a given complex semi-simple algebra a unique (up to an isomorphism) Banach algebra norm. R. C. Carpenter extended this result to commutative Fr´echet locally m-convex algebras [3]. Without metrizability, it is not any more valid even in the rich context of locally C∗-convex algebras. Below there are given telling examples where even a C∗-algebra structure is involved. We follow the terminology of [5], pp. 101-102. Let E be an involutive algebra and p a vector space seminorm on E. We say that p is a C∗-seminorm if p(x∗x)=[p(x)]2, for every x. An involutive topological algebra whose topology is defined by a (saturated) family of C∗-seminorms is called a C∗-convex algebra. A complete C∗-convex algebra is called a locally C∗-algebra (by Inoue). A Fr´echet C∗-convex algebra is a metrizable C∗- convex algebra, that is equivalently a metrizable locally C∗-algebra, or also a Fr´echet locally C∗-algebra. All the bornological notions can be found in [6]. The references for m-convexity are [5], [8] and [9]. Let us recall for convenience that the bounded structure (bornology) of a locally convex algebra (l.c.a.)(E,τ) is the collection Bτ of all the subsets B of E which are bounded in the sense of Kolmogorov and von Neumann, that is B is absorbed by every neighborhood of the origin (see e.g.
    [Show full text]
  • On Bornivorous Set
    On Bornivorous Set By Fatima Kamil Majeed Al-Basri University of Al-Qadisiyah College Of Education Department of Mathematics E-mail:[email protected] Abstract :In this paper, we introduce the concept of the bornivorous set and its properties to construct bornological topological space .Also, we introduce and study the properties related to this concepts like bornological base, bornological subbase , bornological closure set, bornological interior set, bornological frontier set and bornological subspace . Key words : bornivorous set , bornological topological space,b-open set 1.Introduction- The space of entire functions over the complex field C was introduced by Patwardhan who defined a metric on this space by introducing a real-valued map on it[6]. In(1971), H.Hogbe- Nlend introduced the concepts of bornology on a set [3].Many workers such as Dierolf and Domanski, Jan Haluska and others had studied various bornological properties[2]. In this paper at the second section ,bornivorous set has been introduced with some related concepts. While in the third section a new space “Bornological topological space“ has been defined and created in the base of bornivorous set . The bornological topological space also has been explored and its properties .The study also extended to the concepts of the bornological base and bornological subbase of bornological topological space .In the last section a new concepts like bornological closure set, bornological drived set, bornological dense set, bornological interior set, bornological exterior set, bornological frontier set and bornological topological subspace, have been studied with supplementary properties and results which related to them. 1 Definition1.1[3] Let A and B be two subsets of a vector space E.
    [Show full text]
  • Closed Graph Theorems for Bornological Spaces
    Khayyam J. Math. 2 (2016), no. 1, 81{111 CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES FEDERICO BAMBOZZI1 Communicated by A. Peralta Abstract. The aim of this paper is that of discussing closed graph theorems for bornological vector spaces in a self-contained way, hoping to make the subject more accessible to non-experts. We will see how to easily adapt classical arguments of functional analysis over R and C to deduce closed graph theorems for bornological vector spaces over any complete, non-trivially valued field, hence encompassing the non-Archimedean case too. We will end this survey by discussing some applications. In particular, we will prove De Wilde's Theorem for non-Archimedean locally convex spaces and then deduce some results about the automatic boundedness of algebra morphisms for a class of bornological algebras of interest in analytic geometry, both Archimedean (complex analytic geometry) and non-Archimedean. Introduction This paper aims to discuss the closed graph theorems for bornological vector spaces in a self-contained exposition and to fill a gap in the literature about the non-Archimedean side of the theory at the same time. In functional analysis over R or C bornological vector spaces have been used since a long time ago, without becoming a mainstream tool. It is probably for this reason that bornological vector spaces over non-Archimedean valued fields were rarely considered. Over the last years, for several reasons, bornological vector spaces have drawn new attentions: see for example [1], [2], [3], [5], [15] and [22]. These new developments involve the non-Archimedean side of the theory too and that is why it needs adequate foundations.
    [Show full text]
  • Bornological Topology Space Separation Axioms a Research Submitted by Deyar
    Republic of Iraq Ministry of Higher Education & Scientific Research AL-Qadisiyah University College of Computer Science and Mathematics Department of Mathematics Bornological Topology Space Separation Axioms A Research Submitted by Deyar To the Council of the department of Mathematics ∕ College of Education, University of AL-Qadisiyah as a Partial Fulfilment of the Requirements for the Bachelor Degree in Mathematics Supervised by Fatma Kamel Majeed A. D. 2019 A.H. 1440 Abstract we study Bornological Topology Separation Axioms like bornological topology , bornological topology , bornological topology , bornological topology , bornological topology and the main propositions and theorems about this concept. introduction For the first time in (1977), H. Hogbe–NIend [1] introduced the Concept of Bornology on a set and study Bornological Construction. In chapter one study Bornology on a set , Bornological subspace, convex Bornological space, Bornological vector space and Bornivorous set. Bornological topology space were first introduced and investigated in [4], we introduce in chapter two Bornological topology space and we study Bornological topology continuous and bornological topology homeomorphism. Bornological topology open map, bornological topology separation axioms studied in chapter three like bornological topology , bornological topology , bornological topology And bornological topology Bornological topology and main properties have been studied. The Contents Subject Page Chapter One 1.1 Bornological Space 1 1. 2 Bornivorous Set 4 Chapter Two 2.1 Bornological Topological Space 6 2.2 Bornological Topology Continuous 8 Chapter three 3.1 Bornological topology And Bornological 9 topology 3.2 Bornological topology , Bornological topology 10 And Bornological topology Chapter One 1.1 Bornological space In this section, we introduce some definitions, bornological space, bornological vector space, convex bornological vector space, separated bornological vector space, bounded map and some examples .
    [Show full text]
  • A Homological Study of Bornological Spaces
    Pr´epublications Math´ematiques de l'Universit´e Paris 13 A Homological Study of Bornological Spaces by Fabienne Prosmans Jean-Pierre Schneiders 00-21 December 2000 Laboratoire Analyse, G´eom´etrie et Applications, UMR 7539 Institut Galil´ee, Universit´e Paris 13 93430 Villetaneuse (France) A Homological Study of Bornological Spaces Fabienne Prosmans Jean-Pierre Schneiders December 15, 2000 Abstract In this paper, we show that the category Bc of bornological vector spaces _ of convex type and the full subcategories B c and Bc formed by separated and complete objects form quasi-abelian categories. This allows us to study them from a homological point of view. In particular,bwe characterize acyclic _ inductive systems and prove that although the categories Bc (resp. B c, Ban) and the categories Ind(Sns) (resp. Ind(N vs), Ind(Ban)) formed by the ind- objects of the category of semi-normed vector spaces (resp. normed vector spaces, Banach spaces) are not equivalent, there is an equivalence between their derived categories given by a canonical triangulated functor which pre- serves the left t-structures. In particular these categories have the same left heart; a fact which means roughly that they have the same homological alge- bra. As a consequence, we get a link between the theory of sheaves of complete bornological spaces and that of sheaves with values in Ind(Ban) used in [4]. 0 Introduction In this paper, we study from the point of view of homological algebra the category _ Bc of bornological vector spaces of convex type and its full subcategories B c and Bc formed by separated and complete objects.
    [Show full text]
  • Time-Varying Vector Fields and Their Flows 3
    Springer Briefs in Mathematics Springer-Verlag, 2014, ISBN 978-3-319-10138-5 http://dx.doi.org/10.1007/978-3-319-10138-5 Time-varying vector fields and their flows Saber Jafarpour∗ Andrew D. Lewisy 26/01/2014 Last updated: 12/06/2014 Abstract Time-varying vector fields on manifolds are considered with measurable time de- pendence and with varying degrees of regularity in state; e.g., Lipschitz, finitely dif- ferentiable, smooth, holomorphic, and real analytic. Classes of such vector fields are described for which the regularity of the flow's dependence on initial condition matches the regularity of the vector field. It is shown that the way in which one characterises these classes of vector fields corresponds exactly to the vector fields, thought of as being vector field valued functions of time, having measurability and integrability properties associated with appropriate topologies. For this reason, a substantial part of the de- velopment is concerned with descriptions of these appropriate topologies. To this end, geometric descriptions are provided of locally convex topologies for Lipschitz, finitely differentiable, smooth, holomorphic, and real analytic sections of vector bundles. In all but the real analytic case, these topologies are classically known. The description given for the real analytic topology is new. This description allows, for the first time, a characterisation of those time-varying real analytic vector fields whose flows depend real analytically on initial condition. Keywords. Time-varying vector fields, topologies for spaces of vector fields, real ana- lyticity AMS Subject Classifications (2010). 32C05, 34A12, 46E10 Contents 1. Introduction2 1.1 Motivation. .2 1.2 An outline of the monograph.
    [Show full text]
  • Bornologies and Locally Lipschitz Functions
    Bull. Aust. Math. Soc. 90 (2014), 257–263 doi:10.1017/S0004972714000215 BORNOLOGIES AND LOCALLY LIPSCHITZ FUNCTIONS GERALD BEER and M. I. GARRIDO (Received 6 February 2014; accepted 13 February 2014; first published online 15 May 2014) Abstract Let hX; di be a metric space. We characterise the family of subsets of X on which each locally Lipschitz function defined on X is bounded, as well as the family of subsets on which each member of two different subfamilies consisting of uniformly locally Lipschitz functions is bounded. It suffices in each case to consider real-valued functions. 2010 Mathematics subject classification: primary 26A16, 46A17; secondary 54E35. Keywords and phrases: Lipschitz function, locally Lipschitz function, uniformly locally Lipschitz function, Lipschitz in the small function, function preserving Cauchy sequences, bornology, totally bounded set, Bourbaki bounded set. 1. Introduction Let hX; di and hY; ρi be metric spaces with at least two points. A function f : X ! Y is called α-Lipschitz for α 2 (0; 1) if for all fx; wg ⊆ X, we have ρ( f (x); f (w)) ≤ αd(x; w). Less specifically, f is called Lipschitz if it is α-Lipschitz for some positive α. Whenever B is a d-bounded subset of X and f is α-Lipschitz, its image f (B) is a ρ-bounded subset of Y, as diam( f (B)) ≤ α diam(B). Conversely, if B fails to be d-bounded, we can find a real-valued 1-Lipschitz function f on X such that f (B) fails to be a bounded subset of R. In fact, the same function works for all unbounded subsets of X: x 7! d(x; x0) where x0 is a fixed but arbitrary point of X.
    [Show full text]
  • Lecture Course on Coarse Geometry
    Lecture course on coarse geometry Ulrich Bunke∗ February 8, 2021 Contents 1 Bornological spaces2 2 Coarse spaces9 3 Bornological coarse spaces 26 4 Coarse homology theories 34 5 Coarse ordinary homology 46 6 Coarse homotopy 54 7 Continuous controlled cones and homology of compact spaces 57 8 Controlled objects in additive categories 67 9 Coarse algebraic K-homology 75 10 The equivariant case 77 11 Uniform bornological coarse spaces 87 12 Topological K-theory 109 References 123 ∗Fakult¨atf¨urMathematik, Universit¨atRegensburg, 93040 Regensburg, [email protected] regensburg.de 1 1 Bornological spaces In this section we introduce the notion of a bornological space. We show that the category of bornological spaces and proper maps is cocomplete and almost cocomplete. We explain how bornologies can be constructed and how they are applied. Let X be a set. By PX we denote the power set of X. Let B be a subset of PX . Definition 1.1. B is called a bornology if it has the following properties: 1. B is closed under taking subsets. 2. B is closed under forming finite unions. S 3. B2B B = X. The elements of the bornology are called the bounded subsets of X. 2 in Definition 1.1 Definition 1.2. B is a generalized bornology if it satisfies the Conditions 1 and 2 in Definition 1.1. Thus we we get the notion of a generalized bornology by dropping Condition 3 in Definition 1.1. Remark 1.3. Let x be in X. Then the singleton fxg belongs to any bornology. Indeed, by Condition 3 there exists an element B in B such that x 2 B.
    [Show full text]
  • Bornological Quantum Groups
    Pacific Journal of Mathematics BORNOLOGICAL QUANTUM GROUPS CHRISTIAN VOIGT Volume 235 No. 1 March 2008 PACIFIC JOURNAL OF MATHEMATICS Vol. 235, No. 1, 2008 BORNOLOGICAL QUANTUM GROUPS CHRISTIAN VOIGT We introduce and study the concept of a bornological quantum group. This generalizes the theory of algebraic quantum groups in the sense of van Daele from the algebraic setting to the framework of bornological vector spaces. Working with bornological vector spaces allows to extend the scope of the latter theory considerably. In particular, the bornological theory covers smooth convolution algebras of arbitrary locally compact groups and their duals. Another source of examples arises from deformation quantization in the sense of Rieffel. Apart from describing these examples we obtain some general results on bornological quantum groups. In particular, we construct the dual of a bornological quantum group and prove the Pontrjagin duality theorem. 1. Introduction The concept of a multiplier Hopf algebra introduced by van Daele [1994] extends the notion of a Hopf algebra to the setting of nonunital algebras. An important difference to the situation for ordinary Hopf algebras is that the comultiplication of a multiplier Hopf algebra H takes values in the multiplier algebra M(H ⊗ H) and not in H ⊗ H itself. Due to the occurrence of multipliers, certain constructions with Hopf algebras have to be carried out more carefully in this context. Still, every multiplier Hopf algebra is equipped with a counit and an antipode satisfying analogues of the usual axioms. A basic example of a multiplier Hopf algebra is the algebra Cc(0) of compactly supported functions on a discrete group 0.
    [Show full text]
  • The Space of Pettis Integrable Functions Is Barrelled
    proceedings of the american mathematical society Volume 114, Number 3, MARCH 1992 THE SPACE OF PETTIS INTEGRABLE FUNCTIONS IS BARRELLED LECH DREWNOWSKI,MIGUEL FLORENCIO, AND PEDRO J. PAÚL (Communicated by William J. Davis) Abstract. It is well known that the normed space of Pettis integrable func- tions from a finite measure space to a Banach space is not complete in general. Here we prove that this space is always barrelled; this tells us that we may ap- ply two important results to this space, namely, the Banach-Steinhaus uniform boundedness principle and the closed graph theorem. The proof is based on a theorem stating that a quasi-barrelled space having a convenient Boolean alge- bra of projections is barrelled. We also use this theorem to give similar results for the spaces of Bochner integrable functions. 1. Barrelledness of spaces with Boolean algebras of projections This paper deals with some conditions, related to Boolean algebras of projec- tions modelled over a finite measure space, under which quasi-barrelled spaces are indeed barrelled. Barrelled spaces were introduced as the "good" class of locally convex spaces, as domain spaces for operators, for which uniform bound- edness principles and closed graph theorems hold (see [6, §39.5(1), §34.6(9)] or [10, 4.1.3, 4.1.10, 7.1.12]). Although we refer the reader to the monographs [2, 6, 10] for the terms used in this paper, we want to recall briefly the most relevant definitions. Let F be a locally convex space with dual E'. Denote, respectively, by ct(F/ , E) and /?(F', E) the corresponding weak and strong topologies of the duality on E'.
    [Show full text]
  • [Math.KT] 29 Jun 1999 Nltccci Cohomology Cyclic Analytic Afmeyer Ralf 1999 Contents
    Ralf Meyer Analytic cyclic cohomology 1999 arXiv:math/9906205v1 [math.KT] 29 Jun 1999 Contents 1 Introduction 4 2 Bornologies 8 2.1 BasicDefinitions ................................. .... 9 2.1.1 Bornologies ................................... 9 2.1.2 Boundedmaps .................................. 10 2.1.3 Bornologicalconvergence . ..... 11 2.2 Constructions with bornological vector spaces . .............. 12 2.2.1 Subspaces,quotients,extensions . ........ 12 2.2.2 Completions ................................... 13 2.2.3 Completed bornologicaltensor products . ......... 14 2.2.4 Spacesofboundedlinearmaps . .... 16 2.2.5 Smooth and absolutely continuous homotopies . ......... 16 3 Analytic cyclic cohomology 18 3.1 Analytic tensor algebras and a-nilpotent algebras . ............... 18 3.1.1 Definition of the analytic tensor algebra . ......... 21 3.1.2 Properties of analytically nilpotent algebras . ............. 23 3.1.3 The interrelations between analytic nilpotence, lanilcurs, and analytic tensor algebras...................................... 25 3.1.4 Reformulations of the Extension and the Homotopy Axiom ......... 28 3.1.5 Universal analytically nilpotent extensions . ............. 30 3.1.6 The bimodule Ω1(T A).............................. 32 3.1.7 The lanilcur category and Goodwillie’s theorem . ........... 34 3.2 The X-complex of T A andanalyticcycliccohomology . 36 3.2.1 TheX-complexofaquasi-freealgebra . ....... 36 3.2.2 Definition and functoriality of analytic cyclic cohomology .......... 37 3.2.3 Homotopy invariance and stability . ....... 38 3.2.4 Adjoiningunits................................ .. 40 3.2.5 The Chern-Connes character in K-theory ................... 42 3.2.6 The X-complex of T A andentirecycliccohomology . 44 3.3 Excisioninanalyticcycliccohomology . ........... 46 3.3.1 Outlineoftheproof ............................. .. 47 3.3.2 Linear functoriality of Ωan ............................ 48 3.3.3 Someisomorphisms .............................. 49 3.3.4 A free resolution of L+ .............................
    [Show full text]