3

【論文メモ】Woodhouse, 1973, The differentiable and causal structures of spacetime

60
0

熟読未満ななめ読み以上の気になった論文についての要点をまとめたものです
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な単純で原始的な公理から時空の可微分構造、因果構造、共形構造を導くことである。

基本的な定義と因果構造

M:点集合
P:Mの部分集合の族でPpにはC0級1次元部分多様体の構造を入れることができ、さらにRと同相である
任意のxMに対して、あるpPが存在して、xpとなるとする
pPにはRの2つある順序のうち1つが誘導される、<<pと書く
x,ypに対してx<<pyのとき、xyにchronologicalに先行するという
pPはparticleと呼ばれ、自由落下の粒子の世界線を表す

(a) trip
各particlepPに順序が定められているとする
x,yMに対して、xからyへのtripとは、点列x=z0,z1,,zn=yとparticle列p1,,pnで以下の条件を満たすもののことである
0in1に対して、zi,zi+1pi+1かつzi<<pi+1zi+1
(b) <<
xからyへのtripが存在するとき、x<<yと書く( x chronologically precedes to y)

Axiom 1a 第一因果公理

pPの順序をx<<xとなるxMが存在しないように選ぶことができる

(a) I+(x):={yM; x<<y},I(x):={yM; x>>y}
(b) x<y(x causally preceeds y)  I+(y)I+(x) and I(y)I(x)
(c)Alexandrov位相とは{I+(x);xM}{I(x);xM}が準開基となって作られる位相である
(d) xy(horismos relation) x<yだがx<<yではない

Lorentz多様体において、I+(p)=J+(p)I+(x)={yM; I+(y)I+(x)}が成り立つ
(b)はこの性質を抽象化したものと思われる
(c)は後で分かるが物理的にもリーズナブルな位相である

Axiom 2

xM,pPに対して、pI+(x)pI(x)pの位相に関して開集合である
(xからpのある点へchronologicalに到達できるとき、より早くchronologicalに到達することが可能だということを意味している)

物理的には時空点は近傍を小さくした極限でしかない
どんな測定もただ一つの時空点で行われることはありえない
従ってどんな実験や測定も時空点x,yが因果的に関与しているかしていないのかを判断することはできない
これらのことからalmost causalityを以下のように導入する

xAy zI(x),I+(z)I+(y)

Axiom 1b second causality axiom

xAy,yAxx=y

Alex位相はハウスドルフ

<<はfuture, past distinguishingである
すなわち、
I+(x)=I+(y)x=y
I(x)=I(y)x=y

Axiom 1bは結構リーズナブルであるが、補題1,2が導かれるというのがなかなかよい結果だと思う

xMに対して、yMy<<xとなるものが存在する
y1,y2<<xのとき、zMz<<xかつz<<y1,y2となるものが存在する

近い事象間の光の伝播

局所的な因果構造の連続性を要請する。

Axiom 3

任意のxMに対して、future and past reflectingな近傍Nxが存在する

Lorentz多様体ではhorismosな関係にある2点間には少なくとも一つのnull geodesicが存在するという事実があるが、今はLorentz多様体の構造が入ってないのでlight signalをlocalに定義する。

local light signal

xM,yNxに対して、xyのときxからyへのlocal light signalが存在するという

そいて光のやり取りを利用したmessage functionなるものを定義する。これは多様体構造や微分構造を入れるのに後で使われる。

message function

partcle pPの十分近い近傍Upの点zUpに対して、zから出る未来向きのlight signalを受け取る点をf+(z)pzへ未来向きにlight signalを出すことの出来るp上の点をf(z)pとする。
f±:Uppmessage functionと呼ぶ。

厳密には以下のように定義する。
Up:=xpNx
Nx:local reflecting nbhd such that Nx:=I+(m1)I(m2),m1,m2p
f+(z):=infxp{x>>z}(infp上の順序<<pについて考える)
f(z):=supxp{x<<z}(supp上の順序<<pについて考える)

f±:Uppは連続写像かつ開写像である。

この証明は少し長い。

この補題の証明からAlex位はf±が連続になるような最も粗い位相であることが分かる。よってAlex位相はfree fall observerが近傍時空を連続に観察できるために最低限必要な位相であるため物理的にもreasonableである。

微分構造

適当な2人のfree fallする観測者がそれぞれ、ある時空点に対して、光を発射して、それが反射して受け取るとき、発射した固有時と反射を受け取った時刻を使って4つの実数を作れば、それが局所座標になっているというアイデアを使って時空に4次元位相多様体としての座標付けが可能であるという公理を定める。

