Showing 1–50 of 81 results for author: Poonen, B

Curve equations from expansions of 1-forms at a nonrational point

Authors: Raymond van Bommel, Edgar Costa, Bjorn Poonen, Padmavathi Srinivasan

Abstract: We exhibit an algorithm to compute equations of an algebraic curve over a computable characteristic 0 field from the power series expansions of its regular 1-forms at a nonrational point of the curve, extending a 2005 algorithm of Baker, González-Jiménez, González, and Poonen for expansions at a rational point. If the curve is hyperelliptic, the equations present it as an explicit double cover of… ▽ More We exhibit an algorithm to compute equations of an algebraic curve over a computable characteristic 0 field from the power series expansions of its regular 1-forms at a nonrational point of the curve, extending a 2005 algorithm of Baker, González-Jiménez, González, and Poonen for expansions at a rational point. If the curve is hyperelliptic, the equations present it as an explicit double cover of a smooth plane conic, or as a double cover of the projective line when possible. If the curve is nonhyperelliptic, the equations cut out the canonical model. The algorithm has been used to compute equations over $\mathbb{Q}$ for many hyperelliptic modular curves without a rational cusp in the L-functions and Modular Forms Database. △ Less

Submitted 16 June, 2025; originally announced June 2025.

Comments: 10 pages, comments welcome

MSC Class: 14Q05 (Primary) 11G18; 14G35 (Secondary)

Brauer-Manin obstructions requiring arbitrarily many Brauer classes

Authors: Jennifer Berg, Carlo Pagano, Bjorn Poonen, Michael Stoll, Nicholas Triantafillou, Bianca Viray, Isabel Vogt

Abstract: On a projective variety defined over a global field, any Brauer--Manin obstruction to the existence of rational points is captured by a finite subgroup of the Brauer group. We show that this subgroup can require arbitrarily many generators. On a projective variety defined over a global field, any Brauer--Manin obstruction to the existence of rational points is captured by a finite subgroup of the Brauer group. We show that this subgroup can require arbitrarily many generators. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Comments: 17 pages

MSC Class: Primary 14G05; Secondary 11G25; 14F22; 14J20; 14J26

Irreducibility of Littlewood polynomials of special degrees

Authors: Lior Bary-Soroker, David Hokken, Gady Kozma, Bjorn Poonen

Abstract: Let $f$ be sampled uniformly at random from the set of degree $n$ polynomials whose coefficients lie in $\{ \pm 1\}$. A folklore conjecture, known to hold under GRH, states that the probability that $f$ is irreducible tends to $1$ as $n$ goes to infinity. We prove unconditionally that $$\limsup_{n \to \infty} \mathbb{P}(f \text{ is irreducible}) = 1.$$ Let $f$ be sampled uniformly at random from the set of degree $n$ polynomials whose coefficients lie in $\{ \pm 1\}$. A folklore conjecture, known to hold under GRH, states that the probability that $f$ is irreducible tends to $1$ as $n$ goes to infinity. We prove unconditionally that $$\limsup_{n \to \infty} \mathbb{P}(f \text{ is irreducible}) = 1.$$ △ Less

Submitted 6 January, 2024; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: 4 pages; added case where n+1 goes through powers of 2; minor corrections

MSC Class: 11R09

Obstructions to applying the Baker--Bilu method for determining integral points on curves

Authors: Aaron Landesman, Bjorn Poonen

Abstract: We prove that for every smooth projective integral curve $X$ of genus at least $2$ over $\mathbb C$, there exists $x \in X(\mathbb C)$ such that no connected finite étale cover of $X-\{x\}$ admits a nonconstant morphism to $\mathbb G_m$. This has implications for the applicability of Baker's method to determining integral points on curves. We prove that for every smooth projective integral curve $X$ of genus at least $2$ over $\mathbb C$, there exists $x \in X(\mathbb C)$ such that no connected finite étale cover of $X-\{x\}$ admits a nonconstant morphism to $\mathbb G_m$. This has implications for the applicability of Baker's method to determining integral points on curves. △ Less

Submitted 20 June, 2023; originally announced June 2023.

Lattices in Tate modules

Authors: Bjorn Poonen, Sergey Rybakov

Abstract: Refining a theorem of Zarhin, we prove that given a $g$-dimensional abelian variety $X$ and an endomorphism $u$ of $X$, there exists a matrix $A \in \operatorname{M}_{2g}(\mathbb{Z})$ such that each Tate module $T_\ell X$ has a $\mathbb{Z}_\ell$-basis on which the action of $u$ is given by $A$. Refining a theorem of Zarhin, we prove that given a $g$-dimensional abelian variety $X$ and an endomorphism $u$ of $X$, there exists a matrix $A \in \operatorname{M}_{2g}(\mathbb{Z})$ such that each Tate module $T_\ell X$ has a $\mathbb{Z}_\ell$-basis on which the action of $u$ is given by $A$. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Comments: 3 pages

MSC Class: 14K02 (Primary) 14K05 (Secondary)

The proportion of derangements characterizes the symmetric and alternating groups

Authors: Bjorn Poonen, Kaloyan Slavov

Abstract: Let $G$ be a subgroup of the symmetric group $S_n$. If the proportion of fixed-point-free elements in $G$ (or a coset) equals the proportion of fixed-point-free elements in $S_n$, then $G=S_n$. The analogue for $A_n$ holds if $n \ge 7$. We give an application to monodromy groups. Let $G$ be a subgroup of the symmetric group $S_n$. If the proportion of fixed-point-free elements in $G$ (or a coset) equals the proportion of fixed-point-free elements in $S_n$, then $G=S_n$. The analogue for $A_n$ holds if $n \ge 7$. We give an application to monodromy groups. △ Less

Submitted 18 October, 2021; v1 submitted 6 July, 2021; originally announced July 2021.

Comments: We added an analogue for $A_n$. 8 pages

MSC Class: Primary 20B35; Secondary 11A63; 14E20; 14G15; 20B10

Journal ref: Bulletin of the London Mathematical Society, 54 (2022), no. 4, 1439-1447

Abelian varieties of prescribed order over finite fields

Authors: Raymond van Bommel, Edgar Costa, Wanlin Li, Bjorn Poonen, Alexander Smith

