Related papers: Images of polynomial maps on large fields

A subfield $K$ of $\bar{\mathbb{Q}}$ is $large$ if every smooth curve $C$ over $K$ with a rational point has infinitely many rational points. A subfield $K$ of $\bar{\mathbb{Q}}$ is $big$ if for every positive integer $n$, $K$ contains a…

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…

A singular curve over a non-perfect field K may not have a smooth model over K. Those are said to "change genus". If K is a global field of positive characteristic and C/K a curve that change genus, then C(K) is known to be finite. The…

Pop proved that a smooth curve C over an ample field K that has a K-rational point has |K| many K-rational points. We strengthen this result by showing that there are |K| many K-rational points that do not lie in a given proper subfield,…

Let k be a finite field with characteristic exceeding 3. We prove that the space of rational curves of fixed degree on any smooth cubic hypersurface over k with dimension at least 11 is irreducible and of the expected dimension.

For a polynomial map $\mathbf{f} : k^n \to k^m$ ($k$ a field), we investigate those polynomials $g \in k[t_1,\ldots, t_n]$ that can be written as a composition $g = h \circ \mathbf{f}$, where $h: k^m \to k$ is an arbitrary function. In the…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

Let K be an algebraically closed field of characteristic zero. Given a polynomial f(x,y) in K[x,y] with one place at infinity, we prove that either f is equivalent to a coordinate, or the family (f+c) has at most two rational elements. When…

Let P(x,y) be a rational polynomial and k in Q be a generic value. If the curve (P(x,y)=k) is irreducible and admits an infinite number of points whose coordinates are integers then there exist algebraic automorphisms that send P(x,y) to…

We describe algebraic curves $ X : F(x, y) = 0 $ defined over $\overline{\mathbb{Q}}$ that satisfy the following property: there exist a number field $k$ and an infinite set $S \subset k$ such that, for every $y \in S$, the roots of the…

Let $R$ be an affine domain of characteristic zero with finite quotients. We prove that a polynomial map over $R$ is surjective if and only if it is surjective over $\hat{R_{\mathfrak{m}}}$, the completion of $R$ with respect to…

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…

We give a construction of singular curves with many rational points over finite fields. This construction enables us to prove some results on the maximum number of rational points on an absolutely irreducible projective algebraic curve…

Let K be a field and let L/K be a finite extension. Let X/K be a scheme of finite type. A point of X(L) is said to be new if it does not belong to the union of X(F), when F runs over all proper subextensions of L. Fix now an integer g>0 and…

For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…

Let $K=k(C)$ be the function field of a smooth projective curve $C$ over an infinite field $k$, let $X$ be a projective variety over $k$. We prove two results. First, we show with some conditions that a $K$-morphism $\phi: X_K \to X_K$ of…

A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the…

A field $K$ is called ample if for every geometrically integral $K$-variety $V$ with a smooth $K$-point, $V(K)$ is Zariski-dense in $V$. A field $K$ is virtually ample if some finite extension of $K$ is ample. We prove that there exists a…

We give examples of sequences of smooth non-isotrivial curves for every genus at least two, defined over a rational function field of positive characteristic, such that the (finite) number of rational points of the curves in the sequence…

In characteristic $p>0$ and for $q$ a power of $p$, we compute the number of nonplanar rational curves of arbitrary degrees on a smooth Hermitian surface of degree $q+1$ under the assumption that the curves have a parametrization given by…