Axiom 4a first dimension axiom

p1,p2P, Up1Up2とする
fi±:UpiRpiに関するmessage funcとする
f:(Up1Up2)(p1p2)R4
fp1,p2(x)=(f1+(x),f1(x),f2+(x),f2(x))R4
と定義する
このとき、任意のxMに対して、以下の条件を満たすp1,p2Pが存在する
(i)Up1Up2
(ii)(Up1Up2)(p1p2)の適当な部分集合WxWとなるものが存在する
(iii)fp1,p2|W:WR4は同相写像であり、fp1,p2(W)R4の単連結領域である

直感的にはこの方法で局所座標付けできそうな気がするが要確認
例えば、Minkowskiにおいて、同一平面上にある2つのtimelike geodesicは上のような局所座標を定めることはできない(要確認)
”ねじれの位置”のような関係になっている必要がある

MC0級実多様体である。

first dimension axiomは4次元限定であるのが少し気に入らない。高次元時空にも適用できるように次元公理は拡張されるべきであると思う。

時空中の流体の流れをモデル化して1パラメータ局所変換群芽に似た構造を定義する。

pλPは1次元実多様体の構造を持つからparametrizationをtλ:Rpλとする
添え字集合λΛPの元やそのparametrizationを指定しているとする
UMを開集合とするとき、C:={(pλ,tλ); λΛ}U上のC0-congruenceであるとは
(i) 任意のxUに対して、(px,tx)Cxpx, tx(0)=xを満たすものがただ一つ存在する
(ii) 与えられたr(ϵ,ϵ)R]に対して、Uxtx(r)Mは連続写像

C0多様体の構造が入ったので次にC1級構造を導入したい
お気持ち

  • C1構造を正当化するには何らかの一階微分で与えられる物理量の連続性を仮定するのがよさそうである
  • そのようなものとして光のドップラーシフトがある、すなわちmessage funcを受け取った時刻の微分である
  • C0-congruenceCを流体の流れだと思うと、観測者pPCの運動による光のドップラーシフトを連続的に観測するはずである
    厳密には以下のように定める
Axiom5

Pの各元は微分可能なparametrizationを取ることが可能であるとする(以下parametrizationは可微分なものを考える)
任意のpPと十分小さいVUpを取る
CV上のC0-congruenceとする
xVに対して、congruenceの定義より(px,tx)Cxpx, tx(0)=xとなるものがただ一つ存在する(txは微分可能なparametrizationになっているとする)
fp±pに関するmessage funcとする
このときfp±tx:RRに対して、ddt(fp±tx)(0)が定まるとし、また写像
V±:VR
V±(x):=ddt(fp±tx)(0)
は連続であるとする

congruenceが独立な方向へ流れていることを次のように定義する。

congruenceの独立

xMの近傍Uにおいて、n個のC0-congruence{Ci}i=1,,nがあるとする
WRnを十分小さい開集合とし、(y1,,yn)Wとする
このとき、xからC1の流れに沿ってy1だけ進み、次にその点からC2の流れに沿ってy2だけ進み、を繰り返すことで、f:RnWUが定まる(もう少し厳密に記述できるが省略)
fが同相写像となるとき、{Ci}i=1,,nは独立であるという
(Mの位相はAlex位相、Wの位相は通常のRnの位相)

2つ目の次元公理を導入する。

Axiom 4b second dimensional axiom

任意のxMにおいて、適当な近傍U(x)があり、U上に4つの独立なC0-congruence{Ci}i=1,,4が存在する

以上の準備からC1級構造が入る。

任意の2つのparticle間のmessage funcがC1級ならば、MC1級多様体である

さらに、MCk, (k1)級多様体であるとき、Axiom5のV±Ck+1級にして、congruenceの独立性の定義のfCk+1級同相写像にして、Thm2の仮定をmessage funcがCk+1級であるとすると、帰納的にMC]級多様体であることが従う

1st,2nd dimensional axiomに相当する機能を持つもう少し一般的な公理を作りたい
位相次元などからアプローチできないだろうか

C多様体構造を帰納的に入れることができるという部分は可算個の公理を導入しているので、ちょっと嫌なのだが、よく考えるとC^∞構造を導くためには任意有限階の微分可能性についてどこかの段階では仮定しないといけないので、実質的にはこれしかないかなとも思う

共形構造と光の伝播

いよいよ共形構造を入れる。ここがこの論文の最も重要な部分だと思う。しかし論理がよく分からない部分が多い。

