1 基本概念
Kähler 几何研究的是一类同时具有复结构、黎曼度量和辛结构的光滑流形。三者彼此兼容，使得几何、拓扑与分析工具能够在同一框架中统一使用。与一般复流形或黎曼流形相比，Kähler 流形具有更强的约束，因此也拥有更丰富的结构与更强的可计算性。
1.1 Kähler 流形
Kähler 流形是带有 Kähler 结构的复流形。它既可以从复分析角度理解，也可以从微分几何角度理解：前者强调复坐标与全纯性质，后者强调度量、联络与曲率。由于这些结构彼此相容，Kähler 流形常被视为复几何中最自然的一类对象。
1.2 Kähler 度量
Kähler 度量是复流形上的一种 Hermitian 度量，满足其对应的基本 2-形式是闭合的。这个条件使得度量不仅给出长度与角度，还能诱导出辛结构。Kähler 度量的存在使许多局部问题具有全局几何意义。
1.3 Kähler 形式
Kähler 形式是由 Kähler 度量自然导出的实 2-形式，通常记作 ω。它在局部坐标中可由度量系数直接写出，并满足闭合性条件。Kähler 形式是联系复结构、度量与辛结构的核心媒介。
1.4 复结构与 Hermitian 结构
复结构是流形切空间上满足平方等于负单位的线性算子，保证流形局部呈现复坐标性质。Hermitian 结构则是在复向量空间上定义的复线性兼容内积。二者结合后，可以在复流形上自然引入复几何意义下的距离与角度。
1.5 辛结构与兼容性条件
辛结构是一个非退化、闭合的 2-形式，提供了哈密顿几何与经典力学中的基本框架。在 Kähler 几何中，辛结构与复结构、度量之间满足严格兼容条件：复结构保持辛形式不变，且度量可由辛形式与复结构共同确定。这种兼容性是 Kähler 理论的核心特征。
2 历史发展
Kähler 几何的形成经历了复几何、黎曼几何与代数几何的长期汇合。它并非一次性建立，而是在多个数学分支的推动下逐渐成熟，最终成为现代几何的重要语言之一。
2.1 早期复几何与黎曼几何背景
19 世纪末到 20 世纪初，复函数论、多复变函数理论与黎曼几何分别发展，为 Kähler 几何奠定了基础。人们逐渐意识到，复流形上若能加入合适的度量结构，许多分析和拓扑问题会变得更加清晰。
2.2 Kähler 的奠基性工作
德国数学家 Erich Kähler 在 1930 年代系统研究了这类特殊度量结构，并明确提出相关定义与性质。其工作将复坐标、度量与闭合 2-形式统一起来，使这一类流形获得清晰的抽象表述，也由此形成后来所称的 Kähler 几何。
2.3 20 世纪的理论完善
20 世纪中期以后，Hodge 理论、复杂分析和代数几何的发展进一步推动了 Kähler 几何的成熟。Kähler 恒等式、Hodge 分解、Hard Lefschetz 定理等结果相继建立，使该领域在上同调、曲率和结构定理方面都形成了系统体系。
2.4 现代发展与应用扩展
进入现代以后，Kähler 几何与 Calabi-Yau 流形、极小模型程序、镜像对称和数学物理产生了紧密联系。与此同时，非紧情形、奇点空间上的推广以及与偏微分方程的交叉研究也不断扩展了该领域的边界。
3 结构定义与等价表述
Kähler 结构可以通过多种方式定义，它们在适当条件下彼此等价。这些表述分别从形式、联络、局部坐标和闭合性出发，为不同问题提供了最方便的语言。
3.1 闭合的 Hermitian 形式
若复流形上的 Hermitian 形式对应的实 2-形式是闭合的，则可称其为 Kähler 形式。这个定义最简洁地体现了兼容性条件，也最直接连接辛几何。
3.2 Levi-Civita 联络的特征
从黎曼几何角度看，Kähler 条件等价于 Levi-Civita 联络与复结构相容，即复结构在平行移动下保持不变。换言之，联络同时尊重度量和复结构，这使得许多曲率公式大为简化。
3.3 局部坐标下的表达
在局部复坐标中，Kähler 度量可以写成由某个实值势函数的二阶偏导数组成的形式。度量系数通常表现为某个局部函数的复 Hessian，这使局部计算与解析方法高度契合。
3.4 与闭合 2-形式的关系
Kähler 结构本质上可以看作是由闭合 2-形式、复结构和正定性共同决定的对象。闭合 2-形式提供辛结构，复结构规定类型分解，而正定性保证它确实来自一个黎曼度量。
4 典型例子
Kähler 流形并非抽象空泛的概念，而是在许多经典几何对象中自然出现。典型例子不仅帮助理解定义，也常作为理论验证和推广的基础。
4.1 欧几里得空间中的标准例子
复欧几里得空间 ℂ^n 配有标准 Hermitian 度量，其对应的 2-形式是闭合的，因此是最基本的 Kähler 流形。它常被用作局部模型，许多局部性质都可在此情形下直观理解。
4.2 复射影空间
复射影空间配备 Fubini-Study 度量后成为紧 Kähler 流形。这是代数几何中的核心例子，既具有良好的曲率性质，也与线性系统和极化概念密切相关。
4.3 复环面
复环面是由复向量空间除以格点得到的商流形，天然带有平移不变的 Kähler 结构。它通常具有平坦或近乎平坦的几何特征，是理解紧复流形与阿贝尔簇的重要模型。
4.4 代数曲线与曲面上的例子
光滑代数曲线在自然度量下总能获得 Kähler 结构，而复曲面上的许多经典对象也属于 Kähler 流形。特别是在复代数曲面的分类中，Kähler 条件常与几何类型的区分密切相关。
4.5 Calabi-Yau 流形
Calabi-Yau 流形通常指具有特殊 holonomy 或等价条件的紧 Kähler 流形，常要求第一 Chern 类为零。它们在几何与物理中都占据重要位置，尤其与 Ricci-flat Kähler 度量和镜像对称密切相关。
5 核心性质
Kähler 几何的强大之处在于其许多深层性质可以由少量兼容条件推出。由此，复、辛和黎曼三种语言可以互相转换，形成统一的结构图景。
5.1 复子流形与测地性质
在 Kähler 流形中，复子流形常表现出良好的几何行为，许多自然嵌入会继承诱导的 Kähler 结构。某些情形下，复结构还能约束测地线与最短路径的形态，使曲面或子空间的几何特征更易分析。
5.2 局部势函数
Kähler 度量在局部通常可由势函数导出，这种“势”结构使问题能够转化为复分析中的函数方程。局部势函数的存在是处理曲率、正则性和变形问题的重要工具。
5.3 Ricci 曲率与标量曲率
Kähler 几何中的 Ricci 曲率具有特殊表达形式，能够通过复坐标下的行列式公式描述。标量曲率则反映整体弯曲程度，在 Kähler-Einstein 理论和曲率正性研究中尤其关键。
5.4 Kähler 锥与正性条件
在 Kähler 几何中，满足某些正性条件的 2-形式构成所谓的 Kähler 锥，它反映了可取 Kähler 类的范围。正性条件不仅影响度量存在性，也与线丛的几何性质和代数嵌入能力密切相关。
5.5 幂等分解与类型分解
Kähler 结构下，微分形式可按复类型分解为不同分量，例如 (p,q)-型分量。代数运算和微分算子都因此呈现更细致的结构，这种分解是 Hodge 理论和相关恒等式成立的基础。
6 微分形式与 Hodge 理论
Kähler 几何与微分形式理论之间有极深联系。Kähler 条件使得许多算子之间出现额外对称性，从而得到强有力的上同调分解结论。
6.1 类型分解
在复流形上，复值微分形式可按类型分解为不同的 (p,q) 部分。Kähler 条件保证这种分解与外微分算子之间有良好相容性，便于分别研究全纯和反全纯方向的变化。
6.2 ∂ 与 \bar∂ 算子
∂ 与 \bar∂ 是复几何中的基本微分算子，分别对应全纯方向与反全纯方向的微分。它们满足一系列代数关系，在 Kähler 情形下还与拉普拉斯算子及共轭算子发生深刻联系。
6.3 Kähler 恒等式
Kähler 恒等式是一组连接 ∂、\bar∂、其伴随算子以及 Lefschetz 算子的关系式。它们是 Kähler 几何的核心工具，常用于证明 Hodge 分解、Hard Lefschetz 定理和 ∂\bar∂ 引理。
6.4 Hodge 分解定理
在紧 Kähler 流形上，微分形式的上同调可以由调和形式表示，并按复类型进一步分解。Hodge 分解定理因此把微分方程解的分析性质与上同调的拓扑信息直接联系起来。
6.5 调和形式与上同调
调和形式是拉普拉斯算子零特征值对应的微分形式，在 Kähler 情形下具有良好的类型性质。它们为上同调类提供规范代表，使抽象拓扑群可转化为具体的微分对象进行研究。
7 典型定理
Kähler 几何之所以重要，很大程度上在于其中包含一系列结构性强、适用面广的定理。这些结果不仅在本领域内部发挥基础作用，也深刻影响了代数几何与全局分析。
7.1 Lefschetz 超平面定理相关结论
Lefschetz 超平面定理说明某些代数超平面截面在低维上同调层面保留了原空间的大部分信息。在 Kähler 及项目化情形下，这类结论帮助研究复杂空间的拓扑结构与生成元性质。
7.2 Hard Lefschetz 定理
Hard Lefschetz 定理表明，在紧 Kähler 流形上，与 Kähler 类反复做杯积可以在不同次数的上同调之间建立同构。它揭示了 Kähler 类在上同调环中的强大控制力，是该领域最重要的结构定理之一。
7.3 Hodge-Riemann 双线性关系
Hodge-Riemann 双线性关系是对上同调中交叉形式的一种深刻正性描述。它不仅强化了 Hard Lefschetz 定理，也在代数几何与凸几何的某些问题中起到关键作用。
7.4 ∂\bar∂ 引理
∂\bar∂ 引理指出，在紧 Kähler 流形上，某些同时满足闭合与正交条件的形式可表示为 ∂\bar∂ 的像。该引理是 Kähler 情形特有的强性质之一，常被用来证明上同调与复结构之间的精细对应。
7.5 Kähler- Einstein 存在性问题
Kähler-Einstein 度量是 Ricci 曲率与度量成比例的 Kähler 度量。其存在性问题是现代几何中的中心难题之一，涉及偏微分方程、稳定性与代数几何条件的综合判断。
8 曲率理论
曲率是 Kähler 几何中最重要的局部不变量之一。由于结构兼容，曲率张量往往具有额外对称性，因而比一般黎曼流形更易分析。
8.1 曲率张量的分量形式
在复坐标下，Kähler 曲率张量的非零分量具有明显的类型限制，许多混合分量自动消失。这样的简化使得曲率表达更为紧凑，也便于研究高阶导数与几何不等式。
8.2 Ricci 曲率
Ricci 曲率在 Kähler 几何中常可由局部势函数的行列式直接描述。它不仅反映体积的局部变化，也与第一 Chern 类、Kähler-Einstein 度量和复结构稳定性密切相关。
8.3 负曲率与正曲率情形
Kähler 流形既可具有负曲率，也可具有正曲率或半正曲率。不同曲率符号通常导致截然不同的全局性质，例如体积增长、刚性、射影性和拓扑限制等方面的差异。
8.4 规范曲率与正则性
规范曲率用于刻画某些归一化后的弯曲行为，在研究曲率流和局部正则性时十分重要。它常作为比较工具，用来判断结构在放缩下是否保持稳定形态。
8.5 曲率约束下的拓扑影响
曲率条件会强烈影响 Kähler 流形的拓扑类型，例如对基本群、Betti 数和上同调环结构产生限制。许多刚性结论都说明，某些曲率假设几乎决定了流形的全局形状。
9 与代数几何的联系
Kähler 几何与代数几何之间的联系极其紧密。很多复代数对象天然携带 Kähler 结构，而 Kähler 方法又反过来帮助理解代数簇的几何与拓扑性质。
9.1 代数簇上的 Kähler 结构
光滑复代数簇在适当情形下通常可视为 Kähler 流形。代数结构提供了额外的有理性与嵌入信息，使得 Kähler 几何成为研究代数簇的重要分析工具。
9.2 极化与线丛
极化通常由正线丛或充实的上同调类给出，它是把抽象复流形与代数几何对象联系起来的关键步骤。在线丛语言中，Kähler 形式往往与曲率形式相对应。
9.3 Projective 嵌入
一个紧复流形若满足适当的极化条件，便可嵌入到复射影空间中。Kähler 几何为这种嵌入提供了度量和曲率层面的解释，因此在 projective 几何中具有基础地位。
9.4 Hodge 结构
Hodge 结构描述了复上同调在不同类型分量上的分解方式。Kähler 条件保证这种结构具有极为规整的性质，是现代代数几何和算术几何中的核心概念。
9.5 概形与复代数几何中的作用
在概形与复代数几何的框架中，Kähler 方法常作为分析工具进入，用来研究光滑性、变形和参数空间问题。它使几何对象不仅能从纯代数角度处理，也能借助微分方程与度量方法获得更多信息。
10 特殊类与推广
Kähler 几何内部存在多种重要的特殊类别，同时也有若干自然推广。这些类与推广往往保留部分核心性质，但在紧致性、曲率或复结构方面作出不同假设。
10.1 紧 Kähler 流形
紧 Kähler 流形是整体上无边界且闭合的 Kähler 流形。紧致性使得 Hodge 理论和全局分析工具最为有效，因此这类流形在理论中占据核心位置。
10.2 Kähler-Einstein 流形
Kähler-Einstein 流形指同时满足 Kähler 条件与 Einstein 条件的流形。它们在几何上具有高度对称性，往往作为研究稳定性、模空间和特殊度量的标准对象。
10.3 Sasaki 几何中的关联结构
Sasaki 几何可看作奇数维情形中与 Kähler 几何密切相关的结构。其圆锥空间通常带有 Kähler 结构，因此两者之间存在自然的几何对应与构造联系。
10.4 非紧 Kähler 流形
非紧 Kähler 流形在边界行为、完备性和增长条件方面更为复杂。虽然缺少紧致性带来的许多便利，但在复分析、几何流与局部模型研究中仍然十分重要。
10.5 准 Kähler 与相关推广
准 Kähler 结构是对 Kähler 条件的放宽，通常保留部分兼容性但不要求完全闭合。此类推广有助于研究更广泛的几何背景，也为理解标准 Kähler 理论的特殊性提供参照。
11 分析方法
Kähler 几何的许多核心结论依赖于分析工具，尤其是椭圆型偏微分方程与非线性方程理论。几何问题在这里常被转化为函数方程或算子方程，从而便于处理。
11.1 椭圆型偏微分方程
Kähler 几何中的度量、曲率和势函数问题经常导向椭圆型方程。此类方程具有良好的正则性理论，因此能够从弱解得到更高光滑性结论。
11.2 Monge-Ampère 方程
复 Monge-Ampère 方程是 Kähler-Einstein 理论和 Calabi 猜想中的关键方程。它描述了势函数的高阶非线性行为，是连接几何与非线性分析的典范。
11.3 热方程方法
热方程方法常用于研究几何流、收敛性和正则化过程。通过演化方式，原本难以直接处理的静态问题可以转化为随时间变化的渐近分析。
11.4 变分法
变分法通过考察能量泛函或体积泛函的极值来研究 Kähler 度量。许多存在性问题都可重新表述为寻找某个泛函的临界点，这在极小化与稳定性分析中尤为常见。
11.5 横截性与正则性技术
在处理模空间、子流形和非线性方程时，横截性与正则性技术经常发挥作用。它们帮助判断解集的局部结构是否光滑，以及参数变化下对象是否稳定。
12 重要问题与研究方向
Kähler 几何仍然是活跃的研究领域，许多关键问题至今仍推动着新方法的发展。其研究方向往往跨越几何、分析、拓扑和代数多个层面。
12.1 Kähler-Einstein 度量的存在性
判断给定 Kähler 流形是否存在 Kähler-Einstein 度量，是该领域最经典也最重要的问题之一。这个问题通常与曲率条件、代数稳定性和非线性方程可解性联系在一起。
12.2 稳定性条件与模空间问题
流形及其极化数据的稳定性常与特殊度量的存在相关，而模空间则研究这些对象如何组成参数族。两者共同构成现代 Kähler 几何中的核心研究主题。
12.3 曲率正性猜想
关于各种曲率正性条件的猜想长期推动着 Kähler 几何发展。人们希望弄清，哪些正性假设足以推出射影性、单连通性或某些分类结论。
12.4 流形分类问题
对 Kähler 流形进行分类是一个庞大而复杂的方向，尤其在高维情形中更具挑战。分类通常结合拓扑不变量、曲率条件与代数几何方法共同进行。
12.5 与镜像对称的关系
镜像对称为 Kähler 几何与弦理论、代数几何之间搭建了深层联系。它启发了大量关于 Calabi-Yau 流形、变形理论和枚举不变量的研究，也不断反向推动 Kähler 几何的新发展。