等質空間

等質空間の理論とその応用

数学の分野では、特にリー群、代数群、および位相群の理論において、群 G が推移的に作用する非空の多様体や位相空間 X のことを「等質空間」と呼びます。ここで G の要素は X の対称変換として考えられます。

等質空間の基本的な定義

等質空間 X は空でない集合であり、G という群が X へ作用している場合、これを G-空間と呼びます。G の元は自動的に集合に自己同型的に作用し、もし X がある圏に含まれているならば、G の要素はその圏における同型射として作用すると仮定されます。これにより、G によって作られた X 上の写像は構造を保っていると考えられます。簡潔に言えば、X が圏 C の対象であれば、G-空間の構造は次のように表現される準同型写像によって定義されます：

$$ ρ: G → Aut_C(X) $$

ここで、対 (X, ρ) が G の作用によって推移的な対称変換の群を成す場合、X は等質空間とされます。

具体例

等質空間の具体例として、位相空間 X の場合、G の元が X 上の同相写像として作用し、群の構造は以下のように表現されます：

$$ ρ: G → Homeo(X) $$

また、X が可微分多様体である場合、G の元は微分同相写像として作用します。群の構造は次のように示されます：

$$ ρ: G → Diffeo(X) $$

リーマンの対称空間は等質空間の重要なクラスを形成し、以下の具体例が含まれます：

• - 正の曲率の例：球面（特に直交群や特殊直交群による）、射影空間（射影直交群による）
• - 平坦な例：ユークリッド空間（ユークリッド群に基づく）
• - 負の曲率の例：双曲空間（順時ローレンツ群による）

例えば、正の曲率を持つ球面は無限に近づくことができない特性を持ち、直交群を基にした等質空間として記述できます。

幾何学的な視点

エルランゲン・プログラムの観点から、X の幾何学は「すべての点が同じである」と理解できます。これはリーマン幾何学以前から多くの幾何学に当てはまり、ユークリッド空間、アフィン空間、射影空間などの各モデルがその対称変換群に基づいた等質空間として自然に振る舞います。加えて、定曲率の非ユークリッド幾何学である双曲空間も同様です。

剰余類空間としての等質空間

一般に、X が等質空間でマークされた点 o の安定化群 Ho が存在する場合、X の点は左剰余類 G/Hₒ に対応します。これは元の等質空間の構造を新しい視点で捉えることを可能にします。特に G のX への作用が連続的であれば、Ho は G の閉部分群となります。
さらに、原点に対する異なる選択は、G の内部自己同型によって別の部分群を導くことが可能です。

概均質ベクトル空間

概均質ベクトル空間の考えは、有限次元ベクトル空間 V に群作用を持たせ、開な G の軌道がザリスキ位相で存在することを要求します。この定義に従うと、既約な概均質ベクトル空間の性質が整理され、特に数学の別の分野とも関連づけられます。

物理学への応用

等質空間の概念は、現代の宇宙論においても重要な役割を果たします。特に、一般相対性理論ではビアンキ分類系が利用され、宇宙モデルの背景計量を表現する際に等質空間が利用されます。具体的には、フリードマン・ルメートル・ロバートソン・ウォーカー計量などにおいて様々な宇宙モデルが定義されます。N 次元の等質空間には、特定のキリングベクトル場が存在することが許され、宇宙の幾何学的な理解を深めています。

結論

等質空間の概念は、数学の多くの分野に訪れる重要な理論であり、幾何学や物理学など様々な文脈での応用があります。その姿は多様であり、利用される背景や現象に応じて多様な解析が求められています。

もう一度検索