When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T10:01:58Z http://mathoverflow.net/feeds/question/35060 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/35060/when-is-a-product-of-elliptic-curves-isogenous-to-the-jacobian-of-a-hyperelliptic When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve? Dror Speiser 2010-08-09T23:28:50Z 2012-02-08T22:03:15Z <p>David's question <a href="http://mathoverflow.net/questions/35049/families-of-genus-2-curves-with-positive-rank-jacobians" rel="nofollow">Families of genus 2 curves with positive rank jacobians</a> reminded me of a question that once very much interested me: when is a product of elliptic curves isogenous to the jacobian of a hyperelliptic curve?</p> <p>How is this related to David's question? Well, if we can multiply two elliptic curves over $\mathbb{Q}(t)$ with large rank, and the result is isogenous to the jacobian of a hyperelliptic curve, then this will probably produce record families answering David's question, i.e. genus two curves with very large rank. It is also interesting for all genera, so don't restrict answers to 2. On the other hand, answers containing arithmetic information, for example on elliptic curves over the rationals, are more than welcome.</p> http://mathoverflow.net/questions/35060/when-is-a-product-of-elliptic-curves-isogenous-to-the-jacobian-of-a-hyperelliptic/35085#35085 Answer by damiano for When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve? damiano 2010-08-10T07:12:50Z 2010-08-10T07:12:50Z <p>Here is one easy case of a curve of genus two whose Jacobian is isogenous to a product of two elliptic curves.</p> <p>Let $p,q,r$ be homogeneous separable polynomials of degree two in two variables $s,t$ that are pairwise relatively prime and let $C$ be the smooth projective model of the curve with equations $$\begin{array}{rcl} x^2 &amp; = &amp; pq , \cr y^2 &amp; = &amp; pr . \end{array}$$ Clearly, each of the equations defining $C$, taken individually, defines a curve of genus one, and the curve $C$ maps to both these curves with degree two. Also, it is easy to check that such morphisms ramify at two points (above the roots of the polynomial $q$ or $r$). Thus $C$ is a curve of genus two with two morphisms to curves of genus one. It follows that the Jacobian of $C$ is isogenous to the product of the Jacobians of the two curves of genus one described above.</p> <p>You can play similar tricks with more equations, to obtain curves with lots of morphisms to curves of genus one. Unfortunately, I do not know what conditions guarantee that the resulting curve be hyperelliptic, nor that the Jacobian of the whole curve be isogenous to the product of all the Jacobians of the genus one curves.</p> http://mathoverflow.net/questions/35060/when-is-a-product-of-elliptic-curves-isogenous-to-the-jacobian-of-a-hyperelliptic/35089#35089 Answer by Dan Petersen for When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve? Dan Petersen 2010-08-10T08:00:18Z 2010-08-11T08:12:11Z <p>As damiano makes implicit in his answer, a curve of genus two admits a map of degree N to an elliptic curve if and only if there is an isogeny of degree <em>N^2</em> of its Jacobian and a product of two elliptic curves. The case <em>N=2</em> also admits the following simple description: a genus two curve (over an alg. closed field) is a double cover of an elliptic iff it can be written as $y^2 = f(x^2)$, where $f$ is a squarefree cubic with $f(0) \neq 0$. </p> <p>One can say slightly more. Given a map $f : C \to E_1$ of degree <em>N</em>, we get also a map $f_\ast : \mathrm{Jac} \; C \to E_1^\vee$. If we assume that <em>f</em> does not factor through an isogeny then the kernel is connected so we get a second elliptic curve <em>E<sub>2</sub></em> lying as a subgroup on the Jacobian. So the Jacobian has two elliptic subgroups and it turns out that they intersect exactly in their <em>N</em>-torsion points. We get an induced isomorphism between the <em>N</em>-torsion subgroups which turns out to invert the Weil pairing, and this is the data needed to reconstruct <em>C</em>. Namely, given two elliptic curves and an isomorphism of their <em>N</em>-torsion subgroups inverting the Weil pairing, one may consider the graph of this isomorphism in the product of the elliptic curves. The condition on the Weil pairing ensures that the graph is a maximally isotropic subgroup, so the quotient will have a principal polarization, and (when the quotient is not again a product of two elliptic curves) this is exactly the Jacobian of <em>C</em> with its principal polarization. </p> <p>This is pretty classical stuff which is well explained in several articles by Ernst Kani and Gerhard Frey. Start with "Curves of genus 2 covering elliptic curves and an arithmetical application." It can also be fruitful to think about this in a general context of Prym varieties -- when we have a degree <em>N</em> map from a genus two curve to an elliptic curve, the second elliptic curve which appears is of course exactly the Prym variety, which in this case is principally polarized. </p> <p>I know in particular that Frey and Kani worked out some rather precise conditions on when a principally polarized abelian surface arising as a quotient of a product of two elliptic curves as above actually is the Jacobian of a curve. I am not really sure in what article it can be found though. It was something like: pairs of elliptic curves with an isomorphism of their <em>N</em>-torsion are parametrised by $Y(N) \times Y(N) / SL(2,{\mathbb Z}/N)$, and the locus of such pairs which do not give rise to the Jacobian of a curve is the union of certain Hecke correspondences on <em>Y(N)</em>. The description of exactly which Hecke correspondences was pretty complicated but when <em>N</em> is prime it was at least workable. The case of <em>N=2</em> is easy though: then the "bad" locus is just the image of the diagonal in $Y(2) \times Y(2)$.</p> http://mathoverflow.net/questions/35060/when-is-a-product-of-elliptic-curves-isogenous-to-the-jacobian-of-a-hyperelliptic/35103#35103 Answer by David Lehavi for When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve? David Lehavi 2010-08-10T11:53:41Z 2010-08-10T13:24:40Z <p>With 2^2 isogeny it never works:</p> <ul> <li>F. Richelot, De transformatione integralium Abelianorum primi ordinis comentatio. J. reine angew. Math. 16 (1837) 221-341</li> <li>G. Humbert, Sur la transformation ordinaire des fonctions abeliennes. J. de Math. (5) 7 (1901), 359 - 417 )</li> <li>J.-B. Bost and J.-F. Mestre, Moyenne arithmetico-geometrique et periodes des courbes de genre 1 et 2, Gaz. Math. 38 (1988), 36-64</li> </ul> <p>With 3^2 it always does (unless the kernel of the isogeny splits on the two components) - see 3.3 in <a href="http://arxiv.org/abs/0710.1298" rel="nofollow">http://arxiv.org/abs/0710.1298</a> ( = AMS contemp. math. series, volume 465 (2008): Curves and abelian varieties, p 51-69)</p> http://mathoverflow.net/questions/35060/when-is-a-product-of-elliptic-curves-isogenous-to-the-jacobian-of-a-hyperelliptic/35143#35143 Answer by Francesco Polizzi for When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve? Francesco Polizzi 2010-08-10T16:42:55Z 2010-08-12T14:27:32Z <p>The paper of Hayashida and Nishi "Existence of curves of genus two in the product of smooth elliptic curves", J. Math. Soc. Jap 17, partially answers the question:</p> <p>"When is the product of two elliptic curves $isomorphic$ to the Jacobian of a genus $2$ curve?"</p> <p>The result is the following:</p> <p><strong>THEOREM</strong> Consider a product of two elliptic curves $A:=E \times F$, whose ring of endomorphism is isomorphic to the principal order of an imaginary quadratic field $Q(\surd-m)$. Then $A$ can be a Jacobian for all values of $m$ except $1, 3, 7$ and $15$. Moreover, there are only finitely many curves of genus $2$ on $A$ up to isomorphism.</p> http://mathoverflow.net/questions/35060/when-is-a-product-of-elliptic-curves-isogenous-to-the-jacobian-of-a-hyperelliptic/35174#35174 Answer by JSE for When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve? JSE 2010-08-10T21:43:44Z 2010-08-10T21:43:44Z <p>Many examples can be found in the recent paper of Paulhus, <a href="http://www.csc.villanova.edu/~jpaulhus/paulhus0108.pdf.gz" rel="nofollow">"Elliptic Factors in Jacobians of Hyperelliptic Curves with Certain Automorphism Groups."</a> She gives examples in genus 3,4,5,6, and 9. The genus 9 curve actually has Jacobian isogenous to the four copies of one elliptic curve plus five copies of another!</p> <p>The 1993 paper of Ekedahl and Serre remains the most thorough general investigation of curves (not just hyperelliptic curves) whose Jacobians are isogenous to products of elliptic curves.</p> http://mathoverflow.net/questions/35060/when-is-a-product-of-elliptic-curves-isogenous-to-the-jacobian-of-a-hyperelliptic/87936#87936 Answer by Yuri Zarhin for When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve? Yuri Zarhin 2012-02-08T22:03:15Z 2012-02-08T22:03:15Z <p>Over the complex numbers every product of two elliptic curves is isogenous to the jacobian of a genus 2 (hyperelliptic) curve. Indeed, the corresponding Siegel upper half-space $H_2$ is an orbit of the real symplectic group $Sp(4,R)$. Since the subgroup $Sp(4,Q)$ of its rational points is everywhere dense in $Sp(4,R)$, every $Sp(4,Q)$-orbit is everywhere dense in $H_2$ and therefore meets the (Torelli) open subset $T_2$ of $H_2$ that parametrized" the Jacobians. Now one has only to notice that if points $x,y \in H_2$ correspond to principally polarized abelian surfaces $A_x$ and $A_y$ respectively then $A_y$ is isogenous to $A_x$ if $y$ lies in the $Sp(4,Q)$-orbit of $x$. (And, of course, one should take $x$ with $A_x$ being a product of two elliptic curves.)</p> <p>Similar arguments prove that every product of three elliptic curves is isogenous to the jacobian of a genus 3 curve. (These arguments were used in Sect. 2, Remark 3 on pp. 60--61 of arXiv:0912.4325v1 [math.NT] in order to prove certain properties of the modular height.) </p>