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

learn more… | top users | synonyms

1
vote
1answer
42 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
60 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
43 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
80 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
44 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
45 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
71 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
34 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
35 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
46 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
78 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
32 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
26 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
190 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
40 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
24 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 ...
0
votes
1answer
65 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
51 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
160 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
17 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
40 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
39 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
21 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
70 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
17 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
21 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
36 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
65 views

Arithmatic on modular curves

I had tried to read the first few pages of Glenn Stevens's$\,$ 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
66 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
115 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
35 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
23 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
52 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
32 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
58 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
46 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
46 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
39 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
29 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
58 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
23 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
62 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
189 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
38 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
137 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
50 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
70 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
65 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) ...