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

learn more… | top users | synonyms

0
votes
0answers
159 views

Analogy between Picard group and Ideal class group

Can you give a reference where the conformity between Picard group and Ideal class group is explained? What is analogy of Picard group of elliptic curve over finite field?
12
votes
1answer
151 views

Galois Properties of the Values of Modular Forms

Let $f \in S_0(N)$ be a normalized Hecke eigenform. It is well known that its coefficients are algebraic integers, and $f^\sigma$ lies in $S_0(N)$ for $\sigma \in G_{\mathbb{Q}}$. At CM points $z \in ...
4
votes
1answer
68 views

Hecke $L$-series exercise in Silverman's Advanced Topics in Arithmetic of EC

I would like to refer you to 2.30 & 2.32 in Silverman's book Advanced Topics in the Arithmetic of Elliptic Curves. 2.30(b)[(c) in errata]: Suppose $\mathfrak{P}$ remains inert in $L'$, say ...
5
votes
1answer
628 views

How do I show that this curve has a nonsingular model of genus 1?

Let $C$ be the projective closure of $Z(f) \subset \mathbf{A}^2$ where $f$ is an irreducible polynomial of degree 4 in $x$ and degree 2 in $y$, so $C = Z(f^*) \subset \mathbf{P}^2$ where $f^*$ is the ...
6
votes
1answer
94 views

transform into weierstrass-form

How can I transform the elliptic curve $E/\mathbb{C}$ of the form $$y^2=4(x-e_1)(x-e_2)(x-e_3)$$ with $e_1>e_2>e_3\in\mathbb{R}$ roots of $E$ into a Weierstrass-Form $y^2=x^3+ax+b$?
5
votes
1answer
116 views

Show that an ideal is unramified

See Advanced Topics in elliptic curves for the full question(see also errata: http://www.math.brown.edu/~jhs/ATAEC/ATAECErrata.pdf): 2.30 (pg 184) Given $E/L$ an elliptic curve with complex ...
3
votes
2answers
722 views

Point addition on an elliptic curve

I have an elliptic curve $y^2 = x^3 + 2x + 2$ over $Z_{17}$. It has order $19$. I've been given the equation $6\cdot(5, 1) + 6\cdot(0,6)$ and the answer as $(7, 11)$ and I'm unsure how to derive ...
1
vote
1answer
511 views

Doubling a point on an elliptic curve

I've a programming background and am just about to get into a project where Elliptic Curve Cryptography (ECC) is used. Although our libraries deal with the details I still like to do background ...
8
votes
0answers
157 views

Hecke Characters

My question today concerns Hecke characters or Größencharaktere. I'm doing a project on complex multiplication of elliptic curves and need some help understanding Hecke characters. My main ...
7
votes
1answer
138 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 ...
3
votes
1answer
79 views

How do infinite series contain “local” information?

I would like to know why we consider infinite series (Dirichlet series, zeta function, elliptic curve $L$-series) or their Euler product. How is the local information "stored/contained" in the ...
4
votes
2answers
82 views

Silverman Adv. Topics example

I would like to refer you to Silverman's Advanced Topics in the Arithmetic of Elliptic Curves example 10.6: Let $D$ be a nonzero integer, $E:y^2=x^3+D$ with complex multiplication by $\mathcal{O}_K$ ...
1
vote
0answers
231 views

Solving equation

Assume that $a$, $b$, $c$ and $d$ are known value integers , and $P$, $Q$, $R$ and $G$ are known value points on an elliptic curve with these equations: $$a = by+x, \\ c=\frac{1}{y}d +z , \\ P= ...
1
vote
0answers
61 views

egg curve estimation

Let $p_{1...3}$ be three points on an ellipse, and $t_{1...3}$ be their tangent lines. For $i={1..2}$, let $M_i$ be the point of intersection of $t_i$ and $t_{(i+1)\%2}$, and $K_i$ be the midpoint of ...
2
votes
2answers
377 views

Why is this curve nonsingular?

Let $C$ be the projective closure of $Z(f) \subset \mathbf{A}^2$ where $f$ is an irreducible polynomial of degree 4 in $x$ and degree 2 in $y$, so $C = Z(f^*) \subset \mathbf{P}^2$ where $f^*$ is the ...
0
votes
0answers
82 views

Is Hash(bG) equal to b(Hash(G))?

Assume b is an integer, G is a basepoint in an elliptic curve, and Hash is a one-way hash function. Is Hash(bG) equal to b(Hash(G)) ? or not? Note: A hash function is any algorithm or subroutine ...
6
votes
1answer
79 views

Reduction of kernel of isogenies in the CM case

Let $F$ be a number field and $E/F$ an elliptic curve with CM by an order $\mathcal{O}$ in a quadratic imaginary field $K$. Let us suppose that $K\subseteq F$. Let $p$ be a prime that splits in ...
0
votes
1answer
82 views

Addition on elliptic curves

assume $a$, $b$ are two integer numbers, and $G$ is a basepoint in an elliptic curve. Is $(a+b)G$ equal to $aG+bG$ or not?
5
votes
1answer
132 views

Finding the completion of a coordinate ring

Consider $A=\mathbb C[x,y]/(y^2-x(x+1))$, and consider the $\mathfrak m$-adic completion, where $\mathfrak m =(x,y)$. I want to show that this completion is isomorphic to $\mathbb C[[u,v]]/(uv)$, ...
3
votes
1answer
97 views

Write an elliptic curve with coefficients only depending on its j-invariant

Let $$E:y^2 = 4x^3-g_2 x - g_3$$ be an elliptic curve and $$j=\frac{g_2^3}{g_2^3-27 g_3^2}$$ denote to its $j$-invariant. I want to transform $E$ to find $f$ and $g$ s.t. ...
11
votes
2answers
758 views

Is there a more elementary proof of this special case of Riemann-Roch?

I'm looking for an elementary proof of the fact that $\ell(nP) = \dim L(nP) = n$, where $L(nP)$ is the linear (Riemann-Roch) space of certain rational functions associated to the divisor $nP$, where ...
5
votes
2answers
216 views

Find the rational points on $1 + 18 x + 81 x^2 + 44 x^3 = y^2$ with Sage

I'm trying to use Sage on-line,but I meet some trouble with the code of it. I want to find the rational points on an ellipse curve,such as $$1 + 18 x + 81 x^2 + 44 x^3 = y^2,\tag1$$ I know that ...
2
votes
1answer
88 views

Elliptic curve, number of elements of finite order

I've been looking at this problem for some time now and just can't seem to get the right idea. The problem is: Consider the elliptic curve $C:y^2=x^3+bx$ defined over the rational numbers with $b$ a ...
7
votes
3answers
380 views

Can you recommend some books on elliptic function?

I plan to study elliptic function. Can you recommend some books? What is the relationship between elliptic function and elliptic curve?Many thanks in advance!
23
votes
3answers
688 views

Find integer in the form: $\frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b}$

