ローレンツ群

物理学および数学において、**ローレンツ群** (ローレンツぐん、) は、（重力を除いた）全ての古典的な設定における物理現象を説明する基礎となる、ミンコフスキー時空上の全てのローレンツ変換が成す群である。ローレンツ群の名前はオランダ人物理学者ヘンドリック・ローレンツに因む。

ローレンツ変換の下では、次の法則および等式が不変に保たれる。 
* 特殊相対論的運動法則
* 電磁気学におけるマクスウェル方程式
* 電子論におけるディラック方程式
そのため、多くのよく知られた自然界の基本法則に対応する対称性は、ローレンツ群によって表現することができる。

## 基本性質
ローレンツ変換はミンコフスキー時空上の原点を不動点とする等長変換であり、ローレンツ群は、等長変換全体が成すポアンカレ群の部分群であるといえる。したがって、ローレンツ群はミンコフスキー時空上の等長変換群の等方的部分群である。この理由から、ローレンツ群は**同次ローレンツ群** ()と呼ばれることがあり、対してポアンカレ群は*非同次ローレンツ群* () と呼ばれることがある。ローレンツ変換は線形変換あるのに対して、ミンコフスキー時空上の一般の等長変換はアフィン変換である。

数学的には、ローレンツ群は 、すなわち  上の二次形式
:  (t,x,y,z) \mapsto t^2-x^2-y^2-z^2
を不変に保つ行列リー群として記述できる。この二次形式は、行列形式に直すと（を参照）、物理的にはミンコフスキー時空の計量テンソルであると理解される。

ローレンツ群は、六次元の連結でなくコンパクトでない実リー群である。その四つの連結成分は単連結ではない。ローレンツ群の（つまり単位元を含む成分）はそれ自身群を成し、しばしば**制限ローレンツ群** () と呼ばれ、  と表記される。制限ローレンツ群は空間の向きと時間の方向を保存するローレンツ変換から成る。制限ローレンツ群はしばしば代数を用いて表される。

制限ローレンツ群は別の、純粋数学的方法からも生じる。例えば、特定の常微分方程式の対称点群から生じる。このことは物理的重要性も持つ。

### 連結成分

ローレンツ群  はリー群であるから、滑らかな多様体として位相的に説明することができる。多様体としては、四つの連結成分を持っている。直感的には、このことは四つの位相的に分離した部分から成ることを意味する。

四つの連結成分はその要素がもつ二つの変換特性により分類される。
* ある種類の要素は時間反転ローレンツ変換により逆転される。たとえば、未来を向いた時間的ベクトルは過去を向いたベクトルに反転される。
* ある種類の要素は向きを**非固有ローレンツ変換** () により逆転される。たとえば、特定のがそれにあたる。
時間の方向を保存するローレンツ変換は**順時ローレンツ変換** () と呼ばれる。順時ローレンツ変換が成す部分群はしばしば  と表記される。向きを保存するものは**固有ローレンツ変換** () と呼ばれ、線形変換としての行列式は （非固有ローレンツ変換では ）となる。固有ローレンツ変換の成す部分群は  と表記される。 

向きと時間の方向を両方を保存する全てのローレンツ変換の成す部分群は、**固有順時ローレンツ群** () もしくは**制限ローレンツ群** () と呼ばれ、  と表記される。（もしくは  とさえ書いていても実際には  の意味で書いている著者もいるので注意。）

これら四つの連結成分の集合には、商群  としての群構造が与えられ、これはクラインの四元群と同型である。  の全ての元は、固有等時ローレンツ変換と離散群
: 
の元との半直積により書ける。ここで、  および  はそれぞれ空間反転および時間反転作用素である。
: 
: 
したがって、任意のローレンツ変換は固有順時ローレンツ変換に、これら二つの演算子を作用させるかさせないかを選び、どの連結成分に属するかを決めることにより表現できる。このパターンは有限次元リー群において典型的である。

## 制限ローレンツ群
制限ローレンツ群はローレンツ群のであり、従って群内の連続曲線によって単位元と結ぶことができる。制限ローレンツ群はローレンツ群全体の連結な正規部分群であり、次元も同じ六次元である。

