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

learn more… | top users | synonyms

8
votes
0answers
102 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
182 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
114 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
3answers
182 views

The genus of a curve with a group structure

I'm reading Milne's Elliptic Curves and came across this statement: If a nonsingular projective curve has a group structure defined by polynomial maps, then it has genus 1. In this question a similar ...
7
votes
2answers
289 views

why say complex multiplication of elliptic curves is beautiful

David Hilbert is said to have remarked that the theory of complex multiplication of elliptic curves was not only the most beautiful part of mathematics but of all science. Just as the title asked. ...
7
votes
3answers
311 views

Diophantine equation $x^2 + 32x = y^3$

I am trying to find all solutions to the Diophantine equation $x^2 + 32x = y^3$. I think that the first step is to factorise: $x(x+32)=y^3$. If $x$ is odd, then $x+32$ is also odd. The common ...
7
votes
2answers
605 views

Geometric reason why elliptic curve group law is associative

The question title says it all. I am looking for a geometric proof for the fact that the group law defined on elliptic curves is associative. I've heard somewhere about something on the ...
7
votes
2answers
145 views

$a^3+3a^2+a$ is never a perfect square.

Prove that no number of the form $ a^3+3a^2+a $, for a positive integer $a$, is a perfect square. This problem was published in the Italian national competition (Cesenatico 1991). I've been ...
7
votes
1answer
103 views

Do schemes help us understand elliptic curves?

I'm reading Silverman and Tate's "Rational Points on Elliptic Curves" and I'm very much enjoying learning about these objects, and in particular doing a bit of number theory. It's different to what ...
7
votes
1answer
288 views

Is the pushforward of the sheaf of differentials on an elliptic curve over a scheme necessarily trivial?