Let $a,b,c \in \mathbb N$ find integer in the form: $$I=\frac{a}{b+c} + \frac{b}{c+a} + \frac{c} {a+b}$$ Using Nesbitt's inequality: $I \ge \frac 32$ I am trying to prove $I \le 2$ to implies ...
1
vote
1answer
121 views

Split multiplicative reduction question

Let $E/\mathbb{Q}$ be an elliptic curve and $E_{d}$ be the quadratic twist of $E$ by a squarefree integer $d$. Let $\ell$ be a prime of multiplicative reduction for $E$. If $(d, \ell) = 1$, then ...
2
votes
1answer
101 views

Showing an elliptic curve has infinitely many points over $\mathbb{Z}_p$

I stumbled upon this question, and I can't think of how to do it, or what kind of results to use. The question is as follows: Let $$y^2=x^3+ax+b$$ be an elliptic curve ($a,b$ integers), and let $p ...
5
votes
1answer
149 views

Family of elliptic curves with trivial torsion

I'm wondering, if it is true that the torsion subgroup of $y^2=x^3+p$ (for $p$ some prime, greater than 2), is always trivial?. I was trying to prove this using Lutz-Nagell, but I can't quite get it. ...
1
vote
0answers
94 views

About fibers of an elliptic fibration.

Consider the following pencil of cubics: $\lambda C_1+ \mu C_2$ where $C_1=y^2z$ and $C_2=x(x^2+2xz+z^2)$ and the elliptic fibration $\tilde X \rightarrow \mathbb P^1$ induced by the blow-up of ...
7
votes
0answers
115 views

Surfaces ruled over elliptic curves

Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve. Suppose $E$ is an elliptic ...
5
votes
1answer
118 views

Abelian Elliptic Surfaces

By abelian surface we mean a 2-dimensional algebraic complex torus. Thus $$ S=\Bbb{C}^2/\Gamma$$ where $\Gamma$ is a rank $4$ lattice in $\Bbb{C}^2$ and such that $S$ is algebraic. It has trivial ...
2
votes
0answers
43 views

Question about paper on Selmer groups

Let $\textrm{Sel}_{n}E$ denote the $n$-Selmer group and $\textrm{Sel}_{p^{\infty}}E = \varinjlim_{n}\textrm{Sel}_{p^{n}}E$. Proposition 5.10 of this paper http://arxiv.org/abs/1304.3971 states that ...
1
vote
1answer
98 views

Modularity theorem and some results

