[论文解读] Linear Systems on Tropical Curves

Christian Haase, Gregg Musiker+1 more|arXiv (Cornell University)|Sep 21, 2009

Polynomial and algebraic computation参考文献 6被引用 10

一句话总结

本文發展了 tropical 曲線上線性系統 |D| 的理論，顯示其為有限胞腔複形，且為有限生成 tropical 模塊的商。主要貢獻在於證明 |D| 同構於映射至 tropical 射影空間的 tropical 凸包，並顯示非非常 ample 的 canonical 除子會導致雙曲幾何性。

ABSTRACT

A tropical curve Γis a metric graph with possibly unbounded edges, and tropical rational functions are continuous piecewise linear functions with integer slopes. We define the complete linear system |D| of a divisor D on a tropical curve Γanalogously to the classical counterpart. We investigate the structure of |D| as a cell complex and show that linear systems are quotients of tropical modules, finitely generated by vertices of the cell complex. Using a finite set of generators, |D| defines a map from Γto a tropical projective space, and the image can be extended to a tropical curve of degree equal to °(D). The tropical convex hull of the image realizes the linear system |D| as a polyhedral complex. We show that curves for which the canonical divisor is not very ample are hyperelliptic. We also show that the Picard group of a \Q-tropical curve is a direct limit of critical groups of finite graphs converging to the curve.

研究动机与目标

• 建立 tropical 曲線上線性系統 |D| 的組合與代數框架，類比於古典代數幾何。
• 特徵化 |D| 為多面體胞腔複形的結構，並顯示其來自有理函數的有限生成集。
• 展示除子映射至 tropical 射影空間的像，可將 |D| 實現為 tropical 凸包。
• 研究 canonical 除子的 ample 性與 tropical 曲線雙曲幾何性之間的關係。
• 透過邊分割描述 Q-tropical 曲線的 Picard 群為有限圖模型 Picard 群的直極限。

提出的方法

• 將 tropical 曲線定義為具有無界邊的度量圖，並定義有理函數為連續、分段線性、具有整數斜率的函數。
• 透過加權的 chip-firing 動作引入線性等價，將有限圖的 chip-firing 擴展至連續度量圖。
• 將線性系統 |D| 定義為 R(D)/1，其中 R(D) 為所有滿足 D+(f) ≥ 0 的有理函數 f 的集合。
• 證明 R(D) 為有限生成的 tropical 半模，其生成元對應於胞腔複形 |D| 的頂點。
• 利用映射 φ_F 的像的 tropical 凸包，將 |D| 實現為與胞腔複形同構的多面體複形。
• 應用直極限構造，將 Q-tropical 曲線的 Picard 群描述為透過邊分割所得有限圖模型 Picard 群的極限。

实验结果

研究问题

• RQ1 如何將 tropical 曲線上的線性系統 |D| 描述為有限胞腔複形？
• RQ2 |D| 的幾何結構與其映射至 tropical 射影空間的像的 tropical 凸包之間有何關係？
• RQ3 在何種條件下 canonical 除子為非常 ample？其與雙曲幾何性的關係為何？
• RQ4 Q-tropical 曲線的 Picard 群與透過邊分割所得有限圖模型的 Picard 群有何關係？
• RQ5 能否將除子的 Baker-Norine 秩與其線性系統 |D| 的組合結構關聯起來？

主要发现

• 線性系統 |D| 為有限胞腔複形，且其頂點集合恰好對應於 tropical 半模 R(D) 的有限生成集。
• 映射 φ_F 的像的 tropical 凸包與 |D| 同胚於分段線性，提供線性系統的幾何實現。
• 若 canonical 除子 K 不是非常 ample，則 tropical 曲線為雙曲幾何，建立了一個古典代數幾何結果的 tropical 對應。
• tropical 曲線上所有正次數的除子皆為 ample，將古典性質延伸至 tropical 設定。
• Q-tropical 曲線的 Picard 群同構於透過邊分割所得有限圖模型 Picard 群的直極限。
• 對於 genus 2 的香蕉圖，其上 Q 的 Picard 群同構於 Q/Z × Q/Z，由具有有理代表的除子類生成。