Deterministically generating Picard groups of hyperelliptic curves over finite fields

DOI10.1016/J.JNT.2015.09.007MaRDI QIDQ897576zbMATH OpenOpenAlexFDO

Authors Michiel Kosters

Publication date 7 December 2015

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.6579

zbMATH Keywords

deterministic algorithmfinite fieldPicard groupshape parameterhyperelliptic curve

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) Arithmetic theory of algebraic function fields (11R58) Finite ground fields in algebraic geometry (14G15) Special algebraic curves and curves of low genus (14H45) Picard groups (14C22)

Abstract: Let $epsilon>0$. In this article we will present a deterministic algorithm which does the following. The input is a hyperelliptic curve $C$ of genus $g$ over a finite field $k$ of cardinality $q$ given by $y^2+h(x)y=f(x)$ such that the $x$-coordinate map is ramified at $infty$. In time $O(g^{2+epsilon}{q}^{1/2+epsilon})$ the algorithm outputs a set of generators of the Picard group $mathrm{Pic}_k^0(C)$. This extends results which others have obtained when $g=1$. In this article we introduce a combinatorial tool, the `shape parameter', which we use together with character sum estimates from class field theory to deduce the statement.

Recommendations

• Linearizing torsion classes in the Picard group of algebraic curves over finite fields
• Computing in Picard groups of projective curves over finite fields
• Point counting on Picard curves in large characteristic
• A quasi quadratic time algorithm for hyperelliptic curve point counting
• scientific article; zbMATH DE number 176556

Cites work

• scientific article; zbMATH DE number 1643940 (Why is no real title available?)
• scientific article; zbMATH DE number 1716471 (Why is no real title available?)
• scientific article; zbMATH DE number 3657912 (Why is no real title available?)
• scientific article; zbMATH DE number 1748084 (Why is no real title available?)
• Algebraic Function Fields and Codes
• Class field theory
• Deterministic equation solving over finite fields
• New Algorithms for Finding Irreducible Polynomials Over Finite Fields
• On finding primitive roots in finite fields

Cited in

(3)

• A short proof of a Chebotarev density theorem for function fields
• Linearizing torsion classes in the Picard group of algebraic curves over finite fields
• Recent progress on the elliptic curve discrete logarithm problem

This page was built for publication: Deterministically generating Picard groups of hyperelliptic curves over finite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897576)