Higher-dimensional 3-adic CM construction
type: Item
instance of: scholarly article
title: Higher-dimensional 3-adic CM construction
zbMATH Open document ID: 1140.14042
author: Robert Carls
author: David Lubicz
author: David Kohel
published in: Journal of Algebra
publication date: 2008-03-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0607583
review text: The authors give a quasi-quadratic time algorithm to compute the canonical lift of the Jacobian of an ordinary hyperelliptic curve in characteristic \(3\). This is done by an approximation process analogue to the characteristic \(2\) case developed in [Ramanujan J. 12, No. 3, 399--423 (2006; Zbl 1166.11021)]. The authors use the language of algebraic theta constants and work out equations for the higher dimensional analogue of the modular curve \(X_0(3)\). Actually these formulas can be seen as a \(3\)-adic analogue of Mestre's generalized AGM equations for hyperelliptic curves. One of the applications of the paper is then to derive a method for the construction of genus \(2\) curves over small degree number fields whose Jacobian has complex multiplication and good ordinary reduction at the prime \(3\). Tables can be found at \url{http://echidna.maths.usyd.edu.au/~kohel/dbs/complex_multiplication2.html}. As the authors point out, over finite fields, their methods do not contain information about the Weil polynomial of the curve and cannot be used for point counting in characteristic greater than \(2\). However, this seems to be solved in a forthcoming paper.
reviewed by: Christophe Ritzenthaler
Mathematics Subject Classification ID: 14K25
Mathematics Subject Classification ID: 14H42
zbMATH DE Number: 5246372
zbMATH Keywords: CM-methods
zbMATH Keywords: canonical lift
zbMATH Keywords: theta functions
zbMATH Keywords: modular equations
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2166731133
arXiv ID: math/0607583
cites work: Q4830002
cites work: Q5442204
cites work: Handbook of Elliptic and Hyperelliptic Curve Cryptography
cites work: Q4737488
cites work: The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
cites work: Q3932928
cites work: Multi-dimensional theta constant identities
cites work: Q4434886
cites work: A quasi quadratic time algorithm for hyperelliptic curve point counting
cites work: On the equations defining Abelian varieties. I-III
cites work: Tata lectures on theta. II: Jacobian theta functions and differential equations. With the collaboration of C. Musili, M. Nori, E. Previato, M. Stillman, and H. Umemura
cites work: Floating-Point LLL Revisited
cites work: Q3221403
cites work: Endomorphism rings of abelian surfaces and projective models of their moduli spaces
cites work: The canonical lift of an ordinary elliptic curve over a finite field and its point counting
cites work: Fast computation of canonical lifts of elliptic curves and its application to point counting.
cites work: Q4317891
cites work: Examples of genus two CM curves defined over the rationals
cites work: Q4409130
cites work: Q3149669
DOI: 10.1016/J.JALGEBRA.2007.11.016
Recommended article: Computing in the Jacobian of a Hyperelliptic Curve
Recommended article: Fast Jacobian arithmetic for hyperelliptic curves of genus 3
Recommended article: A quasi quadratic time algorithm for hyperelliptic curve point counting
Recommended article: Modular equations for hyperelliptic curves
Recommended article: An extension of Kedlaya's algorithm to hyperelliptic curves in characteristic \(2\)
Recommended article: A p-Adic Quasi-Quadratic Time Point Counting Algorithm
Recommended article: Q4485860
Recommended article: On the analogue of the division polynomials for hyperelliptic curves.
Recommended article: Q2739453
Recommended article: Q2739463
description: scientific article