DOCSLIB.ORG

Thesis That I Is Bilateral

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Thesis That I Is Bilateral Contents 1 Introduction 3 2 Hopf algebras 5 2.1 Algebras . 5 2.2 Coalgebras . 8 2.3 Lie algebras . 11 2.3.1 Universal enveloping algebra . 13 2.4 Bialgebras and Hopf algebras . 15 2.5 The Milnor-Moore theorem . 21 3 The Hopf algebra of rooted trees 29 3.1 Main de¯nitions . 29 3.2 Duality and Lie algebra of in¯nitesimal derivations . 38 3.3 The ladder tree Hopf algebra . 45 4 Insertion elimination Lie algebras 47 4.1 Derivations for the Hopf algebra of rooted trees . 47 4.2 Insertion Lie algebra . 49 4.3 Elimination Lie algebra . 52 4.4 The insertion-elimination Lie algebra . 54 5 The ladder Lie algebra 59 5.1 Motivations and generalities . 59 5.2 The structure of the Lie algebra LL . 65 5.3 Cohomology of LL ........................ 77 6 Extensions of Lie algebras 81 6.1 Extension of Lie algebras . 81 1 2 CONTENTS 6.1.1 Abelian extensions . 88 7 Appendix 1 93 7.1 Some elementary homological algebra . 93 7.2 Cohomology of Lie algebras . 96 7.2.1 Derivations . 100 8 Appendix 2 103 8.1 Cohomology of the lie algebra gl(n) . 103 Chapter 1 Introduction The goal of this dissertation is to begin the analysis of a class of combinatorial Lie algebras, which has been introduced by Alain Connes and Dirk Kreimer in [7], in their approach to the renormalization of perturbative quantum ¯eld theories [5, 6, 2], and [9] for the general framework. In their approach, a main role is played by the Hopf algebra structure de¯ned over the set of Feynman diagrams underlying the theory. The main features of such a Hopf algebra are captured by the Hopf algebra of rooted trees Hrt in its bare and dressed version. The properties of such a combinatorial Hopf algebra, becomes then crucial for the understanding of the combinatorics which is behind renormal- ization [12, 13, 14]. L Hrt is a commutative, Z¸0-graded and connected (ker² = i>0 Hi) Hopf al- ? gebra. By the Milnor-Moore theorem [21], its dual Hrt is isomorphic to the ? universal enveloping algebra of a Lie algebra P (Hrt), which can be faithfully represented into the Lie algebra of the in¯nitesimal characters of Hrt. From ? a more detailed analysis [7], it follows that the Lie algebra P (Hrt) has two other distinguished representations, D+ and D¡, where the former is the Lie algebra of the insertion operators and the latter the Lie algebra of the elim- ination operators. Since both D+ and D¡ are Lie algebras of derivations for + Hrt, it is natural to seek for a larger Lie algebra which contains both D and D¡ as sub Lie algebras. Such a Lie algebra is the insertion elimination Lie algebra LL introduced in [7]. Since the full insertion elimination Lie algebra is a quite complicated object, it is natural to seek for some distinguished sub Hopf algebra of Hrt, and then begin the analysis of the insertion elimination Lie algebra naturally attached to it. The choice of the ladder Hopf algebra HL is then quite a natural one. 3 4 CHAPTER 1. INTRODUCTION On the one hand, it is a fairly simple Hopf algebra, on the other hand it has a non trivial physical content, [3], [16]. The main achievement of the present work is the description of the structure of the insertion elimination Lie algebra, which is naturally associated to the ladder Hopf algebra of rooted trees. The outline of the present work is the following: In the ¯rst chapter, we introduce all the algebraic structures which are used in the following chapters. The second chapter is devoted to the detailed analysis of the Hopf algebra of rooted trees. In particular we give a summary of the results contained in [21], suitable to the present purposes. The third and the fourth chapters are the core of the present work. In the third chapter, we introduce and motivate the class of the insertion- elimination Lie algebras. The fourth chapter contains the analysis of the structure of the insertion-elimination Lie algebra which is naturally associ- ated to the Hopf algebra of the ladder rooted trees. There, we describe the structure of such a Lie algebra, its relations with some other well known in¯nite dimensional Lie algebra, and ¯nally, we describe its cohomology in some details . In the ¯fth chapter, we give a survey of the theory of the extensions of Lie algebras. There we carefully describe this theory, which is particularly rele- vant for what is discussed in chapter four. We conclude the exposition with two appendices, where the main results about the cohomology of Lie algebras and the cohomology of the general linear group are stated. Chapter 2 Hopf algebras In this chapter all the algebraic structures relevant for the present work will be introduced. A particular care will be taken of the class of connected graded Hopf algebras, for which a structure theorem will be proved. The last section contains a detailed account of the Milnor-Moore theorem, which is a key result for the topic of the present work. The references for the present chapter are: [11] and [21]. 2.1 Algebras We will introduce in this section the main notions from the theory of Hopf algebras. In what follows, we will assume that the base ¯eld k is the ¯eld of complex numbers C of the ¯eld of real numbers R and all the tensor products will be assumed over the ¯eld k. De¯nition 1 A k-algebra with unit is a k-vector space A together with two linear maps, multiplication m : A ­ A ¡! A and unit u : k ¡! A such that the following two diagrams are commutative: A ­ A ­ A ¡¡¡!m­id A ­ A ? ? ? ? id­my ym A ­ A ¡¡¡!m A 5 6 CHAPTER 2. HOPF ALGEBRAS (Associativity) u­id / o id­u k ­ AK A ­ A A ­ k KK ss KK ss KK m ss =» KK ss =» K% ² yss A (Unit) De¯nition 2 Let V and W be two k-vector spaces. De¯ne: ¿ : V ­ W ¡! W ­ V (2.1) saying that ¿(v ­ w) = w ­ v for each v ­ w 2 V ­ W . The map ¿ is called twist map. De¯nition 3 (A; u) is said to be commutative if ¿ ± m = m, i.e if the fol- lowing diagram is commutative: A ­ A m / A KK x; KK xx KK xx ¿ KK xxm K% xx A ­ A (Commutativity) Algebras over a given ¯eld k form a category, whose morphisms are de¯ned as follow: De¯nition 4 A morphism Á between two algebras (A1; m1; u1) and (A2; m2; u2) is a linear map Á : A1 ¡! A2 such that m2 ±(Á­Á) = Á±m1 and Á±u1 = u2. 2.1. ALGEBRAS 7 To show that algebras and their morphisms form a category we need only to check that: Proposition 1 Given Á1 : A1 ¡! A2 and Á2 : A2 ¡! A3, morphisms of algebras Á2 ± Á1 : A1 ¡! A3 is a morphism of algebras; Proof We need to check that: ¡ ¢ m3 ± (Á2 ± Á1) ­ (Á2 ± Á1) = (Á2 ± Á1) ± m1: ¡ ¢ ¡ ¢ m3 ± (Á2 ± Á1) ­ (Á2 ± Á1) = m3 ± Á2(Á1) ­ Á2(Á1) : Since Á2 is an al- gebra¡ morphism¢ the last term of the previous equality can be written as: Á2 m2(Á1 ­ Á1) . Since also Á1 is an algebra morphism we can rewrite the last formula as: Á2(Á1 ± m1), that is what we wanted to show. Ä From now on, by algebra will be meant associative algebra unless speci¯ed di®erently. Example 1 The ground ¯eld k with multiplication mk : k ­ k ¡! k (which corresponds to the natural multiplication) and unit uk : k ¡! k, de¯ned by uk(1) = 1, is a commutative k-algebra. For any given algebra (A; m; u), the unit u : k ¡! A is a morphism between the algebra (k; mk; uk) and the algebra (A; m; u). Example 2 Let (A; mA; uA) and (B; mB; uB) be two algebras over the ¯eld k. We can de¯ne¡ an algebra structure¢ on the tensor product A ­ B via the 0 0 0 0 0 following: m­ (a ­ b) ­ (a ­ b ) = mA(a ­ a ) ­ mB(b ­ b ), for a; a 2 A 0 and b; b 2 B. The unit is given by uA ­ uB. For any given algebra A, we can de¯ne the following notions: De¯nition 5 A given subvector space B ½ A is called an A sub-algebra if for each x; y 2 B, m(x; y) 2 B, i.e if and only if the restriction of the multiplication map to B takes values in B. Moreover we also have the following: De¯nition 6 A subalgebra I ½ A is called right (left) ideal if m(A; I) ½ I (m(I;A) ½ I). If I ½ A is called bilateral if it is left and right ideal. 8 CHAPTER 2. HOPF ALGEBRAS Proposition 2 If I is a bilateral ideal then the quotient space A = A=I has a natural structure of algebra: m : A ­ A ¡! A, m(x; y) = m(x; y). Proof The only thing we need to check is that the multiplication is well de¯ned. This follows from the hypothesis that I is bilateral. Ä Let us now introduce one more notion: De¯nition 7 An augmentation for A is an algebra morphism " : A ¡! k (where k is endowed with the algebra structure de¯ned in example 1). An algebra (A; m; u) with an augmentation map will be called augmented algebra. Proposition 3 Let A be an augmented algebra, with augmentation map ".
Load more