xMに対して、xpとなるpPを選び、pの微分可能なparametrizationをt:pR, t(x)=0とする
g:UpRg(z):=t(fp+(z))×t(fp(z))と定義する
(これまでf±p上で定義されていなかったが、zpに対して、f±(z)=zと拡張しておく)
g(z)=0となるのはt(fp+(z))=0またはt(fp(z))=0のときだからz(I+(x)I(x))Upに対して、g(z)=0である
(gはLorentz多様体の測地座標系におけるt2+x2+y2+z2という関数をイメージすればよい、この関数は原点で鞍点になっている、light cone2つを合わせた集合はg=0の等高面である、Hess(g)=diag(1,1,1,1)となっているからこれを”計量”としたい)
g(z)=0という集合はxp, t(x)=0を満たしさえすればp,tの取り方によらない
S:={zUp; g(z)=0}は3 dimのtopological hypersurfaceである(要確認)
特にxにおいてSは滑らかな部分多様体ではない(要確認)
xの近傍においてxを原点とする適当な座標{ya}p={y0=t,yi=0}となるものを取る
ag(x)0なら、Sxにおいて滑らかな部分多様体を定めるので(陰関数定理)、ag(x)=0である
よってテイラー展開するとg(ya)=12abg(x)yayb+O(|ya|3)となっている
p上ではg(t,0,0,0)=t2であるから、2=d2dt2g(ya(t))|t=0=02g(x)であるため、abg(x)0である
parametrizationをt=t(t)に取り替えて構成したものをgとすると、abg(x)=(t/t)2abg(x)となる
pを取り替えてもabg(x)=Ω(x)2abg(x)となるらしい(これは重要なステップだと思うが論理は書かれていない)
よってabg(x)は各xMに対してscale倍の不定性を許して定まる

論文ではscale倍の不定性を許してabg(x)が定まり、その後non-degenerateを公理として仮定するという流れだが、この論理はよく分からないので、暫定的に論理が通るように以下のように改変する

Axiom6(改)

abg(x)p,tの取り方によらずにnon-degenerateである

indefinite metric vector spaceに関する有名な補題

V:vector space (dimV2)
g,h:indefinite non-degenerate metric on V
vVに対して、g(v,v)=0h(v,v)=0が同値ならば、あるαRがありg=αhとなる

Axiom6とこの補題より、abg(x)vavb=0となるvTxMp,tの取り方に依存せず定まるから、abg(x)はscale倍の不定性を許して定まる

上に述べた議論はこの論文で非常に重要な部分だと思うが十分な論証がなされていないと思われる。
全く非自明なことが1行ぐらいで述べられており不満足である。

最後にnon-localなlight signalを定義し、null geodesicとの関係を論じる。

(a) non-local light signal
x,yMに対して、xからyへのlight signalとは、点列z0=x,z1,,zn=yで次を満たすもののことである

  • ziのあるreflecting nbhdが存在して、zi1,zi+1Nziとなる
  • zi1ziかつzizi+1かつzi1zi+1

(b) light path
light path LとはMの連結部分集合であり、任意のzLに対して、次の条件を満たすreflecting nbhd Nzが存在するようなものである

  • LNzに関して全順序集合となる
  • LNzは上記の性質を満たすNzの部分集合として極大である(LNzNzの途中で”途切れていない”ということ)

上の定義はKronheimer-Penroseのcausal structureの定義と少し違うところがあるので注意が必要らしい
何か例が書いてあるがよく分からない

light pathはconformally null geodesicである

証明は2つの補題を用いて行うため結構長いし非自明である

結論

particleやlight signalのふるまいは時空の共形構造を定める
重力がEinstein方程式で記述されると仮定されていて、さらに真空の重力場Ric=0の場合は時空の曲がりはWeylテンソルで決まる、すなわち共形構造のみで決まるから上記の情報のみで時空の曲がり具合は完全に分かる
しかしリーマン構造までは分からない

感想

原理的かつ物理的にリーズナブルでかつ出来るだけ最小限の仮定から時空の色々な性質を導こうとする試みであり、おもしろいと思う。
共形構造に関する議論は論理的に雑な印象で結論はあってるのだろうが明らかに非自明なことがさも簡単に分かるかのように書かれていて不満足である。
論理が完全になったとして、次元公理に関しては改善の余地があると思う。
次元公理に入るまでの議論は秀逸である。

投稿日:202432
更新日:202432
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. イントロ
  2. 基本的な定義と因果構造
  3. 近い事象間の光の伝播
  4. 微分構造
  5. 共形構造と光の伝播
  6. 結論
  7. 感想