Simple Nil Lie Algops

A Lie algop is a pair (A, L) where A is a commutative algebra and L is a Lie algebra operating on A by derivations. Faithful simple Lie algops (A, L) are of interest because the corresponding Lie algebras AL are simple—with some rare exceptions at characteristic 2. The simplicity and representation theory of Jordan Lie algops is reduced in Winter (2005b Winter , D. J. ( 2005b ). Lie algops and simple Lie algebras . Comm. Algebra 33 : 3157 – 3178 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) to the simplicity theory of nil Lie algops and the simplicity and representation theory of toral Lie algops. This paper is devoted to building the first of these two theories, the simplicity theory of nil Lie algops, as a structure theory.     

Nil Lie p-algebras of slow growth

The Grigorchuk and Gupta-Sidki groups play fundamental role in modern group theory. They are natural examples of self-similar finitely generated periodic groups. The author constructed their analogue in case of restricted Lie algebras of characteristic 2 [27 Petrogradsky, V. M. (2006). Examples of self-iterating Lie algebras. J. Algebra 302(2):881–886.[Crossref], [Web of Science ®] , [Google Scholar]], Shestakov and Zelmanov extended this construction to an arbitrary positive characteristic [39 Shestakov, I. P., Zelmanov, E. (2008). Some examples of nil Lie algebras. J. Eur. Math. Soc. (JEMS) 10(2):391–398.[Crossref], [Web of Science ®] , [Google Scholar]]. There are a few more examples of self-similar finitely generated restricted Lie algebras with a nil p-mapping, but, as a rule, that algebras have no clear basis and require technical computations. Now we construct a family L(Ξ) of 2-generated restricted Lie algebras of slow polynomial growth with a nil p-mapping, where a field of positive characteristic is arbitrary and Ξ an infinite tuple of positive integers. Namely, GKdimL(Ξ)≤2 for all such algebras. The algebras are constructed in terms of derivations of infinite divided power algebra Ω. We also study their associative hulls A?End(Ω). Algebras L and A are ?²-graded by a multidegree in the generators. If Ξ is periodic then L(Ξ) is self-similar. As a particular case, we construct a continuum subfamily of non-isomorphic nil restricted Lie algebras L(Ξ_α), α∈?⁺, with extremely slow growth. Namely, they have Gelfand-Kirillov dimension one but the growth is not linear. For this subfamily, the associative hulls A have Gelfand-Kirillov dimension two but the growth is not quadratic. The virtue of the present examples is that they have clear monomial bases.     

Characterizing n-Isoclinism Classes of Lie Algebras

In this article, we introduce the notion of the equivalence relation, n-isoclinism, between Lie algebras, and obtain some criterions under which Lie algebras are n-isoclinic. In particular, we show that n-isoclinic Lie algebras can be isoclinically embedded into one Lie algebra. Also, we present the notion of an n-stem Lie algebra and prove its existence within an arbitrary n-isoclinism class. In addition, similar to a result of Hekster [6 Hekster , N. S. ( 1986 ). On the structure of n-isoclinam classes of groups . J. Pure Appl. Algebra 40 : 63 – 85 .[Crossref], [Web of Science ®] , [Google Scholar]] in the group case, we characterize the n-stem Lie algebras in the n-isoclinism classes which contains at least one finitely generated Lie algebra L with dim (L ⁿ⁺¹) finite.     

Characterizations for Supersolvable Lie Algebras

In (2009), Towers [10 Towers , D. A. ( 2009 ). C-ideals of Lie algebras . Comm. Algebra 37 : 4366 – 4373 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] presented the notion of c-ideality of a subalgebra of a Lie algebra, and gave some characterizations of solvable and supersolvable Lie algebras. In this article, we further investigate the influence of c-ideality of some subalgebras on the structure of Lie algebras. We also obtain some equivalent conditions for supersolvability of a finite dimensional Lie algebra.     

Breadth and characteristic sequence of nilpotent Lie algebras

The notion of breadth of a nilpotent Lie algebra was introduced and used to approach problems of classification up to isomorphism in [5 Khuhirun, B., Misra, K. C., Stitzinger, E. (2015). On nilpotent Lie algebras of small breadth. J. Algebra 444:328–338.[Crossref], [Web of Science ®] , [Google Scholar]]. In the present paper, we study this invariant in terms of characteristic sequence, another invariant, introduced by Goze and Ancochea in [1 Ancochea-Bermúdez, J. M., Goze, M. (1986). Sur la classification des algèbres de Lie nilpotentes de dimension 7. C. R. Acad. Sci. Paris 302:611–613. [Google Scholar]]. This permits to complete the determination of Lie algebras of breadth 2 studied in [5 Khuhirun, B., Misra, K. C., Stitzinger, E. (2015). On nilpotent Lie algebras of small breadth. J. Algebra 444:328–338.[Crossref], [Web of Science ®] , [Google Scholar]] and to begin the work for Lie algebras with breadth greater than 2.     

