Abstract:Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory.
In this paper we address the particular case of the $K$-theory of polyhedra, also called scissors congruence $K$-theory. We introduce an explicit, computable trace map from the higher scissors congruence groups to group homology, and use this trace to prove the existence of some nonzero classes in the higher scissors congruence groups.
We also show that the $K$-theory of polyhedra is a homotopy orbit spectrum. This fits into Thomason's general framework of $K$-theory commuting with homotopy colimits, but we give a self-contained proof. We then use this result to re-interpret the trace map as a partial inverse to the map that commutes homotopy orbits with algebraic $K$-theory.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce an explicit and computable trace map in cut - and - paste K - theory, especially for the K - theory of polyhedra (also known as cut - congruence K - theory). Specifically, the authors introduce an explicit trace map from higher - order cut - congruence groups to group homology and use this trace map to prove the existence of some non - zero classes in higher - order cut - congruence groups.
### Background and Motivation
1. **Cut - Congruence Problem**:
- The classical cut - congruence problem explores whether, in Euclidean space $\mathbb{E}^n$, given two polyhedra $P$ and $Q$, $P$ can be transformed into $Q$ by a finite number of cuts and rejoining.
- In the two - dimensional Euclidean plane $\mathbb{E}^2$, area is the only cut - congruence invariant. Therefore, as long as $P$ and $Q$ have the same area, $P$ can be transformed into $Q$ by cutting and rejoining.
- Hilbert's third problem asks whether two polyhedra with the same volume in three - dimensional Euclidean space $\mathbb{E}^3$ are always cut - congruent. The answer is no. Two invariants, volume and Dehn invariant, are required to determine whether two polyhedra are cut - congruent.
2. **Modern Approaches**:
- Modern approaches usually adopt algebraic means. The cut - congruence group $P(X, G)$ is defined as the free abelian group generated by polyhedra in the geometric space $X$, modulo cutting and pasting operations and translations under the action of the isometry group $G$ of $X$.
- Volume and the generalized Dehn invariant are homomorphisms of the cut - congruence group $P(X, G)$.
3. **K - theory Perspective**:
- Zakharevich shows that $P(X, G)$ can be regarded as the zero - th homotopy group of a K - theory spectrum $K(P_X^G)$, where $P_X^G$ is a category defined using polyhedra in $X$ and isometries in $G$.
- This makes the study of cut - congruence a branch of algebraic K - theory and generates a series of higher - order cut - congruence groups $K_n(P_X^G)$.
### Main Contributions of the Paper
1. **Construction of Trace Map**:
- The authors construct an explicit trace map from the higher - order K - theory of polyhedra to group homology.
- This trace map is applicable to any K - theory variant derived from an assembler or, more generally, a category with covering families.
2. **Commutativity of Homotopy Orbits**:
- The authors prove that for any group $G$ and any $G$-category $C$ with covering families, there is a spectrum equivalence:
\[
K(C)^{hG}\xrightarrow{\sim}K(C^{hG})
\]
- This is a variant of Thomason's theorem, indicating that K - theory is commutative under homotopy orbits.
3. **Applications of Trace Map**:
- Through the trace map, the authors prove the existence of some non - zero classes in higher - order cut - congruence groups.
- The trace map can also partially reverse - recover the homotopy $G$-orbits of the map $K(C)\to HA$ induced by a measure.
### Conclusion
By introducing an explicit trace map, this paper provides a new tool for cut - and - paste K - theory, which is helpful for further studying the properties and structures of higher - order cut - congruence groups. This result is not only theoretically significant but also provides new methods for practical calculations.