260｜时空 Penrose 不等式：黑洞面积需要多少质量
官方问题族 260；本版含 13 篇稿件。以下为稿件结论的解释，未完成独立证明认证。来源版本：
adc7f1241b42，核对日期：2026-10-07。
A. 问题与历史背景
如果初始空间中已经有一个被困住的区域，远处测得的总质量能否小到不足以容纳这个黑洞？Penrose 在 1970 年代把引力坍缩、宇宙监督和黑洞面积增加联系起来，提出质量与视界面积之间的不等式。最熟悉的三维空间、无电荷形式是
这里采用 ； 是几何单位的质量， 是适当定义的面积。Schwarzschild 黑洞满足 ，正好取等号。物理图像是：若最终趋向静态黑洞，辐射带走能量而视界面积不能减少，那么初态质量应足以支撑该面积。但这种物理推理本身依赖演化和宇宙监督假设；从初始数据直接证明不等式，是另一项任务。
时间对称初始数据的外曲率 为零，问题可转化为非负标量曲率下的黎曼几何。Huisken–Ilmanen、Bray 等工作解决了重要的三维时间对称情形。一般 时，约束方程包含动量，表观视界也不是简单的极小曲面，困难显著增加。历史脉络可参阅 Bray–Chruściel 的综述及 Mars 的综述。
B. 稿件结论及成立范围
这一族有 13 篇稿件，包含基础不等式、等号刚性、带电和旋转推广、反例以及不同无穷远条件，不能视作一个无条件的单一定理。
中性主结果针对空间维数 的光滑、单个渐近平坦端初始数据外部区域。在主导能量条件、弱未来被困边界、规定的微分衰减和正包围面积等假设下，声称
是无穷远测得的能量、动量； 是单位球面的面积； 是原始度量中完整包围边界的截面面积下确界，不一定等于输入边界本身的面积。主导能量条件要求物质能量密度不小于动量密度的模。高维定理具有较强衰减条件；三、四维配套版本放宽部分条件。增加外最层、外面积极小等视界假设后，等号声称刻画 Schwarzschild–Tangherlini 外部时空的空间切片。
三维无源电磁场版本令 、，得到
常见改写 仅在稿件规定的 分支使用。高维带电版本仅处理规定归一化的纯电场，并以配套中性定理为输入。
轴对称 Kerr–Newman 版本声称
这里 必须是包含电磁贡献的守恒总角动量；还要求规定的电真空外部拓扑、零 ADM 动量、Coulomb 型渐近、连通的外最层且外面积极小的未来边际被困边界，以及 。配套反例说明：若只取“裸”的引力 ADM 角动量，同时允许角向变化的较弱电磁尾部，以上公式可以失败。
其余稿件分别处理具有球形共形无穷远的渐近反 de Sitter 数据、最大切片、局部共形扰动，以及特定 Cha–Khuri–Sakovich 双曲端类别的 Bondi 质量。它们的面积、质量和衰减定义应分别使用，不能把不同版本的宽松条件拼接成一个更强命题。
C. 为什么证明困难，方法能带来什么
核心障碍是在把一般初始数据变形为较易处理的几何对象时，同时保护包围面积、控制无穷远质量并维持合适的曲率符号。稿件采用图形变形、共形变形和共形流等路线；刚性稿件进一步追踪每一步损失消失时的条件，恢复原始数据而不仅是一个辅助度量。
**潜在积极影响：**这些结论若经核验成立，会给数值相对论的初始数据提供严格的质量—面积一致性检查，也会强化黑洞热力学几何界限的基础。带电、旋转反例尤其有用，因为它们精确指出应测量和控制哪一种角动量及无穷远场。
**边界：**它们并不直接证明一般引力坍缩的宇宙监督，也不计算引力波波形。渐近 AdS 结果对全息研究可能提供约束，但从几何不等式到具体边界量子理论还需要额外的全息字典。
原稿及配套材料
- O260-01 The spacetime Penrose inequality with charge and original-data rigidity。形式化目录：未列入。BibTeX 键：
OAI:The-spacetime-Penrose-inequality-with-charge-and-original-data-rigidity-October-5-2026。 - O260-02 A Charged Reduction of the Spacetime Penrose Inequality in Spatial Dimensions at Least Four。形式化目录：未列入。BibTeX 键：
OAI:A-Charged-Reduction-of-the-Spacetime-Penrose-Inequality-in-Spatial-Dimensions-at-Least-Four-October-5-2026。 - O260-03 Spacetime Penrose inequalities: enclosing area, charge, and rigidity。形式化目录：未列入。BibTeX 键：
OAI:Spacetime-Penrose-inequalities-enclosing-area-charge-and-rigidity-October-5-2026。 - O260-04 The Kerr–Newman Penrose Inequality for Axisymmetric Electrovacuum Exteriors。形式化目录：未列入。BibTeX 键：
OAI:The-Kerr-Newman-Penrose-Inequality-for-Axisymmetric-Electrovacuum-Exteriors-October-5-2026。 - O260-05 Electromagnetic tails and the Kerr–Newman Penrose inequality。形式化目录：未列入。BibTeX 键：
OAI:Electromagnetic-tails-and-the-Kerr-Newman-Penrose-inequality-October-5-2026。 - O260-06 The nonmaximal anti-de Sitter Penrose Inequality and original-data rigidity。形式化目录：未列入。BibTeX 键：
OAI:The-nonmaximal-anti-de-Sitter-Penrose-Inequality-and-original-data-rigidity-October-5-2026。 - O260-07 The Penrose inequality for maximal asymptotically hyperbolic initial data。形式化目录：未列入。BibTeX 键：
OAI:The-Penrose-inequality-for-maximal-asymptotically-hyperbolic-initial-data-October-5-2026。 - O260-08 A local Penrose inequality for conformal perturbations of Schwarzschild–anti-de Sitter data。形式化目录：未列入。BibTeX 键：
OAI:A-local-Penrose-inequality-for-conformal-perturbations-of-Schwarzschild-anti-de-Sitter-data-October-5-2026。 - O260-09 The spacetime Penrose inequality and enclosing area。形式化目录：未列入。BibTeX 键：
OAI:The-spacetime-Penrose-inequality-and-enclosing-area-September-27-2026。 - O260-10 Conformal flow and the Riemannian Penrose inequality with minimizing frontiers。形式化目录：未列入。BibTeX 键：
OAI:Conformal-flow-and-the-Riemannian-Penrose-inequality-with-minimizing-frontiers-September-27-2026。 - O260-11 Equality and rigidity in the spacetime Penrose inequality。形式化目录：未列入。BibTeX 键：
OAI:Equality-and-rigidity-in-the-spacetime-Penrose-inequality-September-27-2026。 - O260-12 Boundary graph deformations for the spacetime Penrose inequality。形式化目录：未列入。BibTeX 键：
OAI:Boundary-graph-deformations-for-the-spacetime-Penrose-inequality-September-27-2026。 - O260-13 Area-controlled end replacement and the Bondi–Penrose inequality in the CKS class。形式化目录：未列入。BibTeX 键：
OAI:Area-controlled-end-replacement-and-the-Bondi-Penrose-inequality-in-the-CKS-class-September-27-2026。