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

learn more… | top users | synonyms

1
vote
1answer
71 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 $\...
1
vote
1answer
2k views

Doubling a point on an elliptic curve

I've a programming background and am just about to get into a project where Elliptic Curve Cryptography (ECC) is used. Although our libraries deal with the details I still like to do background ...
1
vote
1answer
258 views

Split multiplicative reduction question

Let $E/\mathbb{Q}$ be an elliptic curve and $E_{d}$ be the quadratic twist of $E$ by a squarefree integer $d$. Let $\ell$ be a prime of multiplicative reduction for $E$. If $(d, \ell) = 1$, then $\ell$...
1
vote
1answer
57 views

What is the upper bound of order of $ E(F_{599})$

Can you please help me to slove this problem: Let E be the elliptic curve $y^{2}=x^{3}+1$ over the finite field $F_{599}$. Using Hasse's theorem find What is the upper bound of order of $ E(F_{599})$ ...
1
vote
1answer
145 views

Isogeny and minimal models of elliptic curves

Suppose I have two isogenous elliptic curves over $\mathbb{Q}$, $E$ and $E'$. Will the minimal models of $E$ and $E'$ still be isogenous?
1
vote
2answers
148 views

$N^2=2M^4-2p^2e^4$ has no integer solution

If $\gcd(M,e)=\gcd(N,e)=1$ and $p$ is prime and $p‎\equiv 5 \mod(16)$ then how I can show that $N^2=2M^4-2p^2e^4$ has no integer solution.
1
vote
2answers
83 views

What does the $[(0 : 3 : 1)]$ means in Sage.

I tried to solve the integer points of $y(y+2)=x^3+(x+3)(x+5)$ by using Sage's command E.integral_points(). Its output was $[(0 : 3 : 1)]$. I tried that $(x,y)=(0,3)...
1
vote
1answer
151 views

Conductor of $ABC$, Frey-Hellegouarch curves, and twists

In page 109 of de Weger's paper, he says that for coprime $A, B, C$ the conductor $N$ of the Frey-Hellegouarch curve $$ E: y^2 = x(x - A)(x + B) $$ equals $N(A,B,C)$ (product of primes dividing $ABC$ ...
1
vote
1answer
253 views

Consequences of Szpiro's conjecture

Let $E/\mathbb{Q}$ be an elliptic curve. Recall that Szpiro's conjecture says that for every $\epsilon > 0$, there exists $C_\epsilon$ such that $$ |\Delta_E| \leq C_\epsilon(N_E)^{6 + \epsilon}, ...
1
vote
1answer
212 views

A Generalization of Cantor's counting theory

This question may be silly to experts, but I am waiting for a response sir. My question is " Is there any existence of generalized Cantor's counting principle ( i.e the theory that decide ...
1
vote
1answer
267 views

Fencing the Group size,and its implication to Finiteness of Tate-Shafarevich Group

This question is an interesting one,not like my previous one. Can we judge the size of a Quotient Group by seeing the size of its constituents ? To add something ,Suppose consider a group $\rm{G}...
1
vote
1answer
98 views

Violating assertion in Cohen's instructions for Weierstrass reduction

I am trying to follow case 2 of the procedure given in Cohen: for the cubic $f(x,y,z) = x^3 + 3 y^3 - 11 z^3$ using the rational point $P_0 = (2 : 1 : 1)$. The tangent at this point is $y = - \...
1
vote
1answer
19 views

$\tau_l(P,P)$ is a primitive $l$th root of unity

I'm trying to understand the Frey-Rück attack on elliptic curves, in particular the following lemma ($\tau_l$ being the Tate-Lichtenbaum pairing, $E(\mathbf{F_q})[l]$ the set of elements of $E(\mathbf{...
1
vote
1answer
28 views

Confusion about holomorphic differential on elliptic curve

Let $(a:b)\in\mathbb{C}P^1$ and look at the elliptic curve $C$ given by $y^2=x^3+a^4x+b^6$. It is well known that on this elliptic curve we have the holomorphic differential $dx/y$. I have two ...
1
vote
1answer
63 views

What does extra zero of an $L$-function mean?

