DOCSLIB.ORG

Construction of Chevalley Bases of Lie Algebras

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Construction of Chevalley Bases of Lie Algebras Construction of Chevalley Bases of Lie Algebras Dan Roozemond Joint work with Arjeh M. Cohen May 14th, 2009, Computeralgebratagung, Universität Kassel http://www.win.tue.nl/~droozemo/ / department of mathematics and computer science Outline 2 of 30 ‣ What is a Lie algebra? ‣ What is a Chevalley basis? ‣ How to compute Chevalley bases? ‣ Does it work? ‣ What next? ‣ Any questions? / department of mathematics and computer science What is a Lie Algebra? 3 of 30 n ‣ Vector space: F / department of mathematics and computer science What is a Lie Algebra? 3 of 30 n ‣ Vector space: F ‣ Multiplication [ , ]: L L L that is · · × "→ • Bilinear, • Anti-symmetric, • Satisfies Jacobi identity: [x, [y, z]] + [y, [z, x]] + [z,[x, y]] = 0 / department of mathematics and computer science What is a Lie Algebra? 3 of 30 n ‣ Vector space: F ‣ Multiplication [ , ]: L L L L that is · · × "→ • Bilinear, n • Anti-symmetric,F [ , ] • Satisfies Jacobi identity: · · [x, [y, z]] + [y, [z, x]] + [z,[x, y]] = 0 / department of mathematics and computer science Simple Lie algebras 4 of 30 Classification (Killing, Cartan) If char( F ) = 0 or big enough then the only simple Lie algebras are: A (n 1) E6, E7, E8 n ≥ Bn (n 2) F ≥ 4 Cn (n 3) G ≥ 2 D (n 4) n ≥ / department of mathematics and computer science Why Study Lie Algebras? 5 of 30 / department of mathematics and computer science Why Study Lie Algebras? 5 of 30 ‣ Study groups by their Lie algebras: • Simple algebraic group G <-> Unique Lie algebra L • Many properties carry over to L • Easier to calculate in L • G ≤ Aut(L), often even G = Aut(L) / department of mathematics and computer science Why Study Lie Algebras? 5 of 30 ‣ Study groups by their Lie algebras: • Simple algebraic group G <-> Unique Lie algebra L • Many properties carry over to L • Easier to calculate in L • G ≤ Aut(L), often even G = Aut(L) ‣ Opportunities for: • Recognition • Conjugation • ... / department of mathematics and computer science Why Study Lie Algebras? 5 of 30 ‣ Study groups by their Lie algebras: • Simple algebraic group G <-> Unique Lie algebra L • Many properties carry over to L • Easier to calculate in L • G ≤ Aut(L), often even G = Aut(L) ‣ Opportunities for: • Recognition • Conjugation • ... ‣ Because there are problems to be solved! • ... and a thesis to be written... / department of mathematics and computer science Chevalley Bases 6 of 30 x Β x Α#Β x $Α H x Α x$Α$Β x $Β Many Lie algebras have a Chevalley basis! / department of mathematics and computer science Root Systems 7 of 30 ‣ A hexagon / department of mathematics and computer science Root Systems 7 of 30 ‣ A hexagon / department of mathematics and computer science Root Systems 7 of 30 Β ‣ A hexagon Α / department of mathematics and computer science Root Systems 7 of 30 Β Α#Β ‣ A hexagon $Α ‣ A root system of type A2 Α $Α$Β $Β / department of mathematics and computer science Root Data 8 of 30 Definition (Root Datum) R =(X, Φ, Y, Φ∨), , : X Y Z !· ·" × → / department of mathematics and computer science Root Data 8 of 30 Definition (Root Datum) R =(X, Φ, Y, Φ∨), , : X Y Z !· ·" × → ‣ X, Y: dual free Z -modules, ‣ put in duality by , , !· ·" ‣ Φ X : roots, ⊆ ‣ Φ ∨ Y : coroots. ⊆ / department of mathematics and computer science Root Data 8 of 30 Definition (Root Datum) R =(X, Φ, Y, Φ∨), , : X Y Z !· ·" × → ‣ X, Y: dual free Z -modules, ‣ put in duality by , , !· ·" ‣ Φ X : roots, ⊆ ‣ Φ ∨ Y : coroots. ⊆ Several Root Data: One Root System “adjoint” ... { “simply connected” / department of mathematics and computer science Root Data 9 of 30 Definition (Root Datum) R =(X, Φ, Y, Φ∨), , : X Y Z !· ·" × → Several Root Data: One Root System “adjoint” ... { “simply connected” Irreducible Root Data: An· , Bn· , Cn· , Dn· , E6· , E7· , E8· , F4· , G2· . / department of mathematics and computer science Root Data 10 of 30 Β Α#Β ‣ A hexagon $Α ‣ A root system of type A2 Α $Α$Β $Β / department of mathematics and computer science Root Data 10 of 30 xΒ Β Α#x ΑΒ#Β ‣ A hexagon $xΑ ‣ A root system of type A2 $Α H Αx Α ‣ A Lie algebra of type A2 $Αx$$ΒΑ$Β $xΒ$Β / department of mathematics and computer science Chevalley Basis 11 of 30 Definition (Chevalley Basis) Formal basis: L = Fhi Fxα ⊕ i=1,...,n α Φ ! !∈ Bilinear anti-symmetric multiplication satisfies ( i, j 1 , . , n ; α , β Φ ) : ∈ { } ∈ [hi,hj]=0, [xα,hi]= α,fi xα, ! n " [x α,xα]= ei, α∨ hi, − i=1! " Nα,βxα+β if α + β Φ, [xα,xβ]=! ∈ " 0 otherwise, and the Jacobi identity. / department of mathematics and computer science Chevalley Basis 11 of 30 Definition (Chevalley Basis) Formal basis: L = Fhi Fxα ⊕ i=1,...,n α Φ ! !∈ Bilinear anti-symmetric multiplication satisfies ( i, j 1 , . , n ; α , β Φ ) : ∈ { } ∈ [hi,hj]=0, x x Β Α#Β [xα,hi]= α,fi xα, ! n " [x α,xα]= ei, α∨ hi, − i=1! " Nα,βxα+β if α + β Φ, [xα,xβ]=! ∈ x $Α H " 0 otherwise, x Α and the Jacobi identity. x$Α$Β x $Β / department of mathematics and computer science Why? 12 of 30 Why Chevalley bases? ‣ Because transformation between two Chevalley bases is an automorphism of L, ‣ So we can test isomorphism between two Lie algebras (and find isomorphisms!) by computing Chevalley bases. / department of mathematics and computer science Why? 13 of 30 L n [ , ] F · · / department of mathematics and computer science Why? 13 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β / department of mathematics and computer science Why? 13 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β · ] · , [ L n F / department of mathematics and computer science Why? 13 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β · x x ] Β Α#Β · , [ x $Α H x Α L n F x$Α$Β x $Β / department of mathematics and computer science Why? 13 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β equal · x x ] Β Α#Β · , [ x $Α H x Α L n F x$Α$Β x $Β / department of mathematics and computer science Why? 13 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β isomorphic! equal · x x ] Β Α#Β · , [ x $Α H x Α L n F x$Α$Β x $Β / department of mathematics and computer science Why? 14 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β / department of mathematics and computer science Why? 14 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β L n [ , ] F · · / department of mathematics and computer science Why? 14 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β x3Α#2Β x Β x Α#Β x2Α#Β L x3Α#Β H n [ , ] x $Α x Α F · · x$3Α$Β x$2Α$Β x$Α$Β x $Β x$3Α$2Β / department of mathematics and computer science Why? 14 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β not equal x3Α#2Β x Β x Α#Β x2Α#Β L x3Α#Β H n [ , ] x $Α x Α F · · x$3Α$Β x$2Α$Β x$Α$Β x $Β x$3Α$2Β / department of mathematics and computer science Why? 14 of 30 L x Β x Α#Β x $Α H n [ , ] x Α F · · x$Α$Β x $Β non-isomorphic! not equal x3Α#2Β x Β x Α#Β x2Α#Β L x3Α#Β H n [ , ] x $Α x Α F · · x$3Α$Β x$2Α$Β x$Α$Β x $Β x$3Α$2Β / department of mathematics and computer science Outline 15 of 30 ‣ What is a Lie algebra? ‣ What is a Chevalley basis? ‣ How to compute Chevalley bases? ‣ Does it work? ‣ What next? ‣ Any questions? / department of mathematics and computer science The Mission 16 of 30 ‣ Given a Lie algebra (on a computer), ‣ Want to know which Lie algebra it is, ‣ So want to compute a Chevalley basis for it. Root datum, field x Β x Α#Β Group of Lie type L “Chevalley Basis x $Α H n x Α Matrix Lie F [ , ] Algorithm” algebra · · x$Α$Β x $Β .... / department of mathematics and computer science The Mission 17 of 30 Root datum, field x Β x Α#Β Group of Lie type L “Chevalley Basis x $Α H n x Α Matrix Lie F [ , ] Algorithm” algebra · · x$Α$Β x $Β .... ‣ Assume splitting Cartan subalgebra H is given (Cohen/Murray, indep. Ryba); ‣ Assume root datum R is given / department of mathematics and computer science The Mission 18 of 30 Root datum, field x Β x Α#Β Group of Lie type L “Chevalley Basis x $Α H n x Α Matrix Lie F [ , ] Algorithm” algebra · · x$Α$Β x $Β .... ‣ Char. 0, p ≥ 5: De Graaf, Murray; implemented in GAP, MAGMA / department of mathematics and computer science The Mission 18 of 30 Root datum, field x Β x Α#Β Group of Lie type L “Chevalley Basis x $Α H n x Α Matrix Lie F [ , ] Algorithm” algebra · · x$Α$Β x $Β ...
Load more

