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

learn more… | top users | synonyms

0
votes
1answer
58 views

Point multiplication in elliptic curve

Suppose $a$ is an integer and $Q$ is a point on an elliptic curve and $(x,y)$ are $x$ and $y$ coordinates of this point. My question is: Whether $a\cdot Q$ is equal to $(ax, ay)$?
1
vote
0answers
103 views

Transform Weierstrass equation into cubic

How can I transform an elliptic curve over the real numbers in Weierstrass form $y^2=x^3+ax+b$ into a cubic of the form $y^2=x(x-c)(x-d)$?
1
vote
1answer
107 views

Elliptic Curve: Multiplying points over a finite field

Let $E$ be an elliptic curve over a finite field $\mathbb{F}_q$ where $q$ is prime. Let $P$ be a point on $E$. Consider the point $Q=(q+1)P=P+\cdots+P$, which is $P$ added to itself $q+1$ times. Due ...
1
vote
1answer
63 views

Counting elements of $y^2 - y = x^3$ in finite fields

The problem I have to solve is the following: Let $p$ be a prime number with $p \equiv 2$ mod $3$. Let $E$ be the elliptic curve given by $y^2 - y = x^3$. Show that $\#E(\mathbb{F}_p) = p+1$ and ...
8
votes
2answers
157 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 ...
1
vote
1answer
58 views

Amount of points on an elliptic curve over $F_q$

Assume I have these two elliptic curves: \begin{align*} E:Y^2&=X^3+b_2X^2+b_4X+b_6\\ E':Y^2&=X^3+gb_2X^2+g^2b_4X+g^3b_6, \end{align*} over $\mathbb{F}_q$, where $g$ is not a square in ...
1
vote
1answer
47 views

Quadratic twist of an elliptic curve

I found this page: http://en.wikipedia.org/wiki/Twists_of_curves#Quadratic_twist which tells me $dy^2=x^3+a_2x^2+a_4x+a_6$ is equivalent to $y^2=x^3+da_2x^2+d^2a_4x+d^3a_6$. Why is this equivalent ...
2
votes
1answer
93 views

Number of points on $Y^2 = X^3 + A$ over $\mathbb{F}_p$

Let $p\equiv 2\pmod{3}$ be prime and let $A\in\mathbb{F}^{∗}_p$ . Show that the number of points (including the point at infinity) on the curve $Y^2 = X^ 3 + A$ over $\mathbb{F}_ p$ is exactly $p + 1$ ...
8
votes
2answers
334 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 ...
0
votes
1answer
36 views

isogenies between tori

Let Hom$(\mathbb{C}/\Lambda_1,\mathbb{C}/\Lambda_2)$ be the set of isogenies between $\mathbb{C}/\Lambda_1$ and $\mathbb{C}/\Lambda_2$, where $\Lambda_1,\Lambda_2$ are lattices. I am asked to prove ...
1
vote
1answer
132 views

State of the art in arithmetic moduli of elliptic curves?

In trying to get into the topic of moduli spaces of elliptic curves, the following question arises: What is the state of the art in the topic right now? Deligne and Rapoport describes how the ...
0
votes
1answer
53 views

Find the bound for [K(E[p]):K]

Let E be an elliptic curve over a field K of characteristic p > 0, we know that E[p] has order 1 or p, how to bound [K(E[p]):K]?
7
votes
1answer
129 views

Challenge from Fermat

Fermat challenged Frenicle with finding a pythagorean triple (a,b,c) where $(a-b)^2-2b^2$ is itself a square. By making the substitution $a=m^2-n^2$, $b=2mn$, and $c=m^2+n^2$ into $(a-b)^2-2b^2=d^2$ ...
2
votes
1answer
47 views

summing points in elliptic curve

Does $P_1+P_2+P_3=2Q$ where $\{P_i\}_{i=1}^3,Q\in E(\Bbb F_p)$ for an ellliptic curve $E/\Bbb F_p$ mean $Q\in\{P_i\}_{i=1}^3$? I think I could just ask does $P_1+P_2=2Q$ where $\{P_i\}_{i=1}^2,Q\in ...
3
votes
1answer
85 views

Genus of Edwards curve

Let us work over a field $\Bbbk$ of characteristic not equal to two. Let $d\in\Bbbk\setminus\{0,1\}$. It is said in the wikipedia article about Edwards curves that the plane quartic defined by the ...
1
vote
1answer
96 views

Finite order points on elliptic curves

