Title: Towards Mordellic obstruction devices coming from rational motivic homotopy theory

Abstract: Let Z be an open subscheme of Spec ZZ. A smooth scheme X over Z gives rise to a commutative algebra object C*X in the derived infinity category of motives over Z. Some intuition for this rather abstract object comes from the fact that it remembers, for instance, the smooth de Rham complex of the complex analytic space associated to X, regarded as a cdga.   On the other hand, if one forgets the algebra structure, then C^*X lives in a category whose RHom's are governed by algebraic K-theory. One can define a natural filtration of C*X by algebras C^i similar in spirit to a Postnikov tower. Following work of I. Iwanari, in simple examples, it's possible to make C^i for small i quite explicit. We can then show that the space of augmentations of C^i has the structure of a finite type affine QQ-scheme. I'll explain how this leads to new proofs of very special cases of Siegel's theorem for curves, and I'll indicate how these techniques may be relevant for studying integral (or rational) points of higher dimensional varieties.

Zoom: https://huji.zoom.us/j/84202575300?pwd=QXBvNjV0bDBWUmwxVkFIYXpzQ29RQT09