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

learn more… | top users | synonyms

1
vote
0answers
37 views

Finding a point on an elliptic curve

I have an elliptic curve with the equation $ y^2 = x^3 + ax + b $ in modulo p, where p is prime. I also have a point G on that curve. How can I find another point that isn't a multiple of G? I ...
4
votes
1answer
54 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}, ...
1
vote
0answers
30 views

Punctured Elliptic Curve

I've come across the word "punctured elliptic curve" here and there, but none of the basic texts on the topic (Husemoller, Silverman) define or mention it. What point is removed from the curve (the ...
1
vote
0answers
21 views

The correct formula for lambda when point doubling?

When doubling a point on an elliptic curve, we use $\lambda$. But the equation I found in my book(Silverman and Tate, Rational Points on Elliptic Curves) isn't the same as the one I found when looking ...
1
vote
0answers
35 views

Is this proof correct? concerning abelian groups

The aim of this question is to prove the existence of a bijection between two finitely generated Abelian groups $C(ℚ)≃ℤ^{r}⊕C(ℚ)^\mathrm{tors}$ and $D=(S^{r}, +)⊕(T,+)$ defined below: Proof: Let $C$ ...
3
votes
1answer
34 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 ...
1
vote
1answer
23 views

Why is reduction modulo $p$ a group homomorphism on Elliptic Curves?

I am reading A. Knapp's book on elliptic curves right now. In Proposition 5.6 the author wants to prove that the reduction map (modulo $p$, where $p$ does not divide the discriminant) of an elliptic ...
3
votes
1answer
98 views

Cube of an integer

$\frac{x}{y}+\frac{y}{z}+\frac{z}{x}=k$ and $x, y, z, k$ are integers. Prove that $xyz$ is cube of some integer number. I was wondering about giving a parametrization for the rational points on ...
1
vote
0answers
38 views

Quick explanation of $\Gamma \tau$ notation?