This is a very vague question. What does an extra zero of an $L$-function mean? There are lots of papers written on this topic, investigating the extra/exceptional zeros of various $p$-adic $L$-...
1
vote
2answers
41 views

Is $H^{1}(k,E[n])$ a subgroup of $H^{1}(k,E)$?

Let $E/k$ be an elliptic curve. Consider $E[n]$ which is a subgroup of $E$. Is it true that $H^{1}(k,E[n])$ is again a subgroup of $H^{1}(k,E)$ in Galois cohomology? I thought that this was true but I'...
1
vote
1answer
29 views

How to prove that $f(x)$ has a multiple root in $Q$ if and only if $disc(f) =0$

Let $f(x) = x^3 +ax+b$ contained in $Q[x]$ prove that $f(x)$ has a multiple root in $Q$ if and only if $disc(f) =0$ This is what I've so far since $f(x) = (x-A_1)(x-A_2)(x-A_3), A_1,A_2, A_3$ are ...
1
vote
1answer
36 views

Finding formula for rational point ($x$,$y$) on the y = $x^2$

How to find formula for rational point ($x$,$y$) on the $y$ = $x^2$ in term of rational parameter $t$. And also how would I write in form of ($x$,$y$) =($f$($t$),$g$($t$))
1
vote
1answer
59 views

Proving some facts about the EC $y^2 = x^3 + ax + b$ [closed]

A solution to this question would be much appreciated! If $E/F$ is the EC defined by $y^2 = x^3 + ax + b$ then prove the following: If $P = (x, y)$ is element of $E(F)$ with order 3 then $x$ is a ...
1
vote
2answers
38 views

Problem with Elliptic Curve in Montgomery form

I am trying to understand how points are added in Elliptic Curves in Montgomery form. I am working with the curve $$3y^2 = x^3 + 5x^2 + x \mod 65537$$ Adding the point $(3,5)$ with itself gives (or ...
1
vote
2answers
76 views

Finding some rational points on elliptic curves

If I am considering an elliptic curve, for example $$y^2=x^3-2$$ $$\text{Edit: and } y^2=x^3+2$$ over $\mathbb Q$, how to find rational points? What possibilities do we have to calculate some ...
1
vote
1answer
66 views

hyperelliptic curve

Please help me to solve this question: Let $H$ be a hyperelliptic curve over $\mathbb{F}_{103}$ given by the equation $ y^2 = x^5+1$. let $J$ be the jacobian of $H$ defined over $\mathbb{F}_{103}$. ...
1
vote
1answer
51 views

Finding a rational point on $\mathscr{E} : y^2=x(x^2-25)$ to show $ \text{rank}(\mathscr{E})=1$

I'm trying to show that the rank of the following elliptic curve $$ \mathscr{E}: y^2=x(x^2-25)$$ is 1. Since it has a rational 2-torsion point at $(0,0)$, by considering the dual curve I've been ...
1
vote
1answer
95 views

Elliptic curves and Weierstrass $\wp$ function - an example

Let $E: y^2 = 4x^3 - b$ an affine equation of an elliptic curve in $\mathbb{P}^2_{\mathbb{C}}$. Let $b$ be chosen such that the map $f: \mathbb{C} \rightarrow \mathbb{P}^2$ given by $z \mapsto (\wp(z):...
1
vote
1answer
40 views

Benefit from local coordinates

I am reading Elliptic Curves by Anthony Knapp. Its the first time that I am dealing with local coordinates. In page 21 he introduces them as follows: Let $[x_0,y_0,w_0]\in \mathbb P_2(k)$ where $k$ ...
1
vote
2answers
73 views

Diophantine equation resembling FLT

I was wondering if the equation $x^p+y^p=2z^p$ has been studied. For small cases it is seen that the only solutions are trivial: $x=y=z$. There are probably methods to solve this for regular ...
1
vote
1answer
34 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, \...
1
vote
1answer
47 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
1answer
105 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}}$ ...
1
vote
2answers
41 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 ...
1
vote
1answer
85 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 ...
1
vote
1answer
103 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 $$ \...
1
vote
1answer
34 views

Elliptic curves: Can I replace a coordinate with any modularly equivalent number?

