3
votes
1answer
37 views

functoriality of $K(G,1)$ spaces in a particular situation involving complex elliptic curves

I apologize if the subject doesn't accurately describe my question. Let $F_2$ denote the free group on two generators. Suppose you have some group homomorphism $A : ...
4
votes
1answer
35 views

Confusion with computing kernel of an isogeny between two elliptic curves

Consider the two elliptic curves $$E_3: y^2+y=x^3+x^2+x \enspace [Cremona:19A3]$$ and $$E_1: y^2+y=x^3+x^2−9x−15 \enspace [Cremona:19A1]$$ Let $\varphi$ be the $3$-isogeny from $E_3$ to $E_1$. I want ...
8
votes
4answers
105 views

What are some applications of the Weil conjectures for algebraic curves?

I have been interested in the Weil conjectures for some time, and the easiest place to start has been in studying them for elliptic curves. I've been able to see some of their applications and ...
7
votes
2answers
54 views

How to show there exists no solution to a discrete logarithm problem on an Elliptic Curve?

The exact problem is to show that $\nexists$k such that $k(1,2) = (4,5)$ on the elliptic curve defined by $\widetilde{E}: y^2 = x^3 -14x + 17$ over $\mathbb Q$. Background: E: $y^2 = x^3 + 3$ over ...
4
votes
1answer
52 views

Automorphisms of elliptic curve

Consider an elliptic curve $y^2=x^3+b$ over $\mathbb{R}$. How to find all real automorphisms of this curve of order 3?
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 ...
4
votes
1answer
89 views

Prym variety associated to an étale cover of degree 2 of an hyperelliptic curve.

In view of this question, I have an additional question. The situation is as follows. Let $C$ be the hyperelliptic curve over $\mathbb{C}$, which is given on an affine by the equation $y^2 = x^5 +1 ...
1
vote
0answers
56 views

Elliptic curves in $\Bbb P^3$

How can I check that a curve inside of $\Bbb P^3$ is an elliptic curve? Specifically, let $C$ be the plane cubic $$C:aX^3+bY^3+cZ^3=0$$ and $\phi:\Bbb P^2\to \Bbb P^3$ given by ...
4
votes
1answer
79 views

Computing the kernel of an isogeny between two elliptic curves

Consider the two rational elliptic curves - $ E_{1}: y^{2}+y=x^{3}+x^{2}-131x-650 $ $ [\text{Cremona}:35a2] $ $ E_{2}: y^{2}+y=x^{3}+x^{2}-x $ $ [\text{Cremona}:35a3] $ We know that ...
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 ...
3
votes
1answer
51 views

Isogeny of an elliptic curve

Let $E$ be an elliptic curve over $\mathbb{Q}$ and $p$ be a prime. Then what does it mean by "$E$ has a $\mathbb{Q}$-isogeny of degree $p$"?
6
votes
2answers
69 views

References for elliptic curves over schemes

As in the title, I want some references about theories for elliptic curves over rings(not fields) or over schemes. I heard that behaviours(?) of such elliptic curves are not as simple as elliptic ...
1
vote
1answer
32 views

How to prove $-P = (x, -a_1x - a_3 - y)$ for an Elliptic Curve of the General Weirstrass equation for P not the identity?

Let $P = (x,y) \ne \{\infty\}$. Then $-P$ is the other finite point of intersection of the curve and the vertical line through $P$. General Weirstrass equation: E: $a_1y^2+a_3xy+a_5y = ...
2
votes
1answer
58 views

Elliptic curves on a K3 surface

Let $X$ be an elliptic K3 surface. Let $\alpha$ be a smooth curve of genus $\geq3$. Define $$d(\alpha)=\min\lbrace \epsilon\cdot \alpha \ | \ \epsilon \mbox{ is an elliptic curve on } X \rbrace, $$ ...
3
votes
4answers
230 views

Two circles intersect in two points

Take for example two circles $$\begin{cases}x^2+y^2=1\\x^2+y^2-x-y=0\end{cases}$$ These two circles intersect in two points namely $(0,1)$ and $(1,0)$. But by Bezout's theorem they must intersect four ...
1
vote
1answer
66 views

E: $y^2+y=x^3$ an elliptic curve over $F_{2}$. How to prove the number of $E(F_{2^n})$ = $2^n+1$ if n is odd, …

Let E be the elliptic curve $y^2 + y = x^3$ over $F_2$. Prove $ $#E($F_{2^n})$$ = \left\{ \begin{array}{ll} 2^n+1 & \quad n=odd \\ 2^n+1-2(-2)^{n/2} & \quad ...
3
votes
2answers
74 views

