The strong Bombieri-Lang conjecture postulates that, for every variety $X$ of general type over a field $k$ finitely generated over $\mathbb{Q}$, there exists an open subset $U\subset X$ such that $U(K)$ is finite for every finitely generated extension $K/k$. The weak Bombieri-Lang conjecture postulates that, for every positive dimensional variety $X$ of general type over a field $k$ finitely generated over $\mathbb{Q}$, the rational points $X(k)$ are not dense. Furthermore, Lang conjectured that every variety of general type $X$ over a field of characteristic $0$ contains an open subset $U\subset X$ such that every subvariety of $U$ is of general type, this statement is usually called geometric Lang conjecture.
We reduce the strong Bombieri-Lang conjecture to the case $k=\mathbb{Q}$. Assuming the geometric Lang conjecture, we reduce the weak Bombieri-Lang conjecture to $k=\mathbb{Q}$, too.
A rational distance set in the plane is a point set which has the property that all pairwise distances between its points are rational. Erd\H os and Ulam conjectured in 1945 that there is no dense rational distance set in the plane. In this paper we associate an algebraic surface in $\mathbb{P}^3$, that we call a distance surface, to any finite rational distance set in the plane. Under a mild condition, we prove that a distance surface is always a surface of general type. From this, we deduce that the Bombieri-Lang conjecture in arithmetic algebraic geometry (restricted to the classes of surfa…
Assume that the section conjecture holds over number fields. We prove then that it holds for a broad class of curves defined over finitely generated extensions of $\mathbb{Q}$. This class contains every projective, hyperelliptic curve, every hyperbolic, affine curve of genus $\le 2$, and a non-empty open subset of any curve. If we furthermore assume the weak Bombieri-Lang conjecture, we prove that the section conjecture holds for every hyperbolic curve over every finitely generated extension of $\mathbb{Q}$.
Bombieri and Zannier gave an effective construction of algebraic numbers of small height inside the maximal Galois extension of the rationals which is totally split at a given finite set of prime numbers. They proved, in particular, an explicit upper bound for the lim inf of the height of elements in such fields. We generalize their result in an effective way to maximal Galois extensions of number fields with given local behaviour at finitely many places.
Faltings' theorem [Fal83],[Fal91] (formerly the Mordell conjecture [Mo22]) states that a curve of genus greater than one over any number field has only finitely many points. Again a natural question is how many points can such a curve have. Caporaso, Harris, and Mazur [CHM97] have shown that the weak Bombieri-Lang conjecture implies that for any number field $F$ and any integer $g \ge 2$ there is an absolute upper bound $B(F; g)$ on the number of points on a genus $g$ curve over $F$. Furthermore, the strong Bombieri-Lang conjecture implies that for each genus $g \ge 2$, there is an absolute bo…
For each number field k, the Bombieri-Lang conjecture for k-rational points on surfaces of general type implies the existence of a polynomial f(x,y) in k[x,y] inducing an injection k x k --> k.
We determine the structure of the intersection of a finitely generated subgroup of a semiabelian variety $G$ defined over a finite field with a closed subvariety $X\subset G$.
In this paper we show examples for applications of the Bombieri-Lang conjecture in additive combinatorics, giving bounds on the cardinality of sumsets of squares and higher powers of integers. Using similar methods we give bounds on the sum-product problem for matchings.
Let K be a finitely generated field over Q, and A an abelian variety over K. Let <, > : A(K^a) x A(K^a) --> R be an arithmetic height pairing on A, where K^a is the algebric closure of K. For x_1,..., x_l \in A(K^a), we denote det(<x_i, x_j>) by d(x_1,..., x_l). Let G be a subgroup of finite rank in A(K^a), and X a subvariety of A_{K^a}. Fix a basis {g_1,..., g_n} of G_Q. In this note, we prove a generalization of Poonen's theorem: If the set {x \in X(K^a) | d(g_1,..., g_n, x) <= e} is Zariski dense in X for every positive number e, then X is a translation of an abelian subvariety by an elemen…
In our previous paper, we established Northcott's theorem for height functions over finitely generated fields. Unfortunately, Northcott's theorem on finitely generated fields does not hold in general. Actually, it depends on the choice of a polarization. In this short note, we will propose a weaker condition of the polarization to guarantee Northcott's theorem. We will also show the generalization of conjectures of Bogomolov and Lang in under the weaker condition.
We give a new proof of the Mordell-Lang conjecture in positive characteristic for finitely generated subgroups. We also make some progress towards the full Mordell-Lang conjecture in positive characteristic.
In this paper, we introduce an algebro-geometric formulation for Siegel's theorem using an improvement of Lang's version of Roth's theorem over finitely generated fields of characteristic zero. In fact, we prove that, for an affine open curve in an irreducible smooth curve of genus at least one, any finitely generated subgroup of the additive group of the affine ambient space intersects the open curve in only finitely many points. This was proved only for finitely generated subgroups defined over a localization of the ring of integers of a number field by Mahler and others.
The Mordell-Lang conjecture describes the intersection of a finitely generated subgroup with a closed subvariety of a semiabelian variety. Equivalently, this conjecture describes the intersection of closed subvarieties with the set of images of the origin under a finitely generated semigroup of translations. We study the analogous question in which the translations are replaced by algebraic group endomorphisms (and the origin is replaced by another point). We show that the conclusion of the Mordell-Lang conjecture remains true in this setting if either (1) the semiabelian variety is simple, (2…
We formulate a conjecture for semiabelian varieties A over number fields that includes both the Mordell-Lang conjecture (now proven) and the Bogomolov conjecture. We prove the "Mordellic" (finitely generated) part of the conjecture when A is isogenous to the product of an abelian variety and a torus. The proof makes use of the Mordell-Lang conjecture, the Bogomolov conjecture, and an equidistribution theorem.
The generalized Mordell-Lang conjecture (GML) is the statement that the irreducible components of the Zariski closure of a subset of a group of finite rank inside a semi-abelian variety are translates of closed algebraic subgroups. M. McQuillan gave a proof of this statement. We revisit his proof, indicating some simplifications. This text contains a complete elementary proof of the fact that (GML) for groups of torsion points (= generalized Manin-Mumford conjecture), together with (GML) for finitely generated groups imply the full generalized Mordell-Lang conjecture.
We prove that various arithmetic quotients of the unit ball in $\mathbb{C}^n$ are Mordellic, in the sense that they have only finitely many rational points over any finitely generated field extension of $\mathbb{Q}$. In the previously known case of compact hyperbolic complex surfaces, we give a new proof using their Albanese in conjunction with some key results of Faltings, but without appealing to the Shafarevich conjecture. In higher dimension, our methods allow us to solve an alternative of Ullmo and Yafaev. Our strongest result uses in addition Rogawski's theory and establishes the Mordell…
We prove that there is a first-order sentence in the language of rings that is true for all finitely generated fields of characteristic 0 and false for all fields of characteristic >0. We also prove that for each n in N, there is a first-order formula psi_n(x_1,...,x_n) that when interpreted in a finitely generated field K is true for elements x_1,...,x_n in K if and only if the elements are algebraically dependent over the prime field in K.
Let K be an algebraically closed field of prime characteristic p, let N be a positive integer, let f be a self-map on the algebraic torus T=G_m^N defined over K, let V be a curve in T defined over K, and let x be a K-point of T. We show that the set S consisting of all positive integers n for which f^n(x) is contained in V is a union of finitely many arithmetic progressions, along with a finite set and with finitely many p-arithmetic sequences, which are sets of the form {b + ap^{kn}: n is a positive integer} where a and b are given rational numbers and k is a positive integer. We also prove t…
We prove that in positive characteristic, the Manin-Mumford conjecture implies the Mordell-Lang conjecture, in the situation where the ambient variety is an abelian variety defined over the function field of a smooth curve over a finite field and the relevant group is a finitely generated group. In particular, in the setting of the last sentence, we provide a proof of the Mordell-Lang conjecture, which does not depend on tools coming from model theory.
In this paper we show how some known weak forms of the Zilber--Pink conjecture can be strengthened by combining them with the Mordell--Lang conjecture or its variants. We illustrate this idea by proving some theorems on atypical intersections in the semiabelian and modular settings. Given a "finitely generated" set $Γ$ with a certain structure, we consider $Γ$-special subvarieties -- weakly special subvarieties containing a point of $Γ$ -- and show that every variety $V$ contains only finitely many maximal $Γ$-atypical subvarieties, i.e. atypical intersections of $V$ with $Γ$-special varieties…
Let K be an algebraically closed field of prime characteristic p, let X be a semiabelian variety defined over a finite subfield of K, let f be a regular self-map on X defined over K, let V be a subvariety of X defined over K, and let x be a K-point of X. The Dynamical Mordell-Lang Conjecture in characteristic p predicts that the set S consisting of all positive integers n for which f^n(x) lies on V is a union of finitely many arithmetic progressions, along with finitely many p-sets, which are sets consisting of all integers of the form c_1 p^{k_1 n_1} + ... + c_m p^{k_m n_m} (as we vary n_1,..…
We continue to develop the analytic Langlands program for curves over local fields initiated in arXiv:1908.09677, arXiv:2103.01509 following a suggestion of Langlands and a work of Teschner. Namely, we study the Hecke operators introduced in arXiv:2103.01509 in the case of P^1 over a local field with parabolic structures at finitely many points for the group PGL(2). We establish most of the conjectures of arXiv:1908.09677, arXiv:2103.01509 in this case.
Let $K$ be a finitely generated field of characteristic zero. We study, for fixed $m \geq 2$, the rational functions $ϕ$ defined over $K$ that have a $K$-orbit containing infinitely many distinct $m$th powers. For $m \geq 5$ we show the only such functions are those of the form $cx^j(ψ(x))^m$ with $ψ\in K(x)$, and for $m \leq 4$ we show the only additional cases are certain Lattès maps and four families of rational functions whose special properties appear not to have been studied before. With additional analysis, we show that the index set $\{n \geq 0 : ϕ^{n}(a) \in λ(\mathbb{P}^1(K))\}$ is a…
Let $Λ<SL(2,\mathbb{Z})$ be a finitely generated, non-elementary Fuchsian group of the second kind, and $v, w$ be two primitive vectors in $\mathbb{Z}^2-(0,0)$. We consider the set $\mathcal{S}=\{\langle {v}γ,{w}\rangle_{\mathbb{R}^2}:γ\inΛ\}$, where $\langle\cdot,\cdot\rangle_{\mathbb{R}^2}$ is the standard inner product in $\mathbb{R}^2$. Using Hardy-Littlewood circle method and some infinite co-volume lattice point counting techniques developed by Bourgain, Kontorovich and Sarnak, together with Gamburd's 5/6 spectral gap, we show that if $Λ$ has parabolic elements, and the critical exponent…
The classical notion of a k-automatic subset of the natural numbers is here extended to that of an F-automatic subset of an arbitrary finitely generated abelian group $Γ$ equipped with an arbitrary endomorphism F. This is applied to the isotrivial positive characteristic Mordell-Lang context where F is the Frobenius action on a commutative algebraic group G over a finite field, and $Γ$ is a finitely generated F-invariant subgroup of G. It is shown that the F-subsets of $Γ$ introduced by the second author and Scanlon are F-automatic. It follows that when G is semiabelian and X is a closed subva…
S. Lang conjectured in 1974 that a hyperbolic algebraic variety defined over a number field has only finitely many rational points, and its analogue over function fields. We discuss the Nevanlinna-Cartan theory over function fields of arbitrary dimension and apply it for Diophantine property of hyperbolic projective hypersurfaces (homogeneous Diophantine equations) constructed by Masuda-Noguchi. We also deal with the finiteness property of $S$-units points of those Diophantine equations over number fields.
