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

learn more… | top users | synonyms

4
votes
1answer
58 views

Distribution of points in ellliptic curves over finite fileds

Let $E$ be an elliptic curve defined over a finite field ${\bf F}_p,$ where $p$ is prime. From Hasse theorem we get $p+1-2\sqrt{p} \leq |E({\bf F}_p)|\leq p+1+2\sqrt{p}.$ Now say that we choose in ...
0
votes
2answers
46 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 ...
0
votes
1answer
55 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
50 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 ...
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
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. ...
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 ...
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
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 ...
1
vote
1answer
35 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 ...
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 ...
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
1answer
189 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 ...
1
vote
0answers
69 views

Is there any Elliptic Curve algorithm equivalent to RSA's asymmetric encryption?

I've been searching but I cant find anything about this... only EC Diffie-Hellman with symmetric cryptography, which is exactly what I do not want :( Imagine this: generate a random private key, ...
0
votes
0answers
44 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?
2
votes
1answer
137 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 ...
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 ...
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
78 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 ...
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
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
60 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}}$ ...
0
votes
1answer
45 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 ...
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 ...
1
vote
1answer
36 views

Calculating point 2P on an elliptic curve

The equation for the curve is $$y^2=x^3+ax+b$$ and the point in question is $P(x,y)$. We have to verify that the $x$ coordinate of $2P$ is $(x^4-2ax^2-8bx+a^2)/4y^2$. However, the value I get is ...
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 ...
0
votes
2answers
80 views

Converting equation into Weierstrass form

I have to convert the equation $y^2 +xy +y=x^3 $ by a change of linear variables to the form $Y^2=X^3+aX+b$ where $a$ and $b$ are rational numbers. So far, by completing the square method I've reduced ...
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 ...
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
41 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 ...
2
votes
1answer
47 views

How to find a solution to the elliptic curve

We know that one solution of the given elliptic curve is (2, 1) and we have to find another rational solution such that $x$ is not equal to 2 by drawing a tangent to the curve at (2, 1). ...
0
votes
2answers
76 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 ...
1
vote
1answer
55 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 ...
0
votes
0answers
30 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
2answers
124 views

What is an embedding degree of elliptic curve?

I am dealing with MOV algorithm to transform ECDLP to DLP in $GF(p^k)$, but at the first step I have to determine embedding degree k. I have read the definitions of embedding degree, but still I am ...
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
65 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 ...
17
votes
1answer
520 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, ...
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 ...
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
0answers
48 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$$ was found in 1967 by Lander et al. In 2010, Bremner and Delorme found it had the highly structured form, $$\small(u + 9)^k + (u ...
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 ...
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 $$ ...
5
votes
2answers
553 views