Une version effective du théorème d'irréductibilité de Hilbert
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge’s theorem valid for higher-dimensional varieties, generalizing a uniform version of Runge’s theorem due to Bombieri. We then take up the study of how Runge’s method may be expanded by taking advantage of certain coverings. We prove both a result for arbitrary curves and a more explicit result for superelliptic curves. As an application of our...
B. Poonen a récemment exhibé des exemples de variétés projectives et lisses de dimension 3 sur un corps de nombres qui n’ont pas de point rationnel et pour lesquelles il n’y a pas d’obstruction de Brauer–Manin après revêtement fini étale. Je montre que les variétés qu’il construit possèdent des zéro-cycles de degré 1.