Goncharov's conjecture on Sah algebra cohomology and algebraic K-theory

Let P~(Sn1)\widetilde{\mathcal{P}}(S^{n-1}) be the reduced spherical scissors congruence group, and let the direct sum

n0P~(Sn1)\bigoplus_{n\geq0}\widetilde{\mathcal{P}}(S^{n-1})

be equipped with the Sah algebra Hopf structure, whose coproduct is given by the Dehn invariants. Write Hi(n0P~(Sn1))nH^i\big(\bigoplus_{n\geq0}\widetilde{\mathcal{P}}(S^{n-1})\big)_n for its degree-nn Hopf algebra cohomology, and let K2ni(C)(n)K_{2n-i}(\mathbb{C})^{(n)} denote the weight-nn part of the Adams decomposition of algebraic K-theory. Goncharov's conjecture. The Hopf algebra cohomology Hi(n0P~(Sn1))nH^i\big(\bigoplus_{n\geq0}\widetilde{\mathcal{P}}(S^{n-1})\big)_n is isomorphic to the positive eigenspace of the complex conjugation action on

K2ni(C)(n).K_{2n-i}(\mathbb{C})^{(n)}.

This conjecture connects the cohomology of the Hopf algebra arising from spherical scissors congruence and Dehn invariants with the Adams-weighted algebraic K-theory of C\mathbb{C}.

Sources & referencesView supporting material

Primary source

Inbar Klang, Josefien Kuijper, Cary Malkiewich, David Mehrle and Thor Wittich, “Higher Spherical Scissors Congruence I: Hopf Algebra”, arXiv:2509.18009 (2025).

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.