カー解（カーかい、）、カー計量（）あるいはカー・ブラックホール解とは、一般相対性理論におけるアインシュタイン方程式の厳密解の一つで、真空中を定常的に回転する軸対称なブラックホールを表現している。ニュージーランドの数学者ロイ・カー（）によって1963年に発見された。カー計量によって表現される時空には、時間並進と回転に関する2つの等長変換群（アイソメトリー）が作用する。ペトロフ（）による分類によれば、カー計量はDタイプに属する。

すぐ後に、さらに電荷を帯びた カー・ニューマン解（）も発見され、角運動量・質量・電荷の3つのパラメータを持つブラックホール解として、その後、一般相対性理論の描く時空の姿の理解に広く使われている。

カー・ブラックホールでは、事象の地平面の外側には、回転の影響により、観測者が一点に留まれないエルゴ領域 (ergo region) と呼ばれる領域が形成される。はるか遠方の観測者から見ると、このエルゴ球のちょうど表面で回転と逆方向に放射した光子は放射した一点に留まっているように見え、球面の内側で回転の逆方向に放射した光子は回転の順方向に引きずられているように見える。（ただしエルゴ領域は事象の地平面の近傍に形成されるため時空が極度に縮んでおり、回転の順方向に放射した光子の速度も平坦な時空の光速度より遅れて見え、見かけの超光速が達成されているわけではない。）また、中心部の特異点は、リング状になっていると理解されている。

ブラックホール脱毛定理 () において、すべての現実的なブラックホールは、いずれ、角運動量・質量・電荷の3つの物理量のみを持つカー・ニューマンブラックホールに落ち着くと考えられている。また、「アインシュタイン・マクスウェル方程式での軸対称定常解は、カー・ニューマン解に限られる」というブラックホール唯一性定理 (uniqueness theorem)も存在する。

ホーキング は、重力の孤立系としてのブラックホールを、熱力学と類推することにより、ブラックホール熱力学 を構築した。 そこでは、ブラックホールの面積はエントロピーと対応し、常に増大する量となる（ブラックホール面積定理 ）。

カー計量の表現
以下では、光速  と万有引力定数  を1とする幾何学単位系（）を用いる。

ボイヤー・リンキスト（Boyer-Lindquist）座標による表現 

カー自身が彼の論文の中で使った座標ではないが、カー計量はボイヤー（R. H. Boyer）とリンキスト（R. W. Lindquist）によって導入された座標（ボイヤー・リンキスト座標）を用いて次のような形に書かれるのが一般的である。

ここで、

座標の範囲は、  、 、 および である。パラメーター  や  は、ブラックホールの質量  や角運動量  と関係している。したがって、  は正の定数で、  は負になってもよい。回転していない場合（）、カー解は静的かつ球対称な解（シュヴァルツシルドの解）を再現する。さらに、 として質量を失くすと、平坦な時空（ミンコフスキー時空）となる。座標  を大きくしていくことにより、ミンコフスキー計量を再現することもできる。このことは、星から遠ざかれば遠ざかるほど星の重力は弱まっていくという直観的な理解と一致しており、漸近的平坦（asymptotically flat）であると言われる。一般には漸近的平坦という概念は自明ではない。カー計量と言うときは、ふつう、 および  が想定されていることが多い。代数的な性質だけに注目したいときには、座標やパラメーターの範囲をあえて忘れて取り扱うこともある。

計量の中に座標  や が現れないので、カー時空には  および  の生成する等長変換群が作用する。それらの等長変換は  、 という変換に対応しているので、カー時空の時間並進対称性（定常性）と回転対称性（軸対称性）を示している。また、カー計量は  、というそれぞれの変換に対して  成分の符号を変えるだけで、2つの変換を同時に行うと不変である。これは時間反転に対して、回転方向がちょうど反転されることを意味する。さらに、 の符号の反転も  成分の符号を変えるだけであるので、これもやはり回転方向を反転させることに対応する。

