The motivic fundamental group of the punctured projective line

We describe a construction of an object associated to the fundamental group of the projective line minus three points in the Bloch-Kriz category of mixed Tate motives. This description involves Massey products of Steinberg symbols in the motivic cohomology of the ground field.

💡 Research Summary

The paper presents a concrete construction of the motivic fundamental group of the projective line with three points removed, ( \mathbb{P}^{1}\setminus{0,1,\infty} ), within the Bloch–Kriz category of mixed Tate motives over a base field (k). The authors begin by recalling the structure of the Bloch–Kriz category ( \mathcal{MT}(k) ), emphasizing its two filtrations—weight and depth—and its tensor‑triangulated nature. Within this framework, objects correspond to graded pieces of motivic cohomology (H^{*}_{\mathcal{M}}(k,\mathbb{Q}(n))).

A central technical tool is the use of Steinberg symbols ( {a,b}\in H^{2}{\mathcal{M}}(k,\mathbb{Q}(2)) ), which satisfy the classical relation ( {a,1-a}=0 ). The authors show how to lift these symbols to higher Massey products, thereby defining non‑trivial higher operations in motivic cohomology. The construction of a Massey triple product ( \langle {a{1},b_{1}},{a_{2},b_{2}},{a_{3},b_{3}}\rangle ) requires a careful choice of cochain representatives that are compatible with the differential in the Bloch–Kriz complex; this “normalization” ensures that the resulting class is well‑defined modulo indeterminacy.

With these tools in hand, the paper builds an explicit object ( \mathcal{G} ) in ( \mathcal{MT}(k) ) that models the motivic fundamental group ( \pi_{1}^{\mathrm{mot}}(\mathbb{P}^{1}\setminus{0,1,\infty}) ). The generators of the topological fundamental group—loops around 0, 1, and ∞—are represented by motive‑theoretic elements ( \mathcal{G}{0},\mathcal{G}{1},\mathcal{G}{\infty} ). The fundamental relation ( \sigma{0}\sigma_{1}\sigma_{\infty}=1 ) is shown to correspond precisely to the vanishing of a specific Massey triple product of Steinberg symbols: \