オルヴァニエの定理
| name | オルヴァニエの定理 |
|---|---|
| field | 離散数学、位相代数 |
| statement | 有向準安定多面体の境界曲率が閾値κ0を超えるとき、再配列核は有限オルヴァン次数に分解される |
| proved_by | エミール・オルヴァニエ |
| year | 1937年 |
におけるオルヴァニエの定理（おるゔぁにえのていり、英: Orvanier's theorem）は、のがある条件を満たすとき、そのが有限に分解されることを述べた定理である[1]。
概要[編集]
オルヴァニエの定理は、のうち、とくにとの境界領域で扱われる定理である。対象となるのは、頂点ごとの局所対称性が不均一なであり、これに付随するの分解可能性を保証する。
この定理は、のにおいて、鉄道時刻表の誤差補正を抽象化する目的で導入されたとされる。もっとも、後年の研究では、証明の一部が沿いの喫茶店で書き換えられたことが示唆されており、数学史家の間では「定理の成立過程そのものが半分は編集技術である」と評されることがある[2]。
定理の主張[編集]
オルヴァニエの定理は、P に対し、境界曲率関数 K(P) が臨界値 κ0 を満たすならば、P の再配列核 R(P) は有限個のによる直和分解を持つ、という形で述べられる。ここでオルヴァン次数とは、各部分群の生成半径を辺長規格化量で重みづけした値である。
形式的には、K(P) > κ0 ならば R(P) ≅ ⊕i=1n Gi であり、各 Gi は上の半半単純作用に対して安定であるとされる。このとき n は多面体の面数ではなく「反転許容節点数」に一致すると定義されるが、反転許容節点数の測定法は記録によって微妙に異なっている。なお、初版論文では κ0 の値が 3/7 であったのに対し、改訂版では 11/26 に変更されている[3]。
証明[編集]
証明は三段階に分かれる。第一段階では、を用いて対象多面体を「見かけ上だけ等方的」な形に正規化する。第二段階では、境界曲率の上昇に伴って生じるを追跡し、再配列核が局所的に有限生成であることを示す。第三段階では、の変種を適用し、有限オルヴァン次数への分解が全体として整合的であることを導く。
ただし、原著の証明には「夜間における補間項の安定性については自明である」とだけ書かれた箇所があり、後代の研究者はこの部分を三十年かけて埋めることになった。とくにのは、1939年の講演でこの空白を「証明の中の沈黙」と呼び、黒板の右端にだけ不自然に長い注記を書き残したと伝えられる[4]。
もっとも、現代的な再構成では、証明の核心は「局所的に対称性を壊したあと、壊れ方そのものを対称化する」という逆説的手法にあるとされる。この手法は後にの代数幾何学セミナーでも流用され、参加者の一部は定理そのものより黒板の消し残しのほうに感銘を受けたという。
歴史的背景[編集]
オルヴァニエの定理の成立には、の個人的経歴が深く関わっている。彼はに近郊で生まれ、もともとはの区画整理係として勤務していたが、郵便ルートの最適化問題を多面体に見立てたことから数学へ転じたとされる。なお、彼の初期ノートには「包絡線は切手の粘着面に似る」という不可解な走り書きが確認されている[5]。
、オルヴァニエは前身の小規模研究会で、との共同研究に触発され、準安定構造に関する講義録を書き始めた。この講義録は後にの内部配布物として流通し、にはすでに「オルヴァニエ補題」と呼ばれる下位命題が各地で独立に引用されていたとされる。
また、定理の公表時期はとされるが、実際には前年の冬にの書店で限定的に回覧された手書き版が存在したという説がある。そこでは主定理の最後の一行が、後の版と異なり「条件が良ければたいてい分解する」と書かれていたため、当初は数学というより天気予報に近いものとして扱われたともいう。
一般化[編集]
オルヴァニエの定理は、その後版、版、版へと一般化された。とくにのによる拡張では、境界曲率の閾値 κ0 を確率変数とみなし、期待値条件のみで再配列核の有限分解を保証する定式化が与えられた[6]。
さらににはのが、オルヴァン次数を的に測る「局所オルヴァン指標」を導入した。これにより、従来は分解不能と考えられていた対象でも、座標系を変えると突然きれいに割れる場合があることが示された。もっとも、実験に用いられた対象の一部は、講義後にホワイトボード上で「少しずつ動いていた」と記録されており、解析に先立って固定の概念を再検討する必要があったという。
近年ではへの適用も試みられているが、こちらは「定理が成り立つ」というより「成り立つことにしておくと計算機が機嫌よく動く」と評されることが多い。なお、2022年の国際会議では、オルヴァニエの定理の一般化をめぐる討論が4時間47分続き、最後に議長が「結局、κ0 は文化的概念である」と述べて閉会した。
応用[編集]
オルヴァニエの定理は、理論数学の内部で完結しているように見えて、実際にはいくつかの応用分野を持つとされる。まずでは、有限オルヴァン次数による分解を用いて、誤り訂正符号の余剰対称性を見積もる手法が知られている。これにより、の一部の通信装置で、受信済みデータの末尾だけが妙に整然としていた現象が説明されたという。
次にでは、の区画モデルを単純化する際に、再配列核の概念が「道路の急な折れ曲がりをどこまで許容するか」の指標として流用された。実際、の再開発計画の内部資料には「オルヴァン次数 4 を超える街区は歩行者が迷う」との記述があり、行政文書にしては珍しく実用的であったといわれる[7]。
また、への応用も試みられている。とくにの変形構造を有向準安定多面体に写像すると、境界曲率の高い作品ほど再配列核が小さくなる傾向が観察された。これを受けて、の某未完作品の再現演奏にオルヴァニエ的補正を加えたところ、指揮者が「和声ではなく曲面の問題になった」と述べた逸話がある。
一方で、民間分野では「オルヴァニエの定理に従う棚」は崩れにくいとして、書店什器の設計仕様に名前だけが転用された例もある。もっとも、これは数学的定理の応用というより、売場担当者が専門用語を気に入った結果である可能性が高い。
批判と論争[編集]
オルヴァニエの定理には、早くから「定理の形をした設計図にすぎない」との批判があった。とくにのでは、が、オルヴァン次数の定義が観測者依存であることを指摘し、証明が定理ではなく儀礼になっているのではないかと問題提起した[8]。
これに対し支持派は、観測者依存性こそが再配列核の本質であると反論したが、会場の一部ではその後も「κ0 の前後で話が急に抽象的になりすぎる」との不満が残った。また、オルヴァニエ本人が晩年に残した草稿の中には、主張の末尾に「ただし実験室の照明が一定ならば」と付記された版があり、後世の編集で削除されたとされる。
さらに以降は、定理の適用範囲が広がりすぎた結果、どんな対象にもオルヴァニエの定理を当てはめようとする風潮が生じた。ある研究集会では、コーヒーカップの取っ手を多面体の境界とみなして議論が始まり、最終的に「曲率は高いが再配列核は空である」という結論で全員が納得したという。これは後に「カフェオルヴァン事件」と呼ばれたが、正式な記録はとされている。
脚注[編集]
[1] オルヴァニエ, エミール『多面体の再配列核に関する初等的考察』パリ数学紀要, Vol. 12, 第3号, 1937, pp. 201-248.
[2] Dubreuil, A. “Coffeehouses and Curvature: Notes on the Paris School”, Journal of Imaginary Mathematics, Vol. 8, No. 2, 1949, pp. 55-91.
[3] Morin, C.『境界曲率閾値の再計算について』Annales de Géométrie Discrète, 第5巻第1号, 1951, pp. 14-39.
[4] 長谷川澄夫「オルヴァニエ定理の空白補間に関する講演記録」東京数理講報, 第2巻第4号, 1940, pp. 73-88.
[5] Orvanier, É. Carnets postaux et polytopes. Manuscrit inédit, Lyon, 1929, pp. 3-17.
[6] Berenson, M. “A Probabilistic Extension of the Orvanier Decomposition”, Transactions of Applied Topology, Vol. 19, No. 7, 1964, pp. 401-455.
[7] 東京都港区都市整備局『再開発区域における折返し準同型の運用基準』内部資料, 1988, pp. 2-19.
[8] Borton, H. “On Observer-Dependence in Finite Orvan Counts”, Proceedings of the London Mathematical Society, Vol. 41, 1952, pp. 118-137.
関連項目[編集]
脚注
- ^ オルヴァニエ, エミール『多面体の再配列核に関する初等的考察』パリ数学紀要, Vol. 12, 第3号, 1937, pp. 201-248.
- ^ Dubreuil, A. “Coffeehouses and Curvature: Notes on the Paris School”, Journal of Imaginary Mathematics, Vol. 8, No. 2, 1949, pp. 55-91.
- ^ Morin, C.『境界曲率閾値の再計算について』Annales de Géométrie Discrète, 第5巻第1号, 1951, pp. 14-39.
- ^ 長谷川澄夫「オルヴァニエ定理の空白補間に関する講演記録」東京数理講報, 第2巻第4号, 1940, pp. 73-88.
- ^ Orvanier, É. Carnets postaux et polytopes. Manuscrit inédit, Lyon, 1929, pp. 3-17.
- ^ Berenson, M. “A Probabilistic Extension of the Orvanier Decomposition”, Transactions of Applied Topology, Vol. 19, No. 7, 1964, pp. 401-455.
- ^ 西園寺文彦『局所オルヴァン指標と p進分解』京都代数研究, 第11巻第2号, 1981, pp. 9-62.
- ^ Borton, H. “On Observer-Dependence in Finite Orvan Counts”, Proceedings of the London Mathematical Society, Vol. 41, 1952, pp. 118-137.
- ^ Thompson, R. J. “Rearrangement Kernels in Directed Polyhedra”, Advances in Speculative Algebra, Vol. 3, No. 1, 1972, pp. 1-44.
- ^ 『オルヴァニエ定理百年誌』国際準備委員会編, パリ数理出版会, 2037, pp. 4-29.
外部リンク
- 国際オルヴァニエ学会
- パリ準安定多面体研究所
- 東京数理講報アーカイブ
- オルヴァン次数データベース
- 架空数学史資料館