Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
2 answers
417 views

Is there a largest prime p such that J_0(p) completely splits into elliptic curves

The question in the title is related to a more general question. Namely does there exist an integer $N$ such that for all curves $C/\mathbb C$ of genus $> N$ one has that not all simple isogeny ...
Maarten Derickx's user avatar
6 votes
1 answer
564 views

Jacobians of genus 2 curves isogenous to a square of a supersingular elliptic curve over $\mathbb{F}_{p^2}$

I would like to construct hyperelliptic curves whose Jacobians are isogenous to the square of a supersingular elliptic curve over $\mathbb{F}_{p^2}$ My question is motivated by the following example. ...
Eduardo R. Duarte's user avatar
4 votes
1 answer
300 views

An explicit equation for $X_1(13)$ and a computation using MAGMA

By a general theory $X_1(13)$ is smooth over $\mathbb{Z}[1/13]$, and so is its Jacobian $J$. And the hyperelliptic curve given by an affine model $y^2 = x^6 - 2x^5 + x^4 -2x^3 + 6x^2 -4x + 1$ is $X_1(...
k.j.'s user avatar
  • 1,364
4 votes
1 answer
215 views

Atkin-Lehner involution on the modular abelian varieties

Let $f$ be a CM modular forms with coefficients in the imaginary qudaratic field $K=Q(\sqrt{-3}))$ which correspond to an elliptic curve $E$ defined over $K$. Then Shimura constructed an abelian ...
yhb's user avatar
  • 390
4 votes
0 answers
180 views

Derivative of dual isogeny is pullback on $H^1$

Apologies if this is not quite at the level of MathOverflow, but I have already asked at MSE and received no answer after two+ weeks and a bounty. Let $X$ and $Y$ be elliptic curves (over an ...
Hank Scorpio's user avatar
3 votes
1 answer
213 views

5-Descent or ($\sqrt{5}$-Descent?) on certain genus 2 Jacobians

I would like to know if there is something I can read to compute the following: Let $H$ be a hyperelliptic curve of genus $2$ given by $y^2=x^5 + 10$ and let $J$ be its Jacobian. How can I prove ...
Eduardo R. Duarte's user avatar
3 votes
0 answers
171 views

Scalar multiplication via the Kummer surface of a genus $2$ curve by $\sqrt{5}$

I hope this is a good question. Recently I worked with genus two curves $H$ that have multiplication by $[\zeta_5]\in \text{Aut}(H)$, that is, multiplication by $e^{2\pi i/5}$. This automorphism is ...
Eduardo R. Duarte's user avatar
2 votes
2 answers
414 views

Upper bound on number of integral solutions of elliptic curves

I was studying M. Bhargava Et al's seminal paper titled "Bounds on 2-torsion in class groups of number fields and integral points on elliptic curves" And came across a very fascinating ...
Navvye's user avatar
  • 61
2 votes
1 answer
292 views

One unexpected observation related to algebraic curves and their Jacobians

Let $C$ be a projective irreducible algebraic curve over an algebraically closed field of characteristic $0$ (for simplicity). Assume that there is also a cover $\varphi\!: C \to E$ to an elliptic ...
Dimitri Koshelev's user avatar
2 votes
1 answer
421 views

Degree of morphisms and isogenies

$\renewcommand{\J}{\mathrm{Jac}} \renewcommand{\F}{\mathbb{F}}$ I am reading this paper by B. Gross, and there is something I don't understand on p. 945. Here is the context: fix a prime $p \equiv 3 \...
Watson's user avatar
  • 1,742
2 votes
1 answer
172 views

What is the quotient $E \!\times\! E^\prime / G$?

Consider a finite field $\mathbb{F}_p$ such that $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$, $\mathbb{F}_{p^2}$-isomorphic elliptic curves (of $j$-invariant $0$) $$ E\!:y_1^2 ...
Dimitri Koshelev's user avatar
2 votes
1 answer
259 views

Isogeny from kernel in higher dimensional abelian varieties

Is there any kind of generalization of Vélu formulae for Jacobians? The question technically is: Given a hyperelliptic curve $H/\overline{\mathbb{F}}_q$ and its jacobian $J_H$ of dimension $2$, if $...
Eduardo R. Duarte's user avatar
2 votes
0 answers
719 views

Self intersection of theta divisor

I hope my question is not too basic here. I have a very specific setting and I am trying to not use "big theorems" to prove a well known fact algebraically. I hope someone can give me a hint. Let $J/...
Eduardo R. Duarte's user avatar
2 votes
0 answers
190 views

Curve C of genus 2 whose equation satisfies equation in Igusa invariants, but where Jac(C) does not split

The background question is: Let $C$ be a curve of genus $2$ over a field $k$. When is there a degree $2$ morphism from $C$ to an elliptic curve (and therefore an isogeny from the Jacobian $\mbox{Jac}(...
Gregor Botero's user avatar
1 vote
1 answer
483 views

Why an elliptic curve can be defined as an abelian variety of dimension 1?

Now we define an elliptic curve as "a smooth projective curve of genus one with a specified base point". (A little question by the way: Is the requirement "with a specified base point&...
HaomengXu's user avatar
1 vote
1 answer
445 views

What is the reduction of this hyperelliptic curve

Let $K$ be a number field and $E/K$ an elliptic curve with equation $Y^2Z = X^3 +AXZ^2+BZ^3$ in $\mathbf{P}^2_K$, where $A,B\in K$. Let $S$ be non-empty finite set of finite places of $K$ and suppose ...
Harry's user avatar
  • 1,213
1 vote
1 answer
212 views

The ideal in $\mathbb{Z}[x]$ of all vanishing polynomials of a curve automorphism

Let $C$ be a projective irreducible algebraic curve of genus $g$ over an algebraically closed field of characteristic $0$ (for simplicity). Given an automorphism $\alpha \in \mathrm{Aut}(C)$ of order $...
Dimitri Koshelev's user avatar
1 vote
0 answers
75 views

Is there a non-singular irreducible genus $2$ curve $C/\mathbb{F}_p$ and two $\mathbb{F}_p$-coverings $C \to E$, $C \to E^{(1)}$ of some degree $n$?

Consider a finite field $\mathbb{F}_p$ (where $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$), $\mathbb{F}_{p^2}$-isomorphic elliptic curves (of $j$-invariant $0$) $$ E\!:y_1^2 = ...
Dimitri Koshelev's user avatar