Recommended publications
  • Arxiv:Math/0409188V1
    Trends in Commutative Algebra MSRI Publications Volume 51, 2004 Modules and Cohomology over Group Algebras: One Commutative Algebraist’s Perspective SRIKANTH IYENGAR Abstract. This article explains basic constructions and results on group algebras and their cohomology, starting from the point of view of commu- tative algebra. It provides the background necessary for a novice in this subject to begin reading Dave Benson’s article in this volume. Contents Introduction 51 1. The Group Algebra 52 2. Modules over Group Algebras 56 3. Projective Modules 64 4. Structure of Projectives 69 5. Cohomology of Supplemented Algebras 74 6. Group Cohomology 77 7. Finite Generation of the Cohomology Algebra 79 References 84 Introduction The available accounts of group algebras and group cohomology [Benson 1991a; 1991b; Brown 1982; Evens 1991] are all written for the mathematician arXiv:math/0409188v1 [math.AC] 10 Sep 2004 on the street. This one is written for commutative algebraists by one of their own. There is a point to such an exercise: though group algebras are typically noncommutative, module theory over them shares many properties with that over commutative rings. Thus, an exposition that draws on these parallels could benefit an algebraist familiar with the commutative world. However, such an endeavour is not without its pitfalls, for often there are subtle differences be- tween the two situations. I have tried to draw attention to similarities and to Mathematics Subject Classification: Primary 13C15, 13C25. Secondary 18G15, 13D45. Part of this article was written while the author was funded by a grant from the NSF. 51 52 SRIKANTHIYENGAR discrepancies between the two subjects in a series of commentaries on the text that appear under the rubric Ramble1.
    [Show full text]
  • Formality.Pdf
    FORMALITY PROPERTIES OF FINITELY GENERATED GROUPS AND LIE ALGEBRAS ALEXANDER I. SUCIU1 AND HE WANG Abstract. We explore the graded-formality and filtered-formality properties of finitely generated groups by studying the various Lie algebras over a field of characteristic 0 attached to such groups, including the Malcev Lie algebra, the associated graded Lie algebra, the holonomy Lie algebra, and the Chen Lie algebra. We explain how these notions behave with respect to split injections, coprod- ucts, direct products, as well as field extensions, and how they are inherited by solvable and nilpotent quotients. A key tool in this analysis is the 1-minimal model of the group, and the way this model relates to the aforementioned Lie algebras. We illustrate our approach with examples drawn from a variety of group-theoretic and topological contexts, such as finitely generated torsion-free nilpotent groups, link groups, and fundamental groups of Seifert fibered manifolds. 1. Introduction The main focus of this paper is on the formality properties of finitely generated groups, as reflected in the structure of the various graded or filtered Lie algebras, as well as commutative, differential graded algebras attached to such groups. 1.1. From groups to Lie algebras. Throughout, we will let G be a finitely generated group, and we will let k be a coefficient field of characteristic 0. Our main focus will be on several k-Lie algebras attached to such a group, and the way they all connect to each other. By far the best known of these Lie algebras is the associated graded Lie algebra, gr(G; k), intro- duced by W.
    [Show full text]
  • Bialgebras and Hopf Algebras
    CHAPTER 1 Bialgebras and Hopf algebras We define bialgebras, Hopf Algebras, and related algebraic structures, largely following the original paper [?] of Milnor and Moore but incorporating various sim- plifications and amplifications. The reader is urged to recall our conventions on grading and commutativity from ??. The theme is the definition of algebraic struc- tures by use of dual commutative diagrams. Thus the familiar concepts of algebra and module dualize to concepts of coalgebra and comodule, and the structures of algebra and coalgebra combine to give the notion of a bialgebra. Incorporating antipodes (sometimes called conjugations), we obtain the notion of a Hopf algebra. In the cocommutative case, bialgebras and Hopf algebras can be viewed as monoids and groups in the symmetric monoidal category of cocommutative coalgebras. 1. Preliminaries We shall work over a commutative ground ring R. The reader may prefer to take R to be a field, since that holds in most applications. Unless otherwise specified, ⊗ = ⊗R and Hom = HomR. Recall that these are defined on graded R-modules by X Y (A ⊗ B)n = Ai ⊗ Bj and Homn(A; B) = Hom(Ai;Bi+n): i+j=n i We think of R, or any other ungraded R-module, as concentrated in degree 0. We ∗ ∗ n define the dual A of A by A = Hom(A; R), so that A = Hom(An;R); here we have implicitly reversed the grading to superscripts (with a sign change). Of course, ⊗ is associative and unital (with unit R) up to natural isomorphism and has the natural commutativity isomorphism γ : A ⊗ B ! B ⊗ A specified by γ(a ⊗ b) = (−1)deg a deg bb ⊗ a.
    [Show full text]
  • DNIESTER NOTEBOOK: Unsolved Problems in the Theory of Rings and Modules∗
    DNIESTER NOTEBOOK: Unsolved Problems in the Theory of Rings and Modules∗ Mathematics Institute, Russian Academy of Sciences Siberian Branch, Novosibirsk Fourth Edition, 1993 Translators' Introduction The Dniester Notebook (Dnestrovskaya Tetrad) is a collection of problems in algebra, especially the theory of rings (both associative and nonassociative) and modules, which was first published in the Soviet Union in 1969. The second and third editions of 1976 and 1983 expanded the list of problems, and included comments on the current status of each problem together with bibliographical references, especially when a solution or a counter-example had been discovered. The fourth Russian edition of 1993 (edited by V. T. Filippov, V. K. Kharchenko and I. P. Shestakov) was the last; this is the edition which we have translated for the present English version. The problems in the Dniester Notebook originate primarily from the Novosi- birsk school of algebra and logic, which was founded by the mathematician and logician A. I. Malcev. The ring theory branch of this school was developed by the algebraist A. I. Shirshov. These problems have had a considerable influence on research in algebra in the countries of the former Soviet Union. They cover a wide range of topics, with a special emphasis on research directions that are characteristic of the \Russian School": associative rings and algebras, nonasso- ciative rings and algebras, polynomial identities, free algebras, varieties of rings and algebras, group rings, topological and ordered rings, embedding of rings into fields and rings of fractions, and the theory of modules. Nonassociative rings ∗Dnestrovskaya tetrad: Nereshennye problemy teorii kolets i modulei (Izdanie chetvyor- toye, Novosibirsk, 1993).
    [Show full text]