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

learn more… | top users | synonyms

2
votes
1answer
91 views

Why does an elliptic curve have genus one?

I read that one definition of an elliptic curve goes as follows: Let $k$ be a field. We define the elliptic curve over $k$ be a smooth projective curve $E$ over $k$, isomorphic to a closed subvariety ...
0
votes
2answers
68 views

Tate-Shafarevich groups and Hasse principle (reference)

I'm looking for a proof of the fact that the Hasse local-global principle holds for an elliptic curve $E$ defined over $Q$ if and only if the Tate-Shafarevich group of $E$ vanishes. I just need to ...
12
votes
2answers
115 views

What is known about the numbers $M_p = \left\vert C(\mathbb{F}_p )\right\vert$?

There is a question (2.4.c) marked ** (to denote "extremely difficult/currently open problem") in Silverman and Tate's Rational Points on Elliptic Curves which I found really interesting and wondered ...
1
vote
1answer
33 views

Why ins't $\mathfrak{h}$ enough to parametrize complex elliptic curves?

this a pretty idiot question and of course there is a mistake in my way of thinking. Let $E$ be a elliptic curve, $E (\mathbb{C}) \cong \mathbb{C} / \Lambda$, where $\Lambda = \langle \omega_1, ...
7
votes
1answer
92 views

How to test if a given elliptic curve has complex multiplication

Is there a general, reasonably easy to understand, algorithm for testing whether an elliptic curve has CM? For example, consider the curve $y^2=x^3+\frac{27}{1727}x+\frac{54}{1727}$ This has ...
4
votes
2answers
87 views

In cryptography, why do we reduce elliptic curves over finite fields?

What's wrong with real numbers? Is the continuous logarithm problem "easy" to solve for elliptic curves? Here's what I believe: elliptic curves over the real numbers have infinitely many points, many ...
0
votes
1answer
21 views

Multiplication by n on E(K) is surjective

What's the easiest way to see this? I can imagine a proof for $n=2^k$ since for some $P \in E(K)$ you can just move a line intersecting P round the curve till it's tangent, then that point, say $Q ...
3
votes
0answers
38 views

Some clarifications regarding Deligne's paper on $\ell$-adic representations arising from modular forms

In Deligne's article in Séminaire Bourbaki "Formes modulaires et représentation $\ell$-adiques" ...
1
vote
1answer
39 views

(hyper) elliptic curve in characteristic two and the Jacobian criterion

Let $k$ be a field of characteristic two and let $E$ be a curve given by $$ y^2=x*(x+1)*(x^2+x+1)*(x^3+x+1)\quad\text{or}\quad y^2=f(x) $$ Now we have $dy^2/dy=2y=0$ and consider the Jacobian ...
1
vote
0answers
76 views

Unable to find any information regarding this fact (Frey, elliptic curves)

Frey states in 'Links between stable elliptic curves and certain Diophantine equations' the following "The most important fact about elliptic curves with reduction of muItipIicative type is due to ...
0
votes
1answer
51 views

Elliptic curves $\mathbb C/\Gamma , \mathbb C/\Gamma'$ are isomorphic iff $\Gamma=\lambda\Gamma'.$

Let, $\Gamma, \Gamma'$ be $lattices$ of $\mathbb C$, define $elliptic$ $curves$ by $\mathbb C/\Gamma , \mathbb C/\Gamma'$, then $\mathbb C/\Gamma , \mathbb C/\Gamma'$ are isomorphic ...
1
vote
0answers
39 views

Singularity of $V(Y^2-X^3-X)\to\mathbb{P}^1$

In "The Arithmetic of Elliptic Curves, in example I.3.7, Silverman define $\Phi:V(Y^2Z-X^3-X^2Z)\to\mathbb{P}^1$ with $\Phi(X,Y,Z)=[Y,X]$. He says that $\Phi$ is not regular at $[0,0,1]$. How to prove ...
6
votes
2answers
83 views

The mod $p$ Galois representation of the Frey curve is unramified away from $2, p$

Given a hypothetical solution to Fermat's last theorem for $p \ge 5$ $$a^p + b^p + c^p = 0$$with $a \equiv -1 \pmod 4$, $b$ even, we can write down the Frey Curve$$E: y^2 = x(x-a^p)(x+b^p)$$which has ...
0
votes
0answers
80 views

Find a point $P$ on an elliptic curve, given $2P$

Let $E$ be the Elliptic curve given by $Y^2=x^3+5x-6$ and suppose $P$ is a point on $E$ over $\mathbb F_{65537}$ with $2P=(7283,24272)$. Find $P$. I approached this question as follows. ...
0
votes
0answers
53 views

Elliptic Curve finding point of a curve backward?

Given $E: y^2=X^3+5X-6$ over $F=(65537)$ with $2P=(7283, 24272)$ how to find $P$ Can anyone provide an example in steps?
4
votes
1answer
84 views

Determine if $E(\mathbb{Q})$ is finite or infinite.

