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

learn more… | top users | synonyms

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
83 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
94 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
107 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 $ ...
10
votes
0answers
273 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
145 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
183 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
150 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
73 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
171 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
80 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
57 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
915 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
64 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
191 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
253 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
305 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
219 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
85 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
220 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
125 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
220 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
139 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$ ...
6
votes
1answer
135 views

explict form of the equation of elliptic curve

Let $E(\mathbb{F}_{q^2})$ is elliptic curve with #$E(\mathbb{F}_{q^2}) =q^2 + q + 1$. Can we write equation of this curve in the explicit form?
5
votes
3answers
182 views

Purpose of cusps

In the theory of of modular forms, there is the set of of cusps defined by $\mathbb{P}^1 (\mathbb{Q})= \mathbb{Q} \cup \{\infty\}$. For an subgroup $\Gamma < \text{SL}_2(\mathbb{Z})$ of finite ...
3
votes
1answer
97 views

$q$-expansion of Modular forms

I am trying to compute the $q$-expansion of $g\theta_2$ and $g\theta_4$, the $q$-expansion of modular forms of weight $3/2$ and level $128$ and trivial character and character $\chi_8$ respectively. ...
2
votes
2answers
386 views

The curve $y^2 = f(x)$ where $f$ has degree $d$ and no repeated roots has genus $[(d-1)/2]$?

Let $f$ be a polynomial in $x$ of degree $d$ (over $\mathbb{C}$, say) without repeated roots. I've heard that the curve $y^2 = f(x)$ has genus $[(d-1)/2]$, but I can't find a proof. To be more ...
1
vote
1answer
174 views

What is the amount of abstract algebra needed to study elliptic curves?

To be more specific, how much is needed to understand the book 'Rational points on elliptic curves' by Silverman?
3
votes
1answer
231 views

Real Period of an Elliptic Curve

Trying to work out what the real period of an elliptic curve is as seen in the Birch Swinnerton-Dyer conjecture. From what I've read, given an elliptic curve E over the rationals, one can associate ...
3
votes
1answer
334 views

Adding points of an elliptic curve over a finite field

I'm a bit confused with how fractions are handled with adding points of elliptic curves over finite fields. Below is an example from the text which I am trying to understand: The part that ...
4
votes
2answers
70 views

Other names for $E_{p+1}$ $\pmod{p}$?

If I want to know properties of $E_{p+1}$ modulo $p$, do you know a name for this modular form, so that it is easier to search via the internet? So far, what I know is that $E_{p-1}$ is the Hasse ...
3
votes
0answers
60 views

Weil operator of elliptic curve

Let $V$ be a $1$-dimensional $\mathbb{C}$-vector space and $\Lambda \subset V$ be an elliptic curve (=lattice). Let $C : V \rightarrow V$ be the multiplication by $i$. Consider the two following ...
3
votes
1answer
120 views

Division polynomials of elliptic curves

This is exercise 3.7 from Silvermans AEC (2nd edition). Let $E$ be a nonsingular elliptic curve over $\mathbb{C}$ given by $$ y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6.$$ The $n^{th}$ division polynomls ...
0
votes
0answers
159 views

Analogy between Picard group and Ideal class group

Can you give a reference where the conformity between Picard group and Ideal class group is explained? What is analogy of Picard group of elliptic curve over finite field?