Enumeration of maximal subalgebras in free restricted lie algebras

Given a finitely generated restricted Lie algebra L over the finite field \(\mathbb{F}_q \), and n ≥ 0, denote by a _n (L) the number of restricted subalgebras H ? L with \(\dim _{\mathbb{F} _q} \) L/H = n. Denote by ã _n (L) the number of the subalgebras satisfying the maximality condition as well. Considering the free restricted Lie algebra L = F _d of rank d ≥ 2, we find the asymptotics of ã _n (F _d ) and show that it coincides with the asymptotics of a _n (F _d ) which was found previously by the first author. Our approach is based on studying the actions of restricted algebras by derivations on the truncated polynomial rings. We establish that the maximal subalgebras correspond to the so-called primitive actions. This means that “almost all” restricted subalgebras H ? F _d of finite codimension are maximal, which is analogous to the corresponding results for free groups and free associative algebras.     

Family algebras and generalized exponents for polyvector representations of simple Lie algebras of type <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We give an explicit formula for the exterior powers ∧ ^k π ₁ of the defining representation π ₁ of the simple Lie algebra ?ο(2n + 1, ?). We use the technique of family algebras. All representations in question are children of the spinor representation σ of g2ο(2n + 1, ?). We also give a survey of main results on family algebras.     

On lie algebras of affine vector fields of ideal realizations of holomorphic linear connections

We study the properties of real realizations of holomorphic linear connections over associative commutative algebras \(\mathbb{A}\) _m with unity. The following statements are proved.If a holomorphic linear connection ? on M _n over \(\mathbb{A}\) _m (m ≥ 2) is torsion-free and R ≠ 0, then the dimension over ? of the Lie algebra of all affine vector fields of the space (M _mn ^? , ?^?) is no greater than (mn)² ? 2mn + 5, where m = dim_? \(\mathbb{A}\), \(n = dim_\mathbb{A} \) M _n , and ?^? is the real realization of the connection ?.Let ?^? =¹ ? ײ ? be the real realization of a holomorphic linear connection ? over the algebra of double numbers. If the Weyl tensor W = 0 and the components of the curvature tensor ¹ R ≠ 0, ² R ≠ 0, then the Lie algebra of infinitesimal affine transformations of the space (M _2n ^? , ?^?) is isomorphic to the direct sum of the Lie algebras of infinitesimal affine transformations of the spaces ( ^a M _n , ^a ?) (a = 1, 2).     

From Lie algebra crossed modules to tensor hierarchies

The present paper, though inspired by the use of tensor hierarchies in theoretical physics, establishes their mathematical credentials, especially as genetically related to Lie algebra crossed modules. Gauging procedures in supergravity rely on a pairing – the embedding tensor – between a Leibniz algebra and a Lie algebra. Two such algebras, together with their embedding tensor, form a triple called a Lie-Leibniz triple, of which Lie algebra crossed modules are particular cases. This paper is devoted to showing that any Lie-Leibniz triple induces a differential graded Lie algebra – its associated tensor hierarchy – whose restriction to the category of Lie algebra crossed modules is the canonical assignment associating to any Lie algebra crossed module its corresponding unique 2-term differential graded Lie algebra. This shows that Lie-Leibniz triples form natural generalizations of Lie algebra crossed modules and that their associated tensor hierarchies can be considered as some kind of ‘lie-ization’ of the former. We deem the present construction of such tensor hierarchies clearer and more straightforward than previous derivations. We stress that such a construction suggests the existence of further well-defined Leibniz gauge theories.     

Cyclic cohomology of certain nuclear Fréchet algebras and DF algebras

We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain \(\hat \otimes\)-algebras. We use well-developed homological techniques together with some niceties of the theory of locally convex spaces to generalize the results known in the case of Banach algebras and their inverse limits to wider classes of topological algebras. To this end we show that, for a continuous morphism ?: x → y of complexes of complete nuclear DF-spaces, the isomorphism of cohomology groups H ⁿ(?): H ⁿ (x) → H ⁿ (y) is automatically topological. The continuous cyclic-type homology and cohomology are described up to topological isomorphism for the following classes of biprojective \(\hat \otimes\)-algebras: the tensor algebra E \(\hat \otimes\) F generated by the duality (E,F,<·,·>) for nuclear Fréchet spaces E and F or for nuclear DF-spaces E and F; nuclear biprojective Köthe algebras λ(P) which are Fréchet spaces or DF-spaces; the algebra of distributions ε^*(G) on a compact Lie group G.     

Graded Lie algebras with few nontrivial components

