Automorphisms of Free Metabelian Lie Algebras, II

(a) The group of tame \mathrm{IA}-automorphisms \mathrm{TAut}(M_n)\cap \mathrm{IAut}(M_n) is generated by all linear conjugates of elementary automorphisms of the form (?) where f\in M_n' does not depend on x_1;

(b) The group almost tame \mathrm{IA}-automorphisms \mathrm{ATAut}(M_n)\cap \mathrm{IAut}(M_n) is generated by all linear conjugates of Chein automorphisms of the form (?).

[AutoI, Lemma 1] Let a=(a_1,a_2,\ldots,a_n)^t\in (U^n)^t be an arbitrary column of dimension n over U. Then the following conditions are equivalent.

(1) a=\partial(f) for some f\in M_n';

(2) Ya=y_1a_1+\ldots +y_na_n=0 where Y=(y_1,\ldots,y_n);

(3) a=\sum_{i<j} (e_iy_j-e_jy_i)a_{ij}, \ a_{ij}\in U.

[AutoI, Lemma 2] An endomorphism \phi of M_n is an automorphism if and only if the Jacobian matrix J(\phi) is invertible.

[AutoI, Lemma 3] An endomorphism of M_n of the form (?) is an automorphism if and only if f belongs to the ideal generated by all [x_s,x_t], where s,t\neq 1.

(a) If \phi, \psi\in \mathrm{IAut}(M_n) then

(b) If \phi\in \mathrm{IAut}(M_n) and \alpha\in GL_n(K) then

(c) The map

is an injective homomorphism of groups and G=J(\mathrm{IAut}(M_n)) is the set of all matrics from SL_n(U) of the form

where A\in \mathrm{Mat}_n(U) is a matrix such that YA=0.

(a) The group T is generated by all linear conjugates of matrices of the form (?) where a does not depend on y_1.

(b) The group S is generated by all linear conjugates of matrices of the form (?).

Let n\geq 4 and K is a field of characteristic \neq 3 or n\geq 5.

(1) Every matrix of the form (?) belongs to T if \mathrm{ldeg}(a)\geq 2;

(2) Every matrix of the form

belongs to T if \mathrm{ldeg}(a)\geq 2.

[AutoI, Corollary 1] Let n\geq 4 and K is a field of characteristic \neq 3 or n\geq 5. The group of all almost tame automorphisms \mathrm{ATAut}(M_n) is generated, modulo all linear automorphisms, by the quadratic automorphism (?) and the cubic automorphism (?).

Every matrix of the form

with \mathrm{ldeg}(a)\geq 1 belongs to S.

Let B be any matrix from SL_{n-1}(U,y_nU). Then B=I_{n-1}+y_nC for some matrix C\in \mathrm{Mat}_{n-1}(U) and there exists a unique special matrix Z such that

Every matrix of the form

belongs to S.

Let k\geq 3 and J=y_nU. Then

(1) SL_k(U,J)=E_k(U,J);

(2) E_k(U,J) is generated by the set of all matrices of the form

where i<j, h\in J, and f,g\in U.

Every special matrix belongs to S.

Every automorphism of the form

where f_1,f_2,\ldots,f_{n-1} belong to the ideal generated by [x_1,x_n],\ldots,[x_{n-1},x_n], is almost tame.

Let B=I+[a_{ij}]\in SL_n(U,\sum_{p=s}^ny_pU)\cap G be such that

and

for all 1\leq i\leq n-1, where \overline{a}_{in} is obtained from a_{in} by setting y_s=y_{s+1}=\ldots =y_{n-1}=0. Then there exists C\in S such that C^{-1}B\in SL_n(U,\sum_{p=s}^{n-1}y_pU).

The automorphism

is almost tame.

The matrix (?) belongs to S.

There exists a 3-reducible matrix C in T such that C_3 after setting y_2=y_3=0 becomes equal to

where \lambda\in K.

Let

Then \mathrm{ldeg}(a_{ij})\geq 2 for all 1\leq i,j\leq 2.

Let

Then there exists R\in S such that R^{-1}A=I_n+[e_{ij}]\in SL_n(U,\sum_{p=s}^ny_pU)\cap G and e_{1n},e_{2n}, \ldots, e_{n-1 n}\in \sum_{p=s}^{n-1}y_pU+y_n^2U.

Let A=I_n+[a_{ij}]\in SL_n(U,\sum_{p=s}^ny_pU)\cap G and a_{1n},a_{2n}, \ldots, a_{(n-1) n}\in \sum_{p=s}^{n-1}y_pU+y_n^2U. Then there exists B\in S such that B^{-1}A\in SL_n(U,\sum_{p=s}^{n-1}y_pU).

Let

Then there exists B\in S such that B^{-1}A\in SL_n(U,\sum_{p=s}^{n-1}y_pU).

Every automorphism of the free metabelian Lie algebra M_n of rank n\geq 4 over an arbitrary field K is almost tame.

The automorphism group \mathrm{Aut}(M_n) of the free metabelian Lie algebra M_n of rank n\geq 4 over a field K of characteristic different from 3 is generated by its linear automorphisms together with the quadratic automorphism (?) and the cubic automorphism (?).

The automorphism group \mathrm{Aut}(M_n) of the free metabelian Lie algebra M_n of rank n\geq 5 over a field K is generated by its linear automorphisms together with the quadratic automorphism (?) and the cubic automorphism (?).