For questions regarding elliptic curves. Questions on ellipses should be tagged [conic-sections] instead.

learn more… | top users | synonyms

27
votes
1answer
1k views

Does an elementary solution exist to $x^2+1=y^3$?

Prove that there are no positive integer solutions to $$x^2+1=y^3$$ This problem is easy if you apply Catalans conjecture and still doable talking about Gaussian integers and UFD's. However, can this ...
5
votes
3answers
2k views

Integral points on an elliptic curve

Let's start with an elliptic curve in the form $$E : y^2 = x^3 + Ax + B, \qquad A, B \in \mathbb{Z}.$$ I am wondering about integral points. I know that Siegel proved that $E$ has only finitely many ...
27
votes
1answer
3k views

How to compute rational or integer points on elliptic curves

This is an attempt to get someone to write a canonical answer, as discussed in this meta thread. We often have people come to us asking for solutions to a diophantine equation which, after some clever ...
17
votes
2answers
4k views

Elliptic Curves and Points at Infinity

My undergraduate number theory class decided to dip into a bit of algebraic geometry to finish up the semester. I'm having trouble understanding this bit of information that the instructor presented ...
17
votes
1answer
635 views

More elliptic curves for $x^4+y^4+z^4 = 1$?

(Note: This has been updated to be similar with this MO post.) There are exactly 22 known primitive solutions to, $$a^4+b^4+c^4 = d^4\tag{1}$$ with $d<10^{11}$. Noam Elkies showed that $(1)$ as, ...
3
votes
1answer
84 views

Commutativity of “extension” and “taking the radical” of ideals

Let $K$ be a field (not necessarily algebraically closed) and $\overline{K}$ its algebraic closure. By $K[\text{X}]$, I mean $K[X_1,...,X_n]$. Is it true that the operations of "extension" and "...
7
votes
2answers
1k views

Local-Global Principle and the Cassels statement.

In a recent article I have read, i.e. " Lecture notes on elliptic curves ", Prof.Cassels remarks in page-110 that There is not merely a local-global principle for curves of genus-$0$, but ...
3
votes
2answers
498 views

Calculating the divisors of the coordinate functions on an elliptic curve

I am currently reading Silverman's arithmetic of elliptic curves. In chapter II, reviewing divisor, there is an explicit calculation: Given $y^2 = (x-e_1)(x-e_2)(x-e_3)$ let $P_i = (e_i,0),$ and $ P_\...
10
votes
2answers
396 views

Making an elliptic curve out of a cubic polynomial made a cube, or $ax^3+bx^2+cx+d = y^3$

