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

learn more… | top users | synonyms

4
votes
1answer
96 views

Let $E:y^2 = x^3 + 1$ be an elliptic curve. For each prime $5 \leq p \leq 13$, describe the group $E(\mathbb{F}_p)$.

$$\Large\textbf{Problem}$$ Let $E:y^2 = x^3 + 1$ be an elliptic curve. For each prime $5 \leq p \leq 13$, describe the group $E(\mathbb{F}_p)$, the Mordell-Weil group. $$\Large\textbf{Attempts and ...
4
votes
2answers
92 views

Silverman Adv. Topics example

I would like to refer you to Silverman's Advanced Topics in the Arithmetic of Elliptic Curves example 10.6: Let $D$ be a nonzero integer, $E:y^2=x^3+D$ with complex multiplication by $\mathcal{O}_K$ ...
4
votes
2answers
62 views

Reduction map on torsion points of an elliptic curve and their valuation

Let $K$ be a field of characteristic zero, complete with respect a discrete valuation $v$. Assume that the residue field $k$ is of positive characteristic $p$. Now take an elliptic curve $E$ defined ...
4
votes
1answer
201 views

Mordell-Weil rank in elliptic surfaces

Suppose that an elliptic smooth K3 surface $X$ defined over a number field $k$ has arithmetic Picard rank $r$ and assume that it is equipped with a $k$ fibration over $\mathbb{P}^1$ that has a section ...
4
votes
2answers
272 views

Prym variety associated to an étale cover of degree 2 of an hyperelliptic curve.

In view of this question, I have an additional question. The situation is as follows. Let $C$ be the hyperelliptic curve over $\mathbb{C}$, which is given on an affine by the equation $y^2 = x^5 +1 ...
4
votes
2answers
168 views

There is no Pythagorean triple in which the hypotenuse and one leg are the legs of another Pythagorean triple.

According to Wikipedia, There are no Pythagorean triples in which the hypotenuse and one leg are the legs of another Pythagorean triple. I cannot find the proof in the citation provided. I am ...
4
votes
1answer
277 views

How to visualize projective plane

I need to comprehend projective plane as a prerequisite for some other topic. But I can't understand what it really looks like. How can I make this plane natural to me? Moreover I want to understand ...
4
votes
1answer
624 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
170 views

Cohomology group and elliptic curve

Let $E$ be an elliptic curve with a 3-torsion point $P$ and $G = \operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$. Let $X = \{O, P, -P\}$ where $O$ is the point at infinity and $X$ is a ...
4
votes
1answer
771 views

How to find all rational points on the elliptic curves like $y^2=x^3-2$

Reading the book by Diophantus, one may be led to consider the curves like: $y^2=x^3+1$, $y^2=x^3-1$, $y^2=x^3-2$, the first two of which are easy (after calculating some eight curves to be solved ...
4
votes
1answer
203 views

division polynomials of elliptic curve as function on $\mathbb{C}$

I have a question about exercise 6.15 of Silverman's book AEC. Suppose that $E$ is a nonsingular elliptic curve over $\mathbb{C}$ given by the equation $$y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6.$$ Then we ...
4
votes
1answer
84 views

Formal expansion of differential form on elliptic curves

First of all everything i'm asking about comes from the beginning of Katz and Mazur's book : Arithmetic moduli of elliptic curves (which you can find here). I'm considering an elliptic curve $f : E ...
4
votes
2answers
67 views

What will be a good source for learning elliptic curves and what viewpoints can I adopt?

I'm attending a research seminar on elliptic curves in my university where the professor is currently presenting a proof of Mordell's theorem (for elliptic curves over $\mathbb Q)$. The professor says ...
4
votes
2answers
67 views

Help with proving that the torsion subgroup of $y^2=x^3+x$ is $E(\mathbb{Q})_{tors} \cong \mathbb{Z}/2\mathbb{Z}$

Let $E: y^2= x^3 + x$ be an elliptic curve over $\mathbb{Q}$. I'm trying to prove that $E(\mathbb{Q})_{tors} \cong \mathbb{Z}/2\mathbb{Z}$. In order to do that, I've already shown that ...
4
votes
2answers
102 views

In cryptography, why do we reduce elliptic curves over finite fields?

What's wrong with real numbers? Is the continuous logarithm problem "easy" to solve for elliptic curves? Here's what I believe: elliptic curves over the real numbers have infinitely many points, many ...
4
votes
1answer
96 views

Quantities $g_2$, $g_3$, $\Delta$

This question is somewhat related to this one. Let $\lambda$ be the modular lambda function. Greenhill (Elliptic Functions, p. 57) states that we may put $$g_2 = \frac{1 - \lambda + \lambda^2}{12}, ...
4
votes
1answer
131 views

First problem in Silverman's Arithmetic of Elliptic Curves

I started working through Silverman's Arithmetic of Elliptic Curves. For some reason it looks like the first problem in the first chapter is the hardest problem in the whole chapter or I'm completely ...
4
votes
1answer
128 views

motivation for talking about torsion points on an elliptic curve

Let's consider elliptic curves over a fixed field $k$. I understand that viewing the set of $k$-rational as an abelian group is interesting and useful, but I am confused about why the torsion points ...
4
votes
1answer
150 views

Group law for an elliptic curve using schemes

I was trying to understand better the definition of the group law for an elliptic curve given in Katz and Mazur's book ...
4
votes
1answer
97 views

Confusion with computing kernel of an isogeny between two elliptic curves

Consider the two elliptic curves $$E_3: y^2+y=x^3+x^2+x \enspace [Cremona:19A3]$$ and $$E_1: y^2+y=x^3+x^2−9x−15 \enspace [Cremona:19A1]$$ Let $\varphi$ be the $3$-isogeny from $E_3$ to $E_1$. I want ...
4
votes
1answer
190 views

solving $x^3-2y^3=1$ using cubic number field

I am trying to solve the diophantine equation $x^3-2y^3=1$ using $\mathbb{Q}(\sqrt[3]{2}).$ I've read this link: Solve $x^3 +1 = 2y^3$ The following is what i have tried: Finding all integer ...
4
votes
1answer
159 views

Computing cohomology groups of elliptic curves

I'm skimming through Silverman's text to recall some theory of elliptic curves that I've learned in undergrad. In practice however, I'm having trouble actually computing the cohomology groups. For ...
4
votes
2answers
271 views

Rank of the elliptic curve $y^2=x^3+px$

I need to prove that the rank of the curve $y^2=x^3+px$ is $0$, if $p\equiv 7 \pmod {16}$ is a prime. Using the standard technique, we need to show that none of the following two equations admits an ...
4
votes
1answer
178 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
256 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
152 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
127 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
1answer
116 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
102 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
72 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
128 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
71 views

Formal Group for the Elliptic Curve $Y^2=X^3+AX$

I'm trying to solve the following problem without resorting to a direct calculation: Let $E : Y^2 = X^3 + AX$, where $A \in \mathbb{Z}$ and $A \ne 0$. Let $F(X, Y )$ be the formal group associated to ...
4
votes
1answer
485 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
65 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
3answers
131 views

The group structure of elliptic curve over $\mathbb F_p$

I want to find the group of the elliptic curve $y^2=x^3-x$ over $\mathbb F_p$ for all primes $p \le 29$. But I know only 1 fact about the structure of this group: $E(\mathbb F_p)=\mathbb Z/m \mathbb Z ...
4
votes
1answer
173 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
36 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
77 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
84 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
300 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
89 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
138 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
229 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
263 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
70 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
47 views

Elliptic curves, reduction map, $E_n$

Let $E$ be the elliptic curve and set $\phi: E(\mathbb{Q}_p) \rightarrow E(\mathbb{F}_p)$ to be the reduction morphism. Define $E_n := \{(x:y:z) \in \ker \phi | x/y \in p^n\mathbb{Z}_p\}$. I'm busy ...
4
votes
1answer
65 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
223 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
791 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
77 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 ...