Zakharevich's perfectness conjecture for scissors automorphism groups

Let EnE^n be the nn-dimensional Euclidean space and let PEnP\subseteq E^n be a polytope. The abelianisation of a group is its quotient by its commutator subgroup. Zakharevich's conjecture. For every polytope PEnP\subseteq E^n with n2n\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 n2n\geq 2, which are unknown according to the source. The conjecture gives a group-theoretic formulation of that expected vanishing.

Sources & referencesView supporting material

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.