5.1 凯勒几何

5.1 凯勒几何：三件量具的严丝合缝

摘要：凯勒流形是复流形上度量、复结构、辛形式三者完全相容的产物：一个闭性条件锁住三套结构。本节从复结构的实几何身份讲起，构造厄米度量与凯勒形式，解释「三位一体」条件的分量级含义（克氏符号的复对称），最后考察凯勒家族的样板——复射影空间与卡拉比-丘流形，说明后者为何被弦论征用为紧化内空间。

复结构：一个「转四分之一圈」的机器

把平面 \mathbb{R}^2 看成复平面，乘以虚数单位相当于把每个向量旋转四分之一圈。抽象出这台机器：流形每点配一个线性算子 J: T_pM \to T_pM，满足 J^2 = -\mathrm{id}（转两次四分之一圈等于掉头）。J 称近复结构；若它由坐标卡间的复解析函数协调（即流形的图册可用全纯函数互相转换），则称可积复结构，流形成为复流形。一个实维 2n 的复流形，「坐标数」按复数记是 n——实二维才装得下一个复维。

J 的第一份礼物是「什么算全纯」：切向量 v 与 Jv 应被同等看待（相差四分之一圈），厄米结构因此要求度量与 J 可交换：g(Ju, Jv) = g(u, v)。满足这条的黎曼度量叫厄米度量（相对该复结构）。第二份礼物是一个天然的 2-形式：\omega(u, v) = g(Ju, v)。它自动反对称（验证只需一行：交换 u, v 并用 J^2 = -\mathrm{id} 与 g 的对称性），几何读数是「u 转四分之一圈后与 v 的内积」——在每个 J-不变二维切片上，\omega 恰是「面积乘单位法向」的替身。

凯勒条件：一锁定三

若 \omega 还是闭形式（d\omega = 0），则 (M, g, J, \omega) 称凯勒流形。条件清单看似平淡——复流形、厄米度量、\omega 闭——但组合出的相容性极其苛刻：三件量具中任何两件 + 闭条件会自动敲定第三件的良好行为，故称「三位一体」。苛刻的直接证据是分量级判据：在复坐标下，凯勒度量由单一势函数 \Phi（凯勒势）生成，g_{i\bar j} = \tfrac{\partial^2 \Phi}{\partial z^i \partial \bar z^j}——一个数量函数编码整个度量张量，而一般厄米度量需要 n^2 个独立分量。压缩比来自闭条件的积分，这是「约束越强、自由度越少、越可算」的典型范例。

凯勒条件下联络也大幅简化：唯一的非零克氏符号类型只剩 \Gamma^i_{jk}（全纯指标），混合指标（如 \Gamma^i_{j\bar k}）全部消失。曲率张量随之获得复对称性。实几何里第四章的那些「对称性清单」，在凯勒世界里再加一整套复版本约束——这就是为什么复几何的许多计算在实几何看来近乎奇迹。

三件量具的相容关系

两块样板与一位明星

复射影空间 \mathbb{CP}^n：复直线族的空间，凯勒家族的头号样板。其标准度量（富比尼-施图迪度量）的凯勒势有闭式表达式，截面曲率被夹在 \tfrac14 与 1 之间（按规范化不同端点取值不同）——正好卡在第 4.3 节球面定理四分之一夹挤的边界上，这个巧合绝非偶然，是复几何与比较定理交界处的著名话题。\mathbb{CP}^1 同胚于二维球面，是最小的凯勒闭合流形。

平坦复环面：\mathbb{C}^n 商掉格点，配平移不变凯勒度量。它同时是复几何、辛几何、黎曼几何三界的最简闭合样板，也是「凯勒 + 里奇平坦」的最低门槛实例。

卡拉比-丘流形：里奇平坦的紧凯勒流形（Ric = 0 而曲率张量不必为零）。丘成桐证明卡拉比猜想，确认这类流形在指定复结构上存在唯一的里奇平坦凯勒度量。它成为弦论明星的缘由：超弦理论要求十维时空的六个额外维紧化在里奇平坦流形上以保超对称，而凯勒 + 里奇平坦正是候选名单的头行。其上还藏着全局全纯体积形式，衍生出「镜像对称」等横跨数学物理两大领域的纲领。对本册读者，只需带走定位：卡拉比-丘 = 凯勒三位一体 + 里奇归零，是前四章全部概念（度量、联络、里奇）与本章复结构的联检考场。

一个必须交代的辨析：凯勒几何是黎曼几何的子类（每个凯勒流形底层都是黎曼流形），但辛几何不是——下一节的辛形式可以完全不来自任何度量。子类关系与换代关系并存，是本章三节间最容易被忽略的路标。

最小算例：复平面的凯勒势

凯勒势「一个函数生成整个度量」的机制，用最小算例走一遍最见实效。取复平面 \mathbb{C} 与凯勒势 \Phi = |z|^2 = x^2 + y^2（z = x + iy）。按生成公式 g_{i\bar j} = \partial^2 \Phi / \partial z^i \partial \bar z^j（实坐标下即 Hessian 矩阵），得度量矩阵为二阶单位阵——标准平坦度量，凯勒形式 \omega = \tfrac{i}{2} dz \wedge d\bar z 即 dx \wedge dy，标准面积形式，闭性显然（常形式的外微分为零）。换一个势 \Phi = (1 + |z|^2) 的对数（富比尼-施图迪势的二维形态），Hessian 变为 \tfrac{1}{(1+r^2)^2} 的各向同性矩阵——正曲率随之出现。两个势、两种几何，生成机制完全相同：凯勒几何里「换度量」常被简化为「换一个势函数」，这正是复几何计算效率的来源。这一算例同时校准了「平坦也能是凯勒」：凯勒条件与曲率符号无关，平坦复环面与正曲率射影空间同属凯勒家族。

家族成员一览：平坦 \mathbb{C}^n（曲率零、非紧）、复环面（零、紧）、\mathbb{CP}^n（正、紧）、卡拉比-丘（里奇零、紧，镜像对称的舞台）、双曲凯勒（负曲率紧情形，由 Mostow 刚性统治）——曲率符号的整部词典（第 3.4 节）在凯勒世界里全部有复版本对应，且每种符号都对应一族标志性定理。复几何因此常被称为「黎曼几何的放大镜」：同样的曲率问题，在凯勒框架里因约束更多而结构更清。

本节要点回顾

• 复结构 J：J^2 = -\mathrm{id} 的切空间算子，可积性由全纯坐标卡保证；
• 厄米条件：g(Ju, Jv) = g(u, v)，度量尊重「转四分之一圈」；
• 凯勒形式：\omega(u,v) = g(Ju, v)，天然 2-形式；闭条件 d\omega = 0 是三位一体的锁；
• 记账红利：凯勒势单函数生成度量，混合克氏符号归零，复对称性全套到账；
• 样板谱系：\mathbb{CP}^n、平坦复环面、卡拉比-丘（里奇平坦凯勒）——最后一位是弦论内空间。