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

learn more… | top users | synonyms

2
votes
1answer
81 views

Finding a stronger version of Cayley-Bacharach Theorem that applies in the case that the intersection multiplicities are not equal to $1$

Cayley–Bacharach theorem: Assume that two cubics $C_1$ and $C_2$ in the projective plane $\mathbb{P}^2$ meet in nine (different) points. Then every cubic that passes through any eight of the points ...
1
vote
0answers
39 views

Group Operation of points on a Montgomery elliptic Curve (project coordinates)

I was trying to implement the double and addition formulas for elliptic points on a Montgomery elliptic curve. I came across this weird thing which should definitely not be happening. I took a point ...
1
vote
1answer
48 views

Addition of points on elliptic curves over a finite field

I have found the following formulas for the coordinates of $P+Q$ given that $P = (x_{1}, y_{1})$ and $Q = (x_{2}, y_{2})$ are points on a general curve $y^2 = x^3 + ax + b$ over $\mathbb{R}$: $$P + Q ...
2
votes
1answer
50 views

Completion of the proof of theorem 3.3 in Dale Husemoller: Elliptic Curves

I want to read the proof of the following theorem: This is from p.35. But it is not complete there. There is written that: Can someone tell me where I can find the rest of the proof? Any other ...
4
votes
2answers
95 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 ...
2
votes
1answer
43 views

Some questions on elliptic curves over finite fields

Let $E$ be an elliptic curve defined over $\mathbb{F}_q$. For a prime $\ell \neq q$, we have that the $\ell$-torsion subgroup $E[\ell] \cong (\mathbb{Z}/\ell \mathbb{Z})^2$. As can be easily seen, ...
0
votes
0answers
41 views

For which values of $k$ does: $ y^2 = x^3+(2^{2^k}+1)x$ have solutions in integers?

let $E_D$ be elliptic curve and $k$ is integer number $$E_D: y^2 = x^3+px. $$ When $p = 2^{2^k}+1$ is prime fermat . my question is :For which values of $k$ does:E.d $$ y^2 = x^3+px. $$ have ...
1
vote
1answer
46 views

hyperelliptic curve

Please help me to solve this question: Let $H$ be a hyperelliptic curve over $\mathbb{F}_{103}$ given by the equation $ y^2 = x^5+1$. let $J$ be the jacobian of $H$ defined over $\mathbb{F}_{103}$. ...
0
votes
0answers
52 views

Can this relationship be expressed algebraically?

$\frac{\left(x-1\right)!+1}{x}=\frac{\left(y-1\right)!+1}{y}$ When I graphed it, I noticed that it bears a resemblance with the equation (which could of course be completely coincidental): ...
3
votes
1answer
38 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 ...
2
votes
2answers
52 views

Finding some rational points on elliptic curves

If I am considering an elliptic curve, for example $$y^2=x^3-2$$ $$\text{Edit: and } y^2=x^3+2$$ over $\mathbb Q$, how to find rational points? What possibilities do we have to calculate ...
1
vote
1answer
48 views

Questions on branch points on elliptic curve

So let $(E,p)$ be an elliptic curve over a field $k$ with a choice of $k$-valued point $p$. Then by Riemann-Roch, there are two global sections of $\mathcal{O}_{E}(2p)$ which gives a double cover of ...
3
votes
1answer
58 views

Show that $Y^2-X^3\mid f$ if $f$ vanishes on the curve $C: (t^2,t^3)$, and determine what property of a field $k$ will ensure that the result holds.

Let $\phi: \mathbb{R^1}\rightarrow \mathbb{R^2}$ be the map given by $t \mapsto (t^2,t^3)$; prove directly that any polynomial $f\in \mathbb{R}[X,Y]$ vanishing on the image $C=\phi(\mathbb{R^1})$ is ...
4
votes
2answers
56 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 ...
1
vote
0answers
38 views

Elliptic curve over field $\mathbb{C}(\lambda)$

I have the following problems on my modular forms course final exam: Over field $\mathbb{C}(\lambda)$ equation $y^2 =x(x−1)(x−\lambda)$ defines an elliptic curve $E_{\lambda}$ with a base in ...
26
votes
1answer
1k views

Does an elementary solution exist to $x^2+1=y^3$?

Prove that there are no positive integer solutions to $$x^2+1=y^3$$ This problem is easy if you apply Catalans conjecture and still doable talking about Gaussian integers and UFD's. However, can this ...
3
votes
1answer
35 views

Weil pairing, cyclotomic field in division field and determinant map for ell curve and abelian variety

Question 1: If $E/K$ is an elliptic curve defined over a number field $K$, then the Weil Pairing gives me that $K(\mu_n) \subseteq K(E[n](\bar{K}))$. If i identify $Gal(K(\mu_n)/K)$ with a subgroup ...
1
vote
0answers
28 views