It is given the following algebraic curve: $$ZY^2=X^3+3XZ$$ I want to find the group of rational points of finite order $E(\mathbb{Q})_{\text{torsion}}$ and to determine if $E(\mathbb{Q})$ is finite ...
2
votes
0answers
99 views

Solving cubic equation modulo prime

I'm trying to an algorithm that can solve an elliptic curve equation for constant y: $y^2 = x^3 + ax + b \text{ mod } p$ p is 57 digits long I've tried to solve it using like a regular cubic ...
6
votes
1answer
197 views

If six points of an elliptic curve are contained in a conic, then their sum is $O$.

Let $C$ be a projective cubic without singular points and $O\in C$ an inflexion point. We consider the addition in $C$ with $O$ as neutral element. If $R_{1},...,R_{6}\in C$ are different points such ...
0
votes
0answers
23 views

Q: Deriving lambda and beta values for for an elliptical curve

You can see a little background about this on this bitcointalk post by the late Hal Finney. Beta and lambda are the values on the secp256k1 curve where: λ^3 (mod N) = 1 β^3 (mod P) = 1 In hex, N ...
1
vote
1answer
85 views

Mazur's theorem-abelian torsion group of rational points of an elliptic curve

I am looking at Mazur's theorem... $$E(\mathbb{Q})_{\text{torsion}} \cong \mathbb{Z}/n\mathbb{Z}, \text{ for } n=1,2, \dots ,10,12$$ means that the torsion group $E(\mathbb{Q})_{\text{torsion}}$ ...
6
votes
1answer
158 views

Why do modular curves parametrise elliptic curves?

Let $Y_1(N)=\Gamma_1(N)/H$, where $H$ is the upper half plane. In these lecture notes http://math.uga.edu/~pete/modularandshimura.pdf , the author makes the following statement: "$Y_1(N)$ ...
3
votes
1answer
50 views

Proof of a Proposition regarding the reduction of N-torsion groups on elliptic curves

In Diamond-Shurman A first course in Modular forms p.334 Prop. 8.4.4. It is stated, For E elliptic curve over $\bar{\mathbb{Q}}$ with good reduction at the prime ideal $\mathfrak{p}$ the reduction ...
0
votes
1answer
49 views

Mazur's theorem-abelian group of rational points of an elliptic curve

From Mazur's theorem we have the following: If $E |_{\mathbb{Q}}: y^2=x^3+ax+b, a, b \in \mathbb{Z}$ an elliptic curve, then $$E(\mathbb{Q})_{\text{torsion}} \cong \mathbb{Z}/n\mathbb{Z}, \text{ for ...
0
votes
0answers
44 views

Their product is a cubic of a rational number $x$ minus $x$

It is given the integer $6$. Analyze it into two parts such that their product is a cubic of a rational number $x$ minus $x$. $$$$ Let $y$ be the one factor. The other one is $6-y$. We have ...
1
vote
2answers
99 views

Abelian torsion group of rational points of an elliptic curve

