Extended affine Lie algebras
Extended affine Lie algebras
复制标题
DOI:
--
复制
发表时间:
2004
期刊:
影响因子:
--
通讯作者:
E. Neher
中科院分区:
文献类型:
--
作者:
E. Neher
In this announcement we describe the structure of an extended affine Lie algebra in terms of its centreless core. 0. Introduction. Extended affine Lie algebras are a class of complex Lie algebras that includes finite-dimensional simple Lie algebras, affine Lie algebras and toroidal Lie algebras. They are closely related to Saito’s elliptic Lie algebras ([29]). Originally proposed by the physicists Høegh-Krohn and B. Torrésani [20] under the name irreducible quasi-simple Lie algebras, extended affine Lie algebras have been put on a sound mathematical footing in the AMS-memoirs [2] by Allison, Azam, Berman, Gao and Pianzola. In particular, one can find there a detailed study of the root systems appearing in extended affine Lie algebras. The structure and representation theory of various classes of these Lie algebras has since been investigated in many papers, see section 4 for a (probably incomplete) survey. In this note we will describe the structure of extended affine Lie algebras in general. Referring the reader to the main body of this note for precise definitions, we will only give a rough sketch of the relevant structures in this introduction. Two important properties of an extended affine Lie algebra are the existence of an invariant nondegenerate form and a finite-dimensional selfcentralizing ad-diagonalizable subalgebra H. Thus E has a root space decomposition E = ⊕Eξ and a root system R, consisting of those ξ ∈ H∗ with Eξ 6= 0. The form on E gives rise to a partition R = R ∪ R into isotropic roots R and anisotropic roots R, generalizing the decomposition into imaginary and real roots in the affine case. Let Ec be the ideal generated by {Eξ : ξ ∈ Ran}, called the core of E. One assumes that E can be recovered from its core Ec in the sense that the kernel of the natural representation E → DerEc : x 7→ adx|Ec lies in Ec. The core Ec may have a non-trivial centre, and it turns out to be easier to describe its central quotient L = Ec/Z(Ec), where Z(Ec) denotes the centre of Ec. The situation can thus be summarized by the following diagram Ec E