[论文解读] The Modular Form of the Barth-Nieto Quintic

Valery Gritsenko, Klaus Hulek|ArXiv.org|Jun 3, 1998

Advanced Algebra and Geometry参考文献 14被引用 6

一句话总结

本文識別出參模群 Γ₃(2) 的唯一權重 3 的尖點形式 Δ₁³，其源自巴爾斯-尼埃托五次曲面，一個雙覆蓋於 (1,3)-極化阿貝爾曲面帶有二階結構的模空間 𝒜₃(2) 的卡拉比-丘三流形。作者構造出 Δ₁ 為帶有特徵的權重 1 尖點形式，證明其無限乘積展開式以及在 Siegel 空間對角線上的階 1 零點，並以此獨立構造出 𝒜₃(2) 的光滑射影卡拉比-丘模型。

ABSTRACT

Barth and Nieto have found a remarkable quintic threefold which parametrizes Heisenberg invariant Kummer surfaces which belong to abelian surfaces with a (1,3)-polarization and a lecel 2 structure. A double cover of this quintic, which is also a Calabi-Yau variety, is birationally equivalent to the moduli space {\cal A}_3(2) of abelian surfaces with a (1,3)-polarization and a level 2 structure. As a consequence the corresponding paramodular group Γ_3(2) has a unique cusp form of weight 3. In this paper we find this cusp form which is Δ_1^3. The form Δ_1 is a remarkable weight 1 cusp form with a character with respect to the paramodular group Γ_3. It has several interesting properties. One is that it admits an infinite product representation, the other is that it vanishes of order 1 along the diagonal in Siegel space. In fact Δ_1 is an element of a short series of modular forms with this last property. Using the fact that Δ_1 is a weight 3 cusp form with respect to the group Γ_3(2) we give an independent construction of a smooth projective Calabi-Yau model of the moduli space {\cal A}_3(2).

研究动机与目标

• 識別出源自巴爾斯-尼埃托五次曲面幾何結構的參模群 Γ₃(2) 的唯一權重 3 尖點形式。
• 構造 (1,3)-極化阿貝爾曲面帶有二階結構的模空間 𝒜₃(2) 的光滑射影卡拉比-丘模型。
• 研究權重 1 尖點形式 Δ₁（在 Γ₃ 下帶有特徵）及其特殊性質，包括無限乘積表示。
• 分析 Δ₁ 在 Siegel 空間對角線上的零點階數及其在高權尖點形式構造中的角色。
• 建立巴爾斯-尼埃托五次曲面的雙覆蓋與模空間 𝒜₃(2) 之間的雙有理等價，連結幾何與模形式。

提出的方法

• 利用巴爾斯-尼埃托五次曲面作為帶有二階結構的 (1,3)-極化阿貝爾曲面的海森堡不變凱莫爾曲面模空間的幾何構造。
• 利用巴爾斯-尼埃托五次曲面的雙覆蓋為卡拉比-丘三流形且雙有理等價於 𝒜₃(2) 的性質，從幾何出發實現模形式的構造。
• 定義 Δ₁ 為參模群 Γ₃ 下的權重 1 尖點形式（帶有特徵），利用其變換性質與模不變性。
• 證明 Δ₁ 接受無限乘積表示，此為連結至自守 L-函數與博赫爾奇類構造的關鍵性質。
• 證明 Δ₁ 在 Siegel 空間對角線上恰好為階 1 零點，此為模形式中罕見且重要的性質。
• 將權重 3 尖點形式 Δ₁³ 構造為 Δ₁ 的立方，證明其為 Γ₃(2) 下唯一的此類形式，並以此定義卡拉比-丘模型。

实验结果

研究问题

• RQ1 Γ₃(2) 的唯一權重 3 尖點形式為何？其與巴爾斯-尼埃托五次曲面幾何結構有何關聯？
• RQ2 權重 1 尖點形式 Δ₁ 的模形式性質為何，特別是其無限乘積表示與在對角線上的零點階數？
• RQ3 巴爾斯-尼埃托五次曲面的雙覆蓋如何與模空間 𝒜₃(2) 相關？對卡拉比-丘三流形的構造有何含義？
• RQ4 能否獨立地利用模形式構造 𝒜₃(2) 的卡拉比-丘模型？Δ₁ 在此構造中扮演何種角色？
• RQ5 Δ₁ 在 Siegel 空間對角線上的階 1 零點具有何意義？其與參模群結構有何關聯？

主要发现

• Γ₃(2) 的唯一權重 3 尖點形式為 Δ₁³，其中 Δ₁ 為帶有特徵的權重 1 尖點形式。
• 形式 Δ₁ 接受無限乘積表示，此為西蓋爾模形式理論中罕見且重要的性質。
• Δ₁ 在 Siegel 空間對角線上恰好為階 1 零點，此為其獨特之處，使其列於少數此類模形式之中。
• 巴爾斯-尼埃托五次曲面的雙覆蓋與模空間 𝒜₃(2) 雙有理等價，確立了代數幾何與模形式之間的直接連結。
• 利用 Δ₁ 為構建模塊，作者構造出 𝒜₃(2) 的獨立、光滑射影卡拉比-丘模型。
• 此構造確認 Γ₃(2) 僅存在唯一一個權重 3 的尖點形式（至多純量倍數），並提供了此形式的幾何實現。