ボイヤー・リンキスト座標による表現では、カー計量は  となるところ（  ）で定義されないことが分かる。さらに、 （  かつ  ）または  となるところでも定義されない。後で見るように、  となるところはリング状の特異領域になっている。また、  となるところは事象の地平面（event horizon）とよばれる場所であり、 の実根の数によって、カー時空は3つの場合に分類されている。

 のとき、 の実根は2つある。それらを  （  ）と書いて、 および で与えられる面はそれぞれ、内側および外側の地平面と言われる。このとき、カー時空は遅速回転（slowly rotating）カー時空、または単に、カー時空と言われる。
 のとき、 の実根は1つに縮退する。このとき、事象の地平面は  にただ1つだけとなる。このようなカー時空は、極限（extreme）カー時空と言われる。
 のとき、 の実根は存在しない。この場合、カー時空に事象の地平面が存在せず、裸の特異点を持つことを意味する。このようなカー時空は、高速回転（rapidly rotating または over-rotating）カー時空と言われる。

計量の逆行列と行列式

ボイヤー・リンキスト座標での座標基底を用いて、計量の逆行列（inverse metric）は

で与えられる。また、行列式は

となる。

正規直行基底の見易い表式

以下では、カー計量のボイヤー・リンキスト座標による表現でよく用いられる3つの正規直行基底  を与える。つまり、計量は

のように表される。また、その双対ベクトル  は  により定義される。

  について平方完成された表式

ここで、 や  は上で定義されているものと同じ、 および  は

で定義された関数である。この表式において、、 および  を未知関数としたものをアインシュタイン方程式の厳密解の仮定として利用することがある。また、カー・ブラックホール時空に隠れている  対称性を顕わに見える形で取り出してくる場合にも、この表式が利用される。これは、カー・ブラックホール時空の「差し引かれた幾何（Subtracted Geometry）」と言われる。、 および  を

で置き換えると、計量は  時空上の標準計量のあるキリングベクトル方向へのカルツァ・クライン還元になっている。ここで、、、 および  は定数である。

他に、事象の地平面が  の光的超曲面で与えられることから、この超曲面上の誘導計量が見やすい。

  について平方完成された表式

ここで、 や  は上で定義されているものと同じ、 は

で定義された関数である。この表式は、近地平面極限（Near Horizon Limit）を取るときに利用される。

 その他の表式

ここで、 や  は上で定義されているものと同じである。この表式では、測地線方程式の変数分離性が見やすい。

正規直交基底は

双対ベクトルは

エディントン・フィンケルシュタイン（Eddington-Finkelstein）座標による表現 

ボイヤー・リンキスト座標による表現では、カー計量は  となるような  のところで発散しているのであった。それらの場所（座標特異点とよばれる）での時空の振る舞いを調べるためには、それらの場所で計量の成分が発散しないような座標を選ぶ必要がある。カー計量に対して、ボイヤー・リンキスト座標による表現での座標特異点を横切ることの出来る別の座標はチャールズ・ミスナー（Charles W. Misner）、キップ・ソーン（Kip S. Thorne）、ジョン・ホイーラー（John A. Wheeler）によって議論され、次のように与えられる。

この座標で、 とすると、シュワルツシルドの計量におけるエディントン（A. S. Eddington）とフィンケルシュタイン（D. Finkelstein）の座標を再現することからエディントン・フィンケルシュタイン型の座標、または単に、エディントン・フィンケルシュタイン（Eddington-Finkelstein）座標とよばれる。エディントン・フィンケルシュタイン座標を用いて、カー計量は

のように表現される。この表現は、カーが最初に求めたものと同じである。

カー・シルド（Kerr-Schild）形式による表現

カーターのクラス

極限カー計量

事象の地平面
カー計量のボイヤー・リンキスト座標による表現で  成分が発散する場所、つまり、 は事象の地平面を与える。エディントン・フィンケルシュタイン座標に移れば  としても計量が特異性を示さないことから、ボイヤー・リンキスト座標による  成分の発散が座標に依存した特異性であることが分かる。このような特異点は座標特異点（Coordinate singularity）と呼ばれる。遅速回転カー時空  を考える場合、 は異なる2つの根

を持つ。これらはシュヴァルツシルド時空への極限  で、事象の地平面  および曲率特異点  に対応する場所である。また、極限カー時空への極限  で、となり、2つの地平面は縮退する。 一定面上での計量の行列式の計算

から、 一定面が  のとき時間的、  のとき空間的、  のとき光的であることが分かる。したがって、 なる条件は  にある2つの光的超曲面を表している。事象の地平面  上の誘導計量  は、

となる。ここで、

