1
vote
0answers
18 views

Torsion points on elliptic curves, $E^1$

Let $E$ be an elliptic curve over $\mathbb{Q}_p$ and let $E(\mathbb{Q}_p) \supset E^0(\mathbb{Q}_p) \supset E^1(\mathbb{Q}_p) \supset \cdots$ be its $p$-adic filtration, where $E^n(\mathbb{Q}_p) = \{P ...
0
votes
0answers
19 views

inflexion point on elliptic curve

Let $C: y^2 = x^3 + ax^2 + bx + c$ be an elliptic curve over $\mathbb{Q}$ ($a,b,c \in \mathbb{Z}$) and let $\overline{C}$ be its reduction over $\mathbb{F}_p$. Then does $\overline{C}$ necessarily ...
2
votes
1answer
48 views

$p$-adic numbers and projective coordinates

Let $E/\mathbb{Q}_p$ be an elliptic curve and let $E^0(\mathbb{Q}_p)$ denote its nonsingular points. We accept that $E^0(\mathbb{Q}_p)$ is a subgroup of $E(\mathbb{Q}_p)$. Then let ...
2
votes
1answer
49 views

elliptic curves over $\mathbb{Q}_p$

Let $E: Y^2 = X^3 + AX + B$ be an elliptic curve over $\mathbb{Q}_p$, i.e. $A,B \in \mathbb{Q}_p$ and $4A^3 + 27B^2 \neq 0$. Then, according to page 47 of Cassels' Lectures on Elliptic Curves, if ...
0
votes
0answers
50 views

How can we compute the order of 1-form on Riemann surfaces

Let X be a hyperellictic curve defined by $y^2=h(x)$. Let $\pi:X\rightarrow\mathbb{P}^1$ be the double covering map seding $(x,y)$ to $x$. Let $\omega=\pi^*(dx/h(x))$. How can we compute the orders of ...
3
votes
0answers
52 views

Finding the prime element of a place of a function field of a elliptic curve.

Let $p$ be an elliptic curve in $\mathbb{C}[X,Y] $. Consider the quotient ring $A = \mathbb{C}[X,Y]/(p) $ and its field of fractions $F = frac(A) $. For all $f + (p) \in A$, define $deg_A(f + (p))= ...
2
votes
1answer
71 views

Question about divisors

Let $\Lambda=<2\omega_1,2\omega_2>$ be a lattice in $\mathbb{C}$, $C=\mathbb{C}/\Lambda$ an elliptic curve. Let $O(0,0)$ (neutral element of the lattice), and $A \in \mathbb{C}/\Lambda$ point of ...
4
votes
2answers
76 views

Isomorphic Elliptic Curves

I want to solve the following exercise: Show that the two elliptic curves $E/ \mathbb{Q}$ and $E'/ \mathbb{Q}$ are isomorphic. $E: y^2 = x^3+x-2$ and $E': y'^2 = x'^3-\frac{1}{3}x' - \frac{52}{27}$. ...
0
votes
0answers
22 views

Could a hyper elliptic curve of degree 5 admit only three ordinary double points?

The definition for hyper elliptic curves is those curves which admit a ramified double cover of $P^1$. The given degree five is for some homogeneous equations of degree five that defines the curve, ...
8
votes
4answers
130 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 ...
2
votes
1answer
71 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
99 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
58 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 ...
6
votes
2answers
78 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 ...
2
votes
1answer
91 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 ...
2
votes
1answer
47 views

summing points in elliptic curve

Does $P_1+P_2+P_3=2Q$ where $\{P_i\}_{i=1}^3,Q\in E(\Bbb F_p)$ for an ellliptic curve $E/\Bbb F_p$ mean $Q\in\{P_i\}_{i=1}^3$? I think I could just ask does $P_1+P_2=2Q$ where $\{P_i\}_{i=1}^2,Q\in ...
3
votes
1answer
82 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 ...
7
votes
1answer
145 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. ...
10
votes
1answer
804 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 ...
0
votes
0answers
103 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
129 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
132 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?
0
votes
0answers
140 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
50 views

deg functions and maps

For any map $f$ between curves $C_1$ and $C_2$, one defines $\mathrm{deg}(f) = [K(C_1) : f^*K(C_2)]$ as given in "The Arithmetic of Elliptic Curves" by Silverman. For algebraic functions on elliptic ...
0
votes
0answers
85 views

Some basic questions about Jacobians of curves

Let $C$ be a curve defined over $\mathbb{Q}$, of positive genus. Let $J$ denote its Jacobian. I would like to ask a couple of basic (I presume) questions: 0) Why is $J$ an algebraic variety? 1) For ...
2
votes
1answer
180 views

