1 基本概念
Calabi–Yau流形通常指一类具有特殊复几何结构的紧致复流形。它们兼具Kähler结构、适当的曲率约束以及平凡典范丛等性质，因此在现代几何中占据核心位置。这个概念最初来自关于Ricci平坦度量存在性的猜想，后来逐渐扩展为连接微分几何、代数几何和数学物理的重要桥梁。
1.1 定义
在常见语境中，Calabi–Yau流形可理解为满足若干等价或近似等价条件的紧致复流形。对于复维数为n的情形，典型定义要求其为Kähler流形，且第一陈类为零；在适当附加单连通性或典范丛平凡性条件后，便可与Ricci平坦Kähler度量的存在联系起来。由于不同学科对该术语的使用略有差别，实际讨论时常需说明采用的是何种定义版本。
1.1.1 复流形与Kähler流形背景
Calabi–Yau流形首先属于复流形，即局部可以用复坐标描述的光滑几何对象。若其黎曼度量与复结构相容，并且对应的Kähler形式是闭的，则它同时是Kähler流形。Kähler条件使复几何、辛几何与黎曼几何能够统一在同一框架中处理，也为后续的偏微分方程方法提供了基础。
1.1.2 Ricci平坦度量的意义
Ricci平坦度量是指Ricci曲率张量恒为零的度量。对Calabi–Yau流形而言，这种度量不仅具有强烈的几何约束，还意味着整体体积变化与局部曲率之间达到特殊平衡。它的存在使流形在局部和全局上都表现出高度对称性，并成为研究模空间、霍洛诺米和规范场论时的重要工具。
1.1.3 第一陈类与平凡典范丛
第一陈类反映了复流形的曲率与拓扑之间的关系。对于Calabi–Yau流形，常见条件是第一陈类为零，这与典范丛平凡密切相关。若典范丛平凡，则流形上存在全纯的处处不消失的n-形式，这一事实在确定体积形式、构造对偶理论以及分析上同调性质时都十分关键。
1.2 历史沿革
Calabi–Yau流形的研究起源于20世纪中期关于复流形上特殊度量的探索。其理论发展并非一次完成，而是在猜想提出、定理证明、特例研究以及更广泛推广的过程中逐步形成的。随着结果不断完善，这一概念从纯粹几何问题扩展到更广阔的数学领域。
1.2.1 Calabi猜想
Calabi猜想关注的是：在给定Kähler类中，是否存在唯一的Ricci平坦Kähler度量。该猜想把复几何中的陈类条件与非线性偏微分方程联系起来，提出了一个既精确又深刻的问题。它的出现，推动了对Monge–Ampère方程和Kähler几何结构的系统研究。
1.2.2 Yau证明与重要性
Yau对Calabi猜想的证明是该领域的里程碑。证明结果表明，在适当条件下，紧致Kähler流形上确实存在唯一的Ricci平坦Kähler度量。这一成果不仅解决了长期悬而未决的问题，还为复几何、全局分析以及后来的镜像对称研究奠定了基础，因此具有极高的理论价值。
1.3 典型例子
Calabi–Yau流形并非抽象的纯理论对象，而是可以通过多种途径构造出的具体几何体。典型例子帮助人们理解其结构特征，也为进一步研究提供了直观模型。
1.3.1 K3曲面
K3曲面是复二维中最著名的Calabi–Yau流形之一。它们通常是紧致、单连通且具有平凡典范丛的复曲面，并且其几何与代数性质都非常丰富。K3曲面在Hodge理论、模空间研究以及变形理论中都扮演着重要角色。
1.3.2 Calabi–Yau三维流形
复三维的Calabi–Yau流形在数学物理中尤为常见。它们的结构比曲面复杂得多，既有丰富的上同调数据，也存在大量非同构的例子。三维情形常被作为镜像对称和弦论紧化中的标准背景空间，因此研究最为活跃。
1.3.3 阿贝尔簇与其相关特例
阿贝尔簇是复环面在代数几何中的射影化版本，具有平坦Kähler度量和平凡典范丛，因此在广义意义上可视为Calabi–Yau的特例。它们的几何结构相对规则，常作为理解更复杂例子的起点，也为比较不同类型的特殊流形提供参考。
2 几何结构
Calabi–Yau流形的核心在于其多重几何结构之间的精细协调。复结构、Kähler结构、曲率条件和霍洛诺米群彼此关联，共同决定了流形的整体面貌。正是这些结构使其成为高维几何中最具代表性的对象之一。
2.1 复结构
复结构规定了流形上“复坐标”的拼接方式，使得局部可视为复空间中的开集。对于Calabi–Yau流形，复结构不仅决定解析性质，也影响全纯对象的存在与变形方式。
2.1.1 全纯坐标与局部性质
在局部，全纯坐标可以把流形描述为复欧氏空间中的开子集。坐标变换必须保持全纯性，这使得许多局部问题能够借助复分析的方法处理。Calabi–Yau流形在这种局部框架下表现出与一般复流形相同的解析结构，但其全局拼接受到更严格的拓扑约束。
2.1.2 典范丛与体积形式
典范丛由最高次全纯微分形式组成，是研究复流形的重要线丛。若典范丛平凡，则可选取一个全局非零的全纯体积形式。对于Calabi–Yau流形，这一形式常用于定义规范化体积元素，并在Ricci平坦度量的构造中起到关键作用。
2.2 Kähler结构
Kähler结构是Calabi–Yau流形最基础也最核心的条件之一。它保证复结构、辛结构与黎曼度量彼此兼容，从而使几何分析工具能够充分发挥作用。
2.2.1 Kähler度量
Kähler度量是一类特殊的黎曼度量，其对应的2-形式既闭又与复结构相容。它使得许多计算可简化为局部势函数的二阶导数问题。对于Calabi–Yau流形，Kähler度量是Ricci平坦解存在的自然背景。
2.2.2 Kähler形式
Kähler形式是由Kähler度量和复结构共同确定的实2-形式。它的闭性保证了流形具有辛几何意义上的良好性质。该形式不仅用于定义Kähler类，也在体积计算、上同调分类和模空间描述中占据中心位置。
2.2.3 Kähler势函数
在局部坐标下，Kähler形式通常可由一个实值势函数通过二阶偏导得到。这个势函数的存在使很多几何量转化为解析问题，尤其在处理Monge–Ampère方程时尤为重要。对Calabi–Yau流形的研究，往往离不开对势函数的估计与调控。
2.3 曲率性质
Calabi–Yau流形的曲率性质是判断其特殊性的关键。尤其是Ricci曲率和标量曲率的约束，直接反映了流形在全局上的几何平衡。
2.3.1 Ricci曲率
Ricci曲率在Ricci平坦情形下恒为零，这一条件与第一陈类消失相对应。对Calabi–Yau流形来说，Ricci曲率为零并不意味着度量完全平直，而是说明其曲率分布具有高度精细的补偿关系。
2.3.2 标量曲率
在Ricci平坦的情况下，标量曲率也随之为零。尽管这一结论看似简单，却意味着整体体积和平均弯曲之间没有净偏移。此性质常作为判断度量是否属于特殊几何类的基本指标。
2.3.3 平行自旋量与特殊几何
在某些情形下，Calabi–Yau流形上可存在平行自旋量。它们是特殊几何结构的标志，与平凡霍洛诺米和超对称条件密切相关。平行自旋量的存在，通常说明流形具有强约束的微分几何性质。
2.4 霍洛诺米群
霍洛诺米群刻画了平行移动沿闭回路后所得的线性变换集合。对于Calabi–Yau流形，霍洛诺米群的特殊性是其几何结构的重要特征之一。
2.4.1 SU(n)霍洛诺米
在理想情形下，Calabi–Yau流形的霍洛诺米群包含于SU(n)。这意味着平行移动不仅保持度量，还保持复结构和体积形式。SU(n)霍洛诺米是Calabi–Yau几何最经典的标志，也与平行全纯n-形式的存在相吻合。
2.4.2 特殊霍洛诺米与约束条件
特殊霍洛诺米通常指比一般情形更小的平行移动群。它们对流形的拓扑、曲率和可积结构施加强约束，因此构成研究特殊几何的重要主题。Calabi–Yau流形正是这一范畴中的核心例子之一。
2.4.3 约化霍洛诺米的情形
在某些非典型情况下，流形的霍洛诺米群可能进一步约化，例如由于存在分解结构或额外平行张量。此类情形使得流形表现出某种“分裂”或积结构，通常对应更简单的几何模型。
3 代数几何视角
从代数几何看，Calabi–Yau流形常作为射影代数簇研究。此时重点不只在光滑结构，还在于其嵌入方式、线丛性质以及代数不变量的计算。
3.1 射影代数簇中的Calabi–Yau流形
在复代数几何中，Calabi–Yau流形往往被视为满足特定条件的光滑射影簇。这个视角强调其代数可描述性，以及与线丛、除子和正则微分形式之间的关系。
3.1.1 复代数几何中的定义
代数几何中的定义通常要求流形是光滑射影簇，并满足典范丛平凡、若干上同调消失条件或等价陈类条件。不同作者的定义略有差异，但核心思想都是将“零曲率”与“全纯体积形式”结合起来。
3.1.2 超曲面构造
许多Calabi–Yau例子来自射影空间中的超曲面。若超曲面的次数与环境空间的维数满足特定关系，便可使典范丛变得平凡。最著名的情形包括低维射影空间中的高次数光滑超曲面。
3.1.3 完全交的例子
完全交是另一种常见构造方式，即由若干个方程共同切出目标簇。通过选择合适的多重次数，可以得到典范丛平凡的光滑子簇。这类例子在系统分类和显式计算中十分便利。
3.2 典范丛与正则微分形式
典范丛与正则微分形式是代数几何理解Calabi–Yau性质的核心语言。它们直接反映流形在全纯层面的最高阶结构。
3.2.1 平凡典范丛条件
若典范丛平凡，则存在全局非零的正则形式，这一条件往往作为Calabi–Yau性质的代数表述。它不仅约束几何形状，也影响上同调群的分布和模空间维数。
3.2.2 全纯n-形式
全纯n-形式是最高阶复微分形式，在Calabi–Yau流形上通常可全局定义且不消失。它为流形提供规范体积，并可用于构造积分、对偶配对和某些量化不变量。
3.2.3 Serre对偶与相关结果
Serre对偶提供了上同调群之间的深刻对称关系。对Calabi–Yau流形而言，这一对偶性常与典范丛平凡结合，导出若干对称性和消失结果，从而简化Hodge数和欧拉示性数的计算。
3.3 上同调性质
上同调是刻画Calabi–Yau流形拓扑与复结构的重要工具。许多关键不变量都可通过上同调群来表达。
3.3.1 Hodge数
Hodge数描述不同类型全纯与反全纯微分形式的维数。对于Calabi–Yau流形，这些数常呈现对称排列，并受到典范丛平凡和Kähler条件的强烈限制。Hodge数也是分类和镜像对称中的核心数据。
3.3.2 Betti数
Betti数反映流形的拓扑连通性和洞结构。它们与Hodge数之间通过Hodge分解联系起来，因此在Calabi–Yau研究中经常交替使用。低维情形下，Betti数还能直观体现流形的整体复杂程度。
3.3.3 欧拉示性数
欧拉示性数是由Betti数交替求和得到的整数不变量。对于许多Calabi–Yau例子，它在区分不同几何类型时具有重要作用。尤其在三维情形，欧拉示性数与镜像对称中的数值交换关系密切相关。
3.4 模空间
模空间描述某类几何对象的所有参数变化。对于Calabi–Yau流形，这一概念尤其重要，因为其复结构和Kähler结构都可能形成连续家族。
3.4.1 复结构模空间
复结构模空间研究的是同一光滑底层上不同复结构的变形。其维数和局部性质通常由某些上同调群控制。对Calabi–Yau流形而言，复结构模空间往往较为丰富，且与镜像对称直接相关。
3.4.2 Kähler模空间
Kähler模空间主要描述Kähler类的变化。由于Kähler类决定度量的体积与形状参数，它在几何分析和物理模型中都具有实际意义。与复结构模空间相配合，二者共同构成Calabi–Yau几何的参数景观。
3.4.3 退化与边界现象
当参数趋于极限时，Calabi–Yau流形可能出现退化、塌缩或奇点化趋势。边界现象的研究关乎模空间紧化、极限度量和奇异几何的理解，也是现代几何分析中的活跃方向。
4 分析与偏微分方程
Calabi–Yau流形的存在性问题最终转化为非线性偏微分方程的求解。分析方法因此成为该领域不可或缺的支柱。
4.1 Calabi猜想的方程形式
Calabi猜想在分析上表现为一个复杂的Monge–Ampère型方程。这个方程把未知Kähler势函数与预设体积形式联系起来，是构造Ricci平坦度量的核心。
4.1.1 Monge–Ampère方程
Monge–Ampère方程是一类高度非线性的椭圆方程。其在Calabi–Yau问题中的形式要求某个Kähler势函数的复Hessian行列式等于给定函数。由于非线性强、结构精细，求解过程需要严格估计和紧致性论证。
4.1.2 体积归一化条件
为了使方程可解，通常需要满足整体体积归一化条件，即左右两侧的积分相等。这个条件体现了全局守恒性质，也保证了候选解与底层Kähler类相容。它是存在性证明中的必要前提之一。
4.1.3 解的唯一性
在给定Kähler类中，Ricci平坦度量的解通常是唯一的，除非存在额外对称性导致等价变换。唯一性说明几何结构由初始数据几乎完全决定，从而增强了Calabi–Yau理论的刚性特征。
4.2 Yau定理
Yau定理是Calabi猜想的解决方案，也是整个领域的基础定理。它把抽象的几何条件转化为可控的分析结论。
4.2.1 存在性
定理的核心内容是：在紧致Kähler流形上，若第一陈类为零，则每个Kähler类中都存在唯一的Ricci平坦Kähler度量。这个存在性结论把代数拓扑条件与具体度量构造直接联系起来。
4.2.2 正则性
解不仅存在，而且具有良好的正则性，通常可以达到所需的光滑程度。正则性保证了所得度量真正属于微分几何研究对象，而不是仅仅停留在弱解层面。
4.2.3 几何推论
由Yau定理可推出多项重要结论，例如特殊霍洛诺米的存在、体积形式的规范化以及若干拓扑约束。这些推论在后续的镜像对称和模空间研究中发挥了长期作用。
4.3 估计方法
证明Calabi–Yau存在性时，关键在于对方程解进行严格控制。估计方法是连接局部分析与全局几何的主要工具。
4.3.1 a priori估计
a priori估计用于在不预先知道解具体形式的情况下，控制解及其导数的大小。这类估计通常分层进行，从零阶到高阶逐步推进，是非线性方程理论中最关键的步骤之一。
4.3.2 紧致性方法
紧致性方法通过构造解序列并提取收敛子列来获得目标解。此类方法依赖于一致估计、极限过程和函数空间的紧嵌入性质，在几何分析中极为常见。
4.3.3 非线性椭圆方程技巧
处理Monge–Ampère方程时，需要运用多种非线性椭圆方程技术，包括最大值原理、连续性方法和Schauder估计等。这些技巧共同构成Yau证明的分析骨架，也影响了后续相关研究。
5 重要性质
Calabi–Yau流形之所以被广泛研究，正在于其兼具刚性与丰富性。上同调、自旋结构、稳定性等方面都显示出明显的特殊性。
5.1 上同调与Hodge分解
Kähler条件保证了强大的上同调分解结构，而Calabi–Yau的额外条件进一步强化了这些对称性。
5.1.1 Dolbeault上同调
Dolbeault上同调以全纯和反全纯微分形式为对象，是研究复流形解析性质的重要工具。对于Calabi–Yau流形，其Dolbeault群与Hodge数一一对应，因而成为计算和分类的基础。
5.1.2 Hodge对称性
Hodge对称性表明某些Hodge数满足对称关系，反映出复共轭和Poincaré对偶之间的协调。对Calabi–Yau流形而言，这类对称性往往更为显著，使其上同调表格具有明显结构。
5.1.3 拓扑约束
Calabi–Yau条件对流形拓扑施加约束，例如限制某些特征类和Betti数。尽管这些约束不总能唯一刻画流形，但它们足以排除大量一般复流形情形，从而使分类问题更加集中。
5.2 自旋结构
自旋结构是连接几何与量子场论的基础概念之一。在Calabi–Yau流形上，它与霍洛诺米和全纯体积形式关系密切。
5.2.1 是否存在自旋结构
许多Calabi–Yau流形具有自旋结构，尤其在典范丛平凡的情形下更为自然。自旋结构的存在使得自旋量场和Dirac算子成为可研究对象，也增强了其在物理中的适用性。
5.2.2 平行自旋子
平行自旋子是自旋束中在平行移动下保持不变的截面。它们通常意味着霍洛诺米的进一步约化，并与Ricci平坦和特殊Holonomy条件互相呼应。该性质是判断流形是否具有特殊几何的重要标志。
5.2.3 与规范场论的联系
在某些理论框架中，Calabi–Yau流形上的自旋结构为规范场论提供了几何背景。虽然具体模型较为复杂，但相关联系说明，这类流形不仅是纯数学对象，也能承载物理上的场配置与对称性结构。
5.3 稳定性与退化
Calabi–Yau流形的几何稳定性涉及其在变形、极限与奇点附近的行为。这个方向对于理解模空间边界尤其重要。
5.3.1 极小子流形
在某些几何背景下，Calabi–Yau流形中的子流形可表现为极小子流形，即局部面积极小。它们与校准几何、特殊拉格朗日子流形等主题相连，是研究整体结构的局部工具。
5.3.2 奇点与解析延拓
当流形发生退化时，可能出现奇点。解析延拓方法试图在奇点附近延续几何结构，或至少刻画其局部模型。此类研究有助于理解代数几何中的奇异簇以及分析中的极限行为。
5.3.3 退化极限
退化极限描述参数变化下流形趋向某种极限空间的过程。极限可能保留部分Kähler信息，也可能伴随维数塌缩或结构破裂。对Calabi–Yau流形而言，这类现象是理解模空间紧化和镜像对称的关键之一。
6 构造方法
Calabi–Yau流形的构造方式多样，既可来自经典代数几何，也可借助镜像对称中的组合与极限思想。显式构造对于验证理论与计算实例都很重要。
6.1 代数几何构造
代数几何是构造Calabi–Yau流形的主要来源之一。通过选取合适的嵌入环境和方程系统，可以得到大量具体例子。
6.1.1 交叉超曲面
交叉超曲面方法通过在射影空间或更一般环境中截取若干高次超曲面来构造目标流形。关键在于使典范丛条件满足平凡化要求，同时保持光滑性。
6.1.2 完全交
完全交构造比单个超曲面更灵活。通过多方程共同定义目标空间，可以更精细地调整维数和特征类，因此常用于制造维数较高的Calabi–Yau例子。
6.1.3 商构造
商构造通过对已有流形施加有限群作用并取商，随后在适当条件下进行分辨，得到新的Calabi–Yau对象。该方法在构造丰富例子的同时，也带来了奇点处理和分辨技术问题。
6.2 镜像对称相关构造
镜像对称启发了许多新的构造思路，尤其是利用组合几何和退化图景来理解Calabi–Yau流形的全局结构。
6.2.1 通过扇面与toric几何
toric几何把代数几何问题转化为凸多面体和扇面的组合数据。利用这一框架，可以系统构造大量Calabi–Yau超曲面和完全交例子，并较方便地计算相关不变量。
6.2.2 Gross–Siebert方案
Gross–Siebert方案试图通过对退化几何和散射图的分析，重建镜像Calabi–Yau流形。该方案强调从极限退化数据出发恢复整体几何，为镜像对称提供了统一的组合化路径。
6.2.3 SYZ框架下的直观构造
SYZ框架将镜像对称解释为特殊拉格朗日纤维化及其对偶构造。虽然这一观点在严格数学实现上较复杂，但它提供了清晰直观的几何图景，帮助理解镜像流形如何在纤维层面互相对应。
6.3 显式例子
显式例子对于检验一般理论、发展计算方法和建立直觉都极为重要。
6.3.1 二次型与低维例子
在低维情形中，某些由二次型或简单方程定义的流形可作为入门模型。虽然它们未必涵盖最复杂的Calabi–Yau现象，但足以展示典范丛、上同调和Kähler结构的基本互动。
6.3.2 高维构造示例
高维Calabi–Yau流形往往需要更复杂的方程系统和组合条件。随着维数提升，例子的多样性迅速增加，也使得分类与计算更具挑战性。
6.3.3 计算机辅助分类
借助计算机代数系统，可以枚举某些构造家族、计算Hodge数并筛选候选例子。计算机辅助方法已成为现代Calabi–Yau研究的重要补充，尤其在大规模样本分析中表现突出。
7 应用与影响
Calabi–Yau流形的意义早已超出纯粹几何本身。它们在数学内部连接多个方向，也在理论物理中扮演重要角色。
7.1 数学中的应用
在数学领域，Calabi–Yau流形是多学科交汇的典范对象。许多重要方法和问题都因其研究而得到推动。
7.1.1 复几何
在复几何中，Calabi–Yau流形提供了研究全纯结构、变形理论和特殊度量的标准平台。它们使研究者能够在一个高度受控的环境中检验一般定理的精细版本。
7.1.2 代数几何
在代数几何中，这类流形用于研究典范类、模空间和上同调不变量。大量分类问题正是在Calabi–Yau例子上获得进展的，尤其是在低维和射影情形中。
7.1.3 微分几何
微分几何方面最关注的是特殊度量、霍洛诺米和曲率约束。Calabi–Yau流形是特殊几何理论中的核心实例，也为研究非线性偏微分方程与全局分析提供了典型场景。
7.2 理论物理中的应用
Calabi–Yau流形在理论物理中受到广泛关注，主要因为它们能够作为额外维度的紧化空间，并保留一定的对称结构。
7.2.1 弦论紧化
在弦论框架下，高维时空常需通过额外维度的紧化来得到较低维有效理论。Calabi–Yau流形因其特殊几何性质，成为常用的紧化背景之一。
7.2.2 超对称模型
Calabi–Yau几何往往与超对称保持条件兼容，因此常出现在超对称模型的构造中。其Ricci平坦和特殊霍洛诺米性质，为保留一定数量的超对称提供了几何基础。
7.2.3 有效低维理论
从高维理论降维后，Calabi–Yau流形的模参数、上同调和奇点结构会转化为低维理论中的场和耦合常数。因而其几何细节直接影响有效理论的内容与相互作用形式。
7.3 镜像对称
镜像对称是Calabi–Yau研究中最富影响力的现象之一。它揭示了看似不同的几何空间之间存在深层对应关系。
7.3.1 Hodge数交换
镜像对称最著名的表现之一，是镜像对之间Hodge数的某种交换关系。对于三维Calabi–Yau流形，这种对应为原本难以计算的几何不变量提供了强有力的预测。
7.3.2 预势函数
预势函数编码了模空间上的特殊几何信息，在镜像对称中经常出现在量子修正和耦合结构的描述里。它把复杂的几何数据组织成可分析的函数形式。
7.3.3 计数不变量
镜像对称还与某些计数不变量密切相连，例如曲线计数和相关的生成函数。借助镜像方法，许多原本难以直接获得的计数结果得以计算或预测。
8 相关概念
理解Calabi–Yau流形，往往需要同时了解与之相邻的几类重要几何对象。这些概念既相似又有差别，共同构成特殊几何的谱系。
8.1 Kähler流形
Kähler流形是Calabi–Yau流形的基础环境。没有Kähler结构，许多关键性质都无法建立。
8.1.1 紧致Kähler流形
紧致Kähler流形兼具紧致性与Kähler条件，是Calabi–Yau理论的默认舞台。其良好的上同调分解和度量性质，使得很多全局论证成为可能。
8.1.2 Ricci平坦Kähler度量
Ricci平坦Kähler度量是Calabi–Yau几何的核心对象。它体现了曲率约束与复结构之间的精细平衡，也是Yau定理最直接的产物。
8.2 Fano流形
Fano流形与Calabi–Yau流形在典范类方面呈现鲜明对照。前者通常具有正的反典范丛，因此常被视作“曲率相反”的一类空间。
8.2.1 反典范丛
反典范丛是典范丛的对偶。Fano流形的反典范丛通常具有正性，而Calabi–Yau流形则更接近平凡情形，这构成两类空间之间的基本差别。
8.2.2 与Calabi–Yau流形的对照
与Calabi–Yau流形相比，Fano流形往往呈现更强的正曲率倾向。两者在分类、模空间和极限行为方面形成鲜明对比，因此常被并置研究。
8.3 G2流形与特殊霍洛诺米
G2流形属于另一类特殊霍洛诺米几何对象，常与Calabi–Yau流形并列讨论，以展示不同维数中的类似结构。
8.3.1 7维特殊几何
G2流形主要出现在7维特殊几何中，与Calabi–Yau在“特殊霍洛诺米”这一总主题下相互呼应。它们同样涉及平行形式、特殊度量和严格的曲率约束。
8.3.2 与高维流形的比较
与Calabi–Yau流形相比，G2流形的维数和结构类型不同，但二者都体现了“由霍洛诺米控制整体几何”的思想。比较它们有助于理解特殊几何的统一框架。
8.4 K3曲面
K3曲面是Calabi–Yau研究中最重要的二维对象之一。它在低维情形中展示了丰富而完整的特殊几何结构。
8.4.1 作为二维Calabi–Yau
从复维数看，K3曲面可视为二维Calabi–Yau的标准代表。它们满足典范丛平凡、Kähler以及单连通等关键条件，因此在入门与进阶研究中都极具价值。
8.4.2 代数与解析性质
K3曲面兼具深厚的代数性质和解析结构。其模空间、上同调和曲率行为都非常典型，常被用来测试一般理论，也为理解更高维Calabi–Yau流形提供范例。