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

learn more… | top users | synonyms

46
votes
0answers
838 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 ...
9
votes
0answers
220 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 ...
8
votes
0answers
288 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 ...
8
votes
0answers
197 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 ...
8
votes
0answers
117 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
90 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
145 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
108 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
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 ...
5
votes
0answers
138 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
109 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 ...
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
71 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
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
118 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
0answers
52 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
32 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 ...
3
votes
0answers
46 views

Are there any other integer points on the elliptic curve $Y^2 = X^3 + 1$ beyond $(-1, 0), (0, \pm 1), (2, \pm 3)$?

The charm of elliptic curves is that given one or two integer points, one can find others by the group law. However the easy to guess points from the title just pump me around trough a cyclic group of ...
3
votes
0answers
109 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 ...
3
votes
0answers
45 views

The Frobenius Trace for an elliptic curve

Let E be an elliptic curve defined over $\mathbb{Q}$ (coeffs. there), and consider its $n-$torsion points in $\mathbb{C}$, $E(\mathbb{C})_{\text{tors}}[n]$. We know this group is isomorphic to ...
3
votes
0answers
38 views

Some clarifications regarding Deligne's paper on $\ell$-adic representations arising from modular forms

In Deligne's article in Séminaire Bourbaki "Formes modulaires et représentation $\ell$-adiques" ...
3
votes
0answers
64 views

Describing generators for the fundamental group of an elliptic curve given by an equation

Say you're given an equation in the form $y^2 + a_1xy + a_3y = x^3 + a_2x^2 + a_4x + a_6$. If the $a_i$'s are complex numbers, the subset $E^*\subset\mathbb{C}^2$ satisfying this equation is a ...
3
votes
0answers
36 views

Computing cohomology of the sheaf $\mathcal{End}(T_{\mathbb{P}^2})$ restricted to a curve

Characteristic of the basic field is zero in this question. Let $E \subset \mathbb{P}^2$ be a smooth elliptic curve. Let $\mathcal{F}$ be the vector bundle on $E$ obtained as restriction to $E$ of the ...
3
votes
0answers
98 views

Hasse's theorem on elliptic curves over finite fields

Suppose $\mathcal{E}$ is an elliptic curve defined over $\mathbb{Q}$, Then Hasse's theorem states that for any large characteristic $p$ there exists an algebraic number $\lambda_p$ of modulus ...
3
votes
0answers
32 views

Ample non-flex on elliptic curve

Say $E$ is a plane cubic, and $p$ is a point on $E$. Riemann-Roch tells us that $\mathcal O_E(3p)$ is very ample. If $p$ is a flex, it's easy to write down the three sections giving an embedding of ...
3
votes
0answers
59 views

Klein's invariant and negative discriminant

Let $J = J(\tau)$ be Klein's invariant and let $0 < k < 1$ be the elliptic modulus. It is known that $$J = \frac{4}{27} \frac{(1 - \lambda + \lambda^2)^3}{\lambda^2 (1 - \lambda)^2},$$ where ...
3
votes
0answers
66 views

Elliptic curves as $\mathbb{C}^*/\mathbb{Z}$

I apologize in advance if my question is rather trivial, but i have trouble understanding a basic fact about elliptic curves.. I have always wrote an elliptic curve $E$ as $\mathbb{C}/\Lambda$, where ...
3
votes
0answers
89 views

Looking for help with this elementary method of finding integer solutions on an elliptic curve.

In the post Finding all solutions to $y^3 = x^2 + x + 1$ with $x,y$ integers larger than $1$, the single positive integer solution $(x,y)=(18,7)$ is found using algebraic integers. In one of the ...
3
votes
0answers
79 views

Finding the prime element of a place of a function field of a elliptic curve.

Let $p$ be an elliptic curve in $\mathbb{C}[X,Y] $. Consider the quotient ring $A = \mathbb{C}[X,Y]/(p) $ and its field of fractions $F = frac(A) $. For all $f + (p) \in A$, define $deg_A(f + (p))= ...
3
votes
0answers
32 views

does every elliptic curve E/S have infinitely many sections after passing to an etale extension of S?

Let E/S be an elliptic curve, where S is any scheme. Must there exist a scheme $S'$, etale and surjective over $S$, such that the pullback $E' := E\times_S S'$ has infinitely (or even > 1) many ...
3
votes
0answers
65 views

Number of points over elliptic curve is p+1 given…

Suppose that -1 is not a square in $\mathbb{Z_p}$. Show that the number of points on the elliptic curve $y^2=x^3+ax$ over $\mathbb{Z_p}$ is $p+1$. Hint: Use the fact that $x^3+ax$ is an odd function. ...
3
votes
0answers
126 views

Representing Points of Jacobian in Magma

Although I understand the Mumford representation of points on the Jacobian (of a genus 2 hyperelliptic curve), I don't understand how Magma represents such points. I would guess the confusion arises ...
3
votes
0answers
50 views

Automorphisms of elliptic curves with a point of order N

Probably a stupid question, but I'm trying to figure out the following: Suppose we have an element of $X_1(N)$, i.e. an elliptic curve $E$ with a point $p$ of order $N$. If we have another such curve ...
3
votes
0answers
100 views

Frobenius Endomorphism

I had a lecture last week which dealt with the Frobenius Endomorphism on elliptic curves. The lecturer showed an example at the end of the lecture, when almost out of time and I don't quite understand ...
3
votes
0answers
67 views

Weil operator of elliptic curve

Let $V$ be a $1$-dimensional $\mathbb{C}$-vector space and $\Lambda \subset V$ be an elliptic curve (=lattice). Let $C : V \rightarrow V$ be the multiplication by $i$. Consider the two following ...
3
votes
0answers
288 views

Every smooth cubic curve has a flex point

I want to show that every smooth irreducible plane cubic $C$ has a flex point, i.e. a point $P$ with $i_P(C, T_C(P)) = 3)$ (where $T_C(P)$ is the tangent to $C$ at $P$). I know how to do this in ...
3
votes
0answers
148 views

Good source of problems for Knapp's Elliptic Curves?

I'm studying elliptic curves (and eventually modular forms) out of Knapp's book because of the softer algebraic geometry prereqs. It's incredibly accessible but the problem is that I don't know I can ...
3
votes
0answers
63 views

Is there a construction known for associating a K3 surface to a curve or cover of curves

Let $X$ be a curve of genus at least two. Then one can associate an abelian variety to $X$; this is the Jacobian. Let $X\to Y$ be a double cover of curves. Then we can associate an abelian variety to ...
3
votes
0answers
131 views

Why does Lenstra ECM work?

I came across Lenstra ECM algorithm and I wonder why it works. Please refer for simplicity to Wikipedia section Why does the algorithm work I NOT a math expert but I understood first part well enough ...
3
votes
0answers
135 views

when do two rational elliptic curves have identical size when reduced mod $p$ for all primes $p$?

If $E_1$ and $E_2$ are two elliptic curves over $\mathbb{Q}$ such that $|E_1(\mathbb{F}_p)|=|E_2(\mathbb{F}_p)|$ for all primes $p$, what does this tell us about the relationship between $E_1$ and ...