[论文解读] A Superficial Working Guide to Deformations and Moduli

Fabrizio Catanese|arXiv (Cornell University)|Jun 7, 2011

Algebraic Geometry and Number Theory参考文献 110被引用 40

一句话总结

本文為複雜代數曲面的變形理論與模空間提供了一套全面且易於理解的指南，強調局部變形理論（透過庫蘭希空間）與整體模空間結構之間的互動。研究結果表明，對於其 canonical 模型為阿貝良曲面之有限雙覆蓋的極小一般型曲面，對應的模空間組分是不可約的，且維數為 $4\chi(S) + 2$，其 Kuranishi 空間光滑，且微分同胚的曲面均位於同一組分中。

ABSTRACT

This is the first part of a guide to deformations and moduli, especially viewed from the perspective of algebraic surfaces (the simplest higher dimensional varieties). It contains also new results, regarding the question of local homeomorphism between Kuranishi and Teichmueller space, and a survey of new results with Ingrid Bauer, concerning the discrepancy between the deformation of the action of a group G on a minimal models S, respectively the deformation of the action of G on the canonical model X. Here Def(S) maps properly onto Def(X), but the same does not hold for pairs: Def(S,G) does not map properly onto Def(X,G). Indeed the connected components of Def(S), in the case of tertiary Burniat surfaces, only map to locally closed sets. The last section contains anew result on some surfaces whise Albanese map has generic degree equal to 2.

研究动机与目标

• 發展對複雜代數曲面變形理論與模空間之實用理解，特別是與 canonical 及極小模型之關係。
• 釐清 Teichmüller 空間與 Kuranishi 空間之間的關係，特別是在 Wavrik 條件下。
• 研究一般型曲面模空間的結構，特別是當 canonical 模型為阿貝良曲面之雙覆蓋時。
• 分析自同構與奇點在模空間結構與連通組分中的角色。
• 建立模空間光滑且組分不可約的條件，並運用幾何與上同調方法。

提出的方法

• 運用 Kodaira-Spencer-Kuranishi 理論分析局部變形，並以 Kuranishi 空間作為局部模空間之構造。
• 應用幾何不變量理論與穩定性條件，特別是 Gieseker 對 pluricanonical 映射的漸近穩定性，以確保模空間的存在性。
• 採用 $\Delta$-Gorenstein 平坦化與具有可換除子的對 $(Y,D)$ 的變形理論，以研究緊化與邊界行為。
• 透過上同調群 $H^i(\Theta_Y(-\log D_1, \dots, -\log D_h))$ 及其 Serre 對偶性分析分支覆蓋，特別是在雙覆蓋情境下。
• 應用 Horikawa 公式，證明 $K_S^2 = 4\chi(S)$ 意味著分支位置上具有可忽略的奇點，進而導致覆蓋上出現有理雙點。
• 運用參數空間在群作用下之商的函子方法來研究模空間，受 Mumford 基礎工作啟發。

实验结果

研究问题

• RQ1 在何種條件下，Teichmüller 空間局部同胚於 Kuranishi 空間？此關係的確保條件為何？
• RQ2 對於其 canonical 模型為阿貝良曲面之有限雙覆蓋的極小一般型曲面，模空間的維數與結構為何？
• RQ3 自同構如何影響 canonical 模型與極小模型之變形理論與模空間結構？
• RQ4 決定一般型曲面模空間連通組分数目的因素為何，特別是當 canonical 除子為 ample 時？
• RQ5 在何種條件下，canonical 模型的 Kuranishi 空間為光滑？此性質與整體模空間有何關聯？

主要发现

• 對於 canonical 模型為阿貝良曲面之有限雙覆蓋、分支於型態 $(2d_1, 2d_2)$ 除子的極小一般型曲面，模空間具有維數為 $4d_1d_2 + 2 = 4\chi(S) + 2$ 的不可約組分。
• 在雙覆蓋假設下，canonical 模型 $X$ 的 Kuranishi 空間 $\mathrm{Def}(X)$ 永遠是光滑的。
• 任何與此類曲面 $S$ 微分同胚的曲面，均屬於模空間的同一不可約組分 $\mathcal{N}$。
• $K_S^2 = 4\chi(S)$ 的條件意味著分支位置僅具有可忽略奇點，因此其正規覆蓋具有有理雙點。
• 存在反例顯示模空間可能具有多個不可約組分（例如，當 $p_g = q = 2$，$K^2 = 6$ 時有三組分），顯示雙覆蓋假設為必要條件。
• $\mathbb{Q}$-Gorenstein 平坦化理論與具有可換除子的對 $(Y,D)$ 的變形理論，提供了研究模空間緊化與邊界行為的工具。