制限ローレンツ群は通常の空間回転とローレンツブースト（時間的方向を含む平面上のと考えることができる）により生成される。全ての固有順時ローレンツ変換は回転（で記述される）とブースト（やはり三つの実パラメータで記述される）の積で書くことができ、任意の固有順時ローレンツ変換の記述には六つの実パラメータが必要となる。これはローレンツ群が六次元であることを理解する一つの方法である。（リー代数の節も参照。）

回転全ては通常のと同型なリー部分群を成す。しかし、ブーストを二つ組み合わせても一般にはブーストにはならないため、ブースト全ては部分群を成さない（むしろ、二つの非共線なブーストはブーストと回転の組み合わせに相当し、に関連付けられる）。ある方向へのブーストもしくはある軸周りの回転は、を生成する。

### 推移曲面

群  が空間  に作用するとき、曲面  が**推移曲面** () であるとは、 が  の下で不変、つまり  が任意の  と  に対して成り立ち、かつ任意の二点  に対してある  が存在して  が成り立つことをいう。ローレンツ群は定義により二次形式
: Q(x) = x_0^2 - x_1^2 - x_2^2 - x_3^2
を保つ。順時ローレンツ群  の時空上の推移曲面  には次の場合がある。
*  の場合、二葉双曲面の上側部分。
*  の場合、二葉双曲面の下側部分。
*  の場合、光円錐の上側部分。
*  の場合、光円錐の下側部分。
*  の場合、一葉双曲面。
* 原点 。
これらの（超）曲面は三次元であり、画像は正確なものではなく、 についての対応する事実に対して忠実なものである。ローレンツ群全体に対しては、推移曲面は四種類のみとなる。双曲面および双円錐の上側から下側およびその逆に移す変換  が存在するからである。

これらの知見は、ローレンツ群の全てのを、そして実はポアンカレ群のそれを、の方法を用いて見付けるためのよい出発点となる。まず、各推移曲面に一つずつ「標準ベクトル」を選び、どの部分群がそれを保存するかを調べる。これらの部分群を物理学者は小群と呼ぶ。 問題は、より簡単な、小群の表現を見つけるという問題に帰着される。例えば、二葉双曲面の標準ベクトルは  の形で選ぶことができる。各  に対して、このベクトルはちょうど1つの葉に属する。この場合、小群は回転群  であり、その全ての表現は既知である。正に粒子が変換される無現次元ユニタリ表現がその分類の一部である。必ずしも全ての表現が（既知の）物理的粒子に対応づけられるわけではない。一葉双曲面の標準ベクトルはタキオンに対応する。光円錐上の粒子は光子や、仮説の段階ではあるが重力子である。原点に対応する「粒子」は真空である。

### メビウス群との関係性
制限ローレンツ群  は射影線型群  と同型であり、これはさらにメビウス群、リーマン球面上のの対称操作群と同型である（この知識は、ロジャー・ペンローズによってツイスター理論の出発点として用いられている）。

このことは、リー群  から  への**スピノル写像**と呼ばれる全射準同型写像を構築することで示すことができる。これは、次のように進められる。

ミンコフスキー時空上の  の作用を、時空上の点を次の形の 2×2 エルミート行列で表すことによって定義することができる。
:  X = \begin{bmatrix} t+z & x-iy \\ x+iy & t-z \end{bmatrix}. 
この表現は次の好ましい性質を持っている。
:  \det \, X = t^2 - x^2 - y^2 - z^2. 
したがって、エルミート行列の張る空間（*実*ベクトル空間としては四次元空間）を、行列式をミンコフスキー時空上の距離の自乗と考えることによって、ミンコフスキー時空と同一視することができる。 はエルミート行列に対して以下のように作用する。
:  X \mapsto P X P^*. 
ここで P^* は P のエルミート転置であり、この作用は行列式を保存する。したがって、 はミンコフスキー時空に（線形）等長に作用する。これにより、  からローレンツ群  への写像を定義することができ、この写像は明らかに準同型写像である。これがスピノル写像である。

