Zakharevich's perfectness conjecture for scissors automorphism groups

About 2 years old · traced to

Let EnE^n be the nn-dimensional Euclidean space and let P⊆EnP\subseteq E^n be a polytope. The abelianisation of a group is its quotient by its commutator subgroup. Zakharevich's conjecture. For every polytope P⊆EnP\subseteq E^n with n≥2n\geq 2, the scissors automorphism group Aut⁡(P)\operatorname{Aut}(P) is perfect, that is,

Aut⁡(P)ab⁡=0.\operatorname{Aut}(P)^{\operatorname{ab}}=0.

This is equivalent to the vanishing of the groups K1(En)K_1(\mathcal{E}^n) in even dimensions n≥2n\geq 2, which are unknown according to the source. The conjecture gives a group-theoretic formulation of that expected vanishing.

References

Primary source

Alexander Kupers, Ezekiel Lemann, Cary Malkiewich, Jeremy Miller and Robin J. Sroka, “Scissors automorphism groups and their homology”, arXiv:2408.08081 (2024).

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.