Skip to main content

Questions tagged [rational-points]

Filter by
Sorted by
Tagged with
175 votes
2 answers
66k views

Estimating the size of solutions of a diophantine equation

A. Is there natural numbers $a,b,c$ such that $\frac{a}{b+c} + \frac{b}{a+c} + \frac{c}{a+b}$ is equal to an odd natural number ? (I do not know any such numbers). B. Suppose that $\frac{a}{b+c} + \...
alex alexeq's user avatar
  • 1,881
22 votes
5 answers
7k views

Rational points on a sphere in $\mathbb{R}^d$

Call a point of $\mathbb{R}^d$ rational if all its $d$ coordinates are rational numbers. Q1. Are the rational points dense on the unit sphere $S :\; x_1^2 +\cdots+ x_d^2 = 1$, i.e. does $S$ ...
Joseph O'Rourke's user avatar
24 votes
3 answers
3k views

Integer-distance sets

Let $S$ be a set of points in $\mathbb{R}^d$; I am especially interested in $d=2$. Say that $S$ is an integer-distance set if every pair of points in $S$ is separated by an integer Euclidean distance. ...
Joseph O'Rourke's user avatar
7 votes
1 answer
454 views

One more generator needed for a Z/6 elliptic curve

I am trying to find the next rank 8 curve with the torsion subgroup Z/6 using Kihara's family as described in https://arxiv.org/pdf/1503.03667.pdf. Meanwhile, I came across a curve generated by $t=629/...
Maksym Voznyy's user avatar
20 votes
3 answers
2k views

what is the maximum number of rational points of a curve of genus 2 over the rationals

Conjecturally, there exists an integer $n$ such that the number of rational points of a genus $2$ curve over $\mathbf{Q}$ is at most $n$. (This follows from the Bombieri-Lang conjecture.) We are ...
Dirk's user avatar
  • 209
25 votes
3 answers
994 views

Does every convex polyhedron have a combinatorially isomorphic counterpart whose faces all have rational areas?

Does every convex polyhedron have a combinatorially isomorphic counterpart whose faces all have rational areas? Does every convex polyhedron have a combinatorially isomorphic counterpart whose edges ...
Liu Jin Tsai's user avatar
11 votes
2 answers
679 views

Z/8Z elliptic curve with a missing generator

We are searching for the rank $6$ elliptic curves with the torsion subgroup $\mathbb{Z}/8\mathbb{Z}$ using the families similar to Allan MacLeod's as described in A. J. MacLeod, A Simple Method for ...
Maksym Voznyy's user avatar
8 votes
1 answer
904 views

Hard: One more generator needed for a Z/6 elliptic curve

We are searching for rank 8 elliptic curves with the torsion subgroup $\mathbb{Z}/6$ using newly discovered families similar to Kihara's as described in A. Dujella, J.C. Peral, P. Tadić, Elliptic ...
Maksym Voznyy's user avatar
20 votes
5 answers
2k views

Rational solutions of the Fermat equation $X^n+Y^n+Z^n=1$

As a generalisation to the equation of Fermat, one can ask for rational solutions of $X^n+Y^n+Z^n=1$ (or almost equivalently integer solutions of $X^n+Y^n+Z^n=T^n$). Contrary to the case of Fermat, ...
Jérémy Blanc's user avatar
17 votes
1 answer
1k views

Totally rational polytopes

Define a convex polytope in $\mathbb{R}^d$ as totally rational (my terminology) if its vertex coordinates are rational, its edge lengths are rational, its two-dimensional face areas are rational, etc.,...
Joseph O'Rourke's user avatar
15 votes
3 answers
3k views

Rational Points on $y^2=x^3-86069^5$

The analytic rank of the Mordell elliptic curve $y^2=x^3-86069^5$ indicates that it has rank 2. However, deriving a set of generators, and hence the regulator, is proving to be a little bit of an ...
Kevin Acres's user avatar
14 votes
1 answer
1k views

Elliptic curves and connected components

Are there elliptic curves of positive rank with two real connected components in which all the rational points lie only on one component? Concrete examples are really appreciated.
user21956's user avatar
  • 345
12 votes
0 answers
350 views

Artin representations appearing in Mordell-Weil groups of elliptic curves

