Eckhard meinrenken, lie groups and lie algebas, lecture notes 2010. A lie algebraic approach for consistent pose registration. Linear algebraic groups s if q c, every affine algebraic group g can be viewed as a complex lie group. Let me recall some basic facts on the lie algebra g lieg of g. The identity element of the group is represented by the identity matrix. Each infinitesimally faithful representation of a reductive complex connected algebraic group ginduces a dominant morphism.
From lie algebras of vector fields to algebraic group actions arjeh m. Thus the reader who understands the theory of algebraic groups and their representations will. Lie algebras alexei skorobogatov march 20, 2007 introduction for this course you need a very good understanding of linear algebra. 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. If gis an algebraic variety and the maps are algebraic, we get an algebraic group. This lie group is generally called the heisenberg group by 2. Pdf the generalized cayley map from an algebraic group to. The lie algebra, being a linear object, is more immediately accessible than the. 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. 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. The theory of lie algebras and algebraic groups has been an area of active research in the last 50 years. An introduction to lie groups and algebras for physicists. Lie algebra of an algebraic group encyclopedia of mathematics. For the moment let g be an arbitrary algebraic group over k.
The basic example of a lie algebra arises from using the commutator in an associative algebra, so x. An elementary introduction to lie groups and algebras for. On the algebraic set of singular elements in a complex simple. Ring and algebra are introduced briefly in section 4. A c algebra ais a nonempty set with the following algebraic operations. 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. The term lie algebra after sophus lie was introduced by hermann weyl in the 1930s. Lie algebra, algebraic encyclopedia of mathematics. 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. Lie groups, lie algebras, and their representations.
Representations of algebraic groups and their lie algebras jens carsten jantzen lecture iii lie algebras. A nite subset of v is a root system if it satis es. On the algebraic set of singular elements in a complex. Representations of algebraic groups and their lie algebras. If h is a closed subgroup of a linear algebraic group g, then via the di. Lie algebras are algebraic structures which were introduced to study the concept of infinitesimal transformations. This is an a ne algebraic group, isomorphic to c nand called an n. For example, when g is a semisimple lie algebra, the representations of g form a tannakian category rep. The lie algebra of an algebraic subgroup see algebraic group.
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. The theory of lie algebras and algebraic groups has been an area of active research for the last 50 years. Let g be a complex semisimple lie algebra and let g be a lie group such that g lieg. If k k is a field and \mathcalc svect is the category of super vector spaces over k k, then a lie algebra object is a super lie 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. Then gln,h acts on hn by complex linear transformations relative to each of the complex structures 1. Pdf the generalized cayley map from an algebraic group. If a m nk, then the space of n nmatrices has the structure of a lie algebra with lie bracket x. Onishchik, lie transformation groups encyclopaedia of mathematical sciences, volume 20, springer 1993. 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. On the algebraic set of singular elements in a complex simple lie algebra bertram kostant and nolan wallach abstract. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its lie algebra.
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. It is thus an ideally suitable framework for exhibiting basic algebra in action. Suppose that g is the lie algebra of a lie group g. 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. This lie algebra is a quite fundamental object, that crops up at. 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 algebraic approach for consistent pose registration for general euclidean motion. 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. It intervenes in many different areas of mathematics.
An algebraic group gk is just an algebraic kvariety together with morphisms m. Let c be any cartan subalgebra of g, rthe root system of the pair g,c in the dual space c. Algebraic groups play much the same role for algebraists as lie groups play for analysts. Lie groups and lie algebras in robotics 5 notice that sets of square matrices can be groups quite easily, the group product is modelled by matrix multiplication, which is associative of course. If this lie algebra can somehow tell us something about the representations of the. 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. 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. Is every finitedimensional lie algebra the lie algebra of an. A calgebra ais a nonempty set with the following algebraic operations.
Lie algebra a group g is a set with a binary operation, usually written as juxtaposition that satis. General abstract perspective lie algebras are equivalently groups in infinitesimal geometry. Using this an algorithm is presented for finding a maximal reductive subgroup and the unipotent radical of an algebraic group. In older texts, the name infinitesimal group is used. A connected algebraic group in characteristic 0 is uniquely determined by its lie algebra. Such a structure consists of a set together with one or more binary operations, which are required to satisfy certain axioms. We will rst give a rather naive intuitive idea, which we will later make precise. Algebraic groups, lie groups, and their arithmetic subgroups this work has been replaced by the above three, and will not be revised or corrected. From lie algebras of vector fields to algebraic group actions. Ka of an associative algebra or lie algebra lover kis called locally nite if. 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. The generalized cayley map from an algebraic group to its lie algebra. There is an interpretation of this in terms of commutativity of diagrams, corresponding to the notion of a \group object in a category.
Discussion with a view towards chernweil theory is in chapter iv in. Is every finitedimensional lie algebra the lie algebra of. An example of a nonadalgebraic lie algebra is given on pg. 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 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. Some material here and below was not covered in my lecture. Realizing a lie group as an algebraic group is the. Lie algebras and algebraic groups patrice tauvel springer. And h is a normal subgroup of g if and only if h is an ideal in g x,y. In the general case we get a lie algebra of vector. 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. Algebraic groups, lie groups, and their arithmetic subgroups.
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. Related mathematical concepts include lie groups and differentiable manifolds. Algebraic dmodules and representation theory of semisimple. Gl 1 whereas c is isomorphic to the closed subgroup of gl 2 consisting of matrices of the form 1 t 0 1. An example of a nonad algebraic lie algebra is given on pg. 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.
The last three categories are surprisingly close to equivalent the morphisms are given by smooth resp. The group khas a natural structure of a complex reductive algebraic group. 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. One aspect of the heisenberg algebra story that does not have an analog in the cli. 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. Given a 2, there exists an automorphism r a of v preserving such that r aa. The lie algebra h is called the abstract cartan algebra of g. Constructing algebraic groups from their lie algebras. It is specifically aimed at students who are about to begin a course or self study. An introduction to quantized lie groups and algebras. The inverse of a group element is represented by the. Let sgbe the gmodule of polynomial functions on g and let singg be the closed algebraic cone of singular elements in g. A lie algebra is said to be algebraic if it is isomorphic with the lie algebra of an affine algebraic group. If a lie algebra is associated with a lie group, then the algebra is denoted by the fraktur version of the group.
875 1486 1243 1400 1295 1247 268 847 135 1154 99 747 504 1038 762 701 1509 786 859 901 1238 1373 248 513 619 779 1244 925 956 374 1224 1450 1237 685 548