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

learn more… | top users | synonyms

3
votes
1answer
29 views

If $\phi$ is an endomorphism of an elliptic curve, and $\phi = \hat{\phi}$ then $\phi = [m]$?

I heard a reference to this fact, but I cannot find a reference. (I can find the converse in Silverman, namely that $\hat{[m]} = [m]$.) Notation: $[m]$ is multiplication by $m$ in the group law, and ...
0
votes
2answers
36 views

Elliptic curve references

In the study of elliptic curves, one must have a solid ground on abstract algebra, algebraic geometry and analysis (modular forms).Would someone who is well-acquainted with the subject give me roughly ...
0
votes
0answers
29 views

Prime points and elliptic curves

Wiki in https://en.wikipedia.org/wiki/Elliptic_curve_point_multiplication given a curve, $E$, defined along some equation in a finite field (such as $E: y^2 = x^3 + ax + b$), point multiplication is ...
1
vote
2answers
37 views

Smooth curve defined over K with genus 1 is always isomorphic, over $\overline K$, to an elliptic curve over K

Here, the point is the smooth curve defined over K with genus 1 may not have rational point. But to be an elliptic curve defined over K, the base point must be a rational point. I tried to use ...
1
vote
0answers
47 views

Automorphism of m-torsion subgroup of an elliptic curve determines the automorphism of the entire elliptic curve

For $m\ne2$ I want to show that if two automorphisms coincide on $E(m)$, which is the $m$-torsion subgroup of the elliptic curve $E$, then these automorphisms are the same. The statement is very ...
2
votes
1answer
42 views

The rank of elliptic curves of the form $y^2=x^3+ax$

I am looking for references of the following two questions: 1) For with class of primes the rank of the elliptic curves $y^2=x^3+px$ is exactly $0,1$ or $2$. It was quite easy to show that the rank ...
1
vote
1answer
63 views

The degree of a principal divisor

I've become extremely confused (due to having no experience with varieties) over a remark (Remark 3.7) Silverman makes in his book The Arithmetic of Elliptic Curves. Here's the relevant background: ...
1
vote
0answers
49 views

Can I choose the base point of an elliptic curve arbitrarily?

If I define an elliptic curve as a smooth curve with genus one and with base point $\mathbb O$, it seems that I can choose this base point arbitrarily. When I go through the proof that establish ...
0
votes
1answer
18 views

Reflect point in Group law on elliptic curve

Let $E/\mathbb{Q}$ be an elliptic curve. When we add two points on an elliptic curve, we take the line joining them, take the third intersection point and then reflect the point and use that as the ...
0
votes
2answers
53 views

Why should the fibers of a surjective morphism of curves be finite?

Let $\phi : C_1 \rightarrow C_2$ be a nonconstant (and therefore surjective) morphism of smooth curves, and let $\phi^* : K(C_2)\rightarrow K(C_1)$ be the pullback homomorphism it induces on function ...
2
votes
0answers
42 views

how to prove that multiplication of points of an elliptic curve can be done with division polynomials

I'm trying to solve an exercise in the book The Arithmetic of Elliptic Curves by Joseph H. Silverman on the page 106. The exercise asks to prove that \begin{equation} nP=\left( ...
0
votes
1answer
45 views

Meromorphic function written as Weierstrass Elliptic Function [closed]

Let $\Lambda$ be a lattice in the complex plane. And Weierstrass Elliptic Function $$\wp(z)=\frac{1}{z^2}+\sum_{\omega \in \Lambda - \{0\}}\frac{1}{(z-\omega)^2}-\frac{1}{\omega ^2}$$ How can I ...
0
votes
0answers
24 views

advice for curve fitting

I have numerically obtained some curves, corresponding with it I have also obtained some roots. I strongly believed these curves can be fitted with some (elliptic) functions taken the roots as ...
4
votes
1answer
48 views

Interpretation of enhanced elliptic curves

In "A first course in modular forms" (Diamond-Shurman) the author defines something called an 'enhanced elliptic curve' for the congruence subgroups $\Gamma_0(N), \Gamma_1(N)$ and $\Gamma(N)$. For ...
7
votes
0answers
140 views

Galois cohomologies of an elliptic curve

I am studying basic theory of elliptic curves. I encountered Galois cohomology. But two introductory textbooks I read used only $H^0$ and $H^1$. I am curious why higher cohomologies did not appear. I ...
0
votes
1answer
23 views

Elliptic Curves and Mod P

I'm trying to figure out why the number of points (Np) equals any Prime (P) when: P (is congruent) 2 (mod 3) To the Elliptic Curve y^2=x^3+17 Does anyone know why this is?
3
votes
0answers
51 views

Why are supersingular elliptic curves useful for cryptography?

I don't know very much about cryptography and would like to learn more. I know the basics of RSA alogrithm and how elliptic curves over finite fields can be used to do something similar. But I would ...
2
votes
2answers
120 views

