Reissner–Nordstr?m–Vaidya–(A)dS时空上几乎N–拟爱因斯坦结构的刚性及分类

《Annals of Physics》：Rigidity and classification of almost N–quasi–Einstein structures on Reissner–Nordstr?m–Vaidya–(A)dS spacetimes

　　•我们在RN-瓦伊达-(A)dS时空上对几乎N-拟爱因斯坦结构进行了分类。
•我们展示了加权爱因斯坦刚性排除了真实的辐射质量。
•在带电区域，我们证明了该方程组强制要求N=1，M≡0，以及恒定的电荷。
•我们推导出了由S2上第一球谐函数给出的显式局部势。
•我们还通过II型Ricci结构和各向同性化过程对刚性进行了阐释。

引言
动力黑洞几何体处于两个较为理解的领域之间的一个尴尬但富有成效的中间地带：一是平稳解（其中对称性将场方程简化为常微分方程），二是全数值时空（其中几何结构通常难以解析追踪）。在少数真正编码了时间依赖性的解析族中，瓦伊达时空作为一个球对称辐射的典范模型脱颖而出：它将史瓦西的常数质量参数替换为一个零超曲面上的时间剖面M(u)，从而产生一个由对齐的零尘埃作为源的精确解[1]。其带电版本是通过将爱因斯坦引力与具有辐射电荷剖面的麦克斯韦理论耦合得到的，可追溯至Bonnor和Vaidya的经典构造[2]。加入宇宙学常数后，几何便进入了（反）德西特舞台，这不仅仅是形式上的扩展：AdS–Vaidya背景被广泛用作强耦合非平衡动力学（例如全息热化和淬火）的可解体模型[3]。关于Vaidya全息中的纠缠熵演化，参见[4]。从几何观点来看，RN–Vaidya–(A)dS族特别引人入胜，因为它在一个显式ansatz中结合了三种曲率“模式”：一个爱因斯坦部分Λg，一个电磁各向异性部分，以及一个由M'(u)（在带电情况下，还有Q(u)Q'(u)）控制的零对齐辐射部分。

与相对论中的这些发展平行，几何分析中另一个主题也日趋成熟：通过Bakry–émery形变研究的加权曲率。给定一个光滑度量测度空间(M,g,e^(-f)dvol_g)，Bakry和émery引入了一个曲率框架（曲率-维数条件），其中Ricci曲率的作用由N-Bakry–émery张量[5]承担：
Ric_N^f ? Ric + ?2f - (1/N) df?df, (N∈?\{0})，
极限情况N=∞给出Ric_∞^f = Ric + ?2f。如果一个度量的Ric_N^f逐点与g成比例[6]，则该度量称为拟爱因斯坦，这一条件与爱因斯坦乘积流形的构造和分类紧密相连[7]，亦见[8]、[9]。现在，关于Bakry–émery曲率的比较/刚性理论已经相当丰富，即使在黎曼流形中也是如此[10]、[11]。最近，一些作者考虑了广义拟爱因斯坦结构，其中比例因子λ允许变化（“几乎”设定），该方程在爱因斯坦度量、梯度Ricci孤子与经典拟爱因斯坦几何之间进行插值[12]。

在洛伦兹几何中，Bakry–émery张量及其N变体也自然出现。此外，拟爱因斯坦方程的特定情况已被解释为爱因斯坦场方程的加权版本（进一步讨论见[13]）。在解析方面，它们出现在加权分裂和奇点型结果中[14]、[15]、[16]。在物理方面，它们出现在标量-张量引力（Jordan框架表述）中，其中权重函数扮演与度量耦合的标量场的角色[17]。这种洛伦兹视角促使我们将方程
Ric + ?2f - (1/N) df?df = λg
不仅视为爱因斯坦方程的形式变形，而且视为时空的Ricci结构与加权修正之间的严格兼容性约束，其中所需抵消的可行性由势函数所满足的微分方程决定。