である。こうして、事象の地平面  上の光的キリングベクトル場  を得る。 の積分曲線は光的曲線族を与え、それらは事象の地平面  上において、角速度  で  方向に回転している。

事象の地平面  の時刻 一定 面上の誘導計量  は、

となるから、事象の地平面は球対称でなく、扁平した楕円面となっている。回転が大きくなると扁平は大きくなる。事象の地平面  の面積は、

となる。

エルゴ球面
カー計量のボイヤー・リンキスト座標による表現で、 の成分が消える場所はエルゴ球面を与える。

測地線
曲がった時空上の測地線問題は、自由粒子に対するハミルトン-ヤコビ方程式  によって記述される。

隠れた対称性

測地線方程式の変数分離性
カー時空中における、自由落下する粒子の運動（測地線運動）を記述するハミルトン-ヤコビ方程式は変数分離によって解くことができる。このことは、1968年、ブランドン・カーター（Brandon Carter）によって初めて証明された。実際には、カー時空を含むより一般的なクラス（カーターのクラスと呼ばれる）の時空に対して、ハミルトン-ヤコビ方程式とスカラー場の方程式（シュレーディンガー方程式）の両方が変数分離によって解かれることが示されている。カー時空には本来、時間並進対称性と回転対称性に関連する二つのキリングベクトルが存在し、それらに対応した2つの独立な保存量が内在している。そのため、ハミルトン-ヤコビ方程式が可積分であるためには、ハミルトニアンとは別に、4つめの独立な保存量が必要であった。カーターはこの四つ目の保存量の存在を指摘した。その保存量は「カーター定数」とよばれている。

それから2年後、カーターとは違った形で、カー時空におけるハミルトン-ヤコビ方程式の可積分性が証明された。
マーティン・ウォーカー（Martin Walker）とロジャー・ペンローズ（Roger Penrose）は、カー時空に2階の分離不可能なキリングテンソルが存在することを示し、カーター定数が粒子の運動量に関して2次の保存量になっていることを明らかにした。ここで、2階のキリングテンソルとは

を満たす2階の対称テンソルをいう。一般に、キリングベクトル  の存在する空間では （ は定数）によって2階のキリングテンソルをいつでも構成することができるが、このようにキリングベクトルや計量から構成できるキリングテンソルは分離可能（reducible）なキリングテンソルとよばれ、
分離不可能（irreducible）なものとは区別される。すべてのキリングテンソルがキリングベクトルから構成できるとは限らず、カー時空において分離不可能なキリングテンソルを見つけたことがウォーカーとペンローズの功績である。

1973年、ロバート・フロイドはカー時空に存在する2階のキリングテンソルが、2階のキリング・矢野テンソルを用いて

のように書けることを指摘した。
ここで、2階のキリング・矢野テンソルとは

を満たす2階の反対称テンソルをいう。フロイトの仕事は、言いかえれば、カー時空における2階のキリング・矢野テンソルの存在を示しているわけであるが、すべての2階のキリングテンソルが2階のキリング・矢野テンソルに分解できるわけではないため、その意味でカー時空が"特別"であることを意味している。さらに同じ年、カー時空が本来持っている2つのアイソメトリー、 と  が2階のキリング・矢野テンソルを用いて

のように書けることをハッシュトン（L. P. Hughston）とゾンマー（P. Sommers）は見出した。
これにより、カー時空では、ハミルトン-ヤコビ方程式が可積分であるためのすべての保存量が2階のキリング・矢野テンソルという1つの反対称テンソル場から生成されることが分かる。

出典

参考文献

 R. P. Kerr, "Gravitational field of a spinning mass as an example of algebraically special metrics", Phys. Rev. Lett. 11, 237 (1963).
 Boyer, R. H. and Lindquist, R. W. "Maximal Analytic Extension of the Kerr Metric." J. Math. Phys. 8, 265-281, 1967.

関連項目
一般相対性理論 | アインシュタイン方程式
ブラックホール | シュヴァルツシルトの解 | シュヴァルツシルト・ブラックホール
カー・ブラックホール | カー・ニューマン解
ブラックホール脱毛定理 | ブラックホール唯一性定理 
宇宙検閲官仮説 
ブラックホール熱力学 | ブラックホール面積定理 

ブラックホール
一般相対性理論における厳密解
物理学のエポニム
fr:Trou noir de Kerr#Métrique de Kerr