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

learn more… | top users | synonyms

65
votes
0answers
1k views

Gross-Zagier formulae outside of number theory

(Edit: I have asked this question on MO.) The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer ...
11
votes
0answers
960 views

Motivation for Weil pairing

The Weil pairing $$e_\phi:E[\phi]\times E'[\hat{\phi}]\to \mu_n$$ for an elliptic curve is defined as follows. Let $\phi:E\to E'$ be an isogeny of degree $n$ and $\hat\phi:E'\to E$ be the dual ...
10
votes
0answers
277 views

Hecke Characters

My question today concerns Hecke characters or Größencharaktere. I'm doing a project on complex multiplication of elliptic curves and need some help understanding Hecke characters. My main ...
9
votes
0answers
234 views

Global sections of vector bundles on a complex elliptic curve and analytic functions

Let me fix an elliptic curve $E$ over complex numbers with distinguished point $x \in E$. Thanks to Atiyah we know everything about discreet parameters of vector bundles and its moduli spaces. But I ...
9
votes
0answers
124 views

Reference for l-adic Lie algebras

I don't know much at all about Lie algebras or representation theory, and I'm trying to read Ribet's `Review of Abelian l-adic Representations and Elliptic Curves'. Is there a standard reference for ...
7
votes
0answers
154 views

Galois cohomologies of an elliptic curve

I am studying basic theory of elliptic curves. I encountered Galois cohomology. But two introductory textbooks I read used only $H^0$ and $H^1$. I am curious why higher cohomologies did not appear. I ...
7
votes
0answers
130 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. ...
7
votes
0answers
96 views

Ex. $2.30$ in Silverman Adv. Topics

I would like to refer you to Exercise $2.30(c)$ in Silverman's Advanced Topics in Elliptic Curves. Question: Let $E/L$ be an EC with CM by $K$. Assume that $K\nsubseteq L$, and let $L'=LK$ and let ...
7
votes
0answers
153 views

What is the complex *algebraic* moduli of elliptic curves?

It's well-known that $SL_2(\mathbb{Z}) \backslash \mathfrak{h}$ is a coarse moduli space for complex elliptic curves. Thus, I would expect this to be related to the pullback of $\mathcal{M}_{ell} \...
6
votes
0answers
74 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
0answers
69 views

Canonical sheaf of bielliptic surface

