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

learn more… | top users | synonyms

1
vote
1answer
50 views

Finding a rational point on $\mathscr{E} : y^2=x(x^2-25)$ to show $ \text{rank}(\mathscr{E})=1$

I'm trying to show that the rank of the following elliptic curve $$ \mathscr{E}: y^2=x(x^2-25)$$ is 1. Since it has a rational 2-torsion point at $(0,0)$, by considering the dual curve I've been ...
6
votes
2answers
107 views

Integral solutions to $56u^2 + 12 u + 1 = w^3$

I would like to find all integer solutions to $$56u^2 + 12 u + 1 = w^3.$$ My computer thinks the only integral point is $(0,1).$ This problem arises from Integer solutions of $x^3 = 7y^3 + 6 y^2+2 ...
6
votes
3answers
77 views

Semigroup law on points on the curve $f(x) = \frac{1}{x}$

Consider the positive half of the curve $f: \Bbb{R} \to \Bbb{R}, f(x) = \frac{1}{x}$. Let $A = (a,1/a), B = (b, 1/b)$ be any two points on the curve. Draw a line through them Find where this point ...
1
vote
1answer
23 views

Converting to homogenuous coordinates

Let's assume elliptic curve $E$ over $\mathbb{R}$: $y^2 = x^3 + x + 1$ How to convert this equation to homogeneous coordinates? My notes say it's $zy^2=x^3+xz^2+z^3$. Unfortunately, I have no idea ...
8
votes
2answers
265 views

Integer solutions of $x^3 = 7y^3 + 6 y^2+2 y$?

Does the equation $$x^3 = 7y^3 + 6 y^2+2 y\tag{1}$$ have any positive integer solutions? This is equivalent to a conjecture about OEIS sequence A245624. Maple tells me this is a curve of genus $1$, ...
2
votes
1answer
39 views

Proof of Theorem III, 6.2 in Silvermans Arithmetic of Elliptic curves

In the proof of part c), I cannot make sense of the sentence "Then another way of saying that $\phi:E_1\to E_2$ is an isogeny is to note that $\phi(x_1,y_1)\in E_2(K(x_1,y_1))$." (In this situation, ...
2
votes
2answers
83 views

Types of elliptic curves

I'm trying to research elliptic curves, and I always get the generic equation $$y^2 = a_0 x^3 + a_1 x^2 + a_2 x + a_3.$$ However, I'm looking for information on an equation like $$y^3 = a_0 x^3 + a_1 ...
1
vote
1answer
49 views

Interpretation of a short exact sequence from elliptic curves in terms of torsors

Consider some elliptic curve $E$ over a number field $k$. Then for any prime $p$ there is a short exact sequence $$ 0 \to E(k)/pE(k) \to H^1(k,E[p]) \to H^1(k,E)[p] \to 0. $$ Now, $H^1$ has an ...
5
votes
0answers
85 views

Some questions about reduction of elliptic curves

Let $E \rightarrow S$ be an elliptic curve (i.e, a smooth proper curve of genus 1). If $S = \text{Spec (K)}$ where $K$ is a local field, the usual way of doing a reduction at a prime $\mathfrak{p} = ...
2
votes
1answer
51 views

elliptic curve isogeny class 14.a $L$-function Dirichlet coefficients

Are the Dirichlet coefficients $a(n)$ of the $L$-function associated with isogeny class 14.a the irrationals that the inverse symbolic calculator suggests they are? The Lcalcfile suggests that they ...
2
votes
1answer
83 views

Riemann surfaces with Riemann Roch theorem, linear fiber over an elliptic curve

Let $g:\mathbb{C}\times \mathbb{C^*}\rightarrow \mathbb{C}\times\mathbb{C^*}$ defined by $g(z,w)=(w^n z,\alpha z)$ where $0<|\alpha|<1$. Let $G$ be the cyclic group spanned by $g$ and $A$ the ...
2
votes
1answer
124 views

Question about characteristic polynomial of the Frobenius endomorphism on elliptic curves.

I have another possibly trivial question about elliptic curves. A lot of papers I've seen state that the characteristic polynomial of the Frobenius endomorphism of an elliptic curve over a finite ...
2
votes
1answer
67 views

A question about endomorphism rings of elliptic curves

This is probably a very trivial question, but I haven't been able to find a rigorous explanation anywhere so far or at least haven't understood it. Assume we have an elliptic curve $E$ over ...
1
vote
1answer
88 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
40 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
100 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
103 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 ...
5
votes
0answers
115 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
168 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
35 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
203 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
42 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
33 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
394 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
81 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
177 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
33 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
114 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
78 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
48 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
95 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
29 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
31 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
58 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
135 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 ...
3
votes
0answers
36 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
73 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
72 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
132 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
1answer
30 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
68 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
67 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
55 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
131 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
48 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
37 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 ...
4
votes
1answer
76 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
68 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
220 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 ...