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

learn more… | top users | synonyms

1
vote
1answer
19 views

Converting to homogenuous coordinates

Let's assume elliptic curve $E$ over $\mathbb{R}$: $y^2 = x^3 + x + 1$ How to convert this equation to homogeneous coordinates? My notes say it's $zy^2=x^3+xz^2+z^3$. Unfortunately, I have no idea ...
1
vote
2answers
68 views

Chinese Remainder theorem on Elliptic Curve group

I read somewhere (Blake, Seroussi, Smart: Elliptic Curves in Cryptography, p.160) that one can use the Chinese Remainder theorem to split $E(\mathbb{Z}/N\mathbb{Z})$, where $N$ is a composite number. ...
1
vote
1answer
41 views

Point at Infinity of E.C. in Jacobian Coordinates

I am reading some notes about elliptic curves right now and the author mentions the alternative Jacobian projective coordinates, where one establishes the equivalence $(x,y,z)\sim (\lambda^2 x, ...
1
vote
1answer
102 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 ...
1
vote
1answer
84 views

Let $y^2 = x^3 + Ax + B$ be a curve and $y = m(x - x_1) + y_1$ tangent at $x_1$. Why is $x_1$ then a double root?

Suppose we have a function $y^2 = x^3 + Ax + B$ which we differentiate implicit to find $$\frac {dy} {dx} = \frac {3x^2 + A} {2y}$$ Now suppose we know a point $(x_1,y_1)$ on the curve. Define $$y = ...
1
vote
2answers
162 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
1answer
68 views

Seeking graphics of elliptic curves as surfaces

Is there any place to go on line for good graphics of how a complex elliptic curve sits as an affine curve in $\mathbb{C}^2$? The mathematics is well discussed in Drawing elliptic curve and Is the ...
1
vote
1answer
44 views

Image of the p-Frobenius endomorphism under a mod p Galois representation.

Let $E/\mathbb{Q}$ be an elliptic curve and $p$ a prime such that $E$ has ordinary redcution at p. Further, let $$\rho_{E,p}:{\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\rm ...
1
vote
1answer
110 views

Multiple points on an elliptic curve

I have given the following elliptic curve $E:F(x,y) = 0$: (Where $F(X,Y) := Y^2 + a_1XY + a_3Y - X^3 - a_2X^2 - a_4X - a_6$ with $a_1 = -1.5, a_2 = 3, a_3 = 1, a_4 = 0.5, a_6 = -1.5$.) The curve ...
1
vote
1answer
114 views

Number of points on an elliptic curve over $ \mathbb{F}_{q} $.

I have the following elliptic curve: $$ E: \quad Y^{2} = X^{3} + 1 ~ \text{over} ~ \mathbb{F}_{q}, ~ \text{where} ~ q \equiv 1 ~ (\text{mod} ~ 3). $$ I want to know the number of points on this curve. ...
1
vote
1answer
75 views

Find coordinate $y$ of an elliptic curve point

If I have an elliptic curve over a finite filed $F_p$ ($p$ is prime) defined as $$ y^2 \equiv x^3 + ax + b\pmod p,$$ such that $4a^2 + 27b^2 \neq 0$ and suppose I have only given the coordinate $x$, ...
1
vote
1answer
52 views

Silverman AEC Corollary 6.4

Quick question about Chapter 3 Corollary 6.4 [p. 86] in Silverman's Arithmetic of Elliptic Curves. I feel like I'm misreading it and would like clarification. He claims that for an elliptic curve E ...
1
vote
1answer
78 views

associativity on elliptic curves — Milne's proof

In the proof that the group law on an Elliptic curve is associative, Milne (http://www.jmilne.org/math/Books/ectext5.pdf, page 28) sets up 3 cubics, and claims that they all contain the $8$ points ...
1
vote
2answers
100 views

When Frobenius map equal to multiplication-by-m map

Here is a homework, the result brought me some trouble. Let $p = 7$, and consider the finite field ${ \mathbb{F}}_{p^{2}}$ , which we may represent explicitly as $${ \mathbb{F}}_{p^{2}}\simeq ...
1
vote
1answer
44 views

Elliptic Curves Nagell-Lutz question

Let $y^2 = x^3 + ax + b$ be an elliptic curve defi ned over $\mathbb{Z}$. If $b=a^2$, find a point of infinite order on $\mathcal{E}(\mathbb{Q})$. The previous part of the question implies that I ...
1
vote
1answer
44 views

Computing fractions Weierstrass curves and DLP problem

I am preparing for a crypto exam by making an old practise exam. I got stuck on the following assignment. I got this weierstrass curve The curve $y^2 = x^3$ is not an elliptic curve over $F_{71}$ but ...
1
vote
1answer
31 views

Let E be defined over Fq and let n ≥ 1. Show that E(Fq)[n] and E(Fq)/nE(Fq) have the same order.

Let E be an Elliptic Curve defined over $F_q$ and let n ≥ 1. Show that $E(F_q)[n]$ and $E(F_q)$/$nE(F_q)$ have the same order. I feel like this is obvious. The n-th torsion group $E(F_q)[n]$ ...
1
vote
2answers
65 views

Prove the nonexistence of $p$-torsion for $p > 3$ in $E:y^2 = x^3 + ax$ for prime $a \geq 2$.

$$\Large\textbf{Problem}$$ Let $E$ be an elliptic curve defined by $y^2 = x^3 + ax$ where $a \in \mathbb{Z}$ is fourth-power free. Then \begin{aligned} E(\mathbb{Q})^{\text{tor}} = \left\{ ...
1
vote
2answers
70 views

From $y^2=x^3+Ax^2+Bx$ to $y^2+(1-c)xy-by=x^3-bx^2$

I have two question How can I transfer with a change of coordinates from $$y^2=x^3+Ax^2+Bx$$ to $$y^2+(1-c)xy-by=x^3-bx^2?$$ In a note of Prof. Lozano "Elliptic Curves, Modular Forms and their ...
1
vote
1answer
56 views

How to determine the group structure of $E(\mathbb{R})$ for an elliptic curve $E/\mathbb{R}$

Using Weierstrass' $\wp$ function it can be proved that the group of complex points on an elliptic curve $E /\mathbb{C}: y^2 = x^3 + ax + b$ satisfies $E(\mathbb{C}) \cong \mathbb{R}/\mathbb{Z} \oplus ...
1
vote
1answer
62 views

Solutions of elliptic curve in finite field

If I take the following elliptic formula over a finite field of size $17$: $$y^2 = x^3 + 2x + 3$$ The solutions for $x = 2$ would be $7$ and $10$. Because $7^2=49$ and $49 \equiv 15 \bmod 17$ ...
1
vote
1answer
70 views

Formal group of an elliptic curve, from Silverman's the arithmetic of an elliptic curves

In the beginning of page 120, to establish the formal group law for an elliptic curve, the book adds 2 points $(z_1,w_1)$ and $(z_2,w_2)$, where $w_1 = w(z_1), w_2 = w(z_2)$ using the group law. It ...
1
vote
2answers
98 views

Elliptic Curve and Conjugation

If I consider an elliptic curve $C$ as a Riemann surface cut out in $\mathbb{C}P^2$ by a homogenous cubic, and if that cubic is defined over $\mathbb{R}$, then I think we have a conjugation map ...
1
vote
1answer
74 views

Prove that the Frobenius map is a homomorphism

I want to prove that the Frobenius map $\phi$ is a homomorphism from the group of points on an elliptic curve $E(F_{2^k})$ to itself (endomorphism). It is trivial to check that if a point $P \in E$ ...
1
vote
1answer
119 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 ...
1
vote
1answer
136 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 ...
1
vote
2answers
129 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
3answers
112 views

Combine two given Elliptic Curves

I want to combine two Elliptic curves such $E_p$ (defined in the field $F_p$) and $E_q$ (defined in the field $F_q$) i.e to find $E_n$ where $n=pq$. Is there any method to do it?
1
vote
1answer
246 views

The Group of points on the Elliptic curve $y^2=x^3+1$ over $\mathbb{F}_5$

So I'm trying to understand the group of points of $y^2=x^3+1$ over $\mathbb{F}_5$ and for some reason I seem to be getting nonsense answers and I'm not sure what I'm doing wrong. So basically my ...
1
vote
1answer
97 views

Like Diophantine equation

The equation $x^n - ny^x-nxy$ = $0$ has solution set $(n, x, y) = (1, 1, \frac12), (2, 1, \frac14), (3, 1, \frac16), \ldots$ I would like to know/learn the following (Kindly discuss) 1) If we ...
1
vote
1answer
583 views

Elliptic curves mod p

I am currently revising for an exam and need some help with a question. Below is an example from my notes which I am trying to understand. I can fill out the table just fine, but I can't figure out ...
1
vote
1answer
55 views

The group $E(\mathbb{F}_q)/NE(\mathbb{F}_q)$

Let $E$ be an elliptic curve defined over the finite field $\mathbb{F}_q$ and let $N\geq 1$. We also make the following assumptions: $T \in E(\mathbb{F}_q)[N]$ is a point of exact order $N$, ...
1
vote
1answer
81 views

Does the following define a point of the modular curve $X_1(n)$

Let $X$ be a compact connected Riemann surface of genus $1$ and suppose that there is a finite morphism $X\to \mathbf{P}^1$ of degree $n$ which ramifies totally over $0$ and $\infty$. Let $f^{-1}(0)$ ...
1
vote
1answer
238 views

Constructing a homomorphism from class group to Sha.

In response to my previous question I got a wonderful answer from Prof.Emerton explaining about the similarities between $Ш$ and class group. In order to add something the comments I got from Mr. B R ...
1
vote
0answers
16 views

What is the right dual isogeny?

I have a question regarding dual isogenies. I read an example in Silverman's book about elliptic curves and am wondering something about this example. We have $\zeta$ as a primitive cube root of ...
1
vote
0answers
19 views

Property of Weierstrass sigma function

In theorem 1.2.3 of Schertz' Complex Multiplication says that For any $\omega \in \mathcal{L}$, a fixed lattice, we have the property: $$ \sigma(z + \omega) = \psi(\omega)e^{\eta(\omega)(z + ...
1
vote
0answers
37 views

Can I find the formula for rational point $(x,y)$ on the $y = 3x-1$? [closed]

Is it possible to find formula for rational point $(x,y)$ on the $y = 3x-1$ in term of rational parameter $t$. And also how would I write in form of $(x,y) =(f(t),g(t))$
1
vote
0answers
19 views

Lifting a real quadratic twist of an Elliptic Curve to the modular surface

Let $E$ be an elliptic curve of conductor $N\cdot p^2$ over $\mathbb{Q}$, defined by the equation $$y^2=x^3+p^2b\cdot x + p^3\cdot c$$ and parametrized by a map $$X_{0}(N\cdot {p}^{2})\rightarrow E$$ ...
1
vote
1answer
34 views

Elliptic curves over $\mathbb{Q}$, singularity points

Why is it so that $Y^2Z = X^3 + AXZ^2 + BZ^3$ is a non-singular elliptic curve if $4A^3 - 27B^2 \neq 0$? If we check the partial derivatives we get that $\frac{\partial F}{\partial Z} = Y^2 - 2AXZ - ...
1
vote
0answers
43 views

Sum of two cubes transformed to elliptic curve

Given $x^3+y^3=N$, we can perform some substitutions to obtain an elliptic curve $u^3-432N^2=v^2$, as given here, which are $x=\frac{36N+v}{6u}$, $y=\frac{36N-v}{6u}$. Here's the details: ...
1
vote
2answers
50 views

How to prove that $\frac{1}{n}L/L\simeq (\mathbb{Z}/n\mathbb{Z})^2$?

Let $L$ be any lattice in $\mathbb{C},$ and $L'$ a lattice containing $L$ with index $n$ (i.e $n=\sharp L'/L$) I found this statement "The lattice $L'$ must be contained in $\frac{1}{n}L = ...
1
vote
0answers
76 views

J. Silverman exercise 3.12 “The arithmetic of Elliptic curves”

I have question regarding exercise 3.12 of J. Silverman "The arithmetic of Elliptic curves". It states the following: Let $m \geq 2$ be an integer, prime to $\text{char}(K) > 0$. Prove that the ...
1
vote
0answers
51 views

When is sum of squares a perfect square? [duplicate]

Recall that $$\sum_{j=1}^nj^2=\frac{n(n+1)(2n+1)}{6}.$$ When is this quantity a perfect square? It appears that the only solutions are $n=0,1,24.$ By setting $x=12n+6$, the problem reduces to finding ...
1
vote
0answers
13 views

Elliptic curve characteristics 2 and 3

How can you show that if the characteristic of an elliptic curve $y^2 = x^3 + ax + b$ is 2 or 3 the equation fails? For characteristic 2 I know the equation must be written as $y^2 + ay = x^3 + bx^2 + ...
1
vote
0answers
33 views

Generalized elliptic curves over cusps and orbits of $\mathbb{Q}\cup\infty$

In the post http://mathoverflow.net/questions/51147/what-objects-do-the-cusps-of-modular-curve-classify, it says that the fibers over the cusps of a modular curve are n-gons. Wikipedia ...
1
vote
0answers
36 views

Is the coordinate ring of an elliptic curve principal?

Let $K$ a field, $E$ an elliptic curve. I would like to know if the coordinate ring of $K[E]=K[X,Y]/(E)$ is principal. I think the answer is no. I tried to prove that the ideal $J=\langle ...
1
vote
0answers
20 views

Moduli Space of elliptic fibration

Given an elliptically fibered Calabi-Yau threefold in Weierstrass form I want to compute the number of complex structure moduli of the fibration. I know how it is done for the generic Weierstrass ...
1
vote
0answers
24 views

Some article about Galois representation

I have heard that the Galois Representation associated to a modular form which came form an elliptic curve with CM type has a small image.Could anybody tell me some article about this? I have heard ...
1
vote
0answers
25 views

What is the rationale behind change of variables in elliptic curves?

Say we have an elliptic curve in its most general form: $Ax^3 + Bx^2 y + Cxy^2 + Dy^3 + Ex^2 + Fxy + Gy^2 + Hx + Iy + J = 0$ Many websites say that "through appropriate change in variables," we can ...
1
vote
0answers
40 views

Relationship between discriminants and smoothness of curves

My understanding of the use of the discriminant in elliptic curve theory is to test whether an elliptic curve in Weierstrass normal form over a field not of characteristic either 2 or 3, $y^{2} = ...