0

【Causality備忘録】Reflecting spacetime

79
0
$$$$

 これは私の備忘録なので、まとまってないし読まないほうがいいです。随時加筆します。

 reflecting時空についてまとめます。

反射律

時空$(M,g)$が点$q\in M$ において過去反射的(past reflecting)であるとは、次の同値な3つの条件を満たすときを言う。

  1. $I^+(p)\supset I^+(q)\ \Rightarrow\ I^-(p)\subset I^-(q)$

  2. $q\in \overline{I^+(p)}\ \Rightarrow\ p\in \overline{I^-(q)}$

  3. $q\in \partial I^+(p)\ \Rightarrow\ p\in \partial I^-(q)$

さらに任意の点が過去反射的であるとき、時空$(M,g)$は過去反射的であるという。未来と過去を入れ替えて未来反射的も同様に定義する。過去反射的かつ未来反射的であるとき、時空$(M,g)$反射的であるという。

 下図はpast reflectingでない時空の例です。
past reflectingでない時空 past reflectingでない時空

 この定義だとreflectingという性質の物理的、幾何学的意味が分かりずらいです。reflectingは時空の因果構造が適当な意味で“連続”であるということと同値です。$I^\pm$の外側連続性、(未来、過去)体積関数の連続性と同値であることが知られています( https://math.jp/wiki/%E5%9B%A0%E6%9E%9C%E9%9A%8E%E5%B1%A4#.E5.9B.A0.E6.9E.9C.E6.A7.8B.E9.80.A0.E3.81.AE.E9.80.A3.E7.B6.9A.E6.80.A7)。

 その他の特徴付けとしてchronological common future(past)による特徴付けを述べます。

chronological common future(past)

$(M,g)$を時空とし、$S\subset M$を部分集合とする。$S$のchronological commom futureを
$$ \uparrow S:={\rm Int}\{x\in M;\ y<< x,\ \forall y\in I^-(S)\} $$
と定義する。chronological commom past $\downarrow S$も過去、未来を入れ替えて同様に定義する。

 $\uparrow S$はだいたい$S$の過去の任意の元が原理的に到達できる未来ということです。同様に、$\downarrow S$はだいたい$S$の未来の任意の元が信号を原理的に受け取ることができる過去ということです。

 定義より$ \downarrow I^+(p)\supset I^-(p)$は明らかです。$p$$I^-(p)$の情報のみ受け取りますが、$ \downarrow I^+(p)$$I^-(p)$を真に含む場合は$p$の未来のどの点$q\in I^+(p)$$I^-(p)$の領域外からの情報を受け取るということになります。この状況では$p$を通る観測者が過去から受け取れる情報が$p$を境に激変することを意味しています(信号は壁などの物体で遮蔽されていて、移動したら急にその後ろが見えたという状況ではない、物体で遮蔽されていても原理上透過力の強い粒子で検出できる)。これはいかにも因果構造が“不連続”そうです。従って因果構造が連続であるならば$ \downarrow I^\pm(p)= I^\mp(p)$となるべきです。

Mがreflectingであることと、任意の$p\in M$に対して$ \downarrow I^+(p)=I^-(p),\ \uparrow I^-(p)=I^+(p)$となることは同値である。

Mがreflectingであるとする。

  • $ \downarrow I^+(p)\subset I^-(p)$を示す。
    $ \downarrow I^+(p)$の定義より$ q\in\downarrow I^+(p)$に対して、$ I^+(q)\supset I^+(p)$となる。
    よってpast reflectingより$ I^-(q)\subset I^-(p)$となる。$\cdots(*)$
    $ \downarrow I^+(p)$はopensetだから、$ q$はある$ q^+\in\downarrow I^+(p)$の過去にある。
    $(\ast)$を導いた議論と同様にして$ I^-(q^+)\subset I^-(p)$が分かるから、$q\in I^-(p)$である。

  • $ \downarrow I^+(p)\supset I^-(p)$は定義より明らか。

よって$ \downarrow I^+(p)= I^-(p)$である。future reflectingより$\uparrow I^-(p)=I^+(p)$も同様に従う。

逆に、$ \downarrow I^+(p)= I^-(p),\ \uparrow I^-(p)=I^+(p)$を仮定する。
$ I^+(q)\subset I^+(p)$とすると、$ \downarrow I^+(q)\supset \downarrow I^+(p)$となるから、$ I^-(q)\supset I^-(p)$である。よってpast reflectingである。future reflectingも同様である。

 この特徴づけを使うとhomogeneousな時空はreflectingであることが分かります。

homogeneousな時空はreflectingである

$ \uparrow I^-(p)=I^+(p)$のみ示す。
$ \uparrow I^-(p)\subset I^+(p)$を示せばよい。
$ y\in \uparrow I^-(p)$とする。
$ G$$ M$に推移的に作用するとする。
$ W':=\{g\in G;\ g(y)\in\uparrow I^-(p)\}$ (単位元を含むopenset)
$ W=W'\cap (W')^{-1}$とする。
$ g\in W$に対して、$ g^{-1}(y)\in\uparrow I^-(p)$より$ y\in g(\uparrow I^-(p))$となる。

$ q\in \uparrow I^-(p)$とする。
$ \forall p^-\in I^-(p)$に対して、$ p^-<< p<< q$であるから、$ g(p^-)<< g(p)<< g(q)$である。
$ I^-(g(p))=\{g(p^-);p^-\in I^-(p)\}$だから$ g(q)\in \uparrow I^-(g(p))$である。
よって$ g(\uparrow I^-(p))\subset \uparrow I^-(g(p))$なので$ y\in \uparrow I^-(g(p))$である。

適当な$ g\in W$があって$ p<< g(p)$となるから、$ p<< g(p)<< y$である
よって$ y\in I^+(p)$である。
$ \downarrow I^+(p)=I^-(p)$も同様である。

類似の命題として「定常時空はreflecting」が成り立ちます( https://mathlog.info/articles/3570 の命題9)。

投稿日:2023412

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Submersion
Submersion
88
19345
専門は相対論やLorentz幾何です。Einstein系の厳密解の構成や接触幾何の応用などの研究をしています。Ph.D保有者の中ではクソ雑魚の部類です。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中