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

learn more… | top users | synonyms

1
vote
0answers
5 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
66 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
21 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
27 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
0answers
44 views
+50

Lenstra's Elliptic Curve Algorithm

I am currently trying to understand Lenstra's Elliptic Curve Algorithm. As a source I use "Rational Points on Elliptic Curves" by Joseph H. Silverman and John Tate. They describe the algorithm as ...
0
votes
0answers
20 views

inflexion point on elliptic curve

Let $C: y^2 = x^3 + ax^2 + bx + c$ be an elliptic curve over $\mathbb{Q}$ ($a,b,c \in \mathbb{Z}$) and let $\overline{C}$ be its reduction over $\mathbb{F}_p$. Then does $\overline{C}$ necessarily ...
1
vote
1answer
39 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
49 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
50 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
50 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
39 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
64 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. ...
3
votes
1answer
36 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
21 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 ...
3
votes
1answer
77 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 ...
1
vote
1answer
31 views

Find coordinate $y$ of an elliptic curve point

If I have an elliptic curve over a finite filed $F_p$ ($p$ is prime) defined as $$ y^2 \equiv x^3 + ax + b\pmod p,$$ such that $4a^2 + 27b^2 \neq 0$ and suppose I have only given the coordinate $x$, ...
1
vote
0answers
15 views

moduli of lattices

Consider the set $M$ of all (rank $g$) lattices in $g$-dimensional complex affine space $C^g$. Does M identify in some way with Siegel upper half space $H_g$? Let's say a lattice has CM if it has ...
1
vote
0answers
26 views

Function field of a projective variety

I am reading Silverman's "The Arithmetic of Elliptic Curves". On page 10 he defines the function field of a projective variety $V$ over a field $K$ to be the function field of $V\cap\mathbb{A}^n$, ...
1
vote
1answer
39 views

Lattices and Elliptic curves and number fields

Let $K$ be a number field with ring of integers $O_K$. If $K$ is totally real, then $O_K$ is a lattice in $\mathbb R$. If $K$ is imaginary quadratic, then $O_K$ is a lattice in $\mathbb C$. If $K$ ...
3
votes
0answers
52 views

Finding the prime element of a place of a function field of a elliptic curve.

Let $p$ be an elliptic curve in $\mathbb{C}[X,Y] $. Consider the quotient ring $A = \mathbb{C}[X,Y]/(p) $ and its field of fractions $F = frac(A) $. For all $f + (p) \in A$, define $deg_A(f + (p))= ...
2
votes
0answers
24 views

does every elliptic curve E/S have infinitely many sections after passing to an etale extension of S?

Let E/S be an elliptic curve, where S is any scheme. Must there exist a scheme $S'$, etale and surjective over $S$, such that the pullback $E' := E\times_S S'$ has infinitely (or even > 1) many ...
10
votes
1answer
101 views

Why can't elliptic curves be parameterized with rational functions?

Background: For our abstract algebra class, we were asked to prove that $\mathbb{Q}(t, \sqrt{t^3 - t})$ is not purely transcendental. It clearly has transcendence degree $1$, so if it is purely ...
3
votes
1answer
36 views

Reduction map on torsion of elliptic curves

Let $E$ be an elliptic curve over $\mathbb{Q}$ with good reduction at a prime $p$. It is well-known that the map $$E[N]\to E_p[N]$$ is injective when $p\nmid N$. It is even a bijection since both ...
0
votes
0answers
14 views

What is an embedding degree of elliptic curve?

I am dealing with MOV algorithm to transform ECDLP to DLP in $GF(p^k)$, but at the first step I have to determine embedding degree k. I have read the definitions of embedding degree, but still I am ...
1
vote
1answer
26 views

Silverman AEC Corollary 6.4

Quick question about Chapter 3 Corollary 6.4 [p. 86] in Silverman's Arithmetic of Elliptic Curves. I feel like I'm misreading it and would like clarification. He claims that for an elliptic curve E ...
3
votes
1answer
53 views

$L$-function of an elliptic curve and isomorphism class

Let $E$ be an elliptic curve defined over $\mathbb{Q}$. We have a $L$-function $$L(E,s)$$ built from the local parameters $a_p(E)$. If two elliptic curves are isomorphic, they clearly have the same ...
2
votes
1answer
59 views

History of the Coefficients of Elliptic Curves — Why $a_6$? [duplicate]

I would like to know what is the motivation behind the naming convention of the Weierstrass form of elliptic curves given as $$E:y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6.$$ I can see that $a_1,a_2,a_3,a_4$ ...
0
votes
2answers
36 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 ...
4
votes
1answer
96 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 ...
1
vote
1answer
51 views

associativity on elliptic curves — Milne's proof

