
Extended affine Lie algebras of nullity 2 have been studied from several points of view: axiomatically, as multiloop algebras of nullity 2, and as loop algebras of affine Lie algebras. In this talk we describe the precise relationship between the classes of algebras obtained in this way, and we describe their classification up to isomorphism.
The talk will be based on joint work with Stephen Berman and Arturo Pianzola.
I will talk about a new approach to the study of gradings on simple Lie and Jordan algebras of not necessarily finite dimension over fields with minor restrictions on the characteristic of the field of coefficients. The main tool is Functional Identities described in a 2007 Birkhauser monograph under the same title by BresarChebotarMartindale. The new results about the gradings are contained in papers joint with Matej Bresar and Ivan Shestakov.
In a seminal paper in 1944, Onsager introduced an infinitedimensional Lie algebra, now referred to as the Onsager algebra, and used it to compute the free energy of the twodimensional Ising model in statistical mechanics. In this survey talk we will discuss how the Onsager algebra arises in the study of loop algebras and their invariants under certain automorphisms.
One can think of a semisimple Lie algebra g as a category C(g) where the objects are the weight spaces and the morphisms are maps between the weight spaces. In this language a representation of g is a functor to the category of vector spaces. Of course, the 1morphisms in C(g) have to satisfy some relations (such as [e,f] = h) so C(g) should also be equipped with 2morphisms (such as a map [e,f] ® h) which induces these relations. This suggests that C(g) ought to be a 2category where a representation is a functor from C(g) to another 2category.
We briefly illustrate this concept with a representation of the 2category sl_{2} constructed from cotangent bundles of Grassmannians. We call this a categorical sl_{2} action. More generally one can construct categorical g actions on quiver varieties (here g is a KacMoody algebra).
This is joint work with Joel Kamnitzer and Tony Licata.
The problem of classifying irreducible weight modules with finite dimensional weight spaces over affine Lie algebras has been studied actively for the last 20 years. Notable results include the classification of integrable modules by V. Chari, the study of parabolically induced modules by V. Futorny, and the study of uniformly bounded modules by D. Britten and F. Lemire. Apart from partial classification results, two important classes of irreducible weight modules with finite dimensional weight spaces were singled out. Roughly speaking, these are the parabolically induced modules and the loop modules. Several authors made conjectures that would imply that these exhaust all irreducible weight modules with finite dimensional weight spaces. Dimitar Grantcharov and I recently proved a theorem which confirms these conjectures and as a result completes the classification. I will present the main ideas and results from this work.
We propose a quantum analogue of a TitsKantorKoecher algebra with a Jordan torus as an coordinated algebra by looking at the vertex operator construction over a Fock space.
This is a joint work with Naihuan Jing.
A number of interesting bases exist for the upper half of the universal envelopping algebra of a semisimple Lie algebra. One such basis is Lusztig's semicanonical basis which is indexed by components of quiver varieties. Another interesting basis is indexed by MirkovicVilonen cycles which lead to the combinatorics of MV polytopes. In this talk, I will explain a natural bijection between the components of quiver varieties and the MV polytopes.
This is joint work with Pierre Baumann.
We are interested in describing all group gradings on simple Lie algebras over an algebraically closed field F, i.e., vector space decompositions of the form L = Å_{g Î G} L_{g} where G is a group and [L_{g},L_{h}] Ì L_{gh}. In the case charF=0, all gradings on the classical simple Lie algebras (except of type D_{4}) have been described in the works of J. Patera, H. Zassenhaus, M. Havlícek, E. Pelantová and Yu. Bahturin, M. Zaicev, I. Shestakov. It turns out that the description given by the latter group of authors is also valid in the case charF=p > 0, p ¹ 2, as shown by Yu. Bahturin, S. Montgomery and the speaker. In this talk we will discuss recent progress in the classification of group gradings on Lie algebras of Cartan type in characteristic p.
The results are joint work with Yu. Bahturin and J. McGraw.
Let g ÄC [t_{1}^{±1},...,t_{N}^{±1} ] be the Lie algebra of polynomial maps from the Ntorus to a finitedimensional simple Lie algebra g. Twisted multiloop algebras are fixed point subalgebras determined by any family of N commuting finite order automorphisms of g. In this talk, we describe the finitedimensional simple modules of twisted multiloop algebras and classify these representations up to isomorphism.
Let g be a KacMoody algebra over a field of characteristic 0 defined by a generalized Cartan matrix A, and let b^{+} be the standard Borel subalgebra with its nilradical n^{+} = [b^{+},b^{+}]. Then, we can determine Der(n^{+}), which gives an answer to the socalled Moody's conjecture posed about 30 years ago. Using the structure of Der(n^{+}), we can also determine Aut(n^{+}) if A is symmetrizable. The main idea is to study ad(b^{+}) Ì Der(n^{+}) and Aut( ad(b^{+}) ), which implies that Aut(n^{+}) = Aut(A)B^{+} if A is symmetrizable, indecomposable and of infinite type, where Aut(A) is the Dynkin diagram automorphism group, and where B^{+} is the standard Borel subgroup of the corresponding adjoint KacMoody group.
This talk is a part of the joint work with Kaiming Zhao, which is referred to in our paper entitled "Automorphisms and derivations of Borel subalgebras and their nilradicals in KacMoody algebras".
Loop algebras and their twisted versions are a basic ingredient in the construction of affine KacMoody algebras. Multiloop algebras are higher nullity generalizations of (twisted) loop algebras: instead of Laurent polynomials in one variable one uses Laurent polynomials in n variables, and instead of a diagram automorphism one uses a family of n commuting finite order automorphisms. Multiloop algebras are important for the construction of extended affine Lie algebras.
In the talk I will describe the universal central extensions of multiloop algebras.
The structure of the algebra of derivations of a multiloop algebra has recently been determined by S. Azam. Azam's proof, which is motivated by earlier work of G. Benkart and R. V. Moody, is rather involved and depends on a delicate induction reasoning. In this talk we will present a direct reasoning that yields an explicit description of the algebra of derivations for a large class of algebras defined by étale descent (of which multiloop algebras are a very special case). This description of the algebra of derivations of multiloop algebras has recently been used by E. Neher to give a very nice construction of universal central extensions of Lie tori.
Recently there has been growing interest in structure theory, representations, and geometric phenomena associated to locally finite Lie algebras, e.g., direct limits of classical and loop algebras. Remarkable examples include BorelWeilBott theory and the structure of weight modules (studied by Dimitrov, Neeb, Penkov, Wolf,...).
In this talk I will begin by discussing suitable notions of Cartan and Borel subgroups/subalgebras in infinite dimensions. Next, I introduce certain Bmodules associated to line bundles on Bstable indvarieties in infinite Grassmannian. These Bmodules are natural analogues of Demazure modules for classical direct limit indgroups. I will state a theorem which connects the geometry of these Bstable varieties to finiteness of weight multiplicites of associated Demazure modules.
Finally, for the case of direct limits of loop algebras, I study conjugacy of maximal tori and their corresponding root systems. I state a theorem which answers this classification problem completely. Somewhat surprisingly, the theorem links conjugacy to classical Ktheory.
Let g be a simple complex finitedimensional Lie algebra, s a diagram automorphism of g and L(g)^{s} the corresponding twisted loop algebra. Some aspects of the finitedimensional representation theory of these twisted loop algebras are now well understood. In particular, the universal `loophighest weight' Weyl modules and simple modules have been described, as have the blocks of the corresponding (nonsemisimple) category. The loophighest weight representation theory of L(g)^{s} is used extensively for these results. We will discuss possible extensions of this theory to the multiloop generalizations of L(g)^{s}.
The category of representation of U_{q}(g) can be used to construct invariants of oriented framed links, where g is a complex simple Lie algebra, and U_{q}(g) is the corresponding quantized universal enveloping algebra. In the standard approach to the subject, a 360degree twist has an interpretation in the category, but a 180degree twist does not. Using a formula for the Rmatrix due to KirillovReshetikhin and LevendorskiiSoibelman, we explain how this 180 degree twist can be interpreted. We then modify of this construction to give a new formula for the Rmatrix of any symmetrizable KacMoody algebra.
This includes joint work with Noah Snyder.
We describe the universal central extension of psl_{3} (A) for an alternative kalgebra A (e.g. A associative). Our results generalize the work of Gao and Shang published in 2007 (J. Algebra) and of vanderKallen published in 1973 (Lecture Notes in Mathematics). In particular, we will discuss the case where A is an octonion algebra.
Two major tools in representation theory are:
This is joint work with Annegret Paul and Siddhartha Sahi.
Let g be a KacMoody algebra over a field of characteristic 0 defined by a indecomposable generalized Cartan matrix A, and let b^{+} be a standard Borel subalgebra with its nilradical n^{+} = [b^{+},b^{+}].
Derivations Der(b^{+}) and Der(n^{+}) in case of finite type were given in B. Kostant (Ann. of Math. 74(1961), 329387) and G. F. Leger and E. M. Luks (Trans. Amer. Math. Soc. 195(1974), 305316). In 1980, R. V. Moody (Proc. London Math. Soc. 40(1980), 430442) conjectured that Der(n^{+}) is equal to ad(b^{+})_{n+} when A is not of finite type. When A is of affine type, Der(n^{+}) was obtained in A. Fialowski (Adv. Math. 97(1993), 267277). I will talk about Moody's Conjecture for the remaining case, A is of indefinite type.
This talk is part of the joint work with Jun Morita entitled "Automorphisms and derivations of Borel subalgebras and their nilradicals in KacMoody algebras".