[论文解读] Large Complex Structure Limits of K3 Surfaces

Mark Gross, P. Μ. H. Wilson|arXiv (Cornell University)|Aug 2, 2000

Geometry and complex manifolds被引用 8

一句话总结

本论文通过分析椭圆纤维化的退化，研究了K3曲面在大复结构极限点附近里奇平坦度量的行为。利用超凯勒旋转将问题转化为复结构固定、纤维面积坍缩的凯勒退化问题，证明了纤维底空间上的度量收敛至麦克莱恩度量，且在适当的归一化下，K3曲面上的距离收敛至底空间上的距离，从而证实了斯特罗明格-杨-扎斯洛猜想的关键预测。

ABSTRACT

Motivated by the picture of mirror symmetry suggested by Strominger, Yau and Zaslow, we made a conjecture concerning the Gromov-Hausdorff limits of Calabi-Yau n-folds (with Ricci-flat Kähler metric) as one approaches a large complex structure limit point in moduli; a similar conjecture was made independently by Kontsevich, Soibelman and Todorov. Roughly stated, the conjecture says that, if the metrics are normalized to have constant diameter, then this limit is the base of the conjectural special lagrangian torus fibration associated with the large complex structure limit, namely an n-sphere, and that the metric on this S^n is induced from a standard (singular) Riemannian metric on the base, the singularities of the metric corresponding to the discriminant locus of the fibration. This conjecture is trivially true for elliptic curves; in this paper we prove it in the case of K3 surfaces. Using the standard description of mirror symmetry for K3 surfaces and the hyperkähler rotation trick, we reduce the problem to that of studying Kähler degenerations of elliptic K3 surfaces, with the Kähler class approaching the wall of the Kähler cone corresponding to the fibration and the volume normalized to be one. Here we are able to write down a remarkably accurate approximation to the Ricci-flat metric -- if the elliptic fibres are of area $ε>0$, then the error is $O(e^{-C/ε})$ for some constant $C>0$. This metric is obtained by gluing together a semi-flat metric on the smooth part of the fibration with suitable Ooguri-Vafa metrics near the singular fibres. For small $ε$, this is a sufficiently good approximation that the above conjecture is then an easy consequence.

研究动机与目标

• 理解当复结构趋近于大复结构极限点时，K3曲面上里奇平坦度量的渐近行为。
• 通过分析体积归一化下特殊拉格朗日子纤维化的坍缩，检验斯特罗明格-杨-扎斯洛猜想。
• 确立在体积归一化退化下，配备麦克莱恩度量的椭圆纤维化底空间作为K3曲面的格罗莫夫-豪斯多夫极限。
• 精确描述极限度量结构，特别是半平坦近似与奇点纤维的情况。
• 通过分析K3情形，为理解高维卡拉比-丘流形中特殊拉格朗日子纤维化奠定基础。

提出的方法

• 应用超凯勒旋转，将寻找特殊拉格朗日子纤维化的问题转化为复结构固定、纤维面积坍缩的凯勒退化问题。
• 在奇点纤维的补集上使用半平坦里奇平坦度量作为初步近似，其在纤维上为平坦度量，并通过周期定义。
• 通过参数 $\epsilon_i \to 0$ 的缩放对度量进行归一化，以保持体积有界，并在格罗莫夫-豪斯多夫意义下分析收敛性。
• 通过路径长估计和度量与半平坦模型的 $C^0$-接近性，比较K3曲面上的距离与底空间 $B$ 上的距离。
• 使用包含 $B$-场与复结构的局部模型，控制奇点纤维附近的度量行为，确保一致有界性。
• 利用在 $\epsilon_i g_i$ 下纤维的直径被 $C\epsilon_i$ 控制，且当 $\epsilon_i \to 0$ 时趋于零的性质，控制距离畸变。

实验结果

研究问题

• RQ1 当复结构趋近于大复结构极限点时，K3曲面上的里奇平坦度量如何表现？
• RQ2 在度量归一化下，椭圆纤维化底空间是否可作为K3曲面的格罗莫夫-豪斯多夫极限？
• RQ3 麦克莱恩度量在底空间上在多大程度上作为K3曲面上里奇平坦度量的极限出现？
• RQ4 奇点纤维在度量退化中起什么作用，其影响如何被控制？
• RQ5 度量的归一化如何影响K3曲面上两点与其在底空间上像之间距离的收敛性？

主要发现

• 在 $\epsilon_i \to 0$ 时，经体积归一化后，配备麦克莱恩度量的椭圆纤维化底空间 $B$ 是K3曲面的格罗莫夫-豪斯多夫极限。
• 当 $\epsilon_i$ 足够小时，K3曲面上任意两点之间的距离与它们在底空间 $B$ 上像之间的距离相差不超过 $\delta$，且对所有点一致成立。
• 在归一化度量 $\epsilon_i g_i$ 下，每根纤维的直径被 $C\epsilon_i$ 控制，且当 $\epsilon_i \to 0$ 时趋于零。
• 在 $f^{-1}(U)$ 上的度量以 $C^0$ 意义收敛至半平坦度量，且底空间度量由纤维上归一化度量的拉回近似。
• 距离的收敛是一致的，且不依赖于点的选择，误差由 $\delta$ 控制，且 $C(\epsilon_i) \to 0$ 当 $\epsilon_i \to 0$。
• 底空间上的极限度量在判别式支集上是奇异的，其余维数应为2，与猜想的特殊拉格朗日子纤维化一致。