Source author record

Bjorn Poonen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

18works
8topics
4close collaborators

Published work

18 publications

preprint2024arXiv

Irreducibility of Littlewood polynomials of special degrees

Let ff be sampled uniformly at random from the set of degree nn polynomials whose coefficients lie in {±1}\{ \pm 1\}. A folklore conjecture, known to hold under GRH, states that the probability that ff is irreducible tends to 11 as nn goes to infinity. We prove unconditionally that lim sup⁡n→∞P(f is irreducible)=1.\limsup_{n \to \infty} \mathbb{P}(f \text{ is irreducible}) = 1.

preprint2020arXiv

A pp-adic approach to rational points on curves

In 1922, Mordell conjectured the striking statement that for a polynomial equation f(x,y)=0f(x,y)=0, if the topology of the set of complex number solutions is complicated enough, then the set of rational number solutions is finite. This was proved by Faltings in 1983, and again by a different method by Vojta in 1991, but neither proof provided a way to provably find all the rational solutions, so the search for other proofs has continued. Recently, Lawrence and Venkatesh found a third proof, relying on variation in families of pp-adic Galois representations; this is the subject of the present exposition.

preprint2020arXiv

Local arboreal representations

Let KK be a field complete with respect to a discrete valuation vv of residue characteristic pp. Let f(z)∈K[z]f(z) \in K[z] be a separable polynomial of the form zℓ−c.z^\ell-c. Given a∈Ka \in K, we examine the Galois groups and ramification groups of the extensions of KK generated by the solutions to fn(z)=af^n(z)=a. The behavior depends upon v(c)v(c), and we find that it shifts dramatically as v(c)v(c) crosses a certain value: 00 in the case p∤ℓp \nmid \ell, and −p/(p−1)-p/(p-1) in the case p=ℓp=\ell.

preprint2019arXiv

Gonality of dynatomic curves and strong uniform boundedness of preperiodic points

Fix d≥2d \ge 2 and a field kk such that char k∤d\mathrm{char}~k \nmid d. Assume that kk contains the ddth roots of 11. Then the irreducible components of the curves over kk parameterizing preperiodic points of polynomials of the form zd+cz^d+c are geometrically irreducible and have gonality tending to ∞\infty. This implies the function field analogue of the strong uniform boundedness conjecture for preperiodic points of zd+cz^d+c. It also has consequences over number fields: it implies strong uniform boundedness for preperiodic points of bounded eventual period, which in turn reduces the full conjecture for preperiodic points to the conjecture for periodic points.

preprint2016arXiv

Unique factorization of principally polarized abelian varieties

Shimura proved that each principally polarized abelian variety over C\mathbf{C} admits a unique factorization into irreducible principally polarized abelian varieties. We give an exposition of his result, and generalize to an arbitrary ground field kk. If kk is separably closed, the irreducible factors are in bijection with the irreducible components of a theta divisor over kk giving rise to the polarization.

preprint2015arXiv

A Computable Functor From Graphs to Fields

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S, there exists a countable field F with the same essential computable-model-theoretic properties as S. Along the way, we develop a new "computable category theory," and prove that our functor and its partially-defined inverse (restricted to the categories of countable graphs and countable fields) are computable functors.

preprint2014arXiv

Most odd degree hyperelliptic curves have only one rational point

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.

preprint2013arXiv

Generalized explicit descent and its application to curves of genus 3

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.

preprint1995arXiv

Fractional Power Series and Pairings on Drinfeld Modules

Let CC be an algebraically closed field containing the finite field FqF_q and complete with respect to an absolute value ∣  ∣|\;|. We prove that under suitable constraints on the coefficients, the series f(z)=∑n∈Zanzqnf(z) = \sum_{n \in \Z} a_n z^{q^n} converges to a surjective, open, continuous FqF_q-linear homomorphism C→CC \rightarrow C whose kernel is locally compact. We characterize the locally compact sub-FqF_q-vector spaces GG of CC which occur as kernels of such series, and describe the extent to which GG determines the series. We develop a theory of Newton polygons for these series which lets us compute the Haar measure of the set of zeros of ff of a given valuation, given the valuations of the coefficients. The ``adjoint'' series f∗(z)=∑n∈Zan1/qnz1/qnf^\ast(z) = \sum_{n \in \Z} a_n^{1/q^n} z^{1/q^n} converges everywhere if and only if ff does, and in this case there is a natural bilinear pairing ker⁡f×ker⁡f∗→Fq \ker f \times \ker f^\ast \rightarrow F_q which exhibits ker⁡f∗\ker f^\ast as the Pontryagin dual of ker⁡f\ker f. Many of these results extend to non-linear fractional power series. We apply these results to construct a Drinfeld module analogue of the Weil pairing, and to describe the topological module structure of the kernel of the adjoint exponential of a Drinfeld module.

preprint1995arXiv

The Complete Classification of Rational Preperiodic Points of Quadratic Polynomials over Q: A Refined Conjecture

We classify the graphs that can occur as the graph of rational preperiodic points of a quadratic polynomial over Q\bold Q, assuming the conjecture that it is impossible to have rational points of period 44 or higher. In particular, we show under this assumption that the number of preperiodic points is at most~99. Elliptic curves of small conductor and the genus~22 modular curves X1(13)X_1(13), X1(16)X_1(16), and X1(18)X_1(18) all arise as curves classifying quadratic polynomials with various combinations of preperiodic points. To complete the classification, we compute the rational points on a non-modular genus~22 curve by performing a 22-descent on its Jacobian and afterwards applying a variant of the method of Chabauty and Coleman.

preprint1995arXiv

Torsion in Rank-1 Drinfeld Modules and the Uniform Boundedness Conjecture

It is conjectured that for fixed AA, r≥1r \ge 1, and d≥1d \ge 1, there is a uniform bound on the size of the torsion submodule of a Drinfeld AA-module of rank rr over a degree dd extension LL of the fraction field KK of AA. We verify the conjecture for r=1r=1, and more generally for Drinfeld modules having potential good reduction at some prime above a specified prime of KK. Moreover, we show that within an $\Lbar$-isomorphism class, there are only finitely many Drinfeld modules up to isomorphism over LL which have nonzero torsion. For the case $A=\Fq[T]$, r=1r=1, and $L=\Fq(T)$, we give an explicit description of the possible torsion submodules. We present three methods for proving these cases of the conjecture, and explain why they fail to prove the conjecture in general. Finally, an application of the Mordell conjecture for characteristic pp function fields proves the uniform boundedness for the $\pp$-primary part of the torsion for rank~2 Drinfeld $\Fq[T]$-modules over a fixed function field.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.