Some computational aspects of Jacobians of curves in the family \(y^3=\gamma x^5+\delta\) over \(\mathbb F_p\) (Q946889)

Let \(k=\mathbb{F}_q\) be a finite field of characteristic different from \(3\) and \(5\). In this paper, the authors deal with the genus \(4\) curve \(C : y^3=\gamma x^3+\delta\) with \(\delta,\gamma \in k^*\). They give the characteristic polynomial of the Frobenius endomorphism of \(\text{Jac}(C)\) in terms of Jacobi sums. Thus, they get a quick algorithm to compute the order of the group of rational points of the Jacobian of \(C\). Then, they use it to study the decomposition of the Jacobian and they obtain the following result. Theorem. If \(q=p\) is a prime, then \(\text{Jac}(C)\) is \(k\)-simple if the residue of \(p\) modulo \(15\) belongs to the set \(\{1,2,4,7,8,11,13\}\). It is supersingular if \(p \equiv 14 \pmod{15}\). In a second part, they give a reduction algorithm for divisors on \(y^3=p_5(x)\) where \(p_5\) is a separable polynomial of degree \(5\) over \(\mathbb{F}_q\). The method is close to the one used in [Math. Nachr. 208, 149--166 (1999; Zbl 0960.14032)] for Picard curves.