Point counting on non-hyperelliptic genus 3 curves with automorphism group Z/2 Z using Monsky-Washnitzer cohomology

DOI10.1090/CONM/637/12757zbMATH Open1398.11098arXiv1603.00566OpenAlexW4229985854MaRDI QIDQ2811793FDOQ2811793

Authors: Yih-Dar Shieh 

Publication date: 10 June 2016

Published in: Algorithmic Arithmetic, Geometry, and Coding Theory (Search for Journal in Brave)

Abstract: We describe an algorithm to compute the zeta function of any non-hyperelliptic genus 3 plane curve $C$ over a finite field with automorphism group $G=mathbbZ/2mathbbZ$. This algorithm computes in the Monsky-Washnitzer cohomology of~the curve. Using the relation between the Monsky-Washnitzer cohomology of $C$ and its quotient $E:=C/G$, the computation splits into 2 parts: one in a subspace of the Monsky-Washnitzer cohomology and a second which reduces to the point counting on an elliptic curve $E$. The former corresponds to the dimension $2$ abelian surface $mathrmker(mathrmJac(C)ightarrowE)$, on which we can compute with lower precision and with matrices of smaller dimension. Hence we obtain a faster algorithm than working directly on the curve $C$.

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

Recommendations

• scientific article; zbMATH DE number 1775200
• Counting points on \(C_{ab}\) curves using Monsky-Washnitzer cohomology
• Algorithmic Number Theory
• A point counting algorithm using cohomology with compact support
• scientific article; zbMATH DE number 6019693

zbMATH Keywords

zeta functionspoint countingMonsky-Washnitzer cohomology

Mathematics Subject Classification ID

[https://portal.mardi4nfdi.de/w/index.php?search=%2211G30%22&title=Special%3ASearch&profile=advanced&fulltext=1&ns120=1 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] (L)-functions of varieties over global fields; Birch-Swinnerton-Dyer conjecture (11G40)

Cited In (3)

• Algorithmic Number Theory
• Title not available (Why is that?)
• An extension of Kedlaya's algorithm for hyperelliptic curves

This page was built for publication: Point counting on non-hyperelliptic genus 3 curves with automorphism group \(\mathbb Z/2\mathbb Z\) using Monsky-Washnitzer cohomology

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