In certain cases the invertibility of a polynomial map F = (P,Q): ℂ²→ ℂ² can be characterized by the irreducibility and the rationality of the curves aP+bQ = 0, (a:b) ∈ ℙ¹.

A non-zero constant Jacobian polynomial map F=(P,Q):ℂ² → ℂ² has a polynomial inverse if the component P is a simple polynomial, i.e. its regular extension to a morphism p:X → ℙ¹ in a compactification X of ℂ² has the following property: the restriction of p to each irreducible component C of the compactification divisor D = X-ℂ² is of degree 0 or 1.

It is shown that the invertible polynomial maps over a finite field Fq , if looked at as bijections Fn,q −→ Fn,q , give all possible bijections in the case q = 2, or q = p^r where p > 2. In the case q = 2^r where r > 1 it is shown that the tame subgroup of the invertible polynomial maps gives only the even bijections, i.e. only half the bijections. As a consequence it is shown that a set S ⊂ Fn,q can be a zero set of a coordinate if and only if #S = q^(n−1).

2010 Mathematics Subject Classification: 14L99, 14R10, 20B27.If F is a polynomial automorphism over a finite field Fq in dimension n, then it induces a permutation pqr(F) of (Fqr)n for every r О N*. We say that F can be “mimicked” by elements of a certain group of automorphisms G if there are gr О G such that pqr(gr) = pqr(F). Derksen’s theorem in characteristic zero states that the tame automorphisms in dimension n і 3 are generated by the affine maps and the one map (x1+x22, x2,ј, xn). We show...

In this paper we prove the Knop conjecture asserting that two smooth affine spherical varieties with the same weight monoid are equivariantly isomorphic. We also state and prove a uniqueness property for (not necessarily smooth) affine spherical varieties.

Let $k$ be a field of characteristic $p\>0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that all level $m$...

Soit $\phi :=(f,g):{ℂ}^2\to {ℂ}^2$ où $f$ et $g$ sont des applications polynomiales. Nous établissons le lien qui existe entre le polygone de Newton de la courbe réunion du discriminant et du lieu de non-propreté de $\phi$ et la topologie des entrelacs à l’infini des courbes affines $f^{-1}\left(0\right)$ et $g^{-1}\left(0\right)$. Nous en déduisons alors des conséquences liées à la conjecture du jacobien.

We give an overview of recent results concerning kernels of triangular derivations of polynomial rings. In particular, we examine the question of finite generation in dimensions 4, 5, 6, and 7.

We describe some recent developments concerning the Jacobian Conjecture (JC). First we describe Drużkowski’s result in [6] which asserts that it suffices to study the JC for Drużkowski mappings of the form $x+{\left(Ax\right)}^{*3}$ with A² = 0. Then we describe the authors’ result of [2] which asserts that it suffices to study the JC for so-called gradient mappings, i.e. mappings of the form x - ∇f, with $f\in k^{\left[n\right]}$ homogeneous of degree 4. Using this result we explain Zhao’s reformulation of the JC which asserts the following:...

Implementations of known reductions of the Strong Real Jacobian Conjecture (SRJC), to the case of an identity map plus cubic homogeneous or cubic linear terms, and to the case of gradient maps, are shown to preserve significant algebraic and geometric properties of the maps involved. That permits the separate formulation and reduction, though not so far the solution, of the SRJC for classes of nonsingular polynomial endomorphisms of real n-space that exclude the Pinchuk counterexamples to the SRJC,...

Existence of loops for non-injective regular analytic transformations of the real plane is shown. As an application, a criterion for injectivity of a regular analytic transformation of ${ℝ}^2$ in terms of the Jacobian and the first and second order partial derivatives is obtained. This criterion is new even in the special case of polynomial transformations.

Let $F=(f_1,...,f_q)$ be a polynomial dominating map from ${ℂ}^n$ to ${ℂ}^q$. We study the quotient ${𝒯}^1\left(F\right)$ of polynomial 1-forms that are exact along the generic fibres of $F$, by 1-forms of type $\mathrm{d}R+\sum a_i\mathrm{d}{f}_i$, where $R,a_1,...,a_q$ are polynomials. We prove that ${𝒯}^1\left(F\right)$ is always a torsion $ℂ[t_1,...,t_q]$-module. Then we determine under which conditions on $F$ we have ${𝒯}^1\left(F\right)=0$. As an application, we study the behaviour of a class of algebraic $({ℂ}^p,+)$-actions on ${ℂ}^n$, and determine in particular when these actions are trivial.

Let $k$ be a field of characteristic zero and $B$ a $k$-domain. Let $R$ be a retract of $B$ being the kernel of a locally nilpotent derivation of $B$. We show that if $B=R\oplus I$ for some principal ideal $I$ (in particular, if $B$ is a UFD), then $B=R^{\left[1\right]}$, i.e., $B$ is a polynomial algebra over $R$ in one variable. It is natural to ask that, if a retract $R$ of a $k$-UFD $B$ is the kernel of two commuting locally nilpotent derivations of $B$, then does it follow that $B\cong R^{\left[2\right]}$? We give a negative answer to this question. The interest in retracts comes...

An interesting and open question is the classification of affine algebraic plane curves. Abhyankar and Moh (1977) completely described the possible links at infinity for those curves where the link has just one component, a knot. Such curves are said to have one place at infinity. The Abhyankar-Moh result has been of great assistance in classifying those polynomials which define a connected curve with one place at infinity. This paper provides a new proof of the Abhyankar-Moh result which is then...

We show that the plane Jacobian conjecture is equivalent to finite generatedness of certain modules.

In the recent work [BE1], [Me], [Burgers] and [HNP], the well-known Jacobian conjecture ([BCW], [E]) has been reduced to a problem on HN (Hessian nilpotent) polynomials (the polynomials whose Hessian matrix is nilpotent) and their (deformed) inversion pairs. In this paper, we prove several results on HN polynomials, their (deformed) inversion pairs as well as on the associated symmetric polynomial or formal maps. We also propose some open problems for further study.