ローレンツ群のソースを表示

{{翻訳直後|[[:en:Special:Permalink/718637314|en:Lorentz_group]]
|date=2016年7月}}[[ファイル:Hendrik_Antoon_Lorentz.jpg|右|サムネイル|429x429ピクセル|ローレンツ群の名前の由来、[[ヘンドリック・ローレンツ|ヘンドリック・アントーン・ローレンツ]] (1853–1928) ]]
[[物理学]]および[[数学]]において、'''ローレンツ群''' (ローレンツぐん、{{lang-en-short|'''Lorentz group'''}}) は、（重力を除いた）全ての[[場の古典論|古典的]]な設定における[[物理学|物理現象]]を説明する基礎となる、[[ミンコフスキー空間|ミンコフスキー時空]]上の全ての[[ローレンツ変換]]が成す[[群 (数学)|群]]である。ローレンツ群の名前は[[オランダ人]]物理学者[[ヘンドリック・ローレンツ]]に因む。

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

== 基本性質 ==
ローレンツ変換は[[ミンコフスキー空間|ミンコフスキー時空]]上の[[原点 (数学)|原点]]を[[不動点]]とする[[等長写像|等長変換]]であり、ローレンツ群は、等長変換全体が成す[[ポアンカレ群]]の[[部分群]]であるといえる。したがって、ローレンツ群はミンコフスキー時空上の等長変換群の[[群作用|等方的部分群]]である。この理由から、ローレンツ群は'''同次ローレンツ群''' ({{Lang|en|'''homogeneous Lorentz group'''}})と呼ばれることがあり、対してポアンカレ群は''非同次ローレンツ群'' ({{Lang|en|''inhomogeneous Lorentz group''}}) と呼ばれることがある。ローレンツ変換は[[線型写像|線形変換]]あるのに対して、ミンコフスキー時空上の一般の等長変換は[[アフィン写像|アフィン変換]]である。