スピノル写像の核は二元  からなる部分群であり、この写像は全射である。第一同型定理により、商群  は  と同型である。

#### 夜空の見かけ
この同型性の帰結として、リーマン球面上のメビウス変換は、「静止した星々」に対して相対論的速度で運動している観測者から見るであろうように、ローレンツ変換により夜空の見かけが変わる様を表現しているということができる。

「静止した星々」がミンコフスキー時空上にあり、天球上の点によりモデル化されるものとする。すると、天球上のある点はリーマン球面上の点に対応する複素数  と対応づけることができ、ミンコフスキー時空上のヌルベクトル（光的ベクトル）は次のように表される。
:  \left[ \begin{matrix} u^2+v^2+1 \\ 2u \\ -2v \\ u^2+v^2-1 \end{matrix} \right] 
または、エルミート行列の形で次のように表される。
:  N = 2\left[ \begin{matrix} u^2+v^2 & u+iv \\ u-iv & 1 \end{matrix} \right] 
このヌルベクトルの実数倍の集合はある時刻にある点にいる観測者の（ミンコフスキー時空の任意の世界点を原点とすることができる）星のような離れた適当な物体への「視線」と呼ぶことができる。ここで、天球上の点（同等に、視線）をあるエルミート行列により指定することができる。

### 共役類
制限ローレンツ群  はメビウス群  と同型であるため、その共役類も五つに分けられる。
* **楕円型**変換
* **双曲型**変換
* **斜航型** () 変換
* **放物型**変換
* 自明な**恒等**変換
メビウス変換の項では、メビウス変換をリーマン球面上に作用させたときの不動点を考えることにより、この分類がどのように生じるかを説明しているが、この不動点はここでは制限ローレンツ変換をミンコフスキー時空に作用させたときのヌル固有空間に相当する。

各分類型の例を、それが生成するの影響（たとえば夜空の見かけ）とともに下の節に挙げる。

メビウス変換はリーマン球面（もしくは天球）上の共形変換である。ここで、  の任意の要素と共役させることにより後述の、楕円型、双曲型、斜航型、放物型ローレンツ変換の任意の要素がそれぞれ得られる。対応する1パラメータ部分群の **フロー線** () への影響は、共形変換の例に見ることができる。たとえば、楕円型ローレンツ変換は天球状の二つの任意の不動点をもつことができるが、片方の不動点からもう片方の不動点へと弧状のフローを持つ。他の型でも同様である。

#### 楕円型
 の楕円型要素は
:  P_1 = \left[ \begin{matrix} \exp(i \theta/2) & 0 \\ 0 & \exp(-i \theta/2) \end{matrix} \right] 
であり、  を不動点として持つ。作用を  のように書き、項を集めると、スピノル写像により次の制限ローレンツ変換に対応づけられる。
:  Q_1 = \left[ \begin{matrix} 1 & 0            & 0             & 0 \\
                                     0 & \cos(\theta) & -\sin(\theta) & 0 \\
                                     0 & \sin(\theta) &  \cos(\theta) & 0 \\
                                     0 & 0            & 0             & 1 \end{matrix} \right]=\exp \left ( \theta
\left[ \begin{matrix} 0 & 0            & 0             & 0 \\
                                     0 & 0 & -1 & 0 \\
                                     0 & 1 &  0 & 0 \\
                                     0 & 0            & 0             & 0 \end{matrix} \right]
\right )  
この変換は  軸回りの回転、 を表わす。この生成する1パラメータ部分群は  を実変数とすることにより得られる。

対応する天球上の連続変換は（恒等変換以外は）全てが北極と南極という同じ不動点を持つ。他の全ての点は変換により緯線上を移動する。よって、この群は  が増えるに従って  軸まわりの連続な反時計周り回転を与える。スピノル写像での明らかな「角度倍増」は「スピノル二重被覆」の特徴的な特性である。

#### 双曲型
 の双曲型要素は
