With the help of this result, we construct from any nitedimensional lie algebra g a canonical 1parameter family of lie 2algebras gwhich reduces to g at 0. An introduction to quantized lie groups and algebras. In the general case we get a lie algebra of vector. Let gbe an a ne algebraic group with unit e, and denote the stalk at eof the sheaf of regular functions on open subsets of gby o e. If gis an algebraic variety and the maps are algebraic, we get an algebraic group. Pdf the generalized cayley map from an algebraic group.
The group khas a natural structure of a complex reductive algebraic group. The lie algebra h is called the abstract cartan algebra of g. Let c be any cartan subalgebra of g, rthe root system of the pair g,c in the dual space c. On the algebraic set of singular elements in a complex simple. A c algebra ais a nonempty set with the following algebraic operations. A lie algebraic approach for consistent pose registration for general euclidean motion. Realizing a lie group as an algebraic group is the. Discussion with a view towards chernweil theory is in chapter iv in. The simplest example is the one where the local lie group acts on itself by leftor right translations and we get the lie algebra of the lie group. Linear algebraic groups s if q c, every affine algebraic group g can be viewed as a complex lie group. Using this an algorithm is presented for finding a maximal reductive subgroup and the unipotent radical of an algebraic group. Lie groups, lie algebras, and their representations. If a m nk, then the space of n nmatrices has the structure of a lie algebra with lie bracket x.
Related mathematical concepts include lie groups and differentiable manifolds. Let sgbe the gmodule of polynomial functions on g and let singg be the closed algebraic cone of singular elements in g. The theory of lie algebras and algebraic groups has been an area of active research for the last 50 years. The term lie algebra after sophus lie was introduced by hermann weyl in the 1930s. Given a 2, there exists an automorphism r a of v preserving such that r aa. The inverse of a group element is represented by the. An example of a nonadalgebraic lie algebra is given on pg. An algebraic group gk is just an algebraic kvariety together with morphisms m. Ring and algebra are introduced briefly in section 4.
This book is the first comprehensive introduction to the theory of algebraic group schemes over fields that includes the structure theory of semisimple algebraic groups, and is written in. The generalized cayley map from an algebraic group to its lie algebra. In particular, any algebraic group is a smooth algebraic variety for a proof, one can consult bs so one proves that any complex algebraic group has a structure of complex lie group. Pdf the generalized cayley map from an algebraic group to. If h is a closed subgroup of a linear algebraic group g, then via the di. It is specifically aimed at students who are about to begin a course or self study. An introduction to lie groups and algebras for physicists. Generators and dimension edit elements of a lie algebra g \displaystyle \mathfrak g are said to generate it if the smallest subalgebra containing these elements is g \displaystyle.
The identity element of the group is represented by the identity matrix. Cohen and jan draismay april 18, 2002 abstract from the action of an a ne algebraic group gon an algebraic variety v, one can construct a representation of its lie algebra lg by derivations on the sheaf of regular functions on v. A nite subset of v is a root system if it satis es. Therefore quantizing the lie group as a manifold and as an algebraic structure means deforming the hopf algebra structure of the function space while maintaining the fact that it is a hopf algebra. On the other hand, the universal cover of sl2,r is not a real reductive group, even though its lie algebra is reductive, that is, the product of a semisimple lie algebra and an abelian lie algebra. The lie algebra g is first of all a vector space and secondly is endowed with a bilinear nonassociative product called the lie bracket or commutator and usually denoted. Algebraic structures abstract algebra is the study of algebraic structures. Some material here and below was not covered in my lecture. And h is a normal subgroup of g if and only if h is an ideal in g x,y. A lie algebra g over the field % of constants of % is differential algebraic if the following conditions are met.
Lie algebra a group g is a set with a binary operation, usually written as juxtaposition that satis. Algebraic dmodules and representation theory of semisimple. Thus the reader who understands the theory of algebraic groups and their representations will. Constructing algebraic groups from their lie algebras. The last three categories are surprisingly close to equivalent the morphisms are given by smooth resp. On the algebraic set of singular elements in a complex simple lie algebra bertram kostant and nolan wallach abstract. We will rst give a rather naive intuitive idea, which we will later make precise. Representations of algebraic groups and their lie algebras jens carsten jantzen lecture iii lie algebras. As in the analytic case, the lie algebra of an algebraic group is the tangent space to at the identity, and the structure of a lie algebra is defined on it by means of leftinvariant derivations of the algebra of functions on.
For a connected real reductive group g, the quotient manifold g k of g by a maximal compact subgroup k is a symmetric space of noncompact type. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its lie algebra. The aim of this book is to assemble in a single volume the algebraic aspects of the theory, so as to present the foundations of the theory in characteristic zero. A lie algebra is said to be algebraic if it is isomorphic with the lie algebra of an affine algebraic group. The lie algebra, being a linear object, is more immediately accessible than the. Gl 1 whereas c is isomorphic to the closed subgroup of gl 2 consisting of matrices of the form 1 t 0 1. However, if lis the lie algebra of an a ne algebraic group, and mis the lie algebra of a closed subgroup, the following construction is more natural. Is every finitedimensional lie algebra the lie algebra of.
This lie algebra is a quite fundamental object, that crops up at. Ka of an associative algebra or lie algebra lover kis called locally nite if. A lie algebraic approach for consistent pose registration. Lets also assume that we are very good at this whole business with representations of lie algebras, so if we could somehow get a lie algebra from our algebraic group, that would be good. If this lie algebra can somehow tell us something about the representations of the. Raghunathan and others published lie groups and algebraic groups find, read and cite all the research you need on researchgate.
The theory of algebraic groups results from the interaction of various basic techniques from field theory, multilinear algebra, commutative ring theory, algebraic geometry and general algebraic representation theory of groups and lie algebras. Algebraic groups play much the same role for algebraists as lie groups play for analysts. Then gln,h acts on hn by complex linear transformations relative to each of the complex structures 1. The theory of lie algebras and algebraic groups has been an area of active research in the last 50 years. For example, when g is a semisimple lie algebra, the representations of g form a tannakian category rep. Lie algebras and algebraic groups patrice tauvel springer.
For the moment let g be an arbitrary algebraic group over k. Let g be a complex semisimple lie algebra and let g be a lie group such that g lieg. An elementary introduction to lie groups and algebras for. There is an interpretation of this in terms of commutativity of diagrams, corresponding to the notion of a \group object in a category. A connected algebraic group in characteristic 0 is uniquely determined by its lie algebra. From lie algebras of vector fields to algebraic group actions.
Lie algebra, algebraic encyclopedia of mathematics. Suppose that g is the lie algebra of a lie group g. The essential phenomenon of lie theory, to be explicated in the rest of this paper, is that one may associate in a natural way to a lie group g its lie algebra g. An example of a nonad algebraic lie algebra is given on pg. Let me recall some basic facts on the lie algebra g lieg of g. In older texts, the name infinitesimal group is used. Lie algebras alexei skorobogatov march 20, 2007 introduction for this course you need a very good understanding of linear algebra. From lie algebras of vector fields to algebraic group actions arjeh m. The lie algebra of an algebraic subgroup see algebraic group. While the study of lie algebras without lie groups deprives the subject of much of its motivation, lie algebra theory is nonetheless a rich and beautiful subject. This is an a ne algebraic group, isomorphic to c nand called an n.
The basic example of a lie algebra arises from using the commutator in an associative algebra, so x. On the algebraic set of singular elements in a complex. Each infinitesimally faithful representation of a reductive complex connected algebraic group ginduces a dominant morphism. Algebraic groups, lie groups, and their arithmetic subgroups. In view of the fact that entirely unrelated affine algebraic groups typically, vector groups and toroidal groups may have isomorphic lie algebras, this notion of algebraic lie algebra calls for some clarification. Algebraic groups, lie groups, and their arithmetic subgroups this work has been replaced by the above three, and will not be revised or corrected. Lie algebras, algebraic groups, and lie groups these notes are an introduction to lie algebras, algebraic groups, and lie groups in characteristic zero, emphasizing the relationships between these objects visible in their categories of representations. Eckhard meinrenken, lie groups and lie algebas, lecture notes 2010. Is every finitedimensional lie algebra the lie algebra of an.
General abstract perspective lie algebras are equivalently groups in infinitesimal geometry. One aspect of the heisenberg algebra story that does not have an analog in the cli. Lie algebras are algebraic structures which were introduced to study the concept of infinitesimal transformations. It intervenes in many different areas of mathematics. Since the lefthand side is a group element, we conclude that the commutator of two generators must be an element of the lie algebra consider now remember from quantum mechanics. Lie algebra of an algebraic group encyclopedia of mathematics. A calgebra ais a nonempty set with the following algebraic operations. It is thus an ideally suitable framework for exhibiting basic algebra in action.
304 1105 212 955 960 691 1228 1347 97 1083 920 424 1481 885 949 329 1205 880 1159 1262 1084 686 458 532 30 535 1450 713 1158 858 1011 1062 387 558 482 281 84 915 570 410 885