数学的には、ローレンツ群は{{仮リンク|一般化直交群|en|Generalized orthogonal group}} {{Math|O(1, 3)}}、すなわち {{Math|'''R'''<sup>4</sup>}} 上の[[二次形式]]
: <math> (t,x,y,z) \mapsto t^2-x^2-y^2-z^2</math>
を不変に保つ[[リー群|行列リー群]]として記述できる。この二次形式は、行列形式に直すと（{{仮リンク|label=古典直交群|古典群#直交群|en|Classical_group#O(p,_q)_and O(n) – the orthogonal groups}}を参照）、物理的にはミンコフスキー時空の[[計量テンソル]]であると理解される。

ローレンツ群は、六[[次元 (数学)|次元]]の[[連結空間|連結]]でなく[[コンパクト空間|コンパクト]]でない{{仮リンク|label=非可換|非可換群|en|Non-abelian group}}[[リー群|実リー群]]である。その四つの[[連結空間|連結成分]]は[[単連結空間|単連結]]ではない。ローレンツ群の{{仮リンク|単位元成分|en|Identity component}}（つまり単位元を含む成分）はそれ自身群を成し、しばしば'''制限ローレンツ群''' ({{Lang|en|'''restricted Lorentz group'''}}) と呼ばれ、 {{Math|SO<sup>+</sup>(1, 3)}} と表記される。制限ローレンツ群は空間の[[向き]]と時間の方向を保存するローレンツ変換から成る。制限ローレンツ群はしばしば{{仮リンク|複四元数|en|Biquaternion}}代数を用いて表される。

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

=== 連結成分 ===
[[ファイル:World line (ja).svg|サムネイル|306x306ピクセル|2+1次元時空の光円錐]]
ローレンツ群 {{Math|O(1, 3)}} は[[リー群]]であるから、[[可微分多様体|滑らかな多様体]]として位相的に説明することができる。多様体としては、四つの連結成分を持っている。直感的には、このことは四つの位相的に分離した部分から成ることを意味する。

四つの連結成分はその要素がもつ二つの変換特性により分類される。
* ある種類の要素は時間反転ローレンツ変換により逆転される。たとえば、未来を向いた[[ミンコフスキー空間|時間的ベクトル]]は過去を向いたベクトルに反転される。
* ある種類の要素は向きを'''非固有ローレンツ変換''' ({{Lang|en|'''improper Lorentz transformations'''}}) により逆転される。たとえば、特定の{{仮リンク|四脚場|en|Vierbein}}がそれにあたる。
時間の方向を保存するローレンツ変換は'''順時ローレンツ変換''' ({{Lang|en|'''orthochronous Lorentz transformations'''}}) と呼ばれる。順時ローレンツ変換が成す部分群はしばしば {{Math|O<sup>+</sup>(1, 3)}} と表記される。向きを保存するものは'''固有ローレンツ変換''' ({{Lang|en|'''proper Lorentz transformations'''}}) と呼ばれ、線形変換としての行列式は {{math|+1}}（非固有ローレンツ変換では {{math|−1}}）となる。固有ローレンツ変換の成す部分群は {{Math|SO(1, 3)}} と表記される。 

向きと時間の方向を両方を保存する全てのローレンツ変換の成す部分群は、'''固有順時ローレンツ群''' ({{Lang|en|'''proper, orthochronous Lorentz group'''}}) もしくは'''制限ローレンツ群''' ({{Lang|en|'''restricted Lorentz group'''}}) と呼ばれ、 {{Math|SO<sup>+</sup>(1, 3)}} と表記される。（{{Math|SO(1, 3)}}もしくは {{Math|O(1, 3)}} とさえ書いていても実際には {{Math|SO<sup>+</sup>(1, 3)}} の意味で書いている著者もいるので注意。）

これら四つの連結成分の集合には、[[商群]] {{Math|O(1, 3)/SO<sup>+</sup>(1, 3)}} としての群構造が与えられ、これは[[クラインの四元群]]と同型である。 {{Math|O(1, 3)}} の全ての元は、固有等時ローレンツ変換と[[離散群]]
: {{Math|{1, ''P'', ''T'', ''PT''{{)}}}}
の元との[[半直積]]により書ける。ここで、 {{Mvar|P}} および {{Mvar|T}} はそれぞれ[[パリティ (物理学)|空間反転]]および[[T対称性|時間反転]]作用素である。
: {{Math|1=''P'' = diag(1, −1, −1, −1),}}
: {{Math|1=''T'' = diag(−1, 1, 1, 1).}}
したがって、任意のローレンツ変換は固有順時ローレンツ変換に、これら二つの演算子を作用させるかさせないかを選び、どの連結成分に属するかを決めることにより表現できる。このパターンは有限次元リー群において典型的である。

== 制限ローレンツ群 ==
制限ローレンツ群はローレンツ群の{{仮リンク|単位元成分|en|Identity component}}であり、従って群内の[[連続写像|連続]]曲線によって単位元と結ぶことができる。制限ローレンツ群はローレンツ群全体の連結な[[正規部分群]]であり、次元も同じ六次元である。

制限ローレンツ群は通常の[[回転 (数学)|空間回転]]と[[ローレンツ変換|ローレンツブースト]]（時間的方向を含む平面上の{{仮リンク|双曲回転|en|Hyperbolic rotation}}と考えることができる）により生成される。全ての固有順時ローレンツ変換は回転（{{仮リンク|label=三つの実パラメータ|SO(3) 上のチャート|en|Charts on SO(3)}}で記述される）とブースト（やはり三つの実パラメータで記述される）の積で書くことができ、任意の固有順時ローレンツ変換の記述には六つの実パラメータが必要となる。これはローレンツ群が六次元であることを理解する一つの方法である。（[[#リー代数|リー代数]]の節も参照。）

回転全ては通常の{{仮リンク|回転群 SO(3)|en|Rotation group SO(3)|label=回転群 {{Math|SO(3)}}}}と同型な[[リー群|リー部分群]]を成す。しかし、ブーストを二つ組み合わせても一般にはブーストにはならないため、ブースト全ては部分群を成さない（むしろ、二つの非共線なブーストはブーストと回転の組み合わせに相当し、{{仮リンク|トーマス回転|en|Thomas rotation}}に関連付けられる）。ある方向へのブーストもしくはある軸周りの回転は、{{仮リンク|1パラメータ部分群|en|One-parameter subgroup}}を生成する。

=== 推移曲面 ===
{| class="wikitable" align="right"
|[[ファイル:HyperboloidOfOneSheet.png|166x166ピクセル]]
一葉双曲面
|[[ファイル:DoubleCone.png|178x178ピクセル]]
双円錐面
|[[ファイル:HyperboloidOfTwoSheets.png|168x168ピクセル]]
二葉双曲面
|}
群 {{Mvar|G}} が空間 {{Mvar|V}} に作用するとき、曲面 {{Math|''S'' ⊂ ''V''}} が'''推移曲面''' ({{Lang|en|'''surface of transitivity'''}}) であるとは、{{mvar|S}} が {{Mvar|G}} の下で不変、つまり {{Math|''gs'' ∈ ''S''}} が任意の {{math|''g'' ∈ ''G''}} と {{math|''s'' ∈ ''S''}} に対して成り立ち、かつ任意の二点 {{Math|''s''<sub>1</sub>, ''s''<sub>2</sub> ∈ ''S''}} に対してある {{Math|''g'' ∈ ''G''}} が存在して {{Math|''gs''<sub>1</sub> {{=}} ''s''<sub>2</sub>}} が成り立つことをいう。ローレンツ群は定義により二次形式
: <math>Q(x) = x_0^2 - x_1^2 - x_2^2 - x_3^2</math>
を保つ。順時ローレンツ群 {{Math|''O''<sup>+</sup>(1, 3)}} の時空上の推移曲面 {{Math|''Q''(''x'') {{=}} const.}} には次の場合がある<ref name="Gelfand_1">{{Harvnb|Gelfand|Minlos|Shapiro|1963}}</ref>。
* {{Math|''Q''(''x'') > 0, ''x''<sub>0</sub> > 0}} の場合、二葉[[双曲面]]の上側部分。
* {{Math|''Q''(''x'') > 0, ''x''<sub>0</sub> < 0}} の場合、二葉双曲面の下側部分。
* {{Math|''Q''(''x'') {{=}} 0, ''x''<sub>0</sub> > 0}} の場合、[[光円錐]]の上側部分。
* {{Math|''Q''(''x'') {{=}} 0, ''x''<sub>0</sub> < 0}} の場合、光円錐の下側部分。
* {{Math|''Q''(''x'') < 0}} の場合、一葉双曲面。
* 原点 {{Math|1=''x''<sub>0</sub> = ''x''<sub>1</sub> = ''x''<sub>2</sub> = ''x''<sub>3</sub> = 0}}。
これらの（超）曲面は三次元であり、画像は正確なものではなく、{{Math|O<sup>+</sup>(1, 2)}} についての対応する事実に対して忠実なものである。ローレンツ群全体に対しては、推移曲面は四種類のみとなる。双曲面および双円錐の上側から下側およびその逆に移す変換 {{Math|''T''}} が存在するからである。

これらの知見は、ローレンツ群の全ての{{仮リンク|label=無限次元ユニタリ表現|ローレンツ群の表現論#無限次元表現|en|Representation theory of the Lorentz group#Infinite-dimensional representations}}を、そして実はポアンカレ群のそれを、{{仮リンク|誘導表現|en|Induced representation}}の方法を用いて見付けるためのよい出発点となる<ref>{{Harvnb|Wigner|1939}}</ref>。まず、各推移曲面に一つずつ「標準ベクトル」を選び、どの部分群がそれを保存するかを調べる。これらの部分群を物理学者は[[群作用|小群]]と呼ぶ。 問題は、より簡単な、小群の表現を見つけるという問題に帰着される。例えば、二葉双曲面の標準ベクトルは {{Math|(''m'', 0, 0, 0)}} の形で選ぶことができる。各 {{Math|''m'' ≠ 0}} に対して、このベクトルはちょうど1つの葉に属する。この場合、小群は回転群 {{Math|SO(3)}} であり、その全ての表現は既知である。正に粒子が変換される無現次元ユニタリ表現がその分類の一部である。必ずしも全ての表現が（既知の）物理的粒子に対応づけられるわけではない。一葉双曲面の標準ベクトルは[[タキオン]]に対応する。光円錐上の粒子は[[光子]]や、仮説の段階ではあるが[[重力子]]である。原点に対応する「粒子」は真空である。

=== メビウス群との関係性 ===
制限ローレンツ群 {{Math|SO<sup>+</sup>(1, 3)}} は[[射影線型群]] {{Math|PSL(2, '''C''')}} と同型であり、これはさらに[[メビウス変換|メビウス群]]、[[リーマン球面]]上の{{仮リンク|共形幾何|en|Conformal geometry}}の{{仮リンク|対称変換群|en|Symmetry group|label=対称操作群}}と同型である（この知識は、[[ロジャー・ペンローズ]]によって[[ツイスター理論]]の出発点として用いられている）。

このことは、リー群 {{Math|SL(2, '''C''')}} から {{Math|SO<sup>+</sup>(1, 3)}} への'''スピノル写像'''と呼ばれる[[全射]][[準同型|準同型写像]]を構築することで示すことができる。これは、次のように進められる。

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

スピノル写像の[[核 (代数学)|核]]は二元 {{Math|±''I''}} からなる部分群であり、この写像は全射である。[[同型定理|第一同型定理]]により、商群 {{Math|1=PSL(2, '''C''') = SL(2, '''C''') / {±''I''{{)}}}} は {{Math|SO<sup>+</sup>(1, 3)}} と同型である。

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

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

=== 共役類 ===
制限ローレンツ群 {{Math|SO<sup>+</sup>(1, 3)}} はメビウス群 {{Math|PSL(2, '''C''')}} と同型であるため、その[[共役類]]も五つに分けられる。
* '''楕円型'''変換
* '''双曲型'''変換
* '''斜航型''' ({{Lang|en|'''Loxodromic'''}}) 変換
* '''放物型'''変換
* 自明な'''恒等'''変換
[[メビウス変換]]の項では、メビウス変換をリーマン球面上に作用させたときの[[不動点]]を考えることにより、この分類がどのように生じるかを説明しているが、この不動点はここでは制限ローレンツ変換をミンコフスキー時空に作用させたときのヌル[[固有値|固有空間]]に相当する。

各分類型の例を、それが生成する{{仮リンク|1パラメータ部分群|en|One-parameter subgroup}}の影響（たとえば夜空の見かけ）とともに下の節に挙げる。

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

==== 楕円型 ====
{{Math|SL(2, '''C''')}} の楕円型要素は
: <math> P_1 = \left[ \begin{matrix} \exp(i \theta/2) & 0 \\ 0 & \exp(-i \theta/2) \end{matrix} \right] </math>
であり、 {{Math|1=''ξ'' = 0, ∞}} を不動点として持つ。作用を {{Math|''X'' ↦ ''P''<sub>1</sub> ''X P''<sub>1</sub>*}} のように書き、項を集めると、スピノル写像により次の制限ローレンツ変換に対応づけられる。
: <math> 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 )  </math>
この変換は {{mvar|z}} 軸回りの回転、{{Math|exp(''iθJ<sub>z</sub>'')}} を表わす。この生成する1パラメータ部分群は {{Mvar|θ}} を実変数とすることにより得られる。

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

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

スピノル変換により、これらは次のローレンツ変換に対応づけられる。
: <math> 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 ) </math>
この変換は {{Mvar|z}} 軸に沿った[[ラピディティ]] {{mvar|β}} のブーストを表わす。これにより生成される1パラメータ部分群は {{Mvar|β}} を実変数とすることにより得られる。対応する天球上の連続変換は（恒等変換以外は）南極と北極という同じ不動点を持つ。他の全ての点は[[経線]]に沿って南極から北極方向へと移動する。

==== 斜航型 ====
{{Math|SL(2, '''C''')}} の斜航型要素は
: <math> 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] </math>
であり、 {{Math|1=''ξ'' = 0, ∞}} を不動点として持つ。スピノル写像によりこれは下のローレンツ変換に対応づけられる。
: <math>Q_3 = Q_2 Q_1 = Q_1 Q_2 </math>
これにより生成される1パラメータ部分群は {{Math|''β''+''iθ''}} を複素定数ではなく実変数と置き換えることにより得られる。（{{Mvar|β, θ}} が独立に変化するならば、{{Mvar|z}} 軸回りの回転と同時に {{Mvar|z}} 軸に沿ったブーストから成る「二次元」アーベル部分群が得られる。対照的に、ここでとりあげる「一次元」部分群は、二次元部分群の要素のうちブーストの'''ラピディティ'''と回転の'''角度'''が「固定比」になっているものから成る。）  

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

==== 放物型 ====
{{Math|SL(2, '''C''')}} の放物型要素は
: <math> P_4 = \left[ \begin{matrix} 1 & \alpha \\ 0 & 1 \end{matrix} \right] </math>
で、リーマン球面上に {{Math|1=''ξ'' = ∞}} を唯一の不動点として持つ。立体射影の下、[[実数|実軸]]に沿った通常の[[翻訳|平行移動]]として現れる。

スピノル変換により、次の（ローレンツ変換を表わす）行列に対応づけられる。
: <math> 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] </math>
: <math> ~ =  \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]     </math>
これにより生成される2パラメータアーベル部分群は、{{Mvar|α}} を複素変数とすることにより得られる。対応する天球状の連続変換は（恒等変換以外は）北極においてある[[大圏コース|大円]]に接する円に沿って点を動かす。北極以外の点は全てこの円に沿って動く。

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

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

これらの回転不変量の形式から、フロー線（軌道）がシンプルに説明できることがわかる。あまり重要でない座標 {{Mvar|y}} を無視すると、各軌道は「ヌル平面」 {{Math| ''t'' {{=}} ''z'' + ''c''<sub>2</sub>}} と「双曲面」  {{Math|''t''<sup>2</sup> − ''x''<sup>2</sup> − ''z''<sup>2</sup> {{=}} ''c''<sub>3</sub>}} との交差線となる。{{math|1=''c''<sub>3</sub> = 0}} の場合は放物面は光円錐へと縮退し、軌道は対応するヌル平面上の放物線になる。

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

代わりに {{Math|1=Re(''α'') = 0}} とすると、似た軌道ではあるが {{Mvar|x}} と {{Mvar|y}} の役割が逆転したものが得られる。 

放物型変換は[[ヘリシティー (素粒子)|ヘリシティ]] {{Math|{{Mabs|''h''}} ≥ 1}} の質量のない粒子（たとえば[[光子]]）のゲージ対称性に繋がる。さきほど明示した例では、{{Mvar|z}} 方向に質量のない粒子は運動しており、その四元運動量は {{Math|1='''''P'''''=(''p'',0,0,''p'')}} であり、運動中の「小群」内では上で示した {{Mvar|x}}-ブーストと {{Mvar|y}}-回転の組み合わせ  {{Math|''K<sub>x</sub>−J<sub>y</sub>''}} により変化しない。このことは明示した変換則から明らかである。{{Mvar|'''P'''}} は光的ベクトルであるから不変であり、したがって {{Mvar|α}} を変化させても何も影響を受けない。上の特殊な場合では {{Math|1=''c''<sub>1</sub> = ''c''<sub>2</sub> = ''c''<sub>3</sub> = 0}} である。（類似の生成子 {{Math|''K<sub>y</sub>+J<sub>x</sub>''}} と  {{Math|''J''<sub>''z''</sub>}} も {{Math|E(2)}} と同型な光的ベクトルの小群を構成する。）

== リー代数 ==
リー群の常として、ローレンツ群の多くの側面がその[[リー代数]]により明らかにできる。ローレンツ群は {{Math|'''R'''<sup>4</sup>}} 上の[[微分同相写像|微分同相群]]の部分群であり、したがってそのリー代数は {{Math|'''R'''<sup>4</sup>}} 上のベクトル場により明らかにされる。具体的には、空間に等長性を生成するベクトルは[[キリングベクトル場|キリングベクトル]]であり、これがリー代数を計算する際に便利な[[モーレー・カルタンの微分形式|左不変なベクトル場]]の代わりとなる。次の六つの生成子を書き下すことができる。
* 三つの回転 {{Math|''i '''J'''''}} を生成する {{Math|'''R'''<sup>4</sup>}} 上のベクトル場
: <math> -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</math>
* 三つのブースト ''i'' '''''K''''' を生成する {{Math|'''R'''<sup>4</sup>}} 上のベクトル場
: <math> 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 </math>
ここで、次のような一階[[線型性|線形]]偏[[微分作用素]]の形で書かれた[[ベクトル場]]から1パラメータ群を得る方法について軽くおさらいしておこう。
: <math> -y \partial_x + x \partial_y </math>
対応する初期値問題は以下のようになる。
: <math> \frac{\partial x}{\partial \lambda} = -y, \; \frac{\partial y}{\partial \lambda} = x, \; x(0) = x_0, \; y(0) = y_0 </math>
この解は次のように書ける。
: <math> x(\lambda) = x_0 \cos(\lambda) - y_0 \sin(\lambda), \; y(\lambda) = x_0 \sin(\lambda) + y_0 \cos(\lambda) </math>
または
: <math> \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] </math>
ここで、{{Mvar|z}} 軸まわりの回転 {{Math|exp(''i λ J<sub>z</sub>'')}} の1パラメータ行列群をすぐにみてとることができる。群パラメータ {{Mvar|λ}} で微分し {{Math|1=''λ''=0}} を代入すれば、次の行列が得られる。
: <math>iJ_z=  \left[ \begin{matrix} 0 & 0 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{matrix} \right] </math>
これが最初のベクトル場に対応する。このようにしてリー代数の要素の行列表現とベクトル場表現を対応づけることができる。

