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

learn more… | top users | synonyms

35
votes
3answers
623 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 ...
26
votes
3answers
964 views

What is an elliptic curve, and how are they used in cryptography?

I hear a lot about Elliptic Curve Cryptography these days, but I'm still not quite sure what they are or how they relate to crypto...
26
votes
0answers
419 views

Gross-Zagier formulae outside of number theory

(Edit: I have asked this question on MO.) The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer ...
25
votes
1answer
1k 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 ...
23
votes
3answers
677 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 ...
17
votes
2answers
2k 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 ...
15
votes
2answers
402 views

Reference request in number theory for an analyst.

I am a confirmed mathochist. My background is in analysis, and fairly traditional analysis at that; mainly harmonic functions, subharmonic functions and boundary behaviour of functions, but I have for ...
13
votes
1answer
329 views

2-Torsion Group Scheme

Consider the elliptic curve $zy^2 + z^2y = x^3.$ I would like to explictly compute the 2-torsion group scheme, $E[2],$ over $\mathbf{Spec}(\mathbb{Z}_2),$ but I'm having a tough time writing down the ...
12
votes
2answers
585 views

How are the Tate-Shafarevich group and class group supposed to be cognates?

How can one consider the Tate-Shafarevich group and class group of a field to be analogues? I have heard many authors and even many expository papers saying so, class group as far as I know is ...
12
votes
3answers
960 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 ...
12
votes
1answer
148 views

Galois Properties of the Values of Modular Forms

Let $f \in S_0(N)$ be a normalized Hecke eigenform. It is well known that its coefficients are algebraic integers, and $f^\sigma$ lies in $S_0(N)$ for $\sigma \in G_{\mathbb{Q}}$. At CM points $z \in ...
12
votes
2answers
207 views

Find $x\in \mathbb{Z}$ such that $54x^3+1$ is a cube

Find $x\in \mathbb{Z}$ such that $54x^3+1$ is a cube. I found $x=0$, any others ?
11
votes
2answers
751 views

Is there a more elementary proof of this special case of Riemann-Roch?

I'm looking for an elementary proof of the fact that $\ell(nP) = \dim L(nP) = n$, where $L(nP)$ is the linear (Riemann-Roch) space of certain rational functions associated to the divisor $nP$, where ...
10
votes
2answers
1k views

Definition of the j-invariant of an elliptic curve

It seems that most introductory books on elliptic curves simply state the definition of the j-invariant of an elliptic curve without giving any background on how that definition was conceived. Of ...
10
votes
1answer
109 views

If $E/\mathbf Q$ is an elliptic curve and $n$ is odd, then the $n$-torsion $E(\mathbf Q)[n]$ is cyclic; elementary proof?

I know that this follows from the existence and non-degeneracy of the Weil pairing. A consequence of the existence of the Weil pairing is that, if the whole $n$-torsion is defined over $\mathbf Q$, ...
10
votes
2answers
125 views

Solve : $ab(a+b)(a-b)=c^2-1$

As we know that $ab(a+b)(a-b)=c^2$ has no integer solution in $Z^+$.However, it seems that $$ab(a+b)(a-b)=c^2-1$$ has infinite positive integer solutions,could you prove it? Here are some of them: ...
10
votes
3answers
344 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$. ...
10
votes
1answer
873 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 ...
10
votes
1answer
123 views

Why can't elliptic curves be parameterized with rational functions?

Background: For our abstract algebra class, we were asked to prove that $\mathbb{Q}(t, \sqrt{t^3 - t})$ is not purely transcendental. It clearly has transcendence degree $1$, so if it is purely ...
10
votes
0answers
263 views

Help with $x^4+y^4+z^4 = 1$?

There are exactly 20 known primitive solutions to, $$a^4+b^4+c^4 = d^4\tag{1}$$ with $d<10^{10}$. Noam Elkies (who kindly answered Question 1 below) showed that the form, $$(x+y)^4+(x-y)^4+z^4 = ...
9
votes
4answers
136 views

What are some applications of the Weil conjectures for algebraic curves?

I have been interested in the Weil conjectures for some time, and the easiest place to start has been in studying them for elliptic curves. I've been able to see some of their applications and ...
9
votes
2answers
59 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 ...
9
votes
2answers
310 views

Concrete Example of the Birch and Swinnerton-Dyer Conjecture

The Setup Consider an elliptic curve $E$ in Weierstrass form $y^2=x^3+ax+b$ with $a,b \in \mathbb{Z}$. As usual, we let $\Delta_E$ be the discriminant of the polynomial, and we set $N_p := $ ...
9
votes
2answers
212 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 ...
9
votes
2answers
204 views

Intuitively, what is the height of a point on an abelian variety?

I have been reading through Silverman's classic text on elliptic curves and I just can't seem to wrap my head around the height functions. It just kind of shows up. What exactly does the height ...
9
votes
2answers
195 views

Elliptic curves over Spec Z

I want to show that there are only finitely many elliptic curves over Spec $\mathbf Z$ without appealing to Siegel's theorem or Shafarevich' theorem. Firstly, I think (but I am not sure) that such an ...
8
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 ...
8
votes
2answers
468 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 ...
8
votes
2answers
153 views

