Canonical decomposition of polyhedral functions and scissors congruence in the projective space (Q5941874)

A function \(F:\mathbb{P}^n\to \mathbb{R}\) is said to be polyhedral if \(F\) is a piecewise constant function with polyhedral domains \(K_i\) of constancy, that is, if it can be written as \(F=\sum^m_{i=1} a_iI_{K_i}\). Two such polyhedral functions \(F\) and \(F'\) are said to be scissors congruent if they admit representations \(F(x)=\sum_i F_i(x)\) and \(F'(x)= \sum_iF_i(t_i(x))\), where \(F_i\) are polyhedral functions on \(\mathbb{P}^n\) and \(t_i\) are congruences of \(\mathbb{P}^n\) induced by orthogonal transformations of \(\mathbb{R}^{n+1}\). Restricting the defining polyhedra of \(F\) to \(\mathbb{P}^{n-1}\) in a canonical way, a function \(\Psi(F):\mathbb{P}^{n-1} \to\mathbb{R}\) can be associated with \(F\). The main result states that two polyhedral functions on \(\mathbb{P}^n\) \((n\) even) are scissors congruent if and only if \(\Psi(F)\), \(\Psi(F'): \mathbb{P}^{n-1} \to\mathbb{R}\) are scissors congruent.