[论文解读] Algebraic surfaces and hyperbolic geometry

Burt Totaro|arXiv (Cornell University)|Aug 23, 2010

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

一句话总结

本文利用双曲几何，證明了代數曲面的 Kawamata-Morrison 锥猜想，顯示有理曲面的 nef 和 ample 锥受作用於雙曲空間的離散自同構群所控制。本文證明，對於某些 K3 和有理曲面，自同構群在雙曲 3-空間上作用具有有限體積，並提供了一個與算術群不共軛的反例。

ABSTRACT

This is a survey of the Kawamata-Morrison cone conjecture on the structure of Calabi-Yau varieties and more generally Calabi-Yau pairs. We discuss the proof of the cone conjecture for algebraic surfaces, with plenty of examples. We show that the automorphism group of a K3 surface need not be commensurable with an arithmetic group, which answers a question by Mazur.

研究动机与目标

• 利用雙曲幾何證明代數曲面的 Kawamata-Morrison 錐猜想。
• 透過幾何與群論方法，描述有理曲面與 K3 曲面上 nef 和 ample 錐的結構。
• 分析有理曲面的自同構群，並確定其在雙曲空間上的作用。
• 構造一個有理曲面的例子，其非交換離散自同構群作用於雙曲 3-空間。
• 解決 K3 曲面自同構群是否與算術群共軛的問題，證明其一般情況下不共軛。

提出的方法

• 在 Néron-Severi 空間中使用凸錐——特別是 nef 和 ample 錐——來編碼代數曲面的幾何性質。
• 應用錐定理與 Kleiman 準則，將 ample 和 nef 性質與除子與曲線的數值等價性關聯起來。
• 將 nef 錐建模為雙曲空間中的凸錐，特別是對於 canonical 類為零的曲面。
• 利用 K3 曲面的 Torelli 定理，將曲面的幾何性質與其上同調及自同構群關聯起來。
• 將具有負自交數的曲線收縮，從光滑有理曲面過渡至具有奇點的 Calabi-Yau 曲面，再將結果提升回解析形式。
• 分析自同構群在 nef 錐上的作用，透過在 $GL(2,\mathbb{Z}[\zeta])$ 和 $PGL(2,\mathbb{Z}[\zeta])$ 上的作用，證明其在雙曲 3-空間中具有有限體積。

实验结果

研究问题

• RQ1 有理曲面上 nef 錐的結構與雙曲幾何有何關係？
• RQ2 K3 曲面的自同構群是否可能不與算術群共軛？
• RQ3 自同構群在具有 $\kappa(X, -K_X) = 0$ 的有理曲面的 nef 錐上如何作用？
• RQ4 錐猜想如何描述具有數值平凡 canonical 緩衝的代數簇上曲線的結構？
• RQ5 全局指數 $I$ 在將奇點 Calabi-Yau 曲面與光滑曲面關聯起來時起何作用？

主要发现

• K3 曲面的自同構群不必然與算術群共軛，回答了 Barry Mazur 的疑問。
• 對於將 $\mathbb{P}^2$ 在 12 個特定點上進行 blown-up 所得的有理曲面，其自同構群在有限指數下同構於 $GL(2,\mathbb{Z}[\zeta])$。
• 將 $PGL(2,\mathbb{Z}[\zeta])$ 的一個指數為 24 的子群作用於雙曲 3-空間的商空間，同胚於 figure-eight 緒的補集。
• 奇點曲面 $Y$ 的 nef 錐是 $\mathbb{R}^4$ 中的圓錐，且 $\text{Nef}(Y) = \text{Nef}(M)$，其中 $M$ 是具有 ADE 奇點的 Calabi-Yau 曲面。
• $PGL(2,\mathbb{Z}[\zeta])$ 在雙曲 3-空間上作用具有有限體積，確認了在 $\kappa(X, -K_X) = 0$ 情況下錐猜想成立。
• 曲面 $Y$ 的最小解析形式 $X$ 有無限多條 $(-1)$-曲線，但自同構群 $\text{Aut}(X, \Delta)$ 在它們上只有有限多個軌道，確保錐猜想成立。