Questions tagged [rational-points]
The rational-points tag has no usage guidance.
202
questions
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 ...
10
votes
4
answers
1k
views
Possible groups of K-rational points for elliptic curves over arbitrary fields
It is known that the group $C(\Bbb R)$ has at most two connected components, and the connected component of the identity is isomorphic to $U(1)$ as a topological group (trivially) and $C(\Bbb Q)$ is ...
8
votes
4
answers
321
views
Scaling a set of reals to be nearly integers
A version of this question was previously asked on MSE. I'll mention progress below.
A geometric construction I'm exploring
leads to a set $R$ of $n$ positive real numbers, for example:
$$
R = \{ \pi,...
3
votes
2
answers
537
views
Does there exist a rational point on the elliptic curve: $y^2=x^3+6x^2+x$ ? If yes, how to find one? (relations to the 'rational distance problem') [closed]
The elliptic curve $y^2=x^3+6x^2+x$ is associated with the Rational Distance problem, which asks whether there exists a point in the plane, that is at rational distances from the four vertices of the ...
2
votes
1
answer
576
views
Rational points on open subsets of affine space [closed]
Let $k$ be an infinite field. Assume that the index of the algebraic closure $\bar{k}$ over $k$ is strictly greater than $2$. Let $U$ be a non-empty open subset of some affine space over $k$. Is it ...
1
vote
0
answers
169
views
Levi decompositions of k-rational points of linear algebraic groups
Let $k$ be a field with characteristic zero and $G$ be a (connected or not) linear algebraic group defined over $k$. We know that $G$ has a Levi decomposition i.e., $G=R_u(G)\rtimes L$, where $R_u(G)$ ...
11
votes
1
answer
686
views
Galois Representations and Rational Points
Suppose $X$ and $Y$ are two connected smooth projective varieties over $\mathbb{Q}$ (of the same dimension) that have the same $\ell$-adic Galois representations (up to semisimplification). What is ...
1
vote
0
answers
120
views
Existence of rational points on the image of a proper morphism
Let $K/F$ be a field extension, and let $X$ and $Y$ be affine varieties over $F$. (E.g. they are defined by polynomials over $F$.) Suppose $X$ contains $F$-points. Now view $X$ and $Y$ as $K$-...
5
votes
1
answer
704
views
Understanding Siegel's Theorem on integral points
Siegel's theorem states the following:
Let $C$ be a smooth projective curve over a number field $K$. Let $\tilde C\subset C$ be an open affine subvariety, and $i:\tilde C\hookrightarrow \mathbb{A}^...
6
votes
1
answer
180
views
If $X$ is a genus $g\geq 2$ curve over a number field $K$, then is there a bound on $X_L(L)$ for $L/K$ that depends only on $X$ and $[L:K]$?
If $X$ is a genus $g\geq 2$ curve over a number field $K$, then $X(K)$ is finite by Falting's Theorem. My question is how does $X_L(L)$ behave for finite field extensions $L/K$? In particular, is ...
7
votes
1
answer
536
views
Does Chabauty-Coleman method give an algorithm for finding rational points?
Let $X$ be a curve of genus $g\geq 2$ over a number field $K$. If $\mathrm{rk} \,\mathrm{Jac}\, X$ is less than $g$ there is a $p$-adic method of bounding $\# X(K)$ due to Chabauty and Coleman (see ...
4
votes
0
answers
1k
views
Rational points on the unit circle
Is anything known about any of the following questions about rational points on the unit circle? By “double point” I mean an element of $2C$, where $C$ is the group of rational points on the unit ...
3
votes
2
answers
201
views
Existence of lattices whose circles have bounded number of points
For any plane lattice $\Lambda= \{ mA+nB: m,n \in \mathbb Z \}$, with $A,B$ linearly independent vectors in $\mathbb R^2$, we define the set of the circles in $\Lambda$ as
$$\mathcal K(\Lambda) = \...
8
votes
2
answers
714
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-...
1
vote
1
answer
410
views
Heights of multiples of rational points on elliptic curves
Let $E/\mathbb{Q}$ be an elliptic curve, given by some minimal Weierstrass equation (say $Y^2 = X^3 + aX + b$ for some integer $a$ and $b$), and let $P$ be a rational point on $E$ which is not the ...
6
votes
0
answers
113
views
Rational $d$-simplices
Define a rational $d$-simplex as a simplex in $\mathbb{R}^d$
such that the measure of all its $k$-dimensional faces, $k \ge 1$, is rational.
So a rational triangle has rational edge lengths and ...
11
votes
5
answers
4k
views
How much do I need to learn algebraic geometry to understand arithmetics over number fields
I am at the stage of learning. Mostly, I am attracted by algebraic number theory. Roughly speaking, I am interested in the rational points of algebraic varieties. I am little bit afraid to start to ...
2
votes
0
answers
105
views
the least point on a variety over a finite field
Let $p$ be a large prime parameter and $V\subseteq \mathbb{P}^n_{\mathbb{F}_p}$ a variety defined over the finite field $\mathbb{F}_p$ with bounded degree and dimension (w.r.t. $p$). Assume that $V$ ...
173
votes
3
answers
64k
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} + \...
2
votes
2
answers
435
views
Rational points on towers of curves
Let $\ldots \to X_n \to X_{n-1} \to \ldots \to X_0$ be etale maps between smooth projective curves of genera $g(X_n)>1$, all defined over a fixed number field $K$. By Faltings' Theorem, we know ...
4
votes
3
answers
549
views
Conics, rational points and probability
Given a conic $Ax^2+Bxy+Cy^2+Dx+Ey+F=0$ with integers and random coefficients, what is more probable? To find a rational point on the conic or not?
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, ...
7
votes
1
answer
386
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 ...
2
votes
1
answer
122
views
F-points of product of closed subgroups vs. product of F-points, F a local field, reference?
Let $F$ be a finite extension of $\mathbb Q_p$, where p is an odd prime. Let $G$ be a connected reductive group defined over $F$. Let $M, H$ be closed $F$-subgroups of $G$ (in particular, I'm ...
20
votes
2
answers
2k
views
Rational points on the "quintic circle" $x^5 + y^5 = 7$
I suspect that the curve $x^5 + y^5=7$ has no $\mathbb Q$ points, and a brief computer search verifies this hypothesis for denominators up to $10^4$. What techniques can be used to show that there are ...
7
votes
1
answer
492
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 ...
1
vote
0
answers
96
views
Shortest paths stepping on rational points of height $h$
Q. Do shortest paths walking between rational points of height $h$
ever properly cross themselves?
Explaining this question takes a bit of definitional exposition.
First, I copy definitions from ...
16
votes
2
answers
490
views
Number of height-limited rational points on a circle
Consider origin-centered circles $C(r)$ of radius $r \le 1$.
I am seeking to learn how many rational points might lie on $C(r)$,
where each rational point coordinate has height $\le h$.
For example, ...
5
votes
0
answers
149
views
Counting square zero forms over finite fields
Let $p$ be an odd prime and let $R=\Lambda_{\mathbb{F}_p}[x_1,\dots,x_n]$ be the exterior algebra on $n$ generators over the finite field with $p$ elements. This is a graded-commutative ring.
Is ...
5
votes
0
answers
295
views
A relative version of Hensel's lemma?
Let $k$ be a $p$-adic field with integer ring $\mathcal{O}_k \subseteq k$, maximal ideal $m_k \subseteq \mathcal{O}_k$ and residue field $\mathbb{F}_q = \mathcal{O}_k/m_k$. Let $X$ be a smooth, ...
1
vote
2
answers
202
views
Counting number of $2\times 2$ unimodular matrices of particular type
From set of numbers from $\Bbb S=\{0,1,\dots,m\}$, how many distinct $3\times 3$ unimodular matrices parametrized by $(a,b,c,d,e,f)\in\Bbb S^6$ of following type can one form?
\begin{bmatrix}
a^2 &...
3
votes
0
answers
543
views
Rank of the Jacobian of twists of hyperelliptic curves
Suppose that a hyperelliptic curve $C$ of genus $g \geq 4$ is given by the equation
$$\displaystyle C: y^2 = a_0 x^{2g+2} + a_1 x^{2g+1} + \cdots + a_{2g+2} = f(x).$$
The Jacobian variety $J(C)$ of ...
5
votes
1
answer
421
views
Transcendental distance sets
Define a set $S \subset \mathbb{R}^d$ as a
transcendental distance set if the distance between any pair of
distinct points of $S$ is transcendental.
For example, $S = \{ k \, \pi \;\mid\; k=1,2,\ldots ...
24
votes
1
answer
3k
views
Why is there a $\sqrt{5}$ in Hurwitz's Theorem?
Hurwitz's theorem is an extension of Minkowski's Theorem and deals with rational approximations to irrational numbers. The theorem states:
For every irrational number $\alpha$, there are infinitely ...
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. ...
9
votes
1
answer
569
views
Distribution of Mordell–Weil ranks of higher genus curves
By "nice curve", I mean a smooth, projective, geometrically integral curve over $\newcommand{\Q}{\mathbb{Q}}\newcommand{\Jac}{\operatorname{Jac}}\Q$ with at least one $\Q$-rational point. The Mordell–...
8
votes
1
answer
510
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 ...
8
votes
1
answer
910
views
Average height of rational points on a curve
I am seeking a formalism to define the average height of
the rational points on a curve. This is straightforward
if the number of points is finite, but (to me) not straightforward
when the rational ...
4
votes
2
answers
409
views
Find all possible rational values of a parametric quartic such that it is reducible
Description: Given the following parametric quartic polynomial
$y^4 - 28 z y^3 - 14 (656 - 328 z + 83 z^2) y^2 +
4 z (-20464 + 10232 z + 3409 z^2) y +
91 (62208 - 62208 z + 41504 z^2 - 12976 z^3 +...
6
votes
0
answers
436
views
Brauer-Manin obstruction to surfaces of Kodaira dimension 1
Roughly speaking, the Kodaira dimension is an invariant of a variety that corresponds to curvature. One can show that curves of genus $\geq 2$ have Kodaira dimension 1 using Riemann-Roch. In Corollary ...
3
votes
2
answers
486
views
cohomological obstructions and rational points
Let $X$ a (nice) scheme over $\mathbb{Q}$. Are there cohomolgical obstructions answering the following questions:
1) is $X(\mathbb{Q})$ an empty set ?
2) is $X(\mathbb{Q})$ a finite (non empty) set ...
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.
3
votes
0
answers
269
views
The uniform boundedness of rational torsion for traceless abelian surfaces over a function field
The function field analog of the theorem of Mazur-Kamienny-Merel (giving a universal bound in $[K:\mathbb{Q}]$ for the size of the $K$-rational torsion of an elliptic curve) is immediate just from the ...
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. ...
11
votes
1
answer
688
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 ...
5
votes
1
answer
385
views
Maximum number of general-position points with mutual rational distances?
Richard Guy has shown that there are six points in the plane—no three collinear,
no four cocircular—such that all interpoint distances are rational.
Guy, Richard. Unsolved Problems in ...
4
votes
1
answer
521
views
What is the complexity of finding an integral point on an elliptic curve?
Let $E$ be an elliptic curve over rational numbers. We know that the set of integral points on $E$ is finite. What is the complexity of finding a point $P\in E(\mathbb{Z})$?
Indeed I'm trying to find ...
9
votes
2
answers
767
views
Rational points techniques on curves not using their Jacobian
Let $C/K$ be a curve of genus > 2 over a number field $K$ and suppose there exists a $p \in C(K)$. Then a recurring theme in studying $C(K)$ is using the map $C \to J(C)$ normalized by sending $p$ to ...
10
votes
3
answers
666
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 ...
1
vote
0
answers
209
views
Coarse moduli spaces and rational points [closed]
Let $K$ be a field (not necessarily algraically closed). Let $\mathcal{F}$ be a contravariant functor from the category of schemes over $K$ to sets and $M$ be a coase moduli space for the functor. So, ...