Complex elliptic surface with 24 $I_1$ fibers

Is a complex elliptic surface with 24 $I_1$ fibers always a K3 surface? Is ti possible to characterize a K3 surface in terms of the singular fibers of a given elliptic surface?
2
votes
2answers
99 views

Points on elliptic curve over finite field

Find the points on the elliptic curve $y^2 = x^3 + 2x + 2$ in $\mathbb F_{17}$. Do I have to guess a first point and then use an algorithm to spit out all other points?
7
votes
1answer
188 views

Integral relations in Fricke and Klein

Can someone please explain how Fricke and Klein obtain the integral relationa stated at the top of p. 34 in this book? The entire book can be previewed on Google Books. It is an old book and I do not ...
3
votes
1answer
49 views

Real Lie groups and elliptic curves

Let $f:A\to A'$ be a morphism of elliptic curves over the real numbers $\mathbb R$. It canonically induces a morphism $f(\mathbb R): A(\mathbb R)\to A'(\mathbb R)$ between the sets of real points, ...
2
votes
1answer
39 views

Solving equations in $\mathbb{Z}_3$ with Hensel's Lemma

Further to the post here, I'm trying to find the $n \in \mathbb{Z}$ such that there is a solution to the equation $$ x^3 +3x+y^3+3y=n$$ in $\mathbb{Z}_3$. Now, I've been able to show that in the ...
2
votes
1answer
27 views

Elliptic Curve $E/\mathbb{Q}$ with $\Delta_E^{1/3}$ a root of defining cubic

Consider the elliptic curve $$E'\colon y^2 = g(x) = x^3 + \frac{1}{432} .$$ One can check that the discriminant of $E'$ is $-1/432$, that $E'$ has complex multiplication, and that $(-1/432)^{1/3} = ...
1
vote
1answer
57 views

Why so few complex multiplication

Let's take I lattice $\Lambda$ and $\alpha\in\Lambda$. Then we have $\alpha\Lambda\subseteq\Lambda$ so $z\mapsto \alpha z$ induces an isogenie $\mathbb{C}/\Lambda\to\mathbb{C}/\Lambda$ wich has no ...
4
votes
2answers
112 views

Can an elliptic curve have discrimant one?

Can the discriminant, $4a^3 +27b^2$ of an elliptic curve $$E: y^2=x^3+ax+b$$ be equal to 1. I believe that this should not be possible otherwise the curve would have good reduction at all primes $p$, ...
3
votes
2answers
24 views

Faster scalar multiplication over an elliptic curve by hand?

For an elliptic curve $y^2=x^3+ax+b$, I have $a=1, b=1, G=(3,10)$ private key of User $B$ as $4$. To calculate his public key, I have the formula: $Pb=nb \times G = 4(3,10)$. This makes my ...
1
vote
1answer
38 views

Dividing elliptic curve point on integer

Can we solve the equation $nP = Q$, where $P$, $Q$ is a rational poins on elliptic curve ($P$ is unknown), and $n$ is integer?
1
vote
1answer
40 views

Group on elliptic curve points

Let's we have an elliptic curve (EC). Is it possible to construct group $G$ acting on the points of an EC with this property: if $P$ is a rational point on EC then $G(P)$ is also is a rational point? ...
0
votes
0answers
48 views

How I can determine the number of integral solutions of the equation of the elliptic curve?

Is there a general law to determine how many integral solutions of the Equation of the form (elliptic curve): $y²=x^{3}+ax+b,\ \ \ a,b \in \Bbb R$. Thank you for any help .
1
vote
0answers
20 views

Computing the order of a divisor in the Jacobian of a hyperelliptic curve.

Given a hyperelliptic curve of genus $g$, of equation $H: y^{2}+h(x)y=f(x)$ and defined over the finite field $\mathbb{K}$, how does one compute the order of a (reduced) divisor defined over ...
1
vote
1answer
27 views

Number of points on an elliptic curve and it's twist over $\mathbb{F}_p$.

I have another probably very trivial question about elliptic curves. This wikipedia article gives the following formula $|E|+|E^d|=2p+2$ where $E$ is an elliptic curve over $\mathbb{F}_p$ and $E^d$ is ...
2
votes
1answer
41 views

Pole Order of Weierstrass Coordinates

I'm trying to understand a proof in Silverman's The Arithmetic of Elliptic Curves. Background: For an elliptic curve $E$, $x, y \in K(E)$ such that $\phi = [x, y, 1]: E \rightarrow C$ is a basepoint ...
5
votes
0answers
134 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$, ...
3
votes
2answers
79 views

Elliptic curve $y^2= x^3 + x$ over the finite field $\mathbb{F}_p$ with $p \geq 3$.