Let $E$ be an elliptic curve defined over $\mathbf{Q}$, and let $K$ be a Galois number field. The Galois group $G=\mathrm{Gal}(K/\mathbf{Q})$ acts on the Mordell-Weil group $E(K)$ and thus on the ...
François Brunault's user avatar
12 votes
1 answer
2k views

rational points of a hyperelliptic curve

I have the following hyperelliptic curve of genus $2$: $$ y^2 = 561 x^6 - 41904 x^5 + 627264 x^4 + 11860992 x^3 - 197074944 x^2 + 124416^2 $$ I need to find all the rational points on this curve. ...
Lorenz H Menke's user avatar
12 votes
0 answers
676 views

Kihara-like Z/6Z elliptic curve families

Shoichi Kihara constructed a family of elliptic curves with Mordell–Weil group $\mathbb{Z}/6\mathbb{Z}\times\mathbb{Z}^3$ (generic rank at least 3) in 2006. Kihara's family produces a number of rank 8 ...
Maksym Voznyy's user avatar
11 votes
1 answer
702 views

Schoenberg's rational polygon problem

"A polygon is said to be rational if all its sides and diagonals are rational, and I. J. Schoenberg has posed the difficult question, ‘Can any given polygon be approximated as closely as we like by a ...
Joseph O'Rourke's user avatar
10 votes
4 answers
1k views

Sums of cubes and more

It's well-known that every natural number can be written as a sum of 4 squares of integers. Has there been any recent progress about the similar problem for the cubes, 4-th powers and so on? I ...
Ilya Nikokoshev's user avatar
10 votes
1 answer
562 views

Are there infinitely many real multiplication fields of abelian surfaces over $\mathbb Q$?

Do there exist infinitely many real quadratic fields $F$ such that there is an abelian surface $A$ over $\mathbb Q$ whose ring of endomorphisms, tensored with $\mathbb Q$, is $F$? Do there exist ...
Will Sawin's user avatar
  • 149k
10 votes
3 answers
683 views

Circles avoiding rational points of height $\le h$

Q. Which origin-centered circles $C(r)$ (or spheres in dimension $d$) of radius $r < 1$ avoid all rational points of height $\le h$? A rational point is a point all of whose coordinates are ...
Joseph O'Rourke's user avatar
10 votes
4 answers
2k views

What is the smallest sphere whose surface includes 100 integer points?

Let $S(r)$ be the surface of the origin-centered sphere in $\mathbb{R}^3$. A point is an integer point if all its coordinates are integers. What is the smallest radius $r_n$ such that $S(r_n)$ ...
Joseph O'Rourke's user avatar
9 votes
2 answers
449 views

Rational points on circular spirals

