Questions tagged [rational-points]
The rational-points tag has no usage guidance.
216 questions
3
votes
1
answer
256
views
Rationalizing and minimizing elliptic curve coefficients
I am working on elliptic curves with torsion group $\mathbb{Z}/14\mathbb{Z}$ over quadratic fields. The curves are constructed using the model $E_1=[0,a,0,b,0]$ following the formulas on p. 13 of
L. ...
- 913
0
votes
0
answers
87
views
Computational tool for checking the existence of non-trivial rational zero of a cubic form
Suppose we consider a arbitrary cubic homogeneous form $f$ in in four or five variables over the rational field. Is there any computational tool or algorithm to check whether this cubic homogeneous ...
- 923
0
votes
1
answer
371
views
Systems of equations for elliptic curves without $3$-torsion
In his YouTube video New rank records for elliptic curves having rational torsion, Noam Elkies uses systems of equations at 6:16 and 8:38 to present $\mathbb{Z}/3\mathbb{Z}$ curves of rank 14 and rank ...
- 913
5
votes
1
answer
575
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
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
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
2
votes
0
answers
279
views
Rational points on surfaces
Let $k$ be a field of characteristic zero. In the affine space $\mathbb{A}_{x,y,t}^3$ consider a surface $S$ of the form
$$
S = \{a_0(t)x^2+a_1(t)xy+a_2(t)x+a_3(t)y^2+a_4(t)y+a_5(t) = 0\}
$$
where $...
user168611
3
votes
0
answers
265
views
Is equation $y^3+x y + x^4 + 4 = 0$ solvable locally (in ${\mathbb Q}_p$ for all $p$)?
When finding out whether an equation in 2 variables has rational solutions (or, equivalently, whether an algebraic curve has any rational points), many authors recommend checking the local solubility ...
- 7,182
1
vote
0
answers
194
views
Brauer-Manin obstruction and affine curves
I'm looking for references that can justify to what extent is the following statement true:
Statement. Let $X$ be a smooth geometrically integral curve over a number field $k$. Then the Brauer-Manin ...
- 895
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
0
votes
1
answer
131
views
Primes of the form $p=u^2+1$ and number of points on the elliptic curve $x^3+a x z^2=y^2 z$
Let $p$ be prime of the form $p=u^2+1$. For $a \in \mathbb{F}_p,a \ne 0$,
define
$E_a : x^3+a x z^2=y^2 z$
Let $B= \lfloor 2 \sqrt{p}\rfloor$
Must we have $(\#E_a(\mathbb{F}_p) -p - 1) \in \{2,-2,B,-B\...
- 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 ...
- 25.4k
5
votes
0
answers
303
views
2-descent on elliptic curves, and units modulo squares of units
Setup: Let $p$ be a prime, let $f(x) \in \mathbb{Q}_p[x]$ be a separable monic cubic polynomial cutting out the maximal order $\mathcal{O}_{K_f}$ in the etale algebra $K_f := \mathbb{Q}_p[x]/(f(x))$, ...
10
votes
0
answers
217
views
Are the nonnegative rationals diophantine with only two quantifiers?
Definition: A subset $D\subseteq \mathbb{Q}$ is diophantine if it is the projection of the zero set of a polynomial, i.e. there exists a polynomial $f\in\mathbb{Q}[X,Y_1,\dots,Y_n]$ for some $n$ such ...
- 2,051
4
votes
1
answer
411
views
Z2xZ6 elliptic curves with missing generators
By implementing the techniques described in and similar to
A. Dujella, J. C. Peral, Elliptic curves with torsion group Z/8Z or Z/2Z x Z/6Z, arXiv, Number Theory [math.NT] (2013), arXiv:1306.0027v1
A....
- 913
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 ...
- 25.4k
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 $\...
- 913
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
1
vote
1
answer
352
views
The smooth completion of a curve
Let $C$ be a smooth geometrically integral affine curve. This question concerns the smooth completion $C_1$ of $C$, both defined over a number field $k$.
We know that given any smooth projective ...
- 895
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
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 ...
- 913
2
votes
0
answers
198
views
Finding rational points via birational map
Let $C$ be an affine curve given by $p_C(x,y)=0$ where $$ p_C=2x^3y + 2xy^3 +x^3 + y^3 + 5x^2y + 5xy^2 + 2x^2 + 2y^2 + 2x^2y^2 + 2xy $$
and let $\overline{C}$ denote the projective closure of $C$. For ...
- 21
3
votes
1
answer
214
views
Distribution of the rank of $y^2=x^4+x+b^2$
For positive integer $b$ define the curve $C_b : y^2=x^4+x+b^2$.
$C_b$ is genus one and has the rational points: $(0,\pm b),(-1,\pm b)$
and one more point from the reciprocal of the polynomial y=0
...
- 25.4k
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 ...
- 913
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 $(...
- 25.4k
2
votes
2
answers
541
views
A new simple formula is needed
The following question is related to the families of high rank elliptic curves with torsion subgroup $\mathbb{Z}/6\mathbb{Z}$.
The SageMath/Python code below produces a list of small fractions $a$ for ...
- 913
5
votes
0
answers
184
views
Given a point $P$ on a genus-$1$ curve over $\mathbb{Q}_p$, is there an $R$ such that $2 \mid [P - R]$ and $x(\overline{P}) \neq x(\overline{R})$?
Let $p \in \mathbb{Z}$ be prime, and let $f \in \mathbb{Z}_p[x]$ be a quartic polynomial with nonzero discriminant. Let $C/\mathbb{Q}_p$ be the genus-$1$ curve with affine equation $y^2 = f(x)$. Let $\...
- 53
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
16
votes
0
answers
274
views
Why should an abelian variety with few places of bad reduction and a lot of endomorphisms not have many points?
In the paper "Points of Order 13 on Elliptic Curves" by Mazur-Tate, they say in the introduction:
It seemed ... that if such an abelian variety $J$, which has bad reduction at only one ...
- 7,746
2
votes
1
answer
188
views
Criterion for existence of integral points on an elliptic curve
Is there a criterion for the (presumably infinite) set of $D \in \mathbb{Z}\setminus \{0\}$ such that
$$Dy^2 = x^3-1728$$
has an integral point over $\mathbb{Q}$ with $y \neq 0$? I'd also be ...
- 479
17
votes
1
answer
349
views
Why should the number of $\mathbb{F}_q$ points on degree $d$ curves $C\subset \mathbb{P}_{\mathbb{F}_q}^n$ decrease as $n$ increases?
This question concerns some counterintuitive results (to me at least) regarding the number of points on a projective curve over a finite field. Namely, if one fixes the degree of the curve, but ...
- 293
8
votes
0
answers
134
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
3
votes
1
answer
395
views
Finding $K$-rational points on $X_0(35)$
Let $K=\mathbb{Q}(\sqrt{-2})$. How can I compute the $K$-rational points on the modular curve $X_0(35)$?
Recall that $X_0(35)$ is a hyperelliptic curve of genus 3 and has the simplified affine model:
\...
- 31
3
votes
2
answers
442
views
primes of multiplicative reduction for elliptic curves with rational $\ell$-torsion
Very recently, I made an observation from scanning lists of elliptic curves on the LMFDB that leads me to the following (unproven) statement:
Fix $\ell \in \{5, 7\}$. Let $E$ be an elliptic curve ...
- 1,298
0
votes
1
answer
544
views
How I can prove or disprove that $\frac{x}{y+z}+\frac{y}{x+z}+\frac{z}{y+x}=1$ has solutions in rationals? [duplicate]
The motivation of this question is to look if there is such solution in rational number to the identity which mentioned here, I have done many attempts using Wolfram Alpha to find such pairs of ...
user157361
2
votes
1
answer
269
views
Perfect square quadratic expression
For a given rational $c\ne-1$, I need to find a rational $x\ne20$ with a small denominator such that $(5cx+100)(5cx-64c+36)$ is a perfect square.
I start with
$y^2=(5cx+100)(5cx-64c+36)$
and ...
- 913
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ć, ...
- 913
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
9
votes
3
answers
736
views
Around the diophantine equation $\frac{a}{2b+3c}+\frac{b}{2c+3a}+\frac{c}{2a+3b}=\text{odd integer}$, over positive integers
I am interested to know if a similar theorem that shows this answer of the post
Estimating the size of solutions of a diophantine equation (this MathOverflow, January 5th 2016) is feasible for a ...
2
votes
1
answer
600
views
Density of rational points over finite fields, an estimate of Lang-Weil constant
Let $X\hookrightarrow\mathbb P^n_{\mathbb F_q}$ be a geometrically integral hypersurface over the finite field $\mathbb F_q$ of degree $\delta$. In order to estimate the number of its rational points, ...
- 403
2
votes
1
answer
257
views
Resolved: Two more generators needed for a Z/6 elliptic curve
We are searching for the rank 8 elliptic curves with the torsion subgroup Z/6 using newly discovered families similar to Kihara's (Kihara's family is described in https://arxiv.org/pdf/1503.03667.pdf)....
- 913
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
3
votes
0
answers
339
views
Integral points on affine varieties
Consider Siegel's theorem. It says that for a smooth affine algebraic curve $C$ over $\mathbb{Q}$ such that $g(C)>0$ any model $\mathcal{C}$ of $C$ over $\mathbb{Z}$ has finitely many $\mathbb{Z}$-...
user145520
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
3
votes
1
answer
190
views
Connected sum of algebraic curves, handlebody decomposition, and induction on genus
Are there any nice methods of taking algebraic curves $C_1, C_2$ of genera $g_1,g_2$ and producing a curve $C_3 = C_1 \# C_2$ of genus $g_3 = g_1+g_2$? I'm imagining doing this over any field, but ...
- 1,338
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 ...
- 25.4k
0
votes
0
answers
279
views
Computing the genus of a plane curve
Let $b(x)=x^4 + 3x^3 + 3x^2 + 2x + 1$, and let $a(x)\in \mathbb Z[x]$ be a separable polynomial. Let $C$ be the plane curve defined by $(y^2+(x+x^2+x^3)a(x))^2-a(x)^2b(x)=0$. I would need to show that ...
- 101
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 ...
- 149k
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
4
votes
1
answer
328
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 \...
- 269