[论文解读] Moduli of Gorenstein Q-homology projective planes

Matthias Schuett|arXiv (Cornell University)|May 15, 2015

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

一句话总结

本文對具有數值平凡 canonical bundle 的複 Gorenstein ℚ-同調射影平面完成了完整分類，證明共有 31 種類型，每種類型均具有定義在 ℚ 上的一維有理模空間。分類透過使用極小有理 elliptic 表面與基變換類型的 Enriques 對合變換進行顯式參量化實現，所有模空間族均明確構造，並證明其為有理且定義在 ℚ 上。

ABSTRACT

We give a complete classification of complex Q-homology projective planes with isolated rational double point singularities and numerically trivial canonical bundle. There are 31 types, and each has one-dimensional moduli. In fact, all moduli curves are rational and defined over Q, and we determine all families explicitly using extremal rational elliptic surfaces and Enriques involutions of base change type.

研究动机与目标

• 完成對具有數值平凡 canonical bundle 的 Gorenstein ℚ-同調射影平面的分類，此問題此前雖有部分結果，但仍未完全解決。
• 確定所有 31 種可能的 rational double point 奇點類型在這些曲面上的模空間。
• 證明每個模空間均為一維、有理且定義在 ℚ 上，從而解決有關這些族之維數與有理性的猜想。
• 使用極小有理 elliptic 表面與基變換類型的 Enriques 對合變換，顯式參量化所有族。
• 區分每種奇點類型的模空間成分，特別是解決多成分情況下的模糊性。

提出的方法

• 利用 Enriques–Kodaira 分類法，證明此類曲面的最小解析變換為 Enriques 曲面，因為 canonical bundle 數值平凡。
• 應用格理論方法，分類所有 31 種可收縮為 ℚ-同調射影平面之 Gorenstein 曲面的 $(-2)$-曲線之最大奇點類型。
• 使用極小有理 elliptic 表面上基變換類型的 Enriques 對合變換構造，以產生所需的 elliptic 纖維化。
• 利用 Enriques 曲面的 K3 蓴化來分析 Mordell-Weil 群與高度配對，從而實現族的顯式參量化。
• 使用 [21, §11 (22)] 中的 Néron–Severi 格的判別式計算，以區分模空間成分。
• 運用涉及二分截面與扭結截面的幾何論證，驗證奇點纖維的結構，並確保模空間成分的差異性。

实验结果

研究问题

• RQ1 所有 31 種 Enriques 曲面上 $(-2)$-曲線的最大奇點類型是否均可實現為具有數值平凡 canonical bundle 的 Gorenstein ℚ-同調射影平面的奇點？
• RQ2 這些奇點類型的模空間是否如猜想所言，具有 1 維、有理且定義在 ℚ 上的族？
• RQ3 是否可使用極小有理 elliptic 表面與基變換類型的 Enriques 對合變換，顯式參量化所有此類族？
• RQ4 單一奇點類型最多可產生多少模空間成分？如何從幾何或算術上加以區分？
• RQ5 先前文獻 [10] 聲稱 $2A_3 + 3A_1$ 為孤立模空間，現由一維族的存在性更正，是否確認了 1 維模空間的一般猜想？

主要发现

• 在 Enriques 曲面上，共有 31 種最大奇點類型的 $(-2)$-曲線可收縮為具有數值平凡 canonical bundle 的 Gorenstein ℚ-同調射影平面。
• 對所有 31 種類型，其模空間均為一維、有理且定義在 ℚ 上，確認了這些族的有理性和算術性質。
• 所有族均透過極小有理 elliptic 表面與基變換類型的 Enriques 對合變換顯式參量化，構造詳見表 5。
• 單一奇點類型的模空間最多可有三成分，如 $3A_3$、$D_6 + 3A_1$ 與 $A_7 + 2A_1$ 所示。
• K3 蓁化之一般 Néron–Severi 格的判別式（例如 16、4、64、128、32、8）被用來區分模空間成分，確認其互異性。
• 本文修正了 [10] 中的先前錯誤，證明 $2A_3 + 3A_1$ 並非孤立例子，而是屬於一維族，從而確認了關於 1 維模空間的一般猜想。