Is it the case that every unit-radius circular spiral, $$x = \cos(t)$$ $$y = \sin(t)$$ $$z = c \cdot t$$ for $c \in \mathbb{R}^+$ is dense in rational-coordinate points (i.e., all three coordinates ...
Joseph O'Rourke's user avatar
8 votes
1 answer
535 views

Endomorphism algebras of abelian surfaces with real multiplication

Given an abelian variety $A$ over a field $F$, one may consider the ring of endomorphisms $End(A)$, the ring of $F$-rational maps $A \to A$ respecting the group structure on $A$. We may also consider ...
stankewicz's user avatar
  • 3,625
8 votes
2 answers
730 views

An elliptic curve for Ramanujan-type cubic identities?

Given the roots $x_i$ of the depressed cubic, $$x^3+px+q=0$$ with rational coefficients. It can be shown that, in general, one can find rational $u,v$ such that, $$(u-x_1)^{1/3}+ (u-x_2)^{1/3}+ (u-...
Tito Piezas III's user avatar
7 votes
1 answer
389 views

Why are some solutions of these diophantine equations off the usual patterns?

This is inspired by a recent question about complete multipartite integral graphs. I am wondering if more can be said about tripartite integral graphs with block sizes $a<b<c$. It is easy to see ...
Wolfgang's user avatar
  • 13.4k
7 votes
1 answer
508 views

What is the exact statement about uniform boundedness of rational points on curves of genus greater than one? Singular points can be unbounded

According to several sources, it is conjectured (or at least believed) that the rational points of curves over the rationals of genus $g > 1$ are uniformly bounded by $g$. E.g. here p. 1. Assuming ...
joro's user avatar
  • 25.4k
7 votes
0 answers
205 views

Lattice radial-step (ratchet) spirals

(30Oct13: Now solved; see Addendum.) Define a curve, a ratchet spiral, $S(r_0,\epsilon)$ as follows, where $r_0 > 0$ and $\epsilon < 1$.     $S(r_0,\epsilon)$ begins with the arc ...
Joseph O'Rourke's user avatar
7 votes
1 answer
568 views

Field extensions over which algebraic varieties cannot acquire points

The following fact (slightly reworded here) is proven in this answer: If $K$ is a purely transcendental extension of an infinite¹ field $k$, then whenever a separated scheme $X$ of finite type over $...
Gro-Tsen's user avatar
  • 32.5k
6 votes
2 answers
392 views

Solving for special rational triangles

I ran into a need for isosceles triangles that (1) have the two equal integer side lengths $a$ (but the base $x \in \mathbb{R}$), and (2) the apex angle $\gamma$ is a rational multiple of $\pi$. &...
Joseph O'Rourke's user avatar
4 votes
1 answer
423 views

A generator needed for a Z/6 elliptic curve

We are searching for rank $8$ elliptic curves with the torsion subgroup $\mathbb{Z}/6$ using newly discovered families similar to Kihara's as described in A. Dujella, J.C. Peral, P. Tadić, ...
Maksym Voznyy's user avatar
4 votes
1 answer
415 views

3-, 6-, 12-descent for Z2xZ6 elliptic curves

We are trying to write a snippet of Magma code to clarify the steps in the simplified procedure of applying $3$-, $6$-, $12$-descent and hopefully resolve the missing generator of the following $\...
Maksym Voznyy's user avatar
4 votes
2 answers
793 views

Pointless, non-singular, absolutely irreducible affine plane curves over finite fields

We think the following is true: For all sufficiently large primes $p$ and all natural $g \ge 1$, there exists affine plane curve $f(x,y)=0$ over $\mathbb{F}_p$ which is non-singular, absolutely ...
joro's user avatar
  • 25.4k
3 votes
2 answers
185 views

Lattice-point-free buffers around circles

Let $C(r)$ be the origin-centered circle of radius $r$, and let $\beta(r)$ be the exterior buffer around $C(r)$: the distance from $C(r)$ to the closest lattice point exterior to $C(r)$:   &...
Joseph O'Rourke's user avatar
2 votes
2 answers
2k views

Find all rational solutions of this diophantine-equation?

Now, today, my friend tell me this problem was posted by American Mathematical Monthly (Vol. 111, No. 2 Feb., 2004), p. 165 by Wu wei Chao ,and It is said that this problem is unsolved, until now. ...
math110's user avatar
  • 4,280
2 votes
1 answer
187 views

Is every sufficiently general monic quartic rational square infinitely often?

Let $f(x)=x^4+b_3 x^3+ b_2 x^2+b_1 x + b_0$. Let $g(x)=x^4 f(1/x)$. Let $C : g(x)=y^2$. $C$ is birationally equivalent to $f(x)=y^2$. The constant coefficient of $g(x)$ is $1$ since $f$ is monic and $(...
joro's user avatar
  • 25.4k
1 vote
0 answers
146 views

Can we find curves with many rational points using linear algebra?

Probably this is impossible, but let us try. Working over $\mathbb{Q}[x_1,...,x_n]$. Let $T_i$ be $n$ sets of rationals with cardinality $B$. Assume we are given $n-2$ linear equations $f_i$ which are ...
joro's user avatar
  • 25.4k
1 vote
0 answers
147 views

Properties of pointless projective curves over finite fields?

Probably not research level, feel free to downvote. We got construction of bounded degree projective curves with no points over finite fields. This construction generalizes to higher dimension. One of ...
joro's user avatar
  • 25.4k
-1 votes
1 answer
315 views

Bounds for the number of points on projective hyperelliptic curves over finite fields

Let $C$ be projective hyperelliptic curve over finite field $K$. What are bounds for the number of points $\#C(K)$? The Hasse-Weil bound requires smooth curves, and hyperelliptic curves are not smooth ...
joro's user avatar
  • 25.4k