Deligne's generation conjecture for the Ihara graded Galois Lie algebra

From papers

Fix a prime number \ell. Let GQG_{\mathbb Q} be the absolute Galois group of Q\mathbb Q, and let IGQI_\ell^\bullet G_{\mathbb Q} be Ihara's filtration induced by the outer action on the pro-\ell completion of the fundamental group of P1(C){0,1,}\mathbb P^1(\mathbb C)-\{0,1,\infty\}. Write

GrI>0GQ=n>0GrInGQ\operatorname{Gr}^{>0}_{I_\ell}G_{\mathbb Q}=\bigoplus_{n>0}\operatorname{Gr}^n_{I_\ell}G_{\mathbb Q}

for its positive associated graded Lie algebra, and let s2n+1GrI2n+1GQs_{2n+1}\in\operatorname{Gr}^{2n+1}_{I_\ell}G_{\mathbb Q}.

Deligne's conjecture. The Q\mathbb Q_\ell-form

(GrI>0GQ)Q\left(\operatorname{Gr}^{>0}_{I_\ell}G_{\mathbb Q}\right)\otimes\mathbb Q_\ell

of the positive part of GrIGQ\operatorname{Gr}^{\bullet}_{I_\ell}G_{\mathbb Q} is generated as a Lie algebra by the elements s3,s5,s7,s_3,s_5,s_7,\ldots.

The conjecture concerns the structure of the graded Lie algebra arising from the Galois action on the pro-\ell fundamental group of the thrice-punctured projective line. The paper states that this generation assertion is proved, but the supplied status is unknown.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Richard Hain and Makoto Matsumoto, “Weighted Completion of Galois Groups and Galois Actions on the Fundamental Group of P^1 - 0,1,infinity”, arXiv:math/0006158 (2001).

Solutions 0

No solutions have been posted yet.