等質空間

数学、とくにリー群、代数群、位相群の理論において、群 G の等質空間（とうしつくうかん、英: homogeneous space）は、G が推移的に作用するような空でない多様体あるいは位相空間 X である。G の元は X の対称変換 (symmetry) と呼ばれる。特別な場合は、問題の G が空間 X の自己同型群であるときである――ここで「自己同型群」は等長変換群（英語版）、微分同相群、あるいは同相群（英語版）の意味である。この場合 X が等質空間であるとは、直感的には X が、等長写像（リジッド幾何学）、微分同相写像（微分幾何学）、あるいは同相写像（位相幾何学）の意味において、各点で局所的に同じに見えるということである。著者によっては G の作用が忠実である（非単位元は非自明に作用する）ことを要求するが、本記事ではそうしない。したがって、X 上のある「幾何学的構造」を保ち X を単一の G-軌道にすると考えられるような G の X への群作用が存在する。 X を空でない集合とし G を群とする。X が G-空間であるとは、G が X に作用していることをいう。自動的に G は集合に自己同型（全単射）によって作用することに注意する。X がさらにある圏に属しているならば、G の元はその圏における同型射として作用すると仮定される。したがって G によってもたらされる X 上の写像は構造を保つ。等質空間は G が推移的に作用するような G-空間である。 簡潔には、X が圏 C の対象であれば、G-空間の構造は圏 C の対象 X の自己同型射の群の中への準同型写像 ρ: G → AutC(X) である。対 (X, ρ) は ρ(G) が X の台集合の対称変換の推移的な群であるならば等質空間を定義する。 例えば、X が位相空間であれば、群の元は X 上の同相写像として作用すると仮定される。G-空間の構造は X の同相写像群（英語版）の中への群準同型写像 ρ: G → Homeo(X) である。 同様に、X が可微分多様体であれば、群の元は微分同相写像である。G-空間の構造は X の微分同相群の中への群準同型写像 ρ: G → Diffeo(X) である。 リーマンの対称空間（英語版）は等質空間の重要なクラスであり、以下に挙げる例の多くを含む。 具体例： 等長変換群 正の曲率： 球面（直交群）： S n − 1 ≅ O ( n ) / O ( n − 1 ) {\displaystyle S^{n-1}\cong \mathrm {O} (n)/\mathrm {O} (n-1)} 向き付けられた球面（特殊直交群）： S n − 1 ≅ S O ( n ) / S O ( n − 1 ) {\displaystyle S^{n-1}\cong \mathrm {SO} (n)/\mathrm {SO} (n-1)} 射影空間（射影直交群（英語版））： P n − 1 ≅ P O ( n ) / P O ( n − 1 ) {\displaystyle \mathrm {P} ^{n-1}\cong \mathrm {PO} (n)/\mathrm {PO} (n-1)} 平坦（曲率 0）： ユークリッド空間（ユークリッド群、point stabilizer は直交群）： An ≅ E(n)/O(n) 負曲率： 双曲空間（順時ローレンツ群（英語版））、point stabilizer は直交群、双曲面モデル（英語版）に対応）： Hn ≅ O+(1, n)/O(n) 向き付けられた双曲空間： SO+(1, n)/SO(n) 反ド・ジッター空間： AdSn+1 = O(2, n)/O(1, n) その他 アフィン空間 (アフィン群、point stabilizer は一般線型群): An = Aff(n, K)/GL(n, k) グラスマン多様体（英語版）： G r ( r , n ) = O ( n ) / ( O ( r ) × O ( n − r ) ) {\displaystyle \mathrm {Gr} (r,n)=\mathrm {O} (n)/(\mathrm {O} (r)\times \mathrm {O} (n-r))} エルランゲン・プログラムの観点から、X の幾何学において、「すべての点は同じである」と理解することができる。これは19世紀中頃のリーマン幾何学より前に提案された本質的にすべての幾何学について正しかった。 したがって、例えば、ユークリッド空間、アフィン空間、射影空間はすべて自然にそれらのそれぞれの対称変換群（英語版）の等質空間である。同じことは双曲空間（英語版）のような定曲率の非ユークリッド幾何学のモデルについても正しい。 さらなる古典的な例は3次元の射影空間の直線のなす空間（同じことであるが4次元ベクトル空間の2次元部分空間のなす空間）である。GL4 がそれらに推移的に作用することを示すのは簡単な線型代数である。line co-ordinates によってそれらを径数付けできる： これらは列が部分空間の2つの基底ベクトルである 4 × 2 行列の 2 × 2 小行列式（英語版）である。得られる等質空間の幾何学はユリウス・プリュッカー（英語版）の直線幾何学（英語版）である。 一般に、X が等質空間であり、Ho が X のあるマークされた点 o（原点の選択）の安定化群であれば、X の点たちは左剰余類 G/Ho たちと対応し、マークされた点 o は単位元の剰余類に対応する。逆に、剰余類空間 G/H が与えられると、これは区別された一点すなわち単位元の剰余類を持った G の等質空間である。したがって等質空間は原点の選択なしに剰余類空間と考えることができる。 一般に、原点 o の異なる選択は、G の内部自己同型によって Ho と関係付けられる別の部分群 Ho′ による G の商群を導く。明示的には、 H o ′ = g H o g − 1 ( 1 ) {\displaystyle H_{o'}=gH_{o}g^{-1}\qquad \qquad (1)} ただし g は go = o′ なる G の任意の元である。内部自己同型 (1) はそのような g の取り方にはよらず、g modulo Ho のみに依存することに注意する。 G の X への作用が連続であれば、H は G の閉部分群である。とくに、G がリー群であれば、H はカルタンの定理によって部分リー群である。したがって G/H は滑らかな多様体であるので X は群作用と両立する一意的な滑らかな構造（英語版）を持っている。 H が単位元のみからなる部分群 {e} であれば、X は主等質空間（英語版）である。 さらに両側剰余類（英語版）空間、とりわけクリフォード・クライン形式（英語版） Γ ∖ G / H , {\displaystyle \Gamma \backslash G/H,} へと進むことができる。ここで Γ は固有不連続（英語版）に作用する（G の）離散部分群である。 例えば直線幾何の場合には、H を、16次元一般線型群 GL(4) の次のような12次元部分群、すなわち行列の成分についての条件 h13 = h14 = h23 = h24 = 0 によって定義された部分群として、次のようにして同一視できる、すなわち最初の2つの標準基底ベクトルによって張られる部分空間の安定化群を探す。これは X の次元が 4 であることを示している。 小行列式によって与えられる斉次座標（英語版）は6個だから、これは後者が互いに独立ではないことを意味する。実は6つの小行列式の間には1つの二次関係が成り立ち、これは19世紀の幾何学者に知られていた。 これはグラスマン多様体（英語版）の例として射影空間の他に知られていた最初の例である。数学においてよく使われる古典的線型群の等質空間はもっとたくさんある。 概均質ベクトル空間（英語版）の概念は佐藤幹夫によって導入された。 それは代数群 G の群作用を持った有限次元ベクトル空間 V であって、ザリスキ位相について開な（したがって稠密な）G の軌道が存在するようなものである。例は1次元空間に作用する GL(1) である。 定義は見た目よりも制約的である。そのような空間は注目すべき性質を持ち、"castling" と呼ばれる変換の違いを除いた既約概均質ベクトル空間の分類がある。 一般相対性理論が用いられる現代宇宙論では、ビアンキ分類系が活用されている。相対論における等質空間はなんらかの宇宙モデルの背景計量の空間部分を表現している。例えば、フリードマン・ルメートル・ロバートソン・ウォーカー計量における三つの場合は、ビアンキ I 型（平坦な宇宙）、V 型（開いた宇宙）、VII 型(平坦または開いた宇宙）、IX 型（閉じた宇宙）の部分集合で表現される。また、ミックスマスター宇宙（英語版）はビアンキ IX 型宇宙論の非等方な例である。 N 次元等質空間には、1/2N(N+1) 個からなるキリングベクトル集合の存在が許される。三次元の場合、全部で6つの線形独立なキリングベクトル場が存在する。三次元等質空間の特徴として、これらの線形結合を取ることによっていたるところ非零の三つのキリングベクトル場 ξ i ( a ) {\displaystyle \xi _{i}^{(a)}} を見付けることができる。 ξ [ i ; k ] ( a ) = C   b c a ξ i ( b ) ξ k ( c ) {\displaystyle \xi _{[i;k]}^{(a)}=C_{\ bc}^{a}\xi _{i}^{(b)}\xi _{k}^{(c)}} ここで、 C   b c a {\displaystyle C_{\ bc}^{a}} は「構造定数」と呼ばれる、下付き添字が反対称な定数三階テンソルである（左辺の角括弧は反対称化を、";" は共変微分作用素を表わす）。平坦で等方的な宇宙の場合には、一つの可能性として C   b c a = 0 {\displaystyle C_{\ bc}^{a}=0} (type I) が挙げられるが、閉じたFLRW宇宙の場合には ε   b c a {\displaystyle \varepsilon _{\ bc}^{a}} をレヴィ＝チヴィタ記号として C   b c a = ε   b c a {\displaystyle C_{\ bc}^{a}=\varepsilon _{\ bc}^{a}} が挙げられる。 エルランゲン・プログラム クライン幾何学（英語版） heap（英語版） 等質多様体（英語版）