Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1001.3825

Fast point counting on genus two curves in characteristic three

Robert Carls
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this article we give the details of an effective point counting algorithm for genus two curves over finite fields of characteristic three. The algorithm has an application in the context of curve based cryptography. One distinguished property of the algorithm is that its complexity depends quasi-quadratically on the degree of the finite base field. Our algorithm is a modified version of an earlier method that was developed in joint work with Lubicz. We explain how one can alter the original algorithm, on the basis of new theory, such that it can be used to efficiently count points on genus two curves over large finite fields. Examples of cryptographic size have been computed using an experimental Magma implementation of the algorithm which has been programmed by the author. Our computational results show that the quasi-quadratic algorithm of Lubicz and the author, with some improvements, is practical and relevant for cryptography.

Explore related subjects

math.NTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Robert Carls. 2010-01-21. Fast point counting on genus two curves in characteristic three. https://arxiv.org/abs/1001.3825

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT↗
arXiv2026

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT↗