All Questions
Tagged with rational-points ag.algebraic-geometry
28 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
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
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
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
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
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
3
votes
0
answers
92
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
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
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
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
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
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
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
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
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
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
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
0
votes
0
answers
214
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 $(p,\...
- 2,032