Open Collections

Rational motivic path spaces

Banff International Research Station for Mathematical Innovation and Discovery

A central ingredient in Kim's work on integral points of hyperbolic curves is the "unipotent Kummer map" which goes from integral points to certain torsors for the prounipotent completion of the fundamental group, and which, roughly speaking, sends an integral point to the torsor of homotopy classes of paths connecting it to a fixed base-point. In joint work with Tomer Schlank, we introduce a space $\Omega$ of rational motivic loops, and we construct a double factorization of the unipotent Kummer map which may be summarized schematically as points $\rightarrow$ rational motivic points $\rightarrow$ $\Omega$-torsors $\rightarrow$ $\pi_1$-torsors. Our "connectedness theorem" says that any two motivic points are connected by a non-empty torsor. Our "concentration theorem" says that for an affine curve, $\Omega$ is actually equal to $\pi_1$.

Mathematics; Algebraic geometry; Number theory

video/mp4

Author affiliation: Ben Gurion University of the Negev

2018-04-02

Attribution-NonCommercial-NoDerivatives 4.0 International

http://hdl.handle.net/2429/65064

Unreviewed

http://creativecommons.org/licenses/by-nc-nd/4.0/