I have a point (x, y) in an elliptic curve group. Suppose y is negative. Can I rewrite it as a positive number if that positive number is equivalent to y (modulo the characteristic of the group)? ...
1
vote
1answer
41 views

How I can calculate the algebraic rank of $C(ℚ)$

Let us consider the elliptic curve $C$ over $ℚ$ in Weierstrass form $$C:y²=x³+1$$ How I can calculate the algebraic rank of $C(ℚ)$.
1
vote
1answer
32 views

Approximating the Rank

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 $ℚ$. The modularity theorem implies that $L(C,s)$ is the $L$-...
1
vote
1answer
40 views

Surjective $p$-adic representation implies trivial $p$-primary part.

Let $E/\mathbb{Q}$ be an elliptic curve. We know that by Serre in the non-CM case, for $p\geq5$, $$\rho_p:Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow Aut(T_p(E))$$ is surjective iff $$ \bar{\rho}_p:...
1
vote
2answers
119 views

Sage usage to calculate a cardinality

I would like to compute the cardinality of an elliptic curve group over the finite field $\mathbb{F}_{991}$. I'm trying to use sage but I still have an error in the syntax (I never used it before and ...
1
vote
1answer
63 views

Show that there exists a constant $c$ such that for all $n \in \mathbb{Z}_+$ one has $\#\{\omega \in L\,\vert\,n \leq |\omega| \leq n + 1\} \leq cn$.

Let $L \subset \mathbb{C}$ be a lattice (i.e. $L = \{n\omega_1 + m\omega_2 \,\vert\, \omega_1, \omega_2 \in \mathbb{C},\, \omega_1 / \omega_2 \not\in \mathbb{R}, \, n,m \in \mathbb{Z}\}$). Show that ...
1
vote
1answer
52 views

Why does an isogeny not ramify?

The following argument is, I believe, based on the premise that an isogeny (or a morphism of curves that is a group homomorphism) doesn't ramify: Considering the multiplication by $n$ map $[n]$ on a ...
1
vote
1answer
135 views

Computing the analytic $p$-adic $L$-function via modular symbols in MAGMA

I need to compute the analytic $p$-adic $L$-function of an elliptic curve at a prime $p$ via modular symbols using MAGMA. In SAGE...
1
vote
1answer
125 views

Odd torsion of elliptic curves are isomorphic

$C: Y^2=X(X^2+aX+b)$ $D: Y^2=X(X^2+a_1X+b_1)$ where $a,b,\in\mathbb Z a_1=-2a,b_1=a^2-4b,b(a^2-4b)\neq0$ Let $C_{oddtors}(\mathbb Q)$ denote the set of torsion elements of $C(\mathbb Q)$ which ...
1
vote
1answer
54 views

Why are we not allowed to rescale the variables of the equation of an elliptic curve independently one from the other?

It seems that in whatever proof of the theorem that an elliptic curve can be put in Weierstrass form that you look at, the next step after getting an equation: $$\alpha Y^2Z + a_1XY Z + a_3Y Z^2= \...
1
vote
1answer
97 views

Semistable Elliptic Curves

For a general representation $\rho: G_{\mathbb{Q}} \rightarrow \operatorname{GL}(V)$, where $V$ is a two dimensional $\overline{\mathbb{F}}_p$ vector space, the level $N(\rho)$ in Serre's conjecture ...
1
vote
1answer
90 views

Structure of $C(F_5)$ from Rational Points on Elliptic Curves

In the book Rational Points on Elliptic Curves by Silverman/Tate one examines the elliptic curve $y^2 = x^3 + x + 1$ over $F_5$. One can then easily determine the group $$ C(F_5) = \lbrace \mathcal{O}...
1
vote
1answer
120 views

Counting the number of elliptic curves with certain discriminant/conductor

I'm looking for some references regarding the above topic. To be more specific, references that address questions such as Given $D > 0$, how many elliptic curves over $\mathbb{Q}$ are there with ...
1
vote
1answer
74 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
1answer
260 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 ...
1
vote
2answers
484 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?
1
vote
1answer
89 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 ...
1
vote
1answer
76 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$ ...