Questions tagged [rational-points]
The rational-points tag has no usage guidance.
216 questions
9
votes
1
answer
399
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$ ...
- 40.3k
8
votes
3
answers
807
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
...
8
votes
4
answers
2k
views
Status of $x^3+y^3+z^3=6xyz$
In
Erik Dofs, Solutions of $x^3 + y^3 + z^3 = nxyz$, Acta Arithmetica 73 (1995) pp. 201–213, doi:10.4064/aa-73-3-201-213, EuDML
the author has studied the Diophantine equation
\begin{equation}
x^3+y^...
- 371
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 ...
- 913
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-...
- 12.6k
8
votes
4
answers
338
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,...
- 151k
8
votes
1
answer
206
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 ...
- 13.4k
8
votes
1
answer
987
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 ...
- 782
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 ...
- 3,625
8
votes
0
answers
231
views
Lattice point counts on the determinantal variety
I recently came across the following result of Katznelson [1]. It says that for some $C>0$, the following lattice point count holds for $n> m\geq k$.
$\#\{A \in M_{m \times n}(\mathbb{Z}) \mid \...
- 885
8
votes
0
answers
135
views
Distribution of rational points in the real locus of a planar algebraic curve
Let $C$ be a smooth projective geometrically connected curve over $\mathbb{Q}$. Assume that $g(C)=3$ and that $C$ is not hyperelliptic. Then the canonical sheaf defines a closed immersion $C\to\mathbb{...
user158636
7
votes
1
answer
399
views
Rational points on an analytic curve
Let $\Gamma$ be a transcendental analytic curve in $\mathbb{R}^2$. I am interested in the topology of its rational points $\Gamma(\mathbb{Q}):=\Gamma\cap\mathbb{Q}^2$.
We know by Pila-Wilkie that if $\...
- 73
7
votes
1
answer
334
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 $k$-...
- 5,163
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 $...
- 32.5k
7
votes
1
answer
557
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 ...
- 7,377
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 ...
- 13.4k
7
votes
1
answer
218
views
Subfields of Hilbertian fields
This question is about the Remark on the top of page 22 of Serre's Topics in Galois Theory, available here :
http://www.ms.uky.edu/~sohum/ma561/notes/workspace/books/serre_galois_theory.pdf
My ...
- 353
7
votes
1
answer
287
views
What are the intermediate semisimple groups of type A?
Background: The first examples one sees of reductive groups over a field $k$ are $\text{GL}_n$, $\text{SL}_n$, and $\text{PGL}_n$. We all know the definitions of $\text{GL}_n$ and $\text{SL}_n$, and ...
- 835
7
votes
1
answer
296
views
Reference request. Finiteness of the Selmer group
Let $K$ be a global field (ie either a number field or the function field of a curve over a finite field). Let $A,B$ be abelian varieties over $K$ and let $\phi:A\to B$ be an isogeny. Associated with $...
- 3,076
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/...
- 913
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 ...
- 25.4k
7
votes
2
answers
605
views
ℤ/18ℤ elliptic curves over cubic fields
I am working on $\mathbb{Z}/18\mathbb{Z}$ elliptic curves over cubic fields. The curves are created using the formulas on p. 584 of
D. Jeon, C. H. Kim, Y. Lee, Families of elliptic curves over cubic ...
- 913
7
votes
1
answer
350
views
Geometrically rational variety over a finite field
Let $k=\mathbb{F}_q$ be a finite field, and let $X$ be a smooth projective variety over $k$. Suppose that $X_{\overline{k}}$ is birational to $\mathbb{P}^n_{\overline{k}}$, do we know
(1)If $X$ is ...
user39380
7
votes
2
answers
509
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 ...
- 7,800
7
votes
0
answers
141
views
Average number of $\mathbb{F}_p$-points over twists of a variety
Let $p \gg 1$ be a sufficiently large prime. I recently stumbled across a fascinating fact about the number of $\mathbb{F}_p$-points on elliptic curves over finite fields. Specifically, we have:
Fact ...
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 ...
- 151k
6
votes
2
answers
297
views
Can every set of points with rational distance squares be isometrically embedded in $\Bbb Q^d$?
Suppose we are given a finite family of points $p_1,...,p_n\in \Bbb R^d$, so that any two points have a rational distance square, that is,
$$\|p_i-p_j\|^2\in\Bbb Q,\quad\text{for all $i,j\in\{1,...,n\}...
- 13.6k
6
votes
1
answer
185
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 ...
- 2,081
6
votes
1
answer
788
views
Singular curves of genus 1
Let $C$ be an irreducible curve of arithmetic genus $1$ over a field $k$ and with a double $k$-point $p\in C$.
Is $C$ rational over $k$?
If $C$ is a plane cubic the answer is positive since we can ...
- 8,998
6
votes
1
answer
222
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:...
- 125
6
votes
1
answer
2k
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), $...
- 379
6
votes
1
answer
518
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 ...
- 4,745
6
votes
1
answer
489
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 ...
- 2,032
6
votes
1
answer
366
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 ...
- 625
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$.
&...
- 151k
6
votes
1
answer
667
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 ...
- 151k
6
votes
0
answers
219
views
Ranks of elliptic curves over cubic fields
We are writing a paper on the ranks of elliptic curves over cubic fields. The curves of different torsion subgroups are created by the formulas in Jeon et al. and by our new parametrizations.
D. Jeon,...
- 913
6
votes
0
answers
233
views
Rational points on varieties whose anticanonical bundle is nef but not ample
Is the following plausible?
"If $X$ is a variety over $\mathbf{Q}$ whose anticanonical bundle $L$ is nef but not ample, there is a number field $K$ such that $X(K)$ contains an infinite set of ...
- 19.2k
6
votes
0
answers
118
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 ...
- 151k
6
votes
0
answers
438
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 ...
- 998
5
votes
1
answer
717
views
rational points of a hyperelliptic curve of genus 3
Let $K=\mathbb{Q}(\sqrt{-1}).$ I have the following hyperelliptic curve of genus 3:
$$ C : y^2 = (x^2-x+1)(x^6+x^5-6x^4 -3x^3+14x^2-7x+1) $$
I want to find $C(K)$. My first attempt was to compute the ...
- 51
5
votes
4
answers
444
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)$...
- 151k
5
votes
2
answers
572
views
Birational geometry over finite fields
I apologize in advance since probably my questions are very naive. I would like to understand some central notions in birational geometry, that are clear to me over the complex numbers, for varieties ...
user114666
5
votes
2
answers
852
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 ...
- 791
5
votes
1
answer
427
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 ...
- 151k
5
votes
1
answer
286
views
How to make Burnside's formula compatible with point counting for varieties over finite fields?
If $G$ is a finite group acting on a finite set $X$, we have Burnside's formula that counts the number of orbits $|X/G|$ as:
$$ |X/G| = \frac1{|G|} \sum_{g\in G} |X^g|,
$$
with $X^g$ being the set of ...
- 167
5
votes
1
answer
393
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 ...
- 151k
5
votes
1
answer
576
views
Lines on quadric surfaces
Consider a smooth quadric surface $Q\subset\mathbb{P}^3$ over a field $k$. Are there natural hypotheses one can put on $k$ in order to ensure the existence of a line defined over $k$ on $Q$?
- 8,998
5
votes
1
answer
316
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 ...
5
votes
1
answer
251
views
Integral points on homogeneous spaces over a DVR
Let $R$ be a DVR (possibly mixed characteristic) with fraction field $K$. Let $V \to \operatorname{Spec} R$ be a smooth affine scheme with a transitive action of $GL_{n,R}$ so that each geometric ...
- 3,290