Scissors Congruence with Mixed Dimensions
We introduce a Grothendieck group for bounded polytopes in . It differs from the usual Euclidean scissors congruence group in that lower-dimensional polytopes are not ignored. We also define an analogous group using germs of polytopes at a point, which is related to spherical scissors congruence. This provides a setting for a generalization of the Dehn invariant.