The mathematics of frobenius in context on apple books. A frobenius structure is called conformal of dimension dif his equipped with a vector. Frobenius algebras and 2d topological quantum field theories. Csikos and verhoczki gave in 2007 a classification of frobenius algebras of. Introduction to lie groups and lie algebras stony brook.
This textbook treats lie groups, lie algebras and their representations in an. This book gives an introduction on the graduate level to the subject of lie groups, lie algebras and their representation theory. Co frobenius coalgebras were rst introduced by lin in l as a dualization of frobenius. If ais a frobenius algebra, then is a frobenius algebra. The authors in 19 gave the relation between frobenius algebras and solutions of the quantum yangbaxter equation. M \omegam on a closed orientable manifold forms a dg frobenius algebra. The classification of the irreducible locally transitive lie groups, in. We investigate the properties of principal elements of frobenius lie algebras, following the work of m.
This book is intended for a oneyear graduate course on lie groups and lie algebras. We prove that any lie algebra with a left symmetric algebra structure can be embedded, in a natural way, as a subalgebra of some slm,k, for k r or c. Particularly, for a given noncommutative nilpotent lie algebras n of dimension. A connection between solutions of the classical yangbaxter equation and quasi frobenius lie algebras was studied by drinfeld 23. Frobenius manifolds and formality of lie algebras of. Are there natural examples of nonsymmetric frobenius.
This book provides a thorough but relaxed mathematical treatment of the subject, including both the cartankillingweyl theory of finite dimensional simple algebras and the more modern theory of kacmoody algebras. Feb 21, 20 definition 1 a frobenius algebra over a field is a finite dimensional associative unital algebra together with a linear functional whose kernel contains no nontrivial left ideals. A frobenius lie algebra is a lie algebra equipped with a nondegenerate skewsymmetric bilinear form that is a coboundary. Dec 02, 2018 the lie algebra and the adjoint action of on are also defined over and we still denote by.
Let g be lie algebra over a field of characteristic zero. Meander graphs and frobenius seaweed lie algebras ii. Harmonic analysis for finite dimensional real frobenius lie algebras. First note that the frobenius form induces a map defined by. An analytic approach e rodriguezcarrington almost splitkforms of kacmoody algebras g rousseau global representations of the diffeomorphism groups of the circle f bien. 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. The principal element of a frobenius lie algebra springerlink. Let m be a connected compact complex manifold of dimension n, with vanishing 1st chern classc1tm 0. Examples are matrix rings, group rings, the ring of characters of a representation, and artinian gorenstein. Homyangbaxter equations and frobenius monoidal homalgebras. A lie algebra lover k is called frobenius if lis a nitely generated projective kmodule and there exists. Frobenius algebra, symmetric algebra, group algebra, hopf algebra, separable algebra. Definitions in this section, we detail the notions of the index of lie algebra, and seaweed algebras and the meanders associated with them. Part iii of the book is devoted to noncompact lie groups.
The author proceeds 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. Ooms presents a deep study on frobenius lie algebras. In his 1960 papers curtis studied restricted lie algebra representations and started to work on representations of finite chevalley groups over the prime field. From wikipedia, the free encyclopedia in mathematics, especially in the fields of representation theory and module theory, a frobenius algebra is a finitedimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories.
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. We shall see that any lie group homomorphism induces naturally a lie algebra homomorphism between the lie algebras of the groups. Part iv of the book, its last one, is mostly devoted to the frobeniusschur duality in. Then h is a frobenius manifold of conformal dimension d dimc x. In this book his mathematicsis presented in context in two senses. Indeed, most of the books listed in the references section devote a substantial fraction of their pages to representation theory. 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. And using a sensitive refinement of this signature, we are able to prove an important conjecture of gerstenhaber and giaquinto which asserts that the spectrum of the adjoint of a principal element in a frobenius index.
This book sets out an account of the tools which frobenius used to discover. The principal element corresponds to a choice of f in frakf such that f, nondegenerate. In addition to its accessible treatment of the basic theory of lie groups and lie algebras, the book is also noteworthy for including. Co frobenius coalgebras were rst introduced by lin in l as a dualization of frobenius algebras.
Curtis did work in the bnpair setting in the early to mid1960s inspiring carter. Classification of frobenius lie algebras of dimension. Homyangbaxter equations and frobenius monoidal hom. The first half of this book contains a very careful discussion of many of the topics we. Jun 17, 2004 this book is intended for a one year graduate course on lie groups and lie algebras. Georg frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. Jan 01, 2018 the automorphism is the identity if and only if a is symmetric. Frobenius algebra in segals story encodes the nonperturbative quantum result. H g that respects the group structures and that its associated lie subalgebra lie h. Frobenius lie algebras are important in the study of coadjoint orbits, the classical yangbaxter equation, and symplectic lie groups. Frobenius is best known as creator of the theory of group characters and representations, but his name is attached to a multitude of theorems and concepts from a broad spectrum of mathematical disciplines. The principal element of a frobenius lie algebra nasaads.
Are there natural examples of nonsymmetric frobenius algebras. A finite dimensional lie algebra f is frobenius if there is a linear frobenius functional f. At the end of this section, we give an interesting result about graded morita equivalence of graded skew exterior algebras. The main purpose is to obtain frobenius lie algebras of dimension. Frobenius classical theorem on the degrees of irreducible complex representations of. The rst part follows from the larsonsweedler structure theorem for hopf modules and the second part is a consequence of the fischmanmontgomeryschneider formula for the nakayama automorphism of a nitedimensional hopf algebra in conjunction. This functional is called the frobenius form of the algebra or its counit. Examples are matrix rings, group rings, the ring of characters of a. Murai, on the frobenius conjecture sugaku, 35 1983 pp. But steinbergs 1963 paper covered all groups of lie type more systematically, including the twisted tensor product theorem. 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.
The principal element of f is then the unique element. A lie algebra l is frobenius if there exists a linear functional f on l such that the induced skew bilinear form b, sending x,y to fx,y is nondegenerate. These are always hopf algebras, therefore automatically frobenius algebras larsonsweedler, but they may fail to be unimodular and thus fail to be symmetric in the. Infinite dimensional lie algebras and groups advanced.
Frobenius seaweed lie algebras department of mathematics. Left invariant contact structures on lie groups sciencedirect. Hopf algebra is a frobenius algebra with a nakayama automorphism of nite order. Pioneers of representation theory frobenius burnside. Beyond an introduction second edition birkhauser, 2002. To see the precise definition, look at page 7 of the paper. Lie algebras have many varied applications, both in mathematics and mathematical physics. This lemma can be easily proved using frobenius theorem. Representation theory columbia mathematics department. Frobenius action on the bcohomology o mathieu certain rank two subsystems of kacmoody root systems j morita lie groups associated to kacmoody lie algebras.
This is possible because a complex representation of a finite group is determined up to isomorphism by its character. Hence one can associate formal graded moduli space3 m t to the lie algebra g. Frobeniusschur duality is very often called schurweyl duality, and in deed weyl emphasized this theory both in his book on the classical groups and. Moyal algebra quasi frobenius lie algebra quasi lie algebra restricted lie algebra serre relations.
We also show that frobenius algebras are stable under deformation. Citeseerx document details isaac councill, lee giles, pradeep teregowda. 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. Wakamatsu journal of algebra 267 2003 377395 isomorphic to. On graded frobenius algebras connecting repositories. It is known that every ungraded frobenius algebra which is morita equivalent to symmetric algebra is symmetric. The notion of frobenius lie algebras appeared and was studied at the first time in 47. Geometric methods in problems of analysis and algebra in. In this book his mathematics is presented in context in two senses.
May 11, 2015 in addition to its accessible treatment of the basic theory of lie groups and lie algebras, the book is also noteworthy for including. University of limburg, mathematics departm ent, 3590 diepenbeek, belgium. A representation of an associative algebra aalso called a left amodule is a vector space. The frobenius semiradical of a lie algebra sciencedirect. Unlike lie groups with left invariant symplectic structures which are widely studied by a great number of authors. Publisher description frobenius is best known as creator of the theory of group characters and representations, but his name is attached to a multitude of theorems and concepts from a broad spectrum of mathematical disciplines. Analogously an associativek algebra ais said to be frobenius if ais a nitely. The construction of real frobenius lie algebras from non. The theory of lie groups and their representations is a vast subject bourbaki.
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. Frobenius theorem to establish deeper results about the relationship between lie. A dg frobenius algebra is a differentialgraded version of a frobenius algebra. This allows, using direct sums with the socalled frobenius lie algebras see section 2, to bu. Zemlin, on a conjecture arising from a theorem of frobenius phd thesis ohio state univ. Besides, the book contains six historical interludes written by dr. We introduce the notion of the principal element of a frobenius lie algebra frakf.
An approach through invariants and representations, by. Equivalence with prelie algebras with nondegenerate invariant skewsymmetric bilinear formedit. On properties of principal elements of frobenius lie. The lie algebra is denoted gl r, and as a vector space is naturally identi. Citeseerx the principal element of a frobenius lie algebra. On the other hand there is another infinitedimensional, in physical setting frobenius algebra sitting inside the classical bv fields. Using the signature we develop a fast algorithm for the computation of the index of a lie algebra associated with the meander. Iiyori, a conjecture of frobenius and the simple groups of lie type, iv j. One gets many examples of such hopf algebras by forming the restricted enveloping algebra of a finite dimensional restricted lie algebra over a field of prime characteristic. 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.
1110 1415 913 1577 830 319 1608 1619 97 1413 1286 890 247 629 1179 107 822 251 1183 370 836 720 684 1481