Elliptic curve as an intersection of quadrics

Let $E$ be an elliptic curve. If one starts with embedding associated with invertible sheaf $\mathcal{O}(3x)$ where $x$ is some point on $E$ then one gets cubic in $\mathbb{P}^2$ and this embedding is ...
4
votes
1answer
377 views

Computing the divisors of a meromorphic function defined by a hyperelliptic curve.

Let $X$ be a hyperelliptic curve defined by $y^2=h(x).$ Let $\pi : X\to \mathbb{P}^1$ be the double covering map sending $(x,y)$ to $x$. Let $\omega=\pi^{*}(dx/h(x)).$ Compute div$(\omega)$. I ...
3
votes
0answers
50 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 ...
1
vote
0answers
74 views

Addition law on moduli space of curves

Dislaimer: I know very little about this, so if parts of my question don't make sense, please feel free to edit in a way that does, or ask me to clarify. Let $\mathcal{M}_{1,2}$ be the moduli space ...
3
votes
1answer
155 views

the elliptic curves with j-invariant zero

Let $B\in K^\ast$, where $K$ is a number field. Let $y^2=X^3+B$ be the Weierstrass equation for an elliptic curve $E_B$ over $K$. Note that the $j$-invariant of $E$ is zero. When is $E_B$ ...
2
votes
1answer
185 views

writing down the minimal discriminant of an elliptic curve

Let $j$ be an integer. Does there exist an elliptic curve $E_j$ over $\mathbf{Q}$ with $j$-invariant equal to $j$ whose minimal discriminant we can write down in a practical way? For example, can ...
3
votes
3answers
104 views

Show that if the curve $y^2 = p(x)$ has a double point, then it must be of the form $(r,0)$ where $r$ is a double root of $p(x)$.

Let $p(x) = ax^3 + bx^2 + cx + d$ where $a,b,c,d \in\mathbb{R}$. Show that if the curve $y^2 = p(x)$ has a double point, then it must be of the form $(r,0)$ where $r$ is a double root of $p(x)$. ...
5
votes
1answer
205 views

A question about modular curves and base change

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Suppose that the curve $X\times_{K,\sigma} \mathbf{C}$ is a modular curve for some $\sigma:K\to \mathbf{C}$. Can ...
0
votes
1answer
125 views

Are elliptic curves also Galois covers of degree 3

Let E be an elliptic curve with equation $y^2=x^3+Ax+B$. The projection onto the $x$-coordinate is a Galois morphism of degree $2$. But what about the projection onto the $y$-coordinate? Is it ...
3
votes
1answer
128 views

Can an algebraic group only have trivial elements over $k$

Let $G$ be an algebraic group over $k$ such that $G(k) = \{e\}$ is the trivial group. Does this imply that $G_{\overline{k}}$ is trivial? I think the answer is no. I think you can just take an ...
3
votes
2answers
159 views

Does there exist a finite morphism of algebraic curves such that…

Let $K\subset L$ be a finite field extension. Let $X$ and $Y$ be (smooth projective geometrically connected) curves over $L$. Let $f:X\to Y$ be a finite morphism of curves over $L$. Assume that ...
0
votes
0answers
127 views

What is the Hurwitz number of an elliptic curve

One can associate a Hurwitz number to any rational function $f:X\to \mathbf{P}^1$ on a compact connected Riemann surface $X$ which ramifies over precisely FOUR points. Suppose that $X$ is an elliptic ...