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

learn more… | top users | synonyms

3
votes
1answer
40 views

Relation between elliptic curves and Dirichlet L-series

I have read that an elliptic curve $E$ is modular if $a(n) = c(n)$ for all $n$, where $a(n)$ is the $n$-th coefficient in the Dirichlet series of $E$, $L(E,s)$, and $c(n)$ is the $n$-th coefficient in ...
0
votes
1answer
56 views

Points on an elliptic curve over $\mathbb F_p$

Let $E$ be an elliptic curve over $\mathbb F_p$ (the finite field of $p$ elements) defined by $y^2=x(x-n)(x-m)$ where $p\nmid nm(n-m)$. Let $N$ be the number of $\mathbb F_p$-valued points of $E$. ...
2
votes
1answer
51 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
49 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
111 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
31 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
74 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 ...
3
votes
2answers
75 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
18 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
33 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
36 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
67 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
50 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
38 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
65 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
74 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
46 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
81 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
79 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
191 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
19 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
67 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
132 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
43 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
46 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
43 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
92 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
67 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
48 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
20 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
33 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
42 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
77 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
31 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
57 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
67 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
15 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
67 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
64 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
53 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
46 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
137 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
36 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
138 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
47 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
121 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
108 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
54 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
40 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
143 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 ...