[论文解读] Algebraic and tropical curves: comparing their moduli spaces

Lucia Caporaso|arXiv (Cornell University)|Jan 25, 2011

Algebraic Geometry and Number Theory参考文献 27被引用 50

一句话总结

本文构建了亏格 $g$ 的 $n$-点热带曲线的模空间，包括通过加权曲线的边界化和通过扩展曲线的紧化，并将其与稳定代数曲线的 Deligne-Mumford 模空间 $\overline{M}_{g,n}$ 进行比较。主要贡献在于建立了热带模空间与代数模空间之间深刻的组合、拓扑及 Teichmüller 类比，表明 $M_{g,n}^{\text{trop}}$ 是一个纯维数为 $3g-3+n$ 的连通、豪斯多夫空间，且 $M_{g,n}^{\text{pure}}$ 在其中稠密且开。

ABSTRACT

We construct the moduli space for equivalence classes of n-pointed tropical curves of genus g, together with its compactification given by weighted tropical curves, and establish some of its basic topological properties. We compare it to the moduli spaces of smooth and stable algebraic curves, from the combinatorial, the topological, and the Teichmüller point of view. The paper is written in an expository style, and it generalizes some results contained in sections 4-6 of arXiv:1001.2815v3.

研究动机与目标

• 构建亏格 $g$ 的 $n$-点热带曲线的模空间，包括其边界化与紧化。
• 比较热带模空间与代数模空间 $\overline{M}_{g,n}$ 的拓扑与组合结构。
• 探索复曲线与度量图的 Teichmüller 理论之间的类比。
• 识别热带模空间理论中的开放问题，特别是关于紧化、除子理论与范畴基础方面。

提出的方法

• 将纯热带曲线定义为无度数小于 3 的顶点的度量图，并通过顶点上的权函数将其推广为加权热带曲线。
• 将 $M_{g,n}^{\text{trop}}$ 构造为参数化亏格 $g$ 的加权 $n$-点热带曲线的等距类的拓扑空间。
• 利用稳定代数曲线的对偶图定义 $\overline{M}_{g,n}$ 的组合划分，并将其与由稳定图划分的 $M_{g,n}^{\text{trop}}$ 进行比较。
• 将 Culler-Vogtmann 外空间 $O_g$ 视为复曲线的 Teichmüller 空间 $T_g$ 的热带类比。
• 通过层闭包的包含关系，建立 $\overline{M}_{g,n}$ 与 $M_{g,n}^{\text{trop}}$ 的偏序集结构之间的对应关系。
• 利用图上的专用化引理与除子理论，建立热带与代数线性系统之间的联系。

实验结果

研究问题

• RQ1 纯热带曲线的模空间如何紧化？此类紧化具有何种几何意义？
• RQ2 是否存在 $M_{g,n}^{\text{pure}}$ 的其他紧化或边界化方式？它们与扩展热带曲线紧化的关系如何？
• RQ3 加权热带曲线上的线丛是否满足 Riemann-Roch 定理？Clifford 定理能否推广至此情形？
• RQ4 何种范畴框架（如热带叠或轨道空间）最能捕捉热带模空间的几何结构？

主要发现

• 加权 $n$-点热带曲线的模空间 $M_{g,n}^{\text{trop}}$ 是一个连通、豪斯多夫的拓扑空间，其纯维数为 $3g-3+n$。
• 纯热带曲线的模空间 $M_{g,n}^{\text{pure}}$ 在 $M_{g,n}^{\text{trop}}$ 中是开集且稠密。
• $M_{g,n}^{\text{trop}}$ 对专用化是封闭的，但不紧致；其自然紧化由扩展加权热带曲线给出。
• 当 $g=0$ 时，模空间 $M_{0,n}^{\text{trop}}$（其等于 $M_{0,n}^{\text{pure}}$）对 $n \geq 3$ 是一个热带几何对象。
• $\overline{M}_{g,n}$ 与 $M_{g,n}^{\text{trop}}$ 的分层结构之间存在偏序集同构，该同构由稳定图索引，并保持闭包的包含关系。
• 复曲线的 Teichmüller 方法（通过 $T_g$）与度量图的 Teichmüller 方法（通过 $O_g$）表现出强烈类比，包括有限群作用与商结构。