Abstract: Given a prime power $q$ and $n \gg 1$, we prove that every integer in a large subinterval of the Hasse--Weil interval $[(\sqrt{q}-1)^{2n},(\sqrt{q}+1)^{2n}]$ is $#A(\mathbb{F}_q)$ for some geometrically simple ordinary principally polarized abelian variety $A$ of dimension $n$ over $\mathbb{F}_q$. As a consequence, we generalize a result of Howe and Kedlaya for $\mathbb{F}_2$ to show that for each… ▽ More Given a prime power $q$ and $n \gg 1$, we prove that every integer in a large subinterval of the Hasse--Weil interval $[(\sqrt{q}-1)^{2n},(\sqrt{q}+1)^{2n}]$ is $#A(\mathbb{F}_q)$ for some geometrically simple ordinary principally polarized abelian variety $A$ of dimension $n$ over $\mathbb{F}_q$. As a consequence, we generalize a result of Howe and Kedlaya for $\mathbb{F}_2$ to show that for each prime power $q$, every sufficiently large positive integer is realizable, i.e., $#A(\mathbb{F}_q)$ for some abelian variety $A$ over $\mathbb{F}_q$. Our result also improves upon the best known constructions of sequences of simple abelian varieties with point counts towards the extremes of the Hasse--Weil interval. A separate argument determines, for fixed $n$, the largest subinterval of the Hasse--Weil interval consisting of realizable integers, asymptotically as $q \to \infty$; this gives an asymptotically optimal improvement of a 1998 theorem of DiPippo and Howe. Our methods are effective: We prove that if $q \le 5$, then every positive integer is realizable, and for arbitrary $q$, every positive integer $\ge q^{3 \sqrt{q} \log q}$ is realizable. △ Less

Submitted 25 June, 2021; originally announced June 2021.

MSC Class: Primary 11G10; Secondary 11G25; 11Y99; 14G15; 14K15; 31A15

Space vectors forming rational angles

Authors: Kiran S. Kedlaya, Alexander Kolpakov, Bjorn Poonen, Michael Rubinstein

Abstract: We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $π$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $π$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to eithe… ▽ More We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $π$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $π$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to either the icosidodecahedron or the $B_3$ root lattice. The proof requires the solution in roots of unity of a $W(D_6)$-symmetric polynomial equation with $105$ monomials (the previous record was $12$ monomials). △ Less

Submitted 28 November, 2020; originally announced November 2020.

Comments: 30 pages. Associated code at https://github.com/kedlaya/tetrahedra

MSC Class: 52B10 (Primary) 11R18; 14Q25; 51M04 (Secondary)

A $p$-adic approach to rational points on curves

Authors: Bjorn Poonen