Does there exist an elliptic curve $E$ such that $\#E(\Bbb{F}_{q^2})=(q+1)^2$ for all prime powers $q$?

The following (paraphrased) question is a homework exercise for a course on elliptic curves: Let $p\not\equiv1\pmod{12}$ be a prime number and let $q=p^k$. Show that there exists an elliptic curve ...
8
votes
2answers
830 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 ...
8
votes
1answer
435 views

Automorphism group of the elliptic curve $y^2 + y = x^3$

Consider the elliptic curve $E : y^2+y = x^3$ over $\overline{\mathbb{F}_2}$. It has the biggest automorphism group $G$ among all elliptic curves, namely with order $24$. What is the structure of $G$? ...
8
votes
2answers
130 views

Rank $2$ Elliptic Curves

I'm on a quest for some rank $2$ elliptic curves. My question is actually twofold: Is there a way to easily construct a curve with this property? Is there a database of elliptic curves with given ...
8
votes
3answers
800 views

Basic Understanding of Elliptic curve

I want to know the basic understanding about Elliptic curve. Why it is need and when it is useful. I have searched much on internet but I am not a science student hence I am not able to understand the ...
8
votes
1answer
129 views

Line Bundle on subvarieties

I've been having problem actually restricting a Line bundle $L$ defined on some projective space $\mathbb C \mathbb P^{N-1}$ to a subvariety $X$. I know how to do this on an abstract level, but ...
8
votes
1answer
127 views

Prove that a holonomic (p-recursive) difference equation returns only integral values

Consider the recurrence given by $(n+1)^2 a_{n+1} = (9n^2+9n+3)a_n-27n^2 a_{n-1}$ $a_0 = 1, a_1 = 3$. Clearly, $a_n$ is rational, but unexpectedly, the recurrence seems to output only integral ...
8
votes
1answer
90 views

Are all elliptic curves from $w^3 = \text{cubic}(z)$ isomorphic?

I've been playing around with Riemann surfaces of cubics, and it seems to me that all surfaces obtained as coverings of the Riemann sphere from equations of the form $w^3 = q(z)$, where $q(z)$ is a ...
8
votes
1answer
110 views

Size of the group $E(\mathbb{Q}_{p})/pE(\mathbb{Q}_{p})$

Let $E$ be an elliptic curve over $\mathbb{Q}_{p}$. Do we know anything about the order of the group $E(\mathbb{Q}_{p})/pE(\mathbb{Q}_{p})$? I know that it's finite, but do we know anything else?
8
votes
1answer
217 views

Where does this elliptic curve come from?

In Zeta functions of an infinite family of K3 surfaces, Scott Alhgren, Ken Ono and David Penniston compute the zeta functions (given a good reduction restriction mentioned below) of the K3 surfaces ...
8
votes
1answer
347 views

Splitting of quaternion algebras

A rational (definite) quaternion algebra is an algebra of the form $$ \mathcal{K} = \mathbb{Q} + \mathbb{Q}\alpha + \mathbb{Q}\beta + \mathbb{Q}\alpha \beta $$ with $\alpha^2,\beta^2 \in ...
8
votes
0answers
143 views

Global sections of vector bundles on a complex elliptic curve and analytic functions

Let me fix an elliptic curve $E$ over complex numbers with distinguished point $x \in E$. Thanks to Atiyah we know everything about discreet parameters of vector bundles and its moduli spaces. But I ...
8
votes
0answers
154 views

Hecke Characters

My question today concerns Hecke characters or Größencharaktere. I'm doing a project on complex multiplication of elliptic curves and need some help understanding Hecke characters. My main ...
8
votes
0answers
108 views

Reference for l-adic Lie algebras

I don't know much at all about Lie algebras or representation theory, and I'm trying to read Ribet's `Review of Abelian l-adic Representations and Elliptic Curves'. Is there a standard reference for ...
7
votes
3answers
163 views

The genus of a curve with a group structure

I'm reading Milne's Elliptic Curves and came across this statement: If a nonsingular projective curve has a group structure defined by polynomial maps, then it has genus 1. In this question a similar ...
7
votes
3answers
360 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!
7
votes
2answers
186 views

why say complex multiplication of elliptic curves is beautiful

David Hilbert is said to have remarked that the theory of complex multiplication of elliptic curves was not only the most beautiful part of mathematics but of all science. Just as the title asked. ...
7
votes
2answers
479 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
284 views

Why 1728 in $j$-invariant?

The $j$-invariant for elliptic curves has a $1728$ in it. According to Hartshorne, this is supposedly for characteristic-$2$ and $3$ reasons, despite appearances to the contrary. Indeed, it is ...
7
votes
2answers
126 views

$a^3+3a^2+a$ is never a perfect square.

Prove that no number of the form $ a^3+3a^2+a $, for a positive integer $a$, is a perfect square. This problem was published in the Italian national competition (Cesenatico 1991). I've been ...
7
votes
1answer
245 views

Is the pushforward of the sheaf of differentials on an elliptic curve over a scheme necessarily trivial?

If $f:E\rightarrow S$ is an elliptic curve over a scheme $S$ (so $f$ is proper and smooth of relative dimension one with geometrically connected fibers of genus one, equipped with a section ...
7
votes
2answers
527 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 ...