新颖性与范围。一些关于Vaidya型背景的孤子型研究要么对势函数施加对称性限制（例如仅依赖于(u,r)），要么仅限于角向基本各向同性的不带电情况。在这里，我们对RN–Vaidya–(A)dS上的加权势不施加任何对称性限制：我们允许完全的坐标依赖性f=f(u,r,θ,φ)以及先验可变的因子λ=λ(u,r,θ,φ)，并且仍然获得了完整的分类。关键在于，分量方程组强制出一个通用的径向标准形式，剩下的角向兼容性化为关于r的显式多项式恒等式，该恒等式分离了麦克斯韦和辐射部分。在带电分支中，既没有事先假定N=1，也没有假定λ为常数；两者均从兼容性方程中涌现。然而，空间形式分支则允许λ可变。

问题与指导性问题。RN–Vaidya–(A)dS族提供了一个受控实验室，其中Ricci张量具有刚性的代数形状：一个各向同性的爱因斯坦部分Λg，一个具有特征性角向各向异性的麦克斯韦部分，以及一个由M'(u)和Q(u)Q'(u)驱动的辐射零对齐分量（Hawking–Ellis II型 / Segre型(2,1,1)）；例如，参见[18]、[19]中的标准分类。特别是，在适配于Eddington–Finkelstein形式的零标架中，辐射部分支撑在???分量上，这正是Newman–Penrose技术最清晰地分离零对齐的设定[20]。因此，一个自然的问题是：能否在一个真实辐射的RN–Vaidya–(A)dS时空中强加一个（几乎）N-拟爱因斯坦/Bakry–émery–爱因斯坦结构，同时允许势f依赖于所有坐标(u,r,θ,φ)？

这个问题不仅对加权曲率本身具有意义，而且受到Vaidya背景上孤子型方程日益增长的“禁止”现象研究所启发。关于共形Ricci孤子的早期工作[21]在第7.1.5节中讨论，随后[22]中的修正以及Rani、Gupta和Suh的相关结果[23]也一并讨论；相关的共形Ricci–Bourguignon孤子分析仅在退化真空极限中允许解[24]。一些曲率受限研究将Vaidya型度量描述为代数秩意义下的Ricci-简单或2-拟爱因斯坦[25]；这个概念与本文考虑的Bakry–émery几乎N-拟爱因斯坦方程不同。因此，上述直接可比较的Vaidya研究并未提供本文所获得的加权势(f,λ)的无限制局部分类。证明还清楚地表明，障碍是微分性质的而非纯粹代数的：II型零对齐Ricci部分识别了加权校正必须处理的分量，而径向和角向偏微分方程则决定了这种抵消是否与完整系统兼容。

物理解释与相关性。虽然几乎N-拟爱因斯坦方程(8)在几何上起源于黎曼几何，但在洛伦兹背景下，它可以被视为Ricci张量的Bakry–émery形变，从而对辐射爱因斯坦-麦克斯韦-Λ几何构成严格的兼容性条件。在这个意义上，下面的分类为这一经典动力黑洞族提供了一种加权曲率刚性测试，而不仅仅是另一个精确解ansatz。

我们的方法与主要贡献。我们研究Eddington–Finkelstein形式下的RN–Vaidya–(A)dS度量
ds2 = -F(u,r) du2 - 2 du dr + r2(dθ2 + sin2θ dφ2),
F = 1 - 2M(u)/r + Q(u)2/r2 - (Λ/3) r2,
并施加（几乎）N-拟爱因斯坦方程
Ric + ?2f - (1/N) df?df = λg, f = f(u,r,θ,φ),
对于N≠0和先验可变的λ=λ(u,r,θ,φ)。我们的方法是直接且结构性的：我们计算(1)的完整分量方程组并顺序求解，利用混合(u,r)方程消去λ，角向方程传播刚性。

