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

About 1 year old · traced to

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

⨁n≥0P~(Sn−1)\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(⨁n≥0P~(Sn−1))nH^i\big(\bigoplus_{n\geq0}\widetilde{\mathcal{P}}(S^{n-1})\big)_n for its degree-nn Hopf algebra cohomology, and let K2n−i(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(⨁n≥0P~(Sn−1))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

K2n−i(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}.

References

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.