:  P_2 = \left[ \begin{matrix} \exp(\beta/2) & 0 \\ 0 & \exp(-\beta/2) \end{matrix} \right] 
で、 を不動点として持つ。リーマン球面からユークリッド平面への立体投影の下、このメビウス変換の影響は原点からの発散となる。

スピノル変換により、これらは次のローレンツ変換に対応づけられる。
:  Q_2 = \left[ \begin{matrix} \cosh(\beta) & 0 & 0 & \sinh(\beta) \\
                                     0            & 1 & 0 & 0 \\
                                     0            & 0 & 1 & 0 \\
                                     \sinh(\beta) & 0 & 0 & \cosh(\beta) \end{matrix} \right] = \exp \left ( \beta\left[ \begin{matrix} 
                                              0 & 0 & 0 & 1 \\
                                     0            & 0 & 0 & 0 \\
                                     0            & 0 & 0 & 0 \\
                                     1 & 0 & 0 & 0 
\end{matrix} \right]  \right ) 
この変換は  軸に沿ったラピディティ  のブーストを表わす。これにより生成される1パラメータ部分群は  を実変数とすることにより得られる。対応する天球上の連続変換は（恒等変換以外は）南極と北極という同じ不動点を持つ。他の全ての点は経線に沿って南極から北極方向へと移動する。

#### 斜航型
 の斜航型要素は
:  P_3 = P_2 P_1 = P_1 P_2
            = \left[ \begin{matrix} \exp \left((\beta+i\theta)/2 \right) & 0 \\ 
                                    0                                    & \exp \left(-(\beta+i\theta)/2 \right)
                     \end{matrix} \right] 
であり、  を不動点として持つ。スピノル写像によりこれは下のローレンツ変換に対応づけられる。
: Q_3 = Q_2 Q_1 = Q_1 Q_2 
これにより生成される1パラメータ部分群は  を複素定数ではなく実変数と置き換えることにより得られる。（ が独立に変化するならば、 軸回りの回転と同時に  軸に沿ったブーストから成る「二次元」アーベル部分群が得られる。対照的に、ここでとりあげる「一次元」部分群は、二次元部分群の要素のうちブーストの**ラピディティ**と回転の**角度**が「固定比」になっているものから成る。）  

対応する天球上の連続変換は、（恒等変換以外は）南極と北極という同じ不動点を持つ。他の全ての点は南極から北極（もしくはその逆）に向かって'''斜航線'''と呼ばれる種類の曲線に沿って移動する。各斜航線は無限に、通常は各極の回りで螺旋を描く。

#### 放物型
 の放物型要素は
:  P_4 = \left[ \begin{matrix} 1 & \alpha \\ 0 & 1 \end{matrix} \right] 
で、リーマン球面上に  を唯一の不動点として持つ。立体射影の下、実軸に沿った通常の平行移動として現れる。

スピノル変換により、次の（ローレンツ変換を表わす）行列に対応づけられる。
:  Q_4 = \left[ \begin{matrix} 1+\vert\alpha\vert^2/2 & \operatorname{Re}(\alpha) & \operatorname{Im}(\alpha) & -\vert\alpha\vert^2/2  \\
                              \operatorname{Re}(\alpha)       & 1      & 0 & -\operatorname{Re}(\alpha)      \\
                              -\operatorname{Im}(\alpha)            & 0      & 1 & \operatorname{Im}(\alpha)            \\
                              \vert\alpha\vert^2/2  & \operatorname{Re}(\alpha) & \operatorname{Im}(\alpha) & 1-\vert\alpha\vert^2/2 \end{matrix} \right] 
:  ~ =  \exp  \left[ \begin{matrix} 0& \operatorname{Re}(\alpha) & \operatorname{Im}(\alpha) & 0  \\
                              \operatorname{Re}(\alpha)       & 0      & 0 & -\operatorname{Re}(\alpha)      \\
                              -\operatorname{Im}(\alpha)            & 0      & 0 & \operatorname{Im}(\alpha)            \\
                              0  & \operatorname{Re}(\alpha) & \operatorname{Im}(\alpha) & 0 \end{matrix} \right]     