This is an example of bielliptic surface on page 84 from Beauville's book "Complex algebraic surfaces". Let $\rho^3=1$, $\rho\neq1$ and $F_\rho=\mathbb{C}/(\mathbb{Z}+\rho\mathbb{Z})$, $G=\mathbb{Z}/...
5
votes
0answers
86 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
62 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 $\mathbb{...
5
votes
0answers
61 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, $x_1+...
5
votes
0answers
158 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 ...
5
votes
0answers
158 views

Why is this a characterization of isogenies of elliptic curves? (From Silverman)

In the proof of Theorem III.6.2 (c) in Silverman's The Arithmetic Of Elliptic Curves it says: Let $x_1, y_1 \in K(E_1)$ and $x_2, y_2 \in K(E_2)$ be Weierstrass coordinates. We start by looking at ...
5
votes
0answers
145 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 $...
5
votes
0answers
117 views

Approach to elliptic curve $y^2=x^3+1/4+p/a^2$

While taking a brute-force look at this question I discovered that it seems that almost every prime (I'll conjecture every prime larger than 20627) can be written as $p=w^2+wc+d$ for $w,c,d\in \mathbb{...
4
votes
0answers
33 views

Show that division polynomials of elliptic curve $y^2=x^3+x$ are in $\mathbb{Z}[x,y]$.

This is an exercise from Rational Points on Elliptic Curves by Silverman and Tate. Define a sequence of division polynomials $\psi_n\in \mathbb{Z}[x,y]$ for the elliptic curve $y^2=x^3+x$ ...
4
votes
0answers
34 views

Prove that there are only finitely many rational numbers $p/q$ satisfying $|\frac{p}{q}-\sqrt[d]{b}|\leq \frac{C}{q^3}$.

This is a problem from Silverman & Tate's Rational Points on Elliptic Curves. The following is the Diophantine Approximation theorem by Thue which is proved in Chapter 5: Theorem. Let $b$ be a ...
4
votes
0answers
43 views

How to compute explicitly the covering map in the modularity theorem?

The modularity theorem (original Shimura-Taniyama-Weil conjecture) asserts the existence of a covering (uniformization) map $\pi:X_0(N) \to E$ for every $E$, an elliptic curve defined over $\mathbb{Q}$...
4
votes
0answers
70 views

Tate curve and cusps

I know this is a naive question, but what is the relation between the Tate curve and cusps on a modular curve? Naive googling seems to suggest that level structures on the Tate curve (up to ...
4
votes
0answers
42 views

Proving an eliptic curve is cyclic, and determining it's order

I need a solution with an explanation for the following. Thanks! Let $E/F_q$ be an elliptic curve and let $P ∈ E(F_q)$ be a point a. if $n=ord(P)>1/2(q^{0.5}+1)^2$ prove that $E(F_q)$ is cyclic ...
4
votes
0answers
125 views

Finding zeta function of an elliptic curve

Let p=3 (mod 4) be a prime, and $E/F_{p^r}$ be the elliptic curve given by $y^2 = x^3 − x$ Find the zeta-function of $E/F_p$ and use it to determine $|E(F_{p^r} )|$ for all r>0.
4
votes
0answers
61 views

Original proof of Ljunngren's equation

The equation $$x^2=2y^4-1$$ was studied and solved by Ljunngren, who showed that 1,1 and 293,13 are the only integer solutions.However, his proof was very difficult and L.J.Mordell thought there must ...
4
votes
0answers
44 views

De Rham-Etale comparison isomorphism for elliptic curves

I can't find anywhere a proof of the following comparison isomorphishm: $$H^1_{dR}(E)\otimes \mathbb{C}=H^1_{et}(E)\otimes \mathbb{C}$$ where $E$ is an elliptic curve over $\mathbb{C}$. Any ...
4
votes
0answers
71 views

Tate curve and action of inertia group

I read the answers to this question Clarifying a comment of Serre. However I miss a passage of the second answer and since I can't comment there I have should post a new question. I don't understand ...
4
votes
0answers
110 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
68 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
118 views

Remark 4.23.4 in Hartshorne.

Remark 4.23.4 in Hartshorne references a paper by Elkies that explains that$$\mathfrak{B} = \{p \text{ prime}: X_{(p)} \text{ is nonsingular over }k_{(p)}, \text{ and }X_{(p)}\text{ has Hasse ...
4
votes
0answers
110 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
0answers
75 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
129 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
62 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
169 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
156 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 ...
3
votes
0answers
24 views

Show $|E_1(\mathbb{F_q})|+|E_2(\mathbb{F_q})|=2(q+1)$

...under the assumption that $E_1,E_2$ are elliptic curves over $\mathbb{F_q}$ and that there is a (surjective) isogeny $\pi:E_1\rightarrow E_2$ defined over $\mathbb{F_{q^2}}$ obeying $\pi\phi_1=-\...
3
votes
0answers
49 views

Complex multiplication and ray class fields

This question is mainly referring to the proof of Theorem 5.6, Chapter 2 of Silverman's "Advanced Topics in the AEC". Basically, let $K$ be an imaginary quadratic field, and $E$ be an elliptic curve ...
3
votes
0answers
87 views

Kummer map and cohomology group for an elliptic curve

Let $E=E_q$ be the Tate ellipitc curve over a finite extension $K$ of $\mathbb{Q}_p$ for a $q$. Let $T$ be its p-adic Tate module. Let $\mathfrak m$ be the maximal ideal in $K$. I saw in this paper (...
3
votes
0answers
59 views

Automorphism of elliptic curve, Vakil 19.10.E

There are many other proofs of finding all the possible automorphism groups of elliptic curves, but I am interested in the $Hint$ and the corresponding proof in the following exercise from Vakil's ...
3
votes
0answers
46 views

$E[n]$ is etale locally $(\mathbb{Z}/n\mathbb{Z})^2$

I don't think we need the entire setup below (from Katz and Mazur's elliptic curve book, pages 74 and 75), but, as a beginner, I am unable to identify the assumptions I need. Let $S$ be the open ...
3
votes
0answers
71 views

The Picard group of an Elliptic Curve

Let $(E,O)$ be an elliptic curve. Let $\operatorname{Pic}^0(E)$ stand for the divisors that have degree $0$ where : $$D = \sum_{p\in E}n_p(P) \text{ and } \deg D = \sum_{p\in E}n_p.$$ I understand ...
3
votes
0answers
74 views

Why are supersingular elliptic curves useful for cryptography?

I don't know very much about cryptography and would like to learn more. I know the basics of RSA alogrithm and how elliptic curves over finite fields can be used to do something similar. But I would ...
3
votes
0answers
50 views

Reduction of an elliptic curve defined over $\mathbb{Q}$

Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $\ell$ be a prime number such that the reduced curve $\tilde E_{\ell}$ is non singular. Assume that $\tilde E_{\ell}$ admits a subspace $E'_{\ell}$...
3
votes
0answers
61 views

Where does the terminology “fake/false elliptic curve” come from?

In describing, say, the moduli of Shimura curves, people often refer to "fake" or "false elliptic curves" ("les fausses courbes elliptiques"), which are abelian surfaces whose endomorphism ring is an ...
3
votes
0answers
107 views

Trisectible Angle

How do we prove that a triangle with sides $(one, x, y)$, where $x$ is any constructible length from one to three at the elliptic curve $$y^2 = x^3 -x^2 -x +1$$then the triangle possess at least ...
3
votes
0answers
62 views

The form of the zeta function of an elliptic curve over a finite field

I seek a (very) elementary proof that the zeta function of an elliptic curve $E$ over $\mathbb{F}_q$ has the form $$Z(T)=\frac{1-aT+qT^2}{(1-T)(1-qT)}.$$ Something tedious and computational making use ...
3
votes
0answers
42 views

Why do we assume the ring to be torsion free when dealing with formal logarithms in the context of formal group laws?

Let $F$ be a formal group over a ring $R$. Why do we require that $R$ has no additive torsion before we discuss formal logarithms?
3
votes
0answers
38 views

Weierstrass-$\wp$ Function Asymptotics

Given the Weierstrass-$\wp$ function, $$\wp(2x+1+\tau \mid 1, \tau),$$ with half-periods $1$ and $\tau=\omega_2/ \omega_1$, I want to look at the case where $\rm{Re}(\tau) \in \mathbb{Z}$ and I want ...