The rational-points tag has no wiki summary.

**12**

votes

**2**answers

305 views

### Existence of local sections

I would like to know when the property of "having a section" for a morphism of varieties in characteristic $0$ can be detected by spreading out to characteristic $p$.
Take a number field $K$, and let ...

**5**

votes

**1**answer

393 views

### Is the following consequence of the Lang conjecture known?

This came up in a discussion with a colleague of mine, who studies PDEs. He was asking for a function $f \colon \mathbb{N} \rightarrow \mathbb{N}$ such that, for all but finitely many $n$, the ...

**1**

vote

**0**answers

86 views

### Benchmark problems for computing rational points on varieties

Are there standard benchmark problem sets used for empirically evaluating algorithms designed for computing rational points on (various classes of) algebraic varieties?
If so, could you please point ...

**15**

votes

**1**answer

409 views

### Is the perimeter of an ellipse with integer axes irrational?

Let $Q$ be an ellipse with integer-length axes $a$ and $b$:
$$ \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 \;.$$
The perimeter of $Q$ is given by the complete elliptic integral of the 2nd kind, $E(\;)$:
$4 ...

**3**

votes

**2**answers

118 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)$:
...

**7**

votes

**0**answers

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

**0**

votes

**0**answers

96 views

### Existence of a curve with no points over finite separable field extensions

Does there exist a field $K$, and a smooth projective geometrically connected curve $C$ over $K$ such that, for all finite separable field extensions $L/K$ the curve $C$ has no $L$-rational points?
I ...

**9**

votes

**2**answers

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

**1**

vote

**1**answer

106 views

### Infinite residue field extensions and algebraic closure of residue fields

Let $X$ be a $K$-scheme of finite type over a field $K$, let $L$ be an extension field of $K$, let $X_L := L \times_K X$, and let $p:X_L \rightarrow X$ be the projection. For each $x \in X_L$ we get ...

**2**

votes

**1**answer

158 views

### Closed points of field extension of k-scheme under projection

I really couldn't figure out the answer to the following question: Let $X$ be a scheme of finite type over a field $k$ and let $K$ be an extension field of $k$. Let $X_K := K \times_k X$ be the base ...

**2**

votes

**1**answer

344 views

### Question on x coordinates of Mordell Curves where $y^2=x^3+k$ and $k^2 = 1$ mod $24$

In my ongoing search for Mordell curves of rank 8 and above I have currently identified 144,499 curves of a type where $k$ is squarefree and $k^2 = 1$ mod $24$.
In each case the x coordinates are ...

**27**

votes

**6**answers

888 views

### Patterns among integer-distance points

Mark each point of $\mathbb{N}^2$ ($\mathbb{N}$ the natural numbers) if its
Euclidean distance from the origin is an integer. One obtains a plot like this, symmetric about the $45^\circ$ diagonal.
...

**10**

votes

**1**answer

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

**4**

votes

**1**answer

211 views

### Rational points on $X_0(15)$

The modular curve $X_0(15)$ has a canonical model over $\mathbf{Q}$, and it has genus $1$. As the cusp $\infty$ is rational, it is an elliptic curve. Roughly, my question is whether we can find all ...

**0**

votes

**2**answers

231 views

### “rationality” of divisors

Let $X$ be a smooth projective variety over some field $k$. Then each closed point $x$ has an associated residue field $k(x)$ which is a finite extension of $k$ and a point is rational when $k(x)=k$.
...

**6**

votes

**1**answer

272 views

### Pick's Theorem for rational points of bounded height

I wonder if the various lattice-point theorems, such as
Pick's Theorem or
Minkowski's Lattice Theorem,
have been generalized to the collection of points
with rational coordinates no more than height ...

**15**

votes

**2**answers

676 views

### Identifying Ramanujan's integer solutions of x^3+y^3+z^3=1 among Elkies' rational solutions

