Finite descent obstruction and non-abelian reciprocity

2016/11/16 by Otto Overkamp, Overkamp, Otto
Mathematics · #FOS: Mathematics #Number Theory (math.NT) #math.NT

paper · pdf · doi:10.48550/arxiv.1611.05341

New version; improved exposition; corrected a few typographical errors. New Appendix. 20 pages

arxiv created 2018/06/13 · arxiv updated 2018/06/14

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èles 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 étale 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.

Related

• Descent obstruction and fundamental exact sequence
• Weak approximation versus the Hasse principle for subvarieties of abelian varieties
• Diophantine geometry and non-abelian reciprocity laws I
• Abelianized Descent Obstruction for 0-Cycles
• Galois invariants of finite abelian descent and Brauer sets