前節の手続を逆転させることにより、上の六つの生成子に対応するメビウス変換が次に示す[[パウリ行列]]にそれぞれ  {{Math|''β''/2}} （回転の場合）および  {{Math|''iθ''/2}} （ブーストの場合）をかけて指数関数をとったものになることがわかる。
: <math>  \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] </math>
ここでの目的のためには、別の生成子がより便利である。下表その六つの生成子の一覧を挙げる。表の見方は、
* 最初の行は（リーマン球面から立体射影した後の）ユークリッド平面上の''実''ベクトル場としてのメビウス群の作用の下のフローの生成子を示す。
* 二行目は対応するメビウス変換の1パラメータ部分群を示す。
* 三行目は対応する（上の1パラメータ部分群を準同型写像でうつした）ローレンツ変換の1パラメータ部分群を示す。
* 四行目は対応するミンコフスキー時空上の実ベクトル場としてのローレンツ群の作用の下のフローの生成子を示す。
これらの生成子は次からなることに注意されたい。 
* 二つの放物型（ヌル回転）
* 一つの双曲型（{{Math|∂<sub>''z''</sub>}} 方向のブースト）
* 三つの楕円型（{{Mvar|x,y,z}} 軸まわりの回転）
{| style="text-align: center; margin: auto; border-collapse: collapse;" cellspacing="2" cellpadding="5" border="1"
!{{Math|'''R'''<sup>2</sup>}} 上のベクトル場
!{{Math|SL(2, '''C''')}} の部分群のメビウス変換表現
!{{Math|SO<sup>+</sup>(1, 3)}} の1パラメータ部分群のローレンツ変換表現
!{{Math|'''R'''<sup>4</sup>}} 上のベクトル場
|-
! colspan="4" bgcolor="#DDDDFF" | 放物型
|-
|  <math>\partial_u\,\!</math>
| <math>\left[ \begin{matrix} 1 & \alpha \\ 0 & 1 \end{matrix} \right] </math>
| <math> \left[ \begin{matrix} 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{matrix} \right] </math>
| <math>X_1 = \,\!</math>
<math> x (\partial_t + \partial_z) + (t-z) \partial_x \,\!</math>
|-
|  <math>\partial_v\,\!</math>
| <math>\left[ \begin{matrix} 1 & i \alpha \\ 0 & 1 \end{matrix} \right] </math>
| <math> \left[ \begin{matrix} 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{matrix} \right] </math>
| <math>X_2 = \,\!</math>
<math> y (\partial_t + \partial_z) + (t-z) \partial_y \,\!</math>
|-
! colspan="4" bgcolor="#DDDDFF" | 双曲型
|-
| <math> \frac{1}{2} \left( u \partial_u + v \partial_v \right) </math>
| <math>\left[ \begin{matrix} \exp \left(\frac{\beta}{2}\right) & 0                                  \\ 
                               0                                 & \exp \left(-\frac{\beta}{2}\right) \end{matrix} \right] </math>
| <math> \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] </math>
| <math>X_3 = \,\!</math>
<math> z \partial_t + t \partial_z \,\!</math>
|-
! colspan="4" bgcolor="#DDDDFF" | 楕円型
|-
| <math> \frac{1}{2} \left( -v \partial_u + u \partial_v \right) </math>
| <math>\left[ \begin{matrix} \exp \left( \frac{i \theta}{2} \right) & 0 \\ 
                               0        & \exp \left( \frac{-i \theta}{2} \right) \end{matrix} \right]</math>
