To see the precise definition, look at page 7 of the paper. Frobenius manifolds and formality of lie algebras of. 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. There is also a different, mostly unrelated notion of the symmetric algebra of a vector space. A graded frobenius algebra is a frobenius algebra together with a group grading of the vector space a. Using the signature we develop a fast algorithm for the computation of the index of a lie algebra associated with the meander. The homflypt skein algebra of the torus and the elliptic hall algebra morton, hugh and samuelson, peter, duke mathematical journal, 2017 singular localization and intertwining functors for reductive lie algebras in prime characteristic bezrukavnikov, roman, mirkovic, ivan, and rumynin, dmitriy, nagoya mathematical journal, 2006. A hom lie algebra in is a triple consisting of vector space, bilinear map called the bracket, and a linear endomorphism satisfying for any. On systems of commuting matrices, frobenius lie algebras and. H g that respects the group structures and that its associated lie subalgebra lie h.
Algebraization of frobenius splitting via quantum groups with p. In this handout, we wish to give a general statement of the local and global frobenius theorems, some discussions concerning the proofs, and work out the general application to the proof of existence and uniqueness of a connected lie subgroup h of a lie group g such that lie h. Let c be a field of characteristic po, l a restricted finite dimen sional lie algebra over c and ml its restricted enveloping algebra or. Let g be a compact lie group with lie algebra g, and we only consider unitary representations whose hilbert. Pdf frobenius manifolds and formality of lie algebras of. Examples are matrix rings, group rings, the ring of. A lie algebra lover k is called frobenius if lis a nitely generated projective kmodule and there exists. Classification of frobenius lie algebras of dimension. By theorem 2, all elements of a are of the form a f for a 2a. A representation of an associative algebra aalso called a left. 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.
Frobenius algebra, symmetric algebra, group algebra, hopf algebra, separable algebra. M cohomology of the full enveloping algebra can be computed using the cohomology of a. Geometrically, gquasifrobenius lie algebras are the lie algebra structures associated to symplectic lie groups with an action by a. Examples are matrix rings, group rings, the ring of characters of a representation, and artinian gorenstein. Introduction the even cohomology of a compact smooth manifold is a frobenius algebra with respect to the cup product and the intersection form. Shpiz, the classification of the irreducible locally transitive lie groups, in. Oct 01, 2019 we say that g is a frobenius lie algebra, or a symplectic exact lie algebra, if there exists. The index of a semisimple lie algebra g is equal to its rank and thus such algebras can never be frobenius. 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. Local and global frobenius theorems in this handout. We introduce the notion of the \textitprincipal element of a frobenius. On the other hand there is another infinitedimensional, in physical setting frobenius algebra sitting inside the classical bv fields.
We prove that any lie algebra with a left symmetric algebra structure can be embedded as a subalgebra of some slm,k, for k r or c. Then h is a frobenius manifold of conformal dimension d dimc x. Cohomology of algebraic groups, lie algebras, and related. Geometric methods in problems of analysis and algebra in russian, yaroslavsk state univ. Frobeniuss theorem implies that there exists a maximal connected subma. Let g be lie algebra over a field of characteristic zero. Frobenius splitting in characteristic zero and the quantum frobenius map with p. This base case for the inductive proof of the local frobenius theorem uses the. On the other hand, if a quasi frobenius lie algebra g is unimodular see e. Co frobenius coalgebras were rst introduced by lin in l as a dualization of frobenius algebras.
Definitions in this section, we detail the notions of the index of lie algebra, and seaweed algebras and the meanders associated with them. But taking the subregular nilpotent orbit in the lie algebra d 5 we obtain algebraic frobenius manifold related to the nonregular quasicoxeter conjugacy class d 5 a 1. Analogously an associativek algebra ais said to be frobenius if ais a nitely. Lie groups richard borcherds, mark haiman, nicolai reshetikhin, vera serganova, and theo johnsonfreyd october 5, 2016. We also show that frobenius algebras are stable under deformation. This fact was first announced by beilinsonginzburg bg. It is known that every ungraded frobenius algebra which is morita equivalent to symmetric algebra is symmetric. At the end of this section, we give an interesting result about graded morita equivalence of graded skew exterior algebras. Frobenius seaweed lie algebras department of mathematics. Homyangbaxter equations and frobenius monoidal homalgebras. Onpropertiesofprincipalelementsoffrobeniuslie algebras.
Introduction to lie groups and lie algebras stony brook. The lie algebra is denoted gl r, and as a vector space is naturally identi. A frobenius algebra is a k algebra a of finite dimension, equipped with a linear functional a k whose nullspace contains no nontrivial left ideals. Frobenius theorem richard koch february 6, 2015 theorem 1 frobenius if a nite dimensional vector space over r has a product making it a possibly noncommutative eld, then the resulting eld is isomorphic to r. Kontsevich, journalinternational mathematics research notices, year1997, volume1998, pages201215. Serre relations and classification of semisimple lie algebras. Frobenius algebras and the bv formalism the ncategory cafe. A graded algebra a is called a graded frobenius algebra of gorenstein parameter if a. If,, is a quasi frobenius lie algebra, one can define on another bilinear product by the formula.
The frobenius semiradical of a lie algebra sciencedirect. On properties of principal elements of frobenius lie. Frobenius algebra in segals story encodes the nonperturbative quantum result. Let m be a connected compact complex manifold of dimension n, with vanishing 1st chern classc1tm 0. Equivalence with pre lie algebras with nondegenerate invariant skewsymmetric bilinear form. We investigate the properties of principal elements of frobenius lie algebras, following the work of m. Hitchins conjecture for simplylaced lie algebras implies that for any simple lie algebra with n. If ais a frobenius algebra, then is a frobenius algebra. Frobenius lie algebra left invariant affine connection. Palais, published in the american mathematical monthly for april, 1968.
Element is called a solution of the classical homyangbaxter equation or the chybe for convenience if and here where and. Frobenius splitting of hilbert schemes of points on surfaces with j. Hence, the work of belavin and drinfeld on solutions of the classical yangbaxter equation on simple lie algebras, applied to the particular case of slm,k alone, paves the way to. The principal element of a frobenius lie algebra springerlink. A dg frobenius algebra is a differentialgraded version of a frobenius algebra. A frobenius theorem for cartan geometries, with applications. This sort of compatibility is different from that involved in a bialgebra and hopf algebra. Mar 01, 2004 on lie algebras having a primitive universal enveloping algebra j. Frobenius algebras an algebra a over a field k is called frobenius when it is finite dimensional and equipped with a linear function e. Frobenius algebras began to be studied in the 1930s by richard brauer and cecil nesbitt and were named after ferdinand frobenius. Department of mathematics at columbia university welcome. If g is compact, then imr is an abelian subalgebra see e. In other words, a k algebra is precisely a monoid in the monoidal category vect. The multiplicative eigenvalue problem and deformed quantum cohomology with p.
Hence one can associate formal graded moduli space3 m t to the lie algebra g. A ffiiei ai where i is a group together with the following compatibility equations. Pdf on properties of principal elements of frobenius lie. Let g be a restricted lie algebra so there is a map x 7. Frobenius classical theorem on the degrees of irreducible complex representations of. 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. Let gbe a lie group with lie algebra g, and p lie algebra p. This lemma can be easily proved using frobenius theorem. Y also belongs to da distribution with this property is said to be involutive. A cartan geometry on a manifold m modeled on the pair g. 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. Hence, a frobenius lie algebra cannot be a subalgebra of a compact lie algebra.
Meander graphs and frobenius seaweed lie algebras ii. Co frobenius coalgebras were rst introduced by lin in l as a dualization of frobenius. M \omegam on a closed orientable manifold forms a dg frobenius algebra. A as graded aa bimodules for some graded algebra automor phism 2 autk a, called the nakayama automorphism of a.
A frobenius structure is called conformal of dimension dif his equipped with a vector. Any matrix algebra defined over a field k is a frobenius algebra with frobenius form. This implies that the existence of algebraic frobenius manifold is a far deeper than the notion of opposite cartan subalgebra. Tensor products and duals of representations of lie algebras 37 x2. Ooms published the frobenius semirad ica l of a lie algebra find, read and cite all the research you need on researchgate. Geometrically, gquasi frobenius lie algebras are the lie algebra structures associated to symplectic lie groups with an action by a. People also read lists articles that other readers of this article have read. Then, dis completely integrable if and only if for any two vector elds x, y belonging to d, the lie bracket x.
Wakamatsu journal of algebra 267 2003 377395 isomorphic to. More generally, frobenius algebras can be defined in any monoidal category and even in. How ever, there always exist subalgebras of g which. Orbifold frobenius algebras, cobordisms and monodromies. Bushek differential geometry and its applications 35, 210223 2014. Request pdf classification of frobenius lie algebras of dimension.
1390 477 705 200 1379 56 267 805 501 507 851 441 1224 185 750 1465 1452 906 440 247 1213 1506 1247 1318 834 841 1217 950 1151 410 114 460 922