附录

    附录A 共形标度,2—旋量,麦克斯韦和爱因斯坦理论

    这里的多数方程都用2—旋量形式。这倒不是必须的,其实我们也都给出了大家更熟悉的4—张量形式。不过,2—旋量形式不仅能更简单地表述共形不变的特性(见A6),也能更系统地从整体上理解无质量场的传播和相应的其构成粒子的薛定谔方程。

    在写方程时,我们遵从以前的约定,包括抽象指标(参见Penrose and Rindler,1984,1986)[A.1],不过这里宇宙学常数用Λ而不用λ。那本书里的标量曲率“Λ”在这儿为R/24。方程前面的记号P&R指那部书,其实所有需要的方程都可以在第2卷中找到。这儿的爱因斯坦张量Eab是那儿的“爱因斯坦张量”Rab-Rgab/2的负值(而里奇张量Rab的符号与那儿的相同),所以爱因斯坦场方程为(见2.6节和3.5节)

    附录 - 图1

    A1.2—旋量记号:麦克斯韦方程

    2—旋量形式采用抽象旋量指标(在复2维旋量空间中),我用斜体大写拉丁字母,无撇的(A, B,C,……)或带撇的(A′,B′,C′,……),它们在复共轭下交换。每个时空点的复化正切空间是无撇旋量空间与带撇旋量空间的张量积。于是我们可以用抽象指标的恒等式:

    a=AA′,b=BB′,c=CC′,……

    其中斜体小写拉丁字母a, b,c,……指时空的正切空间。更确切说,上标的是正切空间,而下标的是余切空间。

    反对称麦克斯韦场张量Fab(=-Fba)可以用对称的2—指标2—旋量φAB(=φBA)表示为2—旋量形式

    附录 - 图2

    其中量附录 - 图3定义了旋量空间的复辛结构,通过如下抽象指标方程与度规联系:

    附录 - 图4

    旋量指标的提升和下降遵从如下惯例(ε上的指标顺序很重要!)

    附录 - 图5

    以荷流矢量Ja为场源的麦克斯韦场方程(在3.2节统写为附录 - 图6

    附录 - 图7

    (其中指标外的方括弧表示反对称化,圆括弧表示对称化),荷流守恒方程为

    附录 - 图8

    它们对应的2—旋量形式(P&R5.1.52,5.1.54)为

    附录 - 图9

    无源(Ja=0)时,我们得到自由麦克斯韦方程(3.2节写为附录 - 图10

    附录 - 图11

    A2.无质量自由场(薛定谔)方程

    最后那个方程,是自旋为n/2(>0)的无质量粒子的自由场方程(P&R4.12.42),或“薛定谔方程”[A.2]在n=2的情形

    附录 - 图12

    其中φABC E有n个指标,而且是全对称的:

    附录 - 图13

    在n=0情形,场方程通常为□φ=0,这里达朗贝尔(D’Alembertian)算子□定义为

    附录 - 图14

    但在弯曲时空中,我们要用算子附录 - 图15指协变微分,所以在这儿我们更喜欢用如下形式的方程(P&R6.8.30)

    附录 - 图16

    在我们将要讨论的意义上(见A6),这个方程是共形不变的。(这里附录 - 图17是曲率标量。)

    A3.时空曲率量

    黎曼—克里斯多夫(Riemann-Christoffel)曲率张量Rabcd具有如下对称性

    附录 - 图18

    且与导数对易子有如下关系(P&R4.2.31):

    附录 - 图19

    这个关系确定了Rabcd的符号约定。我们这里分别定义里奇和爱因斯坦张量和里奇标量如下:

    附录 - 图20

    外尔共形张量Cabcd定义为(P&R4.8.2)

    附录 - 图21

    它与Rabcd有相同对称性,但所有的迹为零:

    附录 - 图22

    利用旋量,我们可以写成(P&R4.6.41)

    附录 - 图23

    其中共形旋量ΨABCD是全对称的:

    附录 - 图24

    Rabcd的其他信息包含于标量曲率R和里奇(或爱因斯坦)张量的零迹部分,而后者隐含于旋量ΦABC′D′,它具有对称性与厄米性(Hermiticity):

    附录 - 图25

    其中(P&R4.6.21)

    附录 - 图26

    A4.无质量引力源

    在附录B,我们将特别考虑(对称)源张量Tab的迹为零

    附录 - 图27

    时的爱因斯坦场方程,因为这个条件正好描述无质量(即零静止质量)的引力源,告诉我们旋量指标的量附录 - 图28有对称性

    附录 - 图29

    散度方程附录 - 图30附录 - 图31,可以改写为

    附录 - 图32

    上面的爱因斯坦方程现在可以写成(P&R4.6.32)

    附录 - 图33

    如果有静止质量,因而Tab有迹

    附录 - 图34

    则爱因斯坦方程有如下形式

    附录 - 图35

    A5.毕安基恒等式

    一般的毕安基(Bianchi)恒等式附录 - 图36,可以写成如下的旋量形式(P&R4.10.7,4.10.8):

    附录 - 图37

    当R为常数时——无质量源的爱因斯坦方程出现的情形——我们有

    附录 - 图38

    其中隐含右边关于BCD对称。结合无质量源的爱因斯坦方程,我们得到

    附录 - 图39

    (见P&R4.10.12)注意,当TABC′D′=0时,我们有方程(P&R4.10.9)

    附录 - 图40

    这就是A2的无质量自由场方程在n=4(即自旋2)的情形。

    A6.共形标度

    根据共形标度(Ω>0均匀变化)

    附录 - 图41

    我们采用如下抽象指标关系

    附录 - 图42

    算子附录 - 图43现在必须如下变换

    附录 - 图44

    这样附录 - 图45对一般以旋量指标表示的量的作用应如下生成:

    附录 - 图46

    其中

    附录 - 图47

    这些法则确定了我们处理多个下标的量(每个指标一项)的方式。(上标有对应处理方式,但这里不需要。)

    我们选择无质量场φABC……E的标度为

    附录 - 图48

    用上面的约定,我们看到

    附录 - 图49

    于是,不论哪边为零,另一边也为零,只要满足无质量自由场方程是标度不变的。对有源的麦克斯韦方程,我们发现整个系统附录 - 图50附录 - 图51的共形不变性(见A2的P&R5.1.52,5.1.54)由下面的标度保证:

    附录 - 图52

    因为我们看到

    附录 - 图53

    A7.杨—米尔斯场

    杨—米尔斯方程构成了我们当今关于基本粒子强弱相互作用的认识基础。更重要的是,只要我们忽略可以通过希格斯(Higgs)场的后续作用而生成的质量,那么这些方程也是共形不变的。杨—米尔斯场强度可以用一个张量(“丛曲率”)来表示:

    附录 - 图54

    其中抽象指标Θ,Γ,……指与粒子对称性相关的内禀对称群[U(2),SU(3)或其他群]。我们可以用旋量附录 - 图55表示丛曲率:

    附录 - 图56

    对幺正内禀群,这里内禀下标的复共轭变为内禀上标,反之亦然。场方程将其镜像反射为麦克斯韦方程,这里我们提供了额外的内禀指标。于是,麦克斯韦理论的共形不变性也适用于杨—米尔斯方程,因为内禀指标Θ,Γ,……不受共形标度的影响。

    A8.零静止质量能量张量的标度

    应该指出,对迹为零的能量张量附录 - 图57而言,我们发现标度(P&R5.9.2)

    附录 - 图58

    将保持守恒方程附录 - 图59,因为我们看到

    附录 - 图60

    在麦克斯韦理论中,我们有一个用Fab表示的能量张量,它可以变换为如下旋量形式(P&R5.2.4)

    附录 - 图61

    在杨—米理论的情形,我们只是多几个指标:

    附录 - 图62

    对无质量标量场,满足我们先前考虑的方程附录 - 图63(P&R6.8.30),我们有共形不变性(P&R6.8.32)

    附录 - 图64

    其中

    附录 - 图65

    其能量张量(有时称为“新改进的”[A.3])为(P&R6.8.36)

    附录 - 图66

    C为正常数,满足需要的条件

    附录 - 图67

    A9.外尔张量共形标度

    共形旋量ΨABCD隐含了时空共形曲率的信息,是共形不变的(P&R6.8.4)

    附录 - 图68

    注意这里的共形不变与满足无质量自由场方程的要求,有一点奇怪(却很重要)的偏差,在那儿,右边应该多一个因子Ω-1。为融合这点偏差,我们可以定义一个处处与ΨABCD成正比的量ψABCD,其标度遵从

    附录 - 图69

    我们还发现真空(Tab=0)中引力子的“薛定谔方程”[A.4](P&R4.10.9)

    附录 - 图70

    也是共形不变的。在3.2节,以上方程写作

    附录 - 图71

    相应于外尔张量Cabcd(A3,P&R4.6.41),我们可以定义

    附录 - 图72

    其对应的标度为(在3.2节中写作附录 - 图73

    附录 - 图74

    附录B 界面处的方程

    和附录A一样,我们遵从以前的约定,包括抽象指标(参见Penrose and Rindler,1984,1986),不过这儿的宇宙学常数用Λ而不用λ。那部书里的标量曲率“Λ”在这儿为R/24。下面的具体分析,在某些方面是不完全的,也不是最后确定的,那些建议很可能需要改进和更完备的处理。不过,我们看来已经有了确定的经典方程,使我们能以和谐一致且完全确定的方式从一个世代的遥远未来续到下一个世代的大爆炸之后的区域。

    B1.度规附录 - 图75

    我们根据第3部分的思想,来考察穿越界面3—曲面附录 - 图76的一个邻域。我们曾假定包含附录 - 图77的光滑时空存在一个“颈圈”附录 - 图78,它可以向附录 - 图79的过去和未来两个方向延伸,而在界面附录 - 图80之前只存在无质量场。我们在颈圈内选取光滑度规附录 - 图81,并至少在局域上、以某种初始任意的方式满足给定的共形结构。令爱因斯坦的物理度规在附录 - 图82之前的4—区域附录 - 图83中为附录 - 图84,而在紧跟附录 - 图85的4—区域附录 - 图86中为附录 - 图87,其中

    附录 - 图88

    (注意,这里与3.2节的约定不尽相同,爱因斯坦物理度规gab没有“戴帽”。不过,附录A中的具体公式仍然成立。)为方便记忆,我们不妨将符号附录 - 图89附录 - 图90附录 - 图91的时空点上的对应部分的零锥联系起来。在每个那样的区域里,我们假定固定宇宙学常数Λ的爱因斯坦方程成立,还假定所有引力源在更早的区域附录 - 图92中都是无质量的,因而其能量张量附录 - 图93是无迹的。

    附录 - 图94

    因为后面马上出现的理由,我用不同的字母附录 - 图95来表示附录 - 图96中能量张量,而且会看到(为了保持形式的一致),这个张量实际上将获得一个很小的迹

    附录 - 图97

    这样,在附录 - 图98中会出现一个能量张量的静止质量分量。可以猜想,这与Higgs机制的静止质量生成有关[B.1],但这里不探讨那个思想。(应该指出,“戴帽”的量,如附录 - 图99等等,分别通过附录 - 图100附录 - 图101,或相应的附录 - 图102附录 - 图103附录 - 图104,而“反戴帽子”的量,如附录 - 图105,则通过附录 - 图106附录 - 图107提升或下降其指标。)爱因斯坦方程分别在区域附录 - 图108附录 - 图109成立,于是我们有“戴帽”和“反戴帽”的形式:

    附录 - 图110

    这里我假定两个区域有相同的宇宙学常数[B.2],于是

    附录 - 图111

    这时,跨3维穿越界面附录 - 图112的度规附录 - 图113是完全自由选择的,但是光滑的,而且与给定的附录 - 图114附录 - 图115的共形结构一致。然后,我提出一个建议,它看起来能以某种正则而恰当的方式唯一确定度规附录 - 图116的标度,这样就可以最终选定一个确定的附录 - 图117,我用标准的斜体记号“gab”来表示。另外,不论附录 - 图118是否确定为gab,我都用标准的斜体符号来表示曲率量Rabcd等。

    B 2.附录 - 图119的方程

    下面,我先考虑区域附录 - 图120的方程,然后再处理区域附录 - 图121见B11)。我们可以将爱因斯坦(和里奇)张量的变换法则(P&R6.8.24)写成

    附录 - 图122

    和(P&R6.8.25)

    附录 - 图123

    最后这个方程有着特别的纯数学趣味,是所谓的卡拉比(Calabi)方程的一个例子[B.3]。但它也有物理学的意义,是一个共形不变自耦合标量场ϖ的方程,在R=4Λ,可以写成

    附录 - 图124

    我将在下面说明,这个“ϖ方程”的每个解为我们提供一个新度规附录 - 图125,其标量曲率有常数值4Λ。ϖ方程的共形不变性体现在如下事实:如果我们选择一个新共形因子附录 - 图126,并从gab变换到新共形相关的度规附录 - 图127

    附录 - 图128

    那么ϖ场的共形标度

    附录 - 图129

    给我们如下方程(A8已经说过;见P&R6.8.32)

    附录 - 图130

    由此可直接得到我们需要的非线性ϖ方程的标度不变性。(注意,当附录 - 图131和ϖ=Ω时,我们回到爱因斯坦的附录 - 图132度规,附录 - 图133,方程变成恒等式附录 - 图134。)

    我们在A8看到,对这样的一个物理ϖ场,其能量张量在无ϖ3项时为(P&R6.8.36)

    附录 - 图135

    其中C为常数。而且,我们还发现在ϖ方程中,ϖ3项不会破坏守恒方程附录 - 图136,所以我们也用它来表达ϖ场的能量张量;为与下面的讨论一致,我选择

    附录 - 图137

    与上面(P&R6.8.24,B2)比较,我们从度规附录 - 图138的爱因斯坦方程

    附录 - 图139

    看到

    附录 - 图140

    对无迹的能量张量,我们看到标度附录 - 图141(A8,P&R5.92)保持守恒方程,于是我们得到一种多少有些令人惊奇的爱因斯坦理论的新形式:对无质量引力源Tab,关于附录 - 图142度规的方程为

    附录 - 图143

    B3.幽灵场的作用

    Ω可以看作无质量自耦合共形不变场ϖ的一个特殊情形,我称它为幽灵场[B.4]。它没有提供在物理上独立的自由度,其出现(在附录 - 图144度规下)只是允许我们进行自由标度,从而重新标度物理度规而获得一个与爱因斯坦度规共形的光滑度规附录 - 图145,光滑地覆盖相邻世代之间的每一个交集。有了这样一个覆盖3维跨界曲面的度规,我们就能通过具体的经典微分方程,详细研究满足CCC要求的世代之间的确定联络。

    幽灵场的角色就是告诉我们如何标度度规附录 - 图146回到物理度规(通过附录 - 图147),从而“跟踪”爱因斯坦真实的物理度规。这样,我们可以说爱因斯坦方程在前一世代的界面空间附录 - 图148成立,不过这时用度规附录 - 图149来表达为Tab=Tab[Ω];就是说,我们表达爱因斯坦方程,要求时空区域附录 - 图150内的所有物理场(假定无质量且有正确的共形标度)的总能量张量Tab必须等于幽灵场的能量张量Tab[Ω]。尽管可以简单把这看作爱因斯坦理论的新形式(用附录 - 图151),但它还有更微妙的东西。它允许我们将方程拓展到甚至超越它的未来边界附录 - 图152。但是,为了有效实现这一点,我们需要更仔细地考察相关物理量的方程和它们在接近附录 - 图153时的预期行为。而且,我们还需要认识并且清除附录 - 图154度规(即共形标度Ω)的自由度——那起初是为了我们感兴趣的“颈圈”附录 - 图155而多少有些随意地选择的。

    就眼下情形,共形标度Ω确实有一个值得关注的自由度。迄今为止,我们需要Ω满足如下条件:从爱因斯坦物理度规附录 - 图156得到的度规附录 - 图157在穿过附录 - 图158时是有限、非零且光滑的。尽管如此要求Ω的存在显得有些过分,Helmut Friedrich[B.5]也得到过很强的结果,使我们可以预期,在正宇宙学常数时,在无质量源的完全膨胀宇宙模型中,无质量辐射场的所有自由度都包含在光滑(类空)的附录 - 图159之中。换句话说,我们相信可以找到附录 - 图160的一个光滑未来共形边界附录 - 图161,这是无限膨胀模型的一个多少有些自然的结果,其中所有引力源都遵从共形不变方程传播的无质量场。这里应该指出,不需要度规附录 - 图162的标量曲率R为常数,当然更不需要R=4Λ,于是带我们回到爱因斯坦附录 - 图163度规的共形因子Ω-1不必满足附录 - 图164度规下的ϖ方程附录 - 图165

    B 4.附录 - 图166的法向量N

    我们看到,从下面趋近附录 - 图167时,Ω→∞,因为Ω的作用就是为附录 - 图168处的有限度规附录 - 图169提供一个无限大的标度,变成前一个世代的遥远未来。然而,我们发现量

    附录 - 图170

    以光滑的方式(因为下面的理由,负号是必须的)从下面趋于零,从而使

    附录 - 图171

    在3维界面附录 - 图172上非零,于是为我们在附录 - 图173的时空点上提供了附录 - 图174的未来方向的类时4维法向量N。

    我们的意思是,让这个特殊的“ω”连续光滑地从区域附录 - 图175通过附录 - 图176进入区域附录 - 图177,而且有非零导数,从而真正变成同样的(正的)量“ω”(因为这一点,“ω=-Ω-1”中的负号是必须的)。还应该指出,“正规化”条件(P&R9.6.17)

    附录 - 图178

    在只有无质量源引力场时,是共形无限远(这里即附录 - 图179)的一个自动的一般性质,于是

    附录 - 图180

    附录 - 图181的单位法向量,与共形因子的特殊选择无关。

    B5.事件视界区域

    顺便说一句,我们看到可以很容易从这儿导出3.5节中提到的一个事实:任意宇宙学事件视界的截面的极限面积必然等于12π/Λ。任何事件视界(在前一个世代的)都是附录 - 图182上某个永恒观测者的未来终点o+的过去光锥附录 - 图183,与2.5节说的一样(见图2.43)。于是,从下面趋近o+时,附录 - 图184的截面的极限面积为4πr2,这里r(在g度规下)是截面的空间半径。在附录 - 图185度规的情形,这个面积为4πr2Ω2;我们还容易从以上的讨论(B4)看到,当截面趋近o+时,Ωr的极限趋于附录 - 图186,于是我们需要的事件视界的面积实际上等于4π×(3/Λ)=12π/Λ。(尽管论证是在CCC背景下进行的,我们所要求的只是类空共形无限远具有很小程度的光滑性,正如Friedrich证明的,[B.6]这在Λ>0时是一个很弱的假定。)

    B6.倒数建议

    我们的特殊情形当然存在缺陷:在描述从附录 - 图187附录 - 图188的过渡时,不论Ω还是ω,我们都没有光滑变化的量——它们以均匀的方式描述回到爱因斯坦度规

    附录 - 图189

    附录 - 图190的标度。但恰当解决这个问题,需要利用前面提到过的倒数建议ω=-Ω-1,然后我们很方便考虑如下定义的1—形式附录 - 图191

    附录 - 图192

    附录 - 图193

    只要我们坚持倒数建议所蕴含的假设,这个1—形式在穿过附录 - 图194时是有限而连续的。这个量附录 - 图195包含了时空的度规标度信息,尽管(必然)有些许的模糊。[B.7]我们可以综合出一个参数τ,使

    附录 - 图196

    我们看到,即使这儿也有符号改变的老问题,因为尽管附录 - 图197对以Ω-1取代Ω(或ω-1取代ω)并不敏感,但从Ω-1到ω还是有符号改变。不管怎么说,我们可以认为共形因子的符号无关紧要,因为在附录 - 图198附录 - 图199的新标度中,共形因子Ω和ω是以平方出现的,所以即使用正号而不用负号,也可以认为只是一个习惯问题。不过,正如我们在附录A中说的,还有很多量是用非平方的Ω(或ω)标度的,最突出的是标度附录 - 图200之间的差别,导致在空间附录 - 图201

    附录 - 图202

    因为那儿的爱因斯坦物理度规为附录 - 图203,使我们有

    附录 - 图204

    (这个约定不同于我们在3.2节的约定,因为现在爱因斯坦方程是在戴帽的度规下成立的。)于是,考虑到物理量在穿过附录 - 图205的光滑行为(Ω和ω分别在通过∞和0时改变符号),我们必须小心跟踪这些符号的物理意义。

    然而,这里利用的Ω和ω之间明确的倒数关系依赖于附录 - 图206度规标度的严格选择,即满足条件

    R=4Λ

    正相应于附录 - 图207见B1)。这个标度至少很容易局域地调整,只需要为附录 - 图208选一个新的(局域的)度规附录 - 图209,满足

    附录 - 图210

    其中附录 - 图211是ϖ方程在界面的光滑解。但是,ϖ方程有很多可能的附录 - 图212解可以选择,所以这个附录 - 图213度规还不是我们寻找来以正则方式覆盖界面的唯一g度规。我们马上将看到需要度规附录 - 图214满足的进一步的要求。现在,我们只假定附录 - 图215度规的选择满足R=4Λ(即我们重新将上面的附录 - 图216作为附录 - 图217的新选择)。如果没有R=4Λ的限制,Ω和ω之间的倒数关系就不可能精确,尽管对我们指望从托德建议[B.8](见2.6节的末尾和3.1,3.2节)寻找的那种类型的标度因子ω来说,在以纯辐射为引力源的大爆炸情形(与托尔曼的充满辐射的解一样,见3.3节)[B.9],标度因子在趋近过去的大爆炸极限时,其行为真就像与前一个世代的某个Ω标度因子的光滑延拓的倒数成正比。对附录 - 图218中的附录 - 图219的度规,选择R=4Λ,就是为了将这个比例因子固定为(-)1。这一点可以用下面的事实来说明:关系

    附录 - 图220

    依赖于对共形因子Ω的限定,即要求它转换为其倒数的负数ω=-1/Ω而不是(例如)-A/Ω。上面的关系多少有些令人惊奇,它出现在我们用散度算子附录 - 图221作用于附录 - 图222,然后用Ω的ϖ—方程。当这个限制用于R,即选择附录 - 图223的某个特殊形式[而不是一般的形式,如dΩ/(Ω2-A)]时,就会有上面的关系。注意在附录 - 图224那儿Ω=∞),我们必须有

    附录 - 图225

    还有附录 - 图226,即附录 - 图227的法向长度为附录 - 图228,正如前面指出的(P&R9.6.17)。

    B 7.跨附录 - 图229的动力学

    凭什么相信我们的动力学方程允许我们以毫不含糊的方式穿过附录 - 图230呢?我假定爱因斯坦方程在前一世代的遥远未来成立,不过所有的源都是无质量的,而且遵从确定的决定性的共形不变的经典方程演进。我们可以假定那些方程是麦克斯韦方程、无质量的杨—米尔斯方程和狄拉克—外尔类型的方程附录 - 图231狄拉克方程的零质量极限),有些粒子作为规范场的源,根据§3.2,在静止质量趋于零时,它们都取极限形式。它们与引力场的耦合,表达在方程Tab=Tab[Ω]中,其中Ω是幽灵场。我们知道,Tab[Ω]在附录 - 图232应该是有限的,尽管Ω在那儿是无限大,因为Tab本身在附录 - 图233应该是有限的,蕴涵在Tab中的场的传播是共形不变的,因而与附录 - 图234附录 - 图235中的位置没有特别的关系。CCC的建议是,只要情形不会变得更复杂,例如通过希格斯机制(或其他什么更准确的可能方式)从寻常的引力源获取质量,那么那些物质源的同样的共形不变方程一定会延续到大爆炸之后的区域附录 - 图236。不过,我们将看到,在穿过附录 - 图237之后不久,即使对那种罕见的假想情形,我们也不能避免静止质量以某种形式出现(见B11)。

    B8.共形不变Dab算子

    为理解场源对附录 - 图238的物理意义,认识那个区域的爱因斯坦方程是如何运行的,我们先来具体看看Tab[Ω]:

    附录 - 图239

    因为ω=-Ω-1,它可以写成

    附录 - 图240

    这是一个有趣的方程,趣味就在于左边的2阶算子

    附录 - 图241

    作用于共形权重为1的标量时(这儿的算子作用于标量时,AB的额外对称不起作用),是共形不变的——最早指出这一点的是Eastwood和Rice。[B.10]它可以用张量表示为(用Rab的符号约定)

    附录 - 图242

    量ω确实有共形权重1,因为假如附录 - 图243依照

    附录 - 图244

    进一步重新标度,然后用附录 - 图245度规下的附录 - 图246定义来镜像反射附录 - 图247度规下的ω,

    附录 - 图248

    则我们看到

    附录 - 图249

    (即ω有共形权重1)。于是

    附录 - 图250

    我们可以用算子形式来表示这个共形不变性

    附录 - 图251

    附录 - 图252度规的爱因斯坦方程,可用以上算子用附录 - 图253度规写出来:

    附录 - 图254

    它告诉我们,如果Tab(我们相信)在穿过附录 - 图255时是光滑的,则量Dabω本身在穿过附录 - 图256时必然在3阶项为零。特别是,Dabω=0在附录 - 图257上为零的事实告诉我们,

    附录 - 图258

    我们还可以将它重写为(在附录 - 图259上)

    附录 - 图260

    (其中,和B4一样,附录 - 图261),它告诉我们附录 - 图262的法向在附录 - 图263上是“无剪切的”,这是附录 - 图264在它的每一点都是“脐点”的条件。[B.11]

    B9.保持引力常数为正

    如果考察无质量引力源场(如Tab描述的)与引力场(或“引力子场”)ψABCD之间的的相互作用(如A5的方程P&R4.10.12,“戴帽”形式的或用ω=-Ω-1写的),我们可以更好地理解CCC所蕴涵的物理意义。我们有

    附录 - 图265

    我们可以由此导出等价的方程,用“戴帽”的量,可以写成

    附录 - 图266

    我们看到,当ω光滑通过零(由负变正)时,这个方程还保持着良好的行为。这说明了一个事实:决定整个系统演化的一族方程,在附录 - 图267度规下,从附录 - 图268通过附录 - 图269附录 - 图270时,确实不会遇到困难。

    想象我们在进入附录 - 图271时回到原来的附录 - 图272度规。于是(除了在附录 - 图273的初始“脉冲”),经典方程呈现给我们的时空附录 - 图274的演化图像,将是一个坍缩的宇宙模型,以反指数方式从无限远向内收缩,看起来很像我们自己宇宙的遥远未来的样子。不过,这儿有一个重要的解释问题,因为当ω改变符号(从负到正)时,“有效引力常数”(特别看上面公式里的-Gω,当ω变大时,右边第一项将起主导作用)在穿过附录 - 图275时会改变符号。[B.12]CCC为我们提供的另一个解释是,考虑到与量子场论的一致性等因素,关于早期附录 - 图276区域的物理的特殊解释(具有负引力常数),在引力相互作用变得重要时,不可能以物理方式保持下来。相反,CCC的观点是,当我们继续深入附录 - 图277区域时,用附录 - 图278度规提供的物理解释更为恰当,这时,当下的正共形因子ω取代了当下的负共形因子Ω,有效引力常数也就又变成正数了。

    B10.清除虚假附录 - 图279度规自由度

    这里生出一个问题:根据CCC的要求,我们需要唯一的进入附录 - 图280的演化。假如没有共形因子的随意性产生的令人讨厌的多余自由度,这本来是不成问题的。眼下,这种自由给我们带来一个虚假的自由度,它会不恰当地影响附录 - 图281的非共形不变的引力动力学。为了让通过附录 - 图282的演化独立于非附录 - 图283的物理所决定的那些额外条件,我们需要清除虚假的自由度。在附录 - 图284度规选择中的虚假“规范自由”可以表示为一个共形因子附录 - 图285,它可以用于附录 - 图286而为我们提供一个新的附录 - 图287度规(与我们前面的度规一致):

    附录 - 图288

    和前面一样,我们在这儿用了

    附录 - 图289

    到此为止,我们只要求附录 - 图290附录 - 图291上(至少在局域碎片上)光滑变化的正值标量场,满足附录 - 图292度规的ϖ方程——这个要求是为了满足标量曲率附录 - 图293保持为4Λ。ϖ方程是标准的二阶双曲方程,所以我们指望能得到附录 - 图294

    唯一解(在足够细小的颈圈附录 - 图295内),只要附录 - 图296的值和它的法向导数的值都能确定为附录 - 图297上的光滑函数。如果我们知道如何选择这些值才能得到某个具有独特性质的附录 - 图298度规,那么结果是直截了当的。于是问题来了:我们该为度规限定什么条件,才能清除这些虚假的自由度?

    然而,我们无法做到为附录 - 图299度规强加一个条件(也许还需要附录 - 图300场),让它能共形不变且能保持附录 - 图301标度。这样,考虑一个平凡的例子,我们不能根据我们的需要而要求附录 - 图302度规的标量曲率附录 - 图303具有任何4Λ以外的数值,而要求它恰好具有4Λ的值也不代表对任何场的任何附加条件,因而不能作为进一步的限制来消减我们想清除的虚假自由度。同样的情形(更微妙)也适用于我们对法向的限制:我们不能要求附录 - 图304的法向量附录 - 图305的平方长度附录 - 图306具有某个特别的数值(指标用附录 - 图307度规升降)。因为,假如我们选择任何一个不同于Λ/3的值,那么(如前面看到的,见P&R9.6.17)这个条件不可能满足;而如果所选数值真是Λ/3,那么条件不代表任何对虚假自由的限制。

    同样的问题还出现在诸如

    附录 - 图308

    的要求,它不代表限定共形因子的任何条件,因为共形不变性(前面说过)满足

    附录 - 图309

    这样,附录 - 图310等价于附录 - 图311。这样说来,像附录 - 图312那样的条件,无论如何是没有意义的,因为存在几个分量,而我们所要求的东西只代表附录 - 图313的每个点的两个条件(如在那点确定的附录 - 图314及其法向导数)。而且,还可以看到(正如上面说的),因为关系附录 - 图315附录 - 图316必然在3阶以上消失,即

    附录 - 图317

    然而,一个看似合理的条件也许是,可以要求在附录 - 图318附录 - 图319。更确切说,我们可以将此建议写成

    附录 - 图320

    实际上,我们可以要求这个量在附录 - 图321上在2阶消失,即

    附录 - 图322

    它可能为我们提供一个合适的候选条件,以满足我们为了确定附录 - 图323(从而通过附录 - 图324确定g度规)而对附录 - 图325的每一点的两个要求。根据Dab的定义,这些可能条件将等价于要求

    附录 - 图326

    用张量记号,以上两个不同表达式为

    附录 - 图327

    这里我们注意(去掉波浪线)

    附录 - 图328

    我们还看到

    附录 - 图329

    这意味着,我们可以添加的一个(或一对)合理条件为

    附录 - 图330

    它能大为简化上面的条件(这里注意,附录 - 图331分别在2阶和3阶为零)。反过来,如果在附录 - 图332附录 - 图333在2阶和3阶为零,那么在附录 - 图334

    附录 - 图335

    所以,不管哪个等价条件[以形式附录 - 图336附录 - 图337附录 - 图338都可以认为是我们要求附录 - 图339应满足的条件。注意,前面B 6给出的关系附录 - 图340要求Ω在附录 - 图341上有一个简单极点,于是,如果分母2阶为零,分子附录 - 图342必然是1阶为零的,实际上,附录 - 图343也是一个可能的附加条件形式,根据B8,我们可以想到,当附录 - 图344时,在附录 - 图345上有附录 - 图346

    在下面B11将看到,根据我们的程序,附录 - 图347的能量张量Uab必然会得到迹μ,这意味着会出现静止质量的引力源。然而,我们发现迹在附录 - 图348时消失。可以说,当我们尽可能延迟静止质量在大爆炸之后的出现时,CCC的思想会得到最好的落实。相应地,我们还可以认为

    附录 - 图349

    附录 - 图350的每一点确定了两个恰当的数字,从而可以固定g度规。其实我们还发现

    附录 - 图351

    如果附录 - 图352的零点不是至少为4阶的,上式将在附录 - 图353变成无限大。但这不是问题,因为μ只出现在附录 - 图354度规,其中附录 - 图355代表奇异大爆炸,在那儿,其他无限曲率量将超越μ起主导作用,只要我们取附录 - 图356的零点是3阶的。

    我们看到,为附录 - 图357的每一点附加两个条件,有几种不同的可能,这样我们能以唯一的方式确定附录 - 图358,从而确定g度规。我写本书时,还没能完全确定最恰当的条件(也不知道其中哪些条件独立于其他的条件)。不过,正如前面说的,我倾向附录 - 图359是3阶为零的。

    B11.附录 - 图360ˇ的物质

    为了看清我们的方程在后大爆炸区域附录 - 图361

    里像什么样子,我们必须用“反帽子”量,以度规附录 - 图362和Ω=ω-1重写方程。前面说过,我将后大爆炸的总能量张量写成Uab,以避免混淆于共形复标度的从附录 - 图363进入附录 - 图364的(无质量)物质的能量张量:

    附录 - 图365

    因为附录 - 图366是无迹和无散度的,附录 - 图367也必然如此(标度遵从A8):

    附录 - 图368

    我们将看到,全部后大爆炸能量张量一定包含两个额外的无散度分量,所以

    附录 - 图369

    这里,附录 - 图370是无质量场,它应该是幽灵场Ω,现在变成了一个实在的附录 - 图371度规的自耦合共形不变场,因为这时ϖ=Ω满足附录 - 图372度规的ϖ方程:

    附录 - 图373

    这是必须的,因为ϖ方程是共形不变的,并在g度规下满足ϖ=-1(在附录 - 图374度规下即变成ϖ=-ω-1=Ω)。前面我们考虑附录 - 图375,将“幽灵场”Ω看作ϖ方程在附录 - 图376度规下的一个解,只将它解释为将我们带回物理的爱因斯坦附录 - 图377度规的标度因子;而刚才讲的,正是反过来看问题。在那个度规里,幽灵场只是“1”,因而没有独立的物理内容。现在,我们考虑Ω为爱因斯坦度规附录 - 图378下的一个实在的物理场,而它作为共形因子的解释要反过来了,因为它告诉我们如何回到g度规,在那个度规下,场将为“1”。为了这个解释,共形因子ω和Ω互为倒数是必须的——尽管我们还需要将负号包括进来。这样,还是-Ω给我们带来了从附录 - 图379回到gab的标度。这个“逆转”的解释满足方程,因为在恰当度规下满足ϖ方程的是Ω而不是ω。

    相应地,张量Vab是场Ω在附录 - 图380度规下的能量张量:

    附录 - 图381

    我们看到

    附录 - 图382

    注意它具有迹和散度为零的性质:

    附录 - 图383

    重要的是,ω在g度规下满足的方程不是ϖ方程,因为我们已经看到,满足那个方程的是Ω,即乘以(-1)ω的倒数,从而

    附录 - 图384

    相应地,附录 - 图385度规的标量曲率不限于等于4Λ。相反,我们有(见B2,P&R6.8.25,A4):

    附录 - 图386

    附录 - 图387

    于是

    附录 - 图388

    由此我们导出(见B6)

    附录 - 图389

    全能量张量附录 - 图390满足爱因斯坦方程,所以,除了附录 - 图391外,我们还有

    附录 - 图392

    因为附录 - 图393都是无迹的,需要附录 - 图394把迹找回来:

    附录 - 图395

    附录 - 图396

    假定以上关于附录 - 图397的表达式,我们可以计算附录 - 图398如下:

    附录 - 图399

    从而得到下面关于附录 - 图400的表达式:

    附录 - 图401

    它需要进一步解释。

    B12.附录 - 图402的引力辐射

    无限共形标度的度规的一个特征在于,当我们从附录 - 图403度规为附录 - 图404)通过附录 - 图405度规为gab)到附录 - 图406度规为附录 - 图407)时,引力的自由度(初始时在附录 - 图408度规下用ψABCD描述,通常在附录 - 图409非零)以什么方式转换成附录 - 图410度规下的其他量。因为我们有(A9,P&R6.8.4)

    附录 - 图411

    共形行为

    附录 - 图412

    告诉我们

    附录 - 图413

    从而引力辐射在大爆炸中被大大地抑制了。

    然而,在附录 - 图414中由ψABCD描述的引力辐射的自由度并没留下它们在早期阶段的附录 - 图415的印记。为看清这一点,我们指出,微分如下关系

    附录 - 图416

    可得到

    附录 - 图417

    于是,即使外尔曲率在附录 - 图418为零,它的法向导数还是提供了在附录 - 图419的引力辐射(无引力子)的度量:

    附录 - 图420

    另外,根据Bianch恒等式(A5,P&R4.10.7,4.10.8)

    附录 - 图421

    我们有

    附录 - 图422

    由此

    附录 - 图423

    算子附录 - 图424切向地作用于附录 - 图425(因为附录 - 图426),所以这个方程代表了一个约束,限定ΦCDA′B′附录 - 图427上的行为方式。我们还看到

    附录 - 图428

    由此可见,外尔张量在附录 - 图429的法向导数的电部分

    附录 - 图430

    基本上是在附录 - 图431上的

    附录 - 图432

    而磁部分

    附录 - 图433

    根本上就是在上附录 - 图434

    附录 - 图435

    (εabcd是斜对称Levi-Civita张量),这就是描述附录 - 图436的内禀共形曲率的Cotton(-York)张量。[B.13]