| <math> \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] </math>
| <math>X_4 = \,\!</math>
<math> -y \partial_x + x \partial_y \,\!</math>
|-
| <math> \frac{v^2-u^2-1}{2} \partial_u - u v \, \partial_v </math>
| <math>\left[ \begin{matrix} \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{matrix} \right]</math>
| <math> \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] </math>
| <math>X_5 = \,\!</math>
<math> -x \partial_z + z \partial_x \,\!</math>
|-
| <math> u v \, \partial_u + \frac{1-u^2+v^2}{2} \partial_v </math>
| <math>\left[ \begin{matrix} \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{matrix} \right]</math>
| <math> \left[ \begin{matrix} 1 & 0 & 0            & 0            \\
                                0 & 1 & 0            & 0 \\
                                0 & 0 & \cos(\theta) & -\sin(\theta) \\
                                0 & 0 & \sin(\theta) &  \cos(\theta) \end{matrix} \right] </math>
| <math>X_6 = \,\!</math>
<math> -z \partial_y + y \partial_z \,\!</math>
|}
この表の一列を検証してみよう。始めに、
: <math> \sigma_2 = \left[ \begin{matrix} 0 & i \\ -i & 0 \end{matrix} \right] </math>
を指数関数に入れて次を得る。
: <math> \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] </math>
この {{Math|SL(2, '''C''')}} の要素は（楕円型）メビウス変換の1パラメータ部分群の表現である。
: <math> \xi \mapsto \frac{ \cos(\theta/2) \, \xi - \sin(\theta/2) }{ \sin(\theta/2) \, \xi + \cos(\theta/2) } </math>
さらに次を得る。
: <math> \left . \frac{d\xi}{d\theta} \right|_{\theta=0} = -\frac{1+\xi^2}{2} </math>
対応する {{Math|'''C'''}} 上のベクトル場（立体射影の下の {{Math|S<sup>2</sup>}} の像と考えることができる）は
: <math> -\frac{1+\xi^2}{2} \, \partial_\xi </math>
<math>\xi = u + i v</math> と書くことにすると、これは {{Math|R<sup>2</sup>}} 上のベクトル場となる。
: <math> -\frac{1+u^2-v^2}{2} \, \partial_u - u v \, \partial_v </math>
{{Math|SL(2, ''C'')}} の要素に戻り、作用 <math> X \mapsto P X P^* </math> を書き出して項を集めると、スピノル写像の像は次の {{Math|SO<sup>+</sup>(1, 3)}} の要素であることがわかる。
: <math> \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] </math>
{{Mvar|θ}} で微分して {{Math|1=''θ''=0}} を代入すると、対応する {{Math|'''R'''<sup>4</sup>}} 上のベクトル場が得られる。  
: <math> z \partial_x - x \partial_z</math>
これは明らかに {{Mvar|y}} 軸まわりの反時計回り回転である。

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

