结果族 359：Negative Kähler curvature without bounded holomorphic coordinates · 学科：Differential geometry · 验证状态：主结果已 Lean 形式化
一维复变里有个经典事实：完备、单连通、弯曲程度被负常数压住的黎曼面，必然能”装进”单位圆盘。高维是不是也这样？这篇论文造出反例：一个弯曲程度完美达标的复空间，却怎么也装不进任何有界域——单值化的美梦在高维被打碎。
关键词卡片
@@M@@-B\le K\le -A<0@@，弯曲程度上下都有负常数兜底。看个具体例子
反例就是一只变高蛋糕：
@@M@@DM=\{(z,w)\in\mathbb B\times\mathbb C:\ e^{\varphi(z)}|w|^{2}<1\},@@
底 @@M@@\mathbb B@@ 是 @@M@@\mathbb C^2@@ 的单位球，@@M@@z@@ 上方圆盘的半径 @@M@@e^{-\varphi(z)/2}@@ 随 @@M@@\varphi@@ 起伏。配上特定的 @@M@@\varphi@@ 与大参数 @@M@@\lambda@@ 的 Calabi 型度量后：
@@M@@D-B\ \le\ K(\sigma)\ \le\ -A\ <\ 0\quad(\text{每点、每个平面 }\sigma),@@
却不存在 Jacobi 行列式处处非零的有界全纯映射 @@M@@F:M\to\mathbb C^3@@，因此 @@M@@M@@ 不与任何有界域双全纯。妙在 @@M@@M@@ 并非没有有界全纯函数——坐标 @@M@@z_1,z_2@@ 本身就是——缺的恰恰只是”三个方向都好的有界坐标”。
为什么值得关心
它否定回答了 Wu–Yau 2019 年综述中的负夹紧 Kähler 单值化猜想：曲率两侧夹紧也不保证有界域结构，堵死了这条统一化路线。
已 Lean 形式化
第一级台阶
导读里”装进单位圆盘”指空间与某个有界区域之间可建立保持复结构的双向一一对应；”弯曲程度被负常数压住”是说沿任何方向切开的弯曲都夹在两个负常数之间。那只”变高蛋糕”——底面上每点顶着一只半径随位置起伏的圆盘——正是反例的舞台：高度函数选得刁钻、度量参数取得够大之后，弯曲完美达标，可就是配不出”三个方向都好的有界坐标”。
第二级台阶
用本科术语精确化：Kähler 度量是某个位势函数的复 Hessian @@M@@\partial\bar\partial@@ 所给的、与复结构相容的黎曼度量。反例取 Hartogs 域 @@M@@M_\phi=\{(z,w)\in\mathbb B\times\mathbb C: e^{\phi(z)}|w|^2<1\}@@，底 @@M@@\mathbb B@@ 是 @@M@@\mathbb C^2@@ 的单位球，@@M@@z@@ 上方圆盘半径为 @@M@@e^{-\phi(z)/2}@@；度量取自位势 @@M@@\lambda\psi-\log(1-e^{\phi}|w|^2)@@（@@M@@\psi=-\log(1-|z|^2)@@，@@M@@\lambda@@ 为大参数），属 Calabi 型构造。所谓有界全纯坐标，即有界全纯映射 @@M@@F:M\to\mathbb C^3@@ 且 Jacobi 行列式处处非零。
第三级台阶
定理断言：存在这样的 @@M@@\phi@@ 与 @@M@@\lambda@@，使 @@M@@M_\phi@@ 可缩、度量完备，且每点每个实二维平面 @@M@@\sigma@@ 的截面曲率满足 @@M@@-B\le K(\sigma)\le-A<0@@；同时任何有界全纯 @@M@@F@@ 的 Jacobi 行列式必在某处为零，故 @@M@@M@@ 不与 @@M@@\mathbb C^3@@ 中任何有界域双全纯。”完备”与”双侧夹紧”正是 Wu–Yau 单值化猜想的原始假设，一个都不能少地被满足却仍被否定。值得咀嚼的是 @@M@@M@@ 还是 Stein 流形、两个基坐标本身就是有界全纯函数——被挡住的恰恰只是第三个方向：三个微分处处线性无关的有界坐标。
在 @@M@@\mathbb{C}^3@@ 中构造出可缩区域 (contractible domain)，配上完备 Kähler 度量后其实截面曲率 (sectional curvature) 被两个负常数上下夹紧，却不存在 Jacobi 行列式处处非零的有界全纯映射——”负夹紧 Kähler 流形必双全纯于有界域”的单值化问题由此得到否定回答。
一维单值化定理 (uniformization) 说：完备、单连通、曲率不超过某负常数的黎曼面必双全纯 (biholomorphic) 于单位圆盘。高维时曲率条件还能否逼出有界域结构？H. Wu 1967 年在正规族工作中问：完备单连通、实截面曲率非正且全纯截面曲率一致负的 Kähler 流形是否双全纯于有界域；Wu 与 Yau 在 2019 年综述中给出两侧夹紧版本（猜想 4.3）。Mostow–Siu 以及 Deraux 的紧负曲率 Kähler 例子表明高维未必被球覆盖，但其万有覆盖仍可能双全纯于其他有界域——夹紧条件到底能否排除这一点，正是此前悬而未决之处。
主定理：存在可缩区域 @@M@@M\subset\mathbb{C}^3@@ 与光滑完备 Kähler 度量 @@M@@g@@，及有限常数 @@M@@0<A\le B@@，使得对每点、每个实二维平面 @@M@@\sigma@@ 均有 @@M@@-B\le K_g(\sigma)\le -A<0@@；并且不存在 Jacobi 行列式处处非零的有界全纯映射 @@M@@F:M\to\mathbb{C}^3@@。特别地，@@M@@M@@ 不与 @@M@@\mathbb{C}^3@@ 中任何有界域 (bounded domain) 双全纯。值得注意：@@M@@M@@ 本身是 Stein 流形——构造自带严格多次调和 (plurisubharmonic) 穷竭函数，由 Grauert 对 Levi 问题的解即得；且基坐标 @@M@@z_1,z_2@@ 就是非常数有界全纯函数。因此受阻的既非全纯凸性 (holomorphic convexity)，也非有界全纯函数的存在性，而恰恰是”三个微分处处线性无关的有界坐标”。
总体策略是几何与分析分治。区域取单位球 @@M@@\B\subset\mathbb{C}^2@@ 上的哈托格斯域 (Hartogs domain)：@@M@@M_\phi=\{(z,w)\in\B\times\mathbb{C}:e^{\phi(z)}|w|^2<1\}@@，即 @@M@@z@@ 上方圆盘半径为 @@M@@e^{-\phi(z)/2}@@；度量取位势 @@M@@\lambda\psi-\log(1-e^{\phi}|w|^2)@@（其中 @@M@@\psi=-\log(1-|z|^2)@@）的复 Hessian (complex Hessian)，属于 Calabi 型圆不变构造。证明只依赖两个输入。分析输入：造光滑实函数 @@M@@\phi@@，使其复 Hessian 两侧有界、在中心化球坐标下各分量导数有界（不假定该度量的曲率符号），且不存在全纯函数 @@M@@H@@ 满足 @@M@@\operatorname{Re}H\le C_H+4\log\frac1{1-|z|}+\phi@@。几何输入：满足这些界的 @@M@@\phi@@，只要基参数 @@M@@\lambda@@ 足够大，@@M@@M_\phi@@ 可缩、度量完备且截面曲率一致负。
先看阻碍如何闭合：若有界全纯 @@M@@F@@ 的 Jacobi 行列式处处非零，其限制在零截面上的行列式 @@M@@d@@ 是 @@M@@\B@@ 上无零点的全纯函数；@@M@@\B@@ 单连通，故 @@M@@d@@ 有整体全纯对数。对基方向圆盘与纤维圆盘分别用 Cauchy 估计，得 @@M@@\log|d|^2\le C+4\log\frac1{1-|z|}+\phi@@，恰好撞上 @@M@@\phi@@ 所禁止的全纯实部上界，矛盾——有界全纯坐标因此不可能存在。
@@M@@\phi@@ 的构造在度数 @@M@@k_j=Q^j@@（@@M@@Q@@ 为一个固定大整数）上递归进行：先在每个度数往一批分离的复直线上叠加齐次峰值多项式 (peak polynomial)（其投影填充与幂和估计承自 Ryll–Wojtaszczyk），再做径向修正，得到保持原点处全纯赋值的正密度；正则化对数 @@M@@\log\frac{|1-aP_k|^2+\epsilon^2}{1+\epsilon^2}@@ 对该密度有固定的负平均值，且相邻度数间的频率分离使这一负平均在后续所有修正下存活；再用足够大的固定系数求和，压倒 Cauchy 估计强加的对数边界项 @@M@@4\log\frac1{1-r}@@。低度数部分在中心化图里变化甚微、高度数部分呈指数小，由此凑齐曲率计算所需的四阶导数一致界。
曲率部分最 delicate 之处在于：取负后的主项非负，但可在水平与垂直投影复定向相反的”混合平面”上取零；恰在此类极限平面上，潜在最大的误差项（含三个水平指标者）因只能把水平块与混合块相配对而同样消失。分 @@M@@q/\lambda\to0@@ 与 @@M@@\lambda/q@@ 有界两个 regime 反证并辅以紧性论证，可得某个大 @@M@@\lambda@@ 下曲率严格负；固定该 @@M@@\lambda@@ 后，有界纤维段上的紧性与纤维边界处的一致极限张量共同给出上下两个有限的曲率界。
本文主结果已由 Lean 形式化证明，是结果族 359 的核心篇目。同族姊妹篇（单侧版本）在某个充分大的有限维数构造出曲率 @@M@@\le-1@@ 却只有常数有界全纯函数的区域，两文证明完全独立、互不引用：本文双侧夹紧但保留两个有界基坐标函数，姊妹篇单侧无下界且毫无非常数有界函数，从两侧分别否定这一族均匀化问题。按 OpenAI 官方声明，未经形式化的结果可能有问题，故姊妹篇结论宜以社区核验为准。
问 1：证明里最脆弱的一环在哪里？
答：分析输入的对数测试。作者构造半径 @@M@@r_N\uparrow1@@ 与球面概率 @@M@@\mu_N@@，使 @@M@@\int_S(\phi(r_N\xi)+4\log\frac1{1-r_N})\,d\mu_N\to-\infty@@，而对一切全纯 @@M@@H@@ 有 @@M@@\int_S\operatorname{Re}H\,d\mu_N=\operatorname{Re}H(0)@@。introduction 特别援引 Hedenmalm 的反例警告：保持原点赋值的测度未必保持对数平均不等式——本论证恰要在这条悬崖边上行走，负平均必须扛住 Cauchy 估计强加的 @@M@@4\log\frac1{1-r}@@ 边界项。
问 2：曲率论证的 delicate 之处是什么？
答：取负后的主项非负，但在水平与垂直投影复定向相反的”混合平面”上可取零；恰在极限平面处，潜在最大的误差项（含三个水平指标者）因只能把水平块与混合块配对而同样消失。这个巧合的对消在 @@M@@q/\lambda\to0@@ 与 @@M@@\lambda/q@@ 有界两个 regime 的紧性反证中承重，随后固定 @@M@@\lambda@@、用纤维段紧性与边界极限张量收回双侧有限界。
问 3：与 Mostow–Siu、Deraux 的非球例子相比，新意何在？
答：那些紧致负曲率 Kähler 例子只排除”被球覆盖”，其万有覆盖仍可能与别的有界域双全纯。本文给出的是更强的整体阻碍：连任何有界域都不行，从而对 Wu 1967 年的问题与 Wu–Yau 2019 年综述猜想 4.3 的两侧夹紧版本都给出否定回答。
问 4：@@M@@M@@ 是 Stein 且有两个有界全纯函数，这说明了什么？
答：说明阻碍既非全纯凸性也非有界全纯函数的存在性，而精确落在”固定三元组、微分处处独立”上。introduction 还指出：Bergman、Kobayashi–Royden 等内蕴度量在这个例子上完备且相互可比（Wu–Yau 的比较定理照常生效），但它们统统给不出有界坐标——内蕴度量路线在此失效。
问 5：这类 AI 生成的证明最可能以什么方式出错？
答：典型风险是量级竞争的常数：峰值多项式按度数 @@M@@k_j=Q^j@@ 递归叠加，正则化对数的固定负平均要靠”足够大的固定系数求和”压倒对数边界项，@@M@@Q@@、系数、@@M@@\lambda@@ 三个参数若有一处配错，负平均存活或严格负曲率二选一会先崩；其次是四阶导数一致界的拼装（低度数靠中心化图、高度数靠指数小），漏一阶曲率估计即失效。
问 6：谁会用到它？
答：复几何与 Kähler 单值化方向的研究者：它为”曲率压不出有界域结构”钉下铁案，把后续统一化努力逼向额外假设；Bergman 度理论与有界全纯函数论的学者也需引用它界定比较定理的能力边界。姊妹篇单侧版本则从”毫无非常数有界函数”的另一端夹击同一问题。
总评
这是对负夹挤 Kähler 单值化猜想的干净反例，构造与分析双线自洽且主结果已 Lean 形式化；最大风险在曲率张量于混合极限平面的对消论证与多参数量级竞争——正是形式化最难覆盖的长计算环节。