Search for: All records

We reduce the classification of finite extensions of function fields (of curves over finite fields) with the same class number to a finite computation; complete this computation in all cases except when both curves have base field$$\mathbb {F}_2$$$F_2$and genus$$>1$$$>1$; and give a conjectural answer in the remaining cases. The conjecture will be resolved in subsequent papers.

 

We complete the computation of all$$\mathbb {Q}$$$Q$-rational points on all the 64 maximal Atkin-Lehner quotients$$X_0(N)^*$$$X_0{\left(N\right)}^{\ast }$such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty–Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method (from a forthcoming preprint of the fourth-named author) combined with the Mordell-Weil sieve. Additionally, for square-free levelsN, we classify all$$\mathbb {Q}$$$Q$-rational points as cusps, CM points (including their CM field andj-invariants) and exceptional ones. We further indicate how to use this to compute the$$\mathbb {Q}$$$Q$-rational points on all of their modular coverings.

 

Abstract In this paper we prove that there are finitely many modular curves that admit a smooth plane model. Moreover, if the degree of the model is greater than or equal to 19, no such curve exists. For modular curves of Shimura type we show that none can admit a smooth plane model of degree 5, 6 or 7. Further, if a modular curve of Shimura type admits a smooth plane model of degree 8 we show that it must be a twist of one of four curves. 

Abstract We present a new elementary algorithm that takes $$ \textrm{time} \ \ O_\epsilon \left( x^{\frac{3}{5}} (\log x)^{\frac{8}{5}+\epsilon } \right) \ \ \textrm{and} \ \textrm{space} \ \ O\left( x^{\frac{3}{10}} (\log x)^{\frac{13}{10}} \right) $$ time O ϵ x 3 5 ( log x ) 8 5 + ϵ and space O x 3 10 ( log x ) 13 10 (measured bitwise) for computing $$M(x) = \sum _{n \le x} \mu (n),$$ M ( x ) = ∑ n ≤ x μ ( n ) , where $$\mu (n)$$ μ ( n ) is the Möbius function. This is the first improvement in the exponent of x for an elementary algorithm since 1985. We also show that it is possible to reduce space consumption to $$O(x^{1/5} (\log x)^{5/3})$$ O ( x 1 / 5 ( log x ) 5 / 3 ) by the use of (Helfgott in: Math Comput 89:333–350, 2020), at the cost of letting time rise to the order of $$x^{3/5} (\log x)^2 \log \log x$$ x 3 / 5 ( log x ) 2 log log x . 

Abstract Triangular modular curves are a generalization of modular curves that arise from quotients of the upper half-plane by congruence subgroups of hyperbolic triangle groups. These curves also arise naturally as a source of Belyi maps with monodromy $$\text {PGL}_2(\mathbb {F}_q)$$ PGL 2 ( F q ) or $$\text {PSL}_2(\mathbb {F}_q)$$ PSL 2 ( F q ) . We present a computational approach to enumerate Borel-type triangular modular curves of low genus, and we carry out this enumeration for prime level and small genus. 

Abstract We present efficient algorithms for counting points on a smooth plane quartic curve X modulo a prime p . We address both the case where X is defined over  $${\mathbb {F}}_p$$ F p and the case where X is defined over $${\mathbb {Q}}$$ Q and p is a prime of good reduction. We consider two approaches for computing $$\#X({\mathbb {F}}_p)$$ # X ( F p ) , one which runs in $$O(p\log p\log \log p)$$ O ( p log p log log p ) time using $$O(\log p)$$ O ( log p ) space and one which runs in $$O(p^{1/2}\log ^2p)$$ O ( p 1 / 2 log 2 p ) time using $$O(p^{1/2}\log p)$$ O ( p 1 / 2 log p ) space. Both approaches yield algorithms that are faster in practice than existing methods. We also present average polynomial-time algorithms for $$X/{\mathbb {Q}}$$ X / Q that compute $$\#X({\mathbb {F}}_p)$$ # X ( F p ) for good primes $$p\leqslant N$$ p ⩽ N in $$O(N\log ^3 N)$$ O ( N log 3 N ) time using O ( N ) space. These are the first practical implementations of average polynomial-time algorithms for curves that are not cyclic covers of $${\mathbb {P}}^1$$ P 1 , which in combination with previous results addresses all curves of genus $$g\leqslant 3$$ g ⩽ 3 . Our algorithms also compute Cartier–Manin/Hasse–Witt matrices that may be of independent interest. 

Abstract Let L be a separable quadratic extension of either $${\mathbb {Q}}$$ Q or $${\mathbb {F}}_q(t)$$ F q ( t ) . We exhibit efficient algorithms for finding isomorphisms between quaternion algebras over L . Our techniques are based on computing maximal one-sided ideals of the corestriction of a central simple L -algebra. 

Abstract This article reports on an approach to point counting on algebraic varieties over finite fields that is based on a detailed investigation of the 2-adic orthogonal group. Combining the new approach with a p -adic method, we count the number of points on some K 3 surfaces over the field $$\mathbb {F}_{\!p}$$ F p , for all primes $$p < 10^8$$ p < 10 8 .