これにより生成される2パラメータアーベル部分群は、 を複素変数とすることにより得られる。対応する天球状の連続変換は（恒等変換以外は）北極においてある大円に接する円に沿って点を動かす。北極以外の点は全てこの円に沿って動く。

放物型ローレンツ変換はしばしば**ヌル回転** () と呼ばれる。なぜなら、回転が時間的ベクトルを保存したりブーストが空間的ベクトルを保存するのと同様に、ヌルベクトルが保存されるからである。この型のローレンツ変換は恒等変換以外の四種類のローレンツ変換（楕円型、双曲型、斜航型、放物型）の中でも最もなじみのないなので、放物型ローレンツ変換の例がどのような影響をミンコフスキー時空上に与えるのかをここで例示する。 

上の行列は次の変換を与える。
: 
\left[ \begin{matrix} t \\ x \\ y \\ z \end{matrix} \right]
\rightarrow
\left[ \begin{matrix} t \\ x \\ y \\ z \end{matrix} \right]
+ \operatorname{Re}(\alpha) \;
\left[ \begin{matrix} x \\ t-z \\  0 \\ x \end{matrix} \right]
+ \operatorname{Im}(\alpha) \;
\left[ \begin{matrix} y \\ 0 \\ z-t \\ y \end{matrix} \right]
+ \frac{\vert\alpha\vert^2}{2} \;
\left[ \begin{matrix} t-z \\ 0 \\ 0 \\ t-z \end{matrix} \right]

ここで、一般性を失うことなく  とする。この変換を実パラメータ  で微分し、 で評価することにより、次の対応するベクトル場（一次線形微分作用素）が生成される。
:  x \, \left( \partial_t + \partial_z \right) + (t-z) \, \partial_x 
これを関数  に適用し、不変であること、つまりこの変換により消滅することを要請すると、その結果得られる一次線形偏微分方程式は次の形式で表現できる。
: f(t,x,y,z) = F(y, \, t-z , \, t^2-x^2-z^2)
ここで F は「任意の」滑らかな関数である。F の引数は、この放物型変換により世界点がどのように移動するかを記述する三つの「回転不変量」で、これらは不変に保たれる。
:  y = c_1, \quad t-z = c_2, \quad t^2-x^2-z^2 = c_3 
これらの右辺の定数に実数値を選ぶことにより三つの条件が得られ、それがミンコフスキー時空上の曲線を指定する。この曲線は変換の軌道である。 

これらの回転不変量の形式から、フロー線（軌道）がシンプルに説明できることがわかる。あまり重要でない座標  を無視すると、各軌道は「ヌル平面」  と「双曲面」   との交差線となる。 の場合は放物面は光円錐へと縮退し、軌道は対応するヌル平面上の放物線になる。

光円錐上のある特定のヌルラインは不変に保たれる。これは上述したリーマン球面上の不動点に対応する。原点を通る別のヌルラインは変換により「円錐の周りに振り回される」。そのようなヌルラインが  が増えるにつれどのように動くかは、上述の天球上のある円形フロー線に沿って動く点に対応する。

代わりに  とすると、似た軌道ではあるが  と  の役割が逆転したものが得られる。 

放物型変換はヘリシティ  の質量のない粒子（たとえば光子）のゲージ対称性に繋がる。さきほど明示した例では、 方向に質量のない粒子は運動しており、その四元運動量は  であり、運動中の「小群」内では上で示した -ブーストと -回転の組み合わせ   により変化しない。このことは明示した変換則から明らかである。 は光的ベクトルであるから不変であり、したがって  を変化させても何も影響を受けない。上の特殊な場合では  である。（類似の生成子  と   も  と同型な光的ベクトルの小群を構成する。）

## リー代数
リー群の常として、ローレンツ群の多くの側面がそのリー代数により明らかにできる。ローレンツ群は  上の微分同相群の部分群であり、したがってそのリー代数は  上のベクトル場により明らかにされる。具体的には、空間に等長性を生成するベクトルはキリングベクトルであり、これがリー代数を計算する際に便利な左不変なベクトル場の代わりとなる。次の六つの生成子を書き下すことができる。
* 三つの回転  を生成する  上のベクトル場
:  -y \partial_x + x \partial_y \equiv i J_z ~, \qquad  -z \partial_y + y \partial_z\equiv iJ_x~, \qquad -x \partial_z + z \partial_x \equiv iJ_y
* 三つのブースト *i* ***K*** を生成する  上のベクトル場
:  x \partial_t + t \partial_x\equiv iK_x ~, \qquad  y \partial_t + t \partial_y\equiv iK_y ~, \qquad z \partial_t + t \partial_z\equiv  iK_z 
ここで、次のような一階線形偏微分作用素の形で書かれたベクトル場から1パラメータ群を得る方法について軽くおさらいしておこう。
:  -y \partial_x + x \partial_y 
対応する初期値問題は以下のようになる。
:  \frac{\partial x}{\partial \lambda} = -y, \; \frac{\partial y}{\partial \lambda} = x, \; x(0) = x_0, \; y(0) = y_0 
この解は次のように書ける。
:  x(\lambda) = x_0 \cos(\lambda) - y_0 \sin(\lambda), \; y(\lambda) = x_0 \sin(\lambda) + y_0 \cos(\lambda) 
または
:  \left[ \begin{matrix} t \\ x \\ y \\ z \end{matrix} \right]
= \left[ \begin{matrix} 1 & 0             & 0              & 0 \\
                        0 & \cos(\lambda) & -\sin(\lambda) & 0 \\ 
                        0 & \sin(\lambda) & \cos(\lambda)  & 0 \\
                        0 & 0             & 0              & 1 \end{matrix} \right]
\left[ \begin{matrix} t_0 \\ x_0 \\ y_0 \\ z_0 \end{matrix} \right] 
ここで、 軸まわりの回転  の1パラメータ行列群をすぐにみてとることができる。群パラメータ  で微分し  を代入すれば、次の行列が得られる。
: iJ_z=  \left[ \begin{matrix} 0 & 0 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{matrix} \right] 
これが最初のベクトル場に対応する。このようにしてリー代数の要素の行列表現とベクトル場表現を対応づけることができる。

前節の手続を逆転させることにより、上の六つの生成子に対応するメビウス変換が次に示すパウリ行列にそれぞれ   （回転の場合）および   （ブーストの場合）をかけて指数関数をとったものになることがわかる。
:   \sigma_1 = \left[ \begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix} \right], \; \;
          \sigma_2 = \left[ \begin{matrix} 0 & -i \\ i & 0 \end{matrix} \right], \; \;
          \sigma_3 = \left[ \begin{matrix} 1 & 0 \\ 0 & -1 \end{matrix} \right] 
ここでの目的のためには、別の生成子がより便利である。下表その六つの生成子の一覧を挙げる。表の見方は、
* 最初の行は（リーマン球面から立体射影した後の）ユークリッド平面上の*実*ベクトル場としてのメビウス群の作用の下のフローの生成子を示す。
* 二行目は対応するメビウス変換の1パラメータ部分群を示す。
* 三行目は対応する（上の1パラメータ部分群を準同型写像でうつした）ローレンツ変換の1パラメータ部分群を示す。
* 四行目は対応するミンコフスキー時空上の実ベクトル場としてのローレンツ群の作用の下のフローの生成子を示す。
これらの生成子は次からなることに注意されたい。 
* 二つの放物型（ヌル回転）
* 一つの双曲型（ 方向のブースト）
* 三つの楕円型（ 軸まわりの回転）

この表の一列を検証してみよう。始めに、
:  \sigma_2 = \left[ \begin{matrix} 0 & i \\ -i & 0 \end{matrix} \right] 
を指数関数に入れて次を得る。
:  \exp \left( \frac{ i \theta}{2} \, \sigma_2 \right) =
\left[ \begin{matrix} \cos(\theta/2) & -\sin(\theta/2) \\ \sin(\theta/2) & \cos(\theta/2) \end{matrix} \right] 
この  の要素は（楕円型）メビウス変換の1パラメータ部分群の表現である。
:  \xi \mapsto \frac{ \cos(\theta/2) \, \xi - \sin(\theta/2) }{ \sin(\theta/2) \, \xi + \cos(\theta/2) } 
さらに次を得る。
:  \left . \frac{d\xi}{d\theta} \right|_{\theta=0} = -\frac{1+\xi^2}{2} 
対応する  上のベクトル場（立体射影の下の  の像と考えることができる）は
:  -\frac{1+\xi^2}{2} \, \partial_\xi 
\xi = u + i v と書くことにすると、これは  上のベクトル場となる。
:  -\frac{1+u^2-v^2}{2} \, \partial_u - u v \, \partial_v 
 の要素に戻り、作用  X \mapsto P X P^*  を書き出して項を集めると、スピノル写像の像は次の  の要素であることがわかる。
:  \left[ \begin{matrix} 1 & 0             & 0 & 0            \\
                                 0 & \cos(\theta)  & 0 & \sin(\theta) \\
                                 0 & 0             & 1 & 0            \\
                                 0 & -\sin(\theta) & 0 & \cos(\theta) \end{matrix} \right] 
 で微分して  を代入すると、対応する  上のベクトル場が得られる。  
:  z \partial_x - x \partial_z
これは明らかに  軸まわりの反時計回り回転である。

## ローレンツ群の部分群
ローレンツ群のリー代数の部分代数はを共役による違いを除いて列挙することができる。そこから、制限ローレンツ群の閉じた部分群を共役の違いを除いて列挙することができる。（詳細についてはを参照のこと。） その結果は上の表に挙げた生成系により容易に表現できる。

その一次元部分代数はもちろんローレンツ群の四つの共役類に次のように対応する。
* X_1 により放物型1パラメータ部分代数  が生成される。
* X_3 によりブーストの1パラメータ部分代数  が生成される。
* X_4 により回転の1パラメータ部分代数  が生成される。
* X_3 + a X_4 (a \neq 0 は任意) により斜航型変換の1パラメータ部分代数が生成される。
（厳密に言うと、最後の生成子は  が違えば違う類に対応するため、無限の類に対応する。）二次元部分代数については、
* X_1, X_2 により放物型全体のアーベル部分代数が生成される。
* X_1, X_3 により、アフィン群  に同型な非アーベル部分代数が生成される。
* X_3, X_4 により、不動点対を共有するブースト、回転、斜航型変換からなるアーベル部分代数が生成される。
三次元部分代数については、
* X_1,X_2,X_3 により、「ユークリッド相似群」 のリー代数と同型な、**ビアンキ V 型**部分代数が生成される。
* X_1,X_2,X_4 により、ユークリッド群  と同型な、**ビアンキ VII_0 型**部分代数が生成される。
* X_2,X_2,X_3 + a X_4 （ただし a \neq 0）により、**ビアンキ VII_a 型**部分代数が生成される。
* X_1,X_3,X_5 により、双曲平面上の等長変換群であるリー代数  と同型な、**ビアンキ VIII 型**部分代数が生成される。
* X_4,X_5,X_6 により、 回転群のリー代数  と同型な、**ビアンキ  IX 型**部分代数が生成される。
（ここで、ビアンキ分類とはイタリア人数学者による三次元リー代数の分類である。） 四次元部分代数はすべて次に共役である。
* X_1,X_2,X_3,X_4 により、ユークリッド相似変換 群  のリー代数に同型な部分代数が生成される。
これら部分代数は格子を形成し（図を参照）、各部分代数は制限リー群の閉部分群のべき乗により生成される。これらから、クラインの四元群の要素を乗することにより、ローレンツ群の全ての部分群が、共役による違いを除いて、構成できる。

