具有自同构群$\mathbb{Z} / 2 \mathbb{Z}$的非超椭圆亏格3曲线的Monsky-Washnitzer上同调点计数
Point Counting on Non-Hyperelliptic Genus 3 Curves with Automorphism Group $\mathbb{Z} / 2 \mathbb{Z}$ using Monsky-Washnitzer Cohomology
摘要：
本文给出了一个计算有限域上任意亏格为3的非超椭圆平面曲线$C$的zeta函数的算法，该曲线具有自同构群$G = \mathbb{Z} / 2 \mathbb{Z}$。该算法计算曲线的Monsky-Washnitzer上同调。利用$C$的Monsky-Washnitzer上同调和它的商$E := C/G$之间的关系，计算分成两部分：一部分在Monsky-Washnitzer上同调的子空间中，另一部分在椭圆曲线$E$上减少到点计数。前者对应于维数$2$阿贝尔曲面$\mathrm{ker}(\mathrm{Jac}(C) \rightarrow E)$，在其上我们可以用较低的精度和较小维数的矩阵进行计算。因此，我们得到一个更快的算法比直接工作的曲线$C$。
英文摘要：
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 = \mathbb{Z} / 2 \mathbb{Z}$. 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 $\mathrm{ker}(\mathrm{Jac}(C) \rightarrow E)$, 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$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
