[论文解读] Logarithmic Geometry and Moduli

Dan Abramovich, Qile Chen+5 more|arXiv (Cornell University)|Jun 30, 2010

Algebraic Geometry and Number Theory参考文献 46被引用 42

一句话总结

本文確立了對數幾何作為構造與分析奇異與退化代數簇模空間的基礎工具，特別是透過對數光滑曲線與對數穩定映射。結果顯示，對數結構自然地編碼了變形理論中的障礙，統一了d-半穩定性，並在不依賴擴展退化的情況下產生了完美障礙理論，進而導致對數穩定映射的合適、投影的粗模空間。

ABSTRACT

We discuss the role played by logarithmic structures in the theory of moduli.

研究动机与目标

• 證明對數結構為研究奇異與退化代數簇模空間提供了自然的框架。
• 透過以內在對數結構取代擴展退化，解決模空間中的變形理論問題。
• 在單一對數形式語言下統一d-半穩定性與正則交叉退化。
• 構造對數穩定映射的對數Deligne–Mumford堆疊，其粗模空間為投影空間。
• 確立相對於對數概形堆疊的對數映射具有完美障礙理論，進而可定義虛擬基本類。

提出的方法

• 定義對數光滑曲線為在細飽和對數概形上之曲線族，其相對對數微分形式為ample。
• 使用對數微分形式 Ω_X(log D) 及商層 Ω_X(log D)/f^*Ω_S(log s)，即使在奇異纖維中亦能恢復類似光滑的性質。
• 將對數穩定映射的模堆疊 M̄_Γ(X) 構造為細飽和對數概形範疇上的纖化範疇。
• 證明 M̄_Γ(X) 的底層堆疊參數化具有最小對數結構的映射，推廣了Kim的方法。
• 證明 M̄_Γ(X) 為對數Deligne–Mumford堆疊，其粗模空間為投影空間，且在經典模堆疊上為合適且有限的。
• 使用對數變形理論與堆疊LOG描述障礙複形，進而導出完美障礙理論。

实验结果

研究问题

• RQ1 如何利用對數結構解決代數簇模空間中非可光滑退化的問題？
• RQ2 d-半穩定性能否在對數框架下自然推廣並統一？
• RQ3 在何種條件下，對數映射堆疊在基上為局部有限型且合適？
• RQ4 能否在不使用擴展退化的前提下，為對數穩定映射構造完美障礙理論？
• RQ5 最小對數結構在參數化對數映射及其變形理論中扮演何種角色？

主要发现

• 對數光滑曲線的模空間同構於經典的穩定曲線模空間，顯示對數幾何自然捕捉了經典情形。
• 對數結構涵蓋了d-半穩定性，為退化提供了更具彈性與內在的框架。
• 對數穩定映射的堆疊 M̄_Γ(X) 為對數Deligne–Mumford堆疊，其粗模空間為投影空間。
• 堆疊 M̄_Γ(X) 在經典模堆疊 M̄_Γ(underline{X}) 上為合適且有限的，確保良好的緊緻性性質。
• 對數穩定映射相對於堆疊LOG具有完美障礙理論，進而可在無需擴展退化的前提下定義虛擬基本類。
• 在對數概形上對映射 f: Z → X 的提升範疇具有自然的堆疊結構，推廣了慣性堆疊，並在Gromov–Witten理論中捕捉了接觸階數。