[论文解读] Hodge classes associated to 1-parameter families of Calabi-Yau 3-folds

Pedro Luis del Angel, Stefan Müller–Stach+2 more|arXiv (Cornell University)|Nov 2, 2009

Algebraic Geometry and Number Theory参考文献 12被引用 6

一句话总结

本文提出了一种 $ L^2 $-Higgs 上同调方法，用于计算 1-参数族 Calabi-Yau 3- folds 的抛物上同调 $ H^1(\bar{S}, j_*\mathbb{V}) $ 的 Hodge 数，其中 $ \mathbb{V} $ 是原始中间上同调的局部系统。该方法将 $ h^{2,2} $ 识别为代数 2-循环的关键指标，并利用单值性数据和 Picard-Fuchs 算子推导出 Hodge 数的显式公式，确认了在特定镜像对称族中存在有理 2-循环。

ABSTRACT

We use $L^2$-Higgs cohomology to determine the Hodge numbers of the parabolic cohomology $H^1(\bar S, j_*\V)$, where the local system $\V$ arises from the third primitive cohomology of family of Calabi-Yau threefolds over a curve $\bar S$. The method gives a way to predict the presence of algebraic 2-cycles in the total space of the family and is applied to some examples.

研究动机与目标

• 计算 1-参数族 Calabi-Yau 3- folds 的抛物上同调 $ H^1(\bar{S}, j_*\mathbb{V}) $ 的 Hodge 数。
• 建立一种将单值性数据与 Picard-Fuchs 算子联系起来的方法，以检测族的全空间中代数 2-循环的存在。
• 以几何不变量（如若尔当代数块数与单值性权值）为参数，提供 Hodge 数 $ h^{p,q} $ 的显式公式。
• 将该方法应用于镜像对称与超几何几何中的具体例子，包括格拉斯曼流形与 Hadamard 积构造。

提出的方法

• 使用 $ L^2 $-Higgs 上同调通过复形 $ \Omega_{(2)}^\bullet(\mathbb{V}) $ 计算上同调，从而计算 $ H^1(\bar{S}, j_*\mathbb{V}) $。
• 应用 Zucker 的 $ L^2 $-可积性条件，通过单值性权过滤表征调和形式。
• 分析边界点处的 Higgs 丛 $ \theta $ 及其留数 $ N_p = \mathrm{Res}_p(\theta) $，以确定单值性权过滤。
• 依赖谱序列 $ \mathbb{H}^q(\mathrm{Gr}_F^p \Omega_{(2)}^\bullet(\mathbb{V})) \Rightarrow H^{p+q}_{(2)}(S,\mathbb{V}) $ 在 $ E_1 $ 页退化，以计算 Hodge 结构。
• 利用 Picard-Fuchs 微分算子计算局部系统 $ \mathbb{V} $，并从单值性数据导出 $ h^{1} = 3A + 2B + 3C - 8 $。
• 通过基变换 $ z \mapsto z^k $ 改变单值性类型，并计算相应的 Hodge 数，特别是 $ h^{2,2} $。

实验结果

研究问题

• RQ1 1-参数族 Calabi-Yau 3- folds 的抛物上同调 $ H^1(\bar{S}, j_*\mathbb{V}) $ 的 Hodge 数是什么？
• RQ2 单值性数据（若尔当块结构）如何用于预测全空间中代数 2-循环的存在？
• RQ3 Picard-Fuchs 算子的何种条件会导致非平凡的 $ h^{2,2} $，从而指示有理 2-循环的存在？
• RQ4 基变换如何影响 Hodge 结构以及 $ h^{2,2} $ 的出现？
• RQ5 $ L^2 $-Higgs 上同调方法能否系统地应用于镜像对称族中 Hodge 数的分类？

主要发现

• 在 $ \mathbb{P}^5[3,3] $ 家族中，经过三重拉回后，$ h^{4,0} = 1 $，$ h^{3,1} = 0 $，$ h^{2,2} = 1 $，表明存在一个有理 2-循环。
• 在 $ \mathbb{P}^5[2,6] $ 情形中，当 $ A=6 $，$ B=1 $，$ C=1 $ 时，$ h^{2,2} = 1 $，证实了非平凡 $ H^{2,2} $ 类的存在。
• 对于格拉斯曼流形镜像族 $ \mathrm{Gr}(2,5) $，$ h^{2,2} = 1 $，$ h^{1} = 1 $，单值性数据为 $ A=4 $，$ B=1 $，$ C=1 $，且 $ a=1 $，$ b=1 $。
• 在 Hadamard 积例子中，$ h^{2,2} = 1 $，$ h^1 = 1 $，其中 $ A=0 $，$ B=0 $，$ C=3 $，且 $ a=1 $，$ b=0 $，表明 $ h^{2,2} $ 可以在无穷远处无极大幂零单值性的情况下出现。
• 当无穷远处存在最大若尔当代数块时，$ h^{4,0} = k-1 $，$ h^{3,1} = h^{2,2} = 0 $，表明此类构型下不会出现 $ H^{2,2} $ 类。
• 预测 $ \Phi_Z $ 的 Picard-Fuchs 方程的非齐次项中出现 $ \sqrt{z} $ 会与非平凡 $ h^{2,2} $ 相关，支持代数循环存在的结论。