その一次元部分代数はもちろんローレンツ群の四つの共役類に次のように対応する。
* <math>X_1</math> により放物型1パラメータ部分代数 {{Math|SO(0, 1)}} が生成される。
* <math>X_3</math> によりブーストの1パラメータ部分代数 {{Math|SO(1, 1)}} が生成される。
* <math>X_4</math> により回転の1パラメータ部分代数 {{Math|SO(2)}} が生成される。
* <math>X_3 + a X_4</math> (<math>a \neq 0</math> は任意) により斜航型変換の1パラメータ部分代数が生成される。
（厳密に言うと、最後の生成子は {{Mvar|a}} が違えば違う類に対応するため、無限の類に対応する。）二次元部分代数については、
* <math>X_1, X_2</math> により放物型全体のアーベル部分代数が生成される。
* <math>X_1, X_3</math> により、アフィン群 {{Math|A(1)}} に同型な非アーベル部分代数が生成される。
* <math>X_3, X_4</math> により、不動点対を共有するブースト、回転、斜航型変換からなるアーベル部分代数が生成される。
三次元部分代数については、
* <math>X_1,X_2,X_3</math> により、「ユークリッド相似群」{{Math|Hom(2)}} のリー代数と同型な、'''ビアンキ V 型'''部分代数が生成される。
* <math>X_1,X_2,X_4</math> により、[[ユークリッドの運動群|ユークリッド群]] {{Math|E(2)}} と同型な、'''ビアンキ VII_0 型'''部分代数が生成される。
* <math>X_2,X_2,X_3 + a X_4</math> （ただし <math>a \neq 0</math>）により、'''ビアンキ VII_a 型'''部分代数が生成される。
* <math>X_1,X_3,X_5</math> により、[[ポアンカレの上半平面モデル|双曲平面]]上の等長変換群であるリー代数 {{Math|SL(2, '''R''')}} と同型な、'''ビアンキ VIII 型'''部分代数が生成される。
* <math>X_4,X_5,X_6</math> により、 回転群のリー代数 {{Math|SO(3)}} と同型な、'''ビアンキ  IX 型'''部分代数が生成される。
（ここで、[[ビアンキ分類]]とはイタリア人数学者{{仮リンク|ルイージ・ビアンキ|en|Luigi Bianchi}}による三次元リー代数の分類である。） 四次元部分代数はすべて次に共役である。
* <math>X_1,X_2,X_3,X_4</math> により、ユークリッド[[図形の相似|相似変換]] 群 {{Math|Sim(2)}} のリー代数に同型な部分代数が生成される。
これら部分代数は格子を形成し（図を参照）、各部分代数は制限リー群の[[位相群|閉部分群]]のべき乗により生成される。これらから、クラインの四元群の要素を乗することにより、ローレンツ群の全ての部分群が、共役による違いを除いて、構成できる。
[[ファイル:Lorentz_group_subalgebra_lattice.png|サムネイル|300x300ピクセル|リー代数 {{math|SO(1, 3)}} の共役による違いを除いた部分代数の束]]
連結リー群の常として、制限ローレンツ群の閉じた部分群の剰余空間、すなわち[[等質空間]]は、非常に数学的に興味深い。いくつか簡潔な説明を加えると、
* 群 {{Math|Sim(2)}} は「ヌルライン」、すなわちリーマン球面上の点の であり、等質空間 {{Math|SO<sup>+</sup>(1, 3)/Sim(2)}} は球面 {{Math|S<sup>2</sup>}} 上の{{仮リンク|共形幾何|en|Conformal geometry}}を表現する{{仮リンク|クライン幾何|en|Kleinian geometry}}である。
* ユークリッド群 {{Math|SE(2)}} （の単位元成分）はヌルベクトルの[[群作用|安定化部分群]]である。よって、等質空間 {{Math| SO<sup>+</sup>(1, 3)/SE(2)}} は質量のない粒子の[[運動量空間]]である。幾何学的にはこのクライン幾何はミンコフスキー時空上の光円錐の「縮退した」幾何を表現している。
* 回転群 {{Math|SO(3)}} は[[ミンコフスキー空間|時間的ベクトル]]の安定化部分群である。よって、{{Math|SO<sup>+</sup>(1, 3)/SO(3)}} は質量のある粒子の運動量空間である。幾何学的には、この空間は三次元{{仮リンク|双曲空間|en|Hyperbolic space}} {{Math|H<sup>3</sup>}} にほかならない。

