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

learn more… | top users | synonyms

1
vote
0answers
15 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
32 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$ ...
1
vote
0answers
19 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 ...
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
2answers
73 views

Constructing a meromorphic function

I need help with the following problem. "Let $C : y^2 = x^3 − 5x^2 + 6x$ be a cubic curve with the standard group law. Find a meromorphic function on $C$ having the pole of order two at ...
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
2answers
97 views

Elliptic curves on a K3 surface

Let $X$ be an elliptic K3 surface. Let $\alpha$ be a smooth curve of genus $\geq3$. Define $$d(\alpha)=\min\lbrace \epsilon\cdot \alpha \ | \ \epsilon \mbox{ is an elliptic curve on } X \rbrace, $$ ...
7
votes
3answers
462 views

Weierstrass $\wp$ function doubly periodic

I'm working my way through Silverman and Tate's Undergraduate Introduction to Elliptic Curves. I haven't yet been able to study complex analysis, so it comes as no surprise that I'm having a tough ...
3
votes
1answer
97 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 ...
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$ ...
0
votes
2answers
41 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 ...
3
votes
0answers
51 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
23 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, ...
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
37 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 ...
7
votes
2answers
489 views

Geometric reason why elliptic curve group law is associative

The question title says it all. I am looking for a geometric proof for the fact that the group law defined on elliptic curves is associative. I've heard somewhere about something on the ...
1
vote
2answers
83 views

Elliptic Curve Crypto

I had just read a primer about ECC, I see how it can be complicated. Something I haven't been able to determine is what information does the client machine get to help decrypt the data? The whole ...
1
vote
3answers
73 views

The equation $b^2=a(a^2-1)$ has no rational solutions except obvious ones

I have problem with equation $b^2=a(a^2-1)$. How to show that except $(a,b)=(1, 0), (-1,0),(0,0)$, the equation hasn't any other rational solutions ? Editor's note. AFAICT the exercise is about ...
5
votes
1answer
59 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 ...
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 = ...
0
votes
0answers
27 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
42 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
1answer
44 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
35 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 ...
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 ...
0
votes
0answers
37 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 ...
0
votes
1answer
82 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
0answers
47 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 ...
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
98 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 ...
0
votes
2answers
41 views

Derivative of Integral of (g) with g in the limit

I would like to evaluate the following: $$\frac{\partial }{\partial \beta }\int _0^{\cos ^{-1}(\beta )}\text{dx} \sqrt{\beta +\cos (x)}$$ given that $0\leq\beta\leq1$ basically I'd like to find ...
1
vote
0answers
47 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 ...
5
votes
2answers
243 views

Relation involving the conductor of an elliptic curve

Consider an elliptic curve $E: y^{2} = x^{3} + ax + b$. Then the quadratic twist by a squarefree $d$ is given by $E^{d} : dy^{2} = x^{3} + ax + b$. What is the relationship between the conductor of ...
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.
1
vote
1answer
50 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 ...