Recently Umirbaev has proved the long-standing Anick conjecture, that is, there exist wild automorphisms of the free associative algebra $K\langle x,y,z\rangle$ over a field $K$ 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 $K\langle x,y,z\rangle$. In particular, the two nontrivial coordinates in the Anick automorphism are both wild. We establish a...

We study the group $\mathrm{Tame}\left({\mathrm{SL}}_2\right)$ of tame automorphisms of a smooth affine $3$-dimensional quadric, which we can view as the underlying variety of ${\mathrm{SL}}_2\left(ℂ\right)$. We construct a square complex on which the group admits a natural cocompact action, and we prove that the complex is $\mathrm{CAT}\left(0\right)$ and hyperbolic. We propose two applications of this construction: We show that any finite subgroup in $\mathrm{Tame}\left({\mathrm{SL}}_2\right)$ is linearizable, and that $\mathrm{Tame}\left({\mathrm{SL}}_2\right)$ satisfies the Tits alternative.

We discuss several additional properties a power linear Keller map may have. The Structural Conjecture of Drużkowski (1983) asserts that certain two such properties are equivalent, but we show that one of them is stronger than the other. We even show that the property of linear triangularizability is strictly in between. Furthermore, we give some positive results for small dimensions and small Jacobian ranks.

We present some estimates on the geometry of the exceptional value sets of non-zero constant Jacobian polynomial maps of ℂ² and their components.

Let (F₁,..., Fₙ): ℂⁿ → ℂⁿ be a locally invertible polynomial map. We consider the canonical pull-back vector fields under this map, denoted by ∂/∂F₁,...,∂/∂Fₙ. Our main result is the following: if n-1 of the vector fields $\partial /\partial F_j$ have complete holomorphic flows along the typical fibers of the submersion $(F₁,...,F_{j-1},F_{j+1},...,Fₙ)$, then the inverse map exists. Several equivalent versions of this main hypothesis are given.

Let d be any integer greater than or equal to 3. We show that the intersection of the set mdeg(Aut(ℂ³))∖ mdeg(Tame(ℂ³)) with {(d₁,d₂,d₃) ∈ (ℕ ₊)³: d = d₁ ≤ d₂≤ d₃} has infinitely many elements, where mdeg h = (deg h₁,...,deg hₙ) denotes the multidegree of a polynomial mapping h = (h₁,...,hₙ): ℂⁿ → ℂⁿ. In other words, we show that there are infinitely many wild multidegrees of the form (d,d₂,d₃), with fixed d ≥ 3 and d ≤ d₂ ≤ d₃, where a sequence (d₁,...,dₙ)∈ ℕ ⁿ is a wild multidegree if there is...