Moduli space of isogeny classes of elliptic curves

The modular curve $Y(1)$ classifies isomorphism classes of elliptic curves, namely its $K$-points for any field $\mathbb Q\subseteq K\subseteq \mathbb C$ correspond via the $j$-invariant to $\mathbb ...
3
votes
1answer
104 views

How to visualize projective plane

I need to comprehend projective plane as a prerequisite for some other topic. But I can't understand what it really looks like. How can I make this plane natural to me? Moreover I want to understand ...
0
votes
1answer
35 views

Why is the answer set limited here?

This question is based on pp $67$ - $68$ of Ash and Gross's "Elliptic Tales". Here the authors discuss points on a curve in the projective plane. We have an equation $f(x,y) = x^2+y^2$ We can ...
1
vote
0answers
25 views

Reduction of isogenies at bad primes

Let $L$ be a number field and $E,E'$ two elliptic curves defined over $L$. Suppose $\varphi\colon E\to E'$ is an isogeny defined over $L$. Let $\mathfrak p$ be a prime of bad reduction for $E,E'$. ...
1
vote
1answer
26 views

How to determine the group structure of $E(\mathbb{R})$ for an elliptic curve $E/\mathbb{R}$

Using Weierstrass' $\wp$ function it can be proved that the group of complex points on an elliptic curve $E /\mathbb{C}: y^2 = x^3 + ax + b$ satisfies $E(\mathbb{C}) \cong \mathbb{R}/\mathbb{Z} \oplus ...
2
votes
0answers
23 views

Inflection points on elliptic curves over a field of characteristic 2

I'm looking at the elliptic curve $C:={\cal Z}(XY^2+ZX^2+YZ^2)$ in the field $k:=\overline{\mathbb{F}_2}$. I want to prove that this curve has 9 inflection points. Since the characteristic of $k$ is ...
1
vote
1answer
70 views

A special cubic curve

How can I transfer following cubic curve to a Weierstrass normal form? $$2x^2y+4xy^2+2y^3-2axy-ay^2+a=0,$$ where $a$ is a fixed rational number.
1
vote
2answers
71 views

Elliptic Curve and Conjugation

If I consider an elliptic curve $C$ as a Riemann surface cut out in $\mathbb{C}P^2$ by a homogenous cubic, and if that cubic is defined over $\mathbb{R}$, then I think we have a conjugation map ...
2
votes
1answer
84 views

Linear Equivalence of Divisors on Projective Plane Cubic

I'm self-studying Miranda's Algebraic Curves and Riemann Surfaces and am uncertain of how I'm supposed to solve problem V.2c on linearly equivalent divisors: Let $X$ be the projective plane cubic ...
3
votes
1answer
57 views

Embedding of elliptic curves into $\mathbb{P}^2$ by arbitrary line bundle of degree $3$

Let $E$ be a complex elliptic curve, with distinguished point $x_0 \in E$. Any divisor of degree three is equivalent to the divisor $D=x+2x_0$. If $x=x_0$, it is well known that $L(D)$ has an explicit ...
2
votes
0answers
48 views

Trivial divisor on elliptic curve

Suppose $E$ is an elliptic curve over $k$, and $(E,+)$ is an abelian group(suppose we fix some closed point as identity). Let $[p]$ denote the Weil divisor corresponding to the closed point $p \in ...
7
votes
0answers
112 views

Global sections of vector bundles on a complex elliptic curve and analytic functions

Let me fix an elliptic curve $E$ over complex numbers with distinguished point $x \in E$. Thanks to Atiyah we know everything about discreet parameters of vector bundles and its moduli spaces. But I ...
2
votes
0answers
95 views

Representing Points of Jacobian in Magma

Although I understand the Mumford representation of points on the Jacobian (of a genus 2 hyperelliptic curve), I don't understand how Magma represents such points. I would guess the confusion arises ...
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
86 views

The group of $\mathbb{K}$--rational points for isomorphic elliptic curves

The Springer text by Tom Apostol on Dirichlet series and modular forms, which I have, defines modular functions and modular forms on page 34 and on page 114 respectively, not to mention the Springer ...
3
votes
2answers
60 views

Infinite family of genus one non-elliptic curves over the rationals

How easy is it to write down genus one curves over $\mathbf Q$ without a rational point? Can we write down an infinite family?
0
votes
1answer
89 views

Points on elliptic curves

I am learning elliptic curves theorem and I have read in more papers that for two distinct points $P$ and $Q$ there is always point $R$ such that $P+Q+R = \infty$. I know that this point should be ...
7
votes
2answers
129 views

