Existence of rational points on smooth projective varieties
Bjorn Poonen
Massachusetts Institute of Technology, Cambridge, United States
![Existence of rational points on smooth projective varieties cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-jems-volume-11-issue-3.png&w=3840&q=90)
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 Châtelet surfaces such that exactly one of the surfaces fails to have a k-point.
Cite this article
Bjorn Poonen, Existence of rational points on smooth projective varieties. J. Eur. Math. Soc. 11 (2009), no. 3, pp. 529–543
DOI 10.4171/JEMS/159