rational number solutions to $\frac{a}{a^2+1} + \frac{b}{b^2+1} = \frac{c}{c^2+1}$ with $abc\ne 0$

This question concerns the equation $$\frac{a}{a^2+1} + \frac{b}{b^2+1} = \frac{c}{c^2+1}$$ and the possibility of rational number solutions with $abc \ne 0$. In comments arising from: Using ...
1
vote
0answers
40 views

Surjectivity of good reduction maps of elliptic curves

For simplicity, Let $E/\mathbb{Q}$ be an elliptic curve with good reduction, call it $E'$, at $p$. We know that the reduction map $E(\mathbb{Q}_p)\to E'(\mathbb F_p)$ is surjective, but ...
1
vote
0answers
30 views

Elliptic curve of points order 4

So how do you find the points on the eliptic curve $y^2=x^3+ax$ of order 4, where $4\mid a$ but $4^n$ does not divide $a$ for $n>1$. We proved that for $(x,y)=2(u,v)$, we must have ...
2
votes
1answer
89 views

Using Modularity Theorem and Ribet's Theorem to disprove existence of rational solutions

This is likely overly optimistic, but can one take the results from the Modularity theorem and Ribet's theorem, and distill these down to an undergrad math level of a way to check if certain rational ...
1
vote
0answers
45 views

The Arithmetic of Elliptic Curves, Exercise 1.3

Let $V\subset \mathbb{A}^n$ be a variety given by a single equation. Prove that a point $P\in V$ is nonsingular if and only if $$\text{dim}_{\bar{K}}M_P/M_P^2=\text{dim}V.$$ For a general variety ...
0
votes
0answers
40 views

elliptic curves and order of elements

The problem is this: Show that any elliptic curve over $\mathbb Z_{83}$ has an element of order > 30. I don't quite know which way to go on this one. We could use Hasse's thm. to show that the ...
0
votes
1answer
84 views

Adding points on an elliptic curve

I'm trying to work out a problem from a previous exam in Cryptography regarding elliptic curves. I can add points on an EC using the formulas given, but the suggested solution to this exam problem I ...
0
votes
1answer
66 views

The translation map between elliptic curves is a rational map

I want to see a reference or a prove that the following map is a rational map: Let E be an elliptic curve,$P\in E$ and $T_p$ defined as $T_p:E\rightarrow E,\text{ }T_P(Q)=P+Q$. It is important ...
1
vote
1answer
65 views

Is the notion of homogeneous space of an elliptic curve the same as the notion of twist of an elliptic curve?

In Silverman's elliptic curves I read that a homogeneous space of an elliptic curve $E/k$ is defined as a smooth curve $C/k$ together with a simply transitive right action $C\times{E}\rightarrow{C}$, ...
0
votes
0answers
43 views

Finding number of points on elliptic curve

I'm working on a previous exam problem, and my solution does not match with the given one, and I don't know why. I have the elliptic curve $$E: Y^{2} = X^{3} + X + 46$$ over $\mathbb{F_{101}}$. We're ...
5
votes
1answer
110 views

Infinitely rational points in $y^2 = x^3 - 4$?

If the $x$-coordinate of a rational point $P$ of $y^2 = x^3 - 4$ is given by $m/n$, the $x$-coordinate of $2P$ is given by$${{(m^3 + 32n^3)m}\over{4(m^3 - 4n^3)n}}.$$Using this fact, how do I show ...
3
votes
1answer
38 views

Why is the Frob in elliptic curve not called an automorphism

Please apologize, if that's a stupid question. Why is the Frobenius Endomorphism of an elliptic curve over a finite field not regarded as an automorphism? Since it is an Isogeny, it is surjective ...
4
votes
1answer
84 views

Formal expansion of differential form on elliptic curves

First of all everything i'm asking about comes from the beginning of Katz and Mazur's book : Arithmetic moduli of elliptic curves (which you can find here). I'm considering an elliptic curve $f : E ...
2
votes
0answers
82 views

Fermat's Last Theorem

Is there any relationship between BSD conjecture and Fermat's Last Theorem? What is the importance of the analytic degree of the L-function of an elliptic curve stated in the BSD conjecture in ...
0
votes
1answer
70 views

Are elliptic curves algebraic varieties?

I got a short question. Are elliptic cubes also algebraic varietes? Say we have $E:y^2=x^3+5x=:f(x)$ Then we can $f(x)=x(x^2+5)$ So it can't be an algebraic variety.. I feel like I am totally ...
3
votes
1answer
66 views

How can we continuously deform a height 1 formal group law into a height 2 formal group law?

A Quick Review: The complex elliptic curve $\mathbb{C}/(\mathbb{Z} + \tau \mathbb{Z})$ may be rewritten using the exponential, $\text{exp(}{2 \pi i \tau}) =: q$ as $\mathbb{C}^\times/q^\mathbb{Z}$ . ...
0
votes
1answer
49 views

Rational maps between elliptic curves

