Related papers: Quantitative properties of the non-properness set …

Let $f:\mathbb{K}^n\rightarrow\mathbb{K}^m$ be a generically finite polynomial map of degree $d$ between affine spaces. In arXiv:1411.5011 we proved that if $\mathbb{K}$ is the field of complex or real numbers, then the set $S_f$ of points…

Let $F:\Bbb C^n\to\Bbb C^n$ be a polynomial mapping with a non vanishing Jacobian. If the set $S_F$ of non-properness of $F$ is smooth, then $F$ is a surjective mapping. Moreover, the set $S_F$ can not be connected (this is the…

We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture,…

Let $\K=\C$, or $\R$, and $S_f$ be the set of points in $\K^n$ at which a polynomial map $f:\K^n\rightarrow\K^n$ is non-proper. Jelonek proved that $S_f$ is a semi-algebraic set that is ruled by polynomial curves, with $\dim S_f\leq n-1$,…

This paper develops our previous work on properness of a class of maps related to the Jacobian conjecture. The paper has two main parts: - In part 1, we explore properties of the set of non-proper values $S_f$ (as introduced by Z. Jelonek)…

We study the postcritically-finite (PCF) maps in the moduli space of complex polynomials $\mathrm{MP}_d$. For a certain class of rational curves $C$ in $\mathrm{MP}_d$, we characterize the condition that $C$ contains infinitely many PCF…

In this article we analyze the global diffeomorphism property of polynomial maps $F:\mathbb{R}^n\rightarrow\mathbb{R}^n$ by studying the properties of the Newton polytopes at infinity corresponding to the sum of squares polynomials…

We generalize Siegel's theorem on integral points on affine curves to integral points of bounded degree, giving a complete characterization of affine curves with infinitely many integral points of degree d or less over some number field.…

In this work we prove that the set of points at infinity $S_\infty:={\rm Cl}_{{\mathbb R}{\mathbb P}^m}(S)\cap\mathsf{H}_\infty$ of a semialgebraic set $S\subset{\mathbb R}^m$ which is the image of a polynomial map $f:{\mathbb…

We introduce novel mathematical and computational tools to develop a complete algorithm for computing the set of non-properness of polynomials maps in the plane. In particular, this set, which we call \emph{the Jelonek set}, is a subset of…

The non-proper value set of a nonsingular polynomial map from $\C^2$ into itself, if non-empty, must be a curve with one point at infinity.

We produce a new family of polynomials f(x) over fields K of characteristic 2 which are exceptional, in the sense that f(x)-f(y) has no absolutely irreducible factors in K[x,y] besides the scalar multiples of x-y; when K is finite, this…

We consider a generic family of polynomial maps $f:=(f_1,f_2):\mathbb{C}^2\rightarrow\mathbb{C}^2$ with given supports of polynomials, and degree $ d(f):=\max (deg f_1, deg f_2)$. We show that the (non-) properness of maps $f$ in this…

A real morphism $f$ from a real algebraic curve $X$ to $\mathbb{P}^1$ is called separating if $f^{-1}(\mathbb{R} \mathbb{P}^1) = \mathbb{R} X$. A separating morphism defines a covering $\mathbb{R} X \to \mathbb{R} \mathbb{P}^1$. Let $X_1,…

The main goal of this thesis is to study $\mathbb{K}$-uniruled sets that appear in affine geometry. At the beginning we discuss the property of $\mathbb{K}$-uniruledness and its equivalent conditions. Then we bound from above the degree of…

Let K be an algebraically closed field of characteristic zero. We say that a polynomial automorphism f : K^n -> K^n is special if the Jacobian of f is equal to 1. We show that every (n - 1)-dimensional component H of the set Fix(f) of fixed…

We consider polynomial maps, which we call degree $d$-linear maps, that satisfy the Jacobian condition. We prove that certain infinite families of elements, which appear in the coefficients of the formal inverse of such maps, are in the…

Let $\Sigma(f)$ be critical points of a polynomial $f \in \mathbb{K}[x,y]$ in the plane $\mathbb{K}^2$, where $\mathbb{K}$ is $\mathbb{R}$ or $\mathbb{C}$. Our goal is to study the critical point map $\mathfrak{S}_d$, by sending polynomials…

Let $(S,L)$ be a polarized K3 surface with $\mathrm{Pic}(S) = \mathbb{Z}[L]$ and $L\cdot L=2g-2$, let $C$ be a nonsingular curve of genus $g-1$ and let $f:C\to S$ be such that $f(C) \in \vert L \vert$. We prove that the Gaussian map…

For a genus $2$ curve $C$ over $\mathbb{Q}$ whose Jacobian $A$ admits only trivial geometric endomorphisms, Serre's open image theorem for abelian surfaces asserts that there are only finitely many primes $\ell$ for which the Galois action…