In his Lost Notebook, Ramanujan exhibits infinitely many integer solutions to $x^3+y^3+z^3=1$. On his webpage (http://www.math.harvard.edu/~elkies/4cubes.html), Elkies determines all rational ...

**5**

votes

**2**answers

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

**9**

votes

**1**answer

307 views

### What evidence is there that $\mathbb{Q}^{ab}$ is ample?

A field $K$ is called ample if every smooth curve over $K$ that has a $K$-point has infinitely many $K$-points. Examples include fraction fields of henselian rings. (This is far from trivial, but was ...

**10**

votes

**2**answers

443 views

### Geometrically unirational varieties that are not unirational

By a variety over a field $k$, I mean a scheme that is separated and
of finite type over $k$. I indicate changes of the base ring by
subscripts.
Does there exist a smooth and projective variety $V$ ...

**11**

votes

**1**answer

226 views

### Can a harmonic number be a rational number for non-integer rational argument?

Define harmonic numbers for a complex argument $z$ as $H_z=\frac{\Gamma'(z+1)}{\Gamma(z+1)}-\Gamma'(1)$.
For $n\in\mathbb{N}$, $H_n$ are usual harmonic numbers $\sum^n_{k=1} k^{-1}$ . They are ...

**15**

votes

**1**answer

309 views

### Does every convex polyhedron have a combinatorially isomorphic counterpart whose all faces 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 ...

**1**

vote

**1**answer

204 views

### Tricks to produce examples of hypersurfaces with index greater than $1$

Recall, index of an algebraic scheme $X$ is defined to be the greatest common divisor of the degrees of the space of zero cycles on $X$. I am interested in examples of hypersurfaces in ...

**0**

votes

**0**answers

147 views

### Deformation of rational points in a family

Let $\mathcal{X} \to B$ be a family of smooth projective varieties over a field $K$ (possibly finite). Assume that each fiber $\mathcal{X}_b$ of the family has a $K$-rational point. Fix a pair ...

**6**

votes

**1**answer

334 views

### Simple field extension and rational points

Let $F$ be an infinite field and $f$ a homogeneous form on $F$ such that $f$ has no non-trivial zero in $F$. Let $F'$ be a finite extension of $F$ such that $f$ has a non-trivial zero in $F'$. Is it ...

**7**

votes

**5**answers

1k 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.
Is the unit sphere $S :\; x_1^2 +\cdots+ x_d^2 = 1$
dense in rational points, i.e., does $S$ ...

**6**

votes

**1**answer

271 views

### Rational points on surfaces of general type

The weak Lang conjecture asserts that rational points on a variety of general type defined over $\mathbb{Q}$ are not Zariski dense (same replacing $\mathbb{Q}$ with a number field). This one is proved ...

**3**

votes

**0**answers

283 views

### Rational points and Tesla cards

I'm rapidly approaching 300,000 curves in my ongoing search for Mordell curves of rank >=8.
Currently I'm finding that I have a bottleneck in the code that locates rational points on these curves.
...

**7**

votes

**1**answer

267 views

### Varieties with infinitely many etale covers and rational points

Let $X$ be a (smooth projective geometrically connected) variety over a field $k$.
Consider the set Et$(X,k)$ of finite etale covers $Y\to X$ over $k$, with $Y$ geometrically connected over $k$.
...

**1**

vote

**1**answer

234 views

### Rational subspaces

Hello everyone,
In ${\mathbb R}^n$, we say that a linear subspace is \emph{rational} if it admits a basis in ${\mathbb Q}^n$ (or equivalently in ${\mathbb Z}^n$). It means that $E\cap {\mathbb Z}^n$ ...

**5**

votes

**2**answers

488 views

### 12 descent scripts for pari/gp

I'm looking around for scripts to facilitate 12 descent on Mordell curves, preferably in Pari/gp.
I understand that Magma implements this feature, but unfortunately this software isn't available to ...

**13**

votes

**3**answers

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

**1**

vote

**1**answer

102 views

### are p-limits scales dense in the infinite musical scale of all rational frequencies?

In the wiki section on prime limit tuning, one reads:
...

**13**

votes

**2**answers

471 views

### Existence of points on varieties which avoid a given number field.

Let C be a geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that
$L \cap K' = K$, and
$C(L) \neq ...

**2**

votes

**1**answer

343 views

### How many points are there on an elliptic curve reduced at a bad prime?

Given an elliptic curve $E$ defined over $\mathbb{Z}$, and a prime $p$, I know that Hasse's theorem gives, when $p$ is a good prime, a relation between the number of solutions over $\mathbb{F}_{p^n}$ ...

**19**

votes

**4**answers

1k views

### Does $(x^2 - 1)(y^2 - 1) = c z^4$ have a rational point, with z non-zero, for any given rational c?

I need this result for something else. It seems fairly hard, but I may be missing something obvious.
Just one non-trivial solution for any given $c$ would be fine (for my application).

**6**

votes

**1**answer

263 views

### Rational points on smooth compactifications

Let $X$ be as smooth variety over a field $k$ of characteristic $0$.
Consider the following statements:
The variety $X$ has no $k((t))$-rational points.
No smooth compactification of $X$ has a ...

**8**

votes

**3**answers

583 views

### Smart elliptic curve rational point search given Reg*#Sha

Hi folks,
Let E be a global minimal model of an elliptic curve over QQ, with a
2-torsion point which generates the torsion subgroup, and with
Mordell-Weil rank 1 (under BSD). Let RegSha be equal to
...

**3**

votes

**1**answer

331 views

### Brauer-Manin obstruction and Hasse principle

I am looking for
varieties without $\mathbf{Q}$-rational points where the absence can be explained by the Brauer-Manin obstruction, but not by the absence of adelic points
varieties without ...

**0**

votes

**0**answers

201 views

### Ideal of real points in $\mathbb{C}[x_0,x_1,\dotsc,x_k]$

I fell a little uncomfortable with this real stuff. The question here is more general, but we can suppose $\mathbb{K}=\mathbb{R}$.
Take a set of (distinct) points in $\mathbb{P}^n$, the complex ...

**5**

votes

**1**answer

196 views

### Existence of a non-trivial zero (in the rational cyclotomic field) of a form

It is well known that if a field K is quasi-algebraically closed (i.e. all forms with coefficients in K of degree d in n > d variables have a non-trivial zero in K) then it has no central divison ...

**14**

votes

**1**answer

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

**7**

votes

**2**answers

607 views

### Shortest irrational path

What is the shortest curve $\gamma$ in $\mathbb{R}^2$
from the origin $o=(0,0)$ to a rational point $p=(a,b)$
that (a) passes through no other rational point, and
(b) contains no point a ...

**2**

votes

**1**answer

478 views

### k rational points and base change

This could be a tricky question but could help me to better understand these very interesting things.
Let $X$ be an algebraic variety over a field $k$ (in the sense of a k-scheme like in Qing Liu), ...

**8**

votes

**1**answer

627 views

### Rational points à la Chabauty-Coleman

I have been trying to learn the method of Chabauty and Coleman to find rational points on curves; I have been reading an exposition by McCallum and Poonen which was pointed out to me by Emerton in ...

**10**

votes

**3**answers

1k views

### Closed vs Rational Points on Schemes

Background: When Ueno builds the fully faithful functor from Var/k to Sch/k he mentions that the variety $V$ can be identified with the rational points of $t(V)$ over $k$. I know how to prove this on ...

**9**

votes

**1**answer

375 views

### Existence of hyperelliptic curve with specific number of points in a family

Hi,
the following question was posed to me, it apparently has applications for linear codes. Let n>1, and $K = \rm{GF}(2^n)$. Let $k$ be coprime to $2^n-1$. Does there always exist $a \neq 0$ in $K$ ...

**7**

votes

**4**answers

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

**6**

votes

**2**answers

405 views

### How can you find small denominators inside triangles?

Darsh asked over at the 20 questions seminar:
Take a triangle in R^2 with coordinates at rational points. Can we find the smallest denominator point in the interior? (Consider denominator of an ...