Related papers: A note on k[z]-automorphisms in two variables

Let $k$ be a field of characteristic $p>0$. We discuss the automorphisms of the polynomial ring $k[x_1,\ldots ,x_n]$ of order $p$, or equivalently the ${\bf Z}/p{\bf Z}$-actions on the affine space ${\bf A}_k^n$. When $n=2$, such an…

Let $K$ be a field of characteristic zero, $K[x,y]$ be the polynomial ring in two variables. Let $\phi=(f, g)$ be an endomorphism of $K[x,y]$. It is proved that if $\phi$ maps each coordinate to a generator of some proper retract, then it…

A polynomial automorphism $F$ is called {\em shifted linearizable} if there exists a linear map $L$ such that $LF$ is linearizable. We prove that the Nagata automorphism $N:=(X-Y\Delta -Z\Delta^2,Y+Z\Delta, Z)$ where $\Delta=XZ+Y^2$ is…

Let K<x,y> be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not two elements in K<x,y> are equivalent under an automorphism of…

Let R be a PID. We construct and classify all coordinates of R[x,y] of the form p_2y+Q_2(p_1x+Q_1(y)) with p_1 and p_2 in qt(R) and Q_1 and Q_2 in qt(R)[y]. From this construction (with R=K[z]) we obtain non tame automorphisms s of K[x,y,z]…

Let $ K[x, y]$ be the polynomial algebra in two variables over a field $K$ of characteristic $0$. A subalgebra $R$ of $K[x, y]$ is called a retract if there is an idempotent homomorphism (a {\it retraction}, or {\it projection}) $\varphi:…

Let $K[x,y]$ be the polynomial algebra in two variables over an algebraically closed field $K$. We generalize to the case of any characteristic the result of Furter that over a field of characteristic zero the set of automorphisms $(f,g)$…

We define a family of polynomial ring homomorphisms generalizing the well-known Nagata automorphism. We establish necessary and sufficient conditions under which these homomorphisms are automorphisms, and verify that they satisfy the…

Recently Umirbaev has proved the long-standing Anick conjecture, that is, there exist wild automorphisms of the free associative algebra K<x,y,z> over a field K of characteristic 0. In particular, the well-known Anick automorphism is wild.…

Let K[x,y] be the algebra of two-variable polynomials over a field K. A polynomial p=p(x, y) is called a test polynomial (for automorphisms) if, whenever \phi(p)=p for a mapping \phi of K[x,y], this \phi must be an automorphism. Here we…

Nakayama automorphisms play an important role in several mathematical branches, which are known to be tough to compute in general. We compute the Nakayama automorphism $\nu$ of any Ore extension $R[x; \sigma, \delta]$ over a polynomial…

We show that the Nakayama automorphism of a Frobenius algebra $R$ over a field $k$ is independent of the field (Theorem 4). Consequently, the $k$-dual functor on left $R$-modules and the bimodule isomorphism type of the $k$-dual of $R$, and…

Let $K$ be a field of characteristic $0$, and let $k \geq 2$ be an integer. We prove that every $K$-linear bijection $f \colon K[X] \to K[X]$ strongly preserving the set of $k$-free polynomials (or the set of polynomials with a $k$-fold…

Let $\L (f) = K[x][y; f\frac{d}{dx} ]$ be an Ore extension of a polynomial algebra $K[x]$ over a field $K$ of characteristic zero where $f\in K[x]$. For a given polynomial $f$, the automorphism group of the algebra $\L (f) $ is explicitly…

Let $k$ be a field of characteristic zero, and let $f: k[x,y] \to k[x,y]$, $f: (x,y) \mapsto (p,q)$, be a $k$-algebra endomorphism having an invertible Jacobian. Write $p=a_ny^n+\cdots+a_1y+a_0$, where $n=deg_y(p) \in \mathbb{N}$, $a_i \in…

Let $K$ be a field of characteristic zero, let $A_1=K[x][\partial ]$ be the first Weyl algebra. In this paper we prove the following two results. Assume there exists a non-zero polynomial $f(X,Y)\in K[X,Y]$, which has a non-trivial solution…

Let $A$ be a Koszul Artin-Schelter regular algebra and $\sigma$ an algebra homomorphism from $A$ to $M_{2\times 2}(A)$. We compute the Nakayama automorphisms of a trimmed double Ore extension $A_P[y_1, y_2; \sigma]$ (introduced in…

We determine the factorization of X*f(X)-Y*g(Y) over K[X,Y] for all squarefree additive polynomials f,g in K[X] and all fields K of odd characteristic. This answers a question of Kaloyan Slavov, who needed these factorizations in connection…

It is proved that the Jacobian of a k-endomorphism of k[x_1,...,x_n] over a field k of characteristic zero taking every tame coordinate to a coordinate, must be a nonzero constant in k. It is also proved that the Jacobian of an…

Vladimir Shpilrain and Jie-Tai Yu have asked for an effective algorithm to decide if two elements of C[x,y] are related by an automorphism of C[x,y]. We describe here an efficient algorithm that decides this question and finds the…