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

learn more… | top users | synonyms

6
votes
1answer
141 views

transform into weierstrass-form

How can I transform the elliptic curve $E/\mathbb{C}$ of the form $$y^2=4(x-e_1)(x-e_2)(x-e_3)$$ with $e_1>e_2>e_3\in\mathbb{R}$ roots of $E$ into a Weierstrass-Form $y^2=x^3+ax+b$?
6
votes
1answer
197 views

If six points of an elliptic curve are contained in a conic, then their sum is $O$.

Let $C$ be a projective cubic without singular points and $O\in C$ an inflexion point. We consider the addition in $C$ with $O$ as neutral element. If $R_{1},...,R_{6}\in C$ are different points such ...
6
votes
1answer
177 views

Lenstra's Elliptic Curve Algorithm

I am currently trying to understand Lenstra's Elliptic Curve Algorithm for factoring integers. As a source I use "Rational Points on Elliptic Curves" by Joseph H. Silverman and John Tate. They ...
6
votes
1answer
96 views

Intersection of two quadrics

How to understand (maybe, informally) why the intersection of two quadrics in general position in $\mathbb{CP}^3$ is an elliptic curve? It is obvious that it is a compact 2-manifold, i.e. a sphere ...
6
votes
1answer
156 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?
6
votes
1answer
84 views

Reduction of kernel of isogenies in the CM case

Let $F$ be a number field and $E/F$ an elliptic curve with CM by an order $\mathcal{O}$ in a quadratic imaginary field $K$. Let us suppose that $K\subseteq F$. Let $p$ be a prime that splits in ...
6
votes
0answers
109 views

What is the group structure on the ring of power series around a point that makes it “the completion of an elliptic curve” along that point?

I've been struggling to understand the explicit details of the completion of an elliptic curve about the origin, and am desperately confused by the explicit details of the resulting group operation. ...
5
votes
3answers
325 views

The elliptic curve $y^2 = 23328x^3-890273x^2+14755570x-7^7$

The elliptic curve, $$y^2 = 23328x^3-890273x^2+14755570x-7^7 \tag{1}$$ has the small solution $x = 58$. I know how to find other rational points, but the number of digits in the denominator gets ...
5
votes
1answer
613 views

Intuition and Stumbling blocks in proving the finiteness of WC group

After reading many articles about the Tate-Shafarevich Group ,i understood that "in naive perspective the group is nothing but the measure of the failure of Hasse principle, and coming to its ...
5
votes
1answer
405 views

Universality of Tate-conjectures

We all know that Prof.John Tate proposed a set of conjectures(along with Prof.Emil Artin) formally spread under the name of "Tate conjectures", they have a wide range of influence on various fields of ...
5
votes
5answers
355 views

upper bound on rank of elliptic curve $y^{2} =x^{3} + Ax^{2} +Bx$

I was told the following "Theorem": Let $y^{2} =x^{3} + Ax^{2} +Bx$ be a nonsingular cubic curve with $A,B \in \mathbb{Z}$. Then the rank $r$ of this curve satisfies $r \leq \nu (A^{2} -4B) +\nu(B) ...
5
votes
1answer
237 views

A question about modular curves and base change

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Suppose that the curve $X\times_{K,\sigma} \mathbf{C}$ is a modular curve for some $\sigma:K\to \mathbf{C}$. Can ...
5
votes
1answer
574 views

Number of 3-torsion points on an elliptic curve

If we take our elliptic curve over $K$ to be the zero set of $$ F(X_1, X_2, X_3) = X_2^2 X_3 - (X_1^3 + AX_1X_3^2 + BX_3^2), $$ which is in projective form with $X = X_1, Y = X_2, Z=X_3$, then I ...
5
votes
2answers
1k views

What is a primitive point on an elliptic curve?

While working with elliptic curves for cryptography reasons, I found the notion of a primitive point, but no definition. For example, $P(0,6)$ is a primitive point on the elliptic curve $y^2\equiv ...
5
votes
2answers
352 views

Find the rational points on $1 + 18 x + 81 x^2 + 44 x^3 = y^2$ with Sage

I'm trying to use Sage on-line,but I meet some trouble with the code of it. I want to find the rational points on an ellipse curve,such as $$1 + 18 x + 81 x^2 + 44 x^3 = y^2,\tag1$$ I know that ...
5
votes
1answer
494 views

Find all integer solutions to $x^2+4=y^3$. [duplicate]

Find all integer solutions to $x^2+4=y^3$. Some obvious solutions are $(x,y)=(\pm2,2)$. Are these the only ones?
5
votes
1answer
77 views

Exact rank of Elkies curve

A naïve question. We definitely know an elliptic curve of rank $28$ or more exists by Elkies but no one knows exactly what the rank is for this curve (and for similar examples given previously). ...
5
votes
2answers
67 views