What is the transformation such that a general cubic polynomial to be made a cube, $$ax^3+bx^2+cx+d = y^3\tag{1}$$ can be transformed to Weierstrass form, $$x^3+Ax+B = t^2\tag{2}$$ (The special ...
15
votes
2answers
208 views

The term “elliptic”

There are many things which are called “elliptic” in various branches of mathematics: Elliptic curves Elliptic functions Elliptic geometry Elliptic hyperboloid Elliptic integral Elliptic modulus ...
7
votes
3answers
2k views

Group Law for an Elliptic curve

I was reading this book "Rational points on Elliptic curves" by J.Silverman, and J.Tate, 2 prominent figures in Number theory and was very intrigued after reading the first couple of pages. The ...
11
votes
2answers
2k views

The modular curve X(N)

I have a question about the modular curve X(N), which classifies elliptic curves with full level N structure. (A level N structure of an elliptic curve E is an isomorphism from $Z/NZ \times Z/NZ$ to ...
7
votes
0answers
119 views

Generalizing Ramanujan's cube roots of cubic roots identities

(This extends this post.) Define the function, $$\sqrt[3]{G(t)} = \sqrt[3]{t+x_1}+\sqrt[3]{t+x_2}+\sqrt[3]{t+x_3}\tag1$$ where the $x_i$ are roots of the cubic, $$x^3+ax^2+bx+c=0\tag2$$ While $G(t)...
10
votes
3answers
1k views

Can you recommend some books on elliptic function?

I plan to study elliptic function. Can you recommend some books? What is the relationship between elliptic function and elliptic curve?Many thanks in advance!
8
votes
1answer
150 views

Why does the elliptic curve for $a+b+c = abc = 6$ involve a solvable nonic?

The curve discussed in this OP's post, $$\color{brown}{-24a+36a^2-12a^3+a^4}=z^2\tag1$$ is birationally equivalent to an elliptic curve. Following E. Delanoy's post, let $G$ be the set of rational ...
6
votes
1answer
153 views

Rational map of a curve to an elliptic curve

If I have a curve given by $$ y^2 = (x^3-1)(x^3-a), $$ how do I find out if there is a rational variable transformation $y=y(s,t)$, $x=x(s,t)$ that maps this curve onto an elliptic curve of the form $$...
5
votes
1answer
218 views

Cube of an integer

$\frac{x}{y}+\frac{y}{z}+\frac{z}{x}=k$ and $x, y, z, k$ are integers. Prove that $xyz$ is cube of some integer number. I was wondering about giving a parametrization for the rational points on ...
5
votes
1answer
654 views

Intuition and Stumbling blocks in proving the finiteness of WC group

After reading many articles about the Tate-Shafarevich Group ,i understood that "in naive perspective the group is nothing but the measure of the failure of Hasse principle, and coming to its ...
4
votes
1answer
1k views

How to find all rational points on the elliptic curves like $y^2=x^3-2$

Reading the book by Diophantus, one may be led to consider the curves like: $y^2=x^3+1$, $y^2=x^3-1$, $y^2=x^3-2$, the first two of which are easy (after calculating some eight curves to be solved ...
3
votes
1answer
227 views

How could we show that the abelian group has $\text{ rank}=0$?

Let $E/\mathbb{Q}$ the elliptic curve $Y^2=X^3+p^2X$ with $p \equiv 5 \pmod 8$. Show that the abelian group $E(\mathbb{Q})$ has $\text{rank}=0$. Could you give me a hint how we could do this? It is ...
7
votes
1answer
271 views

UPDATE: How to find the order of elliptic curve over finite field extension

I want to find the order of elliptic curve over the finite field extension $\mathbb{F}_{p^2}$, where $E(\mathbb{F}_{p^2}):y^2=x^3+ax+b $ I am using the method illustrated by John J. McGee in his ...
3
votes
1answer
81 views

How to obtaining the lattice corresponding to an elliptic curve

Let $C$ be a complex elliptic curve given by the quation $y^2=4x^3-g_2 x -g_3$. How do I find the lattice $\Lambda$ such that $C \cong \mathbb{C}/\Lambda$? I need the lattice (and corresponding ...
2
votes
1answer
214 views

Looking for help with this elementary method of finding integer solutions on an elliptic curve.

In the post Finding all solutions to $y^3 = x^2 + x + 1$ with $x,y$ integers larger than $1$, the single positive integer solution $(x,y)=(18,7)$ is found using algebraic integers. In one of the ...
2
votes
1answer
234 views

Proving the condition for two elliptic curves given in Weierstrass form to be isomorphic

I'm taking a course on elliptic curves and trying to understand the proof of Proposition 3.2. Let $E$, $E'$ be elliptic curves over $K$ in Weierstrass form: $$E:y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+...
4
votes
1answer
127 views

Finding two non-congruent right-angle triangles

The map $g: B \to A, \ (x,y) \mapsto \left(\dfrac {x^2 - 25} y, \dfrac {10x} y, \dfrac {x^2 + 25} y \right)$ is a bijection where $A = \{ (a,b,c) \in \Bbb Q ^3 : a^2 + b^2 = c^2, \ ab = 10 \}$ and $B =...
4
votes
1answer
84 views

How I can express $(x,y)∈G$ by using the $r$ independent points $P_1,P_2,\ldots,P_r$

Let $C$ be an elliptic curve over $ℚ$. The group $C(ℚ)$ is a finitely generated Abelian group and we have $C(ℚ)≃ℤ^{r}⊕C(ℚ)^\mathrm{tors}$, where $C(ℚ)^\mathrm{tors}$ is a finite abelian group (is the ...
4
votes
2answers
185 views

The group $E(\mathbb{F}_p)$ has exactly $p+1$ elements

Let $E/\mathbb{F}_p$ the elliptic curve $y^2=x^3+Ax$. We suppose that $p \geq 7$ and $p \equiv 3 \pmod {4}$. I want to show that the group $E(\mathbb{F}_p)$ has exactly $p+1$ elements. I was ...
3
votes
1answer
66 views

Multiplication by $m$ isogenies of elliptic curves in characteristic $p$

I've been attempting to prove some comments I've read on MO by myself for my undergrad thesis regarding étale morphisms of elliptic curves. My definition of an étale morphism is taken from Milne's ...
2
votes
2answers
122 views

Reason behind standard names of coefficients in long Weierstrass equation

A long Weierstrass equation is an equation of the form $$y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6$$ Why are the coefficients named $a_1, a_2, a_3, a_4$ and $a_6$ in this manner, corresponding to $xy, x^2, ...
35
votes
3answers
875 views

The resemblance between Mordell's theorem and Dirichlet's unit theorem

The first one states that if $E/\mathbf Q$ is an elliptic curve, then $E(\mathbf Q)$ is a finitely generated abelian group. If $K/\mathbf Q$ is a number field, Dirichlet's theorem says (among other ...
23
votes
3answers
763 views

Find integer in the form: $\frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b}$

Let $a,b,c \in \mathbb N$ find integer in the form: $$I=\frac{a}{b+c} + \frac{b}{c+a} + \frac{c} {a+b}$$ Using Nesbitt's inequality: $I \ge \frac 32$ I am trying to prove $I \le 2$ to implies ...
9
votes
1answer
2k views

Reading the mind of Prof. John Coates (motive behind his statement)

To start with the issue, I have been thinking from many days that Birch-Swinnerton-dyer conjectures should have some association with the Galois theory, but one day I got the Article of Tate called as ...
15
votes
3answers
2k views

History of elliptic curves

In one sense elliptic curves are a rather modern object as some of its properties have been studied only in the last century or so. But in another sense there are a very classical object for studying ...
13
votes
1answer
2k views

Explicit Derivation of Weierstrass Normal Form for Cubic Curve

In page 22-23 of Rational Points on Elliptic Curves by Silverman and Tate, authors explain why is it possible to put every cubic curve into Weierstrass Normal Form. Here are relevant pages: (My ...
11
votes
2answers
799 views

Is the real locus of an elliptic curve the intersection of a torus with a plane?

In Lawrence Washington's book Elliptic Curves: Number Theory and Criptography I read that if $E$ is an elliptic curve defined over the real numbers $\mathbb{R}$ then the set of real points $E(\mathbb{...
7
votes
2answers
181 views

Is the equality $1^2+\cdots + 24^2 = 70^2$ just a coincidence?

I have read a question (written in Korean) that the equality $$1^2+2^2+\cdots + 24^2 = 70^2$$ is just a coincidence or not. It is a related to the integral points of the following elliptic curve (?): $...
6
votes
0answers
221 views

What is stopping every Mordell equation from having a [truly] elementary proof?

The Mordell equation is the Diophantine equation $$Y^2 = X^3-k \tag{1}$$ where $k$ is a given integer. There is no known single method — elementary or otherwise — to solve equation $(1)$ for all $k$, ...
3
votes
1answer
118 views

rational points on particular elliptic curve

I do have a few books that discuss elliptic curves, however... What are the rational points on $$ y^2 = 4 x^3 - 4 x = 4 x(x-1)(x+1)? $$ I think it ought to be $(-1,0), (0,0), (1,0).$ Maybe it's ...
9
votes
3answers
1k views

References for elliptic curves

I just finished reading Silverman and Tate's Rational Points on Elliptic Curves and thought it was very interesting. Could any of you point me to some more references (ex. books, articles) on ...
8
votes
2answers
286 views

Integer solutions of $x^3 = 7y^3 + 6 y^2+2 y$?

Does the equation $$x^3 = 7y^3 + 6 y^2+2 y\tag{1}$$ have any positive integer solutions? This is equivalent to a conjecture about OEIS sequence A245624. Maple tells me this is a curve of genus $1$, ...
6
votes
1answer
120 views

On a remarkable system of fourth powers using $x^4+y^4+(x+y)^4=2z^4$

The problem is to find four integers $a,b,c,d$ such that, $$a^4+b^4+(a+b)^4=2{x_1}^4\\a^4+c^4+(a+c)^4=2{x_2}^4\\a^4+d^4+(a+d)^4=2{\color{blue}{x_3}}^4\\b^4+c^4+(b+c)^4=2{x_4}^4\\b^4+d^4+(b+d)^4=2{x_5}...
10
votes
3answers
609 views

Integer solutions for $x^3+2=y^2$?

I've heard a famous result that $26$ is the only integer, such that $26-1=25$ is a square number and $26+1=27$ is a cubic number.In other words, $(x,y)=(5,3)$ is the only solution for $x^2+2=y^3$. ...
9
votes
2answers
122 views

order of an elliptic curve

I have found that the curve given by $x^3+x+1=y^2$ over $\mathbb{F_5}$ has 9 points. Now I am supposed to find the number of points of the same curve on $\mathbb{F}_{125}$. Using Hasse and the fact ...
5
votes
1answer
766 views

How do I show that this curve has a nonsingular model of genus 1?

Let $C$ be the projective closure of $Z(f) \subset \mathbf{A}^2$ where $f$ is an irreducible polynomial of degree 4 in $x$ and degree 2 in $y$, so $C = Z(f^*) \subset \mathbf{P}^2$ where $f^*$ is the ...
3
votes
1answer
108 views

Special Euler bricks and $x^2(y^2-1)^2+y^2(x^2-1)^2=z^2$

Define, $$P_1 := a^2+b^2\\ P_2 := a^2+c^2\\ P_3 := b^2+c^2$$ Let, $$a,b,c = 2xy,\;x(y^2-1),\;y(x^2-1)$$ and $P_1,P_2$ become squares. If we wish to make $P_3$ a square as well, then, $$P_3:=x^2(...
11
votes
2answers
273 views

Clarifying a comment of Serre

Let $\rho_{\ell}$ be the "mod $\ell$" Galois representation associated to an elliptic curve $E/K$ (i.e., corresponding to the action of Galois on the $\ell$-torsion points). Serre proved that in the ...
7
votes
2answers
848 views

Geometric reason why elliptic curve group law is associative

The question title says it all. I am looking for a geometric proof for the fact that the group law defined on elliptic curves is associative. I've heard somewhere about something on the ...
7
votes
2answers
589 views

A question on FLT and Taniyama Shimura

Sometime back i watched the documentary of Andrew Wiles proving the Fermat's Last theorem. A truly inspiring video and i still watch it whenever i am in a depressed mood. There are certain things(...
5
votes
2answers
2k views

What is a primitive point on an elliptic curve?

While working with elliptic curves for cryptography reasons, I found the notion of a primitive point, but no definition. For example, $P(0,6)$ is a primitive point on the elliptic curve $y^2\equiv x^3+...
5
votes
0answers
161 views

Why is this a characterization of isogenies of elliptic curves? (From Silverman)

In the proof of Theorem III.6.2 (c) in Silverman's The Arithmetic Of Elliptic Curves it says: Let $x_1, y_1 \in K(E_1)$ and $x_2, y_2 \in K(E_2)$ be Weierstrass coordinates. We start by looking at ...