[论文解读] On the modularity of Calabi-Yau threefolds containing elliptic ruled surfaces

Klaus Hulek, Helena Verrill|ArXiv.org|Feb 8, 2005

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

一句话总结

本文為定義在ℚ上的非刚性Calabi-Yau三倍域建立了模形式性判據，條件是其包含足夠多的橢圓纖維化曲面。透過利用ℓ進上同調中的伽羅瓦表示，並應用Dieulefait–Manoharmayum對剛性Calabi-Yau三倍域的模形式性結果，作者在壞約化素數的條件較為寬鬆的情況下，證明了此類三倍域是模形式的，從而將模形式性推廣至非剛性情形，並提供了具體例子，其猜想的水平最高達480。

ABSTRACT

We prove that (not necessarily rigid) Calabi-Yau threefolds defined over the rationals which contain sufficiently many elliptic ruled surfcaes are modular (under mild restrictions on the primes of bad reduction). Our proof uses the results of Dieulefait and Manoharmayum who proved modularity of rigid Calabi-Yau threefolds.

研究动机与目标

• 將模形式性結果從剛性情形推廣至ℚ上非剛性Calabi-Yau三倍域，透過識別模形式性成立的幾何條件。
• 基於橢圓纖維化曲面在三倍域上同調中張成H^{21}⊕H^{12}的性質，提出一個判據。
• 將該判據應用於[HV]、[Schu2]與[LY]中的已知例子，透過動機的幾何分解解釋其模形式性。
• 構造大量新的模形式（雙有理）Calabi-Yau三倍域例子，其具體猜想水平包括10、12、16、17、21、27、28、32、35、48、55、60、64、68、90、480。
• 透過Mellin變換計算數值驗證這些三倍域的L函數與權4模形式匹配，其中特定例子已透過Mellin變換計算確認。

提出的方法

• 基於三倍域X中包含的橢圓纖維化曲面Y_j，定義一個模形式性判據，其核心為限制映射H^3(X, ℂ) → ⊕H^3(Y_j, ℂ)的滿射性。
• 利用ℓ進上同調，將限制映射解釋為伽羅瓦表示同態H^3_ét(X, ℚ_l) → ⊕H^3_ét(Y_j, ℚ_l)。
• 應用Dieulefait–Manoharmayum對具有Hodge-Tate權重{0,3}、行列式ɛ_l^3且具備指定分歧條件的伽羅瓦表示的模形式性準則。
• 透過橢圓曲面的纖積構造例子，特別是使用如E(Γ₁) ×_ℙ¹ E^Mt(Γ₂)之族，其中Γ₁、Γ₂為特定模群，M為Möbius變換。
• 透過Mellin變換計算L級數，並與已知的權4模形式比對，以數值方式驗證模形式性。
• 利用同源不變性，識別出同源的三倍域雖h^{12}不同，但共享同一模形式。

实验结果

研究问题

• RQ1 在定義於ℚ上的Calabi-Yau三倍域上，何種幾何條件可使模形式性推廣至剛性情形之外？
• RQ2 若一個Calabi-Yau三倍域中存在多個橢圓纖維化曲面，是否可藉由其上同調中的張成性質確保模形式性？
• RQ3 非剛性Calabi-Yau三倍域的動機在多大程度上可分解為來自橢圓纖維化曲面的分量？
• RQ4 與此類三倍域相關的權4模形式的猜想水平為何？如何計算這些水平？
• RQ5 即使h^{12}不變量不同，同源的Calabi-Yau三倍域是否仍與同一模形式關聯？

主要发现

• 本文證明，定義在ℚ上的Calabi-Yau三倍域，若包含足夠多的橢圓纖維化曲面，且在壞約化素數上條件較為寬鬆，則其為模形式的。
• 該判據適用於[HV]、[Schu2]與[LY]中的已知例子，解釋了其動機的模形式性，不僅限於K3的超越格拉姆。
• 數值證據顯示，所構造例子的中間上同調L級數與權4模形式匹配，其水平包括10、12、16、17、21、27、28、32、35、48、55、60、64、68、90與480。
• 具體例子E(Γ₀(8)∩Γ₁(4)) ×_ℙ¹ E^{(t−1)/(t+1)}(Γ₀(8)∩Γ₁(4))的L級數已驗證與權4水平16模形式q + 4q³ − 2q⁵ − 24q⁷ − 11q⁹ + 44q¹¹ + ⋯匹配。
• 同源三倍域（如M與M⁻¹變換者）雖h^{12}不同，但預期共享同一模形式，暗示模形式具有同源不變性。
• 表4中的水平90例子是水平10例子的扭化形式，二者均與同一模形式關聯，顯示更深層的算術關係。