Consider the elliptic curve $$E: y^2= x^3 + x$$ over the finite field $\mathbb{F}_p$ with $p \geq 3$. I want to show that $|E(\mathbb{F}_p)| \equiv 0 \mod 4$. I know that, if $p \equiv 3\mod 4$, ...
3
votes
1answer
90 views

The elliptic curve $y^2 = x^3 + 2015x - 2015$ over $\mathbb{Q}$

Consider the elliptic curve \begin{equation*} E: y^2 = x^3 + 2015x - 2015~\text{over}~\mathbb{Q}. \end{equation*} I want to prove that $|E(\mathbb{F}_7)| = 12$, that $|E(\mathbb{F}_{19})| = 19$ and ...
0
votes
1answer
29 views

How to calculate an elliptic curve

I need to find an elliptic curve in $F_{19}$ that has $|E(F_{19})|=18$. I am really stuck here. Can anyone help?
2
votes
2answers
46 views

Real points of order 3 on an elliptic curve.

This comes from Silverman's Rational Points on Elliptic Curves: Consider the elliptic curve (non singular) $y^2=x^3+ax^2+bx+c=f(x)$ after some computations we can see that points of order 3 in this ...
2
votes
2answers
46 views

Elliptic curve with prescribed lattice

It's well known that there is a connection between elliptic curves and lattices. To establish such a connection one needs to use Eisenstein series. How one can one write down the explicit equation of ...
1
vote
1answer
35 views

Finding a rational point on $\mathscr{E} : y^2=x(x^2-25)$ to show $ \text{rank}(\mathscr{E})=1$

I'm trying to show that the rank of the following elliptic curve $$ \mathscr{E}: y^2=x(x^2-25)$$ is 1. Since it has a rational 2-torsion point at $(0,0)$, by considering the dual curve I've been ...
8
votes
2answers
172 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 ...
6
votes
2answers
264 views

Other ways to compute the torsion subgroup of elliptic curves

Suppose I have a family of elliptic curves $E_{n}/\mathbb{Q}$. I would like to determine the torsion subgroup of $E_{n}(\mathbb{Q})$ denoted by $E_{n}(\mathbb{Q})_{\textrm{tors}}$. Two ways to do this ...
5
votes
2answers
74 views

Integral solutions to $56u^2 + 12 u + 1 = w^3.$

I would like to find all integer solutions to $$56u^2 + 12 u + 1 = w^3.$$ My computer thinks the only integral point is $(0,1).$ This problem arises from Integer solutions of $x^3 = 7y^3 + 6 y^2+2 ...
7
votes
2answers
182 views

Integer solutions of $x^3 = 7y^3 + 6 y^2+2 y$?

Does the equation $$x^3 = 7y^3 + 6 y^2+2 y\tag{1}$$ have any positive integer solutions? This is equivalent to a conjecture about OEIS sequence A245624. Maple tells me this is a curve of genus $1$, ...
6
votes
3answers
71 views

Semigroup law on points on the curve $f(x) = \frac{1}{x}$

Consider the positive half of the curve $f: \Bbb{R} \to \Bbb{R}, f(x) = \frac{1}{x}$. Let $A = (a,1/a), B = (b, 1/b)$ be any two points on the curve. Draw a line through them Find where this point ...
1
vote
1answer
14 views

Converting to homogenuous coordinates

Let's assume elliptic curve $E$ over $\mathbb{R}$: $y^2 = x^3 + x + 1$ How to convert this equation to homogeneous coordinates? My notes say it's $zy^2=x^3+xz^2+z^3$. Unfortunately, I have no idea ...
3
votes
1answer
64 views

When is a modular curve defined over Q?

Let $X(N)$ and $Y(N)$ be respectively the compactified and uncompactified modular curves parametrising elliptic curves with full level $N$ structure. In other words, a point on $Y(N)$ is (essentially) ...
1
vote
1answer
42 views

Interpretation of a short exact sequence from elliptic curves in terms of torsors

Consider some elliptic curve $E$ over a number field $k$. Then for any prime $p$ there is a short exact sequence $$ 0 \to E(k)/pE(k) \to H^1(k,E[p]) \to H^1(k,E)[p] \to 0. $$ Now, $H^1$ has an ...
5
votes
0answers
60 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} = ...
2
votes
2answers
53 views

Types of elliptic curves

I'm trying to research elliptic curves, and I always get the generic equation $$y^2 = a_0 x^3 + a_1 x^2 + a_2 x + a_3.$$ However, I'm looking for information on an equation like $$y^3 = a_0 x^3 + a_1 ...
1
vote
1answer
20 views

Proof of Theorem III, 6.2 in Silvermans Arithmetic of Elliptic curves

In the proof of part c), I cannot make sense of the sentence "Then another way of saying that $\phi:E_1\to E_2$ is an isogeny is to note that $\phi(x_1,y_1)\in E_2(K(x_1,y_1))$." (In this situation, ...