刚性机制。一个关键结构特征是(r,r)分量固定了f的r依赖性（并且等价地强制w=e^(-f/N)具有仿射r依赖性），即使f依赖于所有坐标。这直接源于w_rr=0；不需要除以f_r，因此即使径向系数消失，仿射表示仍然有效。在利用混合(u,r)方程消去λ后，角向方程产生一个兼容性条件，该条件成为关于r的显式多项式恒等式。其系数分离了带电和不带电的可能性，而剩余的分量方程完成了分类。

主要结果（非正式）。我们的主要结果是对RN–Vaidya–(A)dS族上的（几乎）N-拟爱因斯坦结构进行完整分类，而不对势施加对称性限制，即具有完全的坐标依赖性f=f(u,r,θ,φ)和可变的λ。更精确地说（见定理6.9），在任何连通分量上，有以下二分性：
• 如果Q≡0，那么要么M'(u)=0且f为常数（因此Ric=Λg），要么M≡0且时空为洛伦兹空间形式，在这种情况下，方程简化为静态/共圆势问题。
• 如果Q≠0，那么方程强制N=1，消除了通用标准形式中的径向平移，并传播到M≡0和Q'(u)=0；此外，f由S2上的第一球谐函数（局部）确定，λ为常数（=4Λ/3）。

特别是，具有M'(u)≠0的真实辐射分支被阻止，而在带电分支上，带电荷的时间依赖性Q'(u)≠0也被阻止。

乘积流形观点。对于一般的实数N≠0，方程(1)在此被视为加权曲率方程。当进一步特化到经典的拟爱因斯坦/爱因斯坦乘积流形对应关系，将N=m∈?解释为纤维维数，并采用通常的常数λ假设[6]、[7]时，我们的分类可以解读为在真实辐射的RN–Vaidya–(A)dS基上的相应不存在性陈述。特别是，带电分支中发现的N=1值是由麦克斯韦兼容性条件选出的；它不是额外的物理时空维数。

论文结构。第2节确定RN–Vaidya–(A)dS几何、约定以及相关的爱因斯坦-麦克斯韦-Λ物质解释。第3节回顾Bakry–émery张量和（几乎）N-拟爱因斯坦方程。在第4节中，我们推导出完整的坐标偏微分方程组并证明通用的径向约化。第5节建立支撑刚性的决定性r-多项式恒等式。第6节通过将问题分为不带电和带电两个分支来证明分类定理。最后，第7节使用Newman–Penrose/Segre描述来识别零对齐的辐射部分，并解释加权势的微分限制如何产生障碍（包括零基/Jordan块观点）；它还将结果与相关的孤子障碍进行比较。简短结论在第8节中出现。

章节摘录
度量、坐标与约定
我们考虑一个4维流形，坐标为(u,r,θ,φ)，度量为
g = -F(u,r) du2 - 2 du dr + r2(dθ2 + sin2θ dφ2)，
其中F光滑。在整个过程中，我们使用洛伦兹签名(-,+,+,+)和曲率约定
R_{abij} = ?_i Γ_{abj} - ?_j Γ_{abi} + Γ_{ai}^? Γ_{?bj} - Γ_{aj}^? Γ_{?bi}，
使得Ric_{ij} = R_{a i a j}。

注2.1 零坐标约定
在(2)中，坐标u是零的，并标记超曲面u=常数。对于符号选择g = -F du2 - 2 du dr + ...，向量场?_r是零的，且与超曲面u=常数的生成元相切，因此u扮演...

定义与术语
为了避免与质量函数M(u)混淆，我们用N表示加权曲率参数。在整个过程中，撇号表示u-导数，?是g的Levi–Civita联络。

定义3.1
固定N∈?\{0}。如果存在光滑函数f和λ，使得
Ric + ?2f - (1/N) df?df = λg，
则称g为几乎N-拟爱因斯坦。
当λ为常数时，这简化为通常的N-拟爱因斯坦方程。

(2)的Christoffel符号
设(x?,x1,x2,x3)=(u,r,θ,φ)。则度量系数满足
g_{uu} = -F, g_{ur} = g_{ru} = -1, g_{θθ} = r2, g_{φφ} = r2 sin2θ，
其余为零。逆度量为g^{ur}=g^{ru}=-1, g^{rr}=F, g^{θθ}=r^{-2}, g^{φφ}=(r2 sin2θ)^{-1}。

