Related papers: The plane Jacobian conjecture for rational curves

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 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…

Let f_1,...,f_r be homogeneous polynomials in K[x_1,...,x_n], K a field. Put F=y_1f_1+...+y_rf_r in K[x,y] and let I be the ideal of K[x,y] generated by the partials of F relative to the x_i and y_j. The Jacobian ring of F is the quotient…

For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…

A smooth complex variety satisfies the Generalized Jacobian Conjecture if all its \'etale endomorphisms are proper. We study the conjecture for $\mathbb{Q}$-acyclic surfaces of negative Kodaira dimension. We show that $G$-equivariant…

We investigate the problem of deciding whether the restriction of a rational function $r\in\mathbb{K}(x,y)$ to the curve associated with an irreducible polynomial $p\in\mathbb{K}[x,y]$ is the restriction of an element of…

We show that if $f$ is a nonzero, noninvertible function on a smooth complex variety $X$ and $J_f$ is the Jacobian ideal of $f$, then ${\rm lct}(f,J_f^2)>1$ if and only if the hypersurface defined by $f$ has rational singularities.…

Let K be a field of characteristic zero, f(x) be a polynomial with coefficients in K and without multiple roots. We consider the superelliptic curve C_{f,q} defined by y^q=f(x), where q=p^r is a power of a prime p. We determine the Hodge…

We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More…

Let $f: \mathbb{C}[x,y] \to \mathbb{C}[x,y]$ be a $\mathbb{C}$-algebra endomorphism having an invertible Jacobian. We show that for such $f$, if, in addition, the group of invertible elements of $\mathbb{C}[f(x),f(y),x][1/v] \subset…

We prove that every polynomial map $(f,g):\mathbb{R}^2\to\mathbb{R}^2$ with nowhere vanishing Jacobian such that $\mathrm{deg}\, f\leq 5$, $\mathrm{deg}\,g \leq 6$ is injective.

We give necessary and sufficient conditions, in the form of matrix identities, for a polynomial f in C[X,Y] to be a component of a polynomial automorphism of C^2 and to be a component of a Keller polynomial mapping of C^2, respectively…

We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical…

The famous Jacobian conjecture asks if an endomorphism $f$ of $K[x,y]$ ($K$ is a characteristic zero field) having a non-zero scalar Jacobian is invertible. Let $\alpha$ be the exchange involution on $K[x,y]$: $\alpha(x)= y$ and $\alpha(y)=…

The two-dimensional Jacobian Conjecture says that a $\mathbb{C}$-algebra endomorphism $F:\mathbb{C}[x,y] \to \mathbb{C}[x,y]$ that has an invertible Jacobian is an automorphism. We show that if a $\mathbb{C}$-algebra endomorphism…

Our goal is to settle the following faded problem: The Jacobian Conjecture (JC_n): If f_1,..,f_n are elements in a polynomial ring k[X_1,..,X_n] over a field k of characteristic 0 such that det(\partial f_i/ \partial X_j) is a nonzero…

Let k be a field and f be a Siegel modular form of weight h \geq 0 and genus g>1 over k. Using f, we define an invariant of the k-isomorphism class of a principally polarized abelian variety (A,a)/k of dimension g. Moreover when (A,a) is…

It is shown that a polynomial map $(P,Q)\in \mathbb{Q}[x,y]^2$ with $P_xQ_y-P_yQ_x \equiv 1$ has an inverse map in $\mathbb{Q}[x,y]^2$ if the fiber $P=0$ contains an infinite subset of $ d^{-1}\mathbb{Z}^2$ for an integer $d$.

Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…

This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous singularities. It also sheds new light on some previous characterizations of free and…