Tag Info

Accepted

Non-trivial solutions for $-(c^2-d^2)(a^2-b^2)=2(ad-bc)(bd+ac)$?

There is no such solution. Let $$Q(a,b,c,d) = 2(ad-bc)(bd+ac) + (a^2-b^2)(c^2-d^2)$$ be the difference between the two sides of the equation, so we seek to solve $Q(a,b,c,d) = 0$. This is a ...
• 77.4k
Accepted

How much do I need to learn algebraic geometry to understand arithmetics over number fields

Well if you want to count rational points on varieties than you probably want to know what abelian varieties are, and general type varieties, and Fano varieties, and K3 surfaces, and what Azumaya ...
• 137k

What is the smallest sphere whose surface includes 100 integer points?

Here are a few facts about this problem, quoting mostly from Local statistics of lattice points on the sphere by Jean Bourgain, Peter Sarnak, Zeév Rudnick: ''A celebrated result of Legendre/Gauss ...
• 45.7k

Possible groups of K-rational points for elliptic curves over arbitrary fields

The structure of $E(K)$ for $K$ a complete local field, say a finite extension of $\mathbb Q_p$ or $\mathbb C_p$, is quite standard. Let $E_0(K)$ denote the set of points with good reduction. Then ...
• 45.7k

Galois Representations and Rational Points

In general one can say very little. There are some positive results (as indicated in the comments) in special cases, but the below example kills any hope that one can say something in general. NB "...
• 40.6k
Accepted

Hard: One more generator needed for a Z/6 elliptic curve

A set of points that generate $E(\mathbb{Q})$ modulo torsion is given by ...
Accepted

Possible groups of K-rational points for elliptic curves over arbitrary fields

By Mordell-Weil, for any number field $K$ we have $$C(K)=\mathbb{Z}^r \times E(K)_{\mathrm{tors}}$$ As you mention, Mazur showed all the possible options for $E(\mathbb{Q})_{\mathrm{tors}}$ in his ...
• 17.4k

Possible groups of K-rational points for elliptic curves over arbitrary fields

The answer to one possible interpretation of the title question -- vary over all elliptic curves over all fields and ask which groups arise -- is given in this paper. With regard to the structure of ...
• 64.8k

rational points of a hyperelliptic curve of genus 3

It turns out that $C(K) = C(\mathbb Q) = \{\infty_+, \infty_-, (0,1), (0,-1), (1,1), (1,-1)\}$. To see this, consider a point $P \in C(K)$ and write $\bar{P}$ for its image under the nontrivial ...
• 11.2k
Accepted

Determining the Mordell-Weil group of a universal elliptic curve

Specialize $a,b$ to functions giving the universal elliptic curve over the modular curve $X_0(N)$. These are known to have rank zero over the function field of the modular curve with coefficients over ...
• 30.2k
Accepted

Around the diophantine equation $\frac{a}{2b+3c}+\frac{b}{2c+3a}+\frac{c}{2a+3b}=\text{odd integer}$, over positive integers

The conjecture is false, and in fact there exists a positive integer solution for $$\frac{a}{2b+3c}+\frac{b}{2c+3a}+\frac{c}{2a+3b}=5,$$ though I was unable to find it explicitly. I will explain how ...
• 27.4k
Accepted

Status of $x^3+y^3+z^3=6xyz$

(Collecting comments into a community wiki answer.) There is a standard method for transforming a smooth cubic into Weierstrass form. See for example Section 1.3 or Appendix B of Silverman and Tate's ...

Does this conic have a rational point?

The answer is no. If there was, we could assume that $X,Y,Z$ are in $\mathbb Q[u,v]$ and are coprime (since that ring is a UFD). Setting $v=0$ we get $X(u,0)^2+uY(u,0)^2=0$ in $\mathbb Q[u]$, which (...
• 27.4k

• 11.2k
Accepted

Are there infinitely many real multiplication fields of abelian surfaces over $\mathbb Q$?

A conjecture of Coleman asserts that only finitely many rings arise as the endomorphism ring of an abelian variety of given dimension defined over a number field of given degree. See [1] for an ...
• 20.5k

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]$?

Assuming the conjecture that varieties of general type cannot have a Zariski dense set of points over a number field (which is a consequence of the more precise Vojta conjectures, for example), ...
• 45.7k
Accepted

Rational points on varieties over local fields

Let us assume that $X$ is smooth and projective for simplicity, given by a number of polynomial equations with coefficients in the ring of integers $\mathcal O$ of $k$. Let $\kappa$ denote the residue ...
• 11.2k
Accepted

Does Chabauty-Coleman method give an algorithm for finding rational points?

Conjecturally, yes. Check out Section 4.4 of this paper by Nils Bruin and myself. The point is to combine Chabauty-Coleman with the "Mordell-Weil Sieve". In the following, I will assume for ...
• 11.2k
Accepted

Singular curves of genus 1

There's no problem over finite fields, but there is a problem over fields that have a nontrivial Brauer class. If you take a genus $0$ curve that's not rational (say a plane quadric), it will always ...
• 137k
Accepted

Field extensions over which algebraic varieties cannot acquire points

Let $K$ be a finite type field extension of $k$ which corresponds to a rational function field of an algebraic variety $V$ for which the rational points are not Zariski dense. Let $U$ be the ...
• 137k

Determining the Mordell-Weil group of a universal elliptic curve

If you want to do this directly, you could "partially specialize" to, say $y^2 = x^3 + Ax + T$ with $A\in\mathbb C$. Then I don't think it's very hard to show, via a standard descent, that as an ...
• 45.7k
Accepted

rational points and a local perturbation of an elliptic curve

A counter-example, showing that the answer is "no" for some $(a_0,b_0)$ can be constructed as follows. Take an elliptic surface over $\mathbb{Q}$ with rank $2$. By Silverman's specialisation theorem, ...
• 8,341

What is the smallest sphere whose surface includes 100 integer points?

Indeed I was thinking too linearly. If we change standard notation slightly, and call $r_3(n)$ the number of (unordered) representations of $n$ as a sum of three increasing and distinct squares, then ...
Accepted

Subfields of Hilbertian fields

The maximal (pro-)solvable extension $L$ of $\mathbb{Q}$ is not Hilbertian, but every proper finite extension of $L$ is. See Fried-Jarden (third edition, 2008), Example 13.9.5.
• 19.3k

Around the diophantine equation $\frac{a}{2b+3c}+\frac{b}{2c+3a}+\frac{c}{2a+3b}=\text{odd integer}$, over positive integers

The problem of this question is qualitatively and quantitatively different in some ways from that considered by Andrew Bremner and myself. If we take the cubic, with $N$ as a fixed constant, it is ...
• 1,509
Accepted

• 4,745