Alexander Kupers,Ezekiel Lemann,Cary Malkiewich,Jeremy Miller,Robin J. Sroka
Abstract:In any category with a reasonable notion of cover, each object has a group of scissors automorphisms. We prove that under mild conditions, the homology of this group is independent of the object, and can be expressed in terms of the scissors congruence K-theory spectrum defined by Zakharevich. We therefore obtain both a group-theoretic interpretation of Zakharevich's higher scissors congruence K-theory, as well as a method to compute the homology of scissors automorphism groups. We apply this to various families of groups, such as interval exchange groups and Brin--Thompson groups, recovering results of Szymik--Wahl, Li, and Tanner, and obtaining new results as well.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the homology properties of the automorphism group of scissors congruence. Specifically, the authors studied in Euclidean geometry, given an n - dimensional polyhedron \(P\), whether the homology of its scissors - congruence automorphism group \(\text{Aut}(P)\) is independent of the specific choice of polyhedron, and whether it can be expressed by the scissors - congruence K - theory spectrum defined by Zakharevich.
### Main problem decomposition:
1. **Homology independence**:
- The authors proved that for any two non - empty n - dimensional polyhedra \(P\) and \(Q\), the homology of their scissors - congruence automorphism groups is the same, that is:
\[
H_*(\text{Aut}(P))\cong H_*(\text{Aut}(Q))
\]
This result shows that the homology property does not depend on the specific choice of polyhedron.
2. **Homology description**:
- The authors further proved that the homology of these automorphism groups can be represented as the homology of the infinite loop space \(\Omega^\infty K(E^n)\), where \(K(E^n)\) is the scissors - congruence K - theory spectrum defined by Zakharevich:
\[
H_*(\text{Aut}(P))\cong H_*(\Omega^\infty K(E^n))
\]
3. **Applications and generalization**:
- The authors applied the above results to different polyhedron types (such as rectangular transformation groups, Brin - Thompson groups, etc.), and recovered some known results (such as the results of Szymik - Wahl, Li, and Tanner), and also obtained some new results.
- The paper also explored how to study a wider range of scissors - congruence automorphism groups by changing the allowed polyhedra and transformation groups.
### Key conclusions:
- **Homology stability**: The homology of the scissors - congruence automorphism group is stable under certain conditions, which provides an effective method for calculating the homology of these groups.
- **K - theory interpretation**: By introducing Zakharevich's scissors - congruence K - theory, the authors gave a group - theoretic interpretation and provided a new method for calculating the homology of the scissors - congruence automorphism group.
### Formulas involved:
- **Homology equivalence**:
\[
H_*(\text{Aut}(P))\cong H_*(\text{Aut}(Q))
\]
- **Relationship between homology and K - theory**:
\[
H_*(\text{Aut}(P))\cong H_*(\Omega^\infty K(E^n))
\]
Through these studies, the authors not only solved the problem of the independence of the homology of the scissors - congruence automorphism group, but also provided new tools and perspectives for understanding and calculating the homology of these groups.