We construct the springer correspondence for the nilpotent variety in the lie algebra of g. In his study about the structure of rigid lie algebras 18, carles established that if a nilpotent lie algebra is rigid, then it necessarily must be a cnla. Nilpotent lie groups and lie algebras rhodes university. On reachable elements and the boundary of nilpotent orbits in. Derived aubalgebras of solvable lie algebras edit the derived subalgebra of a finite dimensional solvable lie algebra over a field of characteristic 0 is nilpotent. Regular subalgebras and nilpotent orbits of real graded. Ev ery two step nilpot ent lie a lgebra n ov er k can. This construction is nothing but the construction of a 2step nilpotent lie algebra as a quotient of a free 2step nilpotent lie algebra see 1, for instance. Nilpotent orbits, primitive ideals, and characteristic classes. In particular, we prove that, for a regular nilpotent element, the normaliser of the centraliser is a frobenius lie algebra. Nilpotent bicone of a reductive lie algebra, joint with jeanyves charbonnel 7.
No nilpotent element can be a unit except in the trivial ring 0 which has only a single element 0 1. Querynilpotent check if a lie algebra is nilpotent calling sequences query alg, nilpotent query s, nilpotent parameters alg optional the name of an initialized lie algebra s a list of vectors defining a basis for a subalgebra description. Nilpotent elements in lie algebras 47 there is a onetoone correspondence between these derivations and pairs y, dy. First we prove that all the homomorphic images of a solvable algebra are solvable. Integrable complex structures on nilpotent lie algebras. Nilpotent lie algebras engels theorem 29 c orollary 211 a. The following result provides an upper bound for dimension of multiplier of nilpotent nlie algebras which is less than the bound in corollary 3. Nilpotent subalgebras that coincide with their normalizer cartan subalgebras play an essential role in the classification of simple lie algebras of finite dimension. Nilpotent lie groups and lie algebras mathematics seminar 11 45. In algebra, the nilradical of a lie algebra is a nilpotent ideal, which is as large as possible the nilradical of a finitedimensional lie algebra is its maximal nilpotent ideal, which exists because the sum of any two nilpotent ideals is nilpotent. In group theory, a simple lie group is a connected nonabelian lie group g which does not have nontrivial connected normal subgroups a simple lie algebra is a nonabelian lie algebra whose only ideals are 0 and itself. On the multiplier of nilpotent nlie algebras sciencedirect.
The derived algebra of a finitedimensional lie algebra over a field of characteristic zero is nilpotent. Nilpotent orbits, primitive ideals, and characteristic. Department of mathematical sciences sharif university of technology p. Hence determine which of these lie algebras are nilpotent. Through the 1990s, a circle of ideas emerged relating three very different kinds of objects associated to a complex semisimple lie algebra. Nilpotent orbits in classical lie algebras over f2n and. An nbyn matrix a with entries from a field is nilpotent if and only if its characteristic polynomial is t n. Possible use of the rank of a nilpotent lie algebra to construct a maximal dimensional solvable lie algebra 3 proof or counter example.
Salamon studied in 4 6dimensional nilpotent lie algebras admitting integrable complex structure. The ring of coquaternions contains a cone of nilpotents. For the special linear group 2 g sln,c, whose lie algebra 9 is all n x n matrices with trace zero, an adjoint orbit consists of all matrices with a given jordan canonical form. Jet schemes of the nilpotent cone of a reductive lie algebra, following david eisenbud and edward frenkel 27appendix. Panyushev independent university of moscow, bolshoi vlasevskii per. A nilpotent orbit is an orbit of the adjoint action of g on g which contains the zero element of g in its closure.
In this book, we present a geometric perspective on the following circle of ideas. The nilpotent cone n is the subset of nilpotent elements of g elements x such that x xn. This makes it possible to carry over to nilpotent lie groups the properties of. Thus, commutative lie algebras as well as the algebras n n are nilpotent. The freenilpotent lie algebras are finitedimensional, because then words which are longer than. Then t is called nilpotent, if there is a k 2n such that tk d0 the zero map. A connected lie group is nilpotent if and only if its lie algebra is nilpotent introduce concepts about lie groups and lie algebras establish the relationship between lie groups and lie algebras. Regular subalgebras and nilpotent orbits of real graded lie. Nilpotent lie algebra article about nilpotent lie algebra. Since d2y0 and d has rank p1, one sees that dy is a constant, necessarily nonzero. On the nilpotent residuals of all subalgebras of lie algebras. The principal aim of this book is to collect together the important results concerning the classification and properties of nilpotent orbits, beginning from. The nilpotent cone of the lie algebra g, denoted as n, consists of all nilpotent elements in g.
Nilpotent orbits in a complex semisimple lie algebra gare used, in the springer correspondence, to produce representations of the weyl group wof the cartan type of g, see theorem 6, theorem 10. A lie algebra l is called nilpotent if cnl 0 for n. Goze and remm have shown 1 that a liform lie algebra does not admit any integrable almost complex structure, later remm and garciavergnolle extended this result to the class of socalled quasi liform lie algebras 2. Find all the books, read about the author, and more. The isomorphism problem for universal enveloping algebras. A nilpotent lie algebra has an outer automorphism, that is, an automorphism that is not in the image of ad. The index of a lie algebra, the centraliser of a nilpotent. A lie algebra is called nilpotent of step r in case any lie bracket of length greater than t is zero.
Regular subalgebras and nilpotent orbits of real graded lie algebras 3 given a carrier algebra, we. Outline 1 introduction 2 lie groups 3 lie algebras 4 supporting results 5 main result for nilpotency 6 conclusion catherine bartlett ru nilpotent lie groups and lie algebras mathematics seminar 2 45. Oct 12, 20 lie a lgebra n o ver k i s said to be a twoste p nilpotent lie algeb ra if n, n, n 0. In 1970 vergne postulated the nonexistence of nilpotent lie algebras that are rigid in the variety ln for n 6 1. Invariants of the nilpotent and solvable triangular lie. Nilpotent orbits in semisimple lie algebras david h. Let g be an adjoint algebraic group of type b, c, or d defined over an algebraically closed field of characteristic 2. On characterizing nilpotent lie algebras by their multipliers. Take d1 2xp l and let y be the result of deleting its constant term and normalizing its coefficient of x to be 1. Then any element x of g can be uniquely written as the sum of a semisimple diagonalizable element xs and a nilpotent element xn of g, where xs and xn are polynomials in x. Furthermore,g is a 2step nilpotent lie algebra, with gg. Mathematics stack exchange is a question and answer site for people studying math at any level and professionals in related fields. In this paper we study the isomorphism problem for the universal enveloping algebras of nilpotent lie algebras. In his study about the structure of rigid lie algebras 18, carles established that if a nilpotent lie algebra is rigid, then it.
The second class of algebras studied below are the. The quotient of a lie algebra by its nilradical is a reductive lie algebra. N2 the deligne groupoid is a functor from nilpotent differential graded lie algebras concentrated in positive degrees to groupoids. We prove that if the characteristic of the underlying field is not2 or3, then the isomorphism type of a nilpotent lie algebra of dimension at most6 is determined by the isomorphism type of its universal enveloping algebra. On reachable elements and the boundary of nilpotent orbits in simple lie algebras dmitri i. This fact seems to be used in varieties of nilpotent elements for simple lie algebras i. Given a nilpotent lie algebra l of dimension dim l n, it is wellknown that the second homology lie algebra h. The isomorphism problem for universal enveloping algebras of. A direct sum of simple lie algebras is called a semisimple lie algebra an equivalent definition of a simple lie group follows from the lie correspondence. Free nilpotent lie algebras mathematics stack exchange. Query nilpotent check if a lie algebra is nilpotent calling sequences query alg, nilpotent query s, nilpotent parameters alg optional the name of an initialized lie algebra s a list of vectors defining a basis for a subalgebra description. Let ml be the m of largest dimension and call it the multiplier of l due to its analogy with the schur multiplier. On reachable elements and the boundary of nilpotent orbits.
Nilpotent orbits in classical lie algebras over f2n and the. Denote by g the adjoint group of 0 and by go, k, ko the connected subgroups of g. The nilpotent cone is equal to spec r, where r is the ring of. The springer resolution of the nilpotent cone of a semisimple lie algebra has played an important role in representation theory. The principal aim of this book is to collect together the important results concerning the classification and properties of nilpotent orbits, beginning. Show that if h is solvable and gh is solvable, then g is solvable too. Descargar nilpotent orbits in semisimple lie algebras en. Lie a lgebra n o ver k i s said to be a twoste p nilpotent lie algeb ra if n, n, n 0. Using induction on the dimension of g, we find that g z. Simple lie algebra project gutenberg selfpublishing. 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 structures. Ev ery two step nilpot ent lie a lgebra n ov er k can be realized as a vector space direct s um v. Twostep nilpotent lie algebras attached to graphs hamidreza fana department of mathematical sciences sharif university of technology p. Jan 29, 2008 we give the number of nilpotent orbits in the lie algebras of orthogonal groups under the adjoint action of the groups over f 2 n.
Nilpotent orbits in a complex semisimple lie algebra gare used, in the springer correspondence, to produce representations of the weyl group wof. Consider a complex semisimple lie group g with lie algebra g and weyl group w. Hence determine which of these lie algebras are solvable. More precisely, we will detail the following two applications.
Every non zero lie algebra has a nilpotent element. The nilpotent cone is an irreducible subvariety of considered as a vector space. On reachable elements and the boundary of nilpotent orbits in simple lie algebras. Closure order on nilpotent orbits in exceptional lie algebras. Nilpotent lie groups with small automorphism groups 1493 these relations extend uniquely to a lie bracket operation on g. Some properties of the index for the normaliser of the centraliser are proved. Collingwood through the 1990s, a circle of ideas emerged relating three very different kinds of objects associated to a complex semisimple lie algebra.
1415 777 1124 1122 349 323 609 939 590 77 1040 591 818 90 808 1405 125 217 77 841 1241 1064 939 889 1069 241 1019 711 1277 1528 593 1405 252 927 672 304 395 379 1307 1026