Questions tagged [rational-points]
The rational-points tag has no usage guidance.
55 questions with no upvoted or accepted answers
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
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
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 ...
- 20.8k
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
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
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
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
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))$, ...
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
0
answers
150
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 ...
- 2,320
5
votes
0
answers
299
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, ...
- 9,491
4
votes
0
answers
129
views
Statistics about existence of rational points on a curve over $\mathbb{F}_q$
I wish to ask the naive question: if we write down a random curve $C$ over $\mathbb{F}_q$, what can be said about the probability that $C(\mathbb{F}_q)=\emptyset$?
Of course, this depends on the ...
- 1,856
4
votes
0
answers
195
views
Rational points on ramified coverings of abelian varieties
Let $K$ be a number field $A$ an abelian variety over $K$ and $f: X \to A$ a possibly ramified covering of degree $d$ with $X$ a proper variety. My question is:
Suppose that $f(X(K)) \neq A(K)$, can ...
- 2,224
4
votes
0
answers
313
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 ...
- 241
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 ...
- 2,896
3
votes
0
answers
91
views
Mattuck's Theorem for abelian varieties for a non-locally compact field
Let $A$ be an abelian variety of dimension $d$ defined over a complete ultrametric field $K$ of dimension $0$. Let us put on $A(K)$ the topology induced by the one of $K$ (for example, following ...
- 95
3
votes
0
answers
170
views
Smoothness of height in Manin conjecture
Set up: Let $K$ be a number field. Let $M_K$ be the places of $K$, and define the standard height on $\mathbb{P}^n(K)$ as
$$H([x_0, \cdots, x_n]) = \prod_{v \in M_K} \max\{|x_0|_v, \cdots, |x_n|_v\}$$
...
- 267
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
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
3
votes
0
answers
559
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 ...
- 27k
3
votes
0
answers
282
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 ...
- 13.8k
3
votes
0
answers
309
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.
...
- 791
2
votes
0
answers
73
views
Number of rational points of a connected reductive group in a compact subset
Let $G$ be a connected reductive $\mathbb{Q}$-group. Let $\mathbb{A}$ denote the ring of adèles of $\mathbb{Q}$. Let $B \subset G(\mathbb{A})$ be a compact, let $x \in G(\mathbb{A})$ and consider the ...
- 81
2
votes
0
answers
120
views
Upper and lower bounds on the number of solutions to the equation $\frac{\pi}{4} = \sum_{k=1}^{n} c_{k} \arctan \left(\frac{1}{x_{k}} \right) $
Background
The Norwegian mathematician and astronomer Carl Størmer did important work on the equation
$$\frac{\pi}{4} = \sum_{k=1}^{n} c_{k} \arctan \left(\frac{1}{x_{k}}\right), \label{1}\tag{1} $$
...
- 4,829
2
votes
0
answers
136
views
Similar to a $d$-twist but over a cubic field
This question could be related to my old and Duality's newer questions.
I am building a $\mathbb{Z}/9\mathbb{Z}$ elliptic curve $E$ over $\mathbb{Q}$:
$$E: y^2+(t^3-3t^2+1)xy + t^3(t-1)^3y=x^2$$
For $...
- 913
2
votes
0
answers
336
views
How dense is the set of rational points of a variety?
General question: Let $W$ be a proper subvariety of an irreducible affine variety $V/K$. Under what conditions do we know that $W(K)$ is a proper subset of $V(K)$?
If $K$ is finite, then one can bound ...
- 20.2k
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
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
2
votes
0
answers
310
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 ...
- 151
2
votes
0
answers
376
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 $...
- 21
2
votes
0
answers
107
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$ ...
- 3,362
2
votes
0
answers
120
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 ...
1
vote
0
answers
146
views
Can we find curves with many rational points using linear algebra?
Probably this is impossible, but let us try.
Working over $\mathbb{Q}[x_1,...,x_n]$.
Let $T_i$ be $n$ sets of rationals with cardinality $B$.
Assume we are given $n-2$ linear equations $f_i$ which are ...
- 25.4k
1
vote
0
answers
122
views
Rational points on an elliptic curve the denominator of x is a square
Let $f \in \mathbb Q[x]$ be a squarefree cubic polynomial with nonzero constant coefficient and consider the elliptic curve $E : y^2 = f(x)$.
Define $E(\mathbb Q)' \subseteq E(\mathbb Q)$ as
$$\left \...
- 2,224
1
vote
0
answers
298
views
Surjectivity of a norm map over $ \mathbb{Q} $
Suppose $ (L/L') $ is an galois extension , where both fields are extension of $Q$ of $\dim n $ and $\dim n^{'}$ respectively.Suppose we consider the norm map $ Nr_{(L/L')} :L \rightarrow L' $. ...
- 923
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
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
1
vote
0
answers
144
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 ...
- 1,766
1
vote
0
answers
173
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)$ ...
- 1,702
1
vote
0
answers
122
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$-...
- 565
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 ...
- 151k
1
vote
0
answers
193
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 ...
- 51
0
votes
0
answers
99
views
Does the smooth locus of any toric variety built from a fan always contain a rational point?
Let $k$ be an arbitrary field and $X$ be a toric variety built from a fan, defined over $k$.
Does the smooth locus of $X$ always contain a $k$-rational point? Why?
- 639
0
votes
0
answers
49
views
Is there a correlation between the bifurcation points of dynamical system and the integral points of the elliptic curve $E_d$?
Motivated by an interest in the interplay between dynamical systems and elliptic curves also On a question of Mordell, I derived a dynamical system corresponding to the elliptic curve:
$
E_d: Y^2 = X^...
0
votes
0
answers
108
views
Isogeny classes for elliptic curves over quadratic field
Question. Is it possible for an elliptic curve $E$ over quadratic field $K$ to have two separate (yet connected) isogeny classes?
There are two $\mathbb{Z}/14\mathbb{Z}$ elliptic curves, $E_1$ and $...
- 913