MathLabs

ヒルベルトの第3問題

解決済み、1900年幾何学ヒルベルト #3
問題の内容

3次元ユークリッド空間 R3\mathbb{R}^3 内の体積が等しい任意の2つの多面体が与えられたとき、一方を有限個の多面体片に切り分け、剛体運動で組み直して他方を作ることは常に可能か。ヒルベルトは答えが否であると予想し、体積が等しいにもかかわらずハサミ合同(分解合同)ではない2つの多面体を示すことを求めた。

ヒルベルトの弟子マックス・デーンは1900年にこの問題を解決し、ヒルベルトの23の問題の中で最初に解決された問題となった。彼は各辺 ee の長さ ℓ(e)\ell(e) と二面角 θ(e)\theta(e) を用いてデーン不変量 Dehn⁡(P)=∑eℓ(e)⊗[θ(e)]∈R⊗Q(R/πQ)\operatorname{Dehn}(P) = \sum_e \ell(e) \otimes [\theta(e)] \in \mathbb{R} \otimes_{\mathbb{Q}} (\mathbb{R}/\pi\mathbb{Q}) を導入した。いかなる有限回の多面体分割も Dehn⁡(P)\operatorname{Dehn}(P) を保ち、立方体では二面角が π/2\pi/2 であるため Dehn⁡=0\operatorname{Dehn} = 0 となる一方、正四面体では θ=arccos⁡(1/3)\theta = \arccos(1/3) が π\pi の有理数倍ではないため Dehn⁡≠0\operatorname{Dehn} \ne 0 となる。デーンの論文は1901年に『Mathematische Annalen』に掲載された。

1965年のシドラーの定理(1968年にボルゲ・イェッセンがホモロジー代数を用いて簡略化)により、体積とデーン不変量が R3\mathbb{R}^3 における多面体のハサミ合同類を完全に分類することが示され、イェッセン–トルップ(1978年)はこの結果を R4\mathbb{R}^4 へと拡張した。3次元双曲幾何および球面幾何においては、デュポンとサー(1982年)がハサミ合同群、SL2(C)\mathrm{SL}_2(\mathbb{C}) の群ホモロジー、代数的 KK 理論、およびブロッホ群を介した多重対数関数の間に深い関連を見出した。3次元双曲空間において体積とデーン不変量だけで十分かどうかは、混合テイト・モチーフに関するゴンチャロフ予想と結びついた現在進行形の問題である。

参考文献

  1. David Hilbert (1900). Mathematische Probleme
  2. Max Dehn (1901). Ueber den Rauminhalt · DOI:10.1007/bf01448001
  3. Jean-Pierre Sydler (1965). Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l'espace euclidien à trois dimensions · DOI:10.1007/bf02564364