All Questions
Tagged with ag.algebraic-geometry rational-points
109 questions
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
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
1
vote
1
answer
354
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
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
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
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
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
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
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
10
votes
1
answer
563
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
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
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
16
votes
0
answers
275
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
20
votes
4
answers
3k
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).
- 1,545
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
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
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
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
9
votes
2
answers
792
views
Rational points techniques on curves not using their Jacobian
Let $C/K$ be a curve of genus > 2 over a number field $K$ and suppose there exists a $p \in C(K)$. Then a recurring theme in studying $C(K)$ is using the map $C \to J(C)$ normalized by sending $p$ to ...
- 2,224
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
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
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
20
votes
3
answers
6k
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 ...
- 970
14
votes
1
answer
1k
views
Elliptic curves and connected components
Are there elliptic curves of positive rank with two real connected components
in which all the rational points lie only on one component?
Concrete examples are really appreciated.
- 345
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
2
votes
1
answer
657
views
Rational points on open subsets of affine space [closed]
Let $k$ be an infinite field. Assume that the index of the algebraic closure $\bar{k}$ over $k$ is strictly greater than $2$. Let $U$ be a non-empty open subset of some affine space over $k$. Is it ...
- 1,981
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
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
2
votes
2
answers
440
views
Rational points on towers of curves
Let $\ldots \to X_n \to X_{n-1} \to \ldots \to X_0$ be etale maps between smooth projective curves of genera $g(X_n)>1$, all defined over a fixed number field $K$. By Faltings' Theorem, we know ...
- 16.2k
5
votes
1
answer
826
views
Understanding Siegel's Theorem on integral points
Siegel's theorem states the following:
Let $C$ be a smooth projective curve over a number field $K$. Let $\tilde C\subset C$ be an open affine subvariety, and $i:\tilde C\hookrightarrow \mathbb{A}^...
- 2,081
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
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
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
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
13
votes
2
answers
572
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 \...
- 10.5k
4
votes
2
answers
411
views
Find all possible rational values of a parametric quartic such that it is reducible
Description: Given the following parametric quartic polynomial
$y^4 - 28 z y^3 - 14 (656 - 328 z + 83 z^2) y^2 +
4 z (-20464 + 10232 z + 3409 z^2) y +
91 (62208 - 62208 z + 41504 z^2 - 12976 z^3 +...
- 441
3
votes
2
answers
520
views
cohomological obstructions and rational points
Let $X$ a (nice) scheme over $\mathbb{Q}$. Are there cohomolgical obstructions answering the following questions:
1) is $X(\mathbb{Q})$ an empty set ?
2) is $X(\mathbb{Q})$ a finite (non empty) set ...
- 205
12
votes
2
answers
424
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 ...
- 121
13
votes
1
answer
1k
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 ...
- 7,722
12
votes
1
answer
617
views
What is our current knowledge on the structure of J_0(N)(Q) and J_1(N)(Q)
The question in the title naturally breaks up in two parts, namely the torsion part and the rank part. I already read about some results on both the torsion and the rank part. And I want to know ...
- 2,224
4
votes
1
answer
875
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 ...
- 313
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
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
votes
1
answer
802
views
Genus of algebraic curves with unknown degree
I am not sure if this is a valid question but posting any way:
Say I am over $\mathbb{F}_{p}$ for a prime $p$.
I have a curve of form $x^{2} = f(y)$ where $f(y)$ has an unknown form (and hence ...
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
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
11
votes
2
answers
791
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$ ...
- 4,745
1
vote
2
answers
203
views
Counting number of $2\times 2$ unimodular matrices of particular type
From set of numbers from $\Bbb S=\{0,1,\dots,m\}$, how many distinct $3\times 3$ unimodular matrices parametrized by $(a,b,c,d,e,f)\in\Bbb S^6$ of following type can one form?
\begin{bmatrix}
a^2 &...
user76479
9
votes
1
answer
549
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$.
...
- 125
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