BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Michael Stoll appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This note explains how to obtain, install, and use the ratpoints program. The program finds rational points up to a specified height on hyperelliptic curves using a highly optimized quadratic sieving algorithm.
We establish a connection between torsion packets on curves of genus $2$ and pairs of elliptic curves realized as double covers of the projective line $\mathbb{P}_{x}^{1}$ that have many common torsion $x$-coordinates. This can be used to show that the set of common torsion $x$-coordinates has size at least $22$ infinitely often and has $34$ elements in some cases. We also explain how we obtained the current record example of a hyperelliptic torsion packet on a genus $2$ curve.
Finding roots of univariate polynomials is one of the fundamental tasks of numerics, and there is still a wide gap between root finders that are well understood in theory and those that perform well in practice. We investigate the root finding method of Weierstrass, a root finder that tries to approximate all roots of a given polynomial in parallel (in the Jacobi version, i.e., with parallel updates). This method has a good reputation for finding all roots in practice except in obvious cases of symmetry, but very little is known about its global dynamics and convergence properties. We show that the Weierstrass method, like the well known Newton method, is not generally convergent: there are open sets of polynomials $p$ of every degree $d \ge 3$ such that the dynamics of the Weierstrass method applied to $p$ exhibits attracting periodic orbits. Specifically, all polynomials sufficiently close to $Z^3 + Z + 180$ have attracting cycles of period $4$. Here, period $4$ is minimal: we show that for cubic polynomials, there are no periodic orbits of length $2$ or $3$ that attract open sets of starting points. We also establish another convergence problem for the Weierstrass method: for almost every polynomial of degree $d\ge 3$ there are orbits that are defined for all iterates but converge to $\infty$; this is a problem that does not occur for Newton's method. Our results are obtained by first interpreting the original problem coming from numerical mathematics in terms of higher-dimensional complex dynamics, then phrasing the question in algebraic terms in such a way that we could finally answer it by applying methods from computer algebra.
Let $K$ be a number field and let $C/K$ be a curve of genus 2 with Jacobian variety $J$. In this paper, we study the canonical height $\hat{h} \colon J(K) \to \mathbb R$. More specifically, we consider the following two problems, which are important in applications: (1) for a given $P \in J(K)$, compute $\hat{h}(P)$ efficiently; (2) for a given bound $B > 0$, find all $P \in J(K)$ with $\hat{h}(P) \le B$. We develop an algorithm running in polynomial time (and fast in practice) to deal with the first problem. Regarding the second problem, we show how one can tweak the naive height $h$ that is usually used to obtain significantly improved bounds for the difference $h - \hat{h}$, which allows a much faster enumeration of the desired set of points. Our approach is to use the standard decomposition of $h(P) - \hat{h}(P)$ as a sum of local `height correction functions'. We study these functions carefully, which leads to efficient ways of computing them and to essentially optimal bounds. To get our polynomial-time algorithm, we have to avoid the factorization step needed to find the finite set of places where the correction might be nonzero. The main innovation at this point is to replace factorization into primes by factorization into coprimes. Most of our results are valid for more general fields with a set of absolute values satisfying the product formula. An analogous approach to (1) above for elliptic curves was used in our recent paper arXiv:1509.08748.
We show that there is a bound depending only on g and [K:Q] for the number of K-rational points on a hyperelliptic curve C of genus g over a number field K such that the Mordell-Weil rank r of its Jacobian is at most g-3. If K = Q, an explicit bound is 8 r g + 33 (g - 1) + 1. The proof is based on Chabauty's method; the new ingredient is an estimate for the number of zeros of a logarithm in a p-adic `annulus' on the curve, which generalizes the standard bound on disks. The key observation is that for a p-adic field k, the set of k-points on C can be covered by a collection of disks and annuli whose number is bounded in terms of g (and k). We also show, strengthening a recent result by Poonen and the author, that the lower density of hyperelliptic curves of odd degree over Q whose only rational point is the point at infinity tends to 1 uniformly over families defined by congruence conditions, as the genus g tends to infinity.
Consider the smooth projective models C of curves y^2=f(x) with f(x) in Z[x] monic and separable of degree 2g+1. We prove that for g >= 3, a positive fraction of these have only one rational point, the point at infinity. We prove a lower bound on this fraction that tends to 1 as g tends to infinity. Finally, we show that C(Q) can be algorithmically computed for such a fraction of the curves. The method can be summarized as follows: using p-adic analysis and an idea of McCallum, we develop a reformulation of Chabauty's method that shows that certain computable conditions imply #C(Q)=1; on the other hand, using further p-adic analysis, the theory of arithmetic surfaces, a new result on torsion points on hyperelliptic curves, and crucially the Bhargava-Gross equidistribution theorem for nonzero 2-Selmer group elements, we prove that these conditions are often satisfied for p=2.
We determine the set of primitive integral solutions to the generalised Fermat equation x^2 + y^3 = z^15. As expected, the only solutions are the trivial ones with xyz = 0 and the non-trivial pair (x,y,z) = (+-3, -2, 1).
For any abelian variety J over a global field k and an isogeny phi: J -> J, the Selmer group Sel^phi(J,k) is a subgroup of the Galois cohomology group H^1(Gal(ksep/k), J[phi]), defined in terms of local data. When J is the Jacobian of a cyclic cover of P^1 of prime degree p, the Selmer group has a quotient by a subgroup of order at most p that is isomorphic to the `fake Selmer group', whose definition is more amenable to explicit computations. In this paper we define in the same setting the `explicit Selmer group', which is isomorphic to the Selmer group itself and just as amenable to explicit computations as the fake Selmer group. This is useful for describing the associated covering spaces explicitly and may thus help in developing methods for second descents on the Jacobians considered.
We introduce a common generalization of essentially all known methods for explicit computation of Selmer groups, which are used to bound the ranks of abelian varieties over global fields. We also simplify and extend the proofs relating what is computed to the cohomologically-defined Selmer groups. Selmer group computations have been practical for many Jacobians of curves over Q of genus up to 2 since the 1990s, but our approach is the first to be practical for general curves of genus 3. We show that our approach succeeds on some genus-3 examples defined by polynomials with small coefficients.
This is the third in a series of papers in which we study the n-Selmer group of an elliptic curve, with the aim of representing its elements as curves of degree n in P^{n-1}. The methods we describe are practical in the case n=3 for elliptic curves over the rationals, and have been implemented in Magma. One important ingredient of our work is an algorithm for trivialising central simple algebras. This is of independent interest: for example, it could be used for parametrising Brauer-Severi surfaces.
Let C : y^2=f(x) be a hyperelliptic curve defined over the rationals. Let K be a number field and suppose f factors over K as a product of irreducible polynomials f=f_1 f_2...f_r. We shall define a "Selmer set" corresponding to this factorization with the property that if it is empty then the curve C has no rational points. We shall demonstrate the effectiveness of our new method by solving the generalized Fermat equation with signature (3,4,5), which is unassailable via the previously existing methods.
We analyze the pattern forming ability and pattern stability for a one-dimensional non-linear transport-diffusion equation on the circle. We show that the trivial steady state is stable when diffusion is sufficiently strong. In the limit for vanishing diffusion, linear combinations of delta peaks can be stationary solutions; we study their stability properties. Finally, we present numerical examples exhibiting a variety of behaviors.
These notes represent an extended version of a talk I gave for the participants of the IMO 2009 and other interested people. We introduce diophantine equations and show evidence that it can be hard to solve them. Then we demonstrate how one can solve a specific equation related to numbers occurring several times in Pascal's Triangle with state-of-the-art methods.
For a quadratic endomorphism of the affine line defined over the rationals, we consider the problem of bounding the number of rational points that eventually land at the origin after iteration. In the article ``Uniform Bounds on Pre-Images Under Quadratic Dynamical Systems,'' by two of the present authors and five others, it was shown that the number of rational iterated pre-images of the origin is bounded as one varies the morphism in a certain one-dimensional family. Subject to the validity of the Birch and Swinnerton-Dyer conjecture and some other related conjectures for the L-series of a specific abelian variety and using a number of modern tools for locating rational points on high genus curves, we show that the maximum number of rational iterated pre-images is six. We also provide further insight into the geometry of the ``pre-image curves.''
This is an extended version of an invited lecture I gave at the Journees Arithmetiques in St. Etienne in July 2009. We discuss the state of the art regarding the problem of finding the set of rational points on a (smooth projective) geometrically integral curve C over Q. The focus is on practical aspects of this problem in the case that the genus of C is at least 2, and therefore the set of rational points is finite.
In this paper we consider models for genus one curves of degree n for n = 2, 3 and 4, which arise in explicit n-descent on elliptic curves. We prove theorems on the existence of minimal models with the same invariants as the minimal model of the Jacobian elliptic curve and provide simple algorithms for minimising a given model, valid over general number fields. Finally, for genus one models defined over Q, we develop a theory of reduction and again give explicit algorithms for n = 2, 3 and 4.
Based on computational evidence, we formulate a number of conjectures on the distribution of rational points on curves of genus 2 over the rational numbers, in terms of the size of the coefficients of an equation of the form y^2 = f(x) >.
In this paper, we generalise results obtained earlier by John Cremona and the author on the reduction theory of binary forms, which describe positive zero-cycles in P^1, to positive zero-cycles (or point clusters) in projective spaces of arbitrary dimension. This should have applications to more general projective varieties in P^n, by associating a suitable positive zero-cycle to them in an PGL(n+1)-invariant way. We discuss this in the case of (smooth) plane curves.
Let k be a number field and X a smooth projective k-variety. In this paper, we study the information obtainable from descent via torsors under finite k-group schemes on the location of the k-rational points on X within the adelic points. Our main result is that if a curve C/k maps nontrivially into an abelian variety A/k such that A(k) is finite and Sha(k,A) has no nontrivial divisible elements, then the information coming from finite abelian descent cuts out precisely the rational points of C. We conjecture that this is the case for all curves of genus at least 2. We relate finite descent obstructions to the Brauer-Manin obstruction; in particular, we prove that on curves, the Brauer set equals the set cut out by finite abelian descent. Our conjecture therefore implies that the Brauer-Manin obstruction against rational points in the only one on curves.
This is the first in a series of papers in which we study the n-Selmer group of an elliptic curve, with the aim of representing its elements as genus one normal curves of degree n. The methods we describe are practical in the case n=3 for elliptic curves over the rationals, and have been implemented in Magma.
This is the second in a series of papers in which we study the n-Selmer group of an elliptic curve. In this paper, we show how to realize elements of the n-Selmer group explicitly as curves of degree n embedded in P^{n-1}. The main tool we use is a comparison between an easily obtained embedding into P^{n^2-1} and another map into P^{n^2-1} that factors through the Segre embedding P^{n-1} x P^{n-1} --> P^{n^2-1}. The comparison relies on an explicit version of the local-to-global principle for the n-torsion of the Brauer group of the base field.