Finite descent obstruction and non-abelian reciprocity

TL;DR

This paper compares the finite descent obstruction and Kim's iterative construction for locating rational points on algebraic varieties over number fields, showing their essential equivalence.

Contribution

It demonstrates that the finite descent obstruction and Kim's iterative approach are fundamentally equivalent methods for understanding rational points.

Findings

Finite descent obstruction and Kim's construction are essentially equivalent.

The main result bridges two prominent approaches in Diophantine Geometry.

Provides a unified perspective on rational point detection methods.

Abstract

For a nice algebraic variety $X$ over a number field $F$, one of the central problems of Diophantine Geometry is to locate precisely the set $X(F)$ inside $X(\A_F)$, where $\A_F$ denotes the ring of ad\`eles of $F$. One approach to this problem is provided by the finite descent obstruction, which is defined to be the set of adelic points which can be lifted to twists of torsors for (certain) finite \'etale group schemes over $F$ on $X$. More recently, Kim proposed an iterative construction of another subset of $X(\A_F)$ which contains the set of rational points. In this paper, we compare the two constructions. Our main result shows that the two approaches are essentially equivalent.