在广义相对论中,强形式和弱形式的宇宙审查假说(Cosmic censorship hypothesis)之提出,是为了从数学上解释引力奇点的结构。
在爱因斯坦场方程的解中存在隐藏于事件视界之内因而无法从时空的其他部分观察的奇点。没有隐藏于视界之内的奇点被称为“裸奇点”。弱形式的宇宙审查假说猜测,除了大爆炸是裸奇点之外,宇宙中不存在任何其他的裸奇点。这个假说由罗杰·彭罗斯在1969年提出。宇宙审查假说和所谓的编年审查是有所不同的。后者中每一条封闭类时曲线都穿过事件视界,从而可能阻止观察者对因果违背现象进行观察。
由于奇点的物理行为是未知的,如果奇点可由时空其他部分观察到,那么因果关系就会断裂,物理学就可能失去预测的能力。根据彭罗斯-霍金奇点理论,由于在具有物理意义的情况下,奇点是不可避免的,这使得上述假说(裸奇点的存在将导致因果关系断裂)也变得不可避免。此外,如果裸奇点不存在,那么宇宙将成为确定性的——有可能仅根据某个时刻的宇宙状态(更精确地说,是一个被称为柯西曲面的类空的三维超曲面的状态),推测出宇宙的全部演进过程(或许需要排除隐藏在奇点视界中的有限空间)。宇宙审查假说如果失效,则会导致宇宙的确定性失效,因为还不可能从奇点的因果关系导出宇宙的时空行为。宇宙审查假说是物理学界正式关注的问题,一般提到黑洞的事件视界时,总会涉及某种形式的宇宙审查假说。
审查假说最早由罗杰·彭罗斯在1969年非正式的提出。宇宙审查假说看起来更像一个研究计划:找到一个具有物理学意义并可被严格证明或证伪的正式描述。
弱审查和强审查是关于时空几何结构的两种数学猜想。
上述两个猜想在数学上是独立的。存在时空结构使得弱审查猜想成立而强审查猜想失效;同样存在时空结构使得强审查猜想成立而弱审查猜想失效。
考虑具有质量和角动量的黑洞,可用克尔度规来导出沿着黑洞轨道运动的粒子的效应势能。该势能具有如下形式:
其中,是坐标半径,和分别是测试粒子的守恒能和角动量(从基灵矢量场导出构建)。
为了确保宇宙审查假说成立,黑洞需要满足。这是由于只有当满足时,奇点才会处于事件视界之内。这就相当于把黑洞的角动量限定在某个阈值之下,否则视界就不会存在。
下面的思维实验是根据Hartle的引力概念构建的:
考虑构建违背宇宙审查的特例,即使得黑洞的角动量增长并超过了阈值(假说初始角动量是小于阈值的)。这可以通过角动量为的测试粒子完成。由于这个粒子具有角动量,只有当黑洞的最大势能满足小于时才能捕获它。
在如何明确宇宙审查猜想的定义方面,存在这样一些问题:
Mark D. Roberts于1985年发现,标量爱因斯坦方程的精确解可推导出宇宙审查假说的反例:
其中是常量。