We prove that the group of tame automorphisms of a free Lie algebra (as well as of a free anticommutative algebra) rank 3 over an arbitrary integral domain has the structure of an amalgamated free product. We construct an example of a wild automorphism of a free Lie algebra (as well as of a free anticommutative algebra) of rank 3 over an arbitrary Euclidean ring analogous to the Anick automorphism for free associative algebras.
In this paper, we study the structure and representability of the automorphism group functor of the N=4 Lie conformal superalgebra over an algebraically closed field k of characteristic zero.
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 ${\mathfrak g}$ be a finite dimensional simple Lie algebra over an algebraically closed field $K$ of characteristic $0$. A linear map $φ:{\mathfrak g}\to {\mathfrak g}$ is called a local automorphism if for every $x$ in ${\mathfrak g}$ there is an automorphism $φ_x$ of ${\mathfrak g}$ such that $φ(x)=φ_x(x)$. We prove that a linear map $φ:{\mathfrak g}\to {\mathfrak g}$ is local automorphism if and only if it is an automorphism or an anti-automorphism.
In this paper, a simple Lie algebra, referred to as the completed Witt Lie algebra, is introduced. Its derivation algebra and automorphism group are completely described. As a byproduct, it is obtained that the first cohomology group of this Lie algebra with coefficients in its adjoint module is trivial. Furthermore, we completely determine the conjugate classes of this Lie algebra under its automorphism group, and also obtain that this Lie algebra does not contain any nonzero ad-locally finite element.
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).
For a Lie algebra $\mathfrak g$ related to a quantum torus, we compute its automorphisms, derivations and universal central extension. This Lie algebra $\mathfrak g$ is isomorphic to a subalgebra of the Lie algebra of derivations over the quantum torus, and moreover contains a subalgebra isomorphic to the centerless higher rank Virasoro algebra.
We study automorphisms of the free associative algebra K<x,y,z> over a field K which fix the variable z. We describe the structure of the group of z-tame automorphisms and derive algorithms which recognize z-tame automorphisms and z-tame coordinates.
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…
Let $X$ be a finite connected poset and $K$ a field. We give a full description of the Lie automorphisms of the incidence algebra $I(X,K)$. In particular, we show that they are in general not proper.
Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ of order 2, such that the fixed-point subalgebra of $F$ is trivial and the fixed-point subalgebra of $H$ is metabelian. Then the derived length of $L$ is bounded by a constant.
We construct an analogue of the Nagata automorphism of free nonassociative algebras and free commutative algebras of rank two over a Euclidean domain and prove that it is wild.
This paper addresses several structural aspects of the insertion-elimination algebra, a Lie algebra that can be realized in terms of tree-inserting and tree-eliminating operations on the set of rooted trees. In particular, we determine the finite-dimensional subalgebras, the automorphism group, the derivation group, and a generating set for the insertion-elimination Lie algebra. Many parts of the results are stated for a more general class of Lie algebras and reproduce results for the generalized Virasoro algebras.
Let $\BB$ be the Lie algebra of Block type with basis $\{L_{\a,i}|\,\a,i\in\Z, i\geq0\}$ and relations $[L_{\a,i},L_{\b,j}]=\left((\a-1)(j+1)-(\b-1)(i+1)\right)L_{\a+\b,i+j}$. In the present paper, the derivation algebra and the automorphism group of $\BB$ are explicitly described. In particular, it is shown that the outer derivation space is 1-dimensional and the inner automorphism group of $\BB$ is trivial.
We implement two algorithms in MATHEMATICA for classifying automorphisms of lower-dimensional non-commutative Lie algebras. The first algorithm is a brute-force approach whereas the second is an evolutionary strategy. These algorithms are delivered as the MATHEMATICA package cwsAutoClass. In order to facilitate the application of this package to symmetry Lie algebras of differential equations, we also provide a package, cwsLieSymTools, for manipulating finite-dimensional Lie algebras of vector fields. In particular, this package allows the computations of Lie brackets, structure constants, and…
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.
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].
Let $(\mathfrak{g},ω)$ be a finite-dimensional non-Lie complex $ω$-Lie algebra. We study the derivation algebra $Der(\mathfrak{g})$ and the automorphism group $Aut(\mathfrak{g})$ of $(\mathfrak{g},ω)$. We introduce the notions of $ω$-derivations and $ω$-automorphisms of $(\mathfrak{g},ω)$ which naturally preserve the bilinear form $ω$. We show that the set $Der_ω(\mathfrak{g})$ of all $ω$-derivations is a Lie subalgebra of $Der(\mathfrak{g})$ and the set $Aut_ω(\mathfrak{g})$ of all $ω$-automorphisms is a subgroup of $Aut(\mathfrak{g})$. For any 3-dimensional and 4-dimensional nontrivial $ω$-L…
An algebra $L$ over a field $\Bbb F$, in which product is denoted by $[\,,\,]$, is said to be \textit{ Lie type algebra} if for all elements $a,b,c\in L$ there exist $α, β\in \Bbb F$ such that $α\neq 0$ and $[[a,b],c]=α[a,[b,c]]+β[[a,c],b]$. Examples of Lie type algebras are associative algebras, Lie algebras, Leibniz algebras, etc. It is proved that if a Lie type algebra $L$ admits an automorphism of finite order $n$ with finite-dimensional fixed-point subalgebra of dimension $m$, then $L$ has a soluble ideal of finite codimension bounded in terms of $n$ and $m$ and of derived length bounded …
It is proved that the tame automorphism group of a differential polynomial algebra $k\{x,y\}$ over a field $k$ of characteristic $0$ in two variables $x,y$ with $m$ commuting derivations $δ_1, \ldots, δ_m$ is a free product with amalgamation. An example of a wild automorphism of the algebra $k\{x,y\}$ in the case of $m\geq 2$ derivations is constructed.
Let F_m=F_m(var(sl(2,K))) be the relatively free algebra of rank m in the variety of Lie algebras generated by the algebra sl(2,K) over a field K of characteristic 0. Translating an old result of Baker from 1901 we present a multiplication rule for the inner automorphisms of the completion of F_m with respect to the formal power series topology. Our results are more precise for m=2 when F_2 is isomorphic to the Lie algebra L generated by two generic traceless 2 x 2 matrices. We give a complete description of the group of inner automorphisms of the completion of L. As a consequence we obtain si…
A fence is a particular partial order on a (finite) set, close to the linear order. In this paper, we calculate the rank of the semigroup $\mathcal{FI}_{n}$ of all order-preserving partial injections on an $n$-element fence. In particular, we provide a minimal generating set for $\mathcal{FI}_{n}$. In the present paper, $n$ is odd since this problem for even $n$ was already solved by I. Dimitrova and J. Koppitz.
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.
For a real semisimple Lie algebra, we consider its automorphism group quotient by its identity component. This is known as the outer automorphism group. In this article, we compute the outer automorphism groups of all real semisimple Lie algebras.
We introduce the concept of a double automorphism of an A-graded Lie algebra L. Roughly, this is an automorphism of L which also induces an automorphism of the group A. It is clear that the set of all double automorphisms of L forms a subgroup in Aut(L). In the present paper we prove several nilpotency criteria for a graded Lie algebra admitting a finite group of double automorphisms. We also give an application of our results to groups admitting a Frobenius group of automorphisms.
We prove that every monomorphism of the Lie algebra $\ggu_n$ of unitriangular derivations of the polynomial algebra $P_n=K[x_1,..., x_n]$ is an automorphism.
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.
We prove that the group of automorphisms of the category of free modules over Noterian rings is semi-inner and present also a short proof of a similar result for the variery of Lie algebras.
We give a detailed description of the algebraic group Aut(g) of automorphisms of a simple finite dimensional Lie superalgebra g over an algebraically closed field k of characteristic 0. We also give a description of the group of automorphisms of the k-Lie superalgebra $g \otimes_k R$ whenever R is a Noetherian domain with trivial Picard group.
Let $L_{n}$ be the free Lie algebra, $F_{n}$ be the free metabelian Lie algebra, and $L_{n,c}$ be the free metabelian nilpotent of class $c$ Lie algebra of rank $n$ generated by $x_1,\ldots,x_n$ over a field $K$ of characteristic zero. We call a polynomial $p(X_n)$ symmetric in these Lie algebras if $p(x_1,\ldots,x_n)=p(x_{π(1)},\ldots,x_{π(n)})$ for each element $π$ of the symmetric group $S_n$. The sets $L_n^{S_n}$, $F_n^{S_n}$, and $L_{n,c}^{S_n}$ of symmetric polynomials coincide with the algebras of invariants of the group $S_n$ in $L_{n}$, $F_{n}$, and $L_{n,c}$, respectively. We determi…
We prove that the group of automorphisms of the Lie algebra $\Der_K (P_n)$ of derivations of a polynomial algebra $P_n=K[x_1,..., x_n]$ over a field of characteristic zero is canonically isomorphic to the the group of automorphisms of the polynomial algebra $P_n$.
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.
In this paper, we study the derivations, central extensions and the automorphisms of the infinite-dimensional Lie algebra W which appeared in [8] and Dong-Zhang's recent work [22] on the classification of some simple vertex operator algebras.
We describe the structure of the algebraic group of automorphisms of all simple finite dimensional Lie superalgebras. Using this and étale cohomology considerations, we list all different isomorphism classes of the corresponding twisted loop superalgebras.
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…
The affine group scheme of automorphisms of an evolution algebra that is equal to its square, is shown to lie in an exact sequence, such that the other terms depend solely on the directed graph associated to the algebra. As a consequence, the Lie algebra of derivations is shown to be trivial in characteristic 0 or 2, and to be abelian, with a precise description depending just on the graph, otherwise.
We prove that the group of automorphisms of the Lie algebra $\Der_K (Q_n)$ of derivations of the field of rational functions $Q_n=K(x_1,..., x_n)$ over a field of characteristic zero is canonically isomorphic to the group of automorphisms of the $K$-algebra $Q_n$.
We study z-automorphisms of the polynomial algebra K[x,y,z] and the free associative algebra K<x,y,z> over a field K, i.e., automorphisms which fix the variable z. We survey some recent results on such automorphisms and on the corresponding coordinates. For K<x,y,z> we include also results about the structure of the z-tame automorphisms and algorithms which recognize z-tame automorphisms and z-tame coordinates.
Department of Mathematics, Wayne State University（韦恩州立大学数学系）；Center for Theoretical and Applied Algebra, Al-Farabi Kazakh National University（阿尔法拉比哈萨克国立大学理论与应用代数中心）；Institute of Mathematics and Mathematical Modeling（数学与数学建模研究所）
The Lie algebra version of the Krull-Schmidt Theorem is formulated and proved. This leads to a method for constructing the automorphisms of a direct sum of Lie algebras from the automorphisms of its indecomposable components. For finite-dimensional Lie algebras, there is a well-known algorithm for finding such components, so the theorem considerably simplifies the problem of classifying the automorphism groups. We illustrate this by classifying the automorphisms of all indecomposable real Lie algebras of dimension five or less. Our results are presented very concisely, in tabular form.