Does there exist an elliptic curve $E$ such that $\#E(\Bbb{F}_{q^2})=(q+1)^2$ for all prime powers $q$?

The following (paraphrased) question is a homework exercise for a course on elliptic curves: Let $p\not\equiv1\pmod{12}$ be a prime number and let $q=p^k$. Show that there exists an elliptic curve ...
3
votes
1answer
71 views

Genus of Edwards curve

Let us work over a field $\Bbbk$ of characteristic not equal to two. Let $d\in\Bbbk\setminus\{0,1\}$. It is said in the wikipedia article about Edwards curves that the plane quartic defined by the ...
1
vote
1answer
83 views

Finite order points on elliptic curves

Let $E = V_+(F(u,v,w)) \subset \mathbb{P}^2_k$ be an elliptic curve. Let $o = (0,1,0)$ be the origin and $x \in E(k)$ a rational point. Let us suppose there is a curve $C \subset \mathbb{P}^2_k$ such ...
7
votes
1answer
137 views

Dimension of family of hyperelliptic curves

Suppose we have an elliptic curve E with a point $P$ of order $5$ over a field of characteristic $0$. Denote $E'$ the curve $E/\langle P\rangle$. Now let $x$ (resp. $x'$) be a function on $E$ (resp. ...
5
votes
1answer
78 views

Prove that $y^2 = x(x-1)(x- \lambda)$ is irreducible for all $\lambda \in k$

I wish to prove that $y^2 = x(x-1)(x- \lambda)$ is irreducible for all $\lambda \in k$. It seems like this follows from the fact that $x(x-1)(x- \lambda)$ cannot be written as the square of any ...
2
votes
0answers
44 views

Supersingular elliptic curves- Invariant differential exact proof question

I'm writing a minor thesis about different criteria of supersingularity and I wanted to show the following from Husemöller's Elliptic Curves [Prop. 13.3.8]: An elliptic curve $E$ in characteristic ...
9
votes
1answer
637 views

Explicit Derivation of Weierstrass Normal Form for Cubic Curve

In page 22-23 of Rational Points on Elliptic Curves by Silverman and Tate, authors explain why is it possible to put every cubic curve into Weierstrass Normal Form. Here are relevant pages: (My ...
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?
5
votes
1answer
51 views

How to relate the valuation of x/y (For a minimal Weierstrass equation)

I'm reading an article about elliptic curves, but since I'm not very experienced on this subject, I ended up getting stuck. The problem starts as: "Let $K/\mathbb{Q}$ be a number field and $E/K$ an ...
5
votes
1answer
192 views

What do the involutions of an elliptic curve look like?

Every automorphism $\varphi \in \mathrm{Aut}(E)$ of an elliptic curve $E$ (with base point $O$ over a field $k$) can be written $\varphi = \tau_Q\phi$ where $\phi \in \mathrm{Aut}(E,O)$ is an isogeny ...
0
votes
0answers
99 views

number points and twist of elliptic curve

Let elliptic curve $y^2 = x^3 + 1$ has ($q^2 + 2q + 1$) $\mathbb{F}_{q^2}$-rational points. Let $\zeta$ is generator of $\mathbb{F}_{q^2}^*/\mathbb{F}_{q^2}^{*6}$. Curve $E'$ with equation $y^2 = x^3 ...
1
vote
0answers
102 views

Twist of elliptic curve

It is continuation of this question: explict form of the equation of elliptic curve Let $p$ is prime and $p = 3 ($mod $4)$. $q = p^n$. It is easy to see that $E: y^2 = x^3 + x$ has $1 \pm 2q + q^2$ ...
6
votes
1answer
130 views

explict form of the equation of elliptic curve

Let $E(\mathbb{F}_{q^2})$ is elliptic curve with #$E(\mathbb{F}_{q^2}) =q^2 + q + 1$. Can we write equation of this curve in the explicit form?
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 ...
0
votes
0answers
123 views

Analogy between Picard group and Ideal class group

Can you give a reference where the conformity between Picard group and Ideal class group is explained? What is analogy of Picard group of elliptic curve over finite field?
5
votes
1answer
597 views

How do I show that this curve has a nonsingular model of genus 1?

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 ...
6
votes
1answer
83 views

transform into weierstrass-form

How can I transform the elliptic curve $E/\mathbb{C}$ of the form $$y^2=4(x-e_1)(x-e_2)(x-e_3)$$ with $e_1>e_2>e_3\in\mathbb{R}$ roots of $E$ into a Weierstrass-Form $y^2=x^3+ax+b$?