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

learn more… | top users | synonyms

3
votes
1answer
80 views

The evaluation map for a skyscraper sheaf on an elliptic curve

Let $E$ be an elliptic curve over a field, $z \in E$ is a point, and $d \geq 1$. I consider a skyscraper sheaf $\mathcal{O}_z/m_z^d$, the evaluation map $$ \operatorname{Hom}(\mathcal{O}, ...
3
votes
1answer
84 views

Why the author choose $s$ real?

My question is: Why the author of this book (http://wstein.org/books/bsd/bsd.pdf) page 8 on Sec 1.4 choose $s$ real in despite that the variable is complex in the entire chapter. I am very confused ...
3
votes
1answer
65 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 ...
3
votes
1answer
78 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 ...
3
votes
1answer
107 views

Stark's formula for the j-invariant

In his paper On the "gap" in Heegner's proof (which you can find : here) Stark gives the following formula for the $j$-invariant (for some $\tau \in \mathcal{H}$ and $q=e^{2i\pi\tau}$) $$ j(\tau) = ...
3
votes
1answer
204 views

The Process of Choosing Projective Axes to Put an Elliptic Curve into Weierstrass Normal Form

I'm reading the book "Rational Points on Elliptic Curves" and on page 23 the author takes an arbitrary (non-singular) elliptic curve in the projective plane and finds a rational point $O$, referring ...
3
votes
1answer
62 views

Unramified at certain places and Selmer groups

Consider the $p$-Selmer group of an elliptic curve $E/\mathbb{Q}$ denoted by $\operatorname{Sel}_{p}(E/\mathbb{Q})$. Why does showing that $E(\mathbb{Q}_{\ell})/pE(\mathbb{Q}_{\ell}) = 0$ (for $\ell ...
3
votes
1answer
509 views

Intersection of a line with an Elliptic Curve

I am trying to show that if a line given by $y = mx + b$ intersects an Elliptic Curve given by $E(\mathbb{K}): y^2 = x^3 + Ax + B$ in three points then the line is not tangent to the curve. Given ...
3
votes
1answer
180 views

discriminant of an étale cover of an elliptic curve

Let $\pi:X\to E$ be a finite étale morphism, where $E$ is an elliptic curve over a number field $K$. Assume $X$ to be connected, and to be of genus 1. Edit: Assume $X$ and $E$ have semi-stable ...
3
votes
0answers
35 views

Number of points over elliptic curve is p+1 given…

Suppose that -1 is not a square in $\mathbb{Z_p}$. Show that the number of points on the elliptic curve $y^2=x^3+ax$ over $\mathbb{Z_p}$ is $p+1$. Hint: Use the fact that $x^3+ax$ is an odd function. ...
3
votes
0answers
38 views

Automorphisms of elliptic curves with a point of order N

Probably a stupid question, but I'm trying to figure out the following: Suppose we have an element of $X_1(N)$, i.e. an elliptic curve $E$ with a point $p$ of order $N$. If we have another such curve ...
3
votes
0answers
81 views

Frobenius Endomorphism

I had a lecture last week which dealt with the Frobenius Endomorphism on elliptic curves. The lecturer showed an example at the end of the lecture, when almost out of time and I don't quite understand ...
3
votes
0answers
161 views

Rational Points on Elliptic Curves

I have this homework problem: Can there be an elliptic curve, view as a projective curve, with no rational points with at least one 0 as a coordinate?
3
votes
1answer
186 views

Adding points of an elliptic curve over a finite field

I'm a bit confused with how fractions are handled with adding points of elliptic curves over finite fields. Below is an example from the text which I am trying to understand: The part that ...
3
votes
0answers
59 views

Weil operator of elliptic curve

Let $V$ be a $1$-dimensional $\mathbb{C}$-vector space and $\Lambda \subset V$ be an elliptic curve (=lattice). Let $C : V \rightarrow V$ be the multiplication by $i$. Consider the two following ...
3
votes
0answers
81 views

Good source of problems for Knapp's Elliptic Curves?

I'm studying elliptic curves (and eventually modular forms) out of Knapp's book because of the softer algebraic geometry prereqs. It's incredibly accessible but the problem is that I don't know I can ...
3
votes
0answers
70 views

Ribet's proof of open image for elliptic curves

In http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.bams/1183555477, Ribet gives a proof of Serre's open image theorem for elliptic curves using ...
3
votes
0answers
47 views

Is there a construction known for associating a K3 surface to a curve or cover of curves

Let $X$ be a curve of genus at least two. Then one can associate an abelian variety to $X$; this is the Jacobian. Let $X\to Y$ be a double cover of curves. Then we can associate an abelian variety to ...
3
votes
0answers
96 views

Why does Lenstra ECM work?

I came across Lenstra ECM algorithm and I wonder why it works. Please refer for simplicity to Wikipedia section Why does the algorithm work I NOT a math expert but I understood first part well enough ...
3
votes
1answer
46 views

Conditions such that $\# E_{\mathrm{ns}}(\mathbb{F}_{\ell})\not\equiv 0 \bmod{p}$

Let $E/\mathbb{Q}$ be a semistable elliptic curve. Let $\ell$ be a prime of multiplicative reduction and consider $\# E_{\mathrm{ns}}(\mathbb{F}_{\ell})$. Given a prime $p \neq \ell$, are there any ...
3
votes
0answers
124 views

when do two rational elliptic curves have identical size when reduced mod $p$ for all primes $p$?

If $E_1$ and $E_2$ are two elliptic curves over $\mathbb{Q}$ such that $|E_1(\mathbb{F}_p)|=|E_2(\mathbb{F}_p)|$ for all primes $p$, what does this tell us about the relationship between $E_1$ and ...
3
votes
3answers
55 views

Elliptic curve over $\mathbb{Q}$ cannot have $\mathbb{Z}_4\times\mathbb{Z}_4$ as a subgroup

Show that an elliptic curve over $\mathbb{Q}$ cannot have $\mathbb{Z}_4\times\mathbb{Z}_4$ as a subgroup. We've been told that for this problem, we are not allowed to use Mazur's Theorem. ...
2
votes
2answers
312 views

On the relationship between Fermats Last Theorem and Elliptic Curves

I have to give a presentation on elliptic curves in general. It does not have to be very in depth. I have a very basic understanding of elliptic curves (The most I understand is the concept of ranks). ...
2
votes
3answers
1k views

Group Law for an Elliptic curve

I was reading this book "Rational points on Elliptic curves" by J.Silverman, and J.Tate, 2 prominent figures in Number theory and was very intrigued after reading the first couple of pages. The ...
2
votes
2answers
139 views

Epsilon conjecture analog

Recently this question caught my eye. Is there a relation to the modularity problem of elliptic curves over $\mathbb{Q}(\zeta_m)$ and this problem? Namely, if all elliptic curves over ...
2
votes
2answers
115 views

Embedding elliptic curves into the general linear group

Is it possible to embedd an elliptic curve $E:\;\; y^2=x^3+ax+b$, defined over an algebraically closed field $k$, into some $GL_n(k)$ ?
2
votes
1answer
79 views

$H^{0}$ cohomology group and elliptic curve

Let $E$ be an elliptic curve with good reduction at $\ell$. Is it possible that one can have $H^{0}(\mathbb{Q}_{\ell}, E[\ell]) = E[\ell]$?
2
votes
1answer
109 views

Elliptic Curves over Noncommutative rings

It is known that we can define elliptic curves over commutative rings. However can we define an elliptic curve over a noncommutative ring? This question is considered to some extent in this thesis ...
2
votes
1answer
635 views

Weierstrass Form of Elliptic Curve

One can put every cubic curve into Weierstrass form, how unique is this form?
2
votes
1answer
133 views

Nef divisors on the compactified modular curve level $N$

Consider the compactified modular curve with full level structure $X=\overline{\Gamma(N)\setminus \mathcal{H}}$. We know the Hodge bundle (the extension of the hodge bundle to the compactification) ...
2
votes
1answer
238 views

Decomposition of Tate-Shafarevich group

We all know that Tate-Shafarevich group is defined as $$Ш(E/K)=\mathrm{Ker}(H^1(K,E)\mapsto \prod_{v}H^1(K_v,E))$$ for an abelian variety $A$ defined over a number field $K$, the non-trivial ...
2
votes
1answer
177 views

$j$-invariant for a singular curve

Say I have a plane cubic $f(x,y,z) \subset \mathbb{C}^3$ and I identify it with an elliptic curve by setting $z=1$ and end up with (perhaps after a change of variables) something of the form ...
2
votes
1answer
114 views

Extracting the value of $y$ from $x$ in an elliptic curve over a finite field

Given an elliptic curve $y^2 = x^3 + ax + b$ over a finite field $\mathbf{F}_p$, how can I retrieve the value of $y$ given the value of $x$? My knowledge in this area is quite limited, so I ...
2
votes
1answer
62 views

Is $y^2 =$ quartic in $x$ smooth at infinity?

Let $q(x)\in K(x)$ be a quartic polynomial in x with distinct roots over the algebraically closed field $K$. Consider the curve $C\subset \Bbb P^2$ given by $y^2-q(x)$. Is $C$ smooth? Well, at least ...
2
votes
1answer
71 views

Order of a point on an Elliptic Curve

I am currently struggling with the determination the order of a point on an elliptic curve. We had to do the following exercise: $C = V(y^2+x^3-1)$ and $P = (0,1)$. Now Wikipedia told me that I can ...
2
votes
2answers
34 views

Geometric picture of 3-torsion points on an elliptic curve

I'm faced with what seems a paradox. If we have an elliptic curve $E/\Bbb C$ in Weierstrass form so that $\mathcal O_E$ is at infinity, then the addition law is quite easy to picture geometrically. In ...
2
votes
2answers
99 views

Question about kernel of reduction mapping of elliptic curves

Let $E$ be an elliptic curve over $\mathbb{Q}$ which has good (nonsingular) reduction $\tilde{E}$ modulo some prime $p$. Denote their groups $E(\mathbb{Q})$ and $\tilde{E}(\mathbb{F}_p)$ ...
2
votes
2answers
83 views

Calculating the divisors of the coordinate functions on an elliptic curve

I am currently reading Silverman's arithmetic of elliptic curves. In chapter II, reviewing divisor, there is an explicit calculation: Given $y^2 = (x-e_1)(x-e_2)(x-e_3)$ let $P_i = (e_i,0),$ and $ ...
2
votes
2answers
63 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 ...
2
votes
1answer
65 views

Testing to see if $\ell$ is of split or nonsplit multiplicative reduction

Suppose an elliptic curve $E/\mathbb{Q}$ has multiplicative reduction at $\ell$. Are there any other ways of seeing if $\ell$ is of split or nonsplit reduction aside from computing ...
2
votes
2answers
109 views

Elliptic curve condition on coefficients

I am working something where a picture like this one appeared : Say the curve is written in the form $$ y^2 = x^3 + ax^2 + bx + c $$ (if this is the wrong form of coefficients, feel free to correct ...
2
votes
2answers
239 views

Tamagawa numbers and Genus class numbers

I was reading the paper of Prof.Franz Lemmermeyer titled "Pell-conics" which is here, in that the author writes in page 9 that one can define Tamagawa numbers as $$ c_p = \begin{cases} 2 & \text{ ...
2
votes
1answer
193 views

Intuition behind elliptic curves and $K$-rational points

I find myself becoming confused whenever I try to think about this. In the following, $K$ is a field. An elliptic curve $\mathcal{C}$ is defined to be a nonsingular projective cubic curve over $K$, ...
2
votes
1answer
237 views

Modular functions and elliptic functions

Does anybody know of an equation formally equating modular functions and elliptic functions similar to Euler's equation for exponential and trigonometric functions? Any advice much appreciated. ...
2
votes
1answer
73 views

Show that the curve $2Y^2 = X^4-17$ has points in every $\mathbb{Q}_p$

I've been asked to show that the curve $2Y^2 = X^4-17$ has points in every $\mathbb{Q}_p$ - I've managed to show that it is birationally equivalent to the curve $Y^2 = 2X^4 - 34$ (as suggested in the ...
2
votes
1answer
49 views

Rational Number Form

I was reading Rational Points on Elliptic Curves by Silverman and Tate and they state: Every non-zero rational number may be uniquely written in the form $\frac{m}{n}p^v$, where $m,n$ are integers ...
2
votes
2answers
268 views

The curve $y^2 = f(x)$ where $f$ has degree $d$ and no repeated roots has genus $[(d-1)/2]$?

Let $f$ be a polynomial in $x$ of degree $d$ (over $\mathbb{C}$, say) without repeated roots. I've heard that the curve $y^2 = f(x)$ has genus $[(d-1)/2]$, but I can't find a proof. To be more ...
2
votes
2answers
263 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 ...
2
votes
1answer
86 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 ...
2
votes
1answer
90 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 ...