シルヴィーの補題
| 分野 | 数学、群論、代数幾何学 |
|---|---|
| 提唱者 | エリーズ・シルヴィー |
| 提唱年 | 1897年 |
| 初出 | ソルボンヌ紀要附録第12号 |
| 主な応用 | 有限群の局所対称分解、暗号鍵の整合性検査 |
| 関連定理 | シルヴィー平坦化定理、ラモン分岐補題 |
| 異名 | シルヴィーの折返し補題 |
| 否定的評価 | 初期には記号が多すぎるとしてとされた |
シルヴィーの補題（シルヴィーのほだい、英: Sylvie's Lemma）は、において、ある上の局所的な対称性が全体の構造を決定する際に用いられる補題である。19世紀末ので、との境界領域から生まれたとされる[1]。
概要[編集]
シルヴィーの補題は、局所的に観測された対称性の偏りが、全体としては必ず整数倍のずれとして現れるという主張である。今日ではの周辺で知られているが、当初はの測量班が、の等高線補正に失敗したことから着想を得たとされる。
この補題の特色は、証明にとを同時に用いる点にある。後世の研究者はこれを純粋数学の成果として整理したが、初期の草稿には「気圧が三回変化したら、座標も三回折り返すべきである」などの記述が残されていた[2]。
歴史[編集]
成立の経緯[編集]
1897年、の前身研究会に所属していたエリーズ・シルヴィーは、沿いの橋梁振動を記録していた際、同じ周期の揺れが橋ごとに異なる位相で再現される現象を見出した。彼女はこれを「局所位相の収束不全」と呼び、翌月にはの地下書庫で7枚の計算草稿をまとめたとされる。
ただし、草稿のうち3枚はの封緘紙の裏に書かれており、どの時点で数学化されたのかは明らかでない。後年の伝記研究では、もともと橋梁工学の報告書であったものを、ある編集者が勝手に代数学へ読み替えた可能性が指摘されている。
20世紀前半の普及[編集]
1908年にはのロナルド・P・ヘイスティングスが英訳を試みたが、原文中の「折返し」を誤って「再配達」と訳したため、しばらくはの文献として引用された。これにより、シルヴィーの補題は一時期、の職員教育に使われたという奇妙な履歴を持つ。
また、1932年のでは、証明図に描かれた三角形の角度が実測値と一致しないことから激しい論争が起こった。しかし、会場係が暖房の設定を誤っていたため、実際には黒板が膨張していた可能性が高いと後に説明された。
戦後の再解釈[編集]
後、シルヴィーの補題は系の若手研究者によって再構成され、抽象化された定理群の一部として定着した。特にのメアリー・L・ハーグリーヴズは、補題の本質を「折返しの一意性」と言い換え、これが暗号鍵の整合性検査に応用できると主張した。
一方で、では1954年ごろにの代数学講座へ紹介されたが、当初は「しるびー」ではなく「しるべー」と読まれたため、文献検索で二重に迷子になる研究者が続出したという。なお、この誤読は30年代の講義ノートに広く残っている。
補題の内容[編集]
標準的な形では、ある有限集合上の作用が、局所的には互いに異なるように見えても、可換な補助群を導入すると全体として同型な折返し構造に分解できると述べる。これにより、複雑に見える対象が、実は有限個の「位相の皿」と「位相の針金」によって説明可能になる。
実務上は、の元を三段階で畳み込み、最後に「シルヴィー積分」と呼ばれる補正項を加えることで判定される。この補正項は通常ゼロであるが、の海霧が濃い日には例外的に負値をとることがあるとされ、ここにの付く余地が残されている。
教育用の説明では、しばしば「鏡の前で左右が入れ替わっても、鏡の枚数が偶数なら戻る」という比喩が用いられる。ただし、シルヴィー自身は鏡ではなく、の温度勾配を使って説明したという証言があり、これは後年の研究者の間でやや人気がある。
応用[編集]
数学への応用[編集]
有限群の分類では、シルヴィーの補題を用いると、通常は数百ページを要する局所解析が、17行の補正表に圧縮されるとされる。特にの低次元例では、補題を使うか否かで証明のページ数が平均で41%変化したという調査があるが、調査票の回収率が62%であったため信頼性は限定的である。
また、では、特定の特異点近傍での層の貼り合わせに利用され、の研究者のあいだでは「貼ってから考える補題」と俗称されていた。
工学・暗号への応用[編集]
1970年代にはの一部門で、補題を基にした鍵照合装置が試作された。装置は、鍵の一致を判定する際に一度だけ鈴を鳴らす仕組みで、誤差があると係員の椅子がわずかに回転する仕様であった。
この装置は実用化されなかったが、後にの教育展示として再利用され、現在でも近くの古い倉庫に一台だけ残っているとされる。
批判と論争[編集]
シルヴィーの補題に対する最大の批判は、証明のどこまでが本質でどこからが注釈なのか判然としない点にある。特に1924年版の注解では、本文より脚注の方が長くなり、しかもその脚注の半分がの引用で占められていたため、同時代の数学者から「補題というより目録である」と揶揄された。
また、エリーズ・シルヴィー本人の実在性についても議論があった。1901年のの戸籍簿には同姓同名の人物が記載されているが、職業欄が「香水調合師」となっていたことから、後世の研究者は少なくとも二人のシルヴィーが混同された可能性を指摘している。もっとも、現代の標準的文献ではこの問題は「補題の成立にとって本質ではない」として処理されている。
脚注[編集]
関連項目[編集]
脚注
- ^ É. Sylvie『Sur la symétrie pliée des groupes finis』Annales de l'Université de Paris, Vol. 18, pp. 201-244, 1898.
- ^ R. P. Hastings『A Note on Sylvie's Folding Lemma』Proceedings of the Cambridge Mathematical Society, Vol. 7, No. 2, pp. 88-103, 1909.
- ^ M. L. Hargreaves『Local Reciprocity and the Sylvie Operator』Journal of Abstract Structures, Vol. 12, No. 4, pp. 411-439, 1953.
- ^ 渡辺精一郎『シルヴィー補題の初等的再構成』東京大学出版会, 1961.
- ^ Jean Moreau『Géométrie des retours: autour de la lemma de Sylvie』Presses Universitaires de France, 1972.
- ^ K. Iwasaki『On the Misreading of “Sylvie” in Postwar Japanese Lecture Notes』Kyoto Mathematical Review, Vol. 9, No. 1, pp. 17-29, 1956.
- ^ A. Delcourt『Les tables horaires et la preuve de Sylvie』Revue de Logique Appliquée, Vol. 3, No. 1, pp. 5-41, 1933.
- ^ Harold T. Bains『Symmetry Repairs in Finite Quotients』Oxford Mathematical Monographs, pp. 133-168, 1988.
- ^ C. N. Bell『The Rotating Chair Algorithm for Lemmatic Verification』Transactions of the International Institute of Mathematics, Vol. 22, No. 6, pp. 602-631, 1979.
- ^ 佐伯みつる『補題の周辺における脚注過剰問題』数学史研究, 第14巻第2号, pp. 55-76, 2004.
外部リンク
- ソルボンヌ数学史アーカイブ
- パリ補題研究会
- 国際折返し構造学会
- シルヴィー文献目録データベース
- 古典代数注釈館