Property of the $p^n$-Selmer group

Consider the $p^n$-Selmer group of an elliptic curve $E/\mathbb{Q}$, $\operatorname{Sel}_{p^n}(E)$. Must we always have $\operatorname{Sel}_{p^n}(E) \cong (\mathbb{Z}/p^n\mathbb{Z})^{s}$ for some $s$? ...
5
votes
2answers
565 views

Prove that the equation $y^2=x^3-73$ has no integer solutions

Prove that there are no integers $x,y$ such that $y^2=x^3-73$. Thank you.
5
votes
2answers
138 views

Computing rank using $3$-Descent

For an elliptic curve $E$ over $\Bbb{Q}$, we know from the proof of the Mordell-Weil theorem that the weak Mordell-Weil group of $E$ is $E(\Bbb{Q})/2E(\Bbb{Q})$. It is well known that $$ 0 \rightarrow ...
5
votes
1answer
131 views

Rational map of a curve to an elliptic curve

If I have a curve given by $$ y^2 = (x^3-1)(x^3-a), $$ how do I find out if there is a rational variable transformation $y=y(s,t)$, $x=x(s,t)$ that maps this curve onto an elliptic curve of the form ...
5
votes
1answer
93 views

Fundamental period of the WeierstrassP elliptic function?

Consider the WeierstrassP elliptic function $\wp(z, g_2, g_3)$ with the invariants $g_2\in\mathbb{R}$ and $g_3\in\mathbb{R}$: $$\wp'(z)^2 = 4\wp(z)^3 - g_2 \wp(z) - g_3$$ According to Wikipedia when ...
5
votes
1answer
53 views

deg functions and maps

For any map $f$ between curves $C_1$ and $C_2$, one defines $\mathrm{deg}(f) = [K(C_1) : f^*K(C_2)]$ as given in "The Arithmetic of Elliptic Curves" by Silverman. For algebraic functions on elliptic ...
5
votes
2answers
124 views

Homogeneous diophantine equation $x^3+2y^3+6xyz=3z^3$

Is it known if there are infinitely (non-proportional) many integer solutions to $x^3+2y^3+6xyz=3z^3$ ? Motivation : if true, this would provide an alternative solution to that recent MSE question, ...
5
votes
2answers
100 views

How does $\text{Gal}(L/K)$ act on the automorphism group of an elliptic curve?

Let $L/K$ be a finite Galois extension of number fields; I'm interested mainly in the case $K = \Bbb{Q}$ and $L= \Bbb{Q}(\sqrt{d})$. Let $X$ be an elliptic curve over $K$ and $\text{Aut}(X_L)$ the ...
5
votes
1answer
158 views

Discriminants and Weierstrass form of elliptic curves

I'm confused by what appears to be contradictory information. In this post, the claim is made that "Every elliptic curve over $\mathbb{Q}$ can be written in the form $y^{2}= x^{3}+ax+b$ where ...
5
votes
1answer
162 views

Finding the completion of a coordinate ring

Consider $A=\mathbb C[x,y]/(y^2-x(x+1))$, and consider the $\mathfrak m$-adic completion, where $\mathfrak m =(x,y)$. I want to show that this completion is isomorphic to $\mathbb C[[u,v]]/(uv)$, ...
5
votes
2answers
342 views

Relation involving the conductor of an elliptic curve

Consider an elliptic curve $E: y^{2} = x^{3} + ax + b$. Then the quadratic twist by a squarefree $d$ is given by $E^{d} : dy^{2} = x^{3} + ax + b$. What is the relationship between the conductor of ...
5
votes
1answer
616 views

Proving Fermat's Last Theorem (easily) using “assumed” conjectures

It can easily be proven assuming Szpiro's conjecture that Fermat's Last Theorem is true for sufficiently large $n$. The proof consists of extremely straightforward computations. My question is, is ...
5
votes
1answer
190 views

Group structure of an elliptic curve

Let $E$ be an elliptic curve over field $\mathbb{Z}/p\mathbb{Z}$. The curve group $E(\mathbb{Z}/p\mathbb{Z})$ is always a) cyclic or b) direct product of two cyclic groups. First question: How do I ...
5
votes
1answer
701 views

How do I show that this curve has a nonsingular model of genus 1?

Let $C$ be the projective closure of $Z(f) \subset \mathbf{A}^2$ where $f$ is an irreducible polynomial of degree 4 in $x$ and degree 2 in $y$, so $C = Z(f^*) \subset \mathbf{P}^2$ where $f^*$ is the ...
5
votes
1answer
183 views

Family of elliptic curves with trivial torsion

I'm wondering, if it is true that the torsion subgroup of $y^2=x^3+p$ (for $p$ some prime, greater than 2), is always trivial?. I was trying to prove this using Lutz-Nagell, but I can't quite get it. ...
5
votes
1answer
137 views

