数学や物理学において、ド・ジッター空間 (英: de Sitter space) とは、通常のユークリッド空間における球面に対する、ミンコフスキー空間あるいは時空における類似物である。n 次元ド・ジッター空間は dSn と書き、(標準のリーマン計量を持つ)n 次元球面に対するローレンツ多様体での類似物である。この空間は最大の対称性を持ち、正の定曲率を持ち、3 以上の n に対して単連結である。
ド・ジッター空間は反ド・ジッター空間と同様に、ライデン大学の天文学の教授で、ライデン天文台の天文台長であったウィレム・ド・ジッター (1872–1934) の名前に因んでいる。
ウィレム・ド・ジッターとアルベルト・アインシュタインは、1920年代にライデンで、宇宙の時空の構造について研究を共にした。
一般相対論の言葉でいえば、ド・ジッター空間とは最大対称性を持ち、(正の真空エネルギー密度と負の圧力に対応する)正(反発力)の宇宙定数
を持つアインシュタイン場の方程式の真空解(英語版)(vacuum solution)のことである。n = 4(3つの空間次元と 1つの時間次元)のとき、ド・ジッター空間は物理的な宇宙の天文学的なモデルとなる。ド・ジッター宇宙を参照。
ド・ジッター空間はウィレム・ド・ジッターとトゥーリオ・レヴィ=チヴィタにより同時に独立に発見された。
さらに最近は、ド・ジッター空間はミンコフスキー空間を使うのではなく、特殊相対論の設定として考えられるようになった。その理由は、群縮約(英語版)(group contraction)によってド・ジッター空間の等長変換群がポアンカレ群へと還元されることで、時空変換部分群やポアンカレ群のローレンツ変換部分群が凖単純群(英語版)(semi-simple group)ではなく単純群に統一できるためである。この特殊相対論の定式化をド・ジッター相対性(英語版)(de Sitter relativity)と呼ぶ。
ド・ジッター空間は 1つ次元が高いミンコフスキー空間の部分多様体として定義することができる。標準的な計量
![{\displaystyle ds^{2}=-dx_{0}^{2}+\sum _{i=1}^{n}dx_{i}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/382294f6a2f2641ec2f407ee73009000925a884a)
を持つミンコフスキー空間 R1,n をとると、ド・ジッター空間は一枚のシートの双曲面
![{\displaystyle -x_{0}^{2}+\sum _{i=1}^{n}x_{i}^{2}=\alpha ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a60caa7ae9ec85f1bb41980ff0edbafb5bbef27a)
により記述される部分多様体である。ここに
は長さの次元を持つ正の定数である。ド・ジッター空間上の計量は、アンビエント・ミンコフスキー計量から導かれる。導かれた計量はローレンツ的な符号数を持ち非退化である。(上の定義に加えて、
を
と置き換えると、2枚のシートの双曲面を得る。この場合の導かれた計量は正定値であり、それぞれのシートは n-次元双曲空間のコピーである。
ド・ジッター空間は、2つの不定値直交群(英語版)(indefinite orthogonal group)の商空間 O(1,n)/O(1,n−1) としても定義される。このことは、この空間が非リーマン的な対称空間(英語版)(symmetric space)であることを示している。
トポロジー的には、ド・ジッター空間は R × Sn−1 である(したがって、n ≥ 3 であれば、ド・ジッター空間は単連結である)。
ド・ジッター空間の等長変換群(英語版)(isometry group)は、ローレンツ群 O(1,n) である。従って、計量は n(n+1)/2 個の独立なキリングベクトルを持ち、最大対称である。すべての最大対称空間は定曲率を持つ。ド・ジッター空間のリーマン曲率テンソルは、
![{\displaystyle R_{\rho \sigma \mu \nu }={1 \over \alpha ^{2}}(g_{\rho \mu }g_{\sigma \nu }-g_{\rho \nu }g_{\sigma \mu })}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7bb8bb944f38101d3c52c15fe8e6ccbe84ef6f5)
により与えられる。
リッチテンソルは計量に比例する
![{\displaystyle R_{\mu \nu }={\frac {n-1}{\alpha ^{2}}}g_{\mu \nu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b2d9ac9cf081f41aa388a3ab4491b01ce79b947)
ので、ド・ジッター空間はアインシュタイン多様体である。このことは、ド・ジッター空間は、
![{\displaystyle \Lambda ={\frac {(n-1)(n-2)}{2\alpha ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7d525253fe14965d434c3ea10d3dd68dbe2f52f)
により与えられる宇宙定数を持つアインシュタイン方程式の真空解であることを意味する。ド・ジッター空間のスカラー曲率は、
![{\displaystyle R={\frac {n(n-1)}{\alpha ^{2}}}={\frac {2n}{n-2}}\Lambda .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6535e0395f7ecfd03c30aad7e7cd9475f79d2f98)
により与えられる。n = 4 の場合、Λ = 3/α2 であり、R = 4Λ = 12/α2 である。
静的な座標[編集]
ド・ジッター空間に対して静的座標(英語版)(static coordinates)
を次のように導入することができる。
![{\displaystyle x_{0}={\sqrt {\alpha ^{2}-r^{2}}}\sinh(t/\alpha )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf2d630dbfbdc5ad0e0ff92bf907364117a6d036)
![{\displaystyle x_{1}={\sqrt {\alpha ^{2}-r^{2}}}\cosh(t/\alpha )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d97cc1757dc39f90d80776c7450831f32ff47b99)
![{\displaystyle x_{i}=rz_{i}\qquad \qquad \qquad \qquad \qquad 2\leq i\leq n.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4713214c4f120215002135e261aa71a75e3de12)
ここに、
は (n−2)-球面の Rn−1 の中への標準的な埋め込みを与える。 これらの座標では、ド・ジッター計量は、
![{\displaystyle ds^{2}=-\left(1-{\frac {r^{2}}{\alpha ^{2}}}\right)dt^{2}+\left(1-{\frac {r^{2}}{\alpha ^{2}}}\right)^{-1}dr^{2}+r^{2}d\Omega _{n-2}^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/846e157859cf53d3bb2c1549b0b44830a0e859ee)
となる。
には天文学的地平線(英語版)(cosmological horizon)が存在することに注意。
平坦なスライシング[編集]
として、
![{\displaystyle x_{0}=\alpha \sinh(t/\alpha )+r^{2}e^{t/\alpha }/2\alpha ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5db7b3eff7fe0e758803a37478c2ee3155a10ed)
![{\displaystyle x_{1}=\alpha \cosh(t/\alpha )-r^{2}e^{t/\alpha }/2\alpha ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4a02ed7c96f5aadab1834131695085921c437f7)
![{\displaystyle x_{i}=e^{t/\alpha }y_{i},\qquad 2\leq i\leq n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5352e3dc4e9e1efbe70f4175804f2fa1d7529f49)
とすると、
座標では、計量は、
![{\displaystyle ds^{2}=-dt^{2}+e^{2t/\alpha }dy^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1b92d4aaf736710feef1104668d6543bb3f5ba5)
である。ここに
は
の上の平坦な計量である。
開いたスライシング[編集]
標準計量
を持つ
を形成する
を考え、
![{\displaystyle x_{0}=\alpha \sinh(t/\alpha )\cosh \xi ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8915f91547def1bfdf56b96fa4d4d4e369ee8967)
![{\displaystyle x_{1}=\alpha \cosh(t/\alpha ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f464ec7fa648f0f3c292b4018a8b9e6c47a5acfd)
![{\displaystyle x_{i}=\alpha z_{i}\sinh(t/\alpha )\sinh \xi ,\qquad 2\leq i\leq n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c8a5ef2fcf8cfd556558ac1e79fc3b00826cf6b)
とすると、ド・ジッター空間の計量は、
![{\displaystyle ds^{2}=-dt^{2}+\alpha ^{2}\sinh ^{2}(t/\alpha )dH_{n-1}^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b55848bf3b46b197ef13a2965e80871dcde7081)
である。ここに
![{\displaystyle dH_{n-1}^{2}=d\xi ^{2}+\sinh ^{2}\xi d\Omega _{n-2}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abe743df3b295d52116d0fb0e410d2552921da64)
はユークリッド的な双曲空間の計量である。
閉じたスライシング[編集]
で
を表し、
![{\displaystyle x_{0}=\alpha \sinh(t/\alpha ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdd100625f41d0b7481c3ff838f5ba0e7a2b6163)
![{\displaystyle x_{i}=\alpha \cosh(t/\alpha )z_{i},\qquad 1\leq i\leq n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/309bc5e7e9eb5943a384ef7501535a2e5749e87f)
とすると、計量は、
![{\displaystyle ds^{2}=-dt^{2}+\alpha ^{2}\cosh ^{2}(t/\alpha )d\Omega _{n-1}^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7414d1e53d9345f56a86a7e6a6924e1bfa1e641b)
である。
により時間変数を共形時間へ変えると、アインシュタインの静的宇宙に共形同値な計量
![{\displaystyle ds^{2}={\frac {\alpha ^{2}}{\cos ^{2}\eta }}(-d\eta ^{2}+d\Omega _{n-1}^{2}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb8524bbb5cf01b542c0989ad13b009567db38bc)
を得る。ここからド・ジッター空間のペンローズ図を求めることができる。[要説明]
ド・ジッター・スライシング[編集]
で
を表し、
![{\displaystyle x_{0}=\alpha \sin(\chi /\alpha )\sinh(t/\alpha )\cosh \xi ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c592fc06c44fcd336b0278df43991f45e6153a70)
![{\displaystyle x_{1}=\alpha \cos(\chi /\alpha ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6137ea92e746d2f88c13cea3155050e502ec31f4)
![{\displaystyle x_{2}=\alpha \sin(\chi /\alpha )\cosh(t/\alpha ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc85fd9f20563f74a4f6b7753e8e5c26a6390e9a)
![{\displaystyle x_{i}=\alpha z_{i}\sin(\chi /\alpha )\sinh(t/\alpha )\sinh \xi ,\qquad 3\leq i\leq n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b20179cf55ec27a079291551b7932e40c80fbf3a)
とすると、計量は、
![{\displaystyle ds^{2}=d\chi ^{2}+\sin ^{2}(\chi /\alpha )ds_{dS,\alpha ,n-1}^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cdda1206a359f03cf351952fcd786d5e58e02dd)
である。ここに
![{\displaystyle ds_{dS,\alpha ,n-1}^{2}=-dt^{2}+\alpha ^{2}\sinh ^{2}(t/\alpha )dH_{n-2}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b798153ddbebae8d8a6a2635e0c0921692270c67)
は開いたスライシングにおける
の曲率半径を持つ
次元ド・ジッター空間の計量である。双曲計量は、
![{\displaystyle dH_{n-2}^{2}=d\xi ^{2}+\sinh ^{2}\xi d\Omega _{n-3}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc80fbc56d613f3e7cfbd3acb3236af25b3ac15a)
により与えられる。
これは、座標
のもとでの開いたスライシングの解析接続であり、時間的と空間的な性質が交換されるので、
と
も交換される。
関連項目[編集]
参考文献[編集]
- Qingming Cheng (2001), “De Sitter space”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=De_Sitter_space
- de Sitter, W. (1917), “On the relativity of inertia: Remarks concerning Einstein's latest hypothesis”, Proc. Kon. Ned. Acad. Wet. 19: 1217–1225
- de Sitter, W. (1917), “On the curvature of space”, Proc. Kon. Ned. Acad. Wet. 20: 229–243
- Levi-Civita, Tullio (1917), “Realtà fisica di alcuni spazî normali del Bianchi”, Rendiconti, Reale Accademia Dei Lincei 26: 519–31
- Nomizu, Katsumi (1982), “The Lorentz–Poincaré metric on the upper half-space and its extension”, Hokkaido Mathematical Journal 11 (3): 253–261
- Coxeter, H. S. M. (1943), “A geometrical background for de Sitter's world”, American Mathematical Monthly (Mathematical Association of America) 50 (4): 217–228, doi:10.2307/2303924, JSTOR 2303924, https://jstor.org/stable/2303924
- Susskind, L.; Lindesay, J. (2005), An Introduction to Black Holes, Information and the String Theory Revolution:The Holographic Universe, p. 119(11.5.25)