== 被覆群 ==
[[#メビウス群との関係性|前節]]では、スピノル写像と呼ばれる準同型写像 {{Math|SL(2, '''C''') → SO<sup>+</sup>(1, 3)}} を構築した。{{Math|SL(2, '''C''')}} は単連結であるから、これは制限ローレンツ群 {{Math|SO<sup>+</sup>(1, 3)}} の[[被覆空間|被覆群]]である。 制限により、準同型写像 {{Math|SU(2) → SO(3)}} が得られる。ここで、[[特殊ユニタリ群]] {{Math|SU(2)}} は単位[[ノルム]][[四元数]]の成す群と同型であるから、これもまた単連結であり、回転群 {{Math|SO(3)}} の被覆群である。これらの[[被覆写像]]はそれぞれ、被覆群のちょうど二つの要素が商群の各要素に対応するという意味で二重写像である。制限ローレンツ群と回転群とは'''二重連結'''であるということが多い。これは、各群の[[基本群]]が二要素[[巡回群]] {{Math|Z<sub>2</sub>}} と[[同型]]であることを意味する。

（[[量子力学]]への応用においては、[[特殊線型群|特殊線形群]] {{Math|SL(2, '''C''')}} のことがローレンツ群とよばれていることもある。）

二重被覆は[[スピン群]]の特徴である。実際、二重被覆
: {{Math|1=Spin<sup>+</sup>(1, 3) = SL(2, '''C''') → SO<sup>+</sup>(1, 3)}}
: {{Math|1=Spin(3) = SU(2) → SO(3)}}
に加えて次の二重被覆も存在する。
: {{Math|[[ピン群|Pin(1, 3)]] → O(1, 3)}}
: {{Math|Spin(1, 3) → SO(1, 3)}}
: {{Math|1=Spin<sup>+</sup>(1, 2) = SU(1, 1) → SO(1, 2)}}
これらスピノル{{仮リンク|二重被覆|en|Double covering group}}は[[クリフォード代数]]と密接に関連している。 

== トポロジー ==
二重被覆
: {{Math|SU(2) → SO(3)}}
の左辺と右辺の群はそれぞれ次の二重被覆の左辺と右辺の群の変位レトラクトである。
: {{Math|SL(2, '''C''') → SO<sup>+</sup>(1, 3)}}
ここで、等質空間 {{Math|SO<sup>+</sup>(1, 3)/SO(3)}} は{{仮リンク|三次元双曲空間|en|Hyperbolic 3-space}} {{Math|H<sup>3</sup>}} と[[位相同型]]であるから、制限ローレンツ群はファイバー {{Math|SO(3)}} および底 {{Math|H<sup>3</sup>}} を持つ[[ファイバー束|主ファイバー束]]であることが示されたことになる。 後者は {{Math|'''R'''<sup>3</sup>}} と位相同型であるから、{{Math|SO(3)}} が三次元{{仮リンク|実射影空間|en|Real projective space}} {{Math|'''R'''P<sup>3</sup>}} と同型であるのに対して、制限ローレンツ群は {{Math|'''R'''P<sup>3</sup>}} と {{Math|'''R'''<sup>3</sup>}} の積に「局所的に」同型であるといえる。この底空間は[[可縮]]であるから、これは大域位相同型に拡張可能である。

== より高次元への一般化 ==
ローレンツ群の概念は任意の次元の時空に対して自然に一般化することができる。数学的には、{{Math|''n''+1}}-次元ミンコフスキー時空のローレンツ群は {{Math|'''R'''<sup>''n''+1</sup>}} 上の線形変換のうち、次の二次形式を普遍に保つ変換の成す {{Math|O(''n'', 1)}}（もしくは {{Math|O(1, ''n'')}}）である。
: <math> (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</math>
四次元ローレンツ群  ({{Math|1=''n'' = 3}}) の性質の多くが直ちに任意の {{Mvar|n}} へ拡張できる。たとえば、ローレンツ群 {{Math|O(''n'', 1)}} は四つの連結成分を持ち、{{Math|''n''+1}}-次元ミンコフスキー時空上に {{Math|(''n''−1)}}-次元天球上の共形変換として作用する。単位元成分 {{Math|SO<sup>+</sup>(''n'', 1)}} は {{Mvar|n}}-次元双曲空間 {{Math|H<sup>''n''</sup>}} 上の {{Math|SO(''n'')}}-束である。

{{Math|1=''n'' = 1}} や {{Math|1=''n'' = 2}} の低次元のものは、物理的な {{Math|1=''n'' = 3}} の場合の「トイモデル」としてしばしば有用である。対して、より高次元のものは[[弦理論]]などの隠された次元の存在を仮定する物理理論においてもちいられる。ローレンツ群 {{Math|O(''n'', 1)}} は等質空間 {{Math|O(n, 1)/O(n−1, 1)}} として実現される {{Mvar|n}}-次元[[ド・ジッター空間]] {{Math|dS<sub>''n''</sub>}} の等長群でもある。特に、{{Math|O(4, 1)}} は宇宙モデルのひとつ[[ド・ジッター宇宙]] {{Math|dS<sub>4</sub>}} の等長群である。

== 脚注 ==
{{Reflist}}

== 関連項目 ==
{{Columns-start}}
* [[ローレンツ変換]]
* {{仮リンク|ローレンツ群の表現論|en|Representation_theory_of the Lorentz group}}
* [[ポアンカレ群]]
* [[メビウス変換|メビウス群]]
* [[ミンコフスキー空間]]
* {{仮リンク|複四元数|en|Biquaternion}}
{{column}}
* {{仮リンク|不定値直交群|en|Indefinite orthogonal group}}
* {{仮リンク|四元数と空間回転|en|Quaternions and spatial rotation}}
* {{仮リンク|相対論的重心|en|Center of mass (relativistic)}}
* [[特殊相対性理論]]
* {{仮リンク|量子力学における対称性|en|Symmetry in quantum mechanics}}
{{Columns-end}}

== 参照文献 ==
{{参照方法|date=2016年7月}}
* {{Cite book|author=Artin, Emil|title=Geometric Algebra|year=1957|publisher=Wiley|location=New York|authorlink=Emil Artin|isbn=0-471-60839-4}} ''See Chapter III'' for the orthogonal groups O(p, q).
* {{Cite book|author=Carmeli, Moshe|title=Group Theory and General Relativity, Representations of the Lorentz Group and Their Applications to the Gravitational Field|year=1977|publisher=McGraw-Hill, New York|authorlink=Moshe_Carmeli|isbn=0-07-009986-3}} A canonical reference; ''see chapters 1–6'' for representations of the Lorentz group.
* {{Cite book|author=Frankel, Theodore|title=The Geometry of Physics (2nd Ed.)|year=2004|publisher=Cambridge University Press|location=Cambridge|isbn=0-521-53927-7}}  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|title=Representations of the Rotation and Lorentz Groups and their Applications|year=1963|last1=Gelfand|last2=Minlos|last3=Shapiro|first1=I.M.|first2=R.A.|first3=Z.Ya.|authorlink1=イズライル・ゲルファント|authorlink2=:en:Robert Adol'fovich Minlos|location=New York|publisher=Pergamon Press|isbn=}}
* {{Cite book|ref=harv|last=Hall|first=G. S.|title=Symmetries and Curvature Structure in General Relativity|year=2004|publisher=World Scientific|location=Singapore|isbn=981-02-1051-5}} ''See Chapter 6'' for the subalgebras of the Lie algebra of the Lorentz group.
* {{Cite book|author=Hatcher, Allen|title=Algebraic topology|year=2002|publisher=Cambridge University Press|location=Cambridge|isbn=0-521-79540-0}}  ''See also'' the {{Cite web|url=http://www.math.cornell.edu/~hatcher/AT/ATpage.html|title=online version|accessdate=July 3, 2005}} ''See Section 1.3'' for a beautifully illustrated discussion of covering spaces.  ''See Section 3D'' for the topology of rotation groups.
* {{Cite book|author=Naber, Gregory|title=The Geometry of Minkowski Spacetime|year=1992|publisher=Springer-Verlag|location=New York|isbn=0486432351}} (Dover reprint edition.) An excellent reference on Minkowski spacetime and the Lorentz group.
* {{Cite book|author=Needham, Tristan|title=Visual Complex Analysis|year=1997|publisher=Oxford University Press|location=Oxford|authorlink=Tristan Needham|isbn=0-19-853446-9}}  ''See Chapter 3'' for a superbly illustrated discussion of Möbius transformations.
* {{Citation|title=On unitary representations of the inhomogeneous Lorentz group|year=1939|last=Wigner|first=E. P.|authorlink=Eugene Wigner|journal=[[Annals of Mathematics]]|volume=40|issue=1|pages=149–204|bibcode=1939AnMat..40..922E|doi=10.2307/1968551|mr=1503456}}.

{{デフォルトソート:ろおれんつくん}}
[[Category:群論]]
[[Category:リー群論]]
[[Category:特殊相対性理論]]
[[Category:ヘンドリック・ローレンツ|くん]]
[[Category:物理学のエポニム]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]