Multiloop algebras determined by n commuting algebra automorphisms of finite order are natural generalizations of the classical loop algebras that are used to realize a‰ne Kac-Moody Lie algebras. In this paper, we obtain necessary and su‰cient conditions for a Z n -graded algebra to be realized as a multiloop algebra based on a finite dimensional simple algebra over an algebraically closed field of characteristic 0. We also obtain necessary and su‰cient conditions for two such multiloop algebras to be graded-isomorphic, up to automorphism of the grading group.We prove these facts as consequences of corresponding results for a generalization of the multiloop construction. This more general setting allows us to work naturally and conveniently with arbitrary grading groups and arbitrary base fields.
Abstract. An important theorem in the theory of infinite dimensional Lie algebras states that any affine Kac-Moody algebra can be realized (that is to say constructed explicitly) using loop algebras. In this paper, we consider the corresponding problem for a class of Lie algebras called extended affine Lie algebras (EALAs) that generalize affine algebras. EALAs occur in families that are constructed from centreless Lie tori, so the realization problem for EALAs reduces to the realization problem for centreless Lie tori. We show that all but one family of centreless Lie tori can be realized using multiloop algebras (in place of loop algebras). We also obtain necessary and sufficient conditions for two centreless Lie tori realized in this way to be isotopic, a relation that corresponds to isomorphism of the corresponding families of EALAs.An extended affine Lie algebra (EALA) over a field of characteristic zero consists of a Lie algebra ℰ, together with a nondegenerate invariant symmetric bilinear form ( , ) on ℰ, and a nonzero finite dimensional ad-diagonalizable subalgebra ℋ of ℰ, such that a list of natural axioms is imposed (see [N2] and the references therein). (Although, by definition, an EALA consists of a triple (ℰ, ℋ, ( , )), we usually abbreviate it as ℰ.) One of the axioms states that the group generated by the isotropic roots of ℰ is a free abelian group Λ of finite rank, and the rank of Λ is called the nullity of ℰ. As the term EALA suggests, the defining axioms for an EALA are modeled after the properties of affine Kac-Moody Lie algebras; in fact, affine Kac-Moody Lie algebras are precisely the extended affine Lie algebras of nullity 1. So it is natural to look for a realization theorem for EALAs of arbitrary nullity ≥ 1. (Nullity 0 EALAs are finite dimensional simple Lie algebras and we do not consider them in this context.)The classical procedure for realizing affine Lie algebras using loop algebras proceeds in two steps [K, Chaps. 7 and 8]. In the first step, the derived algebra modulo its centre of the affine algebra is constructed as the loop algebra of a diagram automorphism of a finite dimensional simple Lie algebra. This loop algebra is naturally graded by ×ℤ, where is the root lattice of a finite irreducible (but not necessarily reduced) root system. In the second step, the affine algebra itself, together with a Cartan subalgebra and a nondegenerate invariant bilinear form for the affine alge-
This is the first of what will be a sequence of three papers dealing with a generalization of certain parts of the beautiful work of V. Kac on finiteorder automorphisms of finite-dimensional complex simple Lie algebras. Recall that Kac (see [K2, Chap. 8] and [H, Sect. X.5]) built a Lie algebra from a pair ( σ) composed of a finite-order automorphism σ of a finitedimensional simple Lie algebra over as follows. First from σ he obtains the eigenspaceswhere m is on the order of σ, ζ = e 2πi √ −1/m i ∈ , and i →ī is the natural map of → m (here m denotes the integers modulo m). He
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.