With the goal of describing simple lie groups, we analyze semisimple complex lie algebras by their root systems to classify simple lie algebras. The jacobson radical of an algebra over a field is the ideal consisting of all elements that annihilate every simple leftmodule. Irreducible representations of complex semisimple lie. Structure theory of semisimple lie groups stony brook mathematics. Complex semisimple lie algebras and their representations.
There are also ve exceptional lie algebras denoted g2, f4, e6, e7, e8 which have dimension 14, 52, 78, 3 and 248 respectively. The present paper is the continuation of our series of papers 7,10,11,15 and also 5,6. The first two chapters are a summary, without proofs, of the general properties of nilpotent, solvable, and semisimple lie algebras. We note that the function checks only the last property. A literature reference for finiteness of the center of a connected complexanalytic lie group with semisimple lie algebra i assume this is your definition of semisimple for the analytic group is ch. Our study of real semisimple lie groups and algebras is based on the theory of complex semisimple lie groups developed in ch. Dynkin in 1947 dynkin, 1947 and later adapted by jeanpierre serre to give us a complete correspondence between lie algebras and. A similar classification holds for compact real semisimple lie groups, each of which is imbedded in a unique complex semisimple lie group as a maximal compact subgroup see. We draw heavily from erdmann and wildons book introduction to lie algebras 3. It is possible to develop the theory of complex semisimple lie algebras by viewing them as the complexifications of lie algebras of compact groups. The levi decomp osition for lie algebras says that a real lie algebra is the semidirect product of a solvable lie algebra and a semisimple lie algebra, and it follows that a connected lie group is.
Complex semisimple lie algebras jeanpierre serre springer. Let hbe a maximal toral subalgebra, the associated root system, and a basis. The matrices expit form a group of unitary matrices of determinant unity a matrix is unitary if its adjoint its complex conjugate transpose is its inverse. We classify real 6dimensional nilpotent lie algebras for which the corresponding lie group has a leftinvariant complex structure, and estimate the dimensions of moduli spaces of such. This thesis is mainly dedicated to the study of the representations of semisimple lie algebras over an algebraically closed eld f of characteristic zero. This paper examines lie algebras with particular focus on nitedimensional lie algebras over c, building up to the classi cation of semisimple complex lie algebras. K is contained in l, the cartan subalgebra of l, as returned by cartansubalgebral is split this is automatic if l is created by the built in gap function and k has a cartan subalgebra that is a subalgebra of the cartan subalgebra of l. We will see that this is the same as saying that a particular bilinear form is nondegenerate, and that it is also the same as saying that there is a decomposition in terms of simple ideals.
A semisimple lie algebra is a nitedimensional lie algebra l whose maximal solvable ideal the radical of l is zero. These notes are a record of a course given in algiers from 10th to 21st may, 1965. Every semisimple lie algebra over an algebraically closed field of characteristic 0 is a direct sum of simple lie algebras by definition, and the finitedimensional simple lie algebras fall in four families a n, b n, c n, and d n with five exceptions e 6, e 7, e 8, f 4, and g 2. Serre, complex semisimple lie algebras translated from french. We assume a background in linear algebra, di erential manifolds, and covering spaces. Semisimple complex lie algebra mathematics stack exchange. These short notes, already wellknown in their original french edition, give the basic theory of semisimple lie algebras over the complex numbers, including classification theorem. Buifnbujdt boe 1iztjdt classi cation of semisimple lie algebras seminar for symmetries in physics vasja susi c advisor.
The four sections treat complex semisimple lie algebras, finitedimensional representations of complex semisimple lie algebras, compact lie groups and real. Regular subalgebras and nilpotent orbits of real graded. The weyl group now is the group generated by the reflections according to roots. For a semisimple lie algebra over the complex numbers, dynkin 1952 developed an algorithm to classify the regular semisimple subalgebras, up to conjugacy by the inner automorphism group. Classification of complex semisimple lie algebras school of. The natural framework for such an approach is furnished by the coherent state csgroups, i. A lie algebra is a vector space, l, above, the linear combinations of the ts together with a bilinear operation from l. That is, given a complex semisimple lie algebra g we can decompose g into the direct sum of a collection of simultaneous eigenspaces relative to the adjoint. The last chapter discusses the connection between lie algebras, complex groups and compact groups.
Any knowledge about these lie algebras has implications, in the most unexpected contexts in algebra, geometry and di erential equations of course, but also in analysis, physics and number theory. This is possible because the complexification of a real semisimple lie algebra is also semisimple see 1. This book is intended as a short concise overview of the theory of complex semisimple lie algebras. Russian articles, english articles this publication is cited in the following articles. Jure zupan 20110224 abstract the seminar presents the classi cation of semisimple lie algebras and how it comes about. Throughout this section let g be an arbitrary nite. Subsequent chapters introduce cartan subalgebras, root systems, and representation theory. A root sys tem, encoded in its associated dynkin diagram, bears all the information about its lie algebra. Show that each v2 wnfwghas length lv semisimple lie algebras over the complex numbers including the basic classification theorem. These are wellknown results, for which the reader can refer to, for example, chapter i of bourbaki or my harvard notes. This can be seen as a compact analog of ados theorem on the representability of lie algebras. Furthermore all its elements are semisimple and because they commute they are diagonalisable simultaneously. The radical contains all nilpotent ideals, and if the algebra is finitedimensional, the radical itself is a nilpotent ideal.
But our simple complex lie algebras lie at the center of all this. Complex semisimple lie algebras by jones, glen ebook. Since every real lie algebra can be complexified, most of our results also have immediate consequences for real lie algebras. Inspite of its small volume, this text is far from being of easy lecture, since it assumes the knowledge of some basic facts concerning lie algebras, as well as associative algebras. The full classi cation of complex semisimple lie algebras, as we know it today, was given by a young evgeni b. Simple lie algebras are classified by the connected dynkin diagrams, shown on the right, while semisimple. Xis the borel subalgebra bx which corresponds to the point x.
Proposition every nontrivial simple lie algebra is semisimple. Let l be a finitedimensional complex semisimple lie algebra, then adlderl. The exponential map and adjoint representation 4 4. Popov, stability criteria for the action of a semisimple group on a factorial manifold. Semisimple lie groups and algebras in this chapter, unless expressly stated otherwise, by lie algebra we mean a complex lie algebra. The cartan decomposition of a complex semisimple lie algebra. Semisimple and a ne lie algebras universiteit utrecht.
A finitedimensional algebra is then said to be semisimple if its radical contains only the zero element. Starting on the level of lie groups, we concisely introduce the. In order to show that adlderl, the book says that it only need to show that the prependicular space to adl is zero. The rank of the algebra is the dimension of a maximal commuting subalgebra. Humphreys, introduction to lie algebras and representation theory, isbn 9780387900537.
The 1dimensional lie algebra is called the trivial simple lie algebra. For simplicity, we will only consider matrix lie groups, which are lie groups that can be expressed as matrices. The author begins with a summary of the general properties of nilpotent, solvable, and semisimple lie algebras. Lie algebras and their representations are intimately related to quantum mechanics.
66 749 1195 139 214 621 1222 1345 1095 106 575 891 1442 208 8 207 473 1376 1081 1447 155 938 759 1055 891 569 324 433 1566 1362 1570 1339 36 546 806 1075 144 79