If $f:E\rightarrow S$ is an elliptic curve over a scheme $S$ (so $f$ is proper and smooth of relative dimension one with geometrically connected fibers of genus one, equipped with a section ...
7
votes
2answers
548 views

A question on FLT and Taniyama Shimura

Sometime back i watched the documentary of Andrew Wiles proving the Fermat's Last theorem. A truly inspiring video and i still watch it whenever i am in a depressed mood. There are certain ...
7
votes
2answers
186 views

Clarifying a comment of Serre

Let $\rho_{\ell}$ be the "mod $\ell$" Galois representation associated to an elliptic curve $E/K$ (i.e., corresponding to the action of Galois on the $\ell$-torsion points). Serre proved that in the ...
7
votes
1answer
373 views

Does the $p$-torsion of an elliptic curve with good reduction over a local field always determine whether the reduction is ordinary or supersingular?

Let $K$ be a finite extension of $\mathbb{Q}_p$ and $E/K$ an elliptic curve with good reduction. Does the $\mathbb{F}_p[\mathrm{Gal}(\overline{K})]$-module $E[p](\overline{K})$ determine whether the ...
7
votes
1answer
64 views

Torsion on $y^2=x^3+d$

A question that I am stuck on is: prove that the $\mathbb{Q}$-torsion subgroup of the elliptic curve $y^2=x^3+d$ has order dividing 6. Any hints on how to start would be nice. I tried saying ...
7
votes
1answer
73 views

How to test if a given elliptic curve has complex multiplication

Is there a general, reasonably easy to understand, algorithm for testing whether an elliptic curve has CM? For example, consider the curve $y^2=x^3+\frac{27}{1727}x+\frac{54}{1727}$ This has ...
7
votes
1answer
99 views

Why is $H^1(\text{Gal}(\overline{K}/K),A)=\lim_{\rightarrow}H^1\left(L/K, A^{\text{Gal}(\overline{K}/L)}\right)$

I'm doing a course on elliptic curves, and I'm stuck on this. Here are the definitions: Let $G$ be a group and let $A$ be a $G$-module (that is, a $\mathbb{Z}[G]$-module). We have the "cochains" ...
7
votes
1answer
122 views

Proof in Kummer Theory - why is this subgroup finite?

I'm doing a course on elliptic curves. We're working with a field $K$ with $\mu_n \subset K$ ($K$ contains all $n$th roots of unity) and $\mbox{char}(K)\not|\;n$. I'm trying to understand the proof ...
7
votes
1answer
189 views

How can I determine in practice whether two elliptic curves over $\mathbb{Q}$ have isomorphic $p$-torsion?

Let $E_1$ and $E_2$ be elliptic curves over $\mathbb{Q}$ with good, ordinary reduction at an odd prime $p$. I'm wondering how to determine whether $E_1[p]$ and $E_2[p]$ are isomorphic ...
7
votes
1answer
363 views

Special privilege enjoyed by Elliptic Curves with Complex Multiplication

I think after reading the title one may understand the intention of me, this question is concerned about the Elliptic curves having a Complex Multiplication. I have been reading many theorems, ( ...
7
votes
1answer
136 views

Challenge from Fermat

Fermat challenged Frenicle with finding a pythagorean triple (a,b,c) where $(a-b)^2-2b^2$ is itself a square. By making the substitution $a=m^2-n^2$, $b=2mn$, and $c=m^2+n^2$ into $(a-b)^2-2b^2=d^2$ ...
7
votes
1answer
154 views

Completion along zero section of an elliptic curve.

I am trying to understand the intuition that I should have about the formal group of an elliptic curve. Say that I have an elliptic curve $E\to \text{Spec} R$ for some ring $R$, with section $0\colon ...
7
votes
1answer
161 views

Dimension of family of hyperelliptic curves

Suppose we have an elliptic curve E with a point $P$ of order $5$ over a field of characteristic $0$. Denote $E'$ the curve $E/\langle P\rangle$. Now let $x$ (resp. $x'$) be a function on $E$ (resp. ...
7
votes
0answers
87 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
166 views

Surfaces ruled over elliptic curves

Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve. Suppose $E$ is an elliptic ...
7
votes
1answer
114 views

Short exact sequence of modules and elliptic curves

Let $E/\mathbb{Q}$ be an elliptic curve with a 3-torsion point $P$. Let $E_{d}$ denote the quadratic twist of $E$ by $d$. Then the action of $\sigma \in ...
6
votes
3answers
2k views

Group Law for an Elliptic curve

I was reading this book "Rational points on Elliptic curves" by J.Silverman, and J.Tate, 2 prominent figures in Number theory and was very intrigued after reading the first couple of pages. The ...
6
votes
3answers
137 views

Fact check: global geometry / topology of moduli space of curves

Question: Is the moduli space of smooth complex curves of genus $g\geq2$ isomorphic to the affine space $\mathbb A_{\mathbb C}^{3g-3}$? (Note: I am not asking about the compactification of this ...
6
votes
2answers
1k views

Local-Global Principle and the Cassels statement.

In a recent article I have read, i.e. " Lecture notes on elliptic curves ", Prof.Cassels remarks in page-110 that There is not merely a local-global principle for curves of genus-$0$, but ...
6
votes
3answers
258 views

Purpose of cusps

In the theory of of modular forms, there is the set of of cusps defined by $\mathbb{P}^1 (\mathbb{Q})= \mathbb{Q} \cup \{\infty\}$. For an subgroup $\Gamma < \text{SL}_2(\mathbb{Z})$ of finite ...
6
votes
2answers
371 views

The Néron-Tate canonical height on elliptic curves

I have been trying to understand the Néron-Tate global canonical height of algebraic points on elliptic curves. Let $K$ be a number field, $E$ an elliptic curve (over $\mathbb{Q}$, say), and $E(K)$ ...
6
votes
2answers
253 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
65 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
145 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
1answer
264 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
218 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
128 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
169 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
1answer
115 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
188 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
88 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
146 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
81 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
0answers
127 views

Some questions related to Iwasawa invariants of elliptic curves

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with good ordinary reduction at an odd prime $p$. Let $\mathbb{Z}_{p}$ denote the ring of $p$-adic integers, and $\mathbb{Q}^{cyc}$ be the ...
6
votes
0answers
116 views

Prove that $3x^3+4y^3+5z^3 \equiv 0 \pmod{p}$ is solvable for all primes p

I am trying to prove that the congruence $3x^3+4y^3+5z^3 \equiv 0 \pmod{p}$ is solvable for all primes p. I proved it using primitive root, but my professor in number theory told me that it can be ...
5
votes
3answers
294 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
3answers
651 views

References for elliptic curves

I just finished reading Silverman and Tate's Rational Points on Elliptic Curves and thought it was very interesting. Could any of you point me to some more references (ex. books, articles) on ...
5
votes
1answer
396 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
2answers
481 views

Why do we define the group law on elliptic curves only for Weierstrass forms and $O$ an inflexion point?

In almost all texts concerning the group law on an elliptic curve it is first proven that any nonsingular cubic can be given by a Weierstrass equation and then the group law using the point $O$ at ...
5
votes
4answers
330 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
224 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 ...