Let $C$ be an elliptic curve over rationals. Then we can attach to $C$ an L-series $L(C,s)$. I read about the Modularity theorem http://en.wikipedia.org/wiki/Modularity_theorem In the section ...
2
votes
1answer
92 views

Infinity of Right Triangle Elliptic Curve

Translate the congruent number problem into elliptic curve, we conclude that an integer $n\in\mathbb Z^+$ is area of a right triangle with $a,b,c\in\mathbb{Q}$ if and only if the corresponding ...
4
votes
1answer
104 views

Computing cohomology groups of elliptic curves

I'm skimming through Silverman's text to recall some theory of elliptic curves that I've learned in undergrad. In practice however, I'm having trouble actually computing the cohomology groups. For ...
2
votes
1answer
111 views

Fields where all smooth projective curves of genus $1$ are elliptic curves

A common definition of an elliptic curve over a field $k$, is that it is a smooth projective curve of genus $1$ (defined over $k$) with a distinguished $k$-rational point. The distinguished point is ...
5
votes
1answer
50 views

deg functions and maps

For any map $f$ between curves $C_1$ and $C_2$, one defines $\mathrm{deg}(f) = [K(C_1) : f^*K(C_2)]$ as given in "The Arithmetic of Elliptic Curves" by Silverman. For algebraic functions on elliptic ...
1
vote
0answers
31 views

deg of composition on supersingular curve

Let we have supersingular curve $E(\bar{\mathbb{F}_q})$. Let we have algebraic function $f \in \bar{\mathbb{F}_q}(E)$ with div($f) = \sum_{i=0}^{i=n}n_iP_i$. Then div$(f) \circ [q] = ...
2
votes
0answers
35 views

number of solutions eqauation on supersingular elliptic curve

To Frobenius endomorphism on supersingular elliptic curve I want to prove that equation $\pi_q(X) = A$ has 1 solution for any point $A \in E(\bar{\mathbb{F}_q}))$ where $E$ is supersingular. Is it ...
1
vote
0answers
67 views

Frobenius endomorphism on supersingular elliptic curve

Let we have supersingular curve $E(\bar{\mathbb{F}_q})$. Is it true that for every point $P$ $q$-Frobenius endomorphism $\pi_q$ can be write as $A + [q]B$ where $P = A + B$? It is true if ...
2
votes
0answers
73 views

Pole of differential

Let $E : y^2 = x^3 + ax + b$ be an elliptic curve over the field $K$, char $K \ne 0$. We know that the differential $\omega = \frac{dx}{y}$ is holomorphic in infinity because we can write it as ...
3
votes
1answer
326 views

Find all integer solutions to $x^2+4=y^3$. [duplicate]

Find all integer solutions to $x^2+4=y^3$. Some obvious solutions are $(x,y)=(\pm2,2)$. Are these the only ones?
3
votes
1answer
139 views

Question about quadratic twists of elliptic curves

Let $E$ be an elliptic curve and $d$ be a squarefree integer. If $E'$ and $E$ are isomorphic over $\mathbb{Q}(\sqrt{d})$, must $E'$ be a quadratic twist of $E$?
3
votes
2answers
267 views

Isomorphism of Elliptic Curves:

In Stinson's Cryptography Theory and Practice, a theorem is given without proof: Theorem 6.1 Let $E$ be an elliptic curve defined over $Z_p$, where $p$ is prime and $p > 3$. Then there exist ...
3
votes
1answer
60 views

Explicitly computing finite subgroups on elliptic curves

I have a simple cubic curve, say $y^2 = x^3 - x.$ Is there a simple way to find a small finite subgroup of points lying on this curve? (with respect to the elliptic curve group law.) Otherwise, does ...
1
vote
0answers
44 views

Multiples of a point in a non-elliptic curve

Let $E:y^2-xy+y-x^3=0$ over a field $K$, $P=(0,0)$. If $\text{char}(K)\neq2$, $E$ is an elliptic curve for which I can easily get $n*P$. Now, something goes wrong with $\text{char}(K)=2$: Basically, I ...
2
votes
2answers
66 views

Relation between Galois representation and rational $p$-torsion

Let $E$ be an elliptic curve over $\mathbb{Q}$. Does the image of $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ under the mod $p$ Galois representation tell us whether or not $E$ has rational ...
7
votes
3answers
168 views

The genus of a curve with a group structure

I'm reading Milne's Elliptic Curves and came across this statement: If a nonsingular projective curve has a group structure defined by polynomial maps, then it has genus 1. In this question a similar ...
5
votes
2answers
202 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 ...
2
votes
2answers
243 views

How do you determine if an elliptic curve over a finite field is cyclic?

I know the group order and the points of the elliptic curve $y^2 = x^3 + Ax + B$, but I am confused on how to determine if they from a cyclic group The curve $y^2 = x^3 + 2x +2$ in $\Bbb F_{11}$ ...