Let $E = V_+(F(u,v,w)) \subset \mathbb{P}^2_k$ be an elliptic curve. Let $o = (0,1,0)$ be the origin and $x \in E(k)$ a rational point. Let us suppose there is a curve $C \subset \mathbb{P}^2_k$ such ...
2
votes
2answers
109 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 $ ...
11
votes
0answers
282 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 = ...
1
vote
2answers
147 views

Question about uniformizers of Elliptic Curves

Let $k$ be a field with $Char(k)\neq 2,3$ and $E: y^2=x^3+Ax+B$ an elliptic curve over $k$ , where $4A^3+27B^2\neq 0$ and let $P=(\alpha,\beta)$ be a point defined over $k$. Show that if $\beta\neq ...
3
votes
2answers
184 views

Uncertain about Uniformizing Elements of Elliptic Curves.

I am following a subject on Elliptic Curves and have come accross the notion of a uniformizer. Wikipedia tells me that an element is a uniformizer of a Discrete Valuation Ring, if it generates the ...
1
vote
1answer
113 views

Does this equation have a rational point? (Elliptic curve?)

Can someone check pls if, $$852 + 3017 x - 1104 x^2 + 2009 x^3 - 3362 x^4=y^2$$ has a rational point? (This arose in an equal sums of like powers problem.) P.S. I've checked $x=p/q$ for ...
7
votes
1answer
152 views

Dimension of family of hyperelliptic curves

