反ド・ジッター空間のソースを表示

[[数学]]と[[物理学]]において、'''反ド・ジッター空間'''(はんどじったーくうかん、{{lang-en-short|Anti-de Sitter space}})とは、最大の対称性を持ち、負の定[[スカラー曲率]]を持つ[[擬リーマン多様体#ローレンツ多様体|ローレンツ多様体]]である。n次元の反ド・ジッター空間は AdS<sub>n</sub> と表記される。

==名称==
反ド・ジッター空間と[[ド・ジッター空間]]は、[[ライデン大学]]の天文学の教授で、[[ライデン天文台]]の天文台長であった[[ウィレム・ド・ジッター]] (1872–1934) の名前に因んでいる。

ウィレム・ド・ジッターと[[アルベルト・アインシュタイン]]は、1920年代に[[ライデン]]で、宇宙の[[時空]]の構造について研究を共にした。
==概要==
[[定曲率]]の[[多様体]]は、正の定曲率の表面である、2次元の[[球面|球体]]の表面の場合とほぼ同じである。平らな（[[ユークリッド空間|ユークリッド]]の）平面は、零の定曲率の表面であり、[[双曲平面]]は負の定曲率の表面である。

アインシュタインの[[一般相対性理論]]は、時空間を対等な立場に置いているので、空間と時間をバラバラであるとみなす代わりに、統一された時空の幾何学とみなしている。定曲率の時空の事例は、ド・ジッター空間（正）と[[ミンコフスキー空間]]（零）と反ド・ジッター空間（負）である。それ自体は、それらは、それぞれが正、零または負の[[宇宙定数]]の{{仮リンク|空宇宙|en|Lambdavacuum solution}}における[[アインシュタイン方程式]]の[[厳密解]]である。

反ド・ジッター空間はどんな次元の宇宙にも一般化する。より高次元では、[[AdS/CFT対応]]における役割として知られている。そして、AdS/CFT対応は、弦が1次元を追加した反ド・ジッター空間に存在している[[弦理論]]における、ある次元数（例えば4次元）における（[[電磁気学]]や[[弱い力]]、[[強い力]]のような）量子力学の力を記述することが可能だと示唆している。

==専門的ではない説明==
この解説ではまず、この記事の冒頭で使われている用語の定義について、専門用語を使わずに説明する。次に、一般相対論的な時空というものの基本的な考え方を簡単に説明する。そして、ド・ジッター空間が一般相対性理論の通常の時空（ミンコフスキー空間）の宇宙定数に関する異なる変種を記述していること、反ド・ジッター空間がド・ジッター空間とどう異なるかを論じる。また、一般相対性理論に適用されるミンコフスキー空間、ド・ジッター空間、反ド・ジッター空間は、いずれも平坦な5次元時空に埋め込まれていると考えることができることを説明する。最後に、この非専門的な説明では、数学的概念の詳細を完全に把握できないことを一般論として説明し、いくつかの注意点を挙げている。

===翻訳された専門用語===
最大の対称性を持つローレンツ多様体とは、どんな時間・空間上の一点も他の点と区別できない（特別な点を持たない）様な時空間である。（ローレンツのように）方向（または、時空間の一点での経路の接線）を区別する唯一の方法は、それが空間的であるか、光的であるか、時間的であるかである。特殊相対性理論の空間（[[ミンコフスキー空間]]）が1つの事例である。

[[定スカラー曲率]]とは、一般相対性理論の重力のような時空の歪みであり、時空に物質やエネルギーが存在していない場合、どこでも同じである様な1つの数字で記述される曲率を持っている時空間を表す。

負の曲率とは、双曲的に、すなわち[[鞍の表面]]や[[ガブリエルのラッパ]]の表面のように曲がっていることを意味し、[[トランペット]]のベルの表面とも似ている。正の曲率を持っている球面とはある意味「反対」とも言える。

===一般相対性理論における時空===
一般相対性理論は、時間、空間そして重力の性質の理論である。重力は、物質とエネルギーの存在から引き起こされる、空間と時間の曲率である。（等式 <math>E = mc^2</math> で表現されるように）{{仮リンク|エネルギーと質量は等しく|en|Mass–energy_equivalence}}、空間と時間はそれぞれ光速を変換単位として等価な量に翻訳することができる。

日常的な現象とのアナロジーとして考えよう。重い物質をゴムの平らなシート上に置くことで生じるシート上のくぼみは、近くを進んでいる小さい物質が載っている軌道に影響する。その小さい物質は、重い物質が存在していない時に従う軌道より内側に逸れ、これがいわゆる「重力」である。無論、一般相対性理論では、小さい物質と大きい物質の両方が相互に時空間の曲率に影響する。

物質によって生じる重力の引力は、時空間の負の曲率が原因であり、（トランペットのベルのような）そのシート上の負の曲線のくぼみによる、ゴムシートとのアナロジーで表現できる。

一般相対性理論の非常に重要な特徴は、電磁力学のような従来の力のようではなく、物質とエネルギーの存在によって生じる時空間の形状の変化として重力を記述するということである。

上のアナロジーは、３つ目の次元が重力の影響に対応している様な3次元の{{仮リンク|超空間|en|Superspace#In_general_relativity}}での一般相対性理論において、重力によって引き起こされる2次元空間の曲率を記述している。我々の住んでいる４次元時空の一般相対性理論について幾何学的に考察するには、現実世界の4次元時空間での重力の影響を、五番目の次元が一般相対性理論における重力や重力的な効果によって生まれる時空での曲率に対応している様な5次元空間に投影すればよい。

結果として、一般相対性理論では、馴染み深い[[ニュートンの万有引力の法則|ニュートンの重力の方程式]] <math>\textstyle  F = G \frac{m_1 m_2}{r^2}\ </math> （すなわち、重力による引力の大きさは（[[万有引力定数]]）×（２物体の質量の積）÷（2物体間の距離）に等しい）は、一般相対性理論で見られる重力の効果の近似にすぎない。しかしながら、この近似は、極端な物理的状況下（光速に近いような相対論的な速度や、超高密度の質量が存在する様な状況）で不正確になる。

馴染み深いニュートンの重力の方程式と一般相対性理論の間のいくつかの相違は、一般相対性理論の重力が、空間だけではなく時間と空間の両方を曲げるという事実から導かれる。普通の状況下では、ニュートンの重力と一般相対性理論の間の相違は、精密機器でのみ検出可能であるほどに、重力はわずかにしか時間を曲げない。

===一般相対性理論におけるド・ジッター空間===
ド・ジッター空間は、物質やエネルギーが存在しない場合に、時空がわずかに湾曲する一般相対性理論で予言される歪みを表す。これは、ユークリッド幾何学と[[非ユークリッド幾何学]]の関係に似ている。

物質やエネルギーがない場合の時空の本質的な歪みは、一般相対性理論では宇宙定数でモデル化されている。これは、真空がエネルギー密度と圧力を持つことに相当する。この時空の幾何学の結果、最初は平行な時空の測地線が発散し、時空断面が正の曲率を持つようになる。

===ド・ジッター空間と反ド・ジッター空間の違い===
一般相対性理論における反ド・ジッター空間は、時空の曲率の符号を変えた以外は、[[ド・ジッター空間]]と似ている。反ド・ジッター空間では、物質やエネルギーがないため、空間的な曲率は負となり、[[双曲幾何学]]に対応し、最初は平行な時間的な測地線が最終的に交差する。これは負の[[宇宙定数]]に相当し、空の空間自体は負のエネルギー密度を持つが、正の圧力を持つ。これは我々の宇宙を記述する標準的な[[Λ-CDMモデル]]では[[宇宙の加速膨張|遠くの超新星の観測]]により（漸近的な）ド・ジッター空間に対応する正の宇宙定数が示唆されていることとは対照的である。

反ド・ジッター空間では、ド・ジッター空間と同様に、固有の時空の曲率が宇宙定数に対応する。

===5次元への埋め込みとして見たときのド・ジッター空間と反ド・ジッター空間===
上述のアナロジーは、一般相対性理論における重力による2次元空間の曲率を、特殊相対性理論のミンコフスキー空間のように平坦な3次元の埋め込み空間で記述するものである。平坦な5次元の空間にド・ジッター空間と反ド・ジッター空間を埋め込むことで、埋め込まれた空間の特性を決定することができる。埋め込み空間内の距離や角度は、5次元の平面空間の単純な性質から直接決定することができる。

反ド・ジッター空間は、観測された宇宙定数をもつ一般相対性理論における重力には対応しないが、量子力学における他の力（電磁気学、弱い核力、強い核力など）には対応すると考えられている。これを[[AdS/CFT対応]]と呼ぶ。

===注意===
この後は、これらの概念の詳細を、より厳密で正確な数学的・物理的記述で説明する。人間は5次元以上のものを視覚化するのに不向きであるが、数式はそのような問題とは無縁で、視覚化しやすい3次元や4次元の概念を数式で表現するのと同じように、5次元の概念を適切に表現することができるのである。

上記のド・ジッター空間と反ド・ジッター空間の類推に基づく発見的記述とは異なる、より正確な数学的記述の特に重要な意味がある。反ド・ジッター空間の数学的記述は、曲率の概念を一般化する。この数学的記述では、曲率は特定の点の性質であり、時空の曲がった点が融合する目に見えない表面とは切り離すことができる。そのため、たとえば、現実の幾何学では表現しきれない特異点（一般相対性理論で最も広く知られているのはブラックホール）のような概念も、数学的な方程式の特定の状態に対応させることができるのである。

また、この数学的記述は、一般相対性理論における空間的次元と時間的次元の微妙な区別を捉えることができる。

==定義と性質==
球面空間や双曲面空間が、1つ高い次元の平坦空間（それぞれ[[球面]]と{{仮リンク|疑球面|en|pseudosphere}}）における等長[[埋め込み (数学)|埋め込み]]によって可視化できるのと同様に、反ド・ジッター空間は1つの追加次元でのローレンツ的な類推物から可視化できる。本記事では時間的方向の[[計量テンソル|計量]]は負であるという規約を採用する。

[[Image:HyperboloidOfOneSheet.svg|thumb|平坦な {{nowrap|(1 + 2)}}-次元空間に埋め込まれた {{nowrap|(1 + 1)}}-次元反ド・ジッター空間の図。''t''<sub>1</sub>-軸と ''t''<sub>2</sub>-軸は回転対称面内にあり、''x''<sub>1</sub>-軸はその面の法線方向である。埋め込まれた表面には、''x''<sub>1</sub> 軸を回る時間的閉曲線が存在するが、この時間的閉曲線は埋め込みを「展開」することで（より正確には、普遍被覆をとることで）消滅する。]]
符号 {{nowrap|(''p'', ''q'')}} の反ド・ジッター空間は、座標が {{Nowrap|(''x''<sub>1</sub>, ..., ''x''<sub>''p''</sub>, ''t''<sub>1</sub>, ..., ''t''<sub>''q''+1</sub>)}} であり、{{仮リンク|準球面|en|quasi-sphere}}
:<math>\sum_{i=1}^p x_i^2 - \sum_{j=1}^{q+1} t_j^2 = -\alpha^2 ,</math>
の[[計量テンソル|計量]]
:<math>ds^2 = \sum_{i=1}^p dx_i^2 - \sum_{j=1}^{q+1} dt_j^2</math>
である空間 <math>\mathbb{R}^{p,q+1}</math> へ等長埋め込みができる。ここで <math>\alpha</math> は非負の次元の大きさの定数である（[[曲率半径]]）。これは原点からの「距離」（二次形式で決定される）が一定である点の集まりという意味で（一般化）球面であるが、視覚的には図のように[[双曲面]]である。

反ド・ジッター空間における計量は、{{仮リンク|アンビエント計量|en|ambient measure}}から導出される。計量は[[非退化]]でありローレンツ的符号を持つ。

{{nowrap|1=''q'' = 0}} の場合、この構成は標準的な双曲面空間を与える。以降は {{nowrap|''q'' ≥ 1}} に関して議論する。

===時間的閉曲線と普遍被覆===
{{nowrap|''q'' ≥ 1}} の場合、上記の埋め込みは[[時間的閉曲線]]を持つ。例えば、<math>t_1 = \alpha \sin(\tau), t_2 = \alpha \cos(\tau),</math> でパラメータ化され、他の座標値はすべてゼロである経路は時間的閉曲線となる。{{nowrap|''q'' ≥ 2}} の場合、これらの曲線は幾何学に固有であるが（当然、2以上の時間次元をもつどの空間も時間的閉曲線を持つ）、{{nowrap|1=''q'' = 1}} の場合は、時間的閉曲線は[[普遍被覆空間]]を通ると消滅し、実質的に埋め込みが「展開」される。似た現象は、{{仮リンク|疑球面|en|pseudosphere}}でも発生する。双曲面は曲がらない一方で{{仮リンク|疑球面|en|pseudosphere}}は曲がる。結果的に疑球面には自己交差する直線（測地線）が含まれるが、双曲面には含まれない。反ド・ジッター空間を埋め込まれた準球面自体と等価であると定義する著者が存在する一方、反ド・ジッター空間を埋め込みの普遍被覆と等価であると定義する著者も存在する。

=== 対称性 ===
普遍被覆を採用しない場合、{{nowrap|(''p'', ''q'')}} 反ド・ジッター空間はその{{仮リンク|等長群|en|isometry group}}として [[Generalized orthogonal group|{{nowrap|O(''p'', ''q'' + 1)}}]] を有する。普遍被覆を採用する場合、等長群は {{nowrap|O(''p'', ''q'' + 1)}} の被覆となる。これは、反ド・ジッター空間を以下で与える[[等質空間|商空間]]の構成を用いて{{仮リンク|対称空間|en|symmetric space}}と定義すると、簡単に理解できる。
==座標パッチ==
空間の一部を被覆する[[アトラス (多様体)|座標パッチ]]から反ド・ジッター空間の{{仮リンク|半空間|en|half-space (geometry)}}座標化が得られる。このパッチに対する[[計量テンソル]]は  

:<math>ds^2=\frac{1}{y^2}\left(-dt^2+dy^2+\sum_idx_i^2\right),</math>

<math>y>0</math> であれば半空間が得られる。この計量は平坦なミンコフスキー時空の半空間と{{仮リンク|共形幾何学|en|conformal geometry|label=共形合同}}であることが容易にわかる。

この座標パッチの一定な時間スライスは、ポアンカレ半空間計量における{{仮リンク|双曲空間|en|hyperbolic space}}となる。<math>y\to 0</math> の極限では、この半空間計量はミンコフスキー計量 <math>ds^2=-dt^2+\sum_idx_i^2</math> と共形合同である。このように、反ド・ジッター空間は無限遠において共形的なミンコフスキー空間を含む（「無限遠」とはこのパッチにおける y 座標がゼロの点を含む）。

AdS 空間において時間は周期的である一方、その[[普遍被覆]]は非周期的な時間を持つ。上記の座標パッチは時空の半周期を被覆する。

AdSの [[ペンローズ図|共形的無限遠]]は[[時空|時間的]]であるため、共形的無限遠に関する[[境界条件]]がない限り、空間的な超表面における最初の情報を特定しても未来の時間発展は一意に定まらない（すなわち、決定論的に定まらない）

[[Image:AdS A.PNG|thumb|反ド・ジッター空間の「半空間」領域とその境界面]]

ほかの一般的に用いられる全空間を被覆する座標系は、座標 t, <math>r \geqslant 0</math> と超[[極座標]] α, θ, φ で与えられる。
:<math>ds^2 = - \left( k^2r^2 + 1\right)dt^2 + \frac{1}{k^2r^2+1}dr^2 + r^2 d\Omega^2</math>

隣の画像は反ド・ジッター空間の「半空間」領域とその境界を表している。円筒内部は反ド・ジッター時空に対応し、円筒の境界面はその空間の共形的境界に対応する。円筒内部の緑色の領域は半空間座標とよって被覆される AdS の領域に対応し、この半空間座標は2つのヌル的（光的）測地線超平面によって範囲が限定されている。円筒表面の緑色の領域はミンコフスキー空間によって被覆される共形空間の領域に対応する。

緑色の領域はAdS空間の半分と、共形時空の半分を被覆している。緑色の円板の左端は右端と同様に接する。

==等質対称空間としてのAdS==
2次元[[球面]]

:<math>S^2=\frac{ \mathrm{O}(3) }{ \mathrm{O}(2) }</math>

が2つの[[直交群]]の商であるのと同様に、[[パリティ (物理学)|パリティ]]付き反ド・ジッター空間（鏡映対称）と[[時間反転対称性]]は2つの{{仮リンク|一般直交群|en|generalized orthogonal group}}の商となる：

:<math> \mathrm{AdS}_n=\frac{ \mathrm{O}(2,n-1) }{ \mathrm{O}(1,n-1) } </math>

一方、P や C のない AdS は[[スピン群]]の商となる：

:<math>\frac{ \mathrm{Spin}^+(2,n-1) }{ \mathrm{Spin}^+(1,n-1) }</math>

商表現によって <math>\mathrm{AdS}_n</math> に[[等質空間]]の構造が生じる。一般直交群 <math>o(1,n)</math> の[[リー代数]]は行列によって与えられる：

:<math>
\mathcal{H}=  \begin{pmatrix}
     \begin{matrix}
       0&0\\
       0&0
     \end{matrix}
                       &  \begin{pmatrix}
		             \cdots 0\cdots\\
			    \leftarrow v^t\rightarrow
                          \end{pmatrix}\\
    \begin{pmatrix}	  
       \vdots & \uparrow\\
         0    & v \\
       \vdots & \downarrow
    \end{pmatrix} &  B
  \end{pmatrix}
</math>,
ここで <math>B</math> は[[交代行列|歪対称行列]]である。<math>\mathcal{G}=\mathrm{o}(2,n) </math> のリー代数における補助的（complementary）生成子は以下の通り：

:<math> 
\mathcal{Q}=
 \begin{pmatrix}
     \begin{matrix}
       0&a\\
       -a&0
     \end{matrix}
                       &  \begin{pmatrix}		             
			  \leftarrow w^t\rightarrow \\
			     \cdots 0\cdots\\
                          \end{pmatrix}\\
    \begin{pmatrix}	  
      \uparrow   & \vdots\\
          w      &  0\\
      \downarrow & \vdots 
    \end{pmatrix} & 0
  \end{pmatrix}.
</math> 
これら2つは <math>\mathcal{G}=\mathcal{H}\oplus\mathcal{Q} </math> を満たす。陽的な行列計算によって
<math>[\mathcal{H},\mathcal{Q}]\subseteq\mathcal{Q}</math> と <math>[\mathcal{Q},\mathcal{Q}]\subseteq\mathcal{H} </math> がわかる。このように、反ド・ジッター空間は[[:en:Reductive_homogeneous_space|en:reductive homogeneous space]]であり、非リーマン{{仮リンク|対称空間|en|symmetric space}}である。

== 反ド・ジッター空間とその性質の単純な定義 ==
<math>\mathrm{AdS}_n</math> は負の[[宇宙定数]] <math>\Lambda</math>, (<math>\Lambda < 0</math>) を持つ[[アインシュタイン・ヒルベルト作用]]の ''n''-次元の解である。この理論は以下の[[ラグランジアン (場の理論)|ラグランジアン密度]]によって表現される：
:<math>
\mathcal{L}=\frac{1}{16 \pi G_{(n)}}(R-2\Lambda) 
</math>,
ここで {{math|''G''<sub>(''n'')</sub>}} は {{math|''n''}}-次元時空における[[万有引力定数]]である。
したがって、これは[[アインシュタイン方程式]]の解となる：
:<math>
G_{\mu\nu}+\Lambda g_{\mu\nu}=0 
</math>
ここで <math>G_{\mu\nu}</math> は[[アインシュタインテンソル]]、<math>g_{\mu\nu}</math> は時空の計量である。半径 <math>\alpha </math> を <math>\Lambda=\frac{-(n-1)(n-2)}{2\alpha^2} 
</math> となるように導入すると、この解は符号が <math>(-,-,+,\cdots,+)</math> であり、以下の制約を満たす <math>n+1</math> 次元時空に[[はめ込み|はめ込まれる]]：
:<math>
-X_1^2-X_2^2+\sum_{i=3}^{n+1}X_i^2=-\alpha^2
</math>

=== グローバル座標 ===
<math>\mathrm{AdS}_n</math>はグローバル座標において、以下のようにパラメータ <math>(\tau,\rho,\theta,\varphi_1,\cdots,\varphi_{n-3})</math> で表現できる：
:<math>
\begin{cases}
X_1=\alpha\cosh\rho \cos \tau\\
X_2=\alpha\cosh \rho \sin \tau\\
X_i=\alpha \sinh \rho \,\hat{x}_i \qquad \sum_i \hat{x}_i^2=1
\end{cases}
</math>
ここで <math>\hat{x}_i</math> は <math>S^{n-2}</math> 球面のパラメータである。すなわち、<math>\hat{x}_1=\sin \theta \sin \varphi _1 \dots \sin\varphi _{n-3}</math>, 
<math>\hat{x}_2=\sin \theta \sin \varphi _1 \dots \cos\varphi _{n-3}</math>,
<math>\hat{x}_3=\sin \theta \sin \varphi _1 \dots \cos\varphi _{n-2}</math> etc. となる。この座標系における <math>\mathrm{AdS}_n</math> の計量は：
:<math>
d s^2=\alpha^2(-\cosh^2 \rho \, d \tau^2 + \, d \rho^2 + \sinh ^2 \rho \, d \Omega_{n-2}^2)
</math>
ここで <math> \tau \in [0,2\pi] </math> であり <math> \rho \in \mathbb{R}^+ </math> である。時間 <math>\tau</math> の周期性を考慮すると、[[時間的閉曲線]]（CTC）を避けるために、普遍被覆 <math>\tau \in \mathbb{R}</math> を取る必要がある。極限 <math>\rho \to \infty </math> において、ふつう <math>\mathrm{AdS}_n</math> 共形的境界と呼ばれる、この時空の境界に達する。

<math>r\equiv\alpha\sinh \rho</math> と <math>t\equiv\alpha\tau</math> という変換により、グローバル座標における通常の <math>\mathrm{AdS}_n</math> 計量が得られる：
:<math>
d s^2=-f(r) \, d t^2+\frac{1}{f(r)} \, d r^2+r^2 \, d \Omega_{n-2}^2
</math>
ここで <math> f(r)=1+\frac{r^2}{\alpha^2} </math> である。

=== ポアンカレ座標 ===
以下のパラメータ表示によって、
:<math>
\begin{cases}
X_1=\frac{\alpha^2}{2r}(1+\frac{r^2}{\alpha^4}(\alpha^2+\vec{x}^2-t^2) ) \\
X_2=\frac{r}{\alpha}t \\
X_i=\frac{r}{\alpha}x_i \qquad i\in \{3,\cdots , n\}\\
X_{n+1}= \frac{\alpha^2}{2r}(1-\frac{r^2}{\alpha^4}(\alpha^2-\vec{x}^2+t^2) ) 
\end{cases}
</math>
ポアンカレ座標における <math> \mathrm{AdS}_n </math> 計量は以下のようになる：
:<math>
d s^2 = - \frac{r^2}{\alpha^2} \, d t^2 + \frac{\alpha^2}{r^2} \, d r^2 + \frac{r^2}{\alpha^2} \, d \vec{x}^2   
</math>
ここで <math>0 \leq r</math> である。余次元 2 の表面 <math> r=0 </math> はポアンカレ・キリング地平面であり、<math> r\to \infty</math> で <math>\mathrm{AdS}_n</math> 時空の境界に近づくため、グローバル座標とは異なり、ポアンカレ座標は <math>\mathrm{AdS}_n</math> [[多様体]]すべてを被覆しない。<math>u\equiv\frac{r}{\alpha^2}</math> を用いると、この経路油は以下のように書ける：
:<math>
d s^2=\alpha^2 \left( \frac{\,d u^2}{u^2} + u^2(\,d x_\mu \, d x^\mu) \right)
</math>
ここで <math> x^\mu=(t,\vec{x}) </math> である。変換 <math>z\equiv\frac{1}{u}</math> によって、以下のようにも書ける：
:<math>
d s^2 = \frac{\alpha^2}{z^2}(\,d z^2 + \, d x_\mu \,d x^\mu) 
</math>

=== 幾何学的性質 ===
半径 <math>\alpha</math> の <math>\mathrm{AdS}_n</math> 計量は対称的 ''n''-次元時空のうち最大のものの一つであり、いかの幾何学的性質を持つ：

[[リーマン曲率テンソル]]：
:<math> R_{\mu\nu\alpha\beta}=\frac{-1}{\alpha^2}(g_{\mu\alpha}g_{\nu\beta}-g_{\mu \beta}g_{\nu\alpha}) </math>

[[リッチテンソル|リッチ曲率]]：
:<math> R_{\mu\nu}=\frac{-(n-1)}{\alpha^2}g_{\mu\nu} </math>

[[スカラー曲率]]：
:<math> R=\frac{-n(n-1)}{\alpha^2} </math>

== 参考文献 ==
* {{cite paper |last=Bengtsson |first=Ingemar |url=http://www.fysik.su.se/~ingemar/Kurs.pdf |title=Anti-de Sitter space |work=Lecture notes }}
* {{SpringerEOM|title=Anti-de Sitter space|author=Qingming Cheng|urlname=Anti-de_Sitter_space}}
* {{cite |authorlink=George Francis Rayner Ellis |last=Ellis |first=G. F. R. |authorlink2=Stephen Hawking |last2=Hawking |first2=S. W. |title=The large scale structure of space-time |publisher=[[Cambridge University Press]] |year=1973 |pages=131–134 }}
* {{cite book |last=Frances |first=C. |chapterurl=http://www.math.u-psud.fr/~frances/ads-cft2.pdf |chapter=The conformal boundary of anti-de Sitter space-times |title=AdS/CFT correspondence: Einstein metrics and their conformal boundaries |pages=205–216 |series=IRMA Lect. Math. Theor. Phys. |volume=8 |publisher=Eur. Math. Soc. |location=Zürich |year=2005 }}
* {{cite journal |last=Matsuda |first=H. |title=A note on an isometric imbedding of upper half-space into the anti-de Sitter space |journal=Hokkaido Mathematical Journal |volume=13 |year=1984 |pages=123–132|url=http://www.math.sci.hokudai.ac.jp/hmj/page/13-2/pdf/HMJ_13_2_1984_123-132.pdf }}{{Retrieved|prepend={{sp}}|access-date=2017-02-04}}
* {{cite book |last=Wolf |first=Joseph A. |title=Spaces of Constant Curvature |location= |publisher= |year=1967 |pages=334 }}
{{デフォルトソート:はんとしつたあくうかん}}
[[Category:一般相対性理論における厳密解]]
[[Category:微分幾何学]]
[[Category:ウィレム・ド・ジッター]]