We prove that if a (?/n?)-graded Lie algebra L = ? _i=0 ^n?1 L _i has d nontrivial components L _i and the null component L ₀ has finite dimension m, then L has a homogeneous solvable ideal of derived length bounded by a function of d and of codimension bounded by a function of m and d. An analogous result holds also for the (?/n?)-graded Lie rings L = ? _i=0 ^n?1 with few nontrivial components L _i if the null component L ₀ has finite order m. These results generalize Kreknin’s theorem on the solvability of the (?/n?)-graded Lie rings L = ? _i=0 ^n?1 L _i with trivial component L ₀ and Shalev’s theorem on the solvability of such Lie rings with few nontrivial components L _i . The proof is based on the method of generalized centralizers which was created by E. I. Khukhro for Lie rings and nilpotent groups with almost regular automorphisms of prime order [1], as well as on the technique developed in the work of N. Yu. Makarenko and E. I. Khukhro on the almost solvability of Lie algebras with an almost regular automorphism of finite order [2].     

A Characterization of Stem Algebras in Terms of Central Derivations

Let L be a Lie algebra, and Der _z (L) denote the set of all central derivations of L, that is, the set of all derivations of L mapping L into the center. In this paper, by using the notion of isoclinism, we study the center of Der _z (L) for nilpotent Lie algebras with nilindex 2. We also give a characterization of stem Lie algebras by their central derivations. In fact we show that for non-abelian nilpotent Lie algebras of finite dimension and any nilpotent Lie algebra with nilindex 2 (not finite dimensional in general), Der _z (L) is abelian if and only if L is a stem Lie algebra.     

A Nilpotent Ideal in the Lie Rings with Automorphism of Prime Order

We improve the conclusion in Khukhro's theorem stating that a Lie ring (algebra) L admitting an automorphism of prime order p with finitely many m fixed points (with finite-dimensional fixed-point subalgebra of dimension m) has a subring (subalgebra) H of nilpotency class bounded by a function of p such that the index of the additive subgroup |L: H| (the codimension of H) is bounded by a function of m and p. We prove that there exists an ideal, rather than merely a subring (subalgebra), of nilpotency class bounded in terms of p and of index (codimension) bounded in terms of m and p. The proof is based on the method of generalized, or graded, centralizers which was originally suggested in [E. I. Khukhro, Math. USSR Sbornik 71 (1992) 51–63]. An important precursor is a joint theorem of the author and E. I. Khukhro on almost solubility of Lie rings (algebras) with almost regular automorphisms of finite order.     

Classification of 2-step nilpotent Lie algebras of dimension 9 with 2-dimensional center

A Lie algebra L is called 2-step nilpotent if L is not abelian and [L,L] lies in the center of L. 2-step nilpotent Lie algebras are useful in the study of some geometric problems, and their classification has been an important problem in Lie theory. In this paper, we give a classification of 2-step nilpotent Lie algebras of dimension 9 with 2-dimensional center.     

<Emphasis Type="Italic">C</Emphasis>*-Non-Linear Second Quantization

We construct an inductive system of C*-algebras each of which is isomorphic to a finite tensor product of copies of the one-mode n-th degree polynomial extension of the usual Weyl algebra constructed in our previous paper (Accardi and Dhahri in Open Syst Inf Dyn 22(3):1550001, 2015). We prove that the inductive limit C*-algebra is factorizable and has a natural localization given by a family of C*-sub-algebras each of which is localized on a bounded Borel subset of \({\mathbb{R}}\). Finally, we prove that the corresponding family of Fock states, defined on the inductive family of C*-algebras, is projective if and only if n = 1. This is a weak form of the no-go theorems which emerge in the study of representations of current algebras over Lie algebras.     

Lie Algebras with Nilpotent Length Greater than that of each of their Subalgebras

The main purpose of this paper is to study the finite-dimensional solvable Lie algebras described in its title, which we call minimal non- \({\mathcal N}\). To facilitate this we investigate solvable Lie algebras of nilpotent length k, and of nilpotent length ≤k, and extreme Lie algebras, which have the property that their nilpotent length is equal to the number of conjugacy classes of maximal subalgebras. We characterise the minimal non-\({\mathcal N}\) Lie algebras in which every nilpotent subalgebra is abelian, and those of solvability index ≤3.     

Characteristic Modules of Dual Extensions and Groebner Bases

Let C be a finite dimensional directed algebra over an algebraically closed field k and A=A(C) the dual extension of C. The characteristic modules of A are constructed explicitly for a class of directed algebras, which generalizes the results of Xi. Furthermore, it is shown that the characteristic modules of dual extensions of a certain class of directed algebras admit the left Groebner basis theory in the sense of E. L. Green.     

Inverse limits in representations of a restricted Lie algebra

