[论文解读] Disproof of modularity of moduli space of CY 3-folds of double covers of P3 ramified along eight planes in general positions

Ralf Gerkmann, Mao Sheng+1 more|ArXiv.org|Sep 7, 2007

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

一句话总结

本文否定了由 ℙ³ 中八张一般位置平面对应的双覆盖构造的卡拉比-丘 3- folds 模空间的模形式性。通过霍奇理论与普莱西斯姆方法，作者证明了单值群的扎里斯基闭包为完整的辛群 Sp(20,ℝ)，从而排除了其相对于预期的埃尔米特对称空间 SU(3,3)/S(U(3)×U(3)) 的模形式结构。

ABSTRACT

We prove that the moduli space of Calabi-Yau 3-folds coming from eight planes of $P^3$ in general positions is not modular. In fact we show the stronger statement that the Zariski closure of the monodromy group is actually the whole $Sp(20,R)$. We construct an interesting submoduli, which we call \emph{hyperelliptic locus}, over which the weight 3 $Q$-Hodge structure is the third wedge product of the weight 1 $Q$-Hodge structure on the corresponding hyperelliptic curve. The non-extendibility of the hyperelliptic locus inside the moduli space of a genuine Shimura subvariety is proved.

研究动机与目标

• 证明由 ℙ³ 中八张一般位置平面对应的双覆盖构造的卡拉比-丘 3- folds 模空间不具有模形式性。
• 确立中等上同调上单值表示的扎里斯基闭包为完整的辛群 Sp(20,ℝ)，从而暗示非模形式性。
• 分析霍奇变化结构，并识别一个特殊子簇——双椭圆曲线子簇——在此处，权重 3 的霍奇结构可分解为双椭圆曲线上权重 1 霍奇结构的第三次外积。
• 证明该双椭圆曲线子簇无法扩展为真正的希米亚子簇，从而进一步阻碍模形式性。
• 提供一种基于霍奇理论的非几何证明以否定模形式性，澄清了早期在代数几何中未被广泛接受的结果。

提出的方法

• 在模空间 𝔪_ CY 上构造卡拉比-丘 3- folds 的普遍族，其中中等上同调形成一个权重为 3 的有理霍奇结构变化（VHS）。
• 分析单值表示 ρ: π₁(S) → Sp(20,ℝ)，并利用实李群结构与霍奇理论约束计算其扎里斯基闭包。
• 应用普莱西斯姆方法分解对称平方的希格斯丛，并通过比较霍奇数以排除可能的霍奇型实李代数。
• 将双椭圆曲线子簇识别为霍奇结构可分解为双椭圆曲线上权重 1 霍奇结构的第三次外积的子簇。
• 利用辛普森的调和丛理论与 C×-作用，证明某些拉回的希格斯丛在缩放下保持不变，从而表明存在 C-PVHS。
• 应用德利涅关于不可约局部系统上 C-PVHS 的唯一性定理，推导出 C-PVHS 的张量积必须与原始结构一致，当假设被违反时导致矛盾。

实验结果

研究问题

• RQ1 由 ℙ³ 中八张一般位置平面对应的卡拉比-丘 3- folds 模空间是否关于埃尔米特对称空间 SU(3,3)/S(U(3)×U(3)) 具有模形式性？
• RQ2 作用于这些卡拉比-丘 3- folds 中等上同调的单值群的扎里斯基闭包是什么？
• RQ3 该模空间中的双椭圆曲线子簇能否扩展为真正的希米亚子簇？
• RQ4 哪些霍奇型实李代数可能作为单值群的李代数出现？能否通过霍奇数与普莱西斯姆分析予以排除？
• RQ5 在特定霍奇数约束下，若张量积局部系统上存在 C-PVHS 结构，是否会导致矛盾？

主要发现

• 由 ℙ³ 中八张一般位置平面对应的卡拉比-丘 3- folds 模空间不具有关于埃尔米特对称空间 SU(3,3)/S(U(3)×U(3)) 的模形式性。
• 作用于中等上同调的单值群的扎里斯基闭包为完整的辛群 Sp(20,ℝ)，从而排除了任何模形式结构。
• 双椭圆曲线子簇作为子簇存在，其权重 3 霍奇结构微分同构于双椭圆曲线上权重 1 霍奇结构的第三次外积。
• 该双椭圆曲线子簇无法扩展为真正的希米亚子簇，通过希格斯丛对称平方分解中的矛盾得以证明。
• 情况 (1c) 涉及 Sp(1,1) 与第三对称幂表示时被排除，因计算表明在某特殊点由第一霍奇丛生成的希格斯子层秩超过 84，与预期界限矛盾。
• 情况 (2c) 涉及 𝔰𝔲(1,1)⊕𝔰𝔬(2,8) 时通过在对称平方分解中比较霍奇数被排除，其中分量的霍奇数与所需维数不匹配。