Existence of rational points on smooth projective varieties

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 Chatelet surfaces such that exactly one of the surfaces fails to have a k-point.

11 pages

Cited by in corpus (6)

• Insufficiency of the Brauer-Manin obstruction applied to etale covers
• Curves over every global field violating the local-global principle
• Failure of the Brauer-Manin principle for a simply connected fourfold over a global function field, via orbifold Mordell
• Degree and the Brauer-Manin obstruction
• Le complémentaire des puissances $n$-ièmes dans un corps de nombres est un ensemble diophantien
• Two examples concerning existential undecidability in fields