0
大学数学基礎解説
文献あり

【スピン幾何】4次元Minkowski時空のnull直線とTwistor空間

59
0

 Penroseが考案したTwistor理論というものがあります。簡単に言うとある時空に対応したTwistor空間というものを用意して、色々な場や方程式などをTwistor空間の言葉に焼き直すという理論です。結果として物理の問題が複素多様体や代数多様体の問題として解釈されます。また可積分系とも非常に深い関係にあります。Twistor理論は結構難しく私には到底解説することはできません。この記事ではTwistor理論の入門の入門として、4次元Minkowski時空のnull直線とTwistor空間の関係を説明します。この関係は4次元twistor理論全般において重要な役割を果たします。

 この記事では Weylスピノルとnullベクトル のconventionや事実を使います。またWeylスピノルλWC2を適宜C4に埋め込んで使います。すなわち、μ,λWに対して、Diracスピノルをψ=μ+λcS=WWcなどと表します。ψ,ϕSに対して、Dirac-fromを
ψ,ϕ=ψγ0ϕ
とします。

Twistor空間とnull直線の関係

 (M,g)を4次元Minkowski時空とします。このとき、Mを複素化したC4twistor空間、さらにその射影空間CP3射影的twistor空間と呼びます。またξC4をDiracスピノルとみなして、CP3の部分集合
PN:={[ξ]CP3:ξ,ξ=0}
を定義します。PNの元をnull twistorと呼びます。

 この記事の目的は次の命題を示すことです。

4次元Minkowski時空(M,g)のnull直線の全体とnull twistorの全体は1対1に対応する。

 つまりPNはMのnull直線のモジュライ空間になっているということです。まずはnull直線からnull twistorを構成します。

Mのnull直線l={x+kt; xM, tR, k:null vector}に対して、スピノルλ,μW, ξS=WW
k=a(λc,γaλ)ea, μ=ipλc, ξ=μ+λc
として定めると、[ξ]CP3k,pの取り方に依らずにlのみによって定まる。またこのときξ,ξ=0を満たす。

null直線をl={x+kt; xM, tR, k:null vector}とする。適当なWeylスピノルλWを用いて、
k=a(λc,γaλ)ea
と表される。スピノルψに対して、Mp=apaeapψ=apaγaψとして作用させるとすると、kλc=2(λλ~c)λc=0であることに注意すると、p,plに対して、
(pp)λc=Rkλc=0
が成り立つので、
μ:=ipλcW
plの取り方に依らずに定まる。よってnull直線lからDiracスピノル
ξ:=μ+λcWW=C4
が定まる。λαλの変換でlは不変であり、このときξαξとなるから、l
[ξ]CP3
を定める。またこのとき、
ξ,ξ=λc,μ+μ,λc=iλc,pλcipλc,λc=0
が満たされる

 また逆にnull twistorからnull lineを構成できます。

null twistorはMのnull nullをただ一つ定める。

null twistorを[ξ]CP3ξ,ξ=0とする。ξ=μ+λcとするとき、集合
l:={pM; μ=ipλc}
を考える。もしlならば、lMは線形部分多様体であり、lの接ベクトルは上の議論と同様にTλの元であることが分かる。Tλは全NullでMの部分空間であるからnullベクトルkにより張られる。よってlはNull 直線である。

以下、lを示す。ξ,ξ=λc,μ+μ,λc=0であるから、以下の2つの場合分けを考える。
(i) μ,λc0のとき、
p0:=1iμ,λcμμ~c
とする。μμ~c=12a(μc,γaμ)eaは実ベクトルであるし、μ,λc=λc,μ=μ,λcであるから、iμ,λcRである。よってp0Mである。またこのとき
ip0λc=(μc,λc)iμ,λcμ=μ
となるから、p0Mは方程式μ=ipλcの解である。よってp=p0+Ra(λc,γaλ)ealである。

(ii) μ,λc=0のとき、λc,μ=(λc,μc)=0であるから、μ=αλとなる。ここで(κc,λc)=iαを満たすκWが存在するから、
p0:=λκ~cκλ~c
と置くと、ip0λc=cλ=μとなる。またp=2a((κc,γaλ)(λc,γaκ))eaであり(κc,γaλ)=(λc,γaκ)であるからpMである。

参考文献

[1]
高崎 金久, ツイスターの世界: 時空・ツイスター空間・可積分系
投稿日:2023827
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

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

コメント

他の人のコメント

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