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

learn more… | top users | synonyms

4
votes
1answer
562 views

Computing the divisors of a meromorphic function defined by a hyperelliptic curve.

Let $X$ be a hyperelliptic curve defined by $y^2=h(x).$ Let $\pi : X\to \mathbb{P}^1$ be the double covering map sending $(x,y)$ to $x$. Let $\omega=\pi^{*}(dx/h(x)).$ Compute div$(\omega)$. I ...
4
votes
1answer
169 views

Discriminant of isogenous elliptic curves

Let $E$ be an elliptic curve with a rational $p$-torsion point $P$. Then $E$ is isogenous to the elliptic curve $E' := E/\langle P \rangle$ via the mod $P$ map. I know that the conductor of $E$ and ...
4
votes
1answer
241 views

Global minimal model of elliptic curve over $\mathbb{Q}$

I am basically trying to solve the cannonball problem using elliptic curves. In other words I have to show that the only integer points on the "elliptic curve" $6y^2 = 2x^3 + 3x^2 + x$ are $(0,0), ...
4
votes
1answer
150 views

How to show that the image of a certain projective embedding is an algebraic curve?

I found the following claim in a paper by Griffiths and Harris : Start with a complex torus $\mathbb{C}/\Lambda$. The vector space of meromorphic functions having period lattice $\Lambda$ and a pole ...
4
votes
1answer
124 views

Hyperelliptic curve order

How to compute order of a hyperelliptic curve ($y^2=f(x)$, $deg(f)=2 \cdot g+1$, $g=4$), over $F_p$ for small $p$ ($p$ prime)? Are there any efficient algorithms to do so? Is it possible with ...
4
votes
2answers
86 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 ...
4
votes
1answer
101 views

Galois invariants of the Tate module of an elliptic curve over a number field

Let $K$ be a number field, $E$ be an elliptic curve over $K$, $l \neq p$ be two different prime numbers and $v$ be a place of $K$ above $l$. I am trying to understand the proof of proposition I.6.7 ...
4
votes
2answers
78 views

Substitutions that transform Fermat Equations to Elliptic Curves

I was reading Chapter 1 of Elliptic Curves - Number Theory and Cryptography by Lawrence C Washington. He was considering Fermat equations $$a^4+b^4=c^4\text{ and }a^3+b^3=c^3.$$ For the 1st equation, ...
4
votes
1answer
68 views

Does there have to be a point on elliptic curve over $\mathbb{C}(t)$

Let $E$ be an elliptic curve over $\mathbb{C} (t)$ (rational functions). I require $E$ to be defined by the following equation. $$ y^2 = x^3 + A x + B$$ Where $A, B \in \mathbb{C} (t)$. Question: ...
4
votes
1answer
117 views

Sums of three cubes in arithmetic progression equal to a cube $x^3+(x+y)^3+(x+2y)^3 = z^3$

Using exhaustive search, small positive and primitive integer solutions to, $$x^3+(x+y)^3+(x+2y)^3 = 3 x^3 + 9 x^2 y + 15 x y^2 + 9 y^3= z^3\tag1$$ are, $$x,y = 3,1,\quad x+y =2^2$$ $$x,y = ...
4
votes
1answer
152 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 ...
4
votes
1answer
458 views

Where does a CM elliptic curve have bad reduction?

Let $d>1$ be square-free, and $K=\mathbf Q(\sqrt{-d})$. Choose an embedding of $K$ in $\mathbf C$, and let $E = \mathbf C/\mathcal O_K$. It is known that $E$ admits a model over the Hilbert class ...
4
votes
1answer
63 views

functoriality of $K(G,1)$ spaces in a particular situation involving complex elliptic curves

I apologize if the subject doesn't accurately describe my question. Let $F_2$ denote the free group on two generators. Suppose you have some group homomorphism $A : ...
4
votes
1answer
144 views

Computing the kernel of an isogeny between two elliptic curves

Consider the two rational elliptic curves - $ E_{1}: y^{2}+y=x^{3}+x^{2}-131x-650 $ $ [\text{Cremona}:35a2] $ $ E_{2}: y^{2}+y=x^{3}+x^{2}-x $ $ [\text{Cremona}:35a3] $ We know that ...
4
votes
1answer
35 views

Part of verifying that the Weil pairing $e_m$ is well-defined.

As part of a homework problem, I need to show that the value of $e_m(P,Q)$ is independent of the choice of a point $S \in E[m] \setminus \{\mathcal{O},P,-Q,P-Q\}$, where $E[m]$ is the collection of ...
4
votes
1answer
73 views

Hecke $L$-series exercise in Silverman's Advanced Topics in Arithmetic of EC

I would like to refer you to 2.30 & 2.32 in Silverman's book Advanced Topics in the Arithmetic of Elliptic Curves. 2.30(b)[(c) in errata]: Suppose $\mathfrak{P}$ remains inert in $L'$, say ...
4
votes
1answer
82 views

