English

Rational configuration problems and a family of curves

Number Theory 2023-12-11 v2

Abstract

Given η=(abcd)GL2(Q)\eta=\begin{pmatrix} a&b\\c&d \end{pmatrix}\in \text{GL}_2(\mathbb{Q}), we consider the number of rational points on the genus one curve Hη:y2=(a(1x2)+b(2x))2+(c(1x2)+d(2x))2.H_\eta:y^2=(a(1-x^2)+b(2x))^2+(c(1-x^2)+d(2x))^2. We prove that the set of η\eta for which Hη(Q)H_\eta(\mathbb{Q})\neq\emptyset has density zero, and that if a rational point (x0,y0)Hη(Q)(x_0,y_0)\in H_\eta(\mathbb{Q}) exists, then Hη(Q)H_\eta(\mathbb{Q}) is infinite unless a certain explicit polynomial in a,b,c,d,x0,y0a,b,c,d,x_0,y_0 vanishes. Curves of the form HηH_\eta naturally occur in the study of configurations of points in Rn\mathbb{R}^n with rational distances between them. As one example demonstrating this framework, we prove that if a line through the origin in R2\mathbb{R}^2 passes through a rational point on the unit circle, then it contains a dense set of points PP such that the distances from PP to each of the three points (0,0)(0,0), (0,1)(0,1), and (1,1)(1,1) are all rational. We also prove some results regarding whether a rational number can be expressed as a sum or product of slopes of rational right triangles.

Keywords

Cite

@article{arxiv.2310.02534,
  title  = {Rational configuration problems and a family of curves},
  author = {Jonathan R. Love},
  journal= {arXiv preprint arXiv:2310.02534},
  year   = {2023}
}

Comments

Theorem 1.1 strengthened and proof simplified compared to previous version, thanks to a suggestion from Sun-Kai Leung. 25 pages, 1 table