I want to find the abelian group of rational points $E(\mathbb{Q})_{\text{torsion}}$ of the elliptic curve $y^2=x^3+8$. $$E(\mathbb{Q})_{\text{torsion}}=\{P \in E(\mathbb{Q}) | P \text{ of finite ...
0
votes
1answer
72 views

Abelian group of rational points of an elliptic curve

I want to find the abelian group of rational points $E(\mathbb{Q})_{\text{torsion}}$ of the elliptic curve $y^2=x^3-2$. $$E(\mathbb{Q})_{\text{torsion}}=\{P \in E(\mathbb{Q}) | P \text{ of finite ...
0
votes
1answer
50 views

Elliptic curve-point at infinity

In my lecture notes we have the following: $$P \oplus Q \oplus R =O \Leftrightarrow P, Q, R \text{ are collinear }$$ So $$P \oplus Q \oplus O =O \Leftrightarrow Q=-P$$ that means that $Q=-P$ ...
0
votes
0answers
21 views

Division on Elliptic Curve points

For dividing two elliptic curve points(mod some value), we use multiplication and modular inverse. Would the reason be due to division being undefined otherwise? The points of an elliptic curve, yield ...
1
vote
2answers
35 views

Equation of a non-singular cubic curve

The equation of a non-singular cubic curve in affine coordinates is $$y^2+a_1 xy+a_3 y=x^3+a_2x^2+a_4x+a_6 .$$ If $\text{ch } K \neq 2, 3$ then it is written $$y^2=x^3+ax+b .$$ Why do we write it ...
0
votes
0answers
51 views

Genus 2 Elliptic curves & their periods

The first part of my question is just a check of my knowledge on elliptic curves. I'm fairly happy with the number theory side of things (torsions, rank, whatever) but is my understanding of the more ...
0
votes
2answers
93 views

How do I generate group table for elliptic curves over finite fields

Can someone please explain how to generate a group table for an elliptic curve over a finite field? The number of solutions or points are about 16 and it is not possible to do them by adding each ...
0
votes
0answers
35 views

Group tables for elliptic curves over primes

When constructing a group table for an elliptic curve modulo a relatively large prime $p$, say 23, are adding a few points with respect to each other enough to establish symmetry and thereby deduce ...
1
vote
1answer
66 views

Families of Elliptic Curves

I am looking to test some properties of elliptic curves and I would like to have a variety of different families to test. I was wondering if there was, say, a catalogue of the different interesting ...
3
votes
1answer
78 views

How Appell-Humbert theorem works in the simplest case of an elliptic curve

Line bundles on complex tori $V/\Lambda$ could be described by a pair $(H, \chi)$, where $H$ is a hermitian form on $V$ s.t. $\operatorname{Im} H(\Lambda, \Lambda) \subset \mathbb{Z}$, and $\chi$ is a ...
0
votes
0answers
18 views

Finding Tate-Shafarevich group?

What is the algorithm to find Tate-Shafarevich group of the Mordell's equation $ y^2=x^3-m.$ Thank you in advance.
0
votes
0answers
94 views

Exercise 1.10 from Silverman “The Arithmetic of Elliptic Curves ”

I am having trouble with Silverman's exercise 1.10(b). The converse of (a) is easy because there is no integer solution to the equation when $p \equiv 3$ mod $4$. However, this method does not work ...
4
votes
0answers
68 views

Pullback of indecomposable bundles on an elliptic curve

I consider an elliptic curve $\mathcal C$ over $\mathbb{C}$ and the multiplication by $[n]$ map on the curve. Then I consider an indecomposable vector bundle $E$ on $C$. What can I say of the ...
1
vote
0answers
56 views

An elliptic curve for the multigrade $\sum^8 a_n^k = \sum^8 b_n^k$ for $k=1,2,3,4,5,9$?

I. The first solution to, $$\sum^6_{n=1} a_n^9 =\sum^6_{n=1} b_n^9$$ $$13^9+18^9+23^9-5^9-10^9-15^9 = 9^9+21^9+22^9-1^9-13^9-14^9$$ was found in 1967 by computer search by Lander et al. It stood ...
5
votes
0answers
53 views

Graphing elliptical curves based on group operation

I just found this and it blew my mind (he gives an elliptical curve to do multiplication). If I understand correctly (from reading the link and other things) the Abelian group he is using is ...
6
votes
3answers
145 views

Fact check: global geometry / topology of moduli space of curves

Question: Is the moduli space of smooth complex curves of genus $g\geq2$ isomorphic to the affine space $\mathbb A_{\mathbb C}^{3g-3}$? (Note: I am not asking about the compactification of this ...
1
vote
1answer
49 views

Parametrization of line bundles over an elliptic curve by points of that curve

Let $E$ be an elliptic curve over an algebraically closed field of characteristic zero, and let $\mathcal{L}$ be a line bundle on $E$ of degree $3$. Suppose, I can present this line bundle as $$ ...
2
votes
1answer
146 views

The sum of three colinear rational points is equal to $O$

Show that in an elliptic curve $E/\mathbb{Q}$ the sum of three colinear rational points of it is equal to $O$ exactly when the neutral element of the group $E(\mathbb{Q})$, $O$ is an inflection point ...
1
vote
1answer
69 views

Computing number of points in elliptic curve through frobenius endomorphism

I got the following question where I stuck at the moment. Given is the elliptic curve (EC) equation: $E: y^2+3xy+y=x^3+4x+4$ over the finite field ${\bf F}_5$ The first task is now to find out all ...
0
votes
2answers
128 views

Point of elliptic curve

How can we calculate the multiple of a point of an elliptic curve? For example having the elliptic curve $y^2=x^3+x^2-25x+39$ over $\mathbb{Q}$ and the point $P=(21, 96)$. To find the point $6P$ ...
7
votes
1answer
148 views

Do schemes help us understand elliptic curves?

I'm reading Silverman and Tate's "Rational Points on Elliptic Curves" and I'm very much enjoying learning about these objects, and in particular doing a bit of number theory. It's different to what ...
3
votes
1answer
63 views

Basic computation for the degree of an isogeny

I am trying to compute the degree of the isogeny $\phi:E_{1} \to E_{2}$ where $\phi(x,y)=(\frac{y^2}{x^2},\frac{y(b-x^{2})}{x^2})$ with $E_{1} : y^{2} = x^{3} + ax^{2} + bx$, $E_{2} : Y^{2} = X^{3} - ...
0
votes
1answer
61 views

Projective coordinates for point at infinity on elliptic curve

What is the unique characteristic of the projective coordinates of a point at infinity? I am specifically looking for a characteristic on (short) weierstrass curves. I know that the point at infinity ...
4
votes
2answers
152 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 ...
1
vote
1answer
87 views

Was the Wiles's proof of FLT based on elliptic curves or generalized elliptic curves?

I have been told that Wiles's proof of FLT was based on elliptic curves. But yesterday I read from Takeshi Saito's book "Fermat's Last Theorem Basic Tools" that there is so called generalized elliptic ...
2
votes
2answers
146 views

Rank of an elliptic curve

How could we compute the rank of an elliptic curve? I looked for a methodoly in my book, but i didn't find anything. Could you give me a hint? I want to find the rank of the curve $Y^2=X^3+p^2X$ ...