JournalsjemsVol. 9 , No. 4DOI 10.4171/jems/92

The Strong Anick Conjecture is true

  • Jie-Tai Yu

    University of Hong Kong, China
  • Vesselin Drensky

    Bulgarian Acedemy of Sciences, Sofia, Bulgaria
The Strong Anick Conjecture is true cover

Abstract

Recently Umirbaev has proved the long-standing Anick conjecture, that is, there exist wild automorphisms of the free associative algebra Kx,y,zK\langle x,y,z\rangle over a field KK of characteristic 0. In particular, the well-known Anick automorphism is wild. In this article we obtain a stronger result (the Strong Anick Conjecture that implies the Anick Conjecture). Namely, we prove that there exist wild coordinates of Kx,y,zK\langle x,y,z\rangle. In particular, the two nontrivial coordinates in the Anick automorphism are both wild. We establish a similar result for several large classes of automorphisms of Kx,y,zK\langle x,y,z\rangle. We also find a large new class of wild automorphisms of Kx,y,zK\langle x,y,z\rangle which is not covered by the results of Umirbaev. Finally, we study the lifting problem for automorphisms and coordinates of polynomial algebras, free metabelian algebras and free associative algebras and obtain some interesting new results.