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

learn more… | top users | synonyms

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
72 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
46 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
104 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
86 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
40 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 ...
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 $$ ...
1
vote
2answers
100 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 ...
1
vote
1answer
51 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
125 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 ...
1
vote
1answer
123 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
93 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 ...
1
vote
1answer
118 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
247 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
470 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
87 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$ ...
1
vote
1answer
185 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?
1
vote
1answer
272 views

Understanding whether a ramified covering ramifies over infinity

Let $C$ be the (smooth) curve in $\mathbb{C}^2$ defined by $y^2 = x^4 - 1$, and let $\pi : C \to \mathbb{C}$, $\pi(x,y) = x$. $\pi$ is a ramified cover, ramified over $\pm 1, \pm i$. $C$ is a ...
1
vote
1answer
209 views

Drawing elliptic curve

Consider an elliptic complex curve in $\mathbb{C}^2$ given by equation $w^2 = (z-a)(z-b)(z-c)$ where $a,b,c$ are complex mutually distinct constants. It is a $2$-dimensional surface in $4$-dimensional ...
1
vote
2answers
161 views

Regarding a notation related to divisors & elliptic curves

Section 5.8 of the book An Introduction to Mathematical Cryptography defines the divisor of a rational function $f(X,Y)$ defined on an elliptic curve $E: Y^2 = X^3 + AX + B$ as the formal sum: ...
1
vote
1answer
290 views

Divisor of a function on a curve

Let $k$ be an algebraic closed field with character not equal to 2, $a,b,c\in k$ be distinct numbers, and consider the curve $C: y^2=(x-a)(x-b)(x-c)$. Let $P=(a,0),P_{\infty}$ for the point at ...
1
vote
1answer
206 views

Tamagawa number conjecture

I heard somewhere that the above formulation of conjecture is for predicting the exact leading term of a L-function at an integer. But i didnt find any reference about how it is stated, anyone please ...
1
vote
1answer
99 views

Determining elliptic curve's parameters from addition procedure

Given a procedure that adds two points on an unknown elliptic curve, is it possible to determine curve's parameters, treating this procedure as a black box? We are given two points on this curve $P$ ...
1
vote
1answer
34 views

Homomorphism between elliptic curves $C: y^2=x^3+ax^2+bx$ and $\bar{C}: y^2=x^3-2ax^2+(a^2-4b)x$.

I am reading Rational Points on Elliptic Curves by Silverman and Tate. In Section 3.4, Page 76, the authors defined two elliptic curves elliptic curves $C: y^2=x^3+ax^2+bx$ and $\bar{C}: ...
1
vote
1answer
41 views

Find all points of finite order on the elliptic curve $y^2+7xy=x^3+16x$.

I am studying Rational Points on Elliptic Curves by Silverman and Tate. This is Problem 2.12 (h). Determine all of the points of finite order on the elliptic curve $y^2+7xy=x^3+16x$. Also ...
1
vote
1answer
24 views

The cardinal of the Mordell-Weil group is prime for certain elliptic curves over $\mathbb{F}_{q}$ for certain $q$.

Let $p\in\{2,3\}$ and $r\in\mathbb{Z}_{\geq 2}$. I would like to find if there exists an elliptic curve defined over $\mathbb{F}_{p}$ such that $|E(\mathbb{F}_{p^{r}})|$ is a prime number. If $p>3$ ...
1
vote
1answer
21 views

How to show elliptic curve endomorphism is commutative?

For an elliptic curve $E/k$, let $\alpha$ be any endomorphism over $\bar{k}$ in End($E$) and let $[n]$ be the multiplication-by-$n$ endomorphism. Show that $[n] \bullet \alpha=\alpha \bullet ...
1
vote
1answer
37 views

Discriminant of an elliptic curve

I have found different discriminants for general Weierstrass elliptic curves: $y^2 = x^3 + ax + b$ For example, WolframAlpha state it is $-16(4a^3 + 27b^2)$ on their site ...
1
vote
1answer
42 views

Elliptic Curves over Finite Fields as Two Cyclic Groups

Let $E$ be an elliptic curve over $\mathbb{F}_q$. I want to show $E(\mathbb{F}_q) \cong (\mathbb{Z}/m_1\mathbb{Z}) \times (\mathbb{Z}/m_2\mathbb{Z})$ where $m_1,m_2 \in \mathbb{Z}$ are such that ...
1
vote
1answer
50 views

Nagell-Lutz theorem

I'm a question about Nagell-Nutz theorem. For example, the point $P'=( \frac{31073}{2704},-\frac{5491823}{140608})$ on the curve $$y^2=x^3+8$$ does not meet the theorem Nagell-Nutz. So I can say what ...
1
vote
1answer
45 views

Weierstrass form of elliptic curve with point with order larger than 3

L.S., Studying for my exam on elliptic curves, I tried to make exercise 8.13(a) of Silvermans "The Arithmatic of Elliptic Curves", which reads: Let $E$ be an elliptic curve defined over a field $k$, ...
1
vote
1answer
86 views

Properties of the elliptic curve $y^2 \equiv x^3 – 2 \pmod 7$

Can someone help me: 1) to list the points on the elliptic curve $E: y^2\equiv x^3 – 2\pmod 7$. 2) to find the sum $(3, 2) + (5, 5) $ on $E$.
1
vote
1answer
86 views

The degree of a principal divisor

I've become extremely confused (due to having no experience with varieties) over a remark (Remark 3.7) Silverman makes in his book The Arithmetic of Elliptic Curves. Here's the relevant background: ...
1
vote
1answer
30 views

How do you prove that rational points on $y^2 = x^3 - 2$ are of the form $(A/B^2, C/B^3)$, where are $A, B, C$ are coprime?

I was only browsing this book on number theory and the author shows how the solution $(3, 5)$ can be used to generate other exotic rational solutions and then in the end leaves the problem I'm asking ...
1
vote
1answer
91 views

Addition of points on elliptic curves over a finite field

I have found the following formulas for the coordinates of $P+Q$ given that $P = (x_{1}, y_{1})$ and $Q = (x_{2}, y_{2})$ are points on a general curve $y^2 = x^3 + ax + b$ over $\mathbb{R}$: $$P + Q ...
1
vote
1answer
79 views

Why so few complex multiplication

Let's take I lattice $\Lambda$ and $\alpha\in\Lambda$. Then we have $\alpha\Lambda\subseteq\Lambda$ so $z\mapsto \alpha z$ induces an isogenie $\mathbb{C}/\Lambda\to\mathbb{C}/\Lambda$ wich has no ...
1
vote
1answer
51 views

Group on elliptic curve points

Let's we have an elliptic curve (EC). Is it possible to construct group $G$ acting on the points of an EC with this property: if $P$ is a rational point on EC then $G(P)$ is also is a rational point? ...
1
vote
1answer
50 views

Number of points on an elliptic curve and it's twist over $\mathbb{F}_p$.

I have another probably very trivial question about elliptic curves. This wikipedia article gives the following formula $|E|+|E^d|=2p+2$ where $E$ is an elliptic curve over $\mathbb{F}_p$ and $E^d$ is ...
1
vote
1answer
24 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
78 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. ...