熟読未満ななめ読み以上の気になった論文についての要点をまとめたものです
Woodhouse, N. M. J. "The differentiable and causal structures of space‐time." Journal of Mathematical Physics 14.4 (1973): 495-501.
を少し読んだので要点のまとめです。細かい行間、証明などはフォローしてない部分があります。理解に誤りがある可能性もあります。興味を持った方はこの論文を読んでぜひ議論してください。元論文はどうも表現を簡潔にしようとする意識が強く意味が取りにくいのでこの記事では少し表現を変えています。
イントロ
通常のGRの仮定は以下である。
- 時空はLorentz多様体である
- geodesic hypothesis
massiveな自由粒子はtimelike geodesicに、masslessな自由粒子はnull geodesicに従う - chronometric hypothesis
timelike curveの固有長が固有時を与える
しかし従来のGRの建設の仕方はいくらかの人たち(Ehlers,Pirani,Schildなど)から以下のような難癖をつけられてきた。
- 理論を修正する余地が少なめ
例えば、計量構造ではなく、共形構造、射影構造のみから始めることができない。 - 計量が与えられたときに、自由粒子が測地線に従うという仮定の圧倒的な物理的正当性はない
例えば接空間レベルでSRになればよいので、リーマン接続以外でもよいはず
Marzke, Wheeler, Kundt, Hoffmanらは自由粒子や光の軌道からstandard clock(たぶん局所慣性系に設置された原子時計)を構成できると示した、従ってchronometric仮説は冗長であるか、または固有長がstandard clockに等しいという言明に還元される - GRの数学的な構築にも問題がある
計量は微分多様体を指定しなければ定義できないが、微分多様体としてのトポロジーは因果構造によって大きく制限されるため、因果構造を先に物理的な洞察から規定しておいた方が理論構築がすっきりする - 時空をEinstein方程式の発展問題として局所的に定式化することもできるが、特異点の発生の可能性などの問題を扱うのはなかなか難しい
この論文の目的は物理的にreasonableな単純で原始的な公理から時空の可微分構造、因果構造、共形構造を導くことである。
基本的な定義と因果構造
点集合
の部分集合の族でには級1次元部分多様体の構造を入れることができ、さらにと同相である
任意のに対して、あるが存在して、となるとする
各にはの2つある順序のうち1つが誘導される、と書く
に対してのとき、はにchronologicalに先行するという
各はparticleと呼ばれ、自由落下の粒子の世界線を表す
(a) trip
各particleに順序が定められているとする
に対して、からへのtripとは、点列とparticle列で以下の条件を満たすもののことである
に対して、かつ
(b)
からへのtripが存在するとき、と書く( x chronologically precedes to y)
Axiom 1a 第一因果公理
各の順序をとなるが存在しないように選ぶことができる
(a)
(b) (x causally preceeds y) and
(c)Alexandrov位相とはが準開基となって作られる位相である
(d) (horismos relation) だがではない
Lorentz多様体において、とが成り立つ
(b)はこの性質を抽象化したものと思われる
(c)は後で分かるが物理的にもリーズナブルな位相である
Axiom 2
に対して、とはの位相に関して開集合である
(からのある点へchronologicalに到達できるとき、より早くchronologicalに到達することが可能だということを意味している)
物理的には時空点は近傍を小さくした極限でしかない
どんな測定もただ一つの時空点で行われることはありえない
従ってどんな実験や測定も時空点が因果的に関与しているかしていないのかを判断することはできない
これらのことからalmost causalityを以下のように導入する
Axiom 1b second causality axiom
はfuture, past distinguishingである
すなわち、
Axiom 1bは結構リーズナブルであるが、補題1,2が導かれるというのがなかなかよい結果だと思う
に対して、でとなるものが存在する
のとき、でかつとなるものが存在する
近い事象間の光の伝播
局所的な因果構造の連続性を要請する。
Axiom 3
任意のに対して、future and past reflectingな近傍が存在する
Lorentz多様体ではhorismosな関係にある2点間には少なくとも一つのnull geodesicが存在するという事実があるが、今はLorentz多様体の構造が入ってないのでlight signalをlocalに定義する。
local light signal
に対して、のときからへのlocal light signalが存在するという
そいて光のやり取りを利用したmessage functionなるものを定義する。これは多様体構造や微分構造を入れるのに後で使われる。
message function
partcle の十分近い近傍の点に対して、から出る未来向きのlight signalを受け取る点を、へ未来向きにlight signalを出すことの出来る上の点をとする。
をmessage functionと呼ぶ。
厳密には以下のように定義する。
local reflecting nbhd such that
(は上の順序について考える)
(は上の順序について考える)
この証明は少し長い。
この補題の証明からAlex位はが連続になるような最も粗い位相であることが分かる。よってAlex位相はfree fall observerが近傍時空を連続に観察できるために最低限必要な位相であるため物理的にもreasonableである。
微分構造
適当な2人のfree fallする観測者がそれぞれ、ある時空点に対して、光を発射して、それが反射して受け取るとき、発射した固有時と反射を受け取った時刻を使って4つの実数を作れば、それが局所座標になっているというアイデアを使って時空に4次元位相多様体としての座標付けが可能であるという公理を定める。
Axiom 4a first dimension axiom
とする
をに関するmessage funcとする
を
と定義する
このとき、任意のに対して、以下の条件を満たすが存在する
(i)
(ii)の適当な部分集合でとなるものが存在する
(iii)は同相写像であり、はの単連結領域である
直感的にはこの方法で局所座標付けできそうな気がするが要確認
例えば、Minkowskiにおいて、同一平面上にある2つのtimelike geodesicは上のような局所座標を定めることはできない(要確認)
”ねじれの位置”のような関係になっている必要がある
first dimension axiomは4次元限定であるのが少し気に入らない。高次元時空にも適用できるように次元公理は拡張されるべきであると思う。
時空中の流体の流れをモデル化して1パラメータ局所変換群芽に似た構造を定義する。
は1次元実多様体の構造を持つからparametrizationをとする
添え字集合はの元やそのparametrizationを指定しているとする
を開集合とするとき、が上の-congruenceであるとは
(i) 任意のに対して、でを満たすものがただ一つ存在する
(ii) 与えられた]に対して、は連続写像
多様体の構造が入ったので次に級構造を導入したい
お気持ち
- 構造を正当化するには何らかの一階微分で与えられる物理量の連続性を仮定するのがよさそうである
- そのようなものとして光のドップラーシフトがある、すなわちmessage funcを受け取った時刻の微分である
- -congruenceを流体の流れだと思うと、観測者はの運動による光のドップラーシフトを連続的に観測するはずである
厳密には以下のように定める
Axiom5
の各元は微分可能なparametrizationを取ることが可能であるとする(以下parametrizationは可微分なものを考える)
任意のと十分小さいを取る
を上の-congruenceとする
に対して、congruenceの定義よりでとなるものがただ一つ存在する(は微分可能なparametrizationになっているとする)
をに関するmessage funcとする
このときに対して、が定まるとし、また写像
は連続であるとする
congruenceが独立な方向へ流れていることを次のように定義する。
congruenceの独立
の近傍において、個の-congruenceがあるとする
を十分小さい開集合とし、とする
このとき、からの流れに沿ってだけ進み、次にその点からの流れに沿ってだけ進み、を繰り返すことで、が定まる(もう少し厳密に記述できるが省略)
が同相写像となるとき、は独立であるという
(の位相はAlex位相、の位相は通常のの位相)
2つ目の次元公理を導入する。
Axiom 4b second dimensional axiom
任意のにおいて、適当な近傍があり、上に4つの独立な-congruenceが存在する
以上の準備から級構造が入る。
任意の2つのparticle間のmessage funcが級ならば、は級多様体である
さらに、が級多様体であるとき、Axiom5のを級にして、congruenceの独立性の定義のを級同相写像にして、Thm2の仮定をmessage funcが級であるとすると、帰納的にが]級多様体であることが従う
1st,2nd dimensional axiomに相当する機能を持つもう少し一般的な公理を作りたい
位相次元などからアプローチできないだろうか
多様体構造を帰納的に入れることができるという部分は可算個の公理を導入しているので、ちょっと嫌なのだが、よく考えるとC^∞構造を導くためには任意有限階の微分可能性についてどこかの段階では仮定しないといけないので、実質的にはこれしかないかなとも思う
共形構造と光の伝播
いよいよ共形構造を入れる。ここがこの論文の最も重要な部分だと思う。しかし論理がよく分からない部分が多い。
に対して、となるを選び、の微分可能なparametrizationをとする
をと定義する
(これまでは上で定義されていなかったが、に対して、と拡張しておく)
となるのはまたはのときだからに対して、である
(はLorentz多様体の測地座標系におけるという関数をイメージすればよい、この関数は原点で鞍点になっている、light cone2つを合わせた集合はの等高面である、となっているからこれを”計量”としたい)
という集合はを満たしさえすればの取り方によらない
は3 dimのtopological hypersurfaceである(要確認)
特ににおいては滑らかな部分多様体ではない(要確認)
の近傍においてを原点とする適当な座標でとなるものを取る
なら、はにおいて滑らかな部分多様体を定めるので(陰関数定理)、である
よってテイラー展開するととなっている
上ではであるから、であるため、である
parametrizationをに取り替えて構成したものをとすると、となる
を取り替えてもとなるらしい(これは重要なステップだと思うが論理は書かれていない)
よっては各に対してscale倍の不定性を許して定まる
論文ではscale倍の不定性を許してが定まり、その後non-degenerateを公理として仮定するという流れだが、この論理はよく分からないので、暫定的に論理が通るように以下のように改変する
Axiom6(改)
はの取り方によらずにnon-degenerateである
indefinite metric vector spaceに関する有名な補題
vector space ()
indefinite non-degenerate metric on V
に対して、とが同値ならば、あるがありとなる
Axiom6とこの補題より、となるはの取り方に依存せず定まるから、はscale倍の不定性を許して定まる
上に述べた議論はこの論文で非常に重要な部分だと思うが十分な論証がなされていないと思われる。
全く非自明なことが1行ぐらいで述べられており不満足である。
最後にnon-localなlight signalを定義し、null geodesicとの関係を論じる。
(a) non-local light signal
に対して、からへのlight signalとは、点列で次を満たすもののことである
- のあるreflecting nbhdが存在して、となる
- かつかつ
(b) light path
light path とはの連結部分集合であり、任意のに対して、次の条件を満たすreflecting nbhd が存在するようなものである
- がに関して全順序集合となる
- は上記の性質を満たすの部分集合として極大である(がの途中で”途切れていない”ということ)
上の定義はKronheimer-Penroseのcausal structureの定義と少し違うところがあるので注意が必要らしい
何か例が書いてあるがよく分からない
light pathはconformally null geodesicである
証明は2つの補題を用いて行うため結構長いし非自明である
結論
particleやlight signalのふるまいは時空の共形構造を定める
重力がEinstein方程式で記述されると仮定されていて、さらに真空の重力場の場合は時空の曲がりはWeylテンソルで決まる、すなわち共形構造のみで決まるから上記の情報のみで時空の曲がり具合は完全に分かる
しかしリーマン構造までは分からない
感想
原理的かつ物理的にリーズナブルでかつ出来るだけ最小限の仮定から時空の色々な性質を導こうとする試みであり、おもしろいと思う。
共形構造に関する議論は論理的に雑な印象で結論はあってるのだろうが明らかに非自明なことがさも簡単に分かるかのように書かれていて不満足である。
論理が完全になったとして、次元公理に関しては改善の余地があると思う。
次元公理に入るまでの議論は秀逸である。