Deterministically generating Picard groups of hyperelliptic curves over finite fields

DOI10.1016/J.JNT.2015.09.007zbMATH Open1396.11093arXiv1402.6579OpenAlexW2962679681MaRDI QIDQ897576FDOQ897576

Authors: Michiel Kosters 

Publication date: 7 December 2015

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

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.

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

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 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)

Cites Work

• Title not available (Why is that?)
• Algebraic Function Fields and Codes
• Title not available (Why is that?)
• Title not available (Why is that?)
• On finding primitive roots in finite fields
• Class field theory
• New Algorithms for Finding Irreducible Polynomials Over Finite Fields
• Title not available (Why is that?)
• Deterministic equation solving over finite fields

Cited In (3)

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

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)