[论文解读] Spacetime invariants and their uses

M. A. H. MacCallum|arXiv (Cornell University)|Apr 26, 2015

Cosmology and Gravitation Theories参考文献 14被引用 15

一句话总结

本文對廣義相對論中的局部時空不變量進行了全面分析，專注於由黎曼張量及其導數導出的標量多項式（s.p.）和卡坦不變量。研究確立了代數獨立的不變量——特別是卡坦不變量——作為解決等價問題、表征事件視界與奇點、以及構造解的強大且坐標無關的工具，主要成果包括在一般四維時空中識別出14個獨立不變量，並提出一個猜想：奇點的出現與卡坦不變量的發散有關。

ABSTRACT

There are various types of global and local spacetime invariant in general relativity. Here I focus on the local invariants obtainable from the curvature tensor and its derivatives. The number of such invariants at each order of differentiation that are algebraically independent will be discussed. There is no universally valid choice of a minimal set. The number in a complete set will also be discussed. The invariants can then be used to characterize solutions of the Einstein equations (locally), to test apparently distinct solutions for equivalence, and to construct solutions. Other applications concern limits of families of spacetimes, and the characterization of horizons and singularities. Further uses are briefly mentioned.

研究动机与目标

• 開發一個系統性的框架，利用曲率張量及其導數對局部時空不變量進行分類。
• 透過識別兩個看似不同的解在幾何上是否相同，解決廣義相對論中的等價問題。
• 利用基於不變量的標準，特別是在曲率不變量失效的情況下，表徵黑洞事件視界與時空奇點。
• 提供一種坐標無關的方法，用於分析單參數時空族的極限。
• 研究卡坦不變量在檢測奇點（包括「低語型」與運動類型）中的作用，並提出一個關於其在奇點處發散的猜想。

提出的方法

• 使用卡坦的構造不變量方法，透過標準定義的標架（如威爾遜張量的主 Null 方向）從黎曼張量分量及其協變導數生成標量。
• 應用希爾伯特的有限基理論，以確定標量多項式（s.p.）不變量完整集合的大小，並提供n維時空中代數獨立不變量數量的公式。
• 運用卡爾米納蒂與林提出的圖論技術，識別s.p.不變量之間的對偶關係（多項式關係），進而實現不變量的標準表示。
• 利用紐曼-彭羅斯旋量形式化方法，構造出一組最小的代數獨立卡坦不變量，完整納入里奇與比安奇恆等式。
• 分析不變量（特別是s.p.與卡坦不變量）在測地線上及邊界附近的行為，以檢測事件視界與奇點。
• 提出一個猜想：在適當的可微性條件下，任何時空奇點都必須由第一階導數集合中至少一個卡坦不變量的發散所標記。

实验结果

研究问题

• RQ1 在一般四維時空中，存在多少個代數獨立的標量多項式不變量？此數量在特殊情況下如何減少？
• RQ2 卡坦不變量是否能作為解決廣義相對論中等價問題的更有效且更穩健的替代方案？
• RQ3 曲率不變量在多大程度上能檢測事件視界與奇點，特別是在標準s.p.不變量失效的情況下（例如施瓦茨西爾德事件視界）？
• RQ4 如何利用基於不變量的方法，以坐標無關的方式系統地確定單參數時空族的極限？
• RQ5 卡坦不變量的發散與時空奇點（包括「低語型」與運動類型）之間的關係為何？

主要发现

• 在一般四維時空中，由黎曼張量及其第一階導數構造的代數獨立標量多項式不變量恰好有14個。
• 卡坦不變量所需的計算量小於s.p.不變量，且在區分時空方面更為有效，例如在pp-波與平坦空間中，s.p.不變量為零但卡坦不變量非零。
• 不變量 $ R_{abcd;e}R^{abcd;e} $ 在施瓦茨西爾德事件視界處為零，但這並非事件視界檢測的充分條件，如高維靜態時空中存在反例。
• 本文證明，儘管 $ 1/R_{abcd;e}R^{abcd;e} $ 發散，施瓦茨西爾德事件視界本身並非奇點，顯示發散的不變量不意味著曲率奇點。
• 基於卡坦不變量比值的新不變量檢測方法成功表徵了Petrov類型D的事件視界，並猜想可推廣至所有時空。
• 研究提供了證據，表明運動奇點可透過高階導數下卡坦不變量的發散來檢測，支持該猜想：任何時空奇點都必須由 $ ilde{rak{R}}^1 $ 中至少一個卡坦不變量的發散所標記。