# Tagged Questions

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

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 ...
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$...
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$, ...
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 ...
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 ...
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 ...
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$"?
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 ...
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 ...
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 ...
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 ...
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.
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 (...
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 ...
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?...
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 ...
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 ...
108 views

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 ...
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?...
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 ...
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 ...
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 ...
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}$ ...
200 views

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 ...
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/...
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 ...
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 ...
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 ...
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: ...
### 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,...
### 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 ...