How I can express $(x,y)∈G$ by using the $r$ independent points $P_1,P_2,\ldots,P_r$

Let $C$ be an elliptic curve over $ℚ$. The group $C(ℚ)$ is a finitely generated Abelian group and we have $C(ℚ)≃ℤ^{r}⊕C(ℚ)^\mathrm{tors}$, where $C(ℚ)^\mathrm{tors}$ is a finite abelian group (is the ...
4
votes
1answer
244 views

Proving that the differential on an elliptic curve $E$ given by $\omega=\frac{dx}{y}$ is translation invariant

I'm taking a course on elliptic curves and I'm stuck on a line in a proof. We're assuming we're in an algebraically closed field $K$ and char($K)\not=2$. We have our elliptic curve ...
4
votes
1answer
87 views

What is Weil paring computing really?

I have trouble in understanding Weil paring on $N$-torsion points on an elliptic curve. Please see Wikipedia for the definition of Weil paring. I would like to know what Weil paring is computing ...
4
votes
1answer
133 views

A question on level structures on elliptic curves

I have a question on $\mathbb{H}/\Gamma(N)$, which parametrizes level $N$ structures on elliptic curves. Let $Y(N)$ be the set of isomorphism classes of such objects, then, according to Fact 2 on page ...
4
votes
1answer
213 views

discriminant of an étale cover of an elliptic curve

Let $\pi:X\to E$ be a finite étale morphism, where $E$ is an elliptic curve over a number field $K$. Assume $X$ to be connected, and to be of genus 1. Edit: Assume $X$ and $E$ have semi-stable ...
4
votes
1answer
233 views

Extend an holomorphic function defined on a torus

Suppose we have an holomorphic function $$ f : \frac{\mathbb{C}}{\Lambda} \mapsto \frac{\mathbb{C}}{\Lambda} $$ where $\Lambda$ is a lattice. Is it always possible to find another function $\psi : ...
4
votes
2answers
58 views

About Mordell's Theorem (Elliptic Curves)

I've just finished the proof of Mordell's Theorem given in the book "Rational Points on Elliptic Curves " by Silverman. One of the key lemmas used in the proof of the theorem is: Let ...
4
votes
1answer
63 views

Distribution of points in ellliptic curves over finite fileds

Let $E$ be an elliptic curve defined over a finite field ${\bf F}_p,$ where $p$ is prime. From Hasse theorem we get $p+1-2\sqrt{p} \leq |E({\bf F}_p)|\leq p+1+2\sqrt{p}.$ Now say that we choose in ...
4
votes
1answer
214 views

Rational Points on Elliptic Curves

I have this homework problem: Can there be an elliptic curve, view as a projective curve, with no rational points with at least one 0 as a coordinate?
4
votes
1answer
612 views

Adding points of an elliptic curve over a finite field

I'm a bit confused with how fractions are handled with adding points of elliptic curves over finite fields. Below is an example from the text which I am trying to understand: The part that ...
4
votes
2answers
75 views

Other names for $E_{p+1}$ $\pmod{p}$?

If I want to know properties of $E_{p+1}$ modulo $p$, do you know a name for this modular form, so that it is easier to search via the internet? So far, what I know is that $E_{p-1}$ is the Hasse ...
4
votes
1answer
153 views

Mathematics for Pleasure of a Beginner

I've just read "The Music of the Primes" by Marcus du Sautoy, it is worth a read. I'm not from a maths background, but I'd like to develop a deeper understanding of the concepts. The poetry of math is ...
4
votes
0answers
93 views

Is it normal surface of general type to have infinitely many positive rank elliptic curves?

I am not good at algebraic geometry and almost surely am misunderstanding something. Got an alleged argument against Bombieri-Lang conjecture and would like to know what the mistake is. One of the ...
4
votes
0answers
59 views

Structure of first-coordinate-projection of set of solutions of “elliptic” diophantine equation $xy(6-(x+y))=6$

Say that a rational number $a$ is good iff there is a rational number $b$ with $ab(6-a-b)=6$, or equivalently iff $a^4 - 12a^3 + 36a^2 - 24a$ is the square of a rational number. Denote by $G$ the set ...
4
votes
0answers
89 views

Mordell Equation $y^2 = x^3 - 20$. [closed]

Prove that the only integral solutions to $y^2 = x^3 − 20$ are $(x, y) = (6, \pm14)$.
4
votes
0answers
72 views

The canonical height of a point on an elliptic curve

I am struggling with exercise 3.3 in Silverman-Tate Rational Points on Elliptic Curves. Here is the paraphrased problem with necessary background: Let $C:y^2 = x^3 + a x + b$ be a nonsingular cubic ...
4
votes
1answer
84 views

Determine if $E(\mathbb{Q})$ is finite or infinite.

It is given the following algebraic curve: $$ZY^2=X^3+3XZ$$ I want to find the group of rational points of finite order $E(\mathbb{Q})_{\text{torsion}}$ and to determine if $E(\mathbb{Q})$ is finite ...
4
votes
0answers
68 views

Pullback of indecomposable bundles on an elliptic curve

I consider an elliptic curve $\mathcal C$ over $\mathbb{C}$ and the multiplication by $[n]$ map on the curve. Then I consider an indecomposable vector bundle $E$ on $C$. What can I say of the ...
4
votes
0answers
102 views

A cubic equation: $u^3−2u^2−2v^3−20v^2+16v=0$

Update (Dec. 22): I have already solved this question with Magma. Recently, I read a paper [1] and saw the following equation: $$u^3−2u^2−2v^3−20v^2+16v=0.$$ The author then got a Weierstrass ...
4
votes
0answers
58 views

There are no elliptic curves over $\mathbb{F}_8$ satisfying either $\#E(\mathbb{F}_8)=7$ or $\#E(\mathbb{F}_8)=11$

This is taken from The Arithmetic of Elliptic Curves by Silverman on page 154, Q5.10(f). One way of directly solving this problem is to work out on sage all 8^5 possibilities of elliptic curves and ...
4
votes
0answers
127 views

Ribet's proof of open image for elliptic curves

In http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.bams/1183555477, Ribet gives a proof of Serre's open image theorem for elliptic curves using ...
4
votes
0answers
136 views

Complex multiplication - Ray class fields

I'm pretty new to complex multiplication and am struggling with Corollary 5.20 in Elliptic Curves with Complex Multiplication and the Conjecture of Birch and Swinnerton-Dyer by Rubin. According to ...
4
votes
0answers
119 views

Complex Multiplication/ Elliptic Curves Question

I'm working on the following problem from Silverman's advanced topic in the arithmetic of elliptic curves: Let $E$ be an elliptic curve defined over a number field $L$ with complex multiplication by ...
3
votes
3answers
225 views

Reference: Elliptic curves as complex tori

I'm looking for books which contain a more or less self-contained description of how elliptic curves over $\mathbb{C}$ - that is, nonsingular plane cubic curves - can be realized as a quotient of the ...
3
votes
3answers
381 views

Rankin-Selberg zeta function

I was reading this paper by de Weger and in conjecture 7 he mentions "the Riemann hypothesis for the Rankin-Selberg zeta function associated to the weight 3/2 modular form associated to E (an elliptic ...
3
votes
2answers
324 views

Elliptic curves over a finite field $\mathbb{F}_p$ where $p$ is prime.

Let $Y^2=f(X)$ be an Elliptic curve over a finite field $\mathbb{F}_p$ where $f(X)=X^3+aX+b$ In an undergraduate coursebook on an Applied Algebra course it states that "It is plausible to suggest ...
3
votes
2answers
872 views

Finding zeros and poles of rational functions over elliptic curve

The matter of explicitly finding the order of a rational function on an elliptic curve in the projective plane at infinity (i.e. at the point $(0, 1, 0)$) still seems unclear. For example, Silverman ...
3
votes
2answers
4k 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?
3
votes
1answer
128 views

Definition of a Elliptic curve

I've seen two different definitions of an elliptic curve. 1) The first one being that it is a nonsingular projective curve of genus 1. 2) The other definition nonsingular projective curve of ...
3
votes
2answers
246 views

Moduli space of isogeny classes of elliptic curves

The modular curve $Y(1)$ classifies isomorphism classes of elliptic curves, namely its $K$-points for any field $\mathbb Q\subseteq K\subseteq \mathbb C$ correspond via the $j$-invariant to $\mathbb ...
3
votes
1answer
873 views

Weierstrass Form of Elliptic Curve

One can put every cubic curve into Weierstrass form, how unique is this form?
3
votes
1answer
282 views

Modular functions and elliptic functions

Does anybody know of an equation formally equating modular functions and elliptic functions similar to Euler's equation for exponential and trigonometric functions? Any advice much appreciated. ...
3
votes
2answers
84 views

Elliptic curve $y^2= x^3 + x$ over the finite field $\mathbb{F}_p$ with $p \geq 3$.

Consider the elliptic curve $$E: y^2= x^3 + x$$ over the finite field $\mathbb{F}_p$ with $p \geq 3$. I want to show that $|E(\mathbb{F}_p)| \equiv 0 \mod 4$. I know that, if $p \equiv 3\mod 4$, ...
3
votes
1answer
104 views

rational points on particular elliptic curve

I do have a few books that discuss elliptic curves, however... What are the rational points on $$ y^2 = 4 x^3 - 4 x = 4 x(x-1)(x+1)? $$ I think it ought to be $(-1,0), (0,0), (1,0).$ Maybe it's ...