Related papers: Subfields of ample fields I. Rational maps and def…

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…

A field $k$ is called large if every irreducible $k$-curve with a $k$-rational smooth point has infinitely many $k$-points. Let $k$ be a perfect large field and let $f \in k[x]$. Consider the evaluation map $f_k: k \to k$. Assume that $f_k$…

Let $L$ be a field of characteristic zero, let $h:\mathbb{P}^1\to \mathbb{P}^1$ be a rational map defined over $L$, and let $c\in \mathbb{P}^1(L)$. We show that there exists a finitely generated subfield $K$ of $L$ over which both $c$ and…

Let $T$ be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set $D \subseteq M$ has non-empty interior iff it is infinite. If $K$ is a definable field in $T$, then $K$ is finite or "large"…

A K3 surface over a number field has infinitely many rational points over a finite field extension. For K3 surfaces of degree 2, arising as double covers of $\mathbb{P}^2$ branched along a smooth sextic curve, we give a bound for the degree…

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

Yanchevski\u{i} had asked whether conic bundle surfaces over $\mathbf{P}^1_k$ are unirational when $k$ is a finite field. We give a partial answer to his question by showing that for quasi-finite fields $k$ (e.g. finite fields) a regular…

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.

If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…

We provide in this paper an upper bound for the number of rational points on a curve defined over a one variable function field over a finite field. The bound only depends on the curve and the field, but not on the Jacobian variety of 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…

Fix positive integers $n,r,d$. We show that if $n,r,d$ satisfy a suitable inequality, then any smooth hypersurface $X\subset \mathbb{P}^n$ defined over a finite field of characteristic $p$ sufficiently large contains a rational $r$-plane.…

Segre proved that a smooth cubic surface over Q is unirational iff it has a rational point. We prove that the result also holds for cubic hypersurfaces over any field, including finite fields.

We prove that a three-dimensional smooth complete intersection of two quadrics over a field k is k-rational if and only if it contains a line defined over k. To do so, we develop a theory of intermediate Jacobians for geometrically rational…

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, $a, b\in K$ and $ab\neq 0$. Let us consider the polynomials $g_{1}(x)=x^n+ax+b, g_{2}(x)=x^n+ax^2+bx$, where $n$ is a fixed positive integer. In this paper we show that for each $k\geq 2$ the hypersurface given by the…

We consider smooth projective curves C/$\mathbb{F}$ over a finite field and their symmetric squares $C^{(2)}$. For a global function field $K/\mathbb{F}$, we study the $K$-rational points of $C^{(2)}$. We describe the adelic points of…

Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…

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…

We show that, for every prime number p, there exist infinitely many K3 surfaces over Q whose rational points lie dense in the space of p-adic points. We also show that there exists a K3 surface over Q whose rational points lie dense in the…