Non-abelian reciprocity laws and higher Brauer-Manin obstructions

Kim's iterative non-abelian reciprocity laws carve out a sequence of subsets of the adelic points of a suitable algebraic variety, containing the global points. Like Ellenberg's obstructions to the existence of global points, they are based on nilpotent approximations to the variety. Systematically exploiting this idea gives a sequence starting with the Brauer-Manin obstruction, based on the theory of obstruction towers in algebraic topology. For Shimura varieties, nilpotent approximations are inadequate as the fundamental group is nearly perfect, but relative completions produce an interesting obstruction tower. For modular curves, these maps take values in Galois cohomology of modular forms, and give obstructions to an adelic elliptic curve with global Tate module underlying a global elliptic curve.