Recommended publications
  • Inner Derivations of Exceptional Lie Algebras in Prime Characteristic 3
    INNER DERIVATIONS OF EXCEPTIONAL LIE ALGEBRAS IN PRIME CHARACTERISTIC PABLO ALBERCA BJERREGAARD, DOLORES MART´IN BARQUERO, AND CANDIDO´ MART´IN GONZALEZ´ Abstract. It is well-known that every derivation of a semisimple Lie algebra L over an algebraically closed field F with characteristic zero is inner. The aim of this paper is to show what happens if the characteristic of F is prime with L an exceptional Lie algebra. We prove that if L is a Chevalley Lie algebra of type {g2, f4, e6, e7, e8} over a field of characteristic p then the derivations of L are inner except in the cases g2 with p = 2, e6 with p = 3 and e7 with p = 2. 1. Introduction This paper deals with the derivation algebra of the Chevalley Lie algebras of exceptional type {g2, f4, e6, e7, e8}. As it is well-known Chevalley constructed Lie algebras over arbitrary fields F starting from any semisimple (finite-dimensional) Lie algebra over an algebraically closed field of characteristic zero. The key point was to realize that on such algebras one can find a suitable basis whose structure constants are integers. Then, by an scalar extension process he constructed those Lie algebras which nowadays are called Chevalley algebras. By gathering results of Zassenhaus (1939), Seligman (1979), Springer and Stein- berg (we will give full details in the next section) one can get convinced that any derivation of a Chevalley F -algebra of any of the types {g2, f4, e6, e7} is in- ner for char(F ) ≥ 5. Also the derivations of a Chevalley algebra of type e8 with char(F ) ≥ 7, are inner.
    [Show full text]
  • Background on Chevalley Groups Constructed from a Root System
    Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described a construction which begins with the root sys- tem of a complex, semisimple Lie algebra g, and yields a corresponding Lie group G which has g as its Lie algebra. His method was improved by Robert Steinberg in 1959. In the cases An, Bn, Cn, and Dn, this method gives the simply connected groups SLn+1, Spin2n+1, Sp2n, and Spin2n, respectively. However, this method can also be used to more easily define the exceptional Lie groups, the analogous groups over arbitrary fields, or even over commutative rings. Such groups, like SLn(Fq) or G2(Qp), fall under the blanket term ’groups of Lie type’. 1 Background Historically, the identification of many abstract simple groups was done via a careful consideration of simple complex Lie groups. For example, if one defines the group SL2(C) to be the group of two-by-two matrices of determinant one, then the field C may be easily replaced by any field or commutative ring (with identity) without alteration of the definition. But many other groups, which were known (at least formally) to exist via an association to a Lie algebra or root system, failed to admit such a simple definition. Theoretically, all such algebraic groups can be considered as subgroups of GLn satisfying some polynomial conditions on the entries, though the size of n and the nature of the polynomial conditions 1 proved to be elusive.
    [Show full text]
  • Chevlie: Constructing Lie Algebras and Chevalley Groups
    Journal of Software for Algebra and Geometry ChevLie: Constructing Lie algebras and Chevalley groups MEINOLF GECK vol 10 2020 JSAG 10 (2020), 41–49 The Journal of Software for https://doi.org/10.2140/jsag.2020.10.41 Algebra and Geometry ChevLie: Constructing Lie algebras and Chevalley groups MEINOLF GECK ABSTRACT: We present ChevLie-1.1, a module for Julia and, ultimately, the emerging OSCAR system. It provides functions for constructing simple Lie algebras and the corresponding Chevalley groups (of adjoint or other types), using a recently established approach via Lusztig’s “canonical bases”. These programs, combined with the Julia interface to SINGULAR, supply an efficient, user-friendly way to establish a key part of a new characterisation of Lusztig’s “special” nilpotent orbits in simple Lie algebras. 1. THE -CANONICAL CHEVALLEY BASIS OF A LIE ALGEBRA. Let g be a finite-dimensional, simple Lie algebra over C. By the classical Cartan–Killing theory (see[Humphreys 1978]), one can associate with g a Dynkin diagram 0 (that is, one of the graphs in Figure 1 below) and g is, up to isomorphism, uniquely determined by 0. Conversely, an elegant way to construct a Lie algebra g corresponding to such a diagram 0 is given by taking the quotient of the free Lie algebra on generators fei ; fi j i 2 I g (where I is an index set for the nodes of 0) by the ideal generated by the Serre relations in[Humphreys 1978, (18.1)] (which only depend on 0). The general theory then shows that g has a basis B D fhi j i 2 I g [ feα j α 2 8g; where the elements hi VD Tei ; fi U (i 2 I ) span a Cartan subalgebra h ⊆ g, the set 8 is the root system determined by 0, and the eα are chosen such that Thi ; eαU 2 Ceα for all i 2 I ; the eα are unique up to nonzero scalar multiples.
    [Show full text]
  • E8 + E8 Heterotic String Theory in Vedic Physics
    E8 + E8 Heterotic String Theory in Vedic Physics By John Frederic Sweeney Abstract S.M. Phillips has articulated a fairly good model of the E8×E8 heterotic superstring, yet nevertheless has missed a few key aspects. This paper informs his model from the perspective of Vedic Nuclear Physics, as derived from the Rig Veda and two of the Upanishads. In addition, the author hypothesizes an extension of the Exceptional Lie Algebra Series beyond E8 to another 12 places or more. 1 Table of Contents Introduction 3 Wikipedia 5 S.M. Phillips model 12 H series of Hypercircles 14 Conclusion 18 Bibliography 21 2 Introduction S.M. Phillips has done a great sleuthing job in exploring the Jewish Cabala along with the works of Basant and Leadbetter to formulate a model of the Exceptional Lie Algebra E8 to represent nuclear physics that comes near to the Super String model. The purpose of this paper is to offer minor corrections from the perspective of the science encoded in the Rig Veda and in a few of the Upanishads, to render a complete and perfect model. The reader might ask how the Jewish Cabala might offer insight into nuclear physics, since the Cabala is generally thought to date from Medieval Spain. The simple fact is that the Cabala does not represent medieval Spanish thought, it is a product of a much older and advanced society – Remotely Ancient Egypt from 15,000 years ago, before the last major flooding of the Earth and the Sphinx. The Jewish people may very well have left Ancient Egypt in the Exodus, led by Moses.
    [Show full text]
  • Introduction to Chevalley Groups
    Introduction to Chevalley Groups Karina Kirkina May 27, 2015 Definition A Lie algebra is a vector space L over a field K on which a product operation [x; y] is defined satisfying the following axioms: 1 [x; y] is bilinear for all x; y 2 L. 2 [x; x] = 0 for all x 2 L. 3 (Jacobi identity) [[x; y]; z] + [[y; z]; x] + [[z; x]; y] = 0 for x; y; z 2 L. Lie groups and Lie algebras Definition A Lie group is a smooth manifold G equipped with a group structure so that the maps µ :(x; y) 7! xy, G × G ! G and ι : x 7! x −1, G ! G are smooth. Lie groups and Lie algebras Definition A Lie group is a smooth manifold G equipped with a group structure so that the maps µ :(x; y) 7! xy, G × G ! G and ι : x 7! x −1, G ! G are smooth. Definition A Lie algebra is a vector space L over a field K on which a product operation [x; y] is defined satisfying the following axioms: 1 [x; y] is bilinear for all x; y 2 L. 2 [x; x] = 0 for all x 2 L. 3 (Jacobi identity) [[x; y]; z] + [[y; z]; x] + [[z; x]; y] = 0 for x; y; z 2 L. This Lie algebra is finite-dimensional and has the same dimension as the manifold G. The Lie algebra of G determines G up to "local isomorphism", where two Lie groups are called locally isomorphic if they look the same near the identity element.
    [Show full text]
  • Groups of Lie Type, Vertex Algebras, and Modular Moonshine
    ELECTRONIC RESEARCH ANNOUNCEMENTS doi:10.3934/era.2014.21.167 IN MATHEMATICAL SCIENCES Volume 21, Pages 167{176 (November 18, 2014) S 1935-9179 AIMS (2014) GROUPS OF LIE TYPE, VERTEX ALGEBRAS, AND MODULAR MOONSHINE ROBERT L. GRIESS JR. AND CHING HUNG LAM (Communicated by Walter Neumann) Abstract. We use recent work on integral forms in vertex operator algebras to construct vertex algebras over general commutative rings and Chevalley groups acting on them as vertex algebra automorphisms. In this way, we get series of vertex algebras over fields whose automorphism groups are essentially those Chevalley groups (actually, an exact statement depends on the field and involves upwards extensions of these groups by outer diagonal and graph automorphisms). In particular, given a prime power q, we realize each finite simple group which is a Chevalley or Steinberg variations over Fq as \most of" the full automorphism group of a vertex algebra over Fq. These finite simple groups are An(q);Bn(q);Cn(q);Dn(q);E6(q);E7(q);E8(q);F4(q);G2(q) 2 2 3 2 and An(q); Dn(q); D4(q); E6(q); where q is a prime power. Also, we define certain reduced VAs. In characteristics 2 and 3, there are exceptionally large automorphism groups. A covering algebra idea of Frohardt and Griess for Lie algebras is applied to the vertex algebra situation. We use integral form and covering procedures for vertex algebras to com- plete the modular moonshine program of Borcherds and Ryba for proving an 15 10 3 2 embedding of the sporadic group F3 of order 2 3 5 7 13·19·31 in E8(3).
    [Show full text]
  • INSIDE E8 Recently, the Preprint [1] by Garrett Lisi Has Generated a Lot Of
    THERE IS NO “THEORY OF EVERYTHING” INSIDE E8 JACQUES DISTLER AND SKIP GARIBALDI ABSTRACT. We analyze certain subgroups of real and complex forms of the Lie group E8, and deduce that any “Theory of Everything” obtained by embedding the gauge groups of gravity and the Standard Model into a real or complex form of E8 lacks certain representation- theoretic properties required by physical reality. The arguments themselves amount to rep- resentation theory of Lie algebras along the lines of Dynkin’s classic papers and are written for mathematicians. 1. INTRODUCTION Recently, the preprint[1] by Garrett Lisi has generateda lot of popular interest. It boldly claims to be a sketch of a “Theoryof Everything”,based on the idea of combining the local Lorentz group and the gauge group of the Standard Model in a real form of E8 (necessarily not the compact form, because it contains a group isogenous to SL(2, C)). The purpose of this paper is to explain some reasons why an entire class of such models—which include the model in [1]—cannot work, using mostly mathematics with relatively little input from physics. The mathematical set up is as follows. Fix a real Lie group E. We are interested in subgroups SL(2, C) and G of E so that: (ToE1) G is connected, reductive, compact, and centralizes SL(2, C) We complexify and decompose Lie(E) ⊗ C as a direct sum of representations of SL(2, C) and G. We identify SL(2, C) × C with SL2,C × SL2,C and write (1.1) Lie(E) = m ⊗ n ⊗ Vm,n ≥ m,nM 1 where m and n denote the irreducible representation of SL2,C of that dimension and Vm,n is a complex representation of G × C.
    [Show full text]
  • Automorphisms and Isomorphisms of Chevalley Groups of Type G2 Over Local Rings with 1/2 and 1/31
    Automorphisms and isomorphisms of Chevalley groups of type G2 over local rings with 1=2 and 1=31 E. I. Bunina M.V. Lomonosov Moscow State University Russia, 119992, Moscow, Leninskie Gory, Main Building of MSU, Faculty of Mechanics and Mathematics, Department of Higher Algebra email address: [email protected] Abstract. We prove that every isomorphism of Chevalley groups of type G2 over commutative local rings with 1=2 and 1=3 is standard, i. e., it is a composition of a ring isomorphism and an inner automorphism. Key words: Chevalley groups, local rings, isomorphisms and automorphisms Introduction An associative commutative ring R with a unit is called local, if it contains exactly one maximal ideal (that coincides with the radical of R). Equivalently, the set of all non-invertible elements of R is an ideal. We describe automorphisms of Chevalley groups of type G2 over local rings with 1=2 and 1=3. Note that for the root system G2 there exists only one weight lattice, that is simultaneously universal and adjoint, therefore for every ring R there exists a unique Chevalley group of type G2, that is G(R) = G ad (G2;R). Over local rings universal Chevalley groups coincide with their elementary subgroups, consequently the Chevalley group G(R) is also an elementary Chevalley group. Theorem 1 for the root systems Al;Dl; and El was obtained by the author in [12], in [14] all automorphisms of Chevalley groups of given types over local rings with 1=2 were described. Theorem 1 for the root systems B2 and G2 is obtained in the paper [13], but we repeat it here for the root system G2 with an easier proof.
    [Show full text]
  • Matrix Generators for Exceptional Groups of Lie Type
    J. Symbolic Computation (2000) 11, 1–000 Matrix generators for exceptional groups of Lie type R. B. HOWLETT, L. J. RYLANDS AND D. E. TAYLOR School of Mathematics and Statistics, University of Sydney, Australia School of Science, University of Western Sydney, Nepean, Australia School of Mathematics and Statistics, University of Sydney, Australia (Received 24 March 2000) 1. Introduction Until recently it was impractical to use general purpose computer algebra systems to investigate Chevalley groups except for those of small rank over small fields. But computer algebra systems (such as Magma (Bosma et al. 1997) and GAP (Sch¨onert et al. 1994)) now have the power to deal with some aspects of all finite groups of Lie type. A natural way to represent these groups is via matrices over the defining field. Thus, for computational purposes, there is a need to provide matrix generators for these groups. This has been done for the classical groups (Taylor 1987, Rylands and Taylor 1998) and now it remains to extend this to all finite groups of Lie type. It is the purpose of the present paper to give a uniform method of constructing gen- erators for groups of Lie type with particular emphasis on the exceptional groups. The constructions described here could be carried out within any computer algebra system and, in particular, have been implemented in Magma. This completes the determination of matrix generators for all groups of Lie type, including the twisted groups of Steinberg, Suzuki and Ree (and the Tits group). The Lie algebras and related Chevalley groups of types An, Bn, Cn and Dn can be identified with classical groups (Carter (1972), §11.3), and in Taylor (1987) and Ry- lands and Taylor (1998) this identification was used to translate the generators given by Steinberg (1962) to matrix forms.
    [Show full text]
  • On the Construction of Semisimple Lie Algebras and Chevalley Groups 3
    ON THE CONSTRUCTION OF SEMISIMPLE LIE ALGEBRAS AND CHEVALLEY GROUPS MEINOLF GECK Abstract. Let g be a semisimple complex Lie algebra. Recently, Lusztig sim- plified the traditional construction of the corresponding Chevalley groups (of ad- joint type) using the ”canonical basis” of the adjoint representation of g. Here, we present a variation of this idea which leads to a new, and quite elementary construction of g itself from its root system. An additional feature of this set-up is that it also gives rise to explicit Chevalley bases of g. 1. Introduction Let g be a finite-dimensional semisimple Lie algebra over C. In a famous paper [3], Chevalley found an integral basis of g and used this to construct new families of simple groups, now known as Chevalley groups. In [14], Lusztig described a simplified construction of these groups, by using a remarkable basis of the adjoint representation of g on which the Chevalley generators e , f g act via matrices i i ∈ with entries in N0. That basis originally appeared in [9], [10], [11], even at the quantum group level; subsequently, it could be interpreted as the canonical basis of the adjoint representation (see [12], [15]). In this note, we turn Lusztig’s argument around and show that this leads to a new way of actually constructing g from its root system. Usually, this is achieved by a subtle choice of signs in Chevalley’s integral basis (Tits [21]), or by taking a suitable quotient of a free Lie algebra (Serre [19]). In our approach, we do not need to choose any signs, and we do not have to deal with free Lie algebras at all.
    [Show full text]
  • Jordan Algebras and the Exceptional Lie Algebra F
    Tutorial Series Table of Contents Related Pages Jordan Algebras and the Synopsis References digitalcommons.usu. Exceptional Lie algebra f Cartan 1. The Compact Release Notes Subalgebras edu/dg 4 Form of f4 2. The Split form Author of f4 3. References f4 16, 36 Synopsis • Jordan algebras are a general class of commutative (but usually non-associative) algebras which satisfy a certain weak associativity identity. A Jordan algebra is called special if there is an underlying associative algebra A and the Jordan product is x+ y = 1 / 2 xy C yx . Jordan algebras which are not special are called exceptional. Let O denote the octonions, let O' denote the split octonions, let be the diagonal matrix with its first p entries equal to +1 and its remaining q entries equal to -1. Let denote Ipq M n, A the algebra of n # n matrices over an algebra (possibly non-associative) A. Define the Jordan algebras † J 3, O = A 2 M 3, O A = A † J 3, O' = A 2 M 3, O' A = A , † . J 2, 1, O = A 2 M 3, O I21A I21 = A We view these as real algebras. Since the octonions are non-associative, these Jordan algebras are exceptional. All are easily created in Maple. • The derivations of an algebra A over a field k are the kKlinear maps f : A / A such that f x $ y = f x $y C x$f y . The set of all derivations forms a Lie algebra. In 1950, Chevalley and Schafer [2] proved that the derivation algebra of is the compact real form of the exceptional Lie algebra .
    [Show full text]
  • Annales Scientifiques De L'é.Ns
    ANNALES SCIENTIFIQUES DE L’É.N.S. F. D. VELDKAMP The center of the universal enveloping algebra of a Lie algebra in characteristic p Annales scientifiques de l’É.N.S. 4e série, tome 5, no 2 (1972), p. 217-240 <http://www.numdam.org/item?id=ASENS_1972_4_5_2_217_0> © Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1972, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. sclent. EC. Norm. Sup., 4e serie, t. 5, 1972, p. 217 a 240. THE CENTER OF THE UNIVERSAL ENVELOPING ALGEBRA OF A LIE ALGEBRA IN CHARACTERISTIC p BY F. D. VELDKAMP INTRODUCTION. — This paper is divided into two somewhat different parts. In part I we consider the center ^ of the universal enveloping algebra *U of a Lie algebra fi, which is the Lie algebra of a semisimple algebraic group G over a field of characteristic p > 0. Following H. Zassenhaus [24] we introduce a certain subalgebra 0 of ^ which has the structure of a polynomial algebra in n variables, n = dim g, a.nd over which 1L is a free module (c/*. § 1). If p > h, the Coxeter number of G, the structure of ^ over 0 can be determined.
    [Show full text]