b37053d28d6368eb.tex
1: \begin{abstract}
2: Let $\Hf$ be a Coxeter hyperplane arrangement on $\R^n$ with Coxeter
3: group~$W$. 
4: We assume that the map $-\id$ is in the group $W$ and that $\Hf$ is not of type
5: $A_1^n$.
6: Let $K$ be a measurable subset of~$\R^n$ with finite volume
7: such that $K$ is stable by~$W$ and let $a\in\R^n$
8: such that $K$ contains the convex hull of $\{w(a) : w\in W\}$.
9: The authors proved in a previous article that
10: the alternating sum over the chambers~$T$ of~$\Hf$ of the volumes of the
11: sets $T\cap(K+a)$ is zero.
12: In this paper we give a dissection proof of this result.
13: In fact, we lift the identity to an abstract dissection
14: group to obtain a similar identity with the volume replaced by any
15: valuation that is invariant under affine isometries.
16: This includes the cases of all intrinsic volumes. 
17: Apart from some basic geometry, the main ingredient is 
18: a previous theorem of the authors (the proof of which uses only properties of
19: Coxeter systems and closed convex polyhedral cones)
20: where we relate the alternating sum
21: of the values of certain valuations over the chambers of a Coxeter arrangement
22: to similar alternating sums for simpler subarrangements called
23: $2$-structures. 
24: \end{abstract}
25: