[论文解读] Deligne-Mumford compactification of the real multiplication locus and Teichmueller curves in genus three

Matt Bainbridge, Martin Moeller|ArXiv.org|Nov 24, 2009

Algebraic Geometry and Number Theory参考文献 21被引用 4

一句话总结

本文對 genus 三曲線模空間的 Deligne-Mumford 緩衝空間中實乘法子簇與特徵形式子簇邊界的完整分類提供了完整描述。利用代數幾何與數論，本文透過完全實三次域中的留數條件與凸包準則，對邊界處的穩定曲線與穩定一形式進行特徵化，進而得出 Teichmüller 曲線的有限性結果，以及特徵形式子簇在 GL₂⁺(ℝ) 作用下不變性的結論。

ABSTRACT

In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus of eigenforms over RM_O in the Deligne-Mumford compactification of the moduli space of holomorphic one-forms. For higher genera, we give strong necessary conditions for a stable curve to be in the boundary of RM_O Boundary strata of RM_O are parameterized by configurations of elements of the field F satisfying a strong geometry of numbers type restriction. We apply this computation to give evidence for the conjecture that there are only finitely many algebraically primitive Teichmueller curves in M_3. In particular, we prove that there are only finitely many algebraically primitive Teichmueller curves generated by a one-form having two zeros of order 3 and 1. We also present the results of a computer search for algebraically primitive Teichmueller curves generated by a one-form having a single zero.

研究动机与目标

• 描述 genus 三曲線模空間的 Deligne-Mumford 緩衝空間 M̄_3 中實乘法子簇 RM_O 的邊界。
• 特徵化全純一形式的緩衝叢 ΩM̄_3 中特徵形式子簇 ΩE_O 的閉包。
• 透過邊界分析，將具有實乘法的黎曼曲面問題簡化為具體的代數與數論問題。
• 建立 genus 三中 Teichmüller 曲線的有限性結果，以及特徵形式子簇在 GL₂⁺(ℝ) 作用下不變性的結論。

提出的方法

• 使用週期矩陣與穩定形式理論，分析具有實乘法的雅可比多樣的退化。
• 應用二次映射 Q: F → F，定義為 Q(x) = N^F_Q(x)/x，以研究邊界處的留數配置。
• 引入有限子集 S ⊂ F 上的「無半空間條件」，要求 0 屬於 F ⊗_Q R 中 Q(S) 的凸包內部。
• 構造一個有向圖以編碼邊界 strata 的拓撲類型，其中頂點代表分量，邊代表節點，邊的權重屬於理想 I ⊂ O。
• 運用同調代數技術，包括完全實域中序環上的 Ext 群，以分類對 R-模的辛擴張。
• 在附錄 A 中開發一個算法，用於枚舉給定理想 I 的邊界 strata，並在圖 4 中提供明確計數。

实验结果

研究问题

• RQ1 哪些 genus 三的穩定曲線位在 M̄_3 中實乘法子簇 RM_O 的邊界上？
• RQ2 哪些留數與凸包條件決定了穩定一形式屬於特徵形式子簇 ΩE_O 的閉包？
• RQ3 如何透過帶權重的留數圖對特徵形式子簇的邊界 strata 進行拓撲與代數分類？
• RQ4 genus 三中 Teichmüller 曲線在特徵形式子簇中展現哪些有限性性質？
• RQ5 特徵形式子簇 ΩE_O 在 ΩM̄_3 上的 GL₂⁺(ℝ) 作用下是否不變？

主要发现

• 幾何 genus 為零的穩定一形式 (X,ω) 屬於 ΩE_O 的邊界，當且僅當其留數集合是理想 I ⊂ O 中某個子集 S ⊂ F 滿足無半空間條件且生成的集合，且其為 ι(S) 的倍數。
• 特徵形式子簇的邊界 strata 由邊權屬於理想 I ⊂ O 的有向圖參數化，且每個 stratum 是 M̄_0,n 或其子簇的乘積。
• 對於 genus 三，Q(S) 上的無半空間條件是穩定形式屬於 ΩE_O 邊界的必要且充分條件。
• 本文證明了 stratum ΩM̄_3(3,1) 中 Teichmüller 曲線的有限性，並提出關於雙曲型 stratum ΩM̄_3(4)^hyp 的有限性猜想。
• 特徵形式子簇 ΩE_O 在 ΩM̄_3 上的 GL₂⁺(ℝ) 作用下不變，這是透過明確構造非不變的邊界 strata 所證明。
• 三節點曲線的邊界 strata 透過完全實三次域整數環中理想的一組基 (r₁,r₂,r₃) 完全分類，並對節點的交比施加明確條件。