DOCSLIB.ORG

Notes on Enveloping Algebras (Following Dixmier)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Notes on Enveloping Algebras (Following Dixmier) Notes on Enveloping Algebras (following Dixmier) Danny Crytser Summer 2019 Abstract The purpose of these notes is to provide a more-or-less self-contained proof of Theorem 5.1, which asserts that (borrowing some C∗-algebraic jargon) the universal enveloping algebra U = U(g) of a finite-dimensional Lie algebra g is residually finite-dimensional, in the sense that given any nonzero element u of U we can produce a finite-dimensional representation π of U that does not vanish on u. In fact, we prove something stronger: we can arrange for the intersection of ker π and U d to be trivial, where U d is the subspace spanned by symmetric homogeneous tensors of degree d. These notes follow [2, Ch. 2] very closely { mostly they were written to digest and provide additional background information. A reader who knows Lie's theorem on solvable Lie algebras and Engel's theorem on nilpotent Lie algebras will have adequate background knowledge. Contents 1 The Poincar´e-Birkhoff-Witt Theorem 1 2 Functorial properties of U 6 3 The symmetrization map 10 4 Existence of finite-dimensional representations 12 4.1 Nilpotency ideals . 14 5 Main result: residual finiteness of U(g) 19 1 The Poincar´e-Birkhoff-WittTheorem Definition 1.1. Let A be an associative algebra. By A− we denote the Lie algebra that has A as its underlying set and bracket given by [xy] = xy − yx. This is called the underlying Lie algebra of A. Remark 1.1. There is a faithful functor Alg ! LieAlg which is given by A 7! A− on objects and the identity on morphisms. It is kind of like a forgetful 1 functor, so we seek its left adjoint. (One could probably try to invoke some heavy duty Freyd theorem to prove that it is a right adjoint, but who has the energy?) The rough idea of a (universal) enveloping algebra is to reverse the construc- tion in Definition 1.1: we take a Lie algebra g and insert it in an associative algebra U in such a way that it generates the algebra (as an algebra! { not as a Lie algebra). The algebra representations of the algebra U ought to correspond precisely with the Lie algebra representations of g. The idea of the construction is pretty simple: just take the elements of g and treat them as elements in an associative algebra, while maintaining all relations coming from g. This corresponds with the tensor algebra of the vector space g. Definition 1.2. Let g be a Lie algebra. Let T 0 = C (or whatever ground field), let T 1 = g, and for n > 1 let T n = T n(g) = g ⊗ g ⊗ ::: ⊗ g : | {z } n-fold L1 n Set T = T (g) = n=0 T , which we refer to as the tensor algebra of g (here we are only treating g as a vector space). Remark 1.2. The tensor algebra provides a good example of an inclusion g ,! T which is not a homomorphism: x ⊗ y − y ⊗ x 6= [x; y]: Definition 1.3. Let g and T = T (g) be as above. Define J to be the two-sided ideal of T generated by all elements of the form x ⊗ y − y ⊗ x − [x; y] 2 T 2 ⊕ T 1 ⊂ T: Denote T=J by U = U(g). We refer to this algebra as the universal enveloping algebra of g. Remark 1.3. In view of remark 1.2, it is easy to see that U is the largest quotient of T so that the composite map g ,! T U(g) is a Lie algebra homomorphism. Definition 1.4. The map g ! T U(g) is denoted by σ and termed the canonical mapping of g into U(g). Remark 1.4. If g is abelian (trivial Lie bracket), then J is equal to the ideal generated by all x ⊗ y − y ⊗ x, and U is equal to the symmetric algebra of g. Remark 1.5. The ideal J in the definition of U is generated by elements belong- 1 2 ing to the two-sided ideal T+ = T ⊕ T ⊕ ::: be the subalgebra of T generated 0 0 by g, which has trivial intersection with T = C. Thus the map T U is injective. 2 Definition 1.5. We denote the image of T+ in U(g) by U+. (This is the 0 subalgebra of U generated by the image of σ.) We set U(g) = U ⊕ U+(g). The summand U 0 is identified with the ground field. For u 2 U we refer to its projection onto the ground field as the constant term of u (imagining u as a polynomial). Note that U is generated as an algebra by f1g [ σ(g). We are finally ready for our first result pertaining to U, which justifies its lofty title. Lemma 1.1 (cf. [2, Lemma 2.1.3]). Let σ be the canonical mapping of g into U(g) and let A be a unital algebra, and let τ : g ! A− be a Lie homomorphism. There exists a unique unital homomorphism τ 0 : U ! A such that τ 0 ◦ σ = τ. Proof. The uniqueness is evident from the fact that U is generated by f1g[σ(g). Let the inclusion g ,! T be denoted by ι. The universal property of the tensor algebra of g provides an algebra homomorphismτ ~ : T ! A satisfyingτ ~ ◦ ι = τ, which is unique if we require it to be unital. In particular,τ ~(x ⊗ y) = τ(x)τ(y). From this and the fact that τ is a Lie homomorphism we see thatτ ~ vanishes on the two-sided ideal J discussed above. It therefore factors through the quotient 0 0 q : T U to provide an algebra homomorphism τ : U ! A satisfyingτ ~ = τ ◦q. Then we have τ 0 ◦ σ = τ 0 ◦ q ◦ ι =τ ~ ◦ ι = τ: Remark 1.6. Lemma 1.1 shows that we have constructed a left adjoint to the \forgetful functor" A ! A−. If A is any associative algebra, we have a natural bijection ∼ HomLieAlg(g; A−) = HomAlg(U(g);A): Lemma 1.1 provides the left-to-right map and the right-to-left map is given by composition with σ (although we will shortly see that g embeds injectively in U via σ). Definition 1.6. Assume that g is finite-dimensional (although as in [4] its possible to make this work for countable-dimension Lie algebras as well) with p ordered basis (x1; x2; : : : ; xn). Set yi := σ(xi). If I = (i1; : : : ; ip) 2 f1; 2; : : : ; ng let yI = yi1 yi2 : : : yip . If i 2 Z, write i ≤ I if for all k we have i ≤ ik. If q : T U 0 1 d is the quotient we set Ud(g) to be q(T +T +:::+T ). We also allow an empty string I (of length 0) with y; = 1 2 U. We regard the Ud as the polynomials of degree ≤ d. The next Lemma shows that we can rearrange any monomial at the cost of introducing lower-order terms. Lemma 1.2 ([2, Lem. 2.1.5]). let a1; : : : ; ap 2 g and let σ : g ! U be canonical. If π is a permutation of the set f1; 2; : : : ; pg then σ(a1)σ(a2) : : : σ(ap) − σ(aπ(1))σ(aπ(2)) : : : σ(aπ(p)) 2 Up−1(g): 3 Proof. Every π can be written as the product of transpositions of the form (j j + 1), so we assume that π is of that form. Then σ(a1) : : : σ(ap) − σ(aπ(1)) : : : σ(aπ(p)) = σ(a1) : : : σ(aj)σ(aj+1) : : : σ(ap) − σ(a1) : : : σ(aj+1)σ(aj) : : : σ(ap) = σ(a1) : : : σ(aj−1)[σ(aj); σ(aj+1)]σ(aj+2) : : : σ(ap) = σ(a1) : : : σ(aj−1)σ([aj; aj+1])σ(aj+2) : : : σ(ap) 2 Up−1(g): Lemma 1.2 immediately implies the following. Lemma 1.3 ([2, Lem. 2.1.6]). The set of monomials fyI : I increasing of length pg spans the space Up(g). Definition 1.7. Let P = C[z1; : : : ; zn] be the algebra of complex polynomials in n indeterminates. Set Pi to be the subspace consisting of elements of P of p total degree ≤ i. For I 2 f1; : : : ; ng set zI = zi1 : : : zip . Remark 1.7. The following rather technical result is used to prove that the increasing monomials are linearly independent. Lemma 1.4. For every integer p ≥ 0 there exists a unique linear mapping fp : g ⊗ Pp ! P satisfying the following conditions: (Ap) fp(xi ⊗ zI ) = zizI if i ≤ I and zI 2 Pp; (Bp) fp(xi ⊗ zI ) − zizI 2 Pq for zI 2 Pq, q ≤ p; (Cp) fp(xi ⊗ fp(xj ⊗ zJ )) = fp(xj ⊗ fp(xi ⊗ zJ )) + fp([xi; xj] ⊗ zJ ). Moreover fpjg⊗Pp−1 = fp−1. Proof. The condition A0 implies that f0(xi ⊗ 1) = zi. This implies B0 and C0 both hold. The main issue is to extend fp−1 inductively to fp. Define fp(xi ⊗ zI ) = zizI as long as i ≤ I and zi 2 Pp. If i is not bounded by I then I = (j; J) where j > i and j ≤ J. (If i is less than the least element in I, its bounded by everything in I.) Note that zI = fp−1(xj ⊗ zJ ). Then fp(xi ⊗ zI ) = fp(xi ⊗ fp−1(xj ⊗ zJ )) = fp(xj ⊗ fp−1(xi ⊗ zJ )) + fp−1([xi; xj] ⊗ zJ ): Now fp−1(xi ⊗ zJ )) = zizJ + w for some w 2 Pp−1 by induction.
Load more

Recommended publications
  • Exercises and Solutions in Groups Rings and Fields
    EXERCISES AND SOLUTIONS IN GROUPS RINGS AND FIELDS Mahmut Kuzucuo˘glu Middle East Technical University [email protected] Ankara, TURKEY April 18, 2012 ii iii TABLE OF CONTENTS CHAPTERS 0. PREFACE . v 1. SETS, INTEGERS, FUNCTIONS . 1 2. GROUPS . 4 3. RINGS . .55 4. FIELDS . 77 5. INDEX . 100 iv v Preface These notes are prepared in 1991 when we gave the abstract al- gebra course. Our intention was to help the students by giving them some exercises and get them familiar with some solutions. Some of the solutions here are very short and in the form of a hint. I would like to thank B¨ulent B¨uy¨ukbozkırlı for his help during the preparation of these notes. I would like to thank also Prof. Ismail_ S¸. G¨ulo˘glufor checking some of the solutions. Of course the remaining errors belongs to me. If you find any errors, I should be grateful to hear from you. Finally I would like to thank Aynur Bora and G¨uldaneG¨um¨u¸sfor their typing the manuscript in LATEX. Mahmut Kuzucuo˘glu I would like to thank our graduate students Tu˘gbaAslan, B¨u¸sra C¸ınar, Fuat Erdem and Irfan_ Kadık¨oyl¨ufor reading the old version and pointing out some misprints. With their encouragement I have made the changes in the shape, namely I put the answers right after the questions. 20, December 2011 vi M. Kuzucuo˘glu 1. SETS, INTEGERS, FUNCTIONS 1.1. If A is a finite set having n elements, prove that A has exactly 2n distinct subsets.
    [Show full text]
  • Lie Algebras and Representation Theory Andreasˇcap
    Lie Algebras and Representation Theory Fall Term 2016/17 Andreas Capˇ Institut fur¨ Mathematik, Universitat¨ Wien, Nordbergstr. 15, 1090 Wien E-mail address: [email protected] Contents Preface v Chapter 1. Background 1 Group actions and group representations 1 Passing to the Lie algebra 5 A primer on the Lie group { Lie algebra correspondence 8 Chapter 2. General theory of Lie algebras 13 Basic classes of Lie algebras 13 Representations and the Killing Form 21 Some basic results on semisimple Lie algebras 29 Chapter 3. Structure theory of complex semisimple Lie algebras 35 Cartan subalgebras 35 The root system of a complex semisimple Lie algebra 40 The classification of root systems and complex simple Lie algebras 54 Chapter 4. Representation theory of complex semisimple Lie algebras 59 The theorem of the highest weight 59 Some multilinear algebra 63 Existence of irreducible representations 67 The universal enveloping algebra and Verma modules 72 Chapter 5. Tools for dealing with finite dimensional representations 79 Decomposing representations 79 Formulae for multiplicities, characters, and dimensions 83 Young symmetrizers and Weyl's construction 88 Bibliography 93 Index 95 iii Preface The aim of this course is to develop the basic general theory of Lie algebras to give a first insight into the basics of the structure theory and representation theory of semisimple Lie algebras. A problem one meets right in the beginning of such a course is to motivate the notion of a Lie algebra and to indicate the importance of representation theory. The simplest possible approach would be to require that students have the necessary background from differential geometry, present the correspondence between Lie groups and Lie algebras, and then move to the study of Lie algebras, which are easier to understand than the Lie groups themselves.
    [Show full text]
  • Structure Theory of Finite Conformal Algebras Alessandro D'andrea JUN
    Structure theory of finite conformal algebras by Alessandro D'Andrea Laurea in Matematica, Universith degli Studi di Pisa (1994) Diploma, Scuola Normale Superiore (1994) Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 1998 @Alessandro D'Andrea, 1998. All rights reserved. The author hereby grants to MIT permission to reproduce and to distribute publicly paper and electronic copies of this thesis document in whole or in part. A uthor .. ................................ Department of Mathematics May 6, 1998 Certified by ............................ Victor G. Kac Professor of Mathematics rc7rc~ ~ Thesis Supervisor Accepted by. Richard B. Melrose ,V,ASSACHUSETT S: i i. Chairman, Department Committee OF TECHNOLCaY JUN 0198 LIBRARIES Structure theory of finite conformal algebras by Alessandro D'Andrea Submitted to the Department ,of Mathematics on May 6, 1998, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract In this thesis I gave a classification of simple and semi-simple conformal algebras of finite rank, and studied their representation theory, trying to prove or disprove the analogue of the classical Lie algebra representation theory results. I re-expressed the operator product expansion (OPE) of two formal distributions by means of a generating series which I call "A-bracket" and studied the properties of the resulting algebraic structure. The above classification describes finite systems of pairwise local fields closed under the OPE. Thesis Supervisor: Victor G. Kac Title: Professor of Mathematics Acknowledgments The few people I would like to thank are those who delayed my thesis the most.
    [Show full text]
  • The Cardinality of the Center of a Pi Ring
    Canad. Math. Bull. Vol. 41 (1), 1998 pp. 81±85 THE CARDINALITY OF THE CENTER OF A PI RING CHARLES LANSKI ABSTRACT. The main result shows that if R is a semiprime ring satisfying a poly- nomial identity, and if Z(R) is the center of R, then card R Ä 2cardZ(R). Examples show that this bound can be achieved, and that the inequality fails to hold for rings which are not semiprime. The purpose of this note is to compare the cardinality of a ring satisfying a polynomial identity (a PI ring) with the cardinality of its center. Before proceeding, we recall the def- inition of a central identity, a notion crucial for us, and a basic result about polynomial f g≥ f g identities. Let C be a commutative ring with 1, F X Cn x1,...,xn the free algebra f g ≥ 2 f gj over C in noncommuting indeterminateso xi ,andsetG f(x1,...,xn) F X some coef®cient of f is a unit in C .IfRis an algebra over C,thenf(x1,...,xn)2Gis a polyno- 2 ≥ mial identity (PI) for RPif for all ri R, f (r1,...,rn) 0. The standard identity of degree sgõ n is Sn(x1,...,xn) ≥ õ(1) xõ(1) ÐÐÐxõ(n) where õ ranges over the symmetric group on n letters. The Amitsur-Levitzki theorem is an important result about Sn and shows that Mk(C) satis®es Sn exactly for n ½ 2k [5; Lemma 2, p. 18 and Theorem, p. 21]. Call f 2 G a central identity for R if f (r1,...,rn) 2Z(R), the center of R,forallri 2R, but f is not a polynomial identity.
    [Show full text]
  • A Gentle Introduction to a Beautiful Theorem of Molien
    A Gentle Introduction to a Beautiful Theorem of Molien Holger Schellwat [email protected], Orebro¨ universitet, Sweden Universidade Eduardo Mondlane, Mo¸cambique 12 January, 2017 Abstract The purpose of this note is to give an accessible proof of Moliens Theorem in Invariant Theory, in the language of today’s Linear Algebra and Group Theory, in order to prevent this beautiful theorem from being forgotten. Contents 1 Preliminaries 3 2 The Magic Square 6 3 Averaging over the Group 9 4 Eigenvectors and eigenvalues 11 5 Moliens Theorem 13 6 Symbol table 17 7 Lost and found 17 References 17 arXiv:1701.04692v1 [math.GM] 16 Jan 2017 Index 18 1 Introduction We present some memories of a visit to the ring zoo in 2004. This time we met an animal looking like a unicorn, known by the name of invariant theory. It is rare, old, and very beautiful. The purpose of this note is to give an almost self contained introduction to and clarify the proof of the amazing theorem of Molien, as presented in [Slo77]. An introduction into this area, and much more, is contained in [Stu93]. There are many very short proofs of this theorem, for instance in [Sta79], [Hu90], and [Tam91]. Informally, Moliens Theorem is a power series generating function formula for counting the dimensions of subrings of homogeneous polynomials of certain degree which are invariant under the action of a finite group acting on the variables. As an apetizer, we display this stunning formula: 1 1 ΦG(λ) := |G| det(id − λTg) g∈G X We can immediately see elements of linear algebra, representation theory, and enumerative combinatorics in it, all linked together.
    [Show full text]
  • SCHUR-WEYL DUALITY Contents Introduction 1 1. Representation
    SCHUR-WEYL DUALITY JAMES STEVENS Contents Introduction 1 1. Representation Theory of Finite Groups 2 1.1. Preliminaries 2 1.2. Group Algebra 4 1.3. Character Theory 5 2. Irreducible Representations of the Symmetric Group 8 2.1. Specht Modules 8 2.2. Dimension Formulas 11 2.3. The RSK-Correspondence 12 3. Schur-Weyl Duality 13 3.1. Representations of Lie Groups and Lie Algebras 13 3.2. Schur-Weyl Duality for GL(V ) 15 3.3. Schur Functors and Algebraic Representations 16 3.4. Other Cases of Schur-Weyl Duality 17 Appendix A. Semisimple Algebras and Double Centralizer Theorem 19 Acknowledgments 20 References 21 Introduction. In this paper, we build up to one of the remarkable results in representation theory called Schur-Weyl Duality. It connects the irreducible rep- resentations of the symmetric group to irreducible algebraic representations of the general linear group of a complex vector space. We do so in three sections: (1) In Section 1, we develop some of the general theory of representations of finite groups. In particular, we have a subsection on character theory. We will see that the simple notion of a character has tremendous consequences that would be very difficult to show otherwise. Also, we introduce the group algebra which will be vital in Section 2. (2) In Section 2, we narrow our focus down to irreducible representations of the symmetric group. We will show that the irreducible representations of Sn up to isomorphism are in bijection with partitions of n via a construc- tion through certain elements of the group algebra.
    [Show full text]
  • Lecture 21: Symmetric Products and Algebras
    LECTURE 21: SYMMETRIC PRODUCTS AND ALGEBRAS Symmetric Products The last few lectures have focused on alternating multilinear functions. This one will focus on symmetric multilinear functions. Recall that a multilinear function f : U ×m ! V is symmetric if f(~v1; : : : ;~vi; : : : ;~vj; : : : ;~vm) = f(~v1; : : : ;~vj; : : : ;~vi; : : : ;~vm) for any i and j, and for any vectors ~vk. Just as with the exterior product, we can get the universal object associated to symmetric multilinear functions by forming various quotients of the tensor powers. Definition 1. The mth symmetric power of V , denoted Sm(V ), is the quotient of V ⊗m by the subspace generated by ~v1 ⊗ · · · ⊗ ~vi ⊗ · · · ⊗ ~vj ⊗ · · · ⊗ ~vm − ~v1 ⊗ · · · ⊗ ~vj ⊗ · · · ⊗ ~vi ⊗ · · · ⊗ ~vm where i and j and the vectors ~vk are arbitrary. Let Sym(U ×m;V ) denote the set of symmetric multilinear functions U ×m to V . The following is immediate from our construction. Lemma 1. We have an natural bijection Sym(U ×m;V ) =∼ L(Sm(U);V ): n We will denote the image of ~v1 ⊗: : :~vm in S (V ) by ~v1 ·····~vm, the usual notation for multiplication to remind us that the terms here can be rearranged. Unlike with the exterior product, it is easy to determine a basis for the symmetric powers. Theorem 1. Let f~v1; : : : ;~vmg be a basis for V . Then _ f~vi1 · :::~vin ji1 ≤ · · · ≤ ing is a basis for Sn(V ). Before we prove this, we note a key difference between this and the exterior product. For the exterior product, we have strict inequalities. For the symmetric product, we have non-strict inequalities.
    [Show full text]
  • Left-Symmetric Algebras of Derivations of Free Algebras
    LEFT-SYMMETRIC ALGEBRAS OF DERIVATIONS OF FREE ALGEBRAS Ualbai Umirbaev1 Abstract. A structure of a left-symmetric algebra on the set of all derivations of a free algebra is introduced such that its commutator algebra becomes the usual Lie algebra of derivations. Left and right nilpotent elements of left-symmetric algebras of deriva- tions are studied. Simple left-symmetric algebras of derivations and Novikov algebras of derivations are described. It is also proved that the positive part of the left-symmetric al- gebra of derivations of a free nonassociative symmetric m-ary algebra in one free variable is generated by one derivation and some right nilpotent derivations are described. Mathematics Subject Classification (2010): Primary 17D25, 17A42, 14R15; Sec- ondary 17A36, 17A50. Key words: left-symmetric algebras, free algebras, derivations, Jacobian matrices. 1. Introduction If A is an arbitrary algebra over a field k, then the set DerkA of all k-linear derivations of A forms a Lie algebra. If A is a free algebra, then it is possible to define a multiplication · on DerkA such that it becomes a left-symmetric algebra and its commutator algebra becomes the Lie algebra DerkA of all derivations of A. The language of the left-symmetric algebras of derivations is more convenient to describe some combinatorial properties of derivations. Recall that an algebra B over k is called left-symmetric [4] if B satisfies the identity (1) (xy)z − x(yz)=(yx)z − y(xz). This means that the associator (x, y, z) := (xy)z −x(yz) is symmetric with respect to two left arguments, i.e., (x, y, z)=(y, x, z).
    [Show full text]
  • WOMP 2001: LINEAR ALGEBRA Reference Roman, S. Advanced
    WOMP 2001: LINEAR ALGEBRA DAN GROSSMAN Reference Roman, S. Advanced Linear Algebra, GTM #135. (Not very good.) 1. Vector spaces Let k be a field, e.g., R, Q, C, Fq, K(t),. Definition. A vector space over k is a set V with two operations + : V × V → V and · : k × V → V satisfying some familiar axioms. A subspace of V is a subset W ⊂ V for which • 0 ∈ W , • If w1, w2 ∈ W , a ∈ k, then aw1 + w2 ∈ W . The quotient of V by the subspace W ⊂ V is the vector space whose elements are subsets of the form (“affine translates”) def v + W = {v + w : w ∈ W } (for which v + W = v0 + W iff v − v0 ∈ W , also written v ≡ v0 mod W ), and whose operations +, · are those naturally induced from the operations on V . Exercise 1. Verify that our definition of the vector space V/W makes sense. Given a finite collection of elements (“vectors”) v1, . , vm ∈ V , their span is the subspace def hv1, . , vmi = {a1v1 + ··· amvm : a1, . , am ∈ k}. Exercise 2. Verify that this is a subspace. There may sometimes be redundancy in a spanning set; this is expressed by the notion of linear dependence. The collection v1, . , vm ∈ V is said to be linearly dependent if there is a linear combination a1v1 + ··· + amvm = 0, some ai 6= 0. This is equivalent to being able to express at least one of the vi as a linear combination of the others. Exercise 3. Verify this equivalence. Theorem. Let V be a vector space over a field k.
    [Show full text]
  • Generalized Supercharacter Theories and Schur Rings for Hopf Algebras
    Generalized Supercharacter Theories and Schur Rings for Hopf Algebras by Justin Keller B.S., St. Lawrence University, 2005 M.A., University of Colorado Boulder, 2010 A thesis submitted to the Faculty of the Graduate School of the University of Colorado in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Mathematics 2014 This thesis entitled: Generalized Supercharacter Theories and Schur Rings for Hopf Algebras written by Justin Keller has been approved for the Department of Mathematics Nathaniel Thiem Richard M. Green Date The final copy of this thesis has been examined by the signatories, and we find that both the content and the form meet acceptable presentation standards of scholarly work in the above mentioned discipline. iii Keller, Justin (Ph.D., Mathematics) Generalized Supercharacter Theories and Schur Rings for Hopf Algebras Thesis directed by Associate Professor Nathaniel Thiem The character theory for semisimple Hopf algebras with a commutative representation ring has many similarities to the character theory of finite groups. We extend the notion of superchar- acter theory to this context, and define a corresponding algebraic object that generalizes the Schur rings of the group algebra of a finite group. We show the existence of Hopf-algebraic analogues for the most common supercharacter theory constructions, specificially the wedge product and super- character theories arising from the action of a finite group. In regards to the action of the Galois group of the field generated by the entries of the character table, we show the existence of a unique finest supercharacter theory with integer entries, and describe the superclasses for abelian groups and the family GL2(q).
    [Show full text]
  • Universal Enveloping Algebras and Some Applications in Physics
    Universal enveloping algebras and some applications in physics Xavier BEKAERT Institut des Hautes Etudes´ Scientifiques 35, route de Chartres 91440 – Bures-sur-Yvette (France) Octobre 2005 IHES/P/05/26 IHES/P/05/26 Universal enveloping algebras and some applications in physics Xavier Bekaert Institut des Hautes Etudes´ Scientifiques Le Bois-Marie, 35 route de Chartres 91440 Bures-sur-Yvette, France [email protected] Abstract These notes are intended to provide a self-contained and peda- gogical introduction to the universal enveloping algebras and some of their uses in mathematical physics. After reviewing their abstract definitions and properties, the focus is put on their relevance in Weyl calculus, in representation theory and their appearance as higher sym- metries of physical systems. Lecture given at the first Modave Summer School in Mathematical Physics (Belgium, June 2005). These lecture notes are written by a layman in abstract algebra and are aimed for other aliens to this vast and dry planet, therefore many basic definitions are reviewed. Indeed, physicists may be unfamiliar with the daily- life terminology of mathematicians and translation rules might prove to be useful in order to have access to the mathematical literature. Each definition is particularized to the finite-dimensional case to gain some intuition and make contact between the abstract definitions and familiar objects. The lecture notes are divided into four sections. In the first section, several examples of associative algebras that will be used throughout the text are provided. Associative and Lie algebras are also compared in order to motivate the introduction of enveloping algebras. The Baker-Campbell- Haussdorff formula is presented since it is used in the second section where the definitions and main elementary results on universal enveloping algebras (such as the Poincar´e-Birkhoff-Witt) are reviewed in details.
    [Show full text]
  • Arxiv:1106.4415V1 [Math.DG] 22 Jun 2011 R,Rno Udai Form
    JORDAN STRUCTURES IN MATHEMATICS AND PHYSICS Radu IORDANESCU˘ 1 Institute of Mathematics of the Romanian Academy P.O.Box 1-764 014700 Bucharest, Romania E-mail: [email protected] FOREWORD The aim of this paper is to offer an overview of the most important applications of Jordan structures inside mathematics and also to physics, up- dated references being included. For a more detailed treatment of this topic see - especially - the recent book Iord˘anescu [364w], where sugestions for further developments are given through many open problems, comments and remarks pointed out throughout the text. Nowadays, mathematics becomes more and more nonassociative (see 1 § below), and my prediction is that in few years nonassociativity will govern mathematics and applied sciences. MSC 2010: 16T25, 17B60, 17C40, 17C50, 17C65, 17C90, 17D92, 35Q51, 35Q53, 44A12, 51A35, 51C05, 53C35, 81T05, 81T30, 92D10. Keywords: Jordan algebra, Jordan triple system, Jordan pair, JB-, ∗ ∗ ∗ arXiv:1106.4415v1 [math.DG] 22 Jun 2011 JB -, JBW-, JBW -, JH -algebra, Ricatti equation, Riemann space, symmet- ric space, R-space, octonion plane, projective plane, Barbilian space, Tzitzeica equation, quantum group, B¨acklund-Darboux transformation, Hopf algebra, Yang-Baxter equation, KP equation, Sato Grassmann manifold, genetic alge- bra, random quadratic form. 1The author was partially supported from the contract PN-II-ID-PCE 1188 517/2009. 2 CONTENTS 1. Jordan structures ................................. ....................2 § 2. Algebraic varieties (or manifolds) defined by Jordan pairs ............11 § 3. Jordan structures in analysis ....................... ..................19 § 4. Jordan structures in differential geometry . ...............39 § 5. Jordan algebras in ring geometries . ................59 § 6. Jordan algebras in mathematical biology and mathematical statistics .66 § 7.
    [Show full text]