Goncharov's motivic polylogarithmic complex conjecture

At least 23 years old · documented by

Let K\mathbb K be a field of characteristic zero. Motivic cohomology of the point is denoted by Hi,m(Spec⁡K,Q)H^{i,m}(\operatorname{Spec}\mathbb K,\mathbb Q), and Γ(K,m)\Gamma(\mathbb K,m) is Goncharov's polylogarithmic complex

Γ(K,m) ⁣:Bm(K)→δmBm−1(K)⊗K×→δm⋯→δmB2(K)⊗Λm−2K×→δmΛmK×.\Gamma(\mathbb K,m)\colon \mathcal B_m(\mathbb K)\xrightarrow{\delta_m} \mathcal B_{m-1}(\mathbb K)\otimes \mathbb K^\times\xrightarrow{\delta_m}\dots\xrightarrow{\delta_m}\mathcal B_2(\mathbb K)\otimes \Lambda^{m-2}\mathbb K^\times\xrightarrow{\delta_m}\Lambda^m \mathbb K^\times.

Goncharov's conjecture. For any field K\mathbb K there is a functorial isomorphism

Hi,m(Spec⁡K,Q)≅Hi(Γ(K,m)).H^{i,m}(\operatorname{Spec}\mathbb K,\mathbb Q)\cong H^i(\Gamma(\mathbb K,m)).

This conjecture proposes that the polylogarithmic complex computes the motivic cohomology of a field. The paper proves a rational comparison in degree m−1m-1 and weight mm, but the statement in all degrees remains open.

References

Primary source

Vasily Bolbachan, “On Goncharov's conjecture in next to Milnor degree”, arXiv:2404.06271 (2025).

Additional references

2 papers in this index state this conjecture (2002–2024). The statement above is taken from the most recent of them; the others are arXiv:math/0202154.

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.