I hope you can help me by quickly explaining the following notation: $\Gamma \tau$. This notation is encountered in A First Course in Modular Forms by Fred Diamond and Jerry Shurman (love the book by ...
2
votes
1answer
39 views

class number of pure cubic fields and elliptic curves

I want to find generators to Mordell Weil group of the Elliptic Curve $y^2=x^3−6321363052$ and class number of $\mathbb Q(\sqrt[3]{6321363052})$. Some suggestions such as algorithm or softwares will ...
3
votes
0answers
52 views

Elliptic curves as $\mathbb{C}^*/\mathbb{Z}$

I apologize in advance if my question is rather trivial, but i have trouble understanding a basic fact about elliptic curves.. I have always wrote an elliptic curve $E$ as $\mathbb{C}/\Lambda$, where ...
1
vote
0answers
21 views

Computation of the 2-torsion group of an elliptic curve

I have some troubles solving the following problem: Let $E$ be the elliptic curve $E:y^2+2y=x^3+x+9$ over $\mathbb{F}_{16}$. Compute the 2-torsion group $E[2]$, i.e. find all the points of order $2$ ...
0
votes
1answer
41 views

Compute principal divisor for a rational function on a curve

During the lecture we defined the principal divisor of a rational function on a smooth curve as it follows: Consider the smooth curve $C\subseteq\mathbb{P}^2$. Take $g\in{K(C)^*}$. Then the principal ...
9
votes
2answers
65 views

order of an elliptic curve

I have found that the curve given by $x^3+x+1=y^2$ over $\mathbb{F_5}$ has 9 points. Now I am supposed to find the number of points of the same curve on $\mathbb{F}_{125}$. Using Hasse and the fact ...
3
votes
0answers
71 views

Looking for help with this elementary method of finding integer solutions on an elliptic curve.

In the post Finding all solutions to $y^3 = x^2 + x + 1$ with $x,y$ integers larger than $1$, the single positive integer solution $(x,y)=(18,7)$ is found using algebraic integers. In one of the ...
0
votes
0answers
24 views

What is rational point on elliptic curve over Galois field

It is clear what is a rational point on elliptic curve, when the curve is defined over real numbers. But if it is defined over Galois field, what is a rational point? If necessary, supply an example, ...
0
votes
2answers
42 views

Quadratic twist of Elliptic curves with complex multiplication

Suppose $E/\mathbb{Q}$ is an elliptic curve that has complex multiplication by $\mathcal{O}_K$, where $K=\mathbb{Q}(\sqrt{D})$, for $D<0$ and squarefree. In "The main conjectures of Iwasawa ...
1
vote
1answer
52 views

Seeking graphics of elliptic curves as surfaces

Is there any place to go on line for good graphics of how a complex elliptic curve sits as an affine curve in $\mathbb{C}^2$? The mathematics is well discussed in Drawing elliptic curve and Is the ...
1
vote
1answer
38 views

Surjectivity of p-adic representation

Let $E/\mathbb{Q}$ be an elliptic curve. For a prime $p$, we have the mod $p$ representation \begin{equation*} \bar{\rho}_{E,p}: G_{\bar{\mathbb{Q}}/\mathbb{Q}} \rightarrow Aut(E[p]) \end{equation*} ...
1
vote
0answers
22 views

Non linear least square ellipse fitting

I am trying to find a Non linear leasts squares ellipse fit for a set of 100 data points data points $(x,y)$. Now i have found the values of $A,B,C,D,E,F$ according to the conical equation of the ...
0
votes
2answers
90 views

defining the group law on elliptic curves in general

Let $k$ be an arbitrary field and $C \subset \mathbb{P}^2(k)$ an elliptic curve. In order to define the group law on $C$ we need to establish some geometric facts first, e.g. Any line intersects $C$ ...
5
votes
1answer
60 views

The Moduli Stack of Elliptic curves - What is it?

I have often heard the words "Moduli Stack of Elliptic Curves", but I have nowhere found a from-scratch definition of this object. I do understand the motivation: There are cusps in the moduli space ...
1
vote
1answer
21 views

Image of the p-Frobenius endomorphism under a mod p Galois representation.

Let $E/\mathbb{Q}$ be an elliptic curve and $p$ a prime such that $E$ has ordinary redcution at p. Further, let $$\rho_{E,p}:{\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\rm ...
0
votes
0answers
28 views

How to find the tangent vector to a curve at a special point

The two points $A=(x_{0},y_{0},z_{0})$ and $B=(x_{1},y_{1},z_{1})$ are given. The line segments $AC$ and $BC$ make equal angle $\alpha$ with the horizontal plane through $C$. The angle ...
1
vote
2answers
45 views

Compendium of elliptic curves?

does anyone know where I can find a collection of elliptic curves and their integral solutions? EDIT: Removed additional useless info. Thanks!
3
votes
1answer
57 views

Rank of Elliptic Curves

Recently, I have heard of some heuristics that would suggest that the rank of elliptic curves are bounded (specifically in the congruent number family). I always though that the best way to prove ...
2
votes
2answers
165 views

How to prove $~\sqrt{3}\sqrt{4a^{3}-1}~$ isn't an integer?

I'm trying solve: $~a^3 + b^3 = c^3~$ has no nonzero integer solutions. If $~(c−b)=1~$ then $~c^3-b^3=3c^2-3c+1=a^3,~$ from Wolframalpha get: $$ c = \dfrac{3- \sqrt{3}\sqrt{4a^{3}-1}}{6} \\ c = ...
2
votes
1answer
48 views

Computing the trace of the image of Frobenius

Let $E/\mathbb{Q}$ be an elliptic curve, $p$ and $q$ distinct primes and $e$ a positive integer. Fixing a basis for the $p^e$ torsion, we get a natural Galois representation $$\rho_{E,p^e}:{\rm ...
1
vote
1answer
28 views

Surjective $p$-adic representation implies trivial $p$-primary part.

Let $E/\mathbb{Q}$ be an elliptic curve. We know that by Serre in the non-CM case, for $p\geq5$, $$\rho_p:Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow Aut(T_p(E))$$ is surjective iff $$ ...
0
votes
0answers
36 views

Curve avoiding semi-rational points

A rational point is a point in $\mathbb{R}^d$ all of whose $d$ coordinates are rational. Let me define a semi-rational point as one that has at least one rational coordinate (but whose other ...
3
votes
1answer
36 views

Can you have a nontrivial automorphism of an elliptic curve $E/S$ which when restricted to a geometric fiber is the identity?

Ie, let $E/S$ be an elliptic curve over some scheme $S$. Is it possible to have an automorphism $\alpha$ of $E$ over $S$ such that for some geometric point $s\in S$ its pullback to $E_s$ is the ...
0
votes
1answer
18 views

Tangent line at $x_1$ to polynomial curve $p(x)$ of degree at least $2$ implies $x_1$ is a double root of $p(x) - p^{'}(x_1)(x-x_1)$?

Tangent line at $x_1$ to polynomial curve $p(x)$ of degree at least $2$ implies $x_1$ is a double root of $p(x) - p^{'}(x_1)(x-x_1)$ ?. Suppose I have a polynomial function $p(x): \mathbb R ...
0
votes
1answer
45 views

Third point of elliptic curve $E: y^2 = x^3 + Ax + B$ given points $P_1=(x_1,y_1), P_2=(x_2, y_2)$ on $E$ (Weierstrass equation).

Third point of elliptic curve $E: y^2 = x^3 + Ax + B$ given points $P_1=(x_1,y_1), P_2=(x_2, y_2)$ on $E$ (Weierstrass equation). Assume $x_1 \neq x_2$. I create the straight line $y = m(x-x_1) ...
3
votes
2answers
62 views

explicit example of computing ray class field for imaginary quadratic?

Given an imaginary quadratic number field K, we can get its ray class field mod some ideal $\mathcal{m}$ by adjoining the j-invariant of an elliptic curve with complex multiplication given by ...
0
votes
0answers
38 views

divisors eqivalence and Picard group

I have a Lemma which I understand until a certain point. It claims that if E is an elliptic curve and $P,Q \in E$, than $\exists R\in E:P+Q\sim R+\theta$, where $\theta$ is the point at infinity. To ...
1
vote
0answers
54 views

Flex point on an elliptic curve

I have just started working through Pete Clark's elliptic curve notes, which are available here: http://math.uga.edu/~pete/EllipticCurves.pdf Early on, in section 2.1 on page 6, it is shown that the ...
0
votes
1answer
84 views

How to find primitive point on an elliptic curve?

Reading about Elliptic curve cryptography, i came across primitive point's or generator point's but found nothing on how to generate such points any help would be appriciated.
1
vote
1answer
61 views

Relating ramification index of a map of curves to degree of vanishing

I am little confused about explicitly computing ramification index and relating it to degree of vanishing a polynomial. In particular I have the following example (when trying to prove the genus ...
2
votes
1answer
99 views

Solutions to a diophantine equation

I tried to find integer solutions to the following diophantine equation $$x^3 - 3y^3 + 5z^3 - 3xy^2 + 3x^2y + 9xz^2 + 7x^2z + 3yz^2 - 3y^2z + xyz = 0$$ but was unable to do so. I suspect that there ...
1
vote
0answers
48 views

Torsion points on elliptic curves, $E^1$

Let $E$ be an elliptic curve over $\mathbb{Q}_p$ and let $E(\mathbb{Q}_p) \supset E^0(\mathbb{Q}_p) \supset E^1(\mathbb{Q}_p) \supset \cdots$ be its $p$-adic filtration, where $E^n(\mathbb{Q}_p) = \{P ...
0
votes
1answer
29 views

How come $f(0) = 0$ in $\mathbb C/L$?

How come $f(0) = 0$ in $\mathbb C/L$? Does anyone know it? Your help will be appreciated. This is taken from the text "Rational Points on Elliptic Curves" by Tate and Silverman.
4
votes
1answer
114 views

Lenstra's Elliptic Curve Algorithm

I am currently trying to understand Lenstra's Elliptic Curve Algorithm for factoring integers. As a source I use "Rational Points on Elliptic Curves" by Joseph H. Silverman and John Tate. They ...
1
vote
1answer
51 views

Multiple points on an elliptic curve

I have given the following elliptic curve $E:F(x,y) = 0$: (Where $F(X,Y) := Y^2 + a_1XY + a_3Y - X^3 - a_2X^2 - a_4X - a_6$ with $a_1 = -1.5, a_2 = 3, a_3 = 1, a_4 = 0.5, a_6 = -1.5$.) The curve ...
2
votes
1answer
61 views

$p$-adic numbers and projective coordinates

Let $E/\mathbb{Q}_p$ be an elliptic curve and let $E^0(\mathbb{Q}_p)$ denote its nonsingular points. We accept that $E^0(\mathbb{Q}_p)$ is a subgroup of $E(\mathbb{Q}_p)$. Then let ...
2
votes
1answer
58 views

elliptic curves over $\mathbb{Q}_p$

Let $E: Y^2 = X^3 + AX + B$ be an elliptic curve over $\mathbb{Q}_p$, i.e. $A,B \in \mathbb{Q}_p$ and $4A^3 + 27B^2 \neq 0$. Then, according to page 47 of Cassels' Lectures on Elliptic Curves, if ...
0
votes
0answers
54 views

How can we compute the order of 1-form on Riemann surfaces

Let X be a hyperellictic curve defined by $y^2=h(x)$. Let $\pi:X\rightarrow\mathbb{P}^1$ be the double covering map seding $(x,y)$ to $x$. Let $\omega=\pi^*(dx/h(x))$. How can we compute the orders of ...
0
votes
0answers
46 views

Cassel's book on Elliptic Curves

Let $E/\mathbb{Q}_p$ be an elliptic curve. Then for $n \geq 1$, let $E_n(\mathbb{Q}) = \left\{P \in E(\mathbb{Q}_p) : \dfrac{x(P)}{y(P)} \in p^n \mathbb{Z}_p\right\}$. According to Cassels in Lectures ...
1
vote
1answer
83 views

Number of points on an elliptic curve over $ \mathbb{F}_{q} $.

I have the following elliptic curve: $$ E: \quad Y^{2} = X^{3} + 1 ~ \text{over} ~ \mathbb{F}_{q}, ~ \text{where} ~ q \equiv 1 ~ (\text{mod} ~ 3). $$ I want to know the number of points on this curve. ...
4
votes
1answer
48 views

Can one check by hand whether the Tate module of an elliptic curve is semi-simple

Let $E$ be an elliptic curve over $\mathbb Q$, and $\ell$ a prime number. Then, the $\ell$-adic Tate module $V_\ell(E)$ of $E$ is semi-simple as a $\mathbb Q_\ell$-representation of ...
1
vote
0answers
22 views

Explicit computation of integrals along loops

I am learning a bit about integration on one-dimensional complex tori. It's exciting stuff, but I have some trouble making things a bit explicit. Let's consider the elliptic curve $E = \mathbb ...