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

learn more… | top users | synonyms

1
vote
1answer
76 views

Elliptic curves and Weierstrass $\wp$ function - an example

Let $E: y^2 = 4x^3 - b$ an affine equation of an elliptic curve in $\mathbb{P}^2_{\mathbb{C}}$. Let $b$ be chosen such that the map $f: \mathbb{C} \rightarrow \mathbb{P}^2$ given by $z \mapsto ...
1
vote
1answer
37 views

Benefit from local coordinates

I am reading Elliptic Curves by Anthony Knapp. Its the first time that I am dealing with local coordinates. In page 21 he introduces them as follows: Let $[x_0,y_0,w_0]\in \mathbb P_2(k)$ where $k$ ...
3
votes
1answer
38 views

Question on why short Weierstrass can't be used for curves with char=2

An elliptic curve given by $E: y^2=x^3+ax+b$ with $a,b \in K$ and $Δ(E)=-16(4a^3+27b^2) \neq 0$ is adequate for elliptic curves with $char\neq2,3$ Because of the factor -16 in the definition of ...
2
votes
1answer
52 views

Topics in elliptic curves over finite fields

First of all, sorry if I didn't put this question in the correct category. This a paper aimed for undergraduate math majors. So I am writing a general paper explaining about elliptic curves over ...
4
votes
0answers
89 views

Mordell Equation $y^2 = x^3 - 20$. [closed]

Prove that the only integral solutions to $y^2 = x^3 − 20$ are $(x, y) = (6, \pm14)$.
2
votes
2answers
51 views

Weierstrass equation long vs. normal form

So I am studying elliptic curves over finite fields and I am a little confused about something. In some texts I see a "long" Weierstrass equation and in some I see a "short" Weierstrass equation, what ...
2
votes
1answer
28 views

A clarification of addition on elliptic curves over the complex numbers

I am trying to prove that the order of the two points $P_{\pm}=(0,\pm\sqrt{-g_3})$ is three on the elliptic curve $y^2=4x^3-g_3$, for $g_3 \not= 0$, defined over $\mathbb{P}^2_{\mathbb{C}}$. Here's an ...
4
votes
1answer
193 views

Mordell-Weil rank in elliptic surfaces

Suppose that an elliptic smooth K3 surface $X$ defined over a number field $k$ has arithmetic Picard rank $r$ and assume that it is equipped with a $k$ fibration over $\mathbb{P}^1$ that has a section ...
1
vote
0answers
41 views

$x^3+y^3+z^3 = 0$ is isomorphic to $\mathbb{C}/\Lambda$, where $\Lambda = \{n+m\omega \mid n,m \in \mathbb{Z}, \omega^3=1, \omega \not= 1\}$

