scholarly journals An inverse Jacobian algorithm for Picard curves

2021 ◽  
Vol 7 (2) ◽  
Author(s):  
Joan-C. Lario ◽  
Anna Somoza ◽  
Christelle Vincent
Keyword(s):  
Class Number ◽  
Complex Multiplication ◽  
Hyperelliptic Curves ◽  
Period Matrix ◽  
Isomorphism Classes ◽  
Jacobian Problem ◽  
Picard Curves ◽  
The Given ◽  
Small Period ◽  
Jacobian Algorithm

AbstractWe study the inverse Jacobian problem for the case of Picard curves over $${\mathbb {C}}$$ C . More precisely, we elaborate on an algorithm that, given a small period matrix $$\varOmega \in {\mathbb {C}}^{3\times 3}$$ Ω ∈ C 3 × 3 corresponding to a principally polarized abelian threefold equipped with an automorphism of order 3, returns a Legendre–Rosenhain equation for a Picard curve with Jacobian isomorphic to the given abelian variety. Our method corrects a formula obtained by Koike–Weng (Math Comput 74(249):499–518, 2005) which is based on a theorem of Siegel. As a result, we apply the algorithm to obtain equations of all the isomorphism classes of Picard curves with maximal complex multiplication by the maximal order of the sextic CM-fields with class number at most $$4$$ 4 . In particular, we obtain the complete list of maximal CM Picard curves defined over $${\mathbb {Q}}$$ Q . In the appendix, Vincent gives a correction to the generalization of Takase’s formula for the inverse Jacobian problem for hyperelliptic curves given in [Balakrishnan–Ionica–Lauter–Vincent, LMS J. Comput. Math., 19(suppl. A):283-300, 2016].

scholarly journals Constructing genus-3 hyperelliptic Jacobians with CM

2016 ◽  
Vol 19 (A) ◽  
pp. 283-300 ◽  
Author(s):  
Jennifer S. Balakrishnan ◽  
Sorina Ionica ◽  
Kristin Lauter ◽  
Christelle Vincent
Keyword(s):  
Finite Field ◽  
Zeta Function ◽  
Complex Multiplication ◽  
Hyperelliptic Curves ◽  
Maximal Order ◽  
Explicit Method ◽  
Period Matrix ◽  
Minimal Polynomials ◽  
Hyperelliptic Jacobians

Given a sextic CM field $K$, we give an explicit method for finding all genus-$3$ hyperelliptic curves defined over $\mathbb{C}$ whose Jacobians are simple and have complex multiplication by the maximal order of this field, via an approximation of their Rosenhain invariants. Building on the work of Weng [J. Ramanujan Math. Soc. 16 (2001) no. 4, 339–372], we give an algorithm which works in complete generality, for any CM sextic field $K$, and computes minimal polynomials of the Rosenhain invariants for any period matrix of the Jacobian. This algorithm can be used to generate genus-3 hyperelliptic curves over a finite field $\mathbb{F}_{p}$ with a given zeta function by finding roots of the Rosenhain minimal polynomials modulo $p$.

Random Dieudonné modules, random -divisible groups, and random curves over finite fields

2013 ◽  
Vol 12 (3) ◽  
pp. 651-676 ◽  
Author(s):  
Bryden Cais ◽  
Jordan S. Ellenberg ◽  
David Zureick-Brown
Keyword(s):  
Probability Distribution ◽  
Finite Field ◽  
Random Matrix ◽  
Hyperelliptic Curve ◽  
Hyperelliptic Curves ◽  
Plane Curves ◽  
Random Curves ◽  
Isomorphism Classes ◽  
Curves Over Finite Fields ◽  
Divisible Groups

AbstractWe describe a probability distribution on isomorphism classes of principally quasi-polarized $p$-divisible groups over a finite field $k$ of characteristic $p$ which can reasonably be thought of as a ‘uniform distribution’, and we compute the distribution of various statistics ($p$-corank, $a$-number, etc.) of $p$-divisible groups drawn from this distribution. It is then natural to ask to what extent the $p$-divisible groups attached to a randomly chosen hyperelliptic curve (respectively, curve; respectively, abelian variety) over $k$ are uniformly distributed in this sense. This heuristic is analogous to conjectures of Cohen–Lenstra type for $\text{char~} k\not = p$, in which case the random $p$-divisible group is defined by a random matrix recording the action of Frobenius. Extensive numerical investigation reveals some cases of agreement with the heuristic and some interesting discrepancies. For example, plane curves over ${\mathbf{F} }_{3} $ appear substantially less likely to be ordinary than hyperelliptic curves over ${\mathbf{F} }_{3} $.

scholarly journals Galois-theoretic characterization of isomorphism classes of monodromically full hyperbolic curves of genus zero

2011 ◽  
Vol 203 ◽  
pp. 47-100 ◽  
Author(s):  
Yuichiro Hoshi
Keyword(s):  
Isomorphism Class ◽  
Galois Representations ◽  
Complex Multiplication ◽  
Galois Representation ◽  
Genus Zero ◽  
Isomorphism Classes ◽  
Tate Module ◽  
Hyperbolic Curve ◽  
Theoretic Characterization

AbstractLet l be a prime number. In this paper, we prove that the isomorphism class of an l-monodromically full hyperbolic curve of genus zero over a finitely generated extension of the field of rational numbers is completely determined by the kernel of the natural pro-l outer Galois representation associated to the hyperbolic curve. This result can be regarded as a genus zero analogue of a result due to Mochizuki which asserts that the isomorphism class of an elliptic curve which does not admit complex multiplication over a number field is completely determined by the kernels of the natural Galois representations on the various finite quotients of its Tate module.

scholarly journals Galois-theoretic characterization of isomorphism classes of monodromically full hyperbolic curves of genus zero

2011 ◽  
Vol 203 ◽  
pp. 47-100 ◽  
Author(s):  
Yuichiro Hoshi
Keyword(s):  
Isomorphism Class ◽  
Galois Representations ◽  
Complex Multiplication ◽  
Galois Representation ◽  
Genus Zero ◽  
Isomorphism Classes ◽  
Tate Module ◽  
Hyperbolic Curve ◽  
Theoretic Characterization

AbstractLetlbe a prime number. In this paper, we prove that the isomorphism class of anl-monodromically full hyperbolic curve of genus zero over a finitely generated extension of the field of rational numbers is completely determined by the kernel of the natural pro-louter Galois representation associated to the hyperbolic curve. This result can be regarded as a genus zero analogue of a result due to Mochizuki which asserts that the isomorphism class of an elliptic curve which does not admit complex multiplication over a number field is completely determined by the kernels of the natural Galois representations on the various finite quotients of its Tate module.

Sign in / Sign up

Export Citation Format

Share Document