[论文解读] Modularity of the Consani-Scholten quintic

Luís Dieulefait, Ariel Pacetti+1 more|arXiv (Cornell University)|May 25, 2010

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

一句话总结

本文证明了Consani-Scholten五次曲面——一个定义在ℚ上的非刚性Calabi-Yau三fold——是Hilbert模形式，方法是将Faltings–Serre–Livné方法推广至ℚ上的诱导四维Galois表示，并建立了Hilbert模形式的Sturm界。关键结果通过ℚ(√5)上权为(2,4)、级别为(30)的Hilbert新形式，确认了该三fold的Galois表示的模形式性。

ABSTRACT

We prove that the Consani-Scholten quintic, a Calabi-Yau threefold over QQ, is Hilbert modular. For this, we refine several techniques known from the context of modular forms. Most notably, we extend the Faltings-Serre-Livne method to induced four-dimensional Galois representations over QQ. We also need a Sturm bound for Hilbert modular forms; this is developed in an appendix by Jose Burgos Gil and the second author.

研究动机与目标

• 建立一个定义在ℚ上的非刚性Calabi-Yau三fold的模形式性，其四维Galois表示在ℚ上不可约，但在ℚ(√5)上可约。
• 将Faltings–Serre–Livné方法推广至ℚ上的诱导四维Galois表示，克服先前应用中的局限性。
• 为实二次域上的Hilbert模形式建立Sturm界，从而通过傅里叶系数的消失实现模形式性的有效检验。
• 验证与Consani-Scholten五次曲面相关联的ℓ进Galois表示与ℚ(√5)上权为(2,4)、级别为(30)的Hilbert新形式相匹配。

提出的方法

• 将Faltings–Serre–Livné方法适配于比较ℚ上由实二次域上的二维表示诱导而来的四维Galois表示。
• 利用Consani-Scholten五次曲面的第三étale上同调在ℚ(√5)上分解为两个二维Galois表示的直和，从而实现与Hilbert模形式的比较。
• 构造一个在F = ℚ(√5)上权为(2,4)、级别为(30)的Hilbert新形式𝔽，推测其对应于该Galois表示。
• 应用由Burgos与Schütt在附录中开发的Hilbert模形式的Sturm界，验证候选形式的傅里叶系数在某个界限内的素数模下消失。
• 利用特殊化论证与Hilbert模曲面上除子的nef性，证明若系数在某个迹值以下消失，则整个形式恒为零。
• 利用从级别Γ₀(6√5)到Γ₀(3)的Hilbert模形式的范数构造，将问题约化至已知情形并获得有效界。

实验结果

研究问题

• RQ1 Calabi-Yau三fold的模形式猜想能否推广至Galois表示在ℚ上不可约但在二次扩张上可约的非刚性情形？
• RQ2 Faltings–Serre–Livné方法在多大程度上可推广至数域上的诱导Galois表示，特别是在Hilbert模形式的背景下？
• RQ3 验证实二次域上Hilbert模形式的模形式性所需的有效界（如Sturm界）是什么？如何计算这些界？
• RQ4 Consani与Scholten构造的ℚ(√5)上权为(2,4)、级别为(30)的Hilbert新形式是否确实对应于Consani-Scholten五次曲面的Galois表示？
• RQ5 在何种条件下，Hilbert模形式的傅里叶系数在某个迹值以下消失，可推出该形式恒为零？

主要发现

• Consani-Scholten五次曲面被证明是Hilbert模形式，其Galois表示来自ℚ(√5)上权为(2,4)、级别为(30)的Hilbert新形式。
• Faltings–Serre–Livné方法成功推广至由实二次域上二维表示诱导的四维Galois表示。
• 为实二次域上的Hilbert模形式建立了Sturm界，从而可通过系数消失实现模形式性的有效验证。
• 证明：若Γ₀(6√5)上权为(10,10)的Hilbert模形式的傅里叶展开在所有迹≤181的系数处消失，则该形式恒为零。
• 当系数消失的界限超过181时，候选形式从级别Γ₀(6√5)到Γ₀(3)的范数在模素数下消失，从而确认不存在非零形式能满足所需条件。
• 该结果证实了此非刚性Calabi-Yau三fold的模形式猜想，提供了首个已知的关于非刚性、在ℚ上不可约的四维Galois表示的模形式性结果。