[论文解读] Realizability of tropical canonical divisors

Martin Moeller, Martin Ulirsch+1 more|arXiv (Cornell University)|Oct 17, 2017

Algebraic Geometry and Number Theory参考文献 34被引用 14

一句话总结

本文為特征值為零的非阿基米德域上穩定热带曲線上的有效热带canonical除子的實現性問題提供了完整的組合判別準則。透過從有理函數導出的增強層次圖，並應用對不便頂點與水平邊的條件，作者證明：一對 $(\Gamma, D)$ 可實現當且僅當每個不便頂點位於不經過低層次節點的簡單環上，且每條水平邊亦位於此類環上——從而解決了热带幾何中長期存在的問題。

ABSTRACT

We use recent results by Bainbridge-Chen-Gendron-Grushevsky-Moeller on compactifications of strata of abelian differentials to give a comprehensive solution to the realizability problem for effective tropical canonical divisors in equicharacteristic zero. Given a pair $(Γ, D)$ consisting of a stable tropical curve $Γ$ and a divisor $D$ in the canonical linear system on $Γ$, we give a purely combinatorial condition to decide whether there is a smooth curve $X$ over a non-Archimedean field whose stable reduction has $Γ$ as its dual tropical curve together with a effective canonical divisor $K_X$ that specializes to $D$. Along the way, we develop a moduli-theoretic framework to understand Baker's specialization of divisors from algebraic to tropical curves as a natural toroidal tropicalization map in the sense of Abramovich-Caporaso-Payne.

研究动机与目标

• 解決特徵值為零的等特徵值情況下有效 tropical canonical 除子的實現性問題。
• 確定一對 tropical 對 $(\Gamma, D)$ 何時可作為非阿基米德域上光滑曲線的有效 canonical 除子的專化結果。
• 基於增強層次圖中的環條件，提供一個純組合的實現性判別準則。
• 建立一個模理論框架，將 Baker 的專化地圖與 торoidal tropicalization 連結起來。
• 描述 tropical Hodge bundle 及其層次中 tropicalization 地圖的像的結構。

提出的方法

• 從 tropical 曲線 $\Gamma$ 上的有理函數 $f$ 建構增強層次圖 $\Gamma^+(f)$，以編碼層次函數與來自整數斜率的邊裝飾。
• 定義「不便頂點」為具有大正邊裝飾的 genus-0 頂點，特別是兩個邊斜率小於 $-1$ 的三價頂點。
• 引入環條件：對每個不便頂點 $v$，必須存在一個以 $v$ 為基點、且避開低於 $f(v)$ 層次節點的簡單環。
• 對每條水平邊 $e$（兩側半邊均裝飾為 $-1$），要求存在一個通過 $e$ 且避開低於 $f(e)$ 層次節點的簡單環。
• 利用全域殘留條件與扭結微分形式，將代數幾何的極限線性系列與 tropical 物體連結。
• 發展一種演算法程序，透過枚舉穩定圖、部分序、增強方式，並剔除不滿足條件的配置，來計算實現性區域的單純剖分結構。

实验结果

研究问题

• RQ1 何時一對 tropical 對 $(\Gamma, D)$，其中 $D$ 屬於 canonical 線性系統 $|K_\Gamma|$，可實現為非阿基米德域上光滑曲線的有效 canonical 除子的專化？
• RQ2 增強層次圖 $\Gamma^+(f)$ 的哪些組合條件可確保 $D = K_\Gamma + \text{div}(f)$ 可實現？
• RQ3 Baker 從代數除子到 tropical 除子的專化地圖，與 Abramovich-Caporaso-Payne 意義下的 toroidal tropicalization 有何關係？
• RQ4 實現性區域在 tropical Hodge bundle $\mathbb{P}\Omega\mathcal{M}_g^{\text{trop}}$ 內的結構為何？
• RQ5 對於阿貝爾微分的一個特定層次 $\mu$，其可實現性區域能否以組合方式加以描述？

主要发现

• 若 $D = K_\Gamma + \text{div}(f)$，則對 $(\Gamma, D)$ 可實現當且僅當每個不便頂點 $v$ 位於避開低於 $f(v)$ 層次節點的簡單環上。
• 每條水平邊 $e$ 必須位於避開低於 $f(e)$ 層次節點的簡單環上，以確保無拓撲障礙可實現。
• canonical 除子 $K_\Gamma$ 一般不可實現，如例 6.4 所示，這是因不便頂點處環條件失效所致。
• 在啞鈴圖上，實現性區域 $\mathbb{P}\mathcal{R}_\Omega(2)$ 包含四個「魏爾斯特拉斯」點：兩位於環的中點，兩位於中心頂點，取決於雙零點的位置。
• 對於類型為 $\mu$ 的層次，實現性區域 $\mathbb{P}\mathcal{R}_\Omega(\mu)$ 的特徵由對 $\mu$ 類型的增強層次圖應用相同環條件所決定，如命題 6.10 所形式化。
• 提供了一個有效但低效的演算法，用於透過枚舉穩定圖、層次函數、增強方式並驗證環條件，來計算實現性區域的單純剖分結構。