Related papers: Diophantine decidability for curves and Grothendie…

Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and…

Given a smooth projective curve $X$ of genus at least 2 over a number field $k$, Grothendieck's Section Conjecture predicts that the canonical projection from the \'etale fundamental group of $X$ onto the absolute Galois group of $k$ has a…

Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic…

Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a…

We consider all genus 2 curves over Q given by an equation y^2 = f(x) with f a squarefree polynomial of degree 5 or 6, with integral coefficients of absolute value at most 3. For each of these roughly 200000 isomorphism classes of curves,…

Let $K$ be a number field not containing a CM subfield. For any smooth projective curve $Y/K$ of genus $\geq2$, we prove that the image of the "Selmer" part of Grothendieck's section set inside the $K_v$-rational points $Y(K_v)$ is finite…

We present here quantitative versions in 1 dimension of Faltings'theorem according to which the set of the K-rational points (where K is a given number field) of an abelian variety A definied over K, which are close (with respect to a…

A central problem in Diophantine geometry is to uniformly bound the number of $K$-rational points on a smooth curve $X/K$ in terms of $K$ and its genus $g$. A recent paper by Stoll proved uniform bounds for the number of $K$-rational points…

Let k be a field of characteristic zero, V a smooth, positive-dimensional, quasiprojective variety over k, and D a nonempty effective divisor on V. Let K be the function field of V, and A the semilocal ring of D in K. In this paper, we…

For the moduli stack $\mathcal{M}_{g,n/\mathbb{F}_p}$ of smooth curves over $\text{Spec}~\mathbb{F}_p$ with the function field $K$, we show that if $g\geq3$, then the only $K$-rational points of the generic curve over $K$ are its $n$…

Let $X$ be a smooth projective algebraic variety over a number field $k$ and $P$ in $X(k)$. In 2007, the second author conjectured that, in a precise sense, if rational points on $X$ are dense enough, then the best rational approximations…

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the…

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 show that the Grothendieck period conjecture holds for the Kummer surface associated with the square of a CM elliptic curve. This means that the period isomorphism is dense in the torsor of motivic periods. In other words, the…

Grothendieck gave two forms of his "main conjecture of anabelian geometry", i.e. the section conjecture and the hom conjecture. He stated that these two forms are equivalent and that if they hold for hyperbolic curves then they hold for…

In this paper we develop a new explicit method to studying rational points near manifolds and obtain optimal lower bounds on the number of rational points of bounded height lying at a given distance from an arbitrary non-degenerate curve.…

We show that if $X$ is a projective hyperk\"ahler fourfold and there exists a nonzero effective divisor $D$ which is not of bi-elliptic type and contained in the boundary of the nef cone of $X$, then $X$ contains a rational curve. This is a…

In this paper, we present some partial results for the geometrically m-step solvable Grothendieck conjecture in anabelian geometry. Among other things, we prove the geometrically 3-step solvable Grothendieck conjecture for genus 0 curves…

In this short note, we will gives several remarks on rational points of varieties whose cotangent bundles are generated by global sections. For example, we will show that if the sheaf of differentials of a projective variety X over a number…

We present a conjecture in Diophantine geometry concerning the construction of line bundles over smooth projective varieties over $\bar{\mathbb Q}}$. This conjecture, closely related to the Grothendieck Period Conjecture for cycles of…