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

learn more… | top users | synonyms

2
votes
2answers
29 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
108 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
27 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
69 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
34 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
55 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
90 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
39 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
39 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
220 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
28 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
43 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 ...
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 ...
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 ...
8
votes
0answers
107 views

Reference for l-adic Lie algebras

I don't know much at all about Lie algebras or representation theory, and I'm trying to read Ribet's `Review of Abelian l-adic Representations and Elliptic Curves'. Is there a standard reference for ...
3
votes
1answer
40 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
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 ...
2
votes
1answer
53 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
40 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 ...
8
votes
1answer
214 views

Where does this elliptic curve come from?

In Zeta functions of an infinite family of K3 surfaces, Scott Alhgren, Ken Ono and David Penniston compute the zeta functions (given a good reduction restriction mentioned below) of the K3 surfaces ...
1
vote
1answer
71 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
40 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 ...
3
votes
1answer
80 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
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 ...
1
vote
1answer
32 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
16 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 ...
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
0answers
28 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
25 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 ...
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), ...
10
votes
1answer
105 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
54 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 ...
1
vote
1answer
28 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 ...
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 ...
5
votes
4answers
282 views

upper bound on rank of elliptic curve $y^{2} =x^{3} + Ax^{2} +Bx$

I was told the following "Theorem": Let $y^{2} =x^{3} + Ax^{2} +Bx$ be a nonsingular cubic curve with $A,B \in \mathbb{Z}$. Then the rank $r$ of this curve satisfies $r \leq \nu (A^{2} -4B) +\nu(B) ...
6
votes
0answers
108 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 ...
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$ ...
1
vote
1answer
52 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: ...
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 ?
1
vote
1answer
53 views

Solutions of elliptic curve in finite field

If I take the following elliptic formula over a finite field of size $17$: $$y^2 = x^3 + 2x + 3$$ The solutions for $x = 2$ would be $7$ and $10$. Because $7^2=49$ and $49 \equiv 15 \bmod 17$ ...
5
votes
1answer
59 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). ...
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 ...
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 ...
1
vote
2answers
43 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 ...
3
votes
1answer
51 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$ ...
1
vote
0answers
69 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 ...
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 ...