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

learn more… | top users | synonyms

6
votes
1answer
150 views

Animation of Weierstrass $\wp$-function as a map from a torus to the sphere?

I am wondering if there exists somewhere an "animation" of one such map (for some lattice / torus), in the style of the kind of $z \mapsto z^2$ maps one encounters in complex analysis classes (one can ...
6
votes
2answers
5k views

How elliptic arc can be represented by cubic Bézier curve?

If I have an arc (which comes as part of an ellipse), can I represent it (or at least closely approximate) by cubic Bézier curve? And if yes, how can I calculate control points for that Bézier curve?
6
votes
2answers
114 views

The mod $p$ Galois representation of the Frey curve is unramified away from $2, p$

Given a hypothetical solution to Fermat's last theorem for $p \ge 5$ $$a^p + b^p + c^p = 0$$with $a \equiv -1 \pmod 4$, $b$ even, we can write down the Frey Curve$$E: y^2 = x(x-a^p)(x+b^p)$$which has ...
6
votes
2answers
475 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 $(x,y)=...
6
votes
2answers
279 views

Injection of $E(\mathbb{Q})_{\text{tors}}$ into $\tilde{E}(\mathbb{F}_p)$?

I'm looking at Example VII.3.3.3 (p.193, 2nd ed.) of Silverman's The Arithmetic of Elliptic Curves. We have the elliptic curve $E:y^2=x^3+x$, with discriminant $\Delta=-64$, so there is good reduction ...
6
votes
2answers
217 views

References for elliptic curves over schemes

As in the title, I want some references about theories for elliptic curves over rings(not fields) or over schemes. I heard that behaviours(?) of such elliptic curves are not as simple as elliptic ...
6
votes
2answers
325 views

Other ways to compute the torsion subgroup of elliptic curves

Suppose I have a family of elliptic curves $E_{n}/\mathbb{Q}$. I would like to determine the torsion subgroup of $E_{n}(\mathbb{Q})$ denoted by $E_{n}(\mathbb{Q})_{\textrm{tors}}$. Two ways to do this ...
6
votes
1answer
199 views

Why do modular curves parametrise elliptic curves?

Let $Y_1(N)=\Gamma_1(N)/H$, where $H$ is the upper half plane. In these lecture notes http://math.uga.edu/~pete/modularandshimura.pdf , the author makes the following statement: "$Y_1(N)$ ...
6
votes
1answer
150 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 $$...
6
votes
1answer
354 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 ...
6
votes
1answer
268 views

UPDATE: How to find the order of elliptic curve over finite field extension

I want to find the order of elliptic curve over the finite field extension $\mathbb{F}_{p^2}$, where $E(\mathbb{F}_{p^2}):y^2=x^3+ax+b $ I am using the method illustrated by John J. McGee in his ...
6
votes
1answer
195 views

Why are mathematicians more interested in elliptic curves than other algebraic curves?

Why are mathematicians more interested in elliptic curves than other algebraic curves? There must be some reason that motivates mathematicians to research elliptic curves specifically.
6
votes
1answer
197 views

Computing the trace of the following automorphism of the elliptic curve $y^2 = x^3+x$

Consider the elliptic curve $E$ defined by $y^2z= x^3 +xz^2$ over an algebraic closure $\overline{\mathbf{Q}}$ of $\mathbf{Q}$. Consider the endomorphism $f:E\to E$ given by $(x:y:z)\mapsto (-x:iy:z)$....
6
votes
3answers
82 views

Semigroup law on points on the curve $f(x) = \frac{1}{x}$

Consider the positive half of the curve $f: \Bbb{R} \to \Bbb{R}, f(x) = \frac{1}{x}$. Let $A = (a,1/a), B = (b, 1/b)$ be any two points on the curve. Draw a line through them Find where this point ...
6
votes
2answers
630 views

Turning an elliptic curve over C into a complex torus

I have been reading a lot about the Weierstrass $\wp$ function and I understand the parameterization of an elliptic curve with the elliptic function( i.e. $x=\wp(z)$ and $y=\wp^\prime(z)$). I would ...
6
votes
1answer
120 views

On a remarkable system of fourth powers using $x^4+y^4+(x+y)^4=2z^4$

The problem is to find four integers $a,b,c,d$ such that, $$a^4+b^4+(a+b)^4=2{x_1}^4\\a^4+c^4+(a+c)^4=2{x_2}^4\\a^4+d^4+(a+d)^4=2{\color{blue}{x_3}}^4\\b^4+c^4+(b+c)^4=2{x_4}^4\\b^4+d^4+(b+d)^4=2{x_5}...
6
votes
2answers
109 views

Integral solutions to $56u^2 + 12 u + 1 = w^3$

I would like to find all integer solutions to $$56u^2 + 12 u + 1 = w^3.$$ My computer thinks the only integral point is $(0,1).$ This problem arises from Integer solutions of $x^3 = 7y^3 + 6 y^2+2 y$?...
6
votes
1answer
191 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
214 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
213 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
142 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
179 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
91 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
1answer
92 views

Is the sheaf of differentials on an elliptic curve over $R$ with a Weierstrass equation free?

Let $R$ be an integral domain and $E\stackrel{f}{\rightarrow}\text{Spec }R$ be an elliptic curve given by $$E := \text{Proj }R[x,y,z]/(y^2z + a_1xyz + a_3yz^2 = x^3 + a_2x^2z + a_4xz^2 + a_6z^3)$$ ...
6
votes
0answers
86 views

Prime Powers and Differences of Consecutive Cubes

I am wondering if it has been proven that there does not exist a prime $p$ and an integer $r \ge 3$ such that $p^r = (n + 1)^3 - n^3$ for some integer $n$. Note that this is a special case of Beal's ...
6
votes
0answers
217 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
3answers
2k views

Integral points on an elliptic curve

Let's start with an elliptic curve in the form $$E : y^2 = x^3 + Ax + B, \qquad A, B \in \mathbb{Z}.$$ I am wondering about integral points. I know that Siegel proved that $E$ has only finitely many ...
5
votes
3answers
340 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
649 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
428 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
408 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
164 views

Elliptic Curves Without Geometry

Unfortunately geometry terrifies me, so I was hoping to understand the basic theory of elliptic curves algebraically (via their function fields). Let F be a transcendence degree 1 extension of $\...
5
votes
2answers
2k 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 x^3+...
5
votes
1answer
249 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
666 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
1answer
112 views

Infinitely rational points in $y^2 = x^3 - 4$?

If the $x$-coordinate of a rational point $P$ of $y^2 = x^3 - 4$ is given by $m/n$, the $x$-coordinate of $2P$ is given by$${{(m^3 + 32n^3)m}\over{4(m^3 - 4n^3)n}}.$$Using this fact, how do I show ...
5
votes
1answer
722 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
95 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
70 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
144 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
218 views

Cube of an integer

$\frac{x}{y}+\frac{y}{z}+\frac{z}{x}=k$ and $x, y, z, k$ are integers. Prove that $xyz$ is cube of some integer number. I was wondering about giving a parametrization for the rational points on ...
5
votes
1answer
104 views

Can one check by hand whether the Tate module of an elliptic curve is semi-simple

Let $E$ be an elliptic curve over $\mathbb Q$, and $\ell$ a prime number. Then, the $\ell$-adic Tate module $V_\ell(E)$ of $E$ is semi-simple as a $\mathbb Q_\ell$-representation of $\mathrm{Gal}(\...
5
votes
1answer
114 views

Fundamental period of the Weierstrass $\wp$ elliptic function?

Consider the Weierstrass $\wp$ 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 ...
5
votes
1answer
58 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
1answer
647 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
2answers
138 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
1answer
196 views

First problem in Silverman's Arithmetic of Elliptic Curves

I started working through Silverman's Arithmetic of Elliptic Curves. For some reason it looks like the first problem in the first chapter is the hardest problem in the whole chapter or I'm completely ...
5
votes
2answers
111 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
221 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 $a,...
5
votes
1answer
315 views

How to visualize projective plane

I need to comprehend projective plane as a prerequisite for some other topic. But I can't understand what it really looks like. How can I make this plane natural to me? Moreover I want to understand ...