-
arXiv:2005.03964 [pdf, ps, other]
On the complexity of computing integral bases of function fields
Abstract: Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new complexity bounds for three known algorithms dealing with this problem. For each algorithm, we study its subroutines and, when it is possible, we modify or replace them… ▽ More
Submitted 8 May, 2020; originally announced May 2020.
Comments: Preliminary version
-
arXiv:1810.11068 [pdf, ps, other]
Counting points on hyperelliptic curves with explicit real multiplication in arbitrary genus
Abstract: We present a probabilistic Las Vegas algorithm for computing the local zeta function of a genus-$g$ hyperelliptic curve defined over $\mathbb F_q$ with explicit real multiplication (RM) by an order $\Z[η]$ in a degree-$g$ totally real number field. It is based on the approaches by Schoof and Pila in a more favorable case where we can split the $\ell$-torsion into $g$ kernels of endomorphisms, as… ▽ More
Submitted 15 October, 2019; v1 submitted 25 October, 2018; originally announced October 2018.
Comments: To appear in Journal of Complexity. arXiv admin note: text overlap with arXiv:1710.03448
-
arXiv:1806.05834 [pdf, ps, other]
Counting points on genus-3 hyperelliptic curves with explicit real multiplication
Abstract: We propose a Las Vegas probabilistic algorithm to compute the zeta function of a genus-3 hyperelliptic curve defined over a finite field $\mathbb F_q$, with explicit real multiplication by an order $\mathbb Z[η]$ in a totally real cubic field. Our main result states that this algorithm requires an expected number of $\widetilde O((\log q)^6)$ bit-operations, where the constant in the… ▽ More
Submitted 20 September, 2018; v1 submitted 15 June, 2018; originally announced June 2018.
Comments: Proceedings of the ANTS-XIII conference (Thirteenth Algorithmic Number Theory Symposium)
Journal ref: Open Book Series 2 (2019) 1-19
-
arXiv:1710.03448 [pdf, ps, other]
Improved Complexity Bounds for Counting Points on Hyperelliptic Curves
Abstract: We present a probabilistic Las Vegas algorithm for computing the local zeta function of a hyperelliptic curve of genus $g$ defined over $\mathbb{F}_q$. It is based on the approaches by Schoof and Pila combined with a modeling of the $\ell$-torsion by structured polynomial systems. Our main result improves on previously known complexity bounds by showing that there exists a constant $c>0$ such that… ▽ More
Submitted 7 June, 2018; v1 submitted 10 October, 2017; originally announced October 2017.
Comments: To appear in Foundations of Computational Mathematics