In order to make the idea clear, we recall some facts in the category o for a. Cohomology of frobeniuslusztig kernels of quantized. On properties of principal elements of frobenius lie. Let u g denote the lusztig divided power quantized enveloping algebra corresponding to g, with parameter qspecialized to a primitive th root of unity 2k.
Research article, report by advances in mathematical physics. The book is now out of print but can be accessed electronically at. Examples are matrix rings, group rings, the ring of characters of a representation, and artinian gorenstein. This lemma can be easily proved using frobenius theorem. Frobenius algebras and 2d topological quantum eld theories. The book goes beyond the representation theory of compact lie groups, which is the basis of many texts, and provides a carefully chosen range of material to give the student the bigger picture.
Zhu on the degrees of irreducible representations, the socalled class equation. The frobenius semiradical of a lie algebra alfons i. If ais a symmetric frobenius algebra, the linear form will be denoted. Bushek differential geometry and its applications 35, 210223 2014. Thepmap arises intrinsically from the description ofg as an algebra of left. In these lectures we will start from the beginning the theory of lie algebras and their representations. Differential equations usage lie algebras quantum mechanics analysis quantum theory. These algebras play an important role in the representation theory of restricted lie algebras since their. Computing invariants and semiinvariants by means of frobenius lie algebras article pdf available in journal of algebra 3214. This book is the result of courses taught by one of the authors over many years on. Modular lie algebras pdf 74p this note covers the following topics. The structure of frobenius algebras and separable algebras.
Murray gerstenhaber, anthony giaquinto submitted on 31 jan 2008 v1, last revised 21 oct 2009 this version, v2. Homyangbaxter equations and frobenius monoidal hom. W depending on the sort of group one is dealing with, note that one additionally has to specify what class of maps one is dealing with. Classification of frobenius lie algebras of dimension. In many natural instances, the principal element is shown to be semisimple, and when associated to sl n, its eigenvalues are integers and are independent of f.
In addition, an equivalent relation between solutions of the classical homyangbaxter equation chybe and quasi frobenius hom lie algebras is also discussed. Click download or read online button to get infinite dimensional lie algebras an introduction progress in mathematics book now. The first three chapters give a selfcontained and detailed introduction to modern representation theory of finite dimensional algebras over fields, emphasizing the case of frobenius algebras. While the structure of our lie algebrag is at rst sight not much di erent from that of the corresponding lie algebra overc, there is an added ingredient. A representation of an associative algebra a also called a left amodule is a vector space. The index of a seaweed lie algebra can be computed from its associated meander graph. The multiplicative eigenvalue problem and deformed quantum cohomology with p. Cohomology of algebraic groups, lie algebras, and related nite groups of lie type part 1 christopher p. Homyangbaxter equations and frobenius monoidal homalgebras. Loewy series of certain indecomposable modules for frobenius subgroups zongzhu lin short running title.
The principal element of a frobenius lie algebra authors. Berkson1 let c be a field of characteristic po, l a restricted finite dimensional lie algebra over c and ml its restricted enveloping algebra or malgebra 3, p. Rational solutions of the classical yangbaxter equation and. In 21 the concept of frobenius manifold is introduced and discussed. If we recall that a lie algebra l c stn, c is called quasi frobenius if there exists a nondegenerate 2cocycle b e z2l, c, then theorem 1 provides a correspondence between rational solutions of class 0 and quasi frobenius subalgebras of sen. This book is an introduction to the theory of lie groups and lie algebras, with emphasis on the.
Computing invariants and semiinvariants by means of frobenius. Cofrobenius coalgebras were rst introduced by lin in l as a dualization of frobenius algebras. If a m nk, then the space of n nmatrices has the structure of a lie algebra with lie bracket x. To do so, we need the notion of a map of restricted lie algebras. Suppose that a lie algebra l admits a finite frobenius group of automorphisms fh with cyclic kernel f and complement h such that the characteristic of the ground field does not divide h. Request pdf classification of frobenius lie algebras of dimension. Pdf computing invariants and semiinvariants by means of. A sufficient condition is given in order for szul to be a polynomial algebra over k. The first part of the book is devoted to fundamental results of the representation theory of finite dimensional hereditary algebras and their tilted algebras, which allow the authors to describe the representation theory of prominent classes of frobenius algebras. If a gmodule v admits a module frobenius map fv, then vfv is a gfmodule. The principal element of a frobenius lie algebra springerlink.
This paper is to give an affirmative answer and organized as follows. A lie algebra l is called frobenius if there is a linear functional f. Introduction to representation theory mit mathematics. Backgroundfrobenius algebrasexamples of frobenius algebrasresults and properties outline background. It is shown that every frobenius algebra over a commutative ring determines a class of solutions of the quantum yangbaxter equation, which forms a subbimodule of its tensor square. We show that the resulting structure is closely related to a frobenius algebra. It has a nice summary of some aspects of lie algebra and a ne lie algebra theory. Weyl integration formula and if there is time the local frobenius theorem. Contents preface pagexi 1 introduction 1 2 liegroups. If,, is a quasi frobenius lie algebra, one can define on another bilinear product by the formula. Ooms presents a deep study on frobenius lie algebras.
Firstly, we introduce an infinite dimensional lie algebra, called the frobenius virasoro algebra v i r f, which is an fvalued generalization of the virasoro algebra. Invariant bilinear forms and semisimplicity of classical lie algebras. If g is the lie algebra of an algebraic group over k, then the pth power of a derivation is a derivation because we are in characteristic p, and the operation of taking the pth power of a derivation. An elementary introduction graduate texts in mathematics book 222 kindle edition by hall, brian. Representations of lusztigs divided power algebra u qg which are graded by the character lattice xof g in the above expression g is the lie algebra of g, and qis always an even order root of unity. Introduction to representation theory mit opencourseware. The basic example of a lie algebra arises from using the commutator in an associative algebra, so x. The frobenius lusztig kernels u g r of u g are certain nitedimensional hopf subalgebras of u g that play a role in the integrable representation theory of u. Introduction algebras, coalgebras, and frobenius algebras. Equivalence with pre lie algebras with nondegenerate invariant skewsymmetric bilinear form.
This book is written for students who are studying nite group representation theory beyond the level of a rst course in abstract algebra. A hom lie algebra in is a triple consisting of vector space, bilinear map called the bracket, and a linear endomorphism satisfying for any. General properties of lie algebras, jordanchevalley decomposition, semisimple lie algebras, classification of complex semisimple lie algebras, cartan subalgebras, classification of connected coxeter graphs and complex semisimple lie. This book aims to be both a graduate text and a study resource for lie groups. In this paper, we prove a formal frobenius theorem, which is the formal counterpart of the classical theorem on the integrability of smooth distributions. Koszul algebras and the frobenius automorphism 349 by the noetherskolem theorem, l l for all simple smodules l if. Cambridge core algebra an introduction to lie groups and lie algebras by alexander kirillov, jr. Let ul be the enveloping algebra of a finite dimensional lie algebra l over a field k of characteristic zero, zul its center and szul its semicenter. On graded frobenius algebras takayoshi wakamatsu faculty of education, saitama university, shimoohkubo 255, saitama 3388570, japan received 14 november 1997 communicated by kent r.
A lie algebra lover k is called frobenius if lis a nitely. It has arisen out of notes for courses given at the secondyear graduate level at the university of minnesota. The category repg q admits a canonical ribbon braided structure, and lusztigs quantum frobenius yields a tensor embedding fr. The finite dimensional 0 algebra r with identity is a frobenius algebra if and only if there is a linear form f e uom0ir, 0, the kernel of which contains no left or right ideal different from 0. Our analysis gives two new families of frobenius seaweed algebras as well as elementary proofs of known families of such lie algebras. In his book enveloping algebras dixmier raised the following. Meander graphs and frobenius seaweed lie algebras ii. Clearly, a frobenius morphism f on g is also a lie algebra fqautomorphism, and the fqstructure gf on g is itself a lie algebra over fq. Perronfrobenius theorem to classify all possible such matrices. In the last chapter, chapter vi, the authors develop the basic theory of nitedimensional hopf algebras from scratch and prove that every nitedimensional hopf algebra is a frobenius algebra with a nakayama automorphism of nite order. Free lie algebra books download ebooks online textbooks. We examine this graph in several ways with a goal of determining families of frobenius index zero seaweed algebras. Berkson1 let c be a field of characteristic po, l a restricted finite dimensional lie algebra over c and ml its restricted enveloping algebra or m algebra 3, p. Hitchins conjecture for simplylaced lie algebras implies that for any simple lie algebra with n.
An introduction to lie groups and lie algebras stony brook. Let ug be the enveloping algebra of a finite dimensional lie algebra g over a field k. Representations of frobenius kernels these are notes for a talk that i was coerced into giving for the langlands support group on modular. Shpiz, the classification of the irreducible locally transitive lie groups, in. Geometric methods in problems of analysis and algebra in russian, yaroslavsk state univ.
Lie algebras admitting a metacyclic frobenius group of automorphisms. A lie algebra 9 over an arbitrary field is a frobenius lie algebra if there is a linear form l is an element of g whose stabilizer with respect to the coadjoint representation of 0, i. Besides, the book contains six historical interludes written by dr. If a frobenius lie algebra f is a subalgebra of a simple lie algebra g and if f is not an ideal of any larger subalgebra of ga condition satis. There is also a different, mostly unrelated notion of the symmetric algebra of a vector space. Let g be lie algebra over a field of characteristic zero. Definitions in this section, we detail the notions of the index of lie algebra, and seaweed algebras and the meanders associated with them. Computing invariants and semiinvariants by means of. Frobenius algebras and the bv formalism the ncategory cafe.
Infinite dimensional lie algebras an introduction progress in. Let r be a frobenius algebra and let be a bilinear form on r guaranteed by theorem 1. Loewy series of certain indecomposable modules for. Frobenius lie algebras form a large class and they appear naturally in different. Free algebras, universal enveloping algebras, p th powers, uniqueness of restricted structures, existence of restricted structures, schemes, differential geometry of schemes, generalised witt algebra, filtrations, witt algebras are generalised witt algebra, differentials on a scheme, lie algebras of cartan type, root. Balazs csik os differential geometry e otv os lor and university faculty of science typotex 2014. Suppose that g is the lie algebra of a lie group g. You wont get quite far with this book it covers the main definitions and gives the structure theorem for semisimple lie algebras, but if you do the exercises, you will have a good foundation. We investigate the properties of principal elements of frobenius lie algebras, following the work of m. In the rst problem set, one exercise will be to prove frobenius reciprocity in the lie algebra case, and. Chapter 12, classification of connected coxeter graphs.
Any matrix algebra defined over a field k is a frobenius algebra with frobenius form. Lie algebras admitting a metacyclic frobenius group of. Manifolds and lie groups, differential forms, bundles and connections, jets and natural bundles, finite order theorems, methods for finding natural operators, product preserving functors, prolongation of vector fields and connections, general theory of lie derivatives. This book is intended for a oneyear graduate course on lie groups and lie algebras. Every group algebra of a finite group over a field is a frobenius algebra. Then we show how to explicitly construct a coalgebra given a nitedimensional algebra.
A lie algebra g is called frobenius if there is a linear functional. Then i moved to humphreys introduction to lie algebras and representation theory which has already been mentioned and is the absolute best. The lie algebra is denoted gl r, and as a vector space is naturally identi. One can see jantzens book 22 for a more detailed presentation. To see the precise definition, look at page 7 of the paper.
989 25 734 704 1409 1210 956 553 555 841 984 966 112 1295 76 128 1458 1639 899 1667 93 565 571 1290 1214 416 1052 1492 295 881 382 1096 558 371 913 623