# Questions tagged [rational-points]

The rational-points tag has no usage guidance.

**9**

votes

**1**answer

284 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 ...

**5**

votes

**4**answers

216 views

### Lattice points in a square pairwise-separated by integer distances

Let $S_n$ be an $n \times n$ square of lattice points in $\mathbb{Z}^2$.
Q1. What is the largest subset $A(n)$ of lattice points in $S_n$ that have the
property that every pair of points in $A(n)$...

**4**

votes

**1**answer

271 views

### Submersion implies many rational points in image?

Let $A \colon V \to W$ be a surjective linear map
(defined over $\mathbb{Z}$),
inducing a projection
$\alpha \colon \mathbb{P}(V) \to \mathbb{P}(W)$.
Let $X \subseteq \mathbb{P}(V)$ and $Y \...

**6**

votes

**1**answer

263 views

### Breaking a morphism with generic fiber $\mathbb{F}_n$

Assume we are working over $\mathbb{C}$, and we have a projective morphism with connected fibers $f: X \rightarrow Z$ whose geometric generic fiber $X_\overline{\eta}$ is isomorphic to a Hirzebruch ...

**3**

votes

**1**answer

142 views

### Solving system of multivariable algebraic equations over $\mathbb Q$ by reducing over $\mathbb F_p$

I try to solve the finite system of multivariable algebraic equations with coefficients from $\mathbb Q$. It would be sufficient for me to prove that there is only finite number of solutions over $\...

**1**

vote

**0**answers

64 views

### Rational points of torsors over a separable closure

I already asked this question on Math Stack few days ago ( torsors over a separable closure ), but did not receive any answer, so I post it here.
Let $G$ be a smooth linear algebraic group defined ...

**2**

votes

**0**answers

246 views

### Rational point on variety over function field

This is one of the theorems in Field Arithmetic written by M. Fried and M. Jarden as following which is Proposition 13.4.6 in that monograph:
Every field K has a regular extension F which is PAC ...

**8**

votes

**1**answer

179 views

### Integral complete 4-partite graphs

For given block sizes $a<b<c<d$, consider the complete 4-partite graph $K_{a,b,c,d }$.
Can such a graph be integral, i.e. have only integer eigenvalues?
It is easy to see that the ...

**4**

votes

**0**answers

139 views

### Action of the Picard Scheme of an Elliptic Fibration

Suppose that we have a surface $X$ defined over a field $k$ (I am interested in $k$ being a number field) and an elliptic fibration $f: X \rightarrow \mathbb{P}^1$, i.e. $f$ is proper and almost all ...

**1**

vote

**1**answer

225 views

### Are there nontrivial rational solutions of $x^{n-m}=(1+t^m)/(1+t^n)$?

Let $n-m \ge 2$ be two fixed natural numbers. Are there any nontrivial rational solutions of the equation $$x^{n-m}=(1+t^m)/(1+t^n)$$ for $x$ and $t$? As particular cases the
rational solutions of ...

**10**

votes

**4**answers

1k 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)$ ...

**7**

votes

**1**answer

339 views

### Why study unirational and rational varieties?

I am new to the study of unirational and rational varieties, but I want to know the motivation for why mathematicians started to study these conditions. The reasons that I could list to study ...

**2**

votes

**0**answers

190 views

### Number of rational points of a singular cubic surface over a finite field

I have a (geometrically irreducible) cubic surface defined over a finite field $F_q$ with three non-$F_q$-rational singularities (defined over the cubic extension of $F_q$).
Counting the number of $...

**2**

votes

**1**answer

299 views

### Counting algebraic points of bounded height

Let $K$ be a number field and $X\hookrightarrow\mathbb P^n_K$ be a projective variety of degree $\delta$ (with respect to universal bundle) and dimension $d$. We denote the set
$$S(X;D,B)=\{\xi\in X(\...

**6**

votes

**1**answer

200 views

### rational points and a local perturbation of an elliptic curve

Let $E_{a,b}$ be an elliptic curve defined by the equation $y^{2}=x^3+ax+b$ where $a,b \in \mathbb{Q}$.
Suppose that for $a=a_{0}$ and $b=b_{0}$ the rank of $E_{a_{0},b_{0}}(\mathbb{Q})=1$.
question:...

**15**

votes

**2**answers

642 views

### Determining the Mordell-Weil group of a universal elliptic curve

Let $K$ be a number field and let $K(a,b)$ be the field of rational functions with two indeterminates over $K$. Consider the elliptic curve $E$ over $K(a,b)$ defined by the Weierstrass equation
\begin{...

**7**

votes

**1**answer

293 views

### Rational points on varieties over local fields

In his expanded lecture notes Rational points on varieties, Bjorn Poonen writes the following:
REMARK 2.5.3: There is an algorithm that, given a local field $k$ of characteristic $0$ and a $k$-...

**8**

votes

**0**answers

141 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

921 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

298 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,...

**0**

votes

**2**answers

215 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 ...

**0**

votes

**1**answer

176 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

129 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

609 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 ...

**0**

votes

**0**answers

99 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$-...

**4**

votes

**1**answer

333 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

155 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

378 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

638 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

182 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

586 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

158 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

87 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 ...

**10**

votes

**5**answers

2k 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

93 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$ ...

**112**

votes

**2**answers

44k 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

400 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

488 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?

**19**

votes

**5**answers

1k 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

334 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

111 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 ...

**19**

votes

**2**answers

922 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

400 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

78 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 ...

**15**

votes

**1**answer

337 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

136 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

235 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

180 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

376 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

359 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 ...