Related papers: Constructing curves over finite fields with many p…
The order in which plane-filling curves visit points in the plane can be exploited to design efficient algorithms. Typically, the curves are useful because they preserve locality: points that are close to each other along the curve tend to…
We study the finiteness of low degree points on certain modular curves and their Atkin--Lehner quotients, and, as an application, prove the modularity of elliptic curves over all but finitely many totally real fields of degree $5$. On the…
We present an algorithm for computing curves and families of curves of prescribed degree and geometric genus on real rational surfaces.
We present a new method for constructing genus 2 curves over a finite field with a given number of points on its Jacobian. This method has important applications in cryptography, where groups of prime order are used as the basis for…
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…
We compute the number of points over finite fields of some algebraic varieties related to cluster algebras of finite type. More precisely, these varieties are the fibers of the projection map from the cluster variety to the affine space of…
We prove explicit bounds on the number of lattice points on or near a convex curve in terms of geometric invariants such as length, curvature, and affine arclength. In several of our results we obtain the best possible constants. Our…
We automatically verify the crucial steps in the original proof of correctness of an algorithm which, given a geometric graph satisfying certain additional properties removes edges in a systematic way for producing a connected graph in…
In this survey article, we summarise the known results towards the conjecture: elliptic curves over totally real number fields are modular. For understanding these recent results in the literature, we present some necessary background along…
We develop a new form of patching that is both far-reaching and more elementary than the previous versions that have been used in inverse Galois theory for function fields of curves. A key point of our approach is to work with fields and…
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…
In this note we consider a question related to the high-dimensional generalization of the classical Severi's finiteness theorem for curves. We will introduce some background and then state the main result. The proof of the main result is…
We present families of (hyper)elliptic curve which admit an efficient deterministic encoding function.
Let $m$ be a positive integer and $q$ be a prime power. For large finite base fields $\mathbb F_q$, we show that any curve can be used to produce a complete $m$-arc as long as some generic explicit geometric conditions on the curve are…
We study the number of rational points of smooth projective curves over finite fields in some relative situations in the spirit of a previous paper from an euclidean point of vue. We prove some kinds of relative Weil bounds, derived from…
Abstrct: In this note, by considering fractionally linear functions over a finite field and consequently developing an abstract sequence, we study some of its properties.
We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm…
In this short note, we investigate the generalization of Lehmer's problem to finitely generated fields over $\mathbb{Q}$.
An elementary, albeit higher dimensional, argument is used to compute the area under the power function curve between 0 and 1.
We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets…