ローレンツ群

ローレンツ群の名前の由来、ヘンドリック・アントーン・ローレンツ (1853–1928) 

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

ローレンツ変換の下では、次の法則および等式が不変に保たれる。

• 特殊相対論的運動法則
• 電磁気学におけるマクスウェル方程式
• 電子論におけるディラック方程式

そのため、多くのよく知られた自然界の基本法則に対応する対称性は、ローレンツ群によって表現することができる。

基本性質

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

数学的には、ローレンツ群はテンプレート:仮リンク テンプレート:Math、すなわち テンプレート:Math 上の二次形式

$(t,x,y,z)\mapsto t^2-x^2-y^2-z^2$

を不変に保つ行列リー群として記述できる。この二次形式は、行列形式に直すと（テンプレート:仮リンクを参照）、物理的にはミンコフスキー時空の計量テンソルであると理解される。

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

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

連結成分

2+1次元時空の光円錐

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

四つの連結成分はその要素がもつ二つの変換特性により分類される。

• ある種類の要素は時間反転ローレンツ変換により逆転される。たとえば、未来を向いた時間的ベクトルは過去を向いたベクトルに反転される。
• ある種類の要素は向きを非固有ローレンツ変換 (テンプレート:Lang) により逆転される。たとえば、特定のテンプレート:仮リンクがそれにあたる。

時間の方向を保存するローレンツ変換は順時ローレンツ変換 (テンプレート:Lang) と呼ばれる。順時ローレンツ変換が成す部分群はしばしば テンプレート:Math と表記される。向きを保存するものは固有ローレンツ変換 (テンプレート:Lang) と呼ばれ、線形変換としての行列式は テンプレート:Math（非固有ローレンツ変換では テンプレート:Math）となる。固有ローレンツ変換の成す部分群は テンプレート:Math と表記される。

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

これら四つの連結成分の集合には、商群 テンプレート:Math としての群構造が与えられ、これはクラインの四元群と同型である。 テンプレート:Math の全ての元は、固有等時ローレンツ変換と離散群

テンプレート:Math

の元との半直積により書ける。ここで、 テンプレート:Mvar および テンプレート:Mvar はそれぞれ空間反転および時間反転作用素である。

テンプレート:Math

テンプレート:Math

したがって、任意のローレンツ変換は固有順時ローレンツ変換に、これら二つの演算子を作用させるかさせないかを選び、どの連結成分に属するかを決めることにより表現できる。このパターンは有限次元リー群において典型的である。

制限ローレンツ群

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

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

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

推移曲面

一葉双曲面

双円錐面

二葉双曲面

群 テンプレート:Mvar が空間 テンプレート:Mvar に作用するとき、曲面 テンプレート:Math が推移曲面 (テンプレート:Lang) であるとは、テンプレート:Mvar が テンプレート:Mvar の下で不変、つまり テンプレート:Math が任意の テンプレート:Math と テンプレート:Math に対して成り立ち、かつ任意の二点 テンプレート:Math に対してある テンプレート:Math が存在して テンプレート:Math が成り立つことをいう。ローレンツ群は定義により二次形式

$Q(x)=x_0^2-x_1^2-x_2^2-x_3^2$

を保つ。順時ローレンツ群 テンプレート:Math の時空上の推移曲面 テンプレート:Math には次の場合がある。

• テンプレート:Math の場合、二葉双曲面の上側部分。
• テンプレート:Math の場合、二葉双曲面の下側部分。
• テンプレート:Math の場合、光円錐の上側部分。
• テンプレート:Math の場合、光円錐の下側部分。
• テンプレート:Math の場合、一葉双曲面。
• 原点 テンプレート:Math。

これらの（超）曲面は三次元であり、画像は正確なものではなく、テンプレート:Math についての対応する事実に対して忠実なものである。ローレンツ群全体に対しては、推移曲面は四種類のみとなる。双曲面および双円錐の上側から下側およびその逆に移す変換 テンプレート:Math が存在するからである。

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

メビウス群との関係性

制限ローレンツ群 テンプレート:Math は射影線型群 テンプレート:Math と同型であり、これはさらにメビウス群、リーマン球面上のテンプレート:仮リンクのテンプレート:仮リンクと同型である（この知識は、ロジャー・ペンローズによってツイスター理論の出発点として用いられている）。

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

ミンコフスキー時空上の テンプレート:Math の作用を、時空上の点を次の形の 2×2 エルミート行列で表すことによって定義することができる。

$X=\left[\begin{array}{cc}t+z& x-iy\\ x+iy& t-z\end{array}\right].$

この表現は次の好ましい性質を持っている。

$\det X=t^2-x^2-y^2-z^2.$

したがって、エルミート行列の張る空間（実ベクトル空間としては四次元空間）を、行列式をミンコフスキー時空上の距離の自乗と考えることによって、ミンコフスキー時空と同一視することができる。テンプレート:Math はエルミート行列に対して以下のように作用する。

$X\mapsto PX{P}^{*}.$

ここで $P^{*}$ は $P$ のエルミート転置であり、この作用は行列式を保存する。したがって、テンプレート:Math はミンコフスキー時空に（線形）等長に作用する。これにより、 テンプレート:Math からローレンツ群 テンプレート:Math への写像を定義することができ、この写像は明らかに準同型写像である。これがスピノル写像である。

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

夜空の見かけ

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

「静止した星々」がミンコフスキー時空上にあり、天球上の点によりモデル化されるものとする。すると、天球上のある点はリーマン球面上の点に対応する複素数 テンプレート:Math と対応づけることができ、ミンコフスキー時空上のヌルベクトル（光的ベクトル）は次のように表される。

$\left[\begin{array}{c}{u}^2+v^2+1\\ 2u\\ -2v\\ u^2+v^2-1\end{array}\right]$

または、エルミート行列の形で次のように表される。

$N=2\left[\begin{array}{cc}{u}^2+v^2& u+iv\\ u-iv& 1\end{array}\right]$

このヌルベクトルの実数倍の集合はある時刻にある点にいる観測者の（ミンコフスキー時空の任意の世界点を原点とすることができる）星のような離れた適当な物体への「視線」と呼ぶことができる。ここで、天球上の点（同等に、視線）をあるエルミート行列により指定することができる。

共役類

制限ローレンツ群 テンプレート:Math はメビウス群 テンプレート:Math と同型であるため、その共役類も五つに分けられる。

• 楕円型変換
• 双曲型変換
• 斜航型 (テンプレート:Lang) 変換
• 放物型変換
• 自明な恒等変換

メビウス変換の項では、メビウス変換をリーマン球面上に作用させたときの不動点を考えることにより、この分類がどのように生じるかを説明しているが、この不動点はここでは制限ローレンツ変換をミンコフスキー時空に作用させたときのヌル固有空間に相当する。

各分類型の例を、それが生成するテンプレート:仮リンクの影響（たとえば夜空の見かけ）とともに下の節に挙げる。

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

楕円型

テンプレート:Math の楕円型要素は

$P_1=\left[\begin{array}{cc}\exp (i\theta /2)& 0\\ 0& \exp (-i\theta /2)\end{array}\right]$

であり、 テンプレート:Math を不動点として持つ。作用を テンプレート:Math のように書き、項を集めると、スピノル写像により次の制限ローレンツ変換に対応づけられる。

$Q_1=\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& \cos (\theta )& -\sin (\theta )& 0\\ 0& \sin (\theta )& \cos (\theta )& 0\\ 0& 0& 0& 1\end{array}\right]=\exp \left(\theta \left[\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& -1& 0\\ 0& 1& 0& 0\\ 0& 0& 0& 0\end{array}\right]\right)$

この変換は テンプレート:Mvar 軸回りの回転、テンプレート:Math を表わす。この生成する1パラメータ部分群は テンプレート:Mvar を実変数とすることにより得られる。

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

双曲型

テンプレート:Math の双曲型要素は

$P_2=\left[\begin{array}{cc}\exp (\beta /2)& 0\\ 0& \exp (-\beta /2)\end{array}\right]$

で、テンプレート:Math を不動点として持つ。リーマン球面からユークリッド平面への立体投影の下、このメビウス変換の影響は原点からの発散となる。

スピノル変換により、これらは次のローレンツ変換に対応づけられる。

$Q_2=\left[\begin{array}{cccc}\cosh (\beta )& 0& 0& \sinh (\beta )\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ \sinh (\beta )& 0& 0& \cosh (\beta )\end{array}\right]=\exp \left(\beta \left[\begin{array}{cccc}0& 0& 0& 1\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ 1& 0& 0& 0\end{array}\right]\right)$

この変換は テンプレート:Mvar 軸に沿ったラピディティ テンプレート:Mvar のブーストを表わす。これにより生成される1パラメータ部分群は テンプレート:Mvar を実変数とすることにより得られる。対応する天球上の連続変換は（恒等変換以外は）南極と北極という同じ不動点を持つ。他の全ての点は経線に沿って南極から北極方向へと移動する。

斜航型

テンプレート:Math の斜航型要素は

$P_3=P_2{P}_1=P_1{P}_2=\left[\begin{array}{cc}\exp ((\beta +i\theta )/2)& 0\\ 0& \exp (-(\beta +i\theta )/2)\end{array}\right]$

であり、 テンプレート:Math を不動点として持つ。スピノル写像によりこれは下のローレンツ変換に対応づけられる。

$Q_3=Q_2{Q}_1=Q_1{Q}_2$

これにより生成される1パラメータ部分群は テンプレート:Math を複素定数ではなく実変数と置き換えることにより得られる。（テンプレート:Mvar が独立に変化するならば、テンプレート:Mvar 軸回りの回転と同時に テンプレート:Mvar 軸に沿ったブーストから成る「二次元」アーベル部分群が得られる。対照的に、ここでとりあげる「一次元」部分群は、二次元部分群の要素のうちブーストのラピディティと回転の角度が「固定比」になっているものから成る。）

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

放物型

テンプレート:Math の放物型要素は

$P_4=\left[\begin{array}{cc}1& \alpha \\ 0& 1\end{array}\right]$

で、リーマン球面上に テンプレート:Math を唯一の不動点として持つ。立体射影の下、実軸に沿った通常の平行移動として現れる。

スピノル変換により、次の（ローレンツ変換を表わす）行列に対応づけられる。

$Q_4=\left[\begin{array}{cccc}1+|\alpha {|}^2/2& \mathrm{Re}(\alpha )& \mathrm{Im}(\alpha )& -|\alpha {|}^2/2\\ \mathrm{Re}(\alpha )& 1& 0& -\mathrm{Re}(\alpha )\\ -\mathrm{Im}(\alpha )& 0& 1& \mathrm{Im}(\alpha )\\ |\alpha {|}^2/2& \mathrm{Re}(\alpha )& \mathrm{Im}(\alpha )& 1-|\alpha {|}^2/2\end{array}\right]$

$=\exp \left[\begin{array}{cccc}0& \mathrm{Re}(\alpha )& \mathrm{Im}(\alpha )& 0\\ \mathrm{Re}(\alpha )& 0& 0& -\mathrm{Re}(\alpha )\\ -\mathrm{Im}(\alpha )& 0& 0& \mathrm{Im}(\alpha )\\ 0& \mathrm{Re}(\alpha )& \mathrm{Im}(\alpha )& 0\end{array}\right]$

これにより生成される2パラメータアーベル部分群は、テンプレート:Mvar を複素変数とすることにより得られる。対応する天球状の連続変換は（恒等変換以外は）北極においてある大円に接する円に沿って点を動かす。北極以外の点は全てこの円に沿って動く。

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

上の行列は次の変換を与える。

$\left[\begin{array}{c}t\\ x\\ y\\ z\end{array}\right]\to \left[\begin{array}{c}t\\ x\\ y\\ z\end{array}\right]+\mathrm{Re}(\alpha )\left[\begin{array}{c}x\\ t-z\\ 0\\ x\end{array}\right]+\mathrm{Im}(\alpha )\left[\begin{array}{c}y\\ 0\\ z-t\\ y\end{array}\right]+\frac{|\alpha {|}^2}{2}\left[\begin{array}{c}t-z\\ 0\\ 0\\ t-z\end{array}\right]$

ここで、一般性を失うことなく テンプレート:Math とする。この変換を実パラメータ テンプレート:Mvar で微分し、テンプレート:Math で評価することにより、次の対応するベクトル場（一次線形微分作用素）が生成される。

$x({\partial }_t+{\partial }_z)+(t-z){\partial }_x$

これを関数 テンプレート:Math に適用し、不変であること、つまりこの変換により消滅することを要請すると、その結果得られる一次線形偏微分方程式は次の形式で表現できる。

$f(t,x,y,z)=F(y,t-z,t^2-x^2-z^2)$

ここで F は「任意の」滑らかな関数である。F の引数は、この放物型変換により世界点がどのように移動するかを記述する三つの「回転不変量」で、これらは不変に保たれる。

$y=c_1,t-z=c_2,t^2-x^2-z^2=c_3$

これらの右辺の定数に実数値を選ぶことにより三つの条件が得られ、それがミンコフスキー時空上の曲線を指定する。この曲線は変換の軌道である。

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

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

代わりに テンプレート:Math とすると、似た軌道ではあるが テンプレート:Mvar と テンプレート:Mvar の役割が逆転したものが得られる。

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

リー代数

リー群の常として、ローレンツ群の多くの側面がそのリー代数により明らかにできる。ローレンツ群は テンプレート:Math 上の微分同相群の部分群であり、したがってそのリー代数は テンプレート:Math 上のベクトル場により明らかにされる。具体的には、空間に等長性を生成するベクトルはキリングベクトルであり、これがリー代数を計算する際に便利な左不変なベクトル場の代わりとなる。次の六つの生成子を書き下すことができる。

• 三つの回転 テンプレート:Math を生成する テンプレート:Math 上のベクトル場

$-y{\partial }_x+x{\partial }_y\equiv i{J}_z,-z{\partial }_y+y{\partial }_z\equiv i{J}_x,-x{\partial }_z+z{\partial }_x\equiv i{J}_y$

• 三つのブースト i K を生成する テンプレート:Math 上のベクトル場

$x{\partial }_t+t{\partial }_x\equiv i{K}_x,y{\partial }_t+t{\partial }_y\equiv i{K}_y,z{\partial }_t+t{\partial }_z\equiv i{K}_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{array}{c}t\\ x\\ y\\ z\end{array}\right]=\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& \cos (\lambda )& -\sin (\lambda )& 0\\ 0& \sin (\lambda )& \cos (\lambda )& 0\\ 0& 0& 0& 1\end{array}\right]\left[\begin{array}{c}{t}_0\\ x_0\\ y_0\\ z_0\end{array}\right]$

ここで、テンプレート:Mvar 軸まわりの回転 テンプレート:Math の1パラメータ行列群をすぐにみてとることができる。群パラメータ テンプレート:Mvar で微分し テンプレート:Math を代入すれば、次の行列が得られる。

$i{J}_z=\left[\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& -1& 0\\ 0& 1& 0& 0\\ 0& 0& 0& 0\end{array}\right]$

これが最初のベクトル場に対応する。このようにしてリー代数の要素の行列表現とベクトル場表現を対応づけることができる。

前節の手続を逆転させることにより、上の六つの生成子に対応するメビウス変換が次に示すパウリ行列にそれぞれ テンプレート:Math （回転の場合）および テンプレート:Math （ブーストの場合）をかけて指数関数をとったものになることがわかる。

${\sigma }_1=\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right],{\sigma }_2=\left[\begin{array}{cc}0& -i\\ i& 0\end{array}\right],{\sigma }_3=\left[\begin{array}{cc}1& 0\\ 0& -1\end{array}\right]$

ここでの目的のためには、別の生成子がより便利である。下表その六つの生成子の一覧を挙げる。表の見方は、

• 最初の行は（リーマン球面から立体射影した後の）ユークリッド平面上の実ベクトル場としてのメビウス群の作用の下のフローの生成子を示す。
• 二行目は対応するメビウス変換の1パラメータ部分群を示す。
• 三行目は対応する（上の1パラメータ部分群を準同型写像でうつした）ローレンツ変換の1パラメータ部分群を示す。
• 四行目は対応するミンコフスキー時空上の実ベクトル場としてのローレンツ群の作用の下のフローの生成子を示す。

これらの生成子は次からなることに注意されたい。

• 二つの放物型（ヌル回転）
• 一つの双曲型（テンプレート:Math 方向のブースト）
• 三つの楕円型（テンプレート:Mvar 軸まわりの回転）

テンプレート:Math 上のベクトル場	テンプレート:Math の部分群のメビウス変換表現	テンプレート:Math の1パラメータ部分群のローレンツ変換表現	テンプレート:Math 上のベクトル場
放物型
${\partial }_u$	$\left[\begin{array}{cc}1& \alpha \\ 0& 1\end{array}\right]$	$\left[\begin{array}{cccc}1+{\alpha }^2/2& \alpha & 0& -{\alpha }^2/2\\ \alpha & 1& 0& -\alpha \\ 0& 0& 1& 0\\ {\alpha }^2/2& \alpha & 0& 1-{\alpha }^2/2\end{array}\right]$	$X_1=$ $x({\partial }_t+{\partial }_z)+(t-z){\partial }_x$
${\partial }_v$	$\left[\begin{array}{cc}1& i\alpha \\ 0& 1\end{array}\right]$	$\left[\begin{array}{cccc}1+{\alpha }^2/2& 0& \alpha & -{\alpha }^2/2\\ 0& 1& 0& 0\\ \alpha & 0& 1& -\alpha \\ {\alpha }^2/2& 0& \alpha & 1-{\alpha }^2/2\end{array}\right]$	$X_2=$ $y({\partial }_t+{\partial }_z)+(t-z){\partial }_y$
双曲型
$\frac{1}{2}(u{\partial }_u+v{\partial }_v)$	$\left[\begin{array}{cc}\exp \left(\frac{\beta }{2}\right)& 0\\ 0& \exp (-\frac{\beta }{2})\end{array}\right]$	$\left[\begin{array}{cccc}\cosh (\beta )& 0& 0& \sinh (\beta )\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ \sinh (\beta )& 0& 0& \cosh (\beta )\end{array}\right]$	$X_3=$ $z{\partial }_t+t{\partial }_z$
楕円型
$\frac{1}{2}(-v{\partial }_u+u{\partial }_v)$	$\left[\begin{array}{cc}\exp \left(\frac{i\theta }{2}\right)& 0\\ 0& \exp \left(\frac{-i\theta }{2}\right)\end{array}\right]$	$\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& \cos (\theta )& -\sin (\theta )& 0\\ 0& \sin (\theta )& \cos (\theta )& 0\\ 0& 0& 0& 1\end{array}\right]$	$X_4=$ $-y{\partial }_x+x{\partial }_y$
$\frac{v^2-u^2-1}{2}{\partial }_u-uv{\partial }_v$	$\left[\begin{array}{cc}\cos \left(\frac{\theta }{2}\right)& -\sin \left(\frac{\theta }{2}\right)\\ \sin \left(\frac{\theta }{2}\right)& \cos \left(\frac{\theta }{2}\right)\end{array}\right]$	$\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& \cos (\theta )& 0& \sin (\theta )\\ 0& 0& 1& 0\\ 0& -\sin (\theta )& 0& \cos (\theta )\end{array}\right]$	$X_5=$ $-x{\partial }_z+z{\partial }_x$
$uv{\partial }_u+\frac{1-u^2+v^2}{2}{\partial }_v$	$\left[\begin{array}{cc}\cos \left(\frac{\theta }{2}\right)& i\sin \left(\frac{\theta }{2}\right)\\ i\sin \left(\frac{\theta }{2}\right)& \cos \left(\frac{\theta }{2}\right)\end{array}\right]$	$\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& \cos (\theta )& -\sin (\theta )\\ 0& 0& \sin (\theta )& \cos (\theta )\end{array}\right]$	$X_6=$ $-z{\partial }_y+y{\partial }_z$

この表の一列を検証してみよう。始めに、

${\sigma }_2=\left[\begin{array}{cc}0& i\\ -i& 0\end{array}\right]$

を指数関数に入れて次を得る。

$\exp \left(\frac{i\theta }{2}{\sigma }_2\right)=\left[\begin{array}{cc}\cos (\theta /2)& -\sin (\theta /2)\\ \sin (\theta /2)& \cos (\theta /2)\end{array}\right]$

この テンプレート:Math の要素は（楕円型）メビウス変換の1パラメータ部分群の表現である。

$\xi \mapsto \frac{\cos (\theta /2)\xi -\sin (\theta /2)}{\sin (\theta /2)\xi +\cos (\theta /2)}$

さらに次を得る。

${\frac{d\xi }{d\theta }|}_{\theta =0}=-\frac{1+{\xi }^2}{2}$

対応する テンプレート:Math 上のベクトル場（立体射影の下の テンプレート:Math の像と考えることができる）は

$-\frac{1+{\xi }^2}{2}{\partial }_{\xi }$

$\xi =u+iv$ と書くことにすると、これは テンプレート:Math 上のベクトル場となる。

$-\frac{1+u^2-v^2}{2}{\partial }_u-uv{\partial }_v$

テンプレート:Math の要素に戻り、作用 $X\mapsto PX{P}^{*}$ を書き出して項を集めると、スピノル写像の像は次の テンプレート:Math の要素であることがわかる。

$\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& \cos (\theta )& 0& \sin (\theta )\\ 0& 0& 1& 0\\ 0& -\sin (\theta )& 0& \cos (\theta )\end{array}\right]$

テンプレート:Mvar で微分して テンプレート:Math を代入すると、対応する テンプレート:Math 上のベクトル場が得られる。

$z{\partial }_x-x{\partial }_z$

これは明らかに テンプレート:Mvar 軸まわりの反時計回り回転である。

ローレンツ群の部分群

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

その一次元部分代数はもちろんローレンツ群の四つの共役類に次のように対応する。

• $X_1$ により放物型1パラメータ部分代数 テンプレート:Math が生成される。
• $X_3$ によりブーストの1パラメータ部分代数 テンプレート:Math が生成される。
• $X_4$ により回転の1パラメータ部分代数 テンプレート:Math が生成される。
• $X_3+a{X}_4$ ($a\ne 0$ は任意) により斜航型変換の1パラメータ部分代数が生成される。

（厳密に言うと、最後の生成子は テンプレート:Mvar が違えば違う類に対応するため、無限の類に対応する。）二次元部分代数については、

• $X_1,X_2$ により放物型全体のアーベル部分代数が生成される。
• $X_1,X_3$ により、アフィン群 テンプレート:Math に同型な非アーベル部分代数が生成される。
• $X_3,X_4$ により、不動点対を共有するブースト、回転、斜航型変換からなるアーベル部分代数が生成される。

三次元部分代数については、

• $X_1,X_2,X_3$ により、「ユークリッド相似群」テンプレート:Math のリー代数と同型な、ビアンキ V 型部分代数が生成される。
• $X_1,X_2,X_4$ により、ユークリッド群 テンプレート:Math と同型な、ビアンキ VII_0 型部分代数が生成される。
• $X_2,X_2,X_3+a{X}_4$ （ただし $a\ne 0$）により、ビアンキ VII_a 型部分代数が生成される。
• $X_1,X_3,X_5$ により、双曲平面上の等長変換群であるリー代数 テンプレート:Math と同型な、ビアンキ VIII 型部分代数が生成される。
• $X_4,X_5,X_6$ により、 回転群のリー代数 テンプレート:Math と同型な、ビアンキ IX 型部分代数が生成される。

（ここで、ビアンキ分類とはイタリア人数学者テンプレート:仮リンクによる三次元リー代数の分類である。） 四次元部分代数はすべて次に共役である。

• $X_1,X_2,X_3,X_4$ により、ユークリッド相似変換 群 テンプレート:Math のリー代数に同型な部分代数が生成される。

これら部分代数は格子を形成し（図を参照）、各部分代数は制限リー群の閉部分群のべき乗により生成される。これらから、クラインの四元群の要素を乗することにより、ローレンツ群の全ての部分群が、共役による違いを除いて、構成できる。

リー代数 テンプレート:Math の共役による違いを除いた部分代数の束

連結リー群の常として、制限ローレンツ群の閉じた部分群の剰余空間、すなわち等質空間は、非常に数学的に興味深い。いくつか簡潔な説明を加えると、

• 群 テンプレート:Math は「ヌルライン」、すなわちリーマン球面上の点の であり、等質空間 テンプレート:Math は球面 テンプレート:Math 上のテンプレート:仮リンクを表現するテンプレート:仮リンクである。
• ユークリッド群 テンプレート:Math （の単位元成分）はヌルベクトルの安定化部分群である。よって、等質空間 テンプレート:Math は質量のない粒子の運動量空間である。幾何学的にはこのクライン幾何はミンコフスキー時空上の光円錐の「縮退した」幾何を表現している。
• 回転群 テンプレート:Math は時間的ベクトルの安定化部分群である。よって、テンプレート:Math は質量のある粒子の運動量空間である。幾何学的には、この空間は三次元テンプレート:仮リンク テンプレート:Math にほかならない。

被覆群

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

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

二重被覆はスピン群の特徴である。実際、二重被覆

テンプレート:Math

テンプレート:Math

に加えて次の二重被覆も存在する。

テンプレート:Math

テンプレート:Math

テンプレート:Math

これらスピノルテンプレート:仮リンクはクリフォード代数と密接に関連している。

トポロジー

二重被覆

テンプレート:Math

の左辺と右辺の群はそれぞれ次の二重被覆の左辺と右辺の群の変位レトラクトである。

テンプレート:Math

ここで、等質空間 テンプレート:Math はテンプレート:仮リンク テンプレート:Math と位相同型であるから、制限ローレンツ群はファイバー テンプレート:Math および底 テンプレート:Math を持つ主ファイバー束であることが示されたことになる。 後者は テンプレート:Math と位相同型であるから、テンプレート:Math が三次元テンプレート:仮リンク テンプレート:Math と同型であるのに対して、制限ローレンツ群は テンプレート:Math と テンプレート:Math の積に「局所的に」同型であるといえる。この底空間は可縮であるから、これは大域位相同型に拡張可能である。

より高次元への一般化

ローレンツ群の概念は任意の次元の時空に対して自然に一般化することができる。数学的には、テンプレート:Math-次元ミンコフスキー時空のローレンツ群は テンプレート:Math 上の線形変換のうち、次の二次形式を普遍に保つ変換の成す テンプレート:Math（もしくは テンプレート:Math）である。

$(x_1,x_2,\dots ,x_n,x_{n+1})\mapsto x_1^2+x_2^2+\cdots +x_n^2-x_{n+1}^2$

四次元ローレンツ群 (テンプレート:Math) の性質の多くが直ちに任意の テンプレート:Mvar へ拡張できる。たとえば、ローレンツ群 テンプレート:Math は四つの連結成分を持ち、テンプレート:Math-次元ミンコフスキー時空上に テンプレート:Math-次元天球上の共形変換として作用する。単位元成分 テンプレート:Math は テンプレート:Mvar-次元双曲空間 テンプレート:Math 上の テンプレート:Math-束である。

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

関連項目

• ローレンツ変換
• テンプレート:仮リンク
• ポアンカレ群
• メビウス群
• ミンコフスキー空間
• テンプレート:仮リンク

• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク
• 特殊相対性理論
• テンプレート:仮リンク

参照文献

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