Аннотация:We study the Zariski topology of the ind-groups of polynomial and free associative algebras $\Aut(K[x_1,...,x_n])$ (which is equivalent to the automorphism group of the affine space $\Aut(K^n))$) and $\Aut(K< x_1,..., x_n>$ via $\Ind$-schemes, toric varieties, approximations and singularities.
We obtain some nice properties of $\Aut(\Aut(A))$, where A is polynomial or free associative algebra over a field K. We prove that all $\Ind$-scheme automorphisms of $\Aut(K[x_1,...,x_n])$ are inner for n≥3, and all $\Ind$-scheme automorphisms of $\Aut(K< x_1,..., x_n>)$ are semi-inner. We also establish that any effective action of torus Tn on $\Aut(K< x_1,..., x_n>)$ is linearizable provided K is infinity. That is, it is conjugated to a standard one.
As an application, we prove that $\Aut(K[x_1,...,x_n])$ cannot be embedded into $\Aut(K< x_1,...,x_n>)$ induced by the natural abelianization. In other words, the {\it Automorphism Group Lifting Problem} has a negative solution.
We explore the close connection between the above results and the Jacobian conjecture, and Kontsevich-Belov conjecture, and formulate the Jacobian conjecture for fields of any characteristic.