I dont understand the definition of rational maps. Here is the definition: Let $E_1$ and $E_2$ be elliptic curves over a field $K$. (projectively written). A rational map $\Phi:E_1\rightarrow E_2$ ...
0
votes
1answer
31 views

Example of Constant Morphism

I am reading Basic Theory of Elliptic Curves, there I came about a statement saying : A Morphism of curves is either Surjective or Constant. While studying Isogenes I came across examples of ...
3
votes
1answer
39 views

Isogenous elliptic curve.

I'm studying elliptic curves and I have a question Take two $k$-isogenous elliptic curves defined over a number field $k$ and fix a place $v$ of good reduction. Are the reduced curves ...
0
votes
1answer
27 views

Absolute value in Hasse's theorem

The Hasse's theorem says that for an elliptic curve $E$ defined on $\mathbb{F}_p$ where $p$ is a prime number, we have: $|n-(p+1)| < 2\sqrt{p}$ with $n$ the order of $E$. I am wondering why the ...
4
votes
2answers
67 views

What will be a good source for learning elliptic curves and what viewpoints can I adopt?

I'm attending a research seminar on elliptic curves in my university where the professor is currently presenting a proof of Mordell's theorem (for elliptic curves over $\mathbb Q)$. The professor says ...
3
votes
0answers
44 views

Reduction of an elliptic curve defined over $\mathbb{Q}$

Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $\ell$ be a prime number such that the reduced curve $\tilde E_{\ell}$ is non singular. Assume that $\tilde E_{\ell}$ admits a subspace ...
4
votes
0answers
38 views

De Rham-Etale comparison isomorphism for elliptic curves

I can't find anywhere a proof of the following comparison isomorphishm: $$H^1_{dR}(E)\otimes \mathbb{C}=H^1_{et}(E)\otimes \mathbb{C}$$ where $E$ is an elliptic curve over $\mathbb{C}$. Any ...
4
votes
0answers
63 views

Tate curve and action of inertia group

I read the answers to this question Clarifying a comment of Serre. However I miss a passage of the second answer and since I can't comment there I have should post a new question. I don't understand ...
3
votes
1answer
51 views

Where does the terminology “fake/false elliptic curve” come from?

In describing, say, the moduli of Shimura curves, people often refer to "fake" or "false elliptic curves" ("les fausses courbes elliptiques"), which are abelian surfaces whose endomorphism ring is an ...
1
vote
0answers
30 views

element of an $\ell$-adic Galois representation with certain eigenvalues.

Let $\mathscr{G}=Gal(\bar{\mathbb{Q}} / \mathbb{Q})$, $E$ an elliptic curve over $\mathbb{Q}$, and consider the $\ell$-adic representation $$ \varphi_{\ell}: \mathscr{G} \longrightarrow ...
2
votes
1answer
39 views

Showing $P=(o,m) \not\in 2E_m(\mathbb{Q})$ for an elliptic curve $E_m$

I have been having trouble with this question. Let $m\in \mathbb{Z}$ with $m > 0$ and define $E_m : y^2 = x^3 −x+m^2$ Then $E_m$ is an elliptic curve Determine the group sturcture of ...
0
votes
0answers
30 views

intersection of plane elliptic curve with coordinate hyperplanes

Let $E: y^2z = x^3 - Axz^2 - Bz^3$ be a plane elliptic curve. I want to calculate the intersection of $E$ with the coordinate hyperplanes $H_i = \{x_i = 0\}$, $i=1,2,3$. I write $H_x = \{x=0\}, H_y = ...
3
votes
0answers
93 views

Trisectible Angle

How do we prove that a triangle with sides $(one, x, y)$, where $x$ is any constructible length from one to three at the elliptic curve $$y^2 = x^3 -x^2 -x +1$$then the triangle possess at least ...
5
votes
2answers
117 views

Rational solutions to $x^4+y^4=cz^2$

Suppose $c\neq 1$ is a squarefree number, and consider the curve $x^4+y^4=cz^2$. How can I find rational points on this curve? What I really want to know is how to transform this into an elliptic ...
2
votes
0answers
105 views

What would the ring $\mathbb{Z}[x,y]/(x^2-y)$ look like?

What would the ring $\mathbb{Z}[x,y]/(x^2-y)$ look like? And also what would the ring $\mathbb{Z}[x,y]/(x^3-x-y^2)$ look like? These are two sorts of rings I have been curious about.
0
votes
1answer
77 views

The sum of an isogeny and its dual for the Frobenius homeomorphism

This is from page 150 of Silverman's "The Arithmetic of Elliptic Curves". Any my only questions is: How you can conclude that $[a]=\phi+\hat{\phi}$? I tried to use the formula on page 85 which ...
4
votes
1answer
116 views

Galois invariants of the Tate module of an elliptic curve over a number field

Let $K$ be a number field, $E$ be an elliptic curve over $K$, $l \neq p$ be two different prime numbers and $v$ be a place of $K$ above $l$. I am trying to understand the proof of proposition I.6.7 ...