In this paper is devoted to nilpotent finite-dimensional evolution algebras E with $dimE^2 = dimE-1$. We described Lie algebras associated with evolution algebras whose nilindex is maximal. Moreover, in terms of this Lie algebra we fully construct nilpotent evolution algebra with maximal index of nilpotency. Furthermore, this result allowed us fully characterize all local and 2-local derivations of the considered evolution algebras. All automorphisms and local automorphisms of the nilpotent evolution algebras with maximal nilindex are found.
We present the description up to isomorphism of Leibniz superalgebras with characteristic sequence $(n|m_1,...,m_k)$ and nilindex $n+m,$ where $m=m_1+ >...+m_k,$ $n$ and $m$ ($m\neq 0$) are dimensions of even and odd parts, respectively.
Local Rota--Baxter operators of weight zero on nilpotent evolution algebras with maximal nilindex
Tafila Technical University（塔菲拉技术大学）；The United Arab Emirates University（阿联酋联合大学）；V.I.Romanovskiy Institute of Mathematics, Uzbekistan Academy of Sciences（乌兹别克斯坦科学院 V.I.罗曼诺夫斯基数学研究所）
We present the classification of real nilpotent quasi-filiform Lie algebras endowed with a complex structure. A nilpotent Lie algebra g is called quasi-filiform is the nilindex is equal to dim(n)-2. We recall that the filiform case (nilindex =dim(g)-1) has already been studied.
We investigate Lie algebras whose Lie bracket is also an associative or cubic associative multiplication to characterize the class of nilpotent Lie algebras with a nilindex equal to 2 or 3. In particular we study the class of 2-step nilpotent Lie algebras, their deformations and we compute the cohomology which parametrize the deformations in this class.
Many theorems and formulas of Lie algebras run quite parallel to Lie superalgebra case, sometimes giving interesting results. So it is quite natural to extend the new concepts of Lie algebra immediately to Lie superalgebra case, as these type of algebras have wide applications in physics and related theories. Using the concept of isoclinism, F. Saeedi and S. Sheikh-Mohseni recently studied the central derivation of nilpotent Lie algebra with nilindex 2. The purpose of the present paper is to continue and extend the investigation to obtain some similar results for Lie superalgebras, as isoclini…
In this work large families of naturally graded nilpotent Lie algebras in arbitrary dimension and characteristic sequence (n,q,1), with n odd, satisfying the centralizer property, are given. This condtion constitutes a generalization, for a nilpotent Lie agebra, of the structural properties charactrizing the Lie algebra $Q_{n}$. By considering certain cohomological classes of the space $H^{2}(\frak{g},\mathbb{C})$, it is shown that, with few exceptions, the isomorphism classses of these algebras are given by central extensions of $Q_{n}$ by $\mathbb{C}^{p}$ which preserve the nilindex and the …
We describe the groups of inner and outer automorphisms of the free metabelian nilpotent Lie algebra of finite rank over a field of characteristic 0. To obtain this result we first describe the groups of inner and continuous outer automorphisms of the completion with respect to the formal power series topology of the free metabelian Lie algebra finite rank.
Let L be the free m-generated metabelian nilpotent of class c Lie algebra over a field of characteristic 0. An automorphism f of L is called normal if f(I)=I for every ideal I of the algebra L. Such automorphisms form a normal subgroup N(L) of Aut(L) containing the group of inner automorphisms. We describe the group of normal automorphisms of L and the quotient group of Aut(L) modulo N(L).
Let R be a Lie nilpotent algebra of index k over a field K of characteristic zero. If G is an n-element subgroup of Aut(R) of the K-automorphisms, then we prove that R is right integral over Fix(G) of degree n^k. In the presence of a primitive n-th root of unity e in K, for a K-automorphism d in Aut(R) with d^n=id, we prove that the skew polynomial algebra R[w,d] is right integral of degree n^k over Fix(d)[w^n].
Each matrix A in GL_n(Z) naturally defines an automorphism f of the free r-step nilpotent Lie algebra on n generators. We study the relationship between the matrix A and the eigenvalues and rational invariant subspaces for f. We give applications to the study of Anosov automorphisms.
The principal filtration of the infinite-dimensional odd Contact Lie superalgebra over a field of characteristic $p>2$ is proved to be invariant under the automorphism group by investigating ad-nilpotent elements and determining certain invariants such as subalgebras generated by some ad-nilpotent elements. Then, it is proved that two automorphisms coincide if and only if they coincide on the -1 component with respect to the principal grading. Finally, all the odd Contact superalgebras are classified up to isomorphisms.
Suppose that a Lie type algebra L over a field K admits a Frobenius group of automorphisms FH with cyclic kernel F of order n and complement H such that the fixed-point subalgebra of F is trivial and the fixed-point subalgebra of H is nilpotent of class c. If the ground field K contains a primitive n-th root of unity, then L is nilpotent and the nilpotency class of L is bounded in terms of |H| and c. The result extends the known theorem of Khukhro, Makarenko and Shumyatsky on Lie algebras with metacyclic Frobenius group of automorphisms.
In this work we find necessary and sufficient conditions for a free nilpotent or a free metabelian nilpotent Lie algebra to be endowed with an ad-invariant metric. For such nilpotent Lie algebras admitting an ad-invariant metric the corresponding automorphisms groups are studied.
Automorphisms of algebras $R$ from a very large axiomatic class of quantum nilpotent algebras are studied using techniques from noncommutative unique factorization domains and quantum cluster algebras. First, the Nakayama automorphism of $R$ (associated to its structure as a twisted Calabi-Yau algebra) is determined and shown to be given by conjugation by a normal element, namely, the product of the homogeneous prime elements of $R$ (there are finitely many up to associates). Second, in the case when $R$ is connected graded, the unipotent automorphisms of $R$ are classified up to minor excepti…
We consider a family of 2-step nilpotent Lie algebras associated to uniform complete graphs on odd number of vertices. We prove that the symmetry group of such a graph is the holomorph of the additive cyclic group $\Z_n$. Moreover, we prove that the (Lie) automorphism group of the corresponding nilpotent Lie algebra contains the dihedral group of order $2n$ as a subgroup.
An example of a non-triangulable locally nilpotent derivation and an example of a wild exponential automorphism of the free Novikov algebra $N\left\langle x,y,z\right\rangle$ in three variables $x,y,z$ over a field of characteristic zero are constructed.
Let K be a field, then we exhibit two matrices in the full nxn matrix algebra M_{n}(K) which generate M_{n}(K) as a Lie K-algebra with the commutator Lie product. We also study Lie centralizers of a not necessarily commutative unitary algebra and obtain results which we hope will eventually be a step in the direction of, firstly, proving that a Lie-nilpotent K-subspace (or a sub Lie K-algebra) of a finite-dimensional associative algebra over K of index k (say) generates a Lie-nilpotent associative subalgebra of much higher nilpotency index, and secondly, in the light of the sharp upper bound f…
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|$. It is proved that if the subalgebra $C_L(F)$ of fixed points of the kernel has finite dimension $m$ and the subalgebra $C_L(H)$ of fixed points of the complement is nilpotent of class $c$, then $L$ has a nilpotent subalgebra of finite codimension bounded in terms of $m$, $c$, $|H|$, and $|F|$ whose nilpotency class is bounded in terms of only $|H|$ and $c$. Examples show that the condition of the k…
Let A be an associative algebra of arbitrary dimension over a field F and G a finite soluble group of automorphisms of A oforder n, prime to the characteristic of F. We prove that if the fixed-point subalgebra of A under the action of G contains a two-sided nilpotent ideal of nilpotency index d and of finite codimension m in I, then A contains a nilpotent two-sided ideal of nilpotency index bounded by a function of n and d and of finite codimension bounded by a function of m, n and d.
Let $K$ be an algebraically closed field of characteristic zero and $A$ an integral $K$-domain. The Lie algebra $Der_{K}(A)$ of all $K$-derivations of $A$ contains the set $LND(A)$ of all locally nilpotent derivations. The structure of $LND(A)$ is of great interest, and the question about properties of Lie algebras contained in $LND(A)$ is still open. An answer to it in the finite dimensional case is given. It is proved that any finite dimensional (over $K$) subalgebra of $Der_{K}(A)$ consisting of locally nilpotent derivations is nilpotent. In the case $A=K[x, y],$ it is also proved that any …
We extend existing results on locally nilpotent differential polynomial rings to skew extensions of rings. We prove that if $\mathscr{G}=\{σ_t\}_{t\in T}$ is a locally finite family of automorphisms of an algebra $R$, $\mathscr{D}=\{δ_t\}_{t\in T}$ is a family of skew derivations of $R$ such that the prime radical $P$ of $R$ is strongly invariant under $\mathscr{D}$, then the ideal $P\langle T,\mathscr{G},\mathscr{D}\rangle^*$ of $R\langle T,\mathscr{G},\mathscr{D}\rangle$, generated by $P$, is locally nilpotent. We then apply this result to algebras with locally nilpotent derivations. We prov…
We investigate the automorphism group of the quantised enveloping algebra U of the positive nilpotent part of certain simple complex Lie algebras g in the case where the deformation parameter q \in \mathbb{C}^* is not a root of unity. Studying its action on the set of minimal primitive ideals of U we compute this group in the cases where g=sl_3 and g=so_5 confirming a Conjecture of Andruskiewitsch and Dumas regarding the automorphism group of U. In the case where g=sl_3, we retrieve the description of the automorphism group of the quantum Heisenberg algebra that was obtained independently by A…
Let $A$ be an algebra over a field $K$ of characteristic zero, let $\d_1, >..., \d_s\in \Der_K(A)$ be {\em commuting locally nilpotent} $K$-derivations such that $\d_i(x_j)=\d_{ij}$, the Kronecker delta, for some elements $x_1,..., x_s\in A$. A set of algebra generators for the algebra $A^\d:= \cap_{i=1}^s\ker (\d_i)$ is found {\em explicitly} and a set of {\em defining relations} for the algebra $A^\d$ is described. Similarly, given a set $\s_1, ..., \s_s\in \Aut_K(A)$ of {\em commuting} $K$-automorphisms of the algebra $A$ such that the maps $\s_i-{\rm id_A}$ are {\em locally nilpotent} and …
We give a full classification of 6-dimensional nilpotent Lie algebras over an arbitrary field, including fields that are not algebraically closed and fields of characteristic~2. To achieve the classification we use the action of the automorphism group on the second cohomology space, as isomorphism types of nilpotent Lie algebras correspond to orbits of subspaces under this action. In some cases, these orbits are determined using geometric invariants, such as the Gram determinant or the Arf invariant. As a byproduct, we completely determine, for a 4-dimensional vector space $V$, the orbits of $…
In this paper we prove that every finite-dimensional nilpotent restricted Lie algebra over a field of prime characteristic has an outer restricted derivation whose square is zero unless the restricted Lie algebra is a torus or it is one-dimensional or it is isomorphic to the three-dimensional Heisenberg algebra in characteristic two as an ordinary Lie algebra. This result is the restricted analogue of a result of Tôgô on the existence of nilpotent outer derivations of ordinary nilpotent Lie algebras in arbitrary characteristic and the Lie-theoretic analogue of a classical group-theoretic resul…
The present paper is devoted to local and 2-local derivations and automorphism of complex finite-dimensional simple Leibniz algebras. We prove that all local derivations and 2-local derivations on a finite-dimensional complex simple Leibniz algebra are automatically derivations. We show that nilpotent Leibniz algebras as a rule admit local derivations and 2-local derivations which are not derivations. Further we consider automorphisms of simple Leibniz algebras. We prove that every 2-local automorphism on a complex finite-dimensional simple Leibniz algebra is an automorphism and show that nilp…
We determine normal forms of the multiplication of four-dimensional anti-commutative algebras over a field $\mathbb K$ of characteristic zero having an analogous family of flags of subalgebras as the four-dimensional non-Lie binary Lie algebras, and hence can be considered as the closest relatives of binary Lie algebras. These algebras are extensions of $\mathbb K$ by the 3-dimensional nilpotent Lie algebra and at the same time extensions of a two-dimensional Lie algebra by a two-dimensional abelian algebra. We describe their groups of automorphisms as extensions of a subgroup of the group of …
Let $0 \to A \to L \to B \to 0$ be a short exact sequence of Lie algebras over a field $F$, where $A$ is abelian. We show that the obstruction for a pair of automorphisms in $\Aut(A) \times \Aut(B)$ to be induced by an automorphism in $\Aut(L)$ lies in the Lie algebra cohomology $\Ha^2(B;A)$. As a consequence, we obtain a four term exact sequence relating automorphisms, derivations and cohomology of Lie algebras. We also obtain a more explicit necessary and sufficient condition for a pair of automorphisms in $\Aut\big(L_{n,2}^{(1)}\big) \times \Aut\big(L_{n,2}^{ab}\big)$ to be induced by an au…
We consider the structure of groups and algebras that can be represented as automorphisms or derivations of distributive products -- which includes nonassociative rings, modules, forms, and commutation of groups and nonassociative loops. In many ways this is too broad to be possible, for instance even naive structure, such as inner automorphisms and derivations, are undefined for general bilinear maps. The appeal for working in this generality is broad applicability. We introduce fundamental structures and prove several results akin to ones in ring theory, including theorems of Morita and of S…
We prove that every $2$-local automorphism on a finite-dimensional semi-simple Lie algebra $\mathcal{L}$ over an algebraically closed field of characteristic zero is an automorphism. We also show that each finite-dimensional nilpotent Lie algebra $\mathcal{L}$ with $\dim \mathcal{L}\geq 2$ admits a $2$-local automorphism which is not an automorphism.
We describe two algorithms for finding representatives of the nilpotent orbits of a theta-group. The algorithms have been implemented in the computer algebra system GAP (inside the package SLA). We comment on their performance. We apply the algorithms to study the nilpotent orbits of theta-groups, where theta is an N-regular automorphism of a simple Lie algebra of exceptional type.
In the present paper, we determine the group of automorphisms of pseudo $H$-type Lie algebras, which are two-step nilpotent Lie algebras closely related to the Clifford algebras $\Cl(\mathbb R^{r,s})$.
Let P be a free Poisson algebra in two variables over a field of characteristic zero. We prove that the automorphisms of P are tame and that the locally nilpotent derivations of P are triangulable.
We obtain a recurrent and monotone method for constructing and classifying nilpotent Lie algebras by means of successive central extensions. It consists in calculating the second cohomology of an extendable nilpotent Lie algebra with the subsequent study of the orbit space geometry of the automorphism group action on Grassmannians defined in terms of the second cohomology of the extendable nilpotent Lie algebra. Such a geometric method allows to classify some classes of nilpotent Lie algebras. The concept of a rigid central extension is introduced.
In the present paper, every evolution algebra is endowed with Banach algebra norm. This together with the description of derivations and automorphisms of nilpotent evolution algebras, allows to investigated the set $\exp(Der(E))$. Moreover, it is proved that $\exp(Der(E))$ is a normal subgroup of $Aut(E)$, and its corresponding index is calculated.
Suppose that a finite group $G$ admits a Frobenius group of automorphisms $FH$ with kernel $F$ and complement $H$ such that the fixed-point subgroup of $F$ is trivial: $C_G(F)=1$. In this situation various properties of $G$ are shown to be close to the corresponding properties of $C_G(H)$. By using Clifford's theorem it is proved that the order $|G|$ is bounded in terms of $|H|$ and $|C_G(H)|$, the rank of $G$ is bounded in terms of $|H|$ and the rank of $C_G(H)$, and that $G$ is nilpotent if $C_G(H)$ is nilpotent. Lie ring methods are used for bounding the exponent and the nilpotency class of…
A 2-step nilpotent Lie algebra n is called nonsingular if ad(X): n --> [n,n] is onto for any X not in [n,n]. We explore nonsingular algebras in several directions, including the classification problem (isomorphism invariants), the existence of canonical inner products (nilsolitons) and their automorphism groups (maximality properties). Our main tools are the moment map for certain real reductive representations, and the Pfaffian form of a 2-step algebra, which is a positive homogeneous polynomial in the nonsingular case.
We prove that a linear mapping on the algebra \(\mathfrak{sl}_n\) of all trace zero complex matrices is a local automorphism if and only if it is an automorphism or an anti-automorphism. We also show that a linear mapping on a simple Leibniz algebra of the form \(\mathfrak{sl}_n\dot +\mathcal{I}\) is a local automorphism if and only if it is an automorphism. We give examples of finite-dimensional nilpotent Lie algebras \(\mathcal{L}\) with \(\dim \mathcal{L} \geq 3\) which admit local automorphisms which are not automorphisms.
We compute the automorphism group of the q-enveloping algebra U_q(sl_4^+) of the nilpotent Lie algebra of strictly upper triangular matrices of size 4. The result obtained gives a positive answer to a conjecture of Andruskiewitsch and Dumas. We also compute the derivations of this algebra and then show that the Hochschild cohomology group of degree 1 of this algebra is a free (left)-module of rank 3 (which is the rank of the Lie algebra sl(4)) over the center of U_q(sl_4^+).
