词条 | Cartan subalgebra |
释义 |
Existence and uniquenessCartan subalgebras exist for finite-dimensional Lie algebras whenever the base field is infinite. If the field is algebraically closed of characteristic {{math|0}} and the algebra is finite-dimensional then all Cartan subalgebras are conjugate under automorphisms of the Lie algebra, and in particular are all isomorphic. Kac–Moody algebras and generalized Kac–Moody algebras also have Cartan subalgebras. Cartan subalgebras of semisimple Lie algebras{{expand-section|The action of the Weyl group on the algebra, as in the Harish-Chandra isomorphism|date=February 2014}}A Cartan subalgebra of a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic 0 is abelian and also has the following property of its adjoint representation: the weight eigenspaces of restricted to diagonalize the representation, and the eigenspace of the zero weight vector is . (So, the centralizer of coincides with .) The non-zero weights are called the roots, and the corresponding eigenspaces are called root spaces, and are all 1-dimensional. (See Cartan subalgebras of semisimple Lie algebras for more information.) If is a linear Lie algebra (a Lie subalgebra of the Lie algebra of endomorphisms of a finite-dimensional vector space V) over an algebraically closed field, then any Cartan subalgebra of is the centralizer of a maximal toral Lie subalgebra of ; that is, a subalgebra consisting entirely of elements which are diagonalizable as endomorphisms of V which is maximal in the sense that it is not properly included in any other such subalgebra. If is semisimple and the field has characteristic zero, then a maximal toral subalgebra is self-normalizing, and so is equal to the associated Cartan subalgebra. If in addition is semisimple, then the adjoint representation presents as a linear Lie algebra, so that a subalgebra of is Cartan if and only if it is a maximal toral subalgebra. An advantage of this approach is that it is trivial to show the existence of such a subalgebra. In fact, if has only nilpotent elements, then it is nilpotent (Engel's theorem), but then its Killing form is identically zero, contradicting semisimplicity. Hence, must have a nonzero semisimple element. Examples
Splitting Cartan subalgebra{{main|Splitting Cartan subalgebra}}Over non-algebraically closed fields, not all Cartan subalgebras are conjugate. An important class are splitting Cartan subalgebras: if a Lie algebra admits a splitting Cartan subalgebra then it is called splittable, and the pair is called a split Lie algebra; over an algebraically closed field every semisimple Lie algebra is splittable. Any two splitting Cartan algebras are conjugate, and they fulfill a similar function to Cartan algebras in semisimple Lie algebras over algebraically closed fields, so split semisimple Lie algebras (indeed, split reductive Lie algebras) share many properties with semisimple Lie algebras over algebraically closed fields. Over a non-algebraically closed field not every semisimple Lie algebra is splittable, however. See also
References
1 : Lie algebras |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。