ビアンキ分類

数学では、(Luigi Bianchi)の名前に因んだ、**ビアンキ分類**(Bianchi classification)は、リー代数の分類である。

3-次元実リー代数は、11個のクラスに分類され、その中の 9個は単独のグループで、残る 2つは同型類で繋がるという性質を持っている。（2つのグループは、無限個の族をなし、11個のグループの中に含まれることがあり、9個のグループをなることがある。）

## 次元 0

唯一のリー代数は、可換リー代数 **R**0 である。

## 次元 1

唯一のリー代数は、可換リー代数 **R**1 で非零の実数からなる群で外部自己同型群を持っている。

## 次元 2

2つのリー代数が存在する。

# 可換リー代数 **R**2 で、外部自己同型群 GL2(**R**) を持っている。
# 2 × 2 の上半三角行列でトレースが 0 である可解リー代数である。単純連結群は、自明な中心と位数 2 の外部自己同型群を持っている。

## 次数 3

VIII 型と IX 型を除くすべての 3-次元リー代数は、**R**2 と **R** との半直積として構成することができる。ここに **R** は 2 × 2 の正方行列 M により **R**2 上へ作用する。リー代数の分類の型の違いは、行列 M の種類の違いであり、これらの型別の違いを以下にあげる。

***I型**: 可換であるが、ユニモジュラなリー代数 **R**3 である。単純連結な群は中心 **R**3 と外部自己同型群 GL3(**R**) を持っている。これは M が 0 の場合である。
***II型**: べき零でユニモジュラ、(Heisenberg algebra)である。単純連結な群は中心 **R** と外部自己同型群 GL2(**R**) を持っている。この場合は M がべき零であるが、0 ではない（固有値がすべて 0）。
***III型**: 可解であるが、ユニモジュラではない。この代数は、**R** と 2-次元の非可換リー代数である。（固有値がひとつで 0 であれば、VI型の場合に限られる。）単連結群は中心 **R** と非零な実数の群の外部自己同型を持っている。行列 M はひとつの 0 とひとつの非零な固有値を持っている。
***IV型**: 可解であるがユニモジュラではない。 [y, z] = 0, [x, y] = y, [x, z] = y + z である。単連結群は自明な中心と実数とオーダー 2 の群の積である外部自己同型群を持っている。行列 M は 2つの同じ固有値を持つが、半単純ではない。
***V型**: 可解であるがユニモジュラではない。 [y, z] = 0, [x, y] = y, [x, z] = z である。（VI型のひとつの極限であり、双方の固有値が等しい。）単連結群は自明な中心と行列式が +1 か -1 の GL2(**R**) の元である外部自己同型群を持っている。行列 M は 2つの同じ固有値を持ち、半単純である。

***VI型**: 可解であるが、ユニモジュラではない。無限個の族。**R**2 と **R** の半直積で、そこでは行列 M は非零な和をもつ異なる複数個の実固有値を持つ。単連結群は自明な中心と非零な実数と位数 2 の群の積である外部自己同型群を持つ。
***VI<sub>0</sub>型**: 可解でユニモジュラ。このリー代数は、**R**2 と **R** の半直積で、**R** では行列 M が非零の複数の実固有値で和が 0 の固有値を持つ。この型は、2-次元ミンコフスキー空間の等長群のリー代数。単連結群は自明な中心と正の実数と位数 8 の二面体群の席である外部自己同型群の積である。
***VII型**: 可解でありユニモジュラではない。無限個の族。**R**2 と **R** の半直積。そこでは行列 M は実数でも純虚数でもない固有値を持つ。単連結群は自明な中心と非零の実数である外部自己同型群を持つ。
***VII<sub>0</sub>型**: 可解でユニモジュラ。**R**2 と **R** の半直積。そこでは行列 M は零ではない虚数の固有値を持つ。これは平面の等長群のリー代数である。単連結群は、中心 **Z** と非零な実数と位数 2 の群の外部自己同型群を持つ。
***VIII型**: 半単純で、ユニモジュラ。トレースをもたない 2 × 2 の行列のリー代数 sl2(**R**)。単連結な群は中心 **Z** と位数 2 の外部自己同型群を持つ。
***IX型**: 半単純でユニモジュラ。直交群 O3(**R**) のリー代数。単連結群は位数 2 の中心と自明な外部自己同型群をもち、スピン群である。

3-次元複素リー代数の分類は、VIII型を除き同様であり、IX型は同型となり、VI型と VII型は双方ともリー代数の単純な族の部分となる。

連結な 3-次元リー群は、次のように分類することができる。中心の離散部分群で割った単連結リー群の商である。従って、上の表から読み取ることができる。