Direct proof of the non-zeroness of an Eisenstein series

Question: Can you show directly from its formula that $G_4(i)\neq0$? Recall that the holomorphic Eisenstein series of weight $2k$ is defined by: $$G_{2k}(\tau)= \sum_{(m,n)\in\mathbb{Z}^2\setminus ...
5
votes
1answer
126 views

Complex elliptic curve for the “conjugate” lattice

Let $\Lambda$ be a lattice in $\mathbb{C}$, and $E=\mathbb{C}/\Lambda$ the corresponding complex elliptic curve. Let $\bar{\Lambda}$ be the "conjugate" lattice, i.e. the one obtained by conjugating ...
5
votes
1answer
70 views

Minimal degree of a field extension to obtain an elliptic curve

Let $K$ be a number field and let $X$ be a smooth projective geometrically connected curve over $K$ of genus $1$. There exists a number field $L/K$ such that $X$ has a $L$-rational point. Let $L$ be ...
5
votes
1answer
122 views

Cokernel of morphism of Tate module of elliptic curves

Let $K$ be a field, and $\phi: E_1\to E_2$ be an isogeny of elliptic curves over $K$. Given a prime $\ell$ different from the characteristic of $K$, $\phi$ induces an injection $T_\ell \phi: T_\ell ...
5
votes
1answer
110 views

Proving the Uniformization Theorem for Elliptic Curves (An Exercise from Silverman's Advanced Topics on Elliptic Curves )

In Silverman's Advanced Topics in the Arithmetic of Elliptic Curves there are two demonstrations of the Uniformization Theorem for the Elliptic Curves (It says that, given an Elliptic Curve $E$, ...
5
votes
1answer
90 views

Automorphisms of elliptic curve

Consider an elliptic curve $y^2=x^3+b$ over $\mathbb{R}$. How to find all real automorphisms of this curve of order 3?
5
votes
1answer
89 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 ...
5
votes
1answer
54 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 ...
5
votes
1answer
392 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 ...
5
votes
1answer
124 views

Show that an ideal is unramified

See Advanced Topics in elliptic curves for the full question(see also errata: http://www.math.brown.edu/~jhs/ATAEC/ATAECErrata.pdf): 2.30 (pg 184) Given $E/L$ an elliptic curve with complex ...
5
votes
1answer
151 views

Abelian Elliptic Surfaces

By abelian surface we mean a 2-dimensional algebraic complex torus. Thus $$ S=\Bbb{C}^2/\Gamma$$ where $\Gamma$ is a rank $4$ lattice in $\Bbb{C}^2$ and such that $S$ is algebraic. It has trivial ...
5
votes
1answer
784 views

Intersection of a line with an Elliptic Curve

I am trying to show that if a line given by $y = mx + b$ intersects an Elliptic Curve given by $E(\mathbb{K}): y^2 = x^3 + Ax + B$ in three points then the line is not tangent to the curve. Given ...
5
votes
0answers
231 views

rationality of $\ell$-adic representation attached to an elliptic curves

Let $E$ be an elliptic curves defined over a number field $K$. Consider the $\ell$-adic representation attached to $E$ $$ \rho_{\ell}:\mathrm{Gal}(\overline{K}/K) \longrightarrow ...
5
votes
0answers
70 views

Some questions about reduction of elliptic curves

Let $E \rightarrow S$ be an elliptic curve (i.e, a smooth proper curve of genus 1). If $S = \text{Spec (K)}$ where $K$ is a local field, the usual way of doing a reduction at a prime $\mathfrak{p} = ...
5
votes
0answers
53 views

Graphing elliptical curves based on group operation

I just found this and it blew my mind (he gives an elliptical curve to do multiplication). If I understand correctly (from reading the link and other things) the Abelian group he is using is ...
5
votes
0answers
55 views

Does this simple problem using Vieta's formulas have deeper connections to elliptic curves?

A friend posed the following question to me: Suppose $p(x)=x^3+ax+b$ has one real root, $x_1$, and two non-real roots, $x_2$ and $x_3$. Compute $x_1$ in terms of $x_2$. By Vieta's formulas, ...
5
votes
0answers
149 views

What is stopping every Mordell equation from having a [truly] elementary proof?

The Mordell equation is the Diophantine equation $$Y^2 = X^3-k \tag{1}$$ where $k$ is a given integer. There is no known single method — elementary or otherwise — to solve equation $(1)$ for all $k$, ...
5
votes
0answers
147 views

Attacking Elliptic Curve Cryptography Problem with a Bad Reduction $\pmod p$

I'm working on a crypto problem as a puzzle and unfortunately my math isn't at the level I need it to be to answer the question. I have been given a prime $p$, a curve $E$ defined over $F(p)$, a ...