Cryptology ePrint Archive: Report 2008/029

Non-Cyclic Subgroups of Jacobians of Genus Two Curves

Christian Robenhagen Ravnshoj

Abstract: Let E be an elliptic curve defined over a finite field. Balasubramanian and Koblitz have proved that if the l-th roots of unity m_l is not contained in the ground field, then a field extension of the ground field contains m_l if and only if the l-torsion points of E are rational over the same field extension. We generalize this result to Jacobians of genus two curves. In particular, we show that the Weil- and the Tate-pairing are non-degenerate over the same field extension of the ground field.

From this generalization we get a complete description of the l-torsion subgroups of Jacobians of supersingular genus two curves. In particular, we show that for l>3, the l-torsion points are rational over a field extension of degree at most 24.

Category / Keywords: Jacobians, hyperelliptic genus two curves, pairings, embedding degree, supersingular curves

Date: received 22 Jan 2008

Contact author: cr at imf au dk

Available format(s): Postscript (PS) | Compressed Postscript (PS.GZ) | PDF | BibTeX Citation

Version: 20080128:150638 (All versions of this report)

Short URL: ia.cr/2008/029

Discussion forum: Show discussion | Start new discussion