结果族 071：Koebe’s circle-domain conjecture · 学科：Real and complex analysis · 验证状态：暂无形式化证明，请以社区核验为准
一块边缘碎成粉尘的拼图：粉尘细到撕掉也不改变整块拼图的弹性（”可去”），定理说这样的拼图反而极”硬”——任何把圆洞仍然变成圆洞的形变，都只能是球面的刚体运动，不许拉伸、不许扭转。这就是 He–Schramm 猜想剩下的、确实成立的那一半：可去推出刚性。
关键词卡片
看个具体例子
设 @@M@@\Omega,\Omega'@@ 都是圆域、@@M@@\partial\Omega@@ 可去、@@M@@f:\Omega\to\Omega'@@ 共形：
自由度盘点：共形等价先验上可以极其任意，结论却把它钉死在只有 6 个实参数、由三点像决定的 Möbius 群里——可去性把无穷压到 6。补分支数目不限（可为不可数）；此前所有部分结果都附加边界几何条件，这里全部撤掉。
为什么值得关心
与姊妹篇（Koebe 圆域猜想）合读，存在性与刚性互相成就，是平面共形几何百年故事的收尾两章。
验证状态：暂无形式化证明（AI 结果待核验）
对应文章：Removable Boundaries and Rigidity of Circle-Domains（结果族 071）
第一级台阶
入门导读把定理比作”边缘碎成粉尘的拼图”：粉尘细到撕掉也不改变整块拼图的弹性（可去），这样的拼图反而极硬（刚性）——任何把圆洞仍变成圆洞的形变都只能是球面的刚体运动。翻译成半数学语言：对象是带一圈圈圆洞的平面区域；”可去”说边界尘埃小到有界共形函数能直接无视它延拓过去；”刚性”说任何保持圆洞结构的保角形变不许拉伸、不许扭转。操作是先把”撕掉粉尘不改变弹性”这条性质用掉，再证明形变必为刚体运动。
第二级台阶
用本科术语精确化。圆域是黎曼球面中的连通开集，其补集每个分支都是闭圆盘或单点。紧集称为共形可去，若球面上每个在该集之外共形的保向同胚必为 Möbius 变换；圆域称为共形刚性，若它到任何圆域的共形等价都是 Möbius 变换的限制。Möbius 变换是球面到自身的分式线性变换，只有六个实参数、由三点的像完全决定；Sobolev 空间 @@M@@W^{1,2}@@ 收集函数及其一阶弱导数都平方可积的函数。
第三级台阶
主定理在此陈述：两个圆域之间若有共形等价 @@M@@f\colon\Omega\to\Omega'@@，且 @@M@@\partial\Omega@@ 共形可去，则存在 Möbius 变换 @@M@@M@@ 使 @@M@@f=M|_\Omega@@。补集分支的基数毫无限制（可为不可数），@@M@@f@@ 的边界延拓不是假设而是论证的产物。可去性挡住的麻烦是把”边界足够小”兑换成分析信息——论文的枢纽是一个中间定理：跨过可去尘埃的连续函数只要在补集上有有限 Dirichlet 能量，就自动是整体 Sobolev 函数。先用掉可去性得到这道桥，再经通量与面积的不等式夹逼，把 @@M@@f@@ 的导数钉在常数上，最终落进 Möbius 群。
证明了边界共形可去（conformally removable）的圆域必共形刚性（rigid）：它与任何圆域之间的共形等价都是 Möbius 变换的限制，且对补分支数目（可为不可数）毫无限制。这确立了 He–Schramm 猜想中”可去⟹刚性”的方向。
圆域（circle domain）是黎曼球面 @@M@@\Chat=\mathbb{C}\cup\{\infty\}@@ 中补分支全为闭圆盘或单点的区域，是平面区域最直观的共形模型。它的价值取决于两个问题：这样的模型是否存在（即 Koebe 圆域猜想），以及其共形结构是否在相差一个 Möbius 变换（Möbius transformation）的意义下确定位置——后者称为刚性（rigidity）。He 与 Schramm 在 1993 年证明了可数连通圆域的均匀化与刚性，随后又把刚性推广到边界具 @@M@@\sigma@@-有限线性测度的情形，并猜想：圆域刚性当且仅当其边界共形可去。2025 年 Rajala 构造出刚性但边界不可去的圆域，说明”刚性⟹可去”不成立；本文证明剩下成立的”可去⟹刚性”方向。此前的部分结果——Ntalampekos–Younsi 的拟双曲距离平方可积条件、Ntalampekos 的 CNED 条件等——都对边界几何附加限制，本文将其全部去除。
主定理：设 @@M@@\Omega,\Omega'\subset\Chat@@ 为圆域，@@M@@\partial\Omega@@ 共形可去，@@M@@f\colon\Omega\to\Omega'@@ 为共形等价，则存在 Möbius 变换 @@M@@M@@ 使 @@M@@f=M|_\Omega@@。定理对补分支基数不作任何限制，也不假设 @@M@@f@@ 预先延拓到边界——边界控制是论证的产物而非前提。
关键的中间结果是跨越可去”尘埃”的连续 Sobolev 延拓定理：若紧全不连通集 @@M@@B\subset\mathbb{C}@@ 共形可去，则每个在球面上连续、在 @@M@@G=\Chat\setminus B@@ 上属于 @@M@@W^{1,2}(G)@@ 的实函数自动属于 @@M@@W^{1,2}(\Chat)@@。它是把可去性转化为 Sobolev 信息的枢纽，亦独立有意义。
证明分四步，总策略是”先用掉可去性，再回到 @@M@@f@@“。
第一步，对补集为紧全不连通集 @@M@@B@@ 的情形建立”保留测试的模型”。从姊妹篇（Koebe 猜想一文）输入数量化的保留测试转移定理：有限个标量测试在穷竭核心上被精确保留，尾部能量与边界振荡平方和同时趋于零。填掉有限多个圆洞并取弱极限，得到模型 @@M@@h@@，使 @@M@@u_i\circ\pi_h@@（@@M@@\pi_h@@ 为塌缩映射）成为全球 Sobolev 函数，且在省略集上梯度为零；再用围道论证逐一确定函数在省略分量上的取值，即便点分量之并可具正面积。
第二步，变动模型以制造屏障。在保留固定有限测试列表的映射中，逼近无穷远处第一 Laurent 系数实部的上确界；借助经经典 Beltrami 方程构造的电导率形变，得到与普通纵坐标误差任意小的高度函数，水平集论证保证其与保留测试相容；压平非点洞对应的可数多个取值后，再补上横坐标。两坐标合成围绕所有源端点、能量任意小的屏障。
第三步，保存屏障并不断扩充测试列表。若极限模型的某省略分量不是点，其某条轴投影含正长度区间 @@M@@J@@，则每条相应横截线都迫使某个保存下来的屏障从 1 降到 0，由 Cauchy–Schwarz 其能量至少为 @@M@@|J|/(2L)@@，与”能量可任意小”矛盾。故所有省略分量都是点；分量对应把极限模型延拓为球面同胚，@@M@@B@@ 的可去性使规范化极限为恒等映射，弱紧致性随即给出上述 Sobolev 延拓定理。
第四步，回到一般的 @@M@@f\colon\Omega\to\Omega'@@。点分量可能与圆盘对应，坐标延拓不必连续，于是先对可数个含盘配对施加遮罩（mask），剩余公共点分量构成紧、全不连通且可去的残余集，可套用第三步的定理；遮罩分析（基于 Hardy–Littlewood 极大函数的”球综合”引理）表明这些迹在几乎每条线上的轴向投影零测。最后是通量—面积论证：用 @@M@@f@@、目标圆盘圆心与公共点对应定义有界可测场，对线估计沿两个方向积分得 @@M@@2\pi R^2\le 2\int_{\Omega\cap D_R}|f'|\,\dd A+2\pi\sum_j r_js_j@@；与源、目标两侧面积不等式 @@M@@\int 1+\pi\sum r_j^2\le\pi R^2@@、@@M@@\int|f'|^2+\pi\sum s_j^2\le\pi R^2@@ 相加化简，得 @@M@@\int_{\Omega\cap D_R}(|f'|-1)^2\,\dd A+\pi\sum_j(r_j-s_j)^2\le0@@。两项均非负，故 @@M@@|f'|\equiv1@@，开映射定理与恒等定理迫使 @@M@@f@@ 仿射，再由 @@M@@f(z)=z+O(1/z)@@ 的规范化知其为恒等，即原等价是 Möbius 变换的限制。
本文主结果暂无 Lean 形式化证明，属 OpenAI 批量产出的手稿之一；按其官方声明，未经形式化的结果可能存在问题，请以社区核验为准。本文与姊妹篇《Koebe’s Circle-Domain Conjecture》相互咬合：刚性论证依赖姊妹篇提供的数量化保留测试定理，而该定理正是姊妹篇均匀化构造的定量加强。两篇合读，可见 Koebe 存在性问题与 He–Schramm 刚性问题如何互相成就。
对应论文：Removable Boundaries and Rigidity of Circle Domains（OpenAI，2026-09-23）
问 1：证明中最关键的一步是哪里？终点站的夹逼是怎么完成的？
（答：终点是第四步的通量—面积论证：用 @@M@@f@@、目标圆盘圆心与公共点对应构造有界可测场，逐线积分得 @@M@@2\pi R^2\le 2\int_{\Omega\cap D_R}|f'|\,dA+2\pi\sum_j r_js_j@@，与源、目标两侧的面积不等式相加化简，得 @@M@@\int_{\Omega\cap D_R}(|f'|-1)^2\,dA+\pi\sum_j(r_j-s_j)^2\le0@@。两项非负故 @@M@@|f'|\equiv1@@，开映射与恒等定理迫使 @@M@@f@@ 仿射，规范化后即恒等。但真正的承重墙在更早处：屏障的能量下界矛盾与 Sobolev 延拓定理，终点站只是收获。）
问 2：”可去”这个假设能去掉吗？它的真实角色是什么？
（答：它是充分而非必要的。反方向”刚性⟹可去”已被 Rajala 2025 的反例否定——存在刚性但边界不可去的圆域；He–Schramm 1994 的刚性定理则要求边界具 @@M@@\sigma@@-有限线性测度，这是一类几何限制，一般的可去边界不必落入其中。本文的贡献恰恰是把所有边界几何条件（拟双曲距离平方可积、CNED 等）撤掉，只留可去性本身。可去性在证明中的用法独特：先于任何边界延拓就用掉它，把”粉尘小”兑换成 Sobolev 信息。）
问 3：中间的 Sobolev 延拓定理里，”连续性”为什么是必要假设？
（答：introduction 明确说跨过集合的连续性是该中间定理的本质假设。这不是技术方便：第四步里 @@M@@f@@ 的坐标在”点分量对应圆盘”处延拓后可以不连续，所以不能直接套用——论文被迫先对可数个含盘配对施加遮罩，把残余集化归为紧、全不连通且可去，再应用定理。假设的必要性与绕行的存在性互为印证。）
问 4：与已有工作相比真正的新意是什么？
（答：两点。其一，撤掉全部边界几何附加条件（Ntalampekos–Younsi 的拟双曲距离平方可积、Ntalampekos 的 CNED），对补分支基数亦无限制，确立 He–Schramm 猜想”可去⟹刚性”方向无条件成立。其二，尘埃 Sobolev 延拓定理把 Jones–Smirnov 的连续 Sobolev 可去性线索推进到：只假设共形可去本身的紧全不连通集上，连续加有限能量即整体 Sobolev——独立于刚性结论有价值。）
问 5：这个结果最可能以什么模式出错？
（答：三处高危。其一，刚性论证消费姊妹篇（Koebe 猜想一文）的”数量化保留测试转移定理”，属同一批 AI 手稿的交叉依赖，上游有误则本文第一步即塌；其二，围道论证要在省略分量上确定函数取值，而点分量之并可具正面积，”逐分量确定”与”零测例外”的相容性极易出错；其三，终端不等式链的系数与求和指标（@@M@@r_js_j@@ 交叉项、两侧面积界的相加）代数繁复，差一个因子结论就面目全非。全部未经形式化。）
问 6：为什么不能从 @@M@@f@@ 直接延拓坐标来用可去性？
（答：因为点分量可能与圆盘互相对应，坐标延拓在那些配对处不连续，而 Sobolev 延拓定理恰恰要求连续性；直接延拓还会把边界控制当前提，与”控制是产物”的哲学相反。遮罩（基于 Hardy–Littlewood 极大函数的球综合引理）证明残余迹在几乎每条线上的轴向投影零测，才让逐线估计可以积分成通量不等式。）
问 7：谁会用到这个结果？
（答：平面共形几何的研究者：与姊妹篇合读，Koebe 存在性与 He–Schramm 刚性互相成就，构成圆域理论的收尾两章；Sobolev 延拓定理对研究可去集、解析容量与 Sobolev 空间延拓（Jones–Smirnov 线索）的人是独立工具；刚性还保证圆域模型在相差 Möbius 意义下的唯一性，是使用该模型做进一步分析的先决条件。）
总评
这是平面共形几何一条百年线索的干净收束：假设最少（只留可去性）、结论最强（无基数限制的刚性），中间的 Sobolev 延拓定理还有独立生命；最大风险是它坐在姊妹篇的定量均匀化之上且全程未形式化，不等式链的代数细节需专家逐项复核。