引理4.1 非零Christoffel符号
对于(2)，非零Christoffel符号（在下标中关于对称性，直到对称）为：
Γ_{uu}^u = -? F_r, Γ_{uθ}^θ = r, Γ_{uφ}^φ = r sin2θ,
Γ_{ru}^u = ?(F F_r + F_u), Γ_{ru}^r = Γ_{rr}^u = ? F_r,
Γ_{rθ}^θ = -r F, Γ_{rφ}^φ = -r F sin2θ,
Γ_{θr}^θ = Γ_{θθ}^r = 1/r, Γ_{φr}^φ = Γ_{φφ}^r = 1/r,
Γ_{θφ}^φ = -sin(2θ)/2, Γ_{φθ}^φ = Γ_{φφ}^θ = cotθ。

证明：直接代入Γ_{ab}^c = ? g^{cd}(?_b g_{da} + ?_a g_{db} - ?_d g_{ab})即可得到所述分量。（所有...

(3)的Ricci张量
令F由(3)给出。一个简短的计算给出
F_r = 2M/r2 - 2Q2/r3 - (2Λ/3)r,
F_rr = -4M/r3 + 6Q2/r? - 2Λ/3,
F_u = -2M'/r + 2QQ'/r2。
代入引理4.3，得到显式Ricci分量：

引理5.1 RN–Vaidya–(A)dS的Ricci分量
对于(3)，
Ric_{ur} = Q(u)2/r? - Λ,
Ric_{θθ} = Λ r2 + Q(u)2/r2,
Ric_{φφ} = (Λ r2 + Q(u)2/r2) sin2θ,
Ric_{uu} = -Λ F - 2M'(u)/r2 + 2Q(u)Q'(u)/r3 + F Q(u)2/r?
= -Λ F - 2M'(u)/r2 + 2Q(u)Q'(u)/r3 - Λ Q(u)2/(3r2) + Q(u)2/r? - 2M(u)Q(u)2/r? + Q(u)?/r?。

证明：将(39)代入(24)–(25)并化简即可得到(40)、(41)（M项从Ric_{ur}和Ric_{θθ}中抵消，而Λ正好贡献Λg到...

分类定理
分类是局部的。我们区分Q≡0的连通开区域与带电集合{Q≠0}的连通分量。我们不将零点集{Q=0}视为开集。

解释与比较
刚性背后的机制。Vaidya辐射的代数Ricci类型和Bakry–émery方程所要求的各向同性化暗示了一种自然的张力。在适配于(2)的零标架中，辐射部分对Ric贡献了一个II型（Segre型(2,1,1)）???分量，即Ricci自同态的幂零/Jordan部分。另一方面，方程Ric_N^f = λg要求加权Ricci张量是度量的纯倍数，因此（在混合形式中）可对角化且无...

结论与展望
我们研究了Eddington–Finkelstein坐标下Reissner–Nordstr?m–Vaidya–(A)dS族上的几乎N-拟爱因斯坦（Bakry–émery–爱因斯坦）方程
Ric + ?2f - (1/N) df?df = λg，
允许完全坐标依赖性f=f(u,r,θ,φ)以及先验可变的爱因斯坦因子λ=λ(u,r,θ,φ)。主要结果是一个清晰的刚性二分法（定理6.9）：具有M'(u)≠0的真实辐射分支与加权爱因斯坦约束不兼容，而在任何电荷不为零的区域...

资金
作者未收到本工作的具体资助。

利益冲突声明
作者声明，他们不知道可能影响本文报告工作的已知竞争性财务利益或个人关系。

致谢
我们衷心感谢编辑和匿名审稿人仔细的评估、宝贵的意见和建议，这些极大地提高了稿件的质量、清晰度和呈现方式。

Zosangzuala Chhakchhuak