連結リー群の常として、制限ローレンツ群の閉じた部分群の剰余空間、すなわち等質空間は、非常に数学的に興味深い。いくつか簡潔な説明を加えると、
* 群  は「ヌルライン」、すなわちリーマン球面上の点の であり、等質空間  は球面  上のを表現するである。
* ユークリッド群  （の単位元成分）はヌルベクトルの安定化部分群である。よって、等質空間  は質量のない粒子の運動量空間である。幾何学的にはこのクライン幾何はミンコフスキー時空上の光円錐の「縮退した」幾何を表現している。
* 回転群  は時間的ベクトルの安定化部分群である。よって、 は質量のある粒子の運動量空間である。幾何学的には、この空間は三次元  にほかならない。

## 被覆群
前節では、スピノル写像と呼ばれる準同型写像  を構築した。 は単連結であるから、これは制限ローレンツ群  の被覆群である。 制限により、準同型写像  が得られる。ここで、特殊ユニタリ群  は単位ノルム四元数の成す群と同型であるから、これもまた単連結であり、回転群  の被覆群である。これらの被覆写像はそれぞれ、被覆群のちょうど二つの要素が商群の各要素に対応するという意味で二重写像である。制限ローレンツ群と回転群とは**二重連結**であるということが多い。これは、各群の基本群が二要素巡回群  と同型であることを意味する。

（量子力学への応用においては、特殊線形群  のことがローレンツ群とよばれていることもある。）

二重被覆はスピン群の特徴である。実際、二重被覆
: 
: 
に加えて次の二重被覆も存在する。
: 
: 
: 
これらスピノルはクリフォード代数と密接に関連している。 

## トポロジー
二重被覆
: 
の左辺と右辺の群はそれぞれ次の二重被覆の左辺と右辺の群の変位レトラクトである。
: 
ここで、等質空間  は  と位相同型であるから、制限ローレンツ群はファイバー  および底  を持つ主ファイバー束であることが示されたことになる。 後者は  と位相同型であるから、 が三次元  と同型であるのに対して、制限ローレンツ群は  と  の積に「局所的に」同型であるといえる。この底空間は可縮であるから、これは大域位相同型に拡張可能である。

## より高次元への一般化
ローレンツ群の概念は任意の次元の時空に対して自然に一般化することができる。数学的には、-次元ミンコフスキー時空のローレンツ群は  上の線形変換のうち、次の二次形式を普遍に保つ変換の成す （もしくは ）である。
:  (x_1,x_2,\ldots ,x_n,x_{n+1})\mapsto x_1^2+x_2^2+\cdots +x_n^2-x_{n+1}^2
四次元ローレンツ群  () の性質の多くが直ちに任意の  へ拡張できる。たとえば、ローレンツ群  は四つの連結成分を持ち、-次元ミンコフスキー時空上に -次元天球上の共形変換として作用する。単位元成分  は -次元双曲空間  上の -束である。

 や  の低次元のものは、物理的な  の場合の「トイモデル」としてしばしば有用である。対して、より高次元のものは弦理論などの隠された次元の存在を仮定する物理理論においてもちいられる。ローレンツ群  は等質空間  として実現される -次元ド・ジッター空間  の等長群でもある。特に、 は宇宙モデルのひとつド・ジッター宇宙  の等長群である。

## 脚注

## 関連項目

* ローレンツ変換
* 
* ポアンカレ群
* メビウス群
* ミンコフスキー空間
* 

* 
* 
* 
* 特殊相対性理論
* 

## 参照文献

*  *See Chapter III* for the orthogonal groups O(p, q).
*  A canonical reference; *see chapters 1–6* for representations of the Lorentz group.
*   An excellent resource for Lie theory, fiber bundles, spinorial coverings, and many other topics.
*   *See Lecture 11* for the irreducible representations of SL(2, **C**).
* 
*  *See Chapter 6* for the subalgebras of the Lie algebra of the Lorentz group.
*   *See also* the  *See Section 1.3* for a beautifully illustrated discussion of covering spaces.  *See Section 3D* for the topology of rotation groups.
*  (Dover reprint edition.) An excellent reference on Minkowski spacetime and the Lorentz group.
*   *See Chapter 3* for a superbly illustrated discussion of Möbius transformations.
* .