[論文レビュー] A comparative review of recent researches in geometry

Felix C. Klein|ArXiv.org|Jul 20, 2008

History and Theory of Mathematics参考文献 7被引用数 10

ひとこと要約

1872年のこの画期的な論文において、フェリクス・クラインは、幾何学がその背後にある変換群によって分類されるべきであると提唱するエルランゲン・プログラムを提唱した。群論の枠組みにおいて、ユークリッド幾何学、射影幾何学、双曲幾何学といったさまざまな幾何学を統合することで、クラインは、それぞれの幾何学が特定の変換群に対応し、その群の下での不変量がその性質を定義することを確立した。主な貢献は、幾何学が本質的に変換群の下での不変量の研究であるという統一的原則である。

ABSTRACT

Felix Klein's so-called Erlangen Program was published in 1872 as professoral dissertation. It proposed a new solution to the problem how to classify and characterize geometries on the basis of projective geometry and group theory. The given translation was made in 1892 by Dr. M. W. Haskell and transcribed by N. C. Rughoonauth. We replaced bibliographical data in text and footnotes with pointers to a complete bibliography section.

研究の動機と目的

• 変換群を幾何理論の基礎として特定することで、現代幾何学の統一的原則を確立すること。
• 射影幾何学、計量幾何学、直線幾何学といった孤立した幾何学的分野の断片化を解消し、それらがすべて異なる変換群から生じることを示すこと。
• 群論的アプローチを高次元多様体および非ユークリッド幾何学へと拡張し、幾何学的考察の範囲を一般化すること。
• 古典的な代数的形式（例：二進立方形式や二進四次形式）の不変量が、球面表現を用いて幾何学的に視覚化できることを示すこと。
• 曲率が一定またはゼロである測定が、固定された基本的配置（例：点または複比）を固定することで自然に生じることを示し、幾何学を群作用と結びつけること。

提案手法

• 変換群を、合成および逆元をとる操作に関して閉じた空間変換の集合として定義し、幾何学的不変量の代数的基盤を築く。
• 対称性群によって幾何学を分類する：ユークリッド幾何学は剛体運動の群、射影幾何学は射影変換の群、など。
• 『基本群』の概念を用いて、特定の不変量を保存する変換の部分群を固定することで幾何学を定義する。
• 点（表面上または表面外）を固定することで、群論的枠組みを表面に適用し、一定またはゼロの曲率の測定を導く。
• 二進形式（例：立方形式や四次形式）の代数的不変量を、ステレオグラフィック射影と群作用を用いてリーマン球面上に表現する。
• 幾何学的モデルとして、点の配置（例：正三角形、正四面体）としての共変量（例：$Q$, $ abla$, $H$, $T$）を構成し、その対称性が代数的関係を反映することを示す。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド幾何学、射影幾何学、双曲幾何学といった多様な幾何学が、どのように同一の概念的枠組みに統合できるか？
• RQ2 変換群が、特定の幾何学を特徴付ける不変量を定義する上で果たす役割は何か？
• RQ3 表面における曲率の測定が、群作用の下で固定された点または配置の選択からどのように生じるか？
• RQ4 二進形式の代数的不変量を、球面上の幾何学的変換を用いて体系的に視覚化できるか？
• RQ5 直線幾何学における線の複比の重要性は何か？そして、それがどのように計量的構造を誘導するか？

主な発見

• 幾何学は本質的に、変換群の下での不変量の研究である。それぞれの幾何学は特定の群（例：射影群、ユークリッド群）に対応する。
• かつて射影幾何学の外縁とされた計量的性質も、無限遠の虚円を基本的配置として固定することで回復可能である。
• 表面に存在しない点を固定すると、一定曲率の測定が得られる。一方、固定点が表面上にある場合には、ゼロ曲率の測定が得られる。
• 表面の生成子は、誘導された計量において長さがゼロの直線であり、異なる配置間で弧長要素はスケーリング要因の違いを除いて同一である。
• 二進立方形式および二進四次形式の不変量理論は、球面上に視覚化可能である。共変量は、対称的な点配置（例：正三角形、正四面体）に対応する。
• ペンキル $iH + u jf$ の解の $T$ は、球面上の対称な正四面体の頂点に対応し、対辺は座標軸によって二等分される。