このグループ分けは、サーストン(Thurston)の幾何化予想の 8つの幾何学に関連している。さらに詳しくは、8つの幾何学の内の 7つは、単連結群上の左不変計量として実現することができる（もうひとつの方法も、ときには関連することがある。）サーストンの型が S2×**R** の幾何学はこの方法では実現することができない。

## 構造定数
3-次元ビアンキ空間はそれぞれ、次の性質を満たす 3つのキリングベクトル \xi^{(a)}_i の集合をもつ。

:\left( \frac{\partial \xi^{(c)}_i}{\partial x^k} - \frac{\partial \xi^{(c)}_k}{\partial x^i} \right) \xi^i_{(a)} \xi^k_{(b)} = C^c_{\ ab}

ここに、C^c_{\ ab} は群の「構造定数」で、低い 2つのインデックスで定数のオーダー 3のテンソル反対称テンソルである。3-次元ビアンキ空間 C^c_{\ ab} は、関係式

:C^c_{\ ab} = \varepsilon_{abd}n^{cd} - \delta^c_a a_b + \delta^c_b a_a

で与えられ、ここに \varepsilon_{abd} はレヴィ・チビタ記号であり、\delta^c_a はクロネッカーのデルタで、ベクトル a_a = (a,0,0) と 対角テンソル n^{cd} は次の表により記述される。n^{(i)} は n^{cd} の i-番目の固有値を与え、パラメータ a はすべての正の実数を渡る。

## ビアンキ空間の曲率
ビアンキ空間は、リッチテンソルが空間と座標に依存しない(basis vector)の積へ(separated)することが可能であるいう性質を持っている。

計量
:ds^2 = \gamma_{ab} \xi^{(a)}_i \xi^{(b)}_k dx^i dx^k　　（ 　\xi^{(a)}_idx^i は 1-形式である　）
が与えられると、リッチ曲率テンソルは、R_{ik} は、
:R_{ik} = R_{(a)(b)} \xi^{(a)}_i \xi^{(b)}_k

:R_{(a)(b)} = \frac{1}{2} \left[ C^{cd}_{\ \ b} \left( C_{cda} + C_{dca} \right) + C^c_{\  cd} \left( C^{\ \ d}_{ab} + C^{\ \ d}_{ba} \right) - \frac{1}{2} C^{\ cd}_b C_{acd} \right]

により与えられる。ここに構造定数のインデックスは、x^i の函数ではない \gamma_{ab} の足を上げ下げする。

## 天文学への応用
天文学では、この分類は次元 3 + 1 の次元の等質時空に対して使われる。フリードマン・ルメートル・ロバートソン・ウォーカー計量は等長で、I型、V型 の特別な場合である VII}h型と IX型である。ビアンキ I型モデルは、特別な場合として(Kasner metric)を持っている。ビアンキ IX型宇宙は(Taub metric)である。しかしながら、特異点の近くの力学は、一連のカスナー（ビアンキI型）周期により漸近的に統制される。完全な力学は、カオス的な振る舞いをしており、双曲空間の一部では本質的に非常に大量な運動が観測され、(Mixmaster)と命名され、ベリンスキー(Belinskii)、カラトニコフ(Khalatnikov)やリフシッツ(Lifshitz)に従うと、(BKL singularity)として解析される。さらに最近の仕事では、ローレンツ的なカッツ・ムーディ代数やワイル群(Weyl group)や双曲的コクセター群を空間的(spacelike)な特異点（BKL-極限）の近くの（超）重力理論の関係式が確立されている。さらに、カスナー写像の離散的性質と連続的な一般化と関係している別な仕事もある。

## 関連項目
* (Table of Lie groups)
* (List of simple Lie groups)

## 参考文献

*L. Bianchi, *Sugli spazii a tre dimensioni che ammettono un gruppo continuo di movimenti.* (On the spaces of three dimensions that admit a continuous group of movements.) Soc. Ital. Sci. Mem. di Mat. 11, 267 (1898) English translation
*Guido Fubini *Sugli spazi a quattro dimensioni che ammettono un gruppo continuo di movimenti*, (On the spaces of four dimensions that admit a continuous group of movements.) Ann. Mat. pura appli. (3) 9, 33-90 (1904); reprinted  in *Opere Scelte*, a cura dell'Unione matematica italiana e col contributo del Consiglio nazionale delle ricerche, Roma Edizioni Cremonese, 1957–62
*MacCallum, *On the classification of the real four-dimensional Lie algebras*, in "On Einstein's path: essays in honor of Engelbert Schucking" edited by A. L. Harvey, Springer ISBN 0-387-98564-6
*Robert T. Jantzen, Bianchi classification of 3-geometries: original papers in translation