We show that an earlier conjecture of the author, on diophantine approximation of rational points on varieties, implies the ``abc conjecture'' of Masser and Oesterl'e. In fact, a weak form of the former conjecture is sufficient, involving an extra hypothesis that the variety and divisor admit a faithful group action of a certain type. Analogues of this weaker conjecture are proved in the split function field case of characteristic zero, and in the case of holomorphic curves (Nevanlinna theory).
The proof of the latter involves a geometric generalization of the classical lemma on the logarithmic derivative, due to McQuillan. This lemma may be of independent interest.
We prove that the Diophantine equation (a^2 c x^k - 1)(b^2 c y^k - 1) = (abc z^k - 1)^2 has no solutions in positive integers with x, y, z > 1, k \geq 7 and a^2x^k \neq b^2y^k.
A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple. In this paper, we prove that there exist infinitely many rational Diophantine sextuples.
Most, if not all, unconditional results towards the abc-conjecture rely ultimately on classical Baker's method. In this article, we turn our attention to its elliptic analogue. Using the elliptic Baker's method, we have recently obtained a new upper bound for the height of the S-integral points on an elliptic curve. This bound depends on some parameters related to the Mordell-Weil group of the curve. We deduce here a bound relying on the conjecture of Birch and Swinnerton-Dyer, involving classical, more manageable quantities. We then study which abc-type inequality over number fields could be …
A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple, and in 2016 Dujella, Kazalicki, Mikić and Szikszai proved that there are infinitely many of them. In this paper, we prove that there exist infinitely many rational Diophantine sextuples such that the denominators of all the elements in …
A set of $m$ distinct nonzero rationals $\{a_1,a_2,\ldots,a_m\}$ such that $a_ia_j+1$ is a perfect square for all $1\leq i<j\leq m$, is called a rational Diophantine $m$-tuple. It is proved recently that there are infinitely many rational Diophantine sextuples. In this paper, we construct infinite families of rational Diophantine sextuples with special structure, namely the sextuples containing quadruples and quintuples of certain type.
In this short note we confirm the relation between the generalized $abc$-conjecture and the $p$-rationality of number fields. Namely, we prove that given K$/\mathbb{Q}$ a real quadratic extension or an imaginary $S_3$-extension, if the generalized $abc$-conjecture holds in K, then there exist at least $c\,\log X$ prime numbers $p \leq X$ for which K is $p$-rational, here $c$ is some nonzero constant depending on K. The real quadratic case was recently suggested by Böckle-Guiraud-Kalyanswamy-Khare.
We give a complete characterization for the rational torsion of an elliptic curve in terms of the (non-)existence of integral solutions of a system of diophantine equations.
This note formulates a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author's diophantine conjecture for algebraic points of bounded degree. It also shows that the new conjecture is implied by the earlier conjecture. As with most of the author's conjectures, this new conjecture stems from analogies with Nevanlinna theory; in this case it corresponds to a Second Main Theorem in Nevanlinna theory with truncated counting functions. The original abc conjecture of Masser and Oesterlé corresponds to the Second Main Theorem with truncated counting functions on P^1 for the…
Rational Diophantine triples, i.e. rationals a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares, are often used in construction of elliptic curves with high rank. In this paper, we consider the opposite problem and ask how small can be the rank of elliptic curves induced by rational Diophantine triples. It is easy to find rational Diophantine triples with elements with mixed signs which induce elliptic curves with rank 0. However, the problem of finding such examples of rational Diophantine triples with positive elements is much more challenging, and we will provide the first su…
In this short note we show that the uniform abc-conjecture over number fields puts strong restrictions on the coordinates of rational points on elliptic curves. For the proof we use a variant of the uniform abc-conjecture over number fields formulated by Mochizuki. As an application, we generalize a result of Silverman on elliptic non-Wieferich primes.
We give conditions on the rational numbers a,b,c which imply that there are infinitely many triples (x,y,z) of rational numbers such that x+y+z=a+b+c and xyz=abc. We do the same for the equations x+y+z=a+b+c and x^3+y^3+z^3=a^3+b^3+c^3. These results rely on exhibiting families of positive-rank elliptic curves.
A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple, and Dujella, Kazalicki, Mikic and Szikszai recently proved that there exist infinitely many rational Diophantine sextuples. In this paper, generalizing the work of Piezas, we describe a method for generating new parametric formulas for …
A rational Diophantine triple is a set of three nonzero rational a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares. We say that the elliptic curve y^2 = (ax+1)(bx+1)(cx+1) is induced by the triple {a,b,c}. In this paper, we describe a new method for construction of elliptic curves over Q with reasonably high rank based on a parametrization of rational Diophantine triples. In particular, we construct an elliptic curve induced by a rational Diophantine triple with rank equal to 12, and an infinite family of such curves with rank >= 7, which are both the current records for that k…
We show that for infinitely many square-free integers q there exist infinitely many triples of rational numbers {a, b, c} such that a^2 + q, b^2 + q, c^2 + q, ab + q, ac + q and bc + q are squares of rational numbers.
A famous problem posed by Diophantus was to find sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Some sets of six such numbers are presented and the computational algorithm used to find them is described. A classification of quadruples and quintuples with examples and statistics is also given.
In this paper, we consider elliptic curves induced by rational Diophantine quadruples, i.e. sets of four nonzero rationals such that the product of any two of them plus 1 is a perfect square. We show that for each of the groups $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/k\mathbb{Z}$ for $k = 2, 4, 6, 8$, there are infinitely many rational Diophantine quadruples with the property that the induced elliptic curve has this torsion group. We also construct curves with moderately large rank in each of these four cases.
In this paper, we establish asymptotic formulae with optimal errors for the number of rational points that are close to a planar curve, which unify and extend the results of Beresnevich-Dickinson-Velani and Vaughan-Velani. Furthermore, we complete the Lebesgue theory of Diophantine approximation on weakly non-degenerate planar curves that was initially developed by Beresnevich-Zorin in the divergence case.
In this paper we develop the convergence theory of simultaneous, inhomogeneous Diophantine approximation on manifolds. A consequence of our main result is that if the manifold $M \subset \mathbb{R}^n$ is of dimension strictly greater than $(n+1)/2$ and satisfies a natural non-degeneracy condition, then $M$ is of Khintchine type for convergence. The key lies in obtaining essentially the best possible upper bound regarding the distribution of rational points near manifolds.
We study the ``imaginary" binary quadratic form equations ax^2+bxy+cy^2+g=0 over k[t] in rational function fields, showing that a condition with respect to the Artin reciprocity map, is the only obstruction to the local-global principle for integral solutions of the equation.
A triangle with rational sides and rational area is called a rational triangle. In this paper we consider three problems of finding pairs of rational triangles which have a common circumradius as well as either a common perimeter or a common inradius or a common area. While several similar problems concerning pairs of rational triangles have been considered in the existing literature, these three problems have not been studied till now. For each of these problems, we give a parametric solution and we also indicate how additional parametric solutions of these problems may be obtained.
Quartic Rational Diophantine Quadruples and the Euler Surface
University of Zagreb, Faculty of Civil Engineering（萨格勒布大学土木工程学院）；University of Zagreb, Faculty of Science（萨格勒布大学理学院）；University of Zagreb Faculty of Electrical Engineering and Computing（萨格勒布大学电气工程和计算学院）
In this paper we consider Diophantine equation x4 + y4 = z4 + w4 (1)We construct some family of cubic curves.We prove that every rational point on Quar- tica x4 + y4 = z4 + w4 can be mapped to a point on some curve of this family. We also prove the opposite: each rational point belonging to our family of curves can be mapped to a rational point on the Quartica. (2) We find the point on our family of curves corresponding to a parametric solution of Leonard Euler. We construct several new parametric solutions of our Quartica, using a parametric solution of Leonard Euler and the algebraic operati…
In this paper we consider Diophantine equations of the form $f(x)=g(y)$ where $f$ has simple rational roots and $g$ has rational coefficients. We give strict conditions for the cases where the equation has infinitely many solutions in rationals with a bounded denominator. We give examples illustrating that the given conditions are necessary. It turns out that such equations with infinitely many solutions are strongly related to Prouhet-Tarry-Escott tuples. In the special, but important case when $g$ has only simple rational roots as well, we can give a simpler statement. Also we provide an app…
We show that Mazur's conjecture on the real topology of rational points on varieties implies that there is no diophantine model of the rational integers in the rational numbers. We also prove that there is a diophantine model of the polynomial ring over a finite field in the ring of rational functions over that finite field. Both proofs depend upon Matijasevich's theorem.
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. This generalises previous results for analytic non-degenerate curves. Furthermore, the main results are also proved in the inhomogeneous setting. Applications of the main theorem include the Khintchine-Jarník type theorem for divergence for arbitrary non-degenerate curve in $\mathbb{R}^n$.
A famous problem posed by Diophantus was to find sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Such Diophantine sets have been used to construct high rank elliptic curves. Here I demonstrate a link with Cayley's hyperdeterminants which provides a fruitful generalisation of Diophantine quadruples.
Many authors studied the problem that rational triangle pairs (triangle-parallelogram pairs) with the same area and the same perimeter. They investigated this problem by solving the rational solutions of the corresponding Diophantine equations. In this paper, we give a unified description of this problem by using the affine transformation in a rectangular coordinate system. According to the fact that two triangles with the same area and the same perimeter determine an affine transformation, this problem can be reduced to solving a specific Diophantine system. Moreover, we will give some ration…
The problem of finding all possible extensions of a given rational diophantine quadruple to a rational diophantine quintuple is equivalent to the determination of the set of rational points on a certain curve of genus 5 that can be written as an intersection of three diagonal quadrics in $\mathbb P^4$. We discuss how one can (try to) determine the set of rational points on such a curve. We apply our approach to the original question in several cases. In particular, we show that Fermat's diophantine quadruple (1,3,8,120) can be extended to a rational diophantine quintuple in only one way, namel…
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.
We investigate the problem of best simultaneous Diophantine approximation under a constraint on the denominator, as proposed by Jurkat. New lower estimates for optimal approximation constants are given in terms of critical determinants of suitable star bodies. Tools are results on simultaneous Diophantine approximation of rationals by rationals with smaller denominator. Finally, the approximation results are applied to the decomposition of integer vectors.
Duffin and Schaeffer have generalized the classical theorem of Khintchine in metric Diophantine approximation in the case of any error function under the assumption that all the rational approximants are irreducible. This result is extended to the case where the numerators and the denominators of the rational approximants are related by a congruential constraint stronger than coprimality.
We describe recent work connecting combinatorics and tropical/non-Archimedean geometry to Diophantine geometry, particularly the uniformity conjectures for rational points on curves and for torsion packets of curves. The method of Chabauty--Coleman lies at the heart of this connection, and we emphasize the clarification that tropical geometry affords throughout the theory of $p$-adic integration, especially to the comparison of analytic continuations of $p$-adic integrals and to the analysis of zeros of integrals on domains admitting monodromy.
This work is motivated by problems on simultaneous Diophantine approximation on manifolds, namely, establishing Khintchine and Jarnik type theorems for submanifolds of R^n. These problems have attracted a lot of interest since Kleinbock and Margulis proved a related conjecture of Alan Baker and V.G. Sprindzuk. They have been settled for planar curves but remain open in higher dimensions. In this paper, Khintchine and Jarnik type divergence theorems are established for arbitrary analytic non-degenerate manifolds regardless of their dimension. The key to establishing these results is the study o…
By the theory of elliptic curves, we study the nontrivial rational parametric solutions and rational solutions of the Diophantine equations $z^2=f(x)^2 \pm g(y)^2$ for some simple Laurent polynomials $f$ and $g$.
We compute the Hausdorff dimension of sets of very well approximable vectors on rational quadrics. We use ubiquitous systems and the geometry of locally symmetric spaces. As a byproduct we obtain the Hausdorff dimension of the set of rays with a fixed maximal singular direction, which move away into one end of a locally symmetric space at linear depth, infinitely many times.
By the theory of elliptic curves, we study the nontrivial rational parametric solutions and rational solutions of the Diophantine equations $z^2=f(x)^2 \pm f(y)^2$ for some simple Laurent polynomials $f$.
We find upper and lower bounds on the number of rational points that are $ψ$-approximations of some $n$-dimensional $p$-adic integer. Lattice point counting techniques are used to find the upper bound result, and a Pigeon-hole principle style argument is used to find the lower bound result. We use these results to find the Hausdorff dimension for the set of $p$-adic weighted simultaneously approximable points intersected with $p$-adic coordinate hyperplanes. For the lower bound result we show that the set of rational points that $τ$-approximate a $p$-adic integer form a set of resonant points …
This note imparts heuristic arguments and theorectical evidences that contradict the abc conjecture over the rational numbers. In addition, the rudimentary datails for transforming this problem into the doimain of equidistribution theory are provided.
In this article, we establish an analogue of the dimension growth conjecture, which is regarding the density of rational points on projective varieties, for compact submanifolds of $\mathbb{R}^n$ with non-vanishing curvature. We also establish the convergence theory for the set of simultaneously $ψ$-approximable points lying on a generic hypersurface, thereby settling the generalized Baker-Schmidt problem in the simultaneous setting for generic hypersurfaces. These results are obtained as consequences of an optimal upper bound for the density of rational points near manifolds of the form $\{ (…
We first recall the connection, going back to A. Thue, between rational approximation to algebraic numbers and integer solutions of some Diophantine equations. Next we recall the equivalence between several finiteness results on various Diophantine equations. We also give many equivalent statements of Mahler's generalization of the fundamental theorem of Thue. In particular, we show that the theorem of Thue--Mahler for degree $3$ implies the theorem of Thue--Mahler for arbitrary degree $\ge3$, and we relate it with a theorem of Siegel on the rational integral points of the projective line $¶^1…
We consider the problem of Diophantine approximation on semisimple algebraic groups by rational points with restricted numerators and denominators and establish a quantitative approximation result for all real points in the group by rational points with any prescribed denominator and an almost prime numerator.
The height of a rational number $p/q$ is denoted by $h(p/q)$ and equals $\text{max}(|p|,|q|)$ provided p/q is written in lowest terms. The height of a rational tuple $(x_1,...,x_n)$ is denoted by $h(x_1,...,x_n)$ and equals $\text{max}(h(x_1),...,h(x_n))$. Let $G_n={x_i+1=x_k: i,k \in {1,...,n}} \cup {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}$. Let $f(1)=1$, and let $f(n+1)=2^{(2^{(f(n))})}$ for every positive integer n. We conjecture: (1) if a system $S \subseteq G_n$ has only finitely many solutions in rationals $x_1,...,x_n$, then each such solution $(x_1,...,x_n)$ satisfies $h(x_1,...,x_n) \…
In this paper, we consider the intrinsic Diophantine approximation on the triadic Cantor set $\mathcal{K}$, i.e. approximating the points in $\mathcal{K}$ by rational numbers inside $\mathcal{K}$, a question posed by K. Mahler. By using another height function of a rational number in $\mathcal{K}$, i.e. the denominator obtained from its periodic 3-adic expansion, a complete metric theory for this variant intrinsic Diophantine approximation is presented which yields the divergence theory of Mahler's original question.
One of Legendre's theorems on the Diophantine equation $ax^2+by^2+cz^2=0$ provides necessary and sufficient conditions on the existence of nonzero rational solutions of this equation, which helps determine the existence of rational points on a conic. In this paper, we provide a new proof of this famous theorem using Hasse invariant and Jacobi symbol from the theory of quadratic forms.
We evaluate the mean square limit of exponential sums related with a rational ellipsoid, extending a work of Marklof. Moreover, as a result of it, we study the asymptotic values of the normalized deviations of the number of lattice points inside a rational ellipsoid and inside a rational thin ellipsoidal shell.
Let $\cal C$ be a non--degenerate planar curve and for a real, positive decreasing function $ψ$ let $\cal C(ψ)$ denote the set of simultaneously $ψ$--approximable points lying on $\cal C$. We show that $\cal C$ is of Khintchine type for divergence; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on $\cal C$ of $\cal C(ψ)$ is full. We also obtain the Hausdorff measure analogue of the divergent Khintchine type result. In the case that $\cal C$ is a rational quadric the convergence counterparts of the divergent results are also obtained. Furthermore, for functions $ψ$ wit…
Let $C$ be a smooth genus one curve described by a quartic polynomial equation over the rational field $\mathbb Q$ with $P\in C(\mathbb Q)$. We give an explicit criterion for the divisibility-by-$2$ of a rational point on the elliptic curve $(C,P)$. This provides an analogue to the classical criterion of the divisibility-by-$2$ on elliptic curves described by Weierstrass equations. We employ this criterion to investigate the question of extending a rational $D(q)$-quadruple to a quintuple. We give concrete examples to which we can give an affirmative answer. One of these results implies that a…
Let $A,B,C,D$ be rational numbers such that $ABC \neq 0$, and let $n_1>n_2>n_3>0$ be positive integers. We solve the equation $$ Ax^{n_1}+Bx^{n_2}+Cx^{n_3}+D = f(g(x)),$$ in $f,g \in \mathbb{Q}[x]$. In sequel we use Bilu-Tichy method to prove finitness of integral solutions of the equations $$ Ax^{n_1}+Bx^{n_2}+Cx^{n_3}+D = Ey^{m_1}+Fy^{m_2}+Gy^{m_3}+H, $$ where $A,B,C,D,E,F,G,H$ are rational numbers $ABCEFG \neq 0$ and $n_1>n_2>n_3>0$, $m_1>m_2>m_3>0$, $\gcd(n_1,n_2,n_3) = \gcd(m_1,m_2,m_3)=1$ and $n_1,m_1 \geq 9$. And the equation $$ A_1x^{n_1}+A_2x^{n_2}+\ldots+A_l x^{n_l} + A_{l+1} = Ey^{m…
We show that Vojta's conjecture for some rational surfaces is related to the $abc$ conjecture. More specifically, we prove that Vojta's conjecture on these surfaces implies a special case of the $abc$ conjecture, while the $abc$ conjecture implies Vojta's conjecture on these surfaces. Moreover, for similar but different rational surfaces, we prove Vojta's conjecture unconditionally. To prove these results, we use some (possibly new) properties of Farey sequences.
We establish an explicit asymptotic formula for the number of rational solutions of intrinsic Diophantine inequalities on simply-connected simple algebraic groups, at arbitrarily small scales.
