Dehn-Invariante

In der Mathematik ist die Dehn-Invariante eine Invariante von Polyedern. Zwei dreidimensionale Polyeder sind genau dann zerlegungsgleich (d. h. lassen sich in kongruente Stücke zerlegen), wenn Volumen und Dehn-Invariante übereinstimmen.

Definition

Sei $P$ ein $3$-dimensionales Polyeder mit Kanten $E_{1},\ldots ,E_{n}$. Für eine Kante $E$ bezeichne $l(E)$ ihre Länge und $\theta (E)$ ihren Diederwinkel. Dann ist die Dehn-Invariante des Polyeders definiert als

$D(P)=\sum _{i=1}^{n}l(E_{i})\otimes \theta (E_{i})\in \mathbb {R} \otimes \mathbb {R} /\pi \mathbb {Q}$.

Beispiele

• Für einen Würfel $W$ der Kantenlänge $a$ ist

$D(W)=\sum _{i=1}^{12}a\otimes {\frac {\pi }{2}}=0$

wegen ${\tfrac {\pi }{2}}=0\in \mathbb {R} /\pi \mathbb {Q}$.

• Für ein regelmäßiges Tetraeder $T$ mit Kantenlänge $a$ sind die diedrischen Winkel $\theta$ keine rationalen Vielfachen von $\pi$, deshalb ist

$D(T)=\sum _{i=1}^{6}a\otimes \theta =6a\otimes \theta \not =0$.

Geschichte

Nach dem Satz von Bolyai-Gerwien sind $2$-dimensionale Polygone zerlegungsgleich, wenn sie denselben Flächeninhalt haben. Hilberts drittes Problem fragte, ob $3$-dimensionale Polyeder zerlegungsgleich sind, wenn sie dasselbe Volumen haben. Max Dehn widerlegte dies 1900, indem er zeigte, dass ein regelmäßiges Tetraeder nicht zerlegungsgleich zum volumengleichen Würfel ist. Er unterschied die beiden Körper durch eine Invariante, die in moderner Terminologie (unter Verwendung des Tensorprodukts) der Dehn-Invariante entspricht. Jean-Pierre Sydler bewies 1965, dass $3$-dimensionale Polyeder genau dann zerlegungsgleich sind, wenn Volumen und Dehn-Invariante übereinstimmen.

Literatur

• Walter David Neumann: Hilbert’s 3rd problem and invariants of 3-manifolds. In: Igor Rivin et al. (Hrsg.): The Epstein Birthday Schrift dedicated to David Epstein on the occasion of his 60th birthday. In: Geom. Topol. Monogr. 1, 1998, S. 383–411 (University of Warwick, Institute of Mathematics).