Abstract: In 1922, Mordell conjectured the striking statement that for a polynomial equation $f(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 se… ▽ More In 1922, Mordell conjectured the striking statement that for a polynomial equation $f(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 $p$-adic Galois representations; this is the subject of the present exposition. △ Less

Submitted 2 June, 2020; originally announced June 2020.

Comments: 14 pages. This expository article is associated with a lecture given January 17, 2020 in the Current Events Bulletin at the 2020 Joint Mathematics Meetings in Denver

MSC Class: 11G30 (Primary) 11G20; 14D07; 14D10; 14G05; 14H25 (Secondary)

The local-global principle for integral points on stacky curves

Authors: Manjul Bhargava, Bjorn Poonen

Abstract: We construct a stacky curve of genus $1/2$ (i.e., Euler characteristic $1$) over $\mathbb{Z}$ that has an $\mathbb{R}$-point and a $\mathbb{Z}_p$-point for every prime $p$ but no $\mathbb{Z}$-point. This is best possible: we also prove that any stacky curve of genus less than $1/2$ over a ring of $S$-integers of a global field satisfies the local-global principle for integral points. We construct a stacky curve of genus $1/2$ (i.e., Euler characteristic $1$) over $\mathbb{Z}$ that has an $\mathbb{R}$-point and a $\mathbb{Z}_p$-point for every prime $p$ but no $\mathbb{Z}$-point. This is best possible: we also prove that any stacky curve of genus less than $1/2$ over a ring of $S$-integers of a global field satisfies the local-global principle for integral points. △ Less

Submitted 30 May, 2020; originally announced June 2020.

Comments: 9 pages

MSC Class: 11G30 (Primary) 14A20; 14G25; 14H25 (Secondary)

Linear independence in linear systems on elliptic curves

Authors: Bradley W. Brock, Bruce W. Jordan, Bjorn Poonen, Anthony J. Scholl, Joseph L. Wetherell

Abstract: Let $E$ be an elliptic curve, with identity $O$, and let $C$ be a cyclic subgroup of odd order $N$, over an algebraically closed field $k$ with $\operatorname{char} k \nmid N$. For $P \in C$, let $s_P$ be a rational function with divisor $N \cdot P - N \cdot O$. We ask whether the $N$ functions $s_P$ are linearly independent. For generic $(E,C)$, we prove that the answer is yes. We bound the numbe… ▽ More Let $E$ be an elliptic curve, with identity $O$, and let $C$ be a cyclic subgroup of odd order $N$, over an algebraically closed field $k$ with $\operatorname{char} k \nmid N$. For $P \in C$, let $s_P$ be a rational function with divisor $N \cdot P - N \cdot O$. We ask whether the $N$ functions $s_P$ are linearly independent. For generic $(E,C)$, we prove that the answer is yes. We bound the number of exceptional $(E,C)$ when $N$ is a prime by using the geometry of the universal generalized elliptic curve over $X_1(N)$. The problem can be recast in terms of sections of an arbitrary degree $N$ line bundle on $E$. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: 10 pages

MSC Class: 14H52 (Primary) 14G35 (Secondary)

Journal ref: Commentarii Mathematici Helvetici, Volume 96, Issue 2, 2021, pp. 199-213

The exceptional locus in the Bertini irreducibility theorem for a morphism

Authors: Bjorn Poonen, Kaloyan Slavov

Abstract: We introduce a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing over a finite field. Extending a result of Benoist, we prove that for a morphism $φ\colon X \to \mathbb{P}^n$ such that $X$ is geometrically irreducible and the nonempty fibers of $φ$ all have the same dimension, the locus of hyperplanes $H$ such that $φ^{-1} H$ is not geome… ▽ More We introduce a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing over a finite field. Extending a result of Benoist, we prove that for a morphism $φ\colon X \to \mathbb{P}^n$ such that $X$ is geometrically irreducible and the nonempty fibers of $φ$ all have the same dimension, the locus of hyperplanes $H$ such that $φ^{-1} H$ is not geometrically irreducible has dimension at most $\operatorname{codim} φ(X)+1$. We give an application to monodromy groups above hyperplane sections. △ Less

Submitted 4 August, 2020; v1 submitted 23 January, 2020; originally announced January 2020.

Comments: 9 pages

MSC Class: 14D05 (Primary) 14A10; 14G15 (Secondary)

Journal ref: International Mathematics Research Notices, 2020, rnaa182

Machine-Assisted Proofs (ICM 2018 Panel)

Authors: James Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luís Cruz-Filipe

Abstract: This submission to arXiv is the report of a panel session at the 2018 International Congress of Mathematicians (Rio de Janeiro, August). It is intended that, while v1 is that report, this stays a living document containing the panelists', and others', reflections on the topic. This submission to arXiv is the report of a panel session at the 2018 International Congress of Mathematicians (Rio de Janeiro, August). It is intended that, while v1 is that report, this stays a living document containing the panelists', and others', reflections on the topic. △ Less

Submitted 21 September, 2018; originally announced September 2018.

MSC Class: 03-04; 11-04; 20-04;

Heuristics for the arithmetic of elliptic curves

Authors: Bjorn Poonen

Abstract: This is an introduction to a probabilistic model for the arithmetic of elliptic curves, a model developed in a series of articles of the author with Bhargava, Kane, Lenstra, Park, Rains, Voight, and Wood. We discuss the theoretical evidence for the model, and we make predictions about elliptic curves based on corresponding theorems proved about the model. In particular, the model suggests that all… ▽ More This is an introduction to a probabilistic model for the arithmetic of elliptic curves, a model developed in a series of articles of the author with Bhargava, Kane, Lenstra, Park, Rains, Voight, and Wood. We discuss the theoretical evidence for the model, and we make predictions about elliptic curves based on corresponding theorems proved about the model. In particular, the model suggests that all but finitely many elliptic curves over $\mathbb{Q}$ have rank $\le 21$, which would imply that the rank is uniformly bounded. △ Less

Submitted 30 November, 2017; v1 submitted 27 November, 2017; originally announced November 2017.

Comments: 13 pages; submitted to the Proceedings of the 2018 ICM. Version 2 adds some references and corrects some typos

MSC Class: 11G05 (Primary) 11G40; 14G25; 14H52; 14K15 (Secondary)

Gonality of dynatomic curves and strong uniform boundedness of preperiodic points

Authors: John R. Doyle, Bjorn Poonen

Abstract: Fix $d \ge 2$ and a field $k$ such that $\mathrm{char}~k \nmid d$. Assume that $k$ contains the $d$th roots of $1$. Then the irreducible components of the curves over $k$ parameterizing preperiodic points of polynomials of the form $z^d+c$ are geometrically irreducible and have gonality tending to $\infty$. This implies the function field analogue of the strong uniform boundedness conjecture for p… ▽ More Fix $d \ge 2$ and a field $k$ such that $\mathrm{char}~k \nmid d$. Assume that $k$ contains the $d$th roots of $1$. Then the irreducible components of the curves over $k$ parameterizing preperiodic points of polynomials of the form $z^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 $z^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. △ Less

Submitted 1 January, 2019; v1 submitted 11 November, 2017; originally announced November 2017.

Comments: 10 pages; v2 has some improvements in exposition

MSC Class: 37P35 (Primary) 11G30; 14H51; 37P05; 37P15 (Secondary)

Journal ref: Compositio Math. 156 (2020) 733-743

Using zeta functions to factor polynomials over finite fields

Authors: Bjorn Poonen

Abstract: In 2005, Kayal suggested that Schoof's algorithm for counting points on elliptic curves over finite fields might yield an approach to factor polynomials over finite fields in deterministic polynomial time. We present an exposition of his idea and then explain details of a generalization involving Pila's algorithm for abelian varieties. In 2005, Kayal suggested that Schoof's algorithm for counting points on elliptic curves over finite fields might yield an approach to factor polynomials over finite fields in deterministic polynomial time. We present an exposition of his idea and then explain details of a generalization involving Pila's algorithm for abelian varieties. △ Less

Submitted 2 October, 2017; originally announced October 2017.

Comments: 6 pages

MSC Class: 11Y05 (Primary) 14G10; 14G15; 14K15 (Secondary)

Statistics of $K$-groups modulo $p$ for the ring of integers of a varying quadratic number field

Authors: Bruce W. Jordan, Zev Klagsbrun, Bjorn Poonen, Christopher Skinner, Yevgeny Zaytman

Abstract: For each odd prime $p$, we conjecture the distribution of the $p$-torsion subgroup of $K_{2n}(\mathcal{O}_F)$ as $F$ ranges over real quadratic fields, or over imaginary quadratic fields. We then prove that the average size of the $3$-torsion subgroup of $K_{2n}(\mathcal{O}_F)$ is as predicted by this conjecture. For each odd prime $p$, we conjecture the distribution of the $p$-torsion subgroup of $K_{2n}(\mathcal{O}_F)$ as $F$ ranges over real quadratic fields, or over imaginary quadratic fields. We then prove that the average size of the $3$-torsion subgroup of $K_{2n}(\mathcal{O}_F)$ is as predicted by this conjecture. △ Less

Submitted 28 January, 2019; v1 submitted 28 February, 2017; originally announced March 2017.

Comments: 17 pages; improvements in exposition

MSC Class: 11R70 (Primary) 11R29; 19D50; 19F99 (Secondary)

Journal ref: Tunisian J. Math. 2 (2020) 287-307

Local arboreal representations

Authors: Jacqueline Anderson, Spencer Hamblen, Bjorn Poonen, Laura Walton

Abstract: Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$. Let $f(z) \in K[z]$ be a separable polynomial of the form $z^\ell-c.$ Given $a \in K$, we examine the Galois groups and ramification groups of the extensions of $K$ generated by the solutions to $f^n(z)=a$. The behavior depends upon $v(c)$, and we find that it shifts dramatically as $v(c)$ crosses a… ▽ More Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$. Let $f(z) \in K[z]$ be a separable polynomial of the form $z^\ell-c.$ Given $a \in K$, we examine the Galois groups and ramification groups of the extensions of $K$ generated by the solutions to $f^n(z)=a$. The behavior depends upon $v(c)$, and we find that it shifts dramatically as $v(c)$ crosses a certain value: $0$ in the case $p \nmid \ell$, and $-p/(p-1)$ in the case $p=\ell$. △ Less

Submitted 2 July, 2020; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: 16 pages; journal reference added

MSC Class: 11S82; 11F80; 11S15; 37P05; 37P20

Journal ref: Int. Math. Res. Not. 2018, no. 19, 5974-5994

The analytic class number formula for $1$-dimensional affine schemes

Authors: Bruce W. Jordan, Bjorn Poonen

Abstract: We derive an analytic class number formula valid for an order in a product of $S$-integers in global fields, or equivalently for reduced finite-type affine schemes of pure dimension $1$ over $\mathbb{Z}$. We derive an analytic class number formula valid for an order in a product of $S$-integers in global fields, or equivalently for reduced finite-type affine schemes of pure dimension $1$ over $\mathbb{Z}$. △ Less

Submitted 30 December, 2019; v1 submitted 15 April, 2016; originally announced April 2016.

Comments: 15 pages; a second example, of a non-maximal order in a number field, was added. Some proofs are explained in more detail

Unique factorization of principally polarized abelian varieties

Authors: Bruce W. Jordan, Allan G. Keeton, Bjorn Poonen

Abstract: Shimura proved that each principally polarized abelian variety over $\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 $k$. If $k$ is separably closed, the irreducible factors are in bijection with the irreducible components of a theta divisor over $k$ giving rise to t… ▽ More Shimura proved that each principally polarized abelian variety over $\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 $k$. If $k$ is separably closed, the irreducible factors are in bijection with the irreducible components of a theta divisor over $k$ giving rise to the polarization. △ Less

Submitted 15 July, 2016; v1 submitted 22 February, 2016; originally announced February 2016.

Comments: The paper "Polarisations sur les variétés abéliennes produits" (C. R. Acad. Sci. Paris, t. 323, Série 1, p. 631-635, 1996) by Olivier Debarre, of which we were initially unaware, contains stronger results than ours

Abelian varieties isogenous to a power of an elliptic curve

Authors: Bruce W. Jordan, Allan G. Keeton, Bjorn Poonen, Eric M. Rains, Nicholas Shepherd-Barron, John T. Tate

Abstract: Let $E$ be an elliptic curve over a field $k$. Let $R:= \text{End}\, E$. There is a functor $\mathscr{H}\!\!\mathit{om}_R(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties isogenous to a power of $E$, and a functor $\text{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be… ▽ More Let $E$ be an elliptic curve over a field $k$. Let $R:= \text{End}\, E$. There is a functor $\mathscr{H}\!\!\mathit{om}_R(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties isogenous to a power of $E$, and a functor $\text{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be equivalences of categories. △ Less

Submitted 20 March, 2017; v1 submitted 19 February, 2016; originally announced February 2016.

Comments: 21 pages, comments welcome

Journal ref: Compositio Math. 154 (2018) 934-959

A heuristic for boundedness of ranks of elliptic curves

Authors: Jennifer Park, Bjorn Poonen, John Voight, Melanie Matchett Wood

Abstract: We present a heuristic that suggests that ranks of elliptic curves over the rationals are bounded. In fact, it suggests that there are only finitely many elliptic curves of rank greater than 21. Our heuristic is based on modeling the ranks and Shafarevich-Tate groups of elliptic curves simultaneously, and relies on a theorem counting alternating integer matrices of specified rank. We also discuss… ▽ More We present a heuristic that suggests that ranks of elliptic curves over the rationals are bounded. In fact, it suggests that there are only finitely many elliptic curves of rank greater than 21. Our heuristic is based on modeling the ranks and Shafarevich-Tate groups of elliptic curves simultaneously, and relies on a theorem counting alternating integer matrices of specified rank. We also discuss analogues for elliptic curves over other global fields. △ Less

Submitted 10 July, 2018; v1 submitted 3 February, 2016; originally announced February 2016.

Comments: 41 pages, typos fixed in torsion table in section 8

A Computable Functor From Graphs to Fields

Authors: Russell Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh

Abstract: 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… ▽ More 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. △ Less

Submitted 25 October, 2015; originally announced October 2015.

MSC Class: 03C57 (Primary) 03D45; 12L12; 18A15; 08A35 (Secondary)

Automorphisms of Harbater-Katz-Gabber curves

Authors: Frauke M. Bleher, Ted Chinburg, Bjorn Poonen, Peter Symonds

Abstract: Let k be a perfect field of characteristic p > 0, and let G be a finite group. We consider the pointed G-curves over k associated by Harbater, Katz, and Gabber to faithful actions of G on k[[t]] over k. We use such "HKG G-curves" to classify the automorphisms of k[[t]] of p-power order that can be expressed by particularly explicit formulas, namely those mapping t to a power series lying in a Z/pZ… ▽ More Let k be a perfect field of characteristic p > 0, and let G be a finite group. We consider the pointed G-curves over k associated by Harbater, Katz, and Gabber to faithful actions of G on k[[t]] over k. We use such "HKG G-curves" to classify the automorphisms of k[[t]] of p-power order that can be expressed by particularly explicit formulas, namely those mapping t to a power series lying in a Z/pZ Artin-Schreier extension of k(t). In addition, we give necessary and sufficient criteria to decide when an HKG G-curve with an action of a larger finite group J is also an HKG J-curve. △ Less

Submitted 2 November, 2016; v1 submitted 7 September, 2015; originally announced September 2015.

Comments: 25 pages. The introduction was rewritten. The final publication is available at Springer via http://dx.doi.org/10.1007/s00208-016-1490-2

MSC Class: 14H37; 14G17; 20F29

Journal ref: Math. Ann. 368 (2017), 811-836

Why all rings should have a 1

Authors: Bjorn Poonen

Abstract: We argue that the definition of ring should require the existence of a multiplicative identity 1 because this requirement is part of what associativity should be. We list counterarguments in order to rebut them. We argue that the definition of ring should require the existence of a multiplicative identity 1 because this requirement is part of what associativity should be. We list counterarguments in order to rebut them. △ Less

Submitted 1 April, 2014; originally announced April 2014.

Comments: 4 pages

MSC Class: 16-01 (Primary) 16-03 (Secondary)

Bertini irreducibility theorems over finite fields

Authors: François Charles, Bjorn Poonen

Abstract: Given a geometrically irreducible subscheme X in P^n over F_q of dimension at least 2, we prove that the fraction of degree d hypersurfaces H such that the intersection of H and X is geometrically irreducible tends to 1 as d tends to infinity. We also prove variants in which X is over an extension of F_q, and in which the immersion of X in P^n is replaced by a more general morphism. Given a geometrically irreducible subscheme X in P^n over F_q of dimension at least 2, we prove that the fraction of degree d hypersurfaces H such that the intersection of H and X is geometrically irreducible tends to 1 as d tends to infinity. We also prove variants in which X is over an extension of F_q, and in which the immersion of X in P^n is replaced by a more general morphism. △ Less

Submitted 7 June, 2017; v1 submitted 20 November, 2013; originally announced November 2013.

Comments: 14 pages. In the previous version, in the proof of Lemma 5.1 we forgot to reduce to the case of a normal variety before implicitly using what is called Lemma 3.6 in this version. We fixed this by inserting Lemma 3.6 and adjusting the proof of Lemma 5.1 (and the hypotheses in Lemma 5.2)

MSC Class: 14J70 (Primary); 14N05 (Secondary)

Journal ref: J. Amer. Math. Soc. 29 (2016), no. 1, 81-94

p-adic interpolation of iterates

Authors: Bjorn Poonen

Abstract: Extending work of Bell and of Bell, Ghioca, and Tucker, we prove that for a p-adic analytic self-map f on a closed unit polydisk, if every coefficient of f(x)-x has valuation greater than that of p^{1/(p-1)}, then the iterates of f can be p-adically interpolated; i.e., there exists a function g(x,n) analytic in both x and n such that g(x,n) = f^n(x) whenever n is a nonnegative integer. Extending work of Bell and of Bell, Ghioca, and Tucker, we prove that for a p-adic analytic self-map f on a closed unit polydisk, if every coefficient of f(x)-x has valuation greater than that of p^{1/(p-1)}, then the iterates of f can be p-adically interpolated; i.e., there exists a function g(x,n) analytic in both x and n such that g(x,n) = f^n(x) whenever n is a nonnegative integer. △ Less

Submitted 22 July, 2013; originally announced July 2013.

Comments: 3 pages

MSC Class: 37P20 (Primary) 11S82; 37P10 (Secondary)

Journal ref: Bull. Lond. Math. Soc. 46 (2014), no. 3, 525-527

Modeling the distribution of ranks, Selmer groups, and Shafarevich-Tate groups of elliptic curves

Authors: Manjul Bhargava, Daniel M. Kane, Hendrik W. Lenstra jr., Bjorn Poonen, Eric Rains

Abstract: Using maximal isotropic submodules in a quadratic module over Z_p, we prove the existence of a natural discrete probability distribution on the set of isomorphism classes of short exact sequences of co-finite type Z_p-modules, and then conjecture that as E varies over elliptic curves over a fixed global field k, the distribution of 0 --> E(k) tensor Q_p/Z_p --> Sel_{p^infty} E --> Sha[p^infty] -… ▽ More Using maximal isotropic submodules in a quadratic module over Z_p, we prove the existence of a natural discrete probability distribution on the set of isomorphism classes of short exact sequences of co-finite type Z_p-modules, and then conjecture that as E varies over elliptic curves over a fixed global field k, the distribution of 0 --> E(k) tensor Q_p/Z_p --> Sel_{p^infty} E --> Sha[p^infty] --> 0 is that one. We show that this single conjecture would explain many of the known theorems and conjectures on ranks, Selmer groups, and Shafarevich-Tate groups of elliptic curves. We also prove the existence of a discrete probability distribution of the set of isomorphism classes of finite abelian p-groups equipped with a nondegenerate alternating pairing, defined in terms of the cokernel of a random alternating matrix over Z_p, and we prove that the two probability distributions are compatible with each other and with Delaunay's predicted distribution for Sha. Finally, we prove new theorems on the fppf cohomology of elliptic curves in order to give further evidence for our conjecture. △ Less

Submitted 5 August, 2013; v1 submitted 14 April, 2013; originally announced April 2013.

Comments: 31 pages; added more justification for conjectures, and rearranged the introduction to clarify what the main theorems are

MSC Class: 11G05 (Primary) 11E08; 14G25 (Secondary)

Journal ref: Camb. J. Math. 3 (2015), no. 3, 275-321

Most odd degree hyperelliptic curves have only one rational point

Authors: Bjorn Poonen, Michael Stoll

Abstract: 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 m… ▽ More 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. △ Less

Submitted 15 June, 2014; v1 submitted 31 January, 2013; originally announced February 2013.

Comments: 24 pages; to appear in Annals of Math

MSC Class: 11G30 (Primary) 14G25; 14G40; 14K15; 14K20 (Secondary)

Journal ref: Ann. Math. 180:3, 1137-1166, (2014)

Berkovich spaces embed in Euclidean spaces

Authors: Ehud Hrushovski, François Loeser, Bjorn Poonen

Abstract: Let K be a field that is complete with respect to a nonarchimedean absolute value such that K has a countable dense subset. We prove that the Berkovich analytification V^an of any d-dimensional quasi-projective scheme V over K embeds in R^{2d+1}. If, moreover, the value group of K is dense in R_{>0} and V is a curve, then we describe the homeomorphism type of V^an by using the theory of local dend… ▽ More Let K be a field that is complete with respect to a nonarchimedean absolute value such that K has a countable dense subset. We prove that the Berkovich analytification V^an of any d-dimensional quasi-projective scheme V over K embeds in R^{2d+1}. If, moreover, the value group of K is dense in R_{>0} and V is a curve, then we describe the homeomorphism type of V^an by using the theory of local dendrites. △ Less

Submitted 24 October, 2012; originally announced October 2012.

Comments: 15 pages

MSC Class: 14G22 (Primary) 54F50 (Secondary)

Journal ref: L'Enseignement Mathématique. 60, 273-292 (2014)

Computing Néron-Severi groups and cycle class groups

Authors: Bjorn Poonen, Damiano Testa, Ronald van Luijk

Abstract: Assuming the Tate conjecture and the computability of étale cohomology with finite coefficients, we give an algorithm that computes the Néron-Severi group of any smooth projective geometrically integral variety, and also the rank of the group of numerical equivalence classes of codimension p cycles for any p. Assuming the Tate conjecture and the computability of étale cohomology with finite coefficients, we give an algorithm that computes the Néron-Severi group of any smooth projective geometrically integral variety, and also the rank of the group of numerical equivalence classes of codimension p cycles for any p. △ Less

Submitted 4 August, 2014; v1 submitted 13 October, 2012; originally announced October 2012.

Comments: 22 pages; to appear in Compositio Math

MSC Class: 14C22 (Primary) 14C25; 14F20; 14G13 (Secondary)

Journal ref: Compositio Math. 151 (2015) 713-734

Uniform boundedness of rational points and preperiodic points

Authors: Bjorn Poonen

Abstract: We ask questions generalizing uniform versions of conjectures of Mordell and Lang and combining them with the Morton--Silverman conjecture on preperiodic points. We prove a few results relating different versions of such questions. We ask questions generalizing uniform versions of conjectures of Mordell and Lang and combining them with the Morton--Silverman conjecture on preperiodic points. We prove a few results relating different versions of such questions. △ Less

Submitted 2 July, 2012; v1 submitted 29 June, 2012; originally announced June 2012.

Comments: 6 pages; updated to correct a typo and to update the reference [CUV12]

MSC Class: 11G35 (Primary) 37P15 (Secondary)

Generalized explicit descent and its application to curves of genus 3

Authors: Nils Bruin, Bjorn Poonen, Michael Stoll

Abstract: 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 si… ▽ More 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. △ Less

Submitted 11 December, 2013; v1 submitted 20 May, 2012; originally announced May 2012.

Comments: 58 pages; added a few references, and updated a few others

MSC Class: 11G30 (Primary); 11G10; 14G25; 14H45 (Secondary)

Journal ref: Forum of Mathematics, Sigma 4 (2016), e6

Undecidable problems: a sampler

Authors: Bjorn Poonen

Abstract: After discussing two senses in which the notion of undecidability is used, we present a survey of undecidable decision problems arising in various branches of mathematics. After discussing two senses in which the notion of undecidability is used, we present a survey of undecidable decision problems arising in various branches of mathematics. △ Less

Submitted 25 October, 2014; v1 submitted 1 April, 2012; originally announced April 2012.

Comments: 28 pages; reference to publication added

MSC Class: 03D35 (Primary) 00A05 (Secondary)

Journal ref: J. Kennedy (ed.), Interpreting Gödel, 211-241, Cambridge Univ. Press, Cambridge, 2014

Average rank of elliptic curves

Authors: Bjorn Poonen

Abstract: Bhargava and Shankar prove that as E varies over all elliptic curves over Q, the average rank of the finitely generated abelian group E(Q) is bounded. This result follows from an exact formula for the average size of the 2-Selmer group, which in turn follows from an asymptotic formula for the number of binary quartic forms over Z with bounded invariants. We explain their proof, as well as other ar… ▽ More Bhargava and Shankar prove that as E varies over all elliptic curves over Q, the average rank of the finitely generated abelian group E(Q) is bounded. This result follows from an exact formula for the average size of the 2-Selmer group, which in turn follows from an asymptotic formula for the number of binary quartic forms over Z with bounded invariants. We explain their proof, as well as other arithmetic applications. △ Less

Submitted 13 June, 2015; v1 submitted 4 March, 2012; originally announced March 2012.

Comments: 17 pages. The construction in the second half of Section 4.1 of [BS15b] of a positive-density family of elliptic curves in which the root number is equidistributed is actually taken from p. 25 and Section 9 of Siman Wong's article [Won01]; we have edited our text to credit Wong with this discovery. Also, references have been updated

MSC Class: 11G05 (Primary) 11E76 (Secondary)

Journal ref: Séminaire Bourbaki, Vol. 2011/2012, Exposés 1043-1058, Astérisque 352 (2013), Exp. No. 1049, 187-204

Self cup products and the theta characteristic torsor

Authors: Bjorn Poonen, Eric Rains

Abstract: We give a general formula relating self cup products in cohomology to connecting maps in nonabelian cohomology, and apply it to obtain a formula for the self cup product associated to the Weil pairing. We give a general formula relating self cup products in cohomology to connecting maps in nonabelian cohomology, and apply it to obtain a formula for the self cup product associated to the Weil pairing. △ Less

Submitted 11 April, 2011; originally announced April 2011.

Comments: 13 pages

MSC Class: 18G50 (Primary) 11G10; 11G30; 14G25; 14K15 (Secondary)

Journal ref: Math. Res. Lett. 18 (2011), no. 6, 1305-1318

Convergence of the restricted Nelder-Mead algorithm in two dimensions

Authors: Jeffrey C. Lagarias, Bjorn Poonen, Margaret H. Wright

Abstract: The Nelder-Mead algorithm, a longstanding direct search method for unconstrained optimization published in 1965, is designed to minimize a scalar-valued function f of n real variables using only function values, without any derivative information. Each Nelder-Mead iteration is associated with a nondegenerate simplex defined by n+1 vertices and their function values; a typical iteration produces a… ▽ More The Nelder-Mead algorithm, a longstanding direct search method for unconstrained optimization published in 1965, is designed to minimize a scalar-valued function f of n real variables using only function values, without any derivative information. Each Nelder-Mead iteration is associated with a nondegenerate simplex defined by n+1 vertices and their function values; a typical iteration produces a new simplex by replacing the worst vertex by a new point. Despite the method's widespread use, theoretical results have been limited: for strictly convex objective functions of one variable with bounded level sets, the algorithm always converges to the minimizer; for such functions of two variables, the diameter of the simplex converges to zero, but examples constructed by McKinnon show that the algorithm may converge to a nonminimizing point. This paper considers the restricted Nelder-Mead algorithm, a variant that does not allow expansion steps. In two dimensions we show that, for any nondegenerate starting simplex and any twice-continuously differentiable function with positive definite Hessian and bounded level sets, the algorithm always converges to the minimizer. The proof is based on treating the method as a discrete dynamical system, and relies on several techniques that are non-standard in convergence proofs for unconstrained optimization. △ Less

Submitted 3 April, 2011; originally announced April 2011.

Comments: 27 pages

MSC Class: 90C56 (Primary) 37B25 (Secondary)

Journal ref: SIAM J. Optimization 22 (2012), no. 2, 501-532

Smooth hypersurface sections containing a given subscheme over a finite field

Authors: Bjorn Poonen

Abstract: We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is smooth of dimension l, we compute the fraction of homogeneous polynomials vanishing on Z that cut out a smooth subvariety of X. The fraction is positive if m>2… ▽ More We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is smooth of dimension l, we compute the fraction of homogeneous polynomials vanishing on Z that cut out a smooth subvariety of X. The fraction is positive if m>2l. △ Less

Submitted 2 December, 2010; originally announced December 2010.

Comments: 7 pages. This paper appeared a few years ago. (I'm posting it in response to a request for the TeX file.)

MSC Class: 14J70 (Primary) 11M38; 11M41; 14G40; 14N05 (Secondary)

Journal ref: Math. Research Letters, 15 (2008), no. 2, 265-271

Random maximal isotropic subspaces and Selmer groups

Authors: Bjorn Poonen, Eric Rains

Abstract: Under suitable hypotheses, we construct a probability measure on the set of closed maximal isotropic subspaces of a locally compact quadratic space over F_p. A random subspace chosen with respect to this measure is discrete with probability 1, and the dimension of its intersection with a fixed compact open maximal isotropic subspace is a certain nonnegative-integer-valued random variable. We the… ▽ More Under suitable hypotheses, we construct a probability measure on the set of closed maximal isotropic subspaces of a locally compact quadratic space over F_p. A random subspace chosen with respect to this measure is discrete with probability 1, and the dimension of its intersection with a fixed compact open maximal isotropic subspace is a certain nonnegative-integer-valued random variable. We then prove that the p-Selmer group of an elliptic curve is naturally the intersection of a discrete maximal isotropic subspace with a compact open maximal isotropic subspace in a locally compact quadratic space over F_p. By modeling the first subspace as being random, we can explain the known phenomena regarding distribution of Selmer ranks, such as the theorems of Heath-Brown, Swinnerton-Dyer, and Kane for 2-Selmer groups in certain families of quadratic twists, and the average size of 2- and 3-Selmer groups as computed by Bhargava and Shankar. Our model is compatible with Delaunay's heuristics for p-torsion in Shafarevich-Tate groups, and predicts that the average rank of elliptic curves over a fixed number field is at most 1/2. Many of our results generalize to abelian varieties over global fields. △ Less

Submitted 11 April, 2011; v1 submitted 1 September, 2010; originally announced September 2010.

Comments: The paper has been split in two, with one half going into "Self cup products and the theta characteristic torsor", and the other half going here. 25 pages

MSC Class: 11G10 (Primary) 11G05; 11G30; 14G25; 14K15 (Secondary)

Journal ref: J. Amer. Math. Soc. 25 (2012), no. 1, 245-269

Néron-Severi groups under specialization

Authors: Davesh Maulik, Bjorn Poonen

Abstract: André used Hodge-theoretic methods to show that in a smooth proper family X to B of varieties over an algebraically closed field k of characteristic 0, there exists a closed fiber having the same Picard number as the geometric generic fiber, even if k is countable. We give a completely different approach to André's theorem, which also proves the following refinement: in a family of varieties with… ▽ More André used Hodge-theoretic methods to show that in a smooth proper family X to B of varieties over an algebraically closed field k of characteristic 0, there exists a closed fiber having the same Picard number as the geometric generic fiber, even if k is countable. We give a completely different approach to André's theorem, which also proves the following refinement: in a family of varieties with good reduction at p, the locus on the base where the Picard number jumps is nowhere p-adically dense. Our proof uses the ``p-adic Lefschetz (1,1) theorem'' of Berthelot and Ogus, combined with an analysis of p-adic power series. We prove analogous statements for cycles of higher codimension, assuming a p-adic analogue of the variational Hodge conjecture, and prove that this analogue implies the usual variational Hodge conjecture. Applications are given to abelian schemes and to proper families of projective varieties. △ Less

Submitted 30 October, 2010; v1 submitted 27 July, 2009; originally announced July 2009.

Comments: 27 pages. Major revision, taking André's work into account

MSC Class: 14C25 (Primary) 14D07; 14F25; 14F30 (Secondary)

Journal ref: Duke Math. J. 161, no. 11 (2012), 2167-2206

Curves over every global field violating the local-global principle

Authors: Bjorn Poonen

Abstract: There is an algorithm that takes as input a global field k and produces a curve over k violating the local-global principle. Also, given a global field k and a nonnegative integer n, one can effectively construct a curve X over k such that #X(k)=n and X has points over every completion of k. There is an algorithm that takes as input a global field k and produces a curve over k violating the local-global principle. Also, given a global field k and a nonnegative integer n, one can effectively construct a curve X over k such that #X(k)=n and X has points over every completion of k. △ Less

Submitted 6 June, 2010; v1 submitted 23 February, 2009; originally announced February 2009.

Comments: 5 pages

MSC Class: 11G30; 14H25

Journal ref: Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 377 (2010), Issledovaniya po Teorii Chisel. 10, 141-147, 243-244 (Russian version); J. Math. Sci. (N.Y.) 171 (2010), no. 6, 782-785 (English version)

Multivariable polynomial injections on rational numbers

Authors: Bjorn Poonen

Abstract: For each number field k, the Bombieri-Lang conjecture for k-rational points on surfaces of general type implies the existence of a polynomial f(x,y) in k[x,y] inducing an injection k x k --> k. For each number field k, the Bombieri-Lang conjecture for k-rational points on surfaces of general type implies the existence of a polynomial f(x,y) in k[x,y] inducing an injection k x k --> k. △ Less

Submitted 6 June, 2010; v1 submitted 23 February, 2009; originally announced February 2009.

Comments: 4 pages

MSC Class: 11C08; 11G30; 11G35

Journal ref: Acta Arith. 145 (2010), no. 2, 123-127

Automorphisms mapping a point into a subvariety

Authors: Bjorn Poonen

Abstract: The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's tenth problem for systems of polynomials over Z defining an affine Q-variety whose projective closure is smooth. The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's tenth problem for systems of polynomials over Z defining an affine Q-variety whose projective closure is smooth. △ Less

Submitted 20 February, 2009; originally announced February 2009.

Comments: 5 pages

MSC Class: 14Q20; 11U05

Journal ref: J. Algebraic Geom. 20 (2011), no. 4, 785-794

Everywhere ramified towers of global function fields

Authors: Iwan Duursma, Bjorn Poonen, Michael Zieve

Abstract: We consider a tower of function fields F_0 < F_1 < ... over a finite field such that every place of every F_i ramified in the tower and the sequence genus(F_i)/[F_i:F_0] has a finite limit. We also construct a tower in which every place ramifies and the sequence N_i/[F_i:F_0] has a positive limit, where N_i is the number of degree-one places of F_i. These towers answer questions posed by Stichte… ▽ More We consider a tower of function fields F_0 < F_1 < ... over a finite field such that every place of every F_i ramified in the tower and the sequence genus(F_i)/[F_i:F_0] has a finite limit. We also construct a tower in which every place ramifies and the sequence N_i/[F_i:F_0] has a positive limit, where N_i is the number of degree-one places of F_i. These towers answer questions posed by Stichtenoth. △ Less

Submitted 15 October, 2008; originally announced October 2008.

Comments: 5 pages. This paper was published in 2004. I post it now for greater accessibility

MSC Class: 11G20; 14G05; 14G15

Journal ref: Finite Fields and Applications, Springer Lecture Notes in Computer Science 2948 (2004), 148--153

Insufficiency of the Brauer-Manin obstruction applied to etale covers

Authors: Bjorn Poonen

Abstract: Let k be any global field of characteristic not 2. We construct a k-variety X such that X(k) is empty, but for which the emptiness cannot be explained by the Brauer-Manin obstruction or even by the Brauer-Manin obstruction applied to finite etale covers. Let k be any global field of characteristic not 2. We construct a k-variety X such that X(k) is empty, but for which the emptiness cannot be explained by the Brauer-Manin obstruction or even by the Brauer-Manin obstruction applied to finite etale covers. △ Less

Submitted 8 June, 2008; originally announced June 2008.

Comments: 11 pages

MSC Class: 11G35; 14G05; 14G25; 14J20

Journal ref: Ann. of Math. (2) 171 (2010), no. 3, 2157-2169

The set of non-squares in a number field is diophantine

Authors: Bjorn Poonen

Abstract: Fix a number field k. We prove that k* - k*^2 is diophantine over k. This is deduced from a theorem that for a nonconstant separable polynomial P(x) in k[x], there are at most finitely many a in k* modulo squares such that there is a Brauer-Manin obstruction to the Hasse principle for the conic bundle X given by y^2 - az^2 = P(x). Fix a number field k. We prove that k* - k*^2 is diophantine over k. This is deduced from a theorem that for a nonconstant separable polynomial P(x) in k[x], there are at most finitely many a in k* modulo squares such that there is a Brauer-Manin obstruction to the Hasse principle for the conic bundle X given by y^2 - az^2 = P(x). △ Less

Submitted 18 December, 2007; v1 submitted 11 December, 2007; originally announced December 2007.

Comments: 5 pages; corrected minor typos, improved exposition, added reference

MSC Class: 14G05 (Primary) 11G35; 11U99; 14G25; 14J20 (Secondary)

Journal ref: Math. Res. Lett. 16 (2009), no. 1, 165-170

Existence of rational points on smooth projective varieties

Authors: Bjorn Poonen

Abstract: Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and also an algorithm for computing X(k) for any k-variety X for which X(k) is finite. The proof involves the construction of a one-parameter algebraic family of C… ▽ More Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and also an algorithm for computing X(k) for any k-variety X for which X(k) is finite. The proof involves the construction of a one-parameter algebraic family of Chatelet surfaces such that exactly one of the surfaces fails to have a k-point. △ Less

Submitted 11 December, 2007; originally announced December 2007.

Comments: 11 pages

MSC Class: 14G05 (Primary); 11G35; 11U05; 14G25; 14J20 (Secondary)

Journal ref: J. Eur. Math. Soc. (JEMS) 11 (2009), no. 3, 529-543

The p-adic closure of a subgroup of rational points on a commutative algebraic group

Authors: Bjorn Poonen

Abstract: Let G be a commutative algebraic group over Q. Let Gamma be a subgroup of G(Q) contained in the union of the compact subgroups of G(Q_p). We formulate a guess for the dimension of the closure of Gamma in G(Q_p), and show that its correctness for certain tori is equivalent to Leopoldt's conjecture. Let G be a commutative algebraic group over Q. Let Gamma be a subgroup of G(Q) contained in the union of the compact subgroups of G(Q_p). We formulate a guess for the dimension of the closure of Gamma in G(Q_p), and show that its correctness for certain tori is equivalent to Leopoldt's conjecture. △ Less

Submitted 30 November, 2007; originally announced November 2007.

Comments: 7 pages

MSC Class: 14L10; 11E95; 14G05; 14G20; 22E35

Relations among modular points on elliptic curves

Authors: Alexandru Buium, Bjorn Poonen

Abstract: Given a correspondence between a modular curve and an elliptic curve A we study the group of relations among the CM points of A. In particular we prove that the intersection of any finite rank subgroup of A with the set of CM points of A is finite. We also prove a local version of this global result with an effective bound valid also for certain infinite rank subgroups. We deduce the local resul… ▽ More Given a correspondence between a modular curve and an elliptic curve A we study the group of relations among the CM points of A. In particular we prove that the intersection of any finite rank subgroup of A with the set of CM points of A is finite. We also prove a local version of this global result with an effective bound valid also for certain infinite rank subgroups. We deduce the local result from a ``reciprocity'' theorem for CL (canonical lift) points on A. Furthermore we prove similar global and local results for intersections between subgroups of A and isogeny classes in A. Finally we prove Shimura curve analogues and, in some cases, higher-dimensional versions of these results. △ Less

Submitted 4 June, 2007; originally announced June 2007.

Comments: 48 pages

MSC Class: 11G18; 14G20

Journal ref: Duke Math. J. 147 (2009), no. 1, 181-191; Compos. Math. 145 (2009), no. 3, 566-602

Characterizing integers among rational numbers with a universal-existential formula

Authors: Bjorn Poonen

Abstract: We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that is surjective on rational points. We also give a formula, again with universal quantifiers followed by existential quantifiers, that in any number field define… ▽ More We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that is surjective on rational points. We also give a formula, again with universal quantifiers followed by existential quantifiers, that in any number field defines the ring of integers. △ Less

Submitted 30 March, 2007; originally announced March 2007.

Comments: 6 pages

MSC Class: 11U05; 11R52

Journal ref: Amer. J. Math. 131 (2009), no. 3, 675-682