Skip to main content

All Questions

Filter by
Sorted by
Tagged with
20 votes
3 answers
2k views

what is the maximum number of rational points of a curve of genus 2 over the rationals

Conjecturally, there exists an integer $n$ such that the number of rational points of a genus $2$ curve over $\mathbf{Q}$ is at most $n$. (This follows from the Bombieri-Lang conjecture.) We are ...
Dirk's user avatar
  • 209
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 ...
Maksym Voznyy's user avatar
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 ...
Maksym Voznyy's user avatar
20 votes
5 answers
2k views

Rational solutions of the Fermat equation $X^n+Y^n+Z^n=1$

As a generalisation to the equation of Fermat, one can ask for rational solutions of $X^n+Y^n+Z^n=1$ (or almost equivalently integer solutions of $X^n+Y^n+Z^n=T^n$). Contrary to the case of Fermat, ...
Jérémy Blanc's user avatar
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.
user21956's user avatar
  • 345
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 ...
Maksym Voznyy's user avatar
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 ...
Will Sawin's user avatar
  • 149k
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 ...
joro's user avatar
  • 25.4k
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 $...
Gro-Tsen's user avatar
  • 32.5k
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ć, ...
Maksym Voznyy's user avatar
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 $\...
Maksym Voznyy's user avatar
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 ...
joro's user avatar
  • 25.4k
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 $(...
joro's user avatar
  • 25.4k
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 ...
joro's user avatar
  • 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 ...
joro's user avatar
  • 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 ...
joro's user avatar
  • 25.4k