Mixed Tate motives over $\mathbb{Z}$

Francis Brown

We prove that the category of mixed Tate motives over $\mathbb{Z}$ is spanned by the motivic fundamental group of $\Pro^1$ minus three points. We prove a conjecture by M. Hoffman which sta…