I am rather stuck trying to prove that $x^3+y^3+z^3 = 0$ in $\mathbb{P}^2_{\mathbb{C}}$ is isomorphic to $\mathbb{C}/\Lambda$, where $\Lambda = \{n+m\omega \mid n,m \in \mathbb{Z}, \omega^3=1, \omega ...
2
votes
1answer
27 views

Elliptic curve notation

This might be kind of a silly question about notation. I know: $E$: an elliptic curve $\mathbb{F_q}$: finite field But I recently ran across the notation $E/\mathbb{F_q}$ for the first time, so ...
1
vote
1answer
93 views

Hasse's Theorem for Elliptic Curves over Finite Fields + proof clarification

I need a little help understanding Hasse's theorem for elliptic curves over finite fields, as well as the proof of this theorem. (Sorry about my editing) Hasse’s Theorem: Let $E$ be an elliptic ...
1
vote
0answers
53 views

Genus of the product of two elliptic curves

In trying to understand the trichotomy of the genus of algebraic curves, I first consider the following two elliptic curves (over $\mathbb{Q}$), well-known to be of rank $2$, $ y^2 = x^3+17$ and $ ...
11
votes
2answers
162 views

Diophantine equation $x^2 + xy + y^2 = \left({{x+y}\over{3}} + 1\right)^3$.

Solve in integers the equation$$x^2 + xy + y^2 = \left({{x+y}\over3} + 1\right)^3.$$
1
vote
1answer
22 views

Sato-tate conjecture for elliptic curves over finite fields

I am doing a research project about elliptic curves over finite fields and I am across the Sato-tate conjecture, but I am having some difficulty understanding it. What I (think) I took away from the ...
2
votes
1answer
52 views

$j$-invariants of isogenous elliptic curves

Suppose that $E,E'$ are isogenous smooth complex elliptic curves - is there some relation between their $j$-invariants?
1
vote
2answers
45 views

Chinese Remainder theorem on Elliptic Curve group

I read somewhere (Blake, Seroussi, Smart: Elliptic Curves in Cryptography, p.160) that one can use the Chinese Remainder theorem to split $E(\mathbb{Z}/N\mathbb{Z})$, where $N$ is a composite number. ...
1
vote
1answer
27 views

Point at Infinity of E.C. in Jacobian Coordinates

I am reading some notes about elliptic curves right now and the author mentions the alternative Jacobian projective coordinates, where one establishes the equivalence $(x,y,z)\sim (\lambda^2 x, ...
1
vote
2answers
77 views

A special modular function: $ j $-invariant.

It is known that j invariant $$j(\tau)= 1728 \frac{g_2^3(\tau)}{\Delta(\tau)} $$ $\tau \in \mathbb{H}$ attains every complex value , Can someone guide me its proof.?? where $L(\tau ) = \{\tau m ...
0
votes
1answer
20 views

Subgroups of points of order 2 in an elliptic curve

Depending on the roots of $y^2 - x(x^2+ax+b) = 0$ being real or not, we can have 2 subgroups of points of order 2 for a given elliptic curve- Kelin-4 group or a cyclic group of order 2. How does one ...
2
votes
1answer
22 views

Is this simple proof that the Frobenius endomorphism of an elliptic curve defined over $\mathbb F_q$ is surjective valid?

I am quite sure that the following "proof" is flawed, but I don't see why: Let $E$ be an elliptic curve defined over $\mathbb F_q$. Since $E$'s ideal is generated by a polynomial in $\mathbb ...
0
votes
1answer
40 views

Jacobians and ranks of a curve

I would like to know the following: How to find Jacobian and rank of an hyper elliptic curve like $x^5-x= y^2-y$? High regards Rosy
1
vote
2answers
86 views

Arithmetic on modular curves

I had tried to read the first few pages of Glenn Stevens' Arithmetic on Modular Curves, but it is somehow extremely unreadable to me, the text format is odd and stating too much facts without ...
2
votes
0answers
29 views

Galois action on the fibre of a morphism determined by a linear system

If $X$ is an elliptic curve, let $P,Q\in X$, then $|P+Q|$ determines a morphism $g:X\to \mathbb{P}^1$. It is easy to see $K(X)/K(\mathbb{P}^1)$ is a Galois extension of degree 2. Let $\sigma$ be the ...
4
votes
1answer
68 views

Does there have to be a point on elliptic curve over $\mathbb{C}(t)$

Let $E$ be an elliptic curve over $\mathbb{C} (t)$ (rational functions). I require $E$ to be defined by the following equation. $$ y^2 = x^3 + A x + B$$ Where $A, B \in \mathbb{C} (t)$. Question: ...
1
vote
2answers
67 views

Diophantine equation resembling FLT

I was wondering if the equation $x^p+y^p=2z^p$ has been studied. For small cases it is seen that the only solutions are trivial: $x=y=z$. There are probably methods to solve this for regular ...
4
votes
1answer
117 views

Sums of three cubes in arithmetic progression equal to a cube $x^3+(x+y)^3+(x+2y)^3 = z^3$

Using exhaustive search, small positive and primitive integer solutions to, $$x^3+(x+y)^3+(x+2y)^3 = 3 x^3 + 9 x^2 y + 15 x y^2 + 9 y^3= z^3\tag1$$ are, $$x,y = 3,1,\quad x+y =2^2$$ $$x,y = ...
0
votes
0answers
37 views

Calculate line integral $\frac{-y}{x^2+2y^2}dx +\frac{x}{(x^2+2y^2)}dy$

I have this question in my calculus course: Calculate the line integral $\int \frac{-y}{x^2+2y^2}dx +\frac{x}{(x^2+2y^2)}dy$ over the curve a) $x^2+y^2=1$ in the positive direction b) ...
0
votes
1answer
25 views

Pole of elliptic function

Let $f:C→P1$ be such that $f(z+1)=f(z+i)=f(z)$ for all z∈C. Let $Γ=\{m+ni:m,n∈Z\}$. Show that if $f$ is holomorphic on $C∖Γ$, and $z⋅f(z)$ is bounded in a neighbourhood of $z=0$, then $f$ is ...
2
votes
1answer
56 views

What are the zeros of the j-function?

Recall that, for a complex number $\tau$ with positive imaginary part, the $j$-invariant is given by $j(\tau)=1728 \frac{g_2(\tau)^3}{g_2(\tau)^3-27g_3(\tau)^2}$ where $g_2(\tau)=60 ...
0
votes
1answer
33 views

Conditions of $f=a+bx+cz+dx^2+exz+fz^2+…$ such that its tangent line is $z=0$ and inflection point is at the origin.

Let $x,z$ be coordinates on $k^2$ and $f\in k[x,z]$; write $f$ as $$f=a+bx+cz+dx^2+exz+fz^2+...$$ Write down the conditions in terms of $a,b,c,...$ such that (a) $P=(0,0)\in C: (f=0)$; (b) the ...
3
votes
1answer
61 views

Show that $Y^2-X^3\mid f$ if $f$ vanishes on the curve $C: (t^2,t^3)$, and determine what property of a field $k$ will ensure that the result holds.

Let $\phi: \mathbb{R^1}\rightarrow \mathbb{R^2}$ be the map given by $t \mapsto (t^2,t^3)$; prove directly that any polynomial $f\in \mathbb{R}[X,Y]$ vanishing on the image $C=\phi(\mathbb{R^1})$ is ...
1
vote
0answers
50 views

Elliptic Curve Group and Multiplicative Inverse of an element.

Suppose $E$ be an Elliptic Curve over a field $F_q$ and $q=p^n$ where $p=$ prime. We know that the Elliptic Curve group $E(F_q)$ under addition is an Abelian/Commutative Group of order, ...
2
votes
2answers
60 views

Prerequisites for Silverman's Arithmetic of Elliptic Curves

I would like to take a course on elliptic curves using Silverman's Arithmetic of Elliptic Curves next year. I would be taking complex analysis concurrently, but it was listed as a formal prerequisite, ...
0
votes
0answers
41 views

Topics in elliptic curves over finite fields

I have to write a paper on elliptic curves over finite fields and I was wondering if anyone had any ideas of some interesting directions to take this? Like what are some subtopics within this general ...
2
votes
1answer
31 views

Quick question: Tensoring a 2-torsion line bundle with a rank 2 nonsplit extension over a curve of genus 1

Everything is complex algebraic. Over a curve $C$ of genus $1$, let $V$ be a rank 2 vector bundle with $\deg \det(V)=1$, which is a nonsplit extension of $\mathcal{O}_C$ and $\mathcal{O}_C(p)$, where ...
3
votes
1answer
62 views

Formal Group for the Elliptic Curve $Y^2=X^3+AX$

I'm trying to solve the following problem without resorting to a direct calculation: Let $E : Y^2 = X^3 + AX$, where $A \in \mathbb{Z}$ and $A \ne 0$. Let $F(X, Y )$ be the formal group associated to ...
0
votes
0answers
24 views

The Discriminant Condition for Elliptic Curves [duplicate]

Question: Why do we need the discriminant of an elliptic curve $\Delta=-16(4a^3+27b^2)$ to be nonzero? Motivation: I am aware that when $\Delta=0$, then we obtain either a cusp (e.g. for $y^2=x^3$) ...
0
votes
0answers
63 views

Why is $E[l]\cong\mathbb Z/l\mathbb Z\times\mathbb Z/l\mathbb Z$ for an elliptic curve $E$?

René Schoof's 1995 paper contains the following statement about an elliptic curve $E$ (at the bottom of page 233): [...], we use the subgroup $E[l]$ of $l$-torsion points of $E(\overline{\mathbb ...
7
votes
1answer
191 views

Integral relations in Fricke and Klein

Can someone please explain how Fricke and Klein obtain the integral relationa stated at the top of p. 34 in this book? The entire book can be previewed on Google Books. It is an old book and I do not ...
0
votes
0answers
44 views

Elliptic curve reduction modulo $p$

While reading an introduction on elliptic curves, I stumbled upon something called reduction modulo $p$. The definition states that we want to create a group homomorphism that maps an elliptic curve ...
9
votes
1answer
143 views

Modular parametrization of elliptic curve

Let $f$ be a cusp form of weight $2$ on $\Gamma_0(N)$ and assume that $f$ is a Hecke form and a newform. Then, we easily see that $$C(\gamma)=2i\pi \int_{\tau}^{\gamma \tau}{f(\tau')d\tau'} \quad ...
2
votes
0answers
52 views

Large initial solutions to $x^3+y^3 = Nz^3$?

Let $x,y,z$ be non-zero integers. Is it true that the initial or smallest solution (in terms of absolute value) to, $$x^3+y^3 = Nz^3\tag1$$ for $N=94$ is, $$15642626656646177^3 + ...
4
votes
1answer
80 views

Galois representations and isogenies of elliptic curves

Let $E$ be an elliptic curve over $\mathbb{Q}$. For each prime $\ell$, the action of $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ on $E[\ell]$ (the group of $\ell$-division points of $E$) defines a ...
3
votes
1answer
72 views

When is a modular curve defined over Q?

Let $X(N)$ and $Y(N)$ be respectively the compactified and uncompactified modular curves parametrising elliptic curves with full level $N$ structure. In other words, a point on $Y(N)$ is (essentially) ...
4
votes
0answers
71 views

The canonical height of a point on an elliptic curve

I am struggling with exercise 3.3 in Silverman-Tate Rational Points on Elliptic Curves. Here is the paraphrased problem with necessary background: Let $C:y^2 = x^3 + a x + b$ be a nonsingular cubic ...
0
votes
1answer
51 views

Birational transformation of Elliptic curves?

Let $F:V\to W$ be a birational transformation of elliptic curves; let $g$ be a generator of $V$. Is necessarily $F(g)$, a generator of $W$?
0
votes
1answer
22 views

How to show rational points of finite order on an elliptic cure are closed under addition

I would like to show that rational points of finite order on an elliptic curve are closed under addition. If $P_1$ and $P_2$ are rational (actually integral) points of finite order, say $nP_1= O$ and ...
3
votes
1answer
53 views

Relation between elliptic curves and Dirichlet L-series

I have read that an elliptic curve $E$ is modular if $a(n) = c(n)$ for all $n$, where $a(n)$ is the $n$-th coefficient in the Dirichlet series of $E$, $L(E,s)$, and $c(n)$ is the $n$-th coefficient in ...
0
votes
1answer
70 views

Points on an elliptic curve over $\mathbb F_p$

Let $E$ be an elliptic curve over $\mathbb F_p$ (the finite field of $p$ elements) defined by $y^2=x(x-n)(x-m)$ where $p\nmid nm(n-m)$. Let $N$ be the number of $\mathbb F_p$-valued points of $E$. ...
2
votes
1answer
90 views

Why does an elliptic curve have genus one?

I read that one definition of an elliptic curve goes as follows: Let $k$ be a field. We define the elliptic curve over $k$ be a smooth projective curve $E$ over $k$, isomorphic to a closed subvariety ...