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

learn more… | top users | synonyms

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
60 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
362 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
131 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
93 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
751 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
211 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
359 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
677 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
112 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
100 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
147 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
92 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
111 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
115 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
93 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
101 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
109 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
34 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
65 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
72 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
311 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
129 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
249 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
163 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
199 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
238 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}$ ...
8
votes
2answers
130 views

Rank $2$ Elliptic Curves

I'm on a quest for some rank $2$ elliptic curves. My question is actually twofold: Is there a way to easily construct a curve with this property? Is there a database of elliptic curves with given ...
5
votes
2answers
61 views

Property of the $p^n$-Selmer group

Consider the $p^n$-Selmer group of an elliptic curve $E/\mathbb{Q}$, $\operatorname{Sel}_{p^n}(E)$. Must we always have $\operatorname{Sel}_{p^n}(E) \cong (\mathbb{Z}/p^n\mathbb{Z})^{s}$ for some $s$? ...
1
vote
0answers
96 views

On the elliptic curve $x^4+y^4 =193z^2$

Given the simultaneous Diophantine equations, $$u^2+v^2=w^2\tag{1}$$ $$x^4+y^4 = (u^6+v^6)t^2\tag{2}$$ the only solutions seem to be for the first Pythagorean triple $u,v,w = 3,4,5$ which yield the ...
3
votes
0answers
162 views

Every smooth cubic curve has a flex point

I want to show that every smooth irreducible plane cubic $C$ has a flex point, i.e. a point $P$ with $i_P(C, T_C(P)) = 3)$ (where $T_C(P)$ is the tangent to $C$ at $P$). I know how to do this in ...
4
votes
3answers
115 views

Example of an elliptic curve with trivial torsion subgroup and rank 0

What is an example of an elliptic curve over $\mathbb{Q}$ with trivial torsion subgroup and rank 0?
0
votes
0answers
88 views

Some basic questions about Jacobians of curves

Let $C$ be a curve defined over $\mathbb{Q}$, of positive genus. Let $J$ denote its Jacobian. I would like to ask a couple of basic (I presume) questions: 0) Why is $J$ an algebraic variety? 1) For ...
0
votes
1answer
44 views

Elliptic curve and restriction

Let $E$ be an elliptic curve. Let $\xi$ be a class of $H^{1}(\mathbb{Q}, E[m])$ unramified at the prime $\ell$. Then $\xi$ restricted to $H^{1}(I_{\ell}, E[m])$ where $I_{\ell}\subset ...
4
votes
1answer
136 views

Mathematics for Pleasure of a Beginner

I've just read "The Music of the Primes" by Marcus du Sautoy, it is worth a read. I'm not from a maths background, but I'd like to develop a deeper understanding of the concepts. The poetry of math is ...
1
vote
0answers
60 views

Do points on elliptic curves exist where the denominators of point multiples grows more slowly than normal?

Looking at prime multiples of $P=[1,1]$ on the curve $y^2=x^3+x-1$ the size of the denominator grows quite rapidly. So ...
2
votes
1answer
79 views

Given a real number, how do I produce an elliptic curve with j-invariant equal to that number?

I have formula for computing the j-invariant but I was wondering if given number $j$, is there a formula for getting a curve $y^2=x^3+a_2x^2+a_4x+a_6$ with j-invariant j?