卡拉比–丘流形

代数几何与微分几何中，卡拉比–丘流形（Calabi–Yau manifold）是第一陈类为0的紧"n"维凯勒流形（Kähler manifolds），也叫做卡拉比–丘 "n"-流形。其是里奇平坦流形，在理论物理学中有应用；特别是在超弦理论中，时空的额外维度有时被猜测为6维卡拉比-丘流形的形式，从中产生了镜像对称等想法。“卡拉比-丘流形”的名称最早见于，得名于猜想这种曲面存在的、，与证明了卡拉比猜想的。
卡拉比-丘流形是复流形，是K3曲面在任意复维度（即任意偶实数维度）上的推广。它们最初被定义为紧凯勒流形，第一陈类为0、具有里奇平坦的度量，有时也会用其他类似但不等价的定义。
定义.
丘成桐给出的激励性定义是第一陈类为0的紧凯勒流形，且是里奇平坦的。
不同学者对卡拉比-丘流形还有不同定义，其中一些不等价。本节总结了一些较常用定义及它们间的关系。
卡拉比-丘（复）formula_1维流形有时被定义为满足下列等价条件之一的formula_1维紧凯勒流形formula_3：
这些条件意味着formula_3的第一积分陈类formula_13为0。而反过来不成立，最简单的反例是超椭圆面，它是复维度为2的复环面的有限商，第一积分陈类为0，但有非平凡的规范丛。
对紧formula_1维凯勒流形formula_3，下列条件两两等价，但比上面的弱，不过有时也会用作卡拉比-丘流形的定义：
若紧凯勒流形是单连通的，则上述弱定义等价于强定义。恩里克斯面给出了具有里奇平坦度量的复流形的例子，但其规范丛不是平凡的，因此不符合第一类定义。另一方面，根据这两个定义，它们的二次覆盖都是卡拉比-丘流形（实际上是K3曲面）。
到目前，证明上述性质间等价的主要困难在于证明存在里奇平坦度量。这来自丘成桐对卡拉比猜想的证明，意味着第一实陈类为0的紧凯勒流形的凯勒测度与里奇曲率为0的在同一类中。（凯勒测度的类是其相关2形式的上同调类。）卡拉比证明了这种度量唯一。
卡拉比-丘流形还有许多不等价定义，有时也会用到：
例子.
一个基本事实是：任何嵌入射影空间的光滑代数簇都是凯勒流形，因为射影空间上有自然的富比尼–施图迪度量，可将其限制在代数簇上。根据定义，若ω是代数簇X上的凯勒度量，且规范丛formula_30是平凡的，则X是卡拉比-丘的。此外，X上存在唯一的凯勒度量ω使formula_31，这就是丘成桐证明了的卡拉比猜想。
卡拉比-丘代数曲线.
在1复维中，唯一紧的例子是形成1参数族的环面。环面上的里奇平坦度量实际上是平坦度量，所以完整群是平凡群SU(1)。1维卡拉比-丘流形是复椭圆曲线，特别地也是代数的。
CY代数曲面.
在2复维中，K3曲面是唯一紧的单连通卡拉比-丘流形。它们可构造为formula_32中的四次曲面，如由下列方程的趋零轨迹定义的复代数簇
formula_33 for formula_34
其他例子可由椭圆纤维、阿贝尔面之商或完全交来构造。
非单连通的例子由阿贝尔面给出，它们是具有复流形结构的实4环面formula_35。恩里克斯面和超椭圆曲面的第一陈类作为实上同调群的元素为0，但作为整上同调群的元素则不是，因此关于里奇平坦度量的存在性丘成桐定理仍对其有效，但有时不被视为卡拉比-丘流形。阿贝尔面有时会被排除在卡拉比-丘之外，因为其完整群（是平凡群）是SU(2)的正规子群，而不是与SU(2)同构。不过，恩里克斯面子集并不完全符合弦理论图景中的SU(2)子群。
CY3维流形.
在3复维中，可能的卡拉比-丘流形的分类尚未完成，丘成桐怀疑存在有限多的族（比20年前自己的估计大得多）。Miles Reid则猜想卡拉比-丘3维流形的拓扑种类有无限多，且都可以连续地相互变换（通过某些温和的奇异化，如锥形），像黎曼曲面那样。3维卡拉比-丘流形的例子是formula_36上的非奇异五次三维流形，其是由formula_36的所有齐次坐标中的齐次5次多项式组成的代数簇。另一个例子是巴尔斯-涅托五次空间（Barth–Nieto quintic）的光滑模型。由各种formula_38作用得到的五次空间的一些离散商也是卡拉比-丘流形，并在文献中得到广泛关注，其中之一通过镜像对称与原五次空间相关。
对每个正整数"n"，formula_39簇的非奇异齐次formula_39次多项式在复射影空间formula_41的齐次坐标中的零集是紧卡拉比-丘n维流形。formula_42情形描述的是椭圆曲线，formula_43情形描述的是K3曲面。
更一般地说，卡拉比-丘簇/轨形可作为加权射影空间中的加权完全交。寻找此类空间的主要工具是伴随公式。
所有超凯勒流形都是卡拉比-丘流形。
由代数曲线构造.
可由代数曲线formula_44构造准射影卡拉比-丘3维流形为总空间formula_45，其中formula_46。对正规投影formula_47，可发现相关切丛formula_48是formula_49，使用相关切序列
formula_50
并观察到纤维中唯一不属于formula_51之前像的切向量与切丛的纤维正规相关。于是，可用相对余切序列
formula_52
以及楔幂的性质：
formula_53
以及formula_54，一起给出了formula_55的平凡性。
由代数曲面构造.
使用与曲线类似的论证，代数曲面formula_56的规范层formula_57的总空间formula_58形成了卡拉比-丘3维流形。简单例子如射影空间上的formula_59。
超弦理论中的应用.
卡拉比-丘流形对超弦理论非常重要。从本质上讲，卡拉比-丘流形的形状满足弦论中6个“隐藏”空间维度的空间要求，可能比目前可观测的最小长度还小。膜宇宙学模型常见的流行代替也称为“宏观额外维度”，认为卡拉比-丘流形是宏观的，但我们被限制到与D膜相交的小子集上。目前正在探索更高维的推广，这将对广义相对论产生影响。
在最传统的超弦模型中，弦论的10个假想维度应是我们熟知的4维，外加某种纤维化，其纤维维度为6。在卡拉比-丘n维流形上的紧化十分重要，因为它们保留了一些原有的超对称破缺；更确切地说，在没有通量的情况下，若完整群是完整的SU(3)，则卡拉比-丘3维流形（实维度为6）上的紧化会使四分之一的原超对称不破缺。
更一般地说，具有完整群为SU("n")的n维流形上的无通量紧化会留下21−"n"个原超对称不破缺，对应第二类超引力紧化的26−"n"超荷，或第一类紧化的25−"n"超荷。包含通量时，超对称条件则意味着紧化流形是广义卡拉比-丘流形，这是提出的概念。这些模型被称为通量紧化。
各种卡拉比-丘4维流形上的F理论紧化为物理学家提供了一种在所谓弦理论图景中寻找大量经典解的方法。
与卡拉比-丘空间的每个洞相连的是一组低能弦振动模式。由于弦论认为我们熟悉的基本粒子对应低能弦振动，因此多个洞的存在会导致弦模式分为多个组或代。下面的叙述经过简化，但表达了论证逻辑：若卡拉比-丘空间有3个洞，则试验中就会观测到3族振动模式，从而观测到3代粒子。
逻辑上讲，由于弦会在所有维度上振动，卷曲的弦的形状会影响其振动，从而影响观测到的粒子的基本性质。例如安德鲁·施特罗明格和爱德华·威滕已经证明，粒子质量取决于卡拉比-丘空间中各种孔的交叉方式；也就是说，他们发现孔间及孔与卡拉比-丘空间物质的相对位置会以某种方式影响粒子质量，且所有粒子的性质都如此。
例子.
在复一维的情况，唯一的例子就是环面族。注意环上里奇平坦的度量就是一个平坦度量，所以和乐群（holonomy）是平凡群，也叫SU(1)。
在复二维的情形，环T4和K3曲面组成了仅有的实例。T4有时不被算作卡拉比–丘流形，因为其和乐群（也是平凡群）是SU(2)的子群而不是同构于SU(2)。从另一方面讲，K3曲面的和乐群是整个SU(2)，所以可以真正称为2维的卡拉比–丘流形。
在复三维的情况，可能的卡拉比–丘流形的分类还是未解决的问题。3维卡拉比–丘流形的一个例子是复射影空间CP4中的非奇异的五次超曲面。
在弦论中的应用.
卡拉比–丘流形对于超弦理论很重要。在最常规的超弦模型中，弦论中有十个猜想中的维度，作为我们所知的4个维度出现，在加上某种纤维化，纤维的维度为6。卡拉比–丘"n"-流形的紧致化很重要，因为他们保持一些原有的超对称性不被破坏。更精确地说，卡拉比–丘 3-流形（实维度6）的紧致化保持四分之一的原有超对称性不变。
卡拉比-丘代数.
卡拉比-丘代数（Calabi–Yau algebra）是由俄裔美国数学家引入，要将卡拉比-丘流形的几何转换到非交换代数几何中。