Abstract. Distortion maps are a useful tool for pairing based cryptography. Compared with elliptic curves, the case of hyperelliptic curves of genus g > 1 is more complicated, since the full torsion subgroup has rank 2g. In this paper, we prove that distortion maps always exist for supersingular curves of genus g > 1. We also give several examples of curves of genus 2 with explicit distortion maps for embedding degrees 4, 5, 6, and 12.

Abstract. In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus two over a finite field. Moreover, we prove that the field of moduli of any curve coincides with its field of definition, by exhibiting rational models of curves with any prescribed value of their Igusa invariants. Finally, we use cohomological methods to find, for each rational model, an explicit description of its twists. In this way, we obtain a parameterization of all k-isomorphism classes of curves of genus two in terms of geometric and arithmetic invariants.

No abstract

No abstract

Està subjecte a una llicència de Reconeixement-NoComercial-SenseObraDerivada 4.0 de Creative Commons