[论文解读] A construction of the Deligne--Mumford orbifold

Joel W. Robbin, Dietmar Salamon|ArXiv.org|Jul 6, 2004

Geometric and Algebraic Topology参考文献 3被引用 11

一句话总结

本文通過一個普遍映射性質構造了黎曼曲面模空間的 Deligne–Mumford 緊化，證明其典範地是一個軌物（orbifold）。透過分析節點族、普遍展開與曲面上的全純結構，作者建立 $\bar{\mathcal{M}}_{g,n}$ 為一個豪斯多夫、序列緊緻的軌物，基於正確性與收斂性論證，且在 DM 收斂下極限具有唯一性。

ABSTRACT

We define the Deligne Mumford orbifold axiomatically by a universal mapping property, show that this universal mapping property is equivalent to an infinitessimal universal mapping property, and use the latter to give an existence proof.

研究动机与目标

• 透過普遍映射性質來特徵化 Deligne–Mumford 緊化 $\bar{\mathcal{M}}_{g,n}$。
• 透過分析群胚作用與穩定性條件，建立 $\bar{\mathcal{M}}_{g,n}$ 典範地為一個軌物。
• 利用節點黎曼曲面序列的收斂性，證明模空間的序列緊緻性與豪斯多夫性。
• 證明 DM 收斂序列的極限在同構下唯一，確保緊化的一致性。
• 將 Teichmüller 空間框架擴展至包含節點與穩定結構，連結曲面上的複結構與軌物幾何。

提出的方法

• 使用節點黎曼曲面的普遍族在基空間 $B$ 上定義群胚作用，其態射由纖同構誘導。
• 應用 DM 收斂（Deligne–Mumford 收斂）的概念，分析帶標記節點曲面序列的極限。
• 運用曲面間的全純嵌入序列 $u_k$，利用可去奇點定理，證明其收斂至 $(j,j')$-全純微分同構。
• 應用爆破論證，排除極限中出現非平凡的 $J$-全純球面，確保無標記點或節點結構的遺失。
• 利用源到目標映射 $s \times t: \Gamma \to B \times B$ 的正確性，推導出商空間 $B/\Gamma$ 為豪斯多夫且序列緊緻。
• 依賴 Earle–Eells 定理：$\mathcal{J}(\Sigma)/\mathrm{Diff}_0(\Sigma)$ 為複流形，並將此推廣至緊化模空間。

实验结果

研究问题

• RQ1 如何透過普遍映射性質特徵化 Deligne–Mumford 緊化 $\bar{\mathcal{M}}_{g,n}$？
• RQ2 何種條件可確保 DM 收斂序列的帶標記節點黎曼曲面極限在同構下唯一？
• RQ3 在何種條件下，曲面間的全純嵌入序列會光滑收斂至全域同構？
• RQ4 為何在 DM 收斂下，帶標記節點黎曼曲面序列的極限中不會發生爆破？
• RQ5 $\bar{\mathcal{M}}_{g,n}$ 的軌物結構如何由保持標記點的微分同構群胚作用所產生？

主要发现

• 模空間 $\bar{\mathcal{M}}_{g,n}$ 典範地為一個軌物，因其滿足普遍映射性質，且具有豪斯多夫、序列緊緻的商結構。
• $s \times t: \Gamma \to B \times B$ 是正確的，這意味著商空間 $B/\Gamma$ 為豪斯多夫，確保拓撲上的良好行為。
• $\bar{\mathcal{M}}_{g,n}$ 的序列緊緻性來自於節點族收斂子序列的存在，其極限屬於 DM 拓撲。
• 在帶標記節點曲面間的全純嵌入序列極限中不會發生爆破，因為其像會違反特殊點（標記點或節點）的計數。
• 若兩個帶標記節點黎曼曲面序列 DM 收斂至同一極限，則其極限同構，證明緊化的唯一性。
• 全純嵌入序列 $u_k$ 的極限在 $C^\infty$ 拓撲下收斂至全域 $(j,j')$-全純微分同構 $u_0$，且可透過可去奇點定理延拓過奇點。