In the proof that the group law on an Elliptic curve is associative, Milne (http://www.jmilne.org/math/Books/ectext5.pdf, page 28) sets up 3 cubics, and claims that they all contain the $8$ points ...
1
vote
0answers
35 views

The cardinality of the preimage of a point under a nonzero isogeny equals the separable degree of the isogeny

Let $f:E_1\rightarrow E_2$ be a nonzero isogeny between elliptic curves. Take a point $Q \in E_2$. I am looking for a reference to a proof, or a proof, of the following fact: ...
6
votes
0answers
103 views

Some questions related to Iwasawa invariants of elliptic curves

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with good ordinary reduction at an odd prime $p$. Let $\mathbb{Z}_{p}$ denote the ring of $p$-adic integers, and $\mathbb{Q}^{cyc}$ be the ...
0
votes
0answers
41 views

the torsion subgroup of E(Q) (eliptic curves)

if $E$ is an elliptic curve over $Q$, then why $E(Q)_{\rm tor}$ is group and finite set ?
5
votes
1answer
57 views

Exact rank of Elkies curve

A naïve question. We definitely know an elliptic curve of rank $28$ or more exists by Elkies but no one knows exactly what the rank is for this curve (and for similar examples given previously). ...
7
votes
1answer
57 views

Torsion on $y^2=x^3+d$

A question that I am stuck on is: prove that the $\mathbb{Q}$-torsion subgroup of the elliptic curve $y^2=x^3+d$ has order dividing 6. Any hints on how to start would be nice. I tried saying ...
5
votes
1answer
58 views

Intersection of two quadrics

How to understand (maybe, informally) why the intersection of two quadrics in general position in $\mathbb{CP}^3$ is an elliptic curve? It is obvious that it is a compact 2-manifold, i.e. a sphere ...
1
vote
0answers
67 views

Intuition behind using projective geometry for defining the addition on an elliptic curve

We already had the chord-and-tangent construction that can be used to define a way of "adding" points on an elliptic curve. Also this addition satisfies all the group laws. Still why one needs to ...
3
votes
1answer
48 views

Endomorphism Ring of an Elliptic Curve over Finite Field

Let $~E:y^2=x^3+x~$ be an elliptic curve over finite field $\mathbb{F}_{5},$ I compute the trace of Frobenius is $2$($E/\mathbb{F}_{5}$ obvious is ordinary). (By the theory of CM, I know (when $E$ ...
0
votes
1answer
51 views

Existence of certain homogenous forms

Let $D(X,Y), E(X,Y)\in\mathbb{Z}[X,Y]$ forms of the same degree $n$ and suppose that the resultant $R=Res(D,E)$ of $D$ and $E$ is not $0$. Show that there are homogenous forms $L_0(X,Y),M_0(X,Y), ...
1
vote
2answers
41 views

Sage usage to calculate a cardinality

I would like to compute the cardinality of an elliptic curve group over the finite field $\mathbb{F}_{991}$. I'm trying to use sage but I still have an error in the syntax (I never used it before and ...
1
vote
1answer
48 views

Selmer and Shafarevich-Tate Groups

I'm currently trying to under the Selmer and Shafarevich-Tate Groups from Silverman's Arithmetic of Elliptic Curves (2nd edition), pg. 331 onwards. I have a couple of questions I think is derived from ...
3
votes
1answer
105 views

Why Elliptic Curves have so many nice properties

As the definition referred from Silverman's book: An elliptic curve is a pair $(E,O)$, where $E$ is a nonsingular curve of genus one and $O\in E$. (We generally denote the elliptic curve by $E$, the ...
1
vote
2answers
61 views

When Frobenius map equal to multiplication-by-m map

Here is a homework, the result brought me some trouble. Let $p = 7$, and consider the finite field ${ \mathbb{F}}_{p^{2}}$ , which we may represent explicitly as $${ \mathbb{F}}_{p^{2}}\simeq ...
0
votes
1answer
57 views

an Example of Elliptic Curve over finite field has no CM

I have known this property (from Silverman's The Arithmetic of Elliptic Curves): Let $\operatorname{char}(K)=p>0,$ and let $E/K$ be an elliptic curve with $j(E)~ \overline{\in}~ \overline{ ...
1
vote
1answer
29 views

Elliptic Curves Nagell-Lutz question

Let $y^2 = x^3 + ax + b$ be an elliptic curve defi ned over $\mathbb{Z}$. If $b=a^2$, find a point of infinite order on $\mathcal{E}(\mathbb{Q})$. The previous part of the question implies that I ...
4
votes
2answers
79 views

How does $\text{Gal}(L/K)$ act on the automorphism group of an elliptic curve?

Let $L/K$ be a finite Galois extension of number fields; I'm interested mainly in the case $K = \Bbb{Q}$ and $L= \Bbb{Q}(\sqrt{d})$. Let $X$ be an elliptic curve over $K$ and $\text{Aut}(X_L)$ the ...
6
votes
0answers
41 views

Motivation for Weil pairing

The Weil pairing $$e_\phi:E[\phi]\times E'[\hat{\phi}]\to \mu_n$$ for an elliptic curve is defined as follows. Let $\phi:E\to E'$ be an isogeny of degree $n$ and $\hat\phi:E'\to E$ be the dual ...
3
votes
2answers
55 views

The torsion of an elliptic curve over a finite field

There is a result for $p$ prime, $E$ an elliptic curve over $\mathbb F_p$, then $E(\overline{\mathbb{F}_p})[m]\cong (\mathbb{Z}/m\mathbb{Z})^2$ for $m \nmid p$. The book on cryptography I am using ...
2
votes
1answer
46 views

elliptic curve group law

Let $C$ be an elliptic curve over a field $k \supset \mathbb{Q}$. Then given $P$ and $Q$, we can draw the line between $P$ and $Q$ (call this line $L$) and then "find the third intersection point", ...
0
votes
0answers
44 views

How to find the subgroups of the group $C(ℚ)$?

Let $C$ be a fixed elliptic curve over $ℚ$. The group $C(ℚ)$ is a finitely generated Abelian group and we have $$C(ℚ)≃ℤ^{r}⊕C(ℚ)^\mathrm{tors}$$ where $C(ℚ)^\mathrm{tors}$ is a finite abelian group ...