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

learn more… | top users | synonyms

4
votes
2answers
221 views

Modular curves over finite fields

I'm looking for a detailed reference for modular curves over finite fields, such as $X(N)$, $X_1(N)$, and $X_0(N)$. There seems to be a lot of literature dealing with them over $\mathbb{C}$, but I'm ...
4
votes
2answers
314 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 C$...
4
votes
3answers
379 views

The rational points on the curve: $y^2=ax^4+bx^2+c$.

I wonder how to find the rational points on the curve: $y^2=ax^4+bx^2+c$. Is there infinite rational points on this curve? For example:$y^2=x^4+3x^2+1.$If we set $y=x^2+k$,then $2kx^2+k^2=3x^2+1$, ...
4
votes
2answers
90 views

Birational Equivalence of Diophantine Equations and Elliptic Curves

A while ago I saw this question Quartic diophantine equation: $16r^4+112r^3+200r^2-112r+16=s^2$ which was very relevant to a undergraduate research paper I am currently working on. The answer given ...
4
votes
1answer
102 views

Galois representations and isogenies of elliptic curves

Let $E$ be an elliptic curve over $\mathbb{Q}$. For each prime $\ell$, the action of $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ on $E[\ell]$ (the group of $\ell$-division points of $E$) defines a ...
4
votes
2answers
195 views

Concrete and elementary applications of modular forms to elliptic curves

What are some useful facts/algorithms for elliptic curves that can be obtained (proved completely) using the theory of modular forms without heavy machinery? It's often been asked what elementary ...
4
votes
1answer
170 views

Isogeny of an elliptic curve

Let $E$ be an elliptic curve over $\mathbb{Q}$ and $p$ be a prime. Then what does it mean by "$E$ has a $\mathbb{Q}$-isogeny of degree $p$"?
4
votes
2answers
81 views

Is it possible to do elliptic curve cryptography over $\mathbb{Q}$ instead of a finite field?

Whenever I read about elliptic curve cryptography (ECC), the writer always works over a finite field. But as I understand it there is no group-theoretic reason not to use $\mathbb{Q}$ as the ...
4
votes
2answers
2k views

Point addition on an elliptic curve

I have an elliptic curve $y^2 = x^3 + 2x + 2$ over $Z_{17}$. It has order $19$. I've been given the equation $6\cdot(5, 1) + 6\cdot(0,6)$ and the answer as $(7, 11)$ and I'm unsure how to derive ...
4
votes
1answer
164 views

Elliptic curve question

Let $P$ be a point on an elliptic curve over $\mathbb{R}$. Give a geometric condition that is equivalent to P being a point of order (a) $2$ , (b) $3 $ , (c) $ 4$ . Could someone explain this to ...
4
votes
1answer
3k views

Is it possible to compute order of a point over Elliptic curve?

In the elliptic Curve cryptography, it is said that the order of base point should be a prime number, and order of a point $P$ is defined as $k$, where $kP = \mathcal{O}$. And to compute the order we ...
4
votes
2answers
632 views

Prove that the equation $y^2=x^3-73$ has no integer solutions

Prove that there are no integers $x,y$ such that $y^2=x^3-73$. Thank you.
4
votes
2answers
211 views

Exposition on Modular Curves

I was recently reading this paper by Weston, whereby he talks about the modular curves $X_0(11)$ and $X_1(11)$. I was wondering if anyone can recommend a more general exposition of modular curves (...
4
votes
2answers
121 views

Bound for number of points on surface over $\mathbb{F}_p$

I know of the bound for the number of points on an elliptic curve over a finite field: $$|\# E(\mathbb{F}_q) - q - 1| < 2\sqrt{q}$$ where this includes the point at infinity. I have been told that ...
4
votes
2answers
83 views

Third point of intersection is also a point of inflection?

Let $C \subset \mathbb{P}_2$ be a nonsingular cubic. If $L$ is a line through two distinct points of inflection on $C$, how do I show that the third point of intersection is also a point of inflection?...
4
votes
2answers
185 views

The group $E(\mathbb{F}_p)$ has exactly $p+1$ elements

Let $E/\mathbb{F}_p$ the elliptic curve $y^2=x^3+Ax$. We suppose that $p \geq 7$ and $p \equiv 3 \pmod {4}$. I want to show that the group $E(\mathbb{F}_p)$ has exactly $p+1$ elements. I was ...
4
votes
1answer
73 views

The definition of an elliptic curve?

I've seen two different definitions of an elliptic curve. The first one being that it is a cubic curve of the form $y^2=x^3+ax^2+bx+c$, where all the (complex) roots are different. The other ...
4
votes
1answer
108 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
94 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
67 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
208 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
291 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
178 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
672 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 know ...
4
votes
1answer
181 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 $G$-...
4
votes
1answer
1k 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
207 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
47 views

On Schoof's proof of deterministically finding $\sqrt{x} \bmod p$ when $p \neq 1 \bmod 16$

I am reading Schoof's paper in which he gave a polynomial time algorithm for counting points on an Elliptic curve over Finite field there he gave as an application an algorithm for deterministically ...
4
votes
1answer
77 views

History and future of algebraic curves and the like?

Now that Fermat's last theorem has been proven, and also elliptic curves see widespread use in simple everyday applications, I would love to learn how the related theories came into beeing, how they ...
4
votes
1answer
96 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
82 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
69 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 $|E(\mathbb{F}...
4
votes
2answers
121 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
97 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
132 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
155 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 (http://books.google.com.br/books/about/Arithmetic_Moduli_of_Elliptic_Curves.html?...
4
votes
1answer
104 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
209 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
206 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
3answers
864 views

How do you determine if an elliptic curve over a finite field is cyclic?

I know the group order and the points of the elliptic curve $y^2 = x^3 + Ax + B$, but I am confused on how to determine if they from a cyclic group The curve $y^2 = x^3 + 2x +2$ in $\Bbb F_{11}$ ...
4
votes
1answer
200 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 $E'...
4
votes
1answer
267 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), (1,...
4
votes
1answer
158 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
130 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 Pari/...
4
votes
1answer
132 views

Automorphisms of an elliptic curve fixing the invariant differential?

If we consider an elliptic curve $E/k$ given in Weierstrass form $y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}$, then I know that the translation maps $\tau_{P}$ with $P\in{E}$ fix the invariant ...
4
votes
1answer
55 views

The bilinearity of the Cassels-Tate pairing

Let $K$ be a number field and let $A$ be an abelian variety over $K$ (I'm mostly interested in the case that $A$ is an elliptic curve). We use $v$ to denote places of $K$ and we write $H^i(k, A)$ for ...
4
votes
1answer
126 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
1answer
73 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
141 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 = 149,...
4
votes
1answer
78 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 ...