Let(g,[p]) be a restricted Lie algebra over an algebraically closed field of characteristic p 0.Then the inverse limits of "higher" reduced enveloping algebras {uχs(g)|s∈N} with χ running over g* make representations of g split into different "blocks".In this paper,we study such an infinitedimensional algebra Aχ(g):= ■Uχs(g) for a given χ∈g*.A module category equivalence is built between subcategories of U(g)-mod and Aχ(g)-mod.In the case of reductive Lie algebras,(quasi) generalized baby Verma modules and their properties are described.Furthermore,the dimensions of projective covers of simple modules with characters of standard Levi form in the generalized χ-reduced module category are precisely determined,and a higher reciprocity in the case of regular nilpotent is obtained,generalizing the ordinary reciprocity.     

A new functor from <Emphasis Type="Italic">D</Emphasis><Subscript>5</Subscript>-Mod to <Emphasis Type="Italic">E</Emphasis><Subscript>6</Subscript>-Mod

We find a new representation of the simple Lie algebra of type E ₆ on the polynomial algebra in 16 variables, which gives a fractional representation of the corresponding Lie group on 16-dimensional space. Using this representation and Shen’s idea of mixed product, we construct a new functor from D ₅-Mod to E ₆-Mod. A condition for the functor to map a finite-dimensional irreducible D ₅-module to an infinite-dimensional irreducible E ₆-module is obtained. Our results yield explicit constructions of certain infinite-dimensional irreducible weight E6-modules with finite-dimensional weight subspaces. In our approach, the idea of Kostant’s characteristic identities plays a key role.     

Quasi-state rigidity for finite-dimensional Lie algebras

We say that a Lie algebra g is quasi-state rigid if every Ad-invariant continuous Lie quasi-state on it is the directional derivative of a homogeneous quasimorphism. Extending work of Entov and Polterovich, we show that every reductive Lie algebra, as well as the algebras C ⁿ ? u(n), n ≥ 1, are rigid. On the other hand, a Lie algebra which surjects onto the three-dimensional Heisenberg algebra is not rigid. For Lie algebras of dimension ≤ 3 and for solvable Lie algebras which split over a codimension one abelian ideal, we show that this is the only obstruction to rigidity.     

Infinite-dimensional Lie algebras determined by the space of symmetric squares of hyperelliptic curves

We construct Lie algebras of vector fields on universal bundles of symmetric squares of hyperelliptic curves of genus g = 1, 2,.. For each of these Lie algebras, the Lie subalgebra of vertical fields has commuting generators, while the generators of the Lie subalgebra of projectable fields determines the canonical representation of the Lie subalgebra with generators L _2q , q = ?1, 0, 1, 2,.., of the Witt algebra. As an application, we obtain integrable polynomial dynamical systems.     

Local Superderivatio ns o n Lie Superalgebra $$\mathfrak{}$$ ( n)

Let \(\mathfrak{q}\)(n) be a simple strange Lie superalgebra over the complex field ?. In a paper by A.Ayupov, K.Kudaybergenov (2016), the authors studied the local derivations on semi-simple Lie algebras over ? and showed the difference between the properties of local derivations on semi-simple and nilpotent Lie algebras. We know that Lie superalgebras are a generalization of Lie algebras and the properties of some Lie superalgebras are similar to those of semi-simple Lie algebras, but \(\mathfrak{p}\)(n) is an exception. In this paper, we introduce the definition of the local superderivation on \(\mathfrak{q}\)(n), give the structures and properties of the local superderivations of \(\mathfrak{q}\)(n), and prove that every local superderivation on \(\mathfrak{q}\)(n), n > 3, is a superderivation.     

Extending Structures for Lie Conformal Algebras

The \(\mathbb {C}[\partial ]\)-split extending structures problem for Lie conformal algebras is studied. In this paper, we introduce the definition of unified product of a given Lie conformal algebra R and a given \(\mathbb {C}[\partial ]\)-module Q. This product includes some other interesting products of Lie conformal algebras such as twisted product, crossed product, and bicrossed product. Using this product, a cohomological type object is constructed to provide a theoretical answer to the \(\mathbb {C}[\partial ]\)-split extending structures problem. Moreover, using this general theory, we investigate crossed product and bicrossed product in detail, which give the answers for the \(\mathbb {C}[\partial ]\)-split extension problem and the \(\mathbb {C}[\partial ]\)-split factorization problem respectively.     

The number of simple modules of a cellular algebra

Let n be a natural number, and let A be an indecomposable cellular algebra such that the spectrum of its Cartan matrix C is of the form {n, 1, …., 1}. In general, not every natural number could be the number of non-isomorphic simple modules over such a cellular algebra. Thus, two natural questions arise: (1) which numbers could be the number of non-isomorphic simple modules over such a cellular algebra A ? (2) Given such a number, is there a cellular algebra such that its Cartan matrix has the desired property ? In this paper, we shall completely answer the first question, and give a partial answer to the second question by constructing cellular algebras with the pre-described Cartan matrix.