Lie algebras of vector fields on smooth affine varieties

We reprove the results of Jordan [18 Jordan, D. (1986). On the ideals of a Lie algebra of derivations. J. London Math. Soc. 33:33–39.[Crossref], [Web of Science ®] , [Google Scholar]] and Siebert [30 Siebert, T. (1996). Lie algebras of derivations and a?ne algebraic geometry over fields of characteristic 0. Math. Ann. 305:271–286.[Crossref], [Web of Science ®] , [Google Scholar]] and show that the Lie algebra of polynomial vector fields on an irreducible a?ne variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not depend on papers mentioned above. Besides, the structure of the module of polynomial functions on an irreducible smooth a?ne variety over the Lie algebra of vector fields is studied. Examples of Lie algebras of polynomial vector fields on an N-dimensional sphere, non-singular hyperelliptic curves and linear algebraic groups are considered.     

Direct Limits of Diagonal Chains of Type O,U, and Sp,and Their Homotopy Groups

ABSTRACT

Baranov and Zhilinskii (1999 Baranov , A. A. , Zhilinskii , A. G. ( 1999 ). Diagonal direct limits of simple Lie algebras . Comm. Algebra 27 ( 6 ): 2749 – 2766 [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) have shown a classification theorem for diagonal direct limits of simple Lie algebras. In this work, we will transfer their results to diagonal direct limits of certain matrix groups, and show that homotopy groups are significant invariants for specific classes of direct limit groups.

Communicated by B. Allison     

Irreducible Modules for the Lie Algebra of Divergence Zero Vector Fields on a Torus

This article investigates the irreducibility of certain representations for the Lie algebra of divergence zero vector fields on a torus. In [2 Eswara Rao, S. (1996). Irreducible representations of the Lie-algebra of the diffeomorphisms of a d-dimensional torus. J. Algebra 182(2):401–421.[Crossref], [Web of Science ®] , [Google Scholar]] Rao constructs modules for the Lie algebra of polynomial vector fields on an N-dimensional torus, and determines the conditions for irreducibility. The current article considers the restriction of these modules to the subalgebra of divergence zero vector fields. It is shown here that Rao's results transfer to similar irreducibility conditions for the Lie algebra of divergence zero vector fields.     

Self-Dual Hopf Quivers

ABSTRACT

We study self-dual coradically graded pointed Hopf algebras with a help of the dual Gabriel theorem for pointed Hopf algebras (van Oystaeyen and Zhang, 2004 van Oystaeyen , F. , Zhang , P. ( 2004 ). Quiver Hopf algebras . J. Algebra 280 ( 2 ): 577 – 589 . [CSA] [CROSSREF]  [Google Scholar]). The co-Gabriel Quivers of such Hopf algebras are said to be self-dual. An explicit classification of self-dual Hopf quivers is obtained. We also prove that finite dimensional pointed Hopf algebras with self-dual graded versions are generated by group-like and skew-primitive elements as associative algebras. This partially justifies a conjecture of Andruskiewitsch and Schneider (2000 Andruskiewitsch , N. , Schneider , H.-J . ( 2000 ). Finite quantum groups and Cartan matrices . Adv. Math. 154 : 1 – 45 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) and may help to classify finite dimensional self-dual coradically graded pointed Hopf algebras.     

Leibniz Algebras with Invariant Bilinear Forms and Related Lie Algebras

In ([11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]), we have studied quadratic Leibniz algebras that are Leibniz algebras endowed with symmetric, nondegenerate, and associative (or invariant) bilinear forms. The nonanticommutativity of the Leibniz product gives rise to other types of invariance for a bilinear form defined on a Leibniz algebra: the left invariance, the right invariance. In this article, we study the structure of Leibniz algebras endowed with nondegenerate, symmetric, and left (resp. right) invariant bilinear forms. In particular, the existence of such a bilinear form on a Leibniz algebra 𝔏 gives rise to a new algebra structure ☆ on the underlying vector space 𝔏. In this article, we study this new algebra, and we give information on the structure of this type of algebras by using some extensions introduced in [11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]. In particular, we improve the results obtained in [22 Lin, J., Chen, Z. (2010). Leibniz algebras with pseudo-Riemannian bilinear forms. Front. Math. China 5(1):103–115.[Crossref], [Web of Science ®] , [Google Scholar]].     

Depth Generated Simple Lie Algebras

A Lie module algebra for a Lie algebra L is an algebra and L-module A such that L acts on A by derivations. The depth Lie algebra of a Lie algebra L with Lie module algebra A acts on a corresponding depth Lie module algebra . This determines a depth functor from the category of Lie module algebra pairs to itself. Remarkably, this functor preserves central simplicity. It follows that the Lie algebras corresponding to faithful central simple Lie module algebra pairs (A,L) with A commutative are simple. Upon iteration at such (A,L), the Lie algebras are simple for all i ∈ ω. In particular, the (i ∈ ω) corresponding to central simple Jordan Lie algops (A,L) are simple Lie algebras. Presented by Don Passman.     

Liouville Extensions of Artinian Simple Module Algebras

In a previous article (Amano and Masuoka, 2005 Amano , K. , Masuoka , A. ( 2005 ). Picard–Vessiot extensions of Artinian simple module algebras . J. Algebra 285 : 743 – 767 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), the author and Masuoka developed a Picard–Vessiot theory for module algebras over a cocommutative pointed smooth Hopf algebra D. By using the notion of Artinian simple (AS)D-module algebras, it generalizes and unifies the standard Picard–Vessiot theories for linear differential and difference equations. The purpose of this article is to define the notion of Liouville extensions of AS D-module algebras and to characterize the corresponding Picard–Vessiot group schemes.     

ℤ3-Twisted Representations of Lattice Vertex Operator Algebras

Abstract

Let L be a positive definite even lattice and let g ∈ Aut L be a fixed point free automorphism of order 3. We determine the twisted Zhu's algebra A _? (V _L ) for the lattice vertex operator algebra V _L , where ? is an automorphism of V _L induced from g. As a result, we show that the set of all irreducible ?-twisted modules for V _L (up to isomorphism) are exactly those constructed by Dong and Lepowsky (1996 Dong, C. and Lepowsky, J. 1996. The algebraic structure of relative twisted vertex operators. J. Pure and Applied Algebra, 110: 259–295. [Crossref], [Web of Science ®] , [Google Scholar]) and Lepowsky (1985 Lepowsky, J. 1985. Calculus of twisted vertex operators. Proc. Natl. Acad. Sci. USA, 82: 8295–8299. [Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

Construction of Nilpotent Jordan Algebras Over any Arbitrary Field

The paper is devoted to the study of annihilator extensions of Jordan algebras and suggests new approach to classify nilpotent Jordan algebras, which is analogous to the Skjelbred–Sund method for classifying nilpotent Lie algebras [2 de Graaf, W. (2007). Classification of 6-dimensional nilpotent Lie algebras over fields of characteristic not 2. J. Algebra 309:640–653.[Crossref], [Web of Science ®] , [Google Scholar], 4 Gong, M.-P. (1998). Clasification of Nilpotent Lie Algebras of Dimension 7 [Ph.D]. Ontario, Canada: University of Waterloo. [Google Scholar], 15 Skjelbred, T., Sund, T. (1978). Sur la classification des algèbres de Lie nilpotentes. C. R. Acad. Sci. Paris Sér. A-B 286:241–242. [Google Scholar]]. Subsequently, we have classified nilpotent Jordan algebras of dimension up to four.     

Larson–Sweedler Theorem and Some Properties of Discrete Type in (G-Cograded) Multiplier Hopf Algebras

We extend the Larson–Sweedler theorem to group-cograded multiplier Hopf algebras introduced in Abd El-hafez et al. (2004 Abd El-hafez , A. T. , Delvaux , L. , Van Daele , A. ( 2004 ). Group-cograded multiplier Hopf (?-)algebra. Math. QA/0404026 . To appear in Algebras and Representation Theory . [CSA]  [Google Scholar]), by showing that a group-cograded multiplier bialgebra with finite-dimensional unital components is a group-cograded multiplier Hopf algebra if and only if it possesses a nondegenerate left cointegral. We also generalize the theory of multiplier Hopf algebras of discrete type in Van Daele and Zhang (1999 Van Daele , A. , Zhang , Y. ( 1999 ). Multiplier Hopf algebras of discrete type . J. Algebra 214 : 400 – 417 . [CSA] [CROSSREF]  [Google Scholar]) to group-cograded multiplier Hopf algebras. Our results are applicable to Hopf group-coalgebras in the sense of Turaev (2000 Turaev , V. G. ( 2000 ). Homotopy field theory in dimension 3 and crossed group-categories . Preprint GT/0005291. [CSA]  [Google Scholar]). Finally, we study regular multiplier Hopf algebras of η -discrete type.     

Simplicity of a Vertex Operator Algebra Whose Griess Algebra is the Jordan Algebra of Symmetric Matrices

Let r ∈ ? be a complex number, and d ∈ ?_≥2 a positive integer greater than or equal to 2. Ashihara and Miyamoto [4 Ashihara , T. , Miyamoto , M. ( 2009 ). Deformation of central charges, vertex operator algebras whose Griess algebras are Jordan algebras . Journal of Algebra 32 : 1593 – 1599 . [Google Scholar]] introduced a vertex operator algebra V _𝒥 of central charge dr, whose Griess algebra is isomorphic to the simple Jordan algebra of symmetric matrices of size d. In this article, we prove that the vertex operator algebra V _𝒥 is simple if and only if r is not an integer. Further, in the case that r is an integer (i.e., V _𝒥 is not simple), we give a generator system of the maximal proper ideal I _r of the VOA V _𝒥 explicitly.