[论文解读] Complex Multiplication for K3 Surfaces

Jordan Rizov|ArXiv.org|Jul 31, 2005

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

一句话总结

本文通過證明具有層結構的原始極化 K3 曲面的週期態射是定義在 ℚ 上的，從而建立了 K3 曲面的複乘法理論，進而將 SO(2,19) 的希爾伯特模形式的規範模型實現為定義在 ℚ 上的模空間。關鍵結果是每一個具有複乘法的 K3 曲面都可以在其霍奇自同態域的阿貝爾擴域上定義，從而透過週期態射與特殊點，將經典的 CM 理論從阿貝爾簇推廣至 K3 曲面。

ABSTRACT

In this note we prove analogues of the main theorems of complex multiplication for abelian varieties for K3 surfaces. This is done by studying the field of definition of the period morphism for complex K3 surfaces. More precisely we relate the moduli spaces of primitively polarized K3 surfaces with level structures over $\Q$, constructed using algebraic stacks, to the canonical model of the Shimura variety associated to $\SO(2,19)$.

研究动机与目标

• 將經典的阿貝爾簇複乘法理論推廣至 K3 曲面。
• 建立與 SO(2,19) 相關的希爾伯特模形式的規範模型作為 ℚ 上的模空間的模解釋。
• 證明具有層結構的原始極化 K3 曲面的週期態射是定義在 ℚ 上的，從而確保模構造的有理性。
• 證明每一個具有複乘法的 K3 曲面都可以在其霍奇自同態域的阿貝爾擴域上定義。
• 透過特殊點與上同調上的伽羅瓦作用，為 K3 曲面上的 CM 理論提供幾何與算術基礎。

提出的方法

• 在 ℤ[1/N] 上使用代數堆構造具有層結構的原始極化 K3 曲面的模空間。
• 利用二階 étale 上同調與層結構，定義從這些模空間到 SO(2,19) 希爾伯特模形式的複點的週期態射。
• 透過分析對應於異常 K3 曲面（Picard 秩為 20）的特殊點上 Aut(ℂ) 的作用，證明週期態射的定義域為 ℚ。
• 透過澀田－井上構造，將異常 K3 曲面的 CM 定理約化為相應的阿貝爾曲面結果。
• 利用具有固定反射域的異常 K3 曲面在模空間中的稠密性，推導週期態射的整體有理性。
• 應用希爾伯特模形式的規範模型與特殊點理論的結果，得出週期態射可下降至 ℚ。

实验结果

研究问题

• RQ1 能否透過週期態射與希爾伯特模形式的規範模型，將阿貝爾簇的複乘法理論推廣至 K3 曲面？
• RQ2 具有層結構的原始極化 K3 曲面的週期態射是否定義在 ℚ 上？
• RQ3 具有複乘法的 K3 曲面是否允許在其霍奇自同態域的阿貝爾擴域上定義？
• RQ4 具有複乘法的 K3 曲面的超越格點及其共軛曲面上的伽羅瓦作用為何？
• RQ5 週期態射在希爾伯特模形式中的像是否包含一個 Zariski 稠密開集，且其補集為一除子？

主要发现

• 具有層結構的原始極化 K3 曲面的週期態射 $ j_{d,\text{K},\text{C}} $ 定義在 $ \mathbb{Q} $ 上，因此可下降為 $ \mathbb{Q} $ 上的態射。
• 希爾伯特模形式 $ Sh_{\mathbb{K}}(\operatorname{SO}(2,19),\Omega^{\pm}) $ 的規範模型被實現為 ℚ 上 K3 曲面的模空間，提供了模解釋。
• 週期態射的像是希爾伯特模形式中的 Zariski 稠密，其補集為一除子，對應於擬極化 K3 曲面。
• 每一個具有複乘法的 K3 曲面都可以在其霍奇自同態域的阿貝爾擴域上定義，推廣了阿貝爾簇的經典 CM 結果。
• CM K3 曲面的超越格點上的伽羅瓦作用受反射域控制，其共軛曲面的格點同構於伽羅瓦共軛的格點。
• 透過週期態射的有理性和模空間中特殊點的稠密性，完成了 K3 曲面的複乘法理論。