Suppose we have an elliptic curve E with a point $P$ of order $5$ over a field of characteristic $0$. Denote $E'$ the curve $E/\langle P\rangle$. Now let $x$ (resp. $x'$) be a function on $E$ (resp. ...
0
votes
1answer
74 views

Weierstrass form for some equation

How to find a birational transformation that turns the equation $3(y^2-1)=2x^2(x^2-1)$ into Weierstrass form? Thanks!
0
votes
2answers
174 views

Why must the order of basepoint of elliptic curve be prime?

Let $E$ be an elliptic curve defined over a finite field $F(q)$. Let $G\in E(F(q))$ be a point of order $n$, where $n$ is a prime number and $n>2^{160}$. The elliptic curve discrete logarithm ...
1
vote
0answers
28 views

Complexes Torus and $\mathrm{PSL}_2(\mathbb{Z})$

I want to prove that if $\omega_1\equiv\omega_2$ modulo $\mathrm{PSL}_2(\mathbb{Z})$ then $X(\omega_1)\simeq X(\omega_2)$ where $X(\omega)=\mathbb{C}/(\mathbb{Z}+\omega\mathbb{Z})$. I see that if ...
5
votes
1answer
81 views

Prove that $y^2 = x(x-1)(x- \lambda)$ is irreducible for all $\lambda \in k$

I wish to prove that $y^2 = x(x-1)(x- \lambda)$ is irreducible for all $\lambda \in k$. It seems like this follows from the fact that $x(x-1)(x- \lambda)$ cannot be written as the square of any ...
2
votes
0answers
49 views

Supersingular elliptic curves- Invariant differential exact proof question

I'm writing a minor thesis about different criteria of supersingularity and I wanted to show the following from Husemöller's Elliptic Curves [Prop. 13.3.8]: An elliptic curve $E$ in characteristic ...
1
vote
0answers
29 views

How one can determine the rapidly convergente series?

The motivation to this question can be found in http://wstein.org/books/bsd/bsd.pdf In page 9 the author claimed that: 1.4.1. Approximating the Rank. Fix an elliptic curve $E$ over $Q$. The usual ...
1
vote
2answers
99 views

How to compute the rational group of this elliptic curve?

How to compute the rational group of this elliptic curve: $$E:\quad y^2=(x+3)x(x-1).$$ Ps: I am not familar with elliptic curves. (1,0), (0,0), (-3,0), (-1, 2), (-1, -2), (3, 6), (3, -6) are ...
1
vote
0answers
59 views

Prove that the only negative real zeroes are at the integers

Let $$L(C,s)=\prod_{p\mid\Delta}(1-a_{p}p^{-s})^{-1}\cdot\prod_{p\nmid\Delta}(1-a_{p}p^{-s}+p^{1-2s})^{-1}=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse-Weil $L$-function of ...
10
votes
1answer
943 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 ...
0
votes
1answer
65 views

This proof is completely unclear for me

Let $$L(C,s)=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse--Weil L-function of an elliptic curve $C$ over $ℚ$. I find the following proof in an old Russian book: I want to ...
4
votes
1answer
194 views

Rational Points on Elliptic Curves

I have this homework problem: Can there be an elliptic curve, view as a projective curve, with no rational points with at least one 0 as a coordinate?
0
votes
2answers
209 views

Subtraction two points on elliptic curve.

Suppose Q, T and S are three points on an elliptic curve, such that Q+T = S. With knowing Q and S, can we compute T? In other word whether exists subtraction operation on elliptic curve, or not?
0
votes
0answers
52 views

Addition, Subtraction points on an elliptic curve with integer values

I see in some papers that their authers claimed that with operation such as XOR, Addition and subtraction, hide an integer value by a point on an elliptic curve. to clarify, suppose Q is a point in ...
5
votes
1answer
53 views

How to relate the valuation of x/y (For a minimal Weierstrass equation)

I'm reading an article about elliptic curves, but since I'm not very experienced on this subject, I ended up getting stuck. The problem starts as: "Let $K/\mathbb{Q}$ be a number field and $E/K$ an ...
1
vote
1answer
63 views

About the quotient group of degree zero divisors on $C$ by the principal divisors on $C$

Let $C$ be an elliptic curve with distinguished point $O$. My question is about a mathematical desription of this set denoted by $Pic(C)$ which is the quotient group of degree zero divisors on $C$ by ...
5
votes
1answer
261 views

On Bachet's Duplication Formula and the number $-432$

While reading "Rational Points on Elliptic Curves" by Silverman and Tate, I came across this interesting passage about Bachet's duplication formula: I know how to derive Bachet's duplication ...
0
votes
0answers
60 views

Addition a point on an elliptic curve with an integer value

Suppose $Q$ is a point in an elliptic curve such that $Q=dP$ and $d$ is an integer value, and $P$ is base point of that elliptic curve. Note $Q = dP$ means that $P+\cdots+P$ for $d$ times** and since ...
7
votes
0answers
74 views

Ex. $2.30$ in Silverman Adv. Topics

I would like to refer you to Exercise $2.30(c)$ in Silverman's Advanced Topics in Elliptic Curves. Question: Let $E/L$ be an EC with CM by $K$. Assume that $K\nsubseteq L$, and let $L'=LK$ and let ...
0
votes
2answers
68 views

Can one explain to me this Theorem

Can one explain to me Theorem 2. (page 3) in this link: http://www.math.leidenuniv.nl/~evertse/siksek-modular.pdf I am but confused about the nature the bijection defined in that result.
4
votes
1answer
312 views

Square root in Characteristic 2 Field

Let $K$ be a field of characteristic 2. For each $a\in K$, can we always find some $x$ such that $x^2=a$? I came upon this question while reading "Arithmetic of Elliptic Curves". The original ...
9
votes
2answers
223 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 ...
1
vote
1answer
86 views

Diffie-Hellman key exchange for three user.

Assume that there are three users that have their own secret key $d_i$ and corresponding public key $Q_i = d_i G$ such that $Q_i$ is a point in an elliptic curve. Now I'm looking for a solution to ...
3
votes
1answer
86 views

Why the author choose $s$ real?

My question is: Why the author of this book (http://wstein.org/books/bsd/bsd.pdf) page 8 on Sec 1.4 choose $s$ real in despite that the variable is complex in the entire chapter. I am very confused ...
0
votes
1answer
241 views

Point Division in Elliptic Curve Cryptography?

I want to implement a crypto protocol using Elliptic Curve Cryptography. However, it requires a division which I cannot handle. In multiplicative notation, it requires: Let $\mathbb{G}=\left ...
0
votes
0answers
132 views

conversion between multiplicative and additive group notation

I'm quite new to Groups and I'm using them for cryptology purpose. Currently, I'm learning about Elliptic Curve Cryptography and facing a notation problem. Since Elliptic Curves are abelian the group ...
6
votes
1answer
224 views

What do the involutions of an elliptic curve look like?

Every automorphism $\varphi \in \mathrm{Aut}(E)$ of an elliptic curve $E$ (with base point $O$ over a field $k$) can be written $\varphi = \tau_Q\phi$ where $\phi \in \mathrm{Aut}(E,O)$ is an isogeny ...
1
vote
0answers
143 views

Twist of elliptic curve

It is continuation of this question: explict form of the equation of elliptic curve Let $p$ is prime and $p = 3 ($mod $4)$. $q = p^n$. It is easy to see that $E: y^2 = x^3 + x$ has $1 \pm 2q + q^2$ ...
1
vote
1answer
55 views

Ireland-Rosen Hecke Character for $y^2=x^3-Dx$

I would like to refer you to page $310$ of Ireland-Rosen: A Classical Intro to Modern Number Theory. Firstly, to construct the Hecke character, it is enough to specify $\chi(P)$ for prime ideals $P$ ...