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

learn more… | top users | synonyms

6
votes
1answer
178 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
328 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
254 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
193 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 ...
6
votes
3answers
77 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
580 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
2answers
100 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 ...
6
votes
1answer
165 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
207 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
191 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
130 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
170 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
88 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
87 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
122 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. ...
6
votes
1answer
252 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
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
335 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
629 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
419 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
394 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
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?
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 ...
5
votes
1answer
242 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
634 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
110 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
622 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
84 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
68 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
140 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
97 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 ...
5
votes
1answer
103 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
139 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.
5
votes
1answer
56 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
638 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
132 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
108 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
191 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
167 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
382 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
2answers
117 views

Rational solutions to $x^4+y^4=cz^2$

Suppose $c\neq 1$ is a squarefree number, and consider the curve $x^4+y^4=cz^2$. How can I find rational points on this curve? What I really want to know is how to transform this into an elliptic ...
5
votes
1answer
219 views

seeing the differential dx/y on an elliptic curve as an element of the sheaf of differentials

$\newcommand{\CC}{\mathbb{C}}$ $\newcommand{\Spec}{\text{Spec }}$ It's a well known fact that every elliptic curve (say, over a field $k$) has a global holomorphic nowhere vanishing differential. If ...
5
votes
1answer
229 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
732 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
202 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
144 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
140 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
72 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
125 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 ...