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

In this paper, we prove that: For any given finitely many distinct points $P_1,...,P_r$ and a closed subvariety $S$ of codimension $\geq 2$ in a complete toric variety over a uncountable (characteristic 0) algebraically closed field, there…

For each odd prime $p$, we prove the existence of infinitely many real quadratic fields which are $p$-rational. Explicit imaginary and real bi-quadratic $p$-rational fields are also given for each prime $p$. Using a recent method developed…

For a prime $p$ and a polynomial $F(X,Y)$ over a finite field $\mathbb{F}_p$ of $p$ elements, we give upper bounds on the number of solutions $$ F(x,y)=0, \quad x\in\mathcal{A}, \ y\in \mathcal{B}, $$ where $\mathcal{A}$ and $\mathcal{B}$…

These are the substantially expanded notes of the lectures of JK at the summer school "Higher-Dimensional Geometry over Finite Fields" in G\"ottingen, June 2007. The first part gives an overview of the methods. The main new result is the…

In 2016, in the work related to Galois representations, Greenberg conjectured the existence of multi-quadratic $p$-rational number fields of degree $2^{t}$ for any odd prime number $p$ and any integer $t \geq 1$. Using the criteria provided…

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Let $S \subset \P^n$ be a smooth quartic hypersurface defined over a number field $K$. If $n \ge 4$, then for some finite extension $K'$ of $K$ the set $S(K')$ of $K'$-rational points of $S$ is Zariski dense.

For any field k of characteristic at most 5 we exhibit an explicit smooth quartic surface in projective threespace over k with trivial automorphism group over the algebraic closure of k. We also show how this can be extended to higher…

Let $C\subset{\mathbb P}_K^2$ be an algebraic curve over a number field $K$, and denote by $d_K$ the degree of $K$ over ${\mathbb Q}$. We prove that the number of $K$-rational points of height at most $H$ in $C$ is bounded by $c…

We exhibit a smooth complex rational affine surface with uncountably many nonisomorphic real forms.

We consider the Zariski space of all places of an algebraic function field $F|K$ of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime…

Ulam asked in 1945 if there is an everywhere dense \emph{rational set}, i.e. a point set in the plane with all its pairwise distances rational. Erd\H os conjectured that if a set $S$ has a dense rational subset, then $S$ should be very…

We prove that the group of rational points of a non-isotrivial elliptic curve defined over the perfect closure of a function field in one variable over a finite field is finiteley generated.

Fix a non-negative integer g and a positive integer I dividing 2g-2. For any Henselian, discretely valued field K whose residue field is perfect and admits a degree I cyclic extension, we construct a curve C over K of genus g and index I.…

We show that any rational cubic hypersurface of dimension at least 33 defined over a number field $K$ vanishes on a $K$-rational projective line, reducing the previous lower bound of Wooley by two. For $K=\mathbb Q$ we can reduce the bound…

Let C be a smooth cubic curve in the complex projective plane. We show that for every positive integer k, there are only finite number of rational curves of degree k each intersects the cubic C at exactly one point. The number of such…

Suppose that $K$ is an infinite field which is large (in the sense of Pop) and whose first order theory is simple. We show that $K$ is {\em bounded}, namely has only finitely many separable extensions of any given finite degree. We also…

Let X be a geometrically rational (or more generally, separably rationally connected) variety over a finite field K. We prove that if K is large enough then X contains many rational curves defined over K. As a consequence we prove that…

The purpose of this note is to provide some applications of Faltings' recent proof of S. Lang's conjecture to smooth plane curves. Let $C$ be a smooth plane curve defined by an equation of degree $d$ with integral coefficients. We show that…

We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…