[论文解读] Combinatorics of the tropical Torelli map

Melody Chan|arXiv (Cornell University)|Dec 21, 2010

Polynomial and algebraic computation参考文献 20被引用 4

一句话总结

本文提出了一套改进的堆叠扇面框架，用于研究热带 Torelli 映射，证明了主极化热带阿贝尔簇的模空间 $A^{\text{tr}}_g$ 是豪斯多夫空间，并利用拟阵组合学构造了 $A^{\text{tr}}_2$ 和 $A^{\text{tr}}_3$ 的有限指数覆盖。关键贡献在于构造了一个从射影平面的扇面模型到 $A^{\text{tr}}_3$ 的满射态射，该态射通过 Fano 拟阵实现，并利用 $GL_3(\mathbb{Z})$-等变方式粘合锥体。

ABSTRACT

This paper is a combinatorial and computational study of the moduli space of tropical curves of genus g, the moduli space of principally polarized tropical abelian varieties, and the tropical Torelli map. These objects were introduced recently by Brannetti, Melo, and Viviani. Here, we give a new definition of the category of stacky fans, of which the aforementioned moduli spaces are objects and the Torelli map is a morphism. We compute the poset of cells of tropical M_g and of the tropical Schottky locus for genus at most 5. We show that tropical A_g is Hausdorff, and we also construct a finite-index cover for A_3 which satisfies a tropical-type balancing condition. Many different combinatorial objects, including regular matroids, positive semidefinite forms, and metric graphs, play a role.

研究动机与目标

• 为解决先前工作中堆叠扇面定义中的基础性不一致问题，特别是那些将 $M^{\text{tr}}_g$ 和 $A^{\text{tr}}_g$ 排除在有效堆叠扇面之外的问题。
• 提供一个更正且更一般的堆叠扇面定义，使其能够容纳热带曲线和主极化热带阿贝尔簇的模空间。
• 计算 $g \leq 5$ 时 $M^{\text{tr}}_g$ 的胞腔格和热带 Schottky 簇的结构，提供明确的组合数据。
• 证明 $A^{\text{tr}}_g$ 是豪斯多夫空间，纠正早期表述中的拓扑疏漏。
• 利用拟阵理论和层结构，构造满足热带平衡条件的 $A^{\text{tr}}_3$ 和 $A^{\text{tr}}_2$ 的有限指数覆盖。

提出的方法

• 提出堆叠扇面的修订定义，使 $M^{\text{tr}}_g$ 和 $A^{\text{tr}}_g$ 成为该范畴中的自然对象，解决先前的限制。
• 利用 Voronoi 分解理论，将 $A^{\text{tr}}_g$ 定义为锥复形关于 $GL_g(\mathbb{Z})$ 的商，确保与热带几何的一致性。
• 通过 $GL_3(\mathbb{Z})$-等变映射粘合七个 $MK_4$ 拟阵的锥体，构造态射 $\alpha: \mathbb{FP}^6 \to A^{\text{tr}}_3$。
• 利用 Fano 拟阵 $F_7$ 及其一元素删除（同构于 $MK_4$）确保重叠胞腔间的一致粘合。
• 通过均匀拟阵 $U^2_4$ 及其同构于 $U^2_3$ 的删除，定义类似态射 $\beta: \mathbb{FP}^3 \to A^{\text{tr}}_2$，并保持完整的自同构对称性。
• 通过模 $p=3$（ genus 2）和 $p=2$（ genus 3）的层结构建立覆盖映射，识别次级锥分解中关于 $\pm$ 等价的射线。

实验结果

研究问题

• RQ1 能否提出一个更一般且一致的堆叠扇面定义，使其包含 $M^{\text{tr}}_g$ 和 $A^{\text{tr}}_g$？
• RQ2 空间 $A^{\text{tr}}_g$ 是否是豪斯多夫空间，其拓扑结构与 Voronoi 分解有何关系？
• RQ3 能否构造满足热带平衡条件的 $A^{\text{tr}}_g$ 的有限指数覆盖，特别是对 $g=2$ 和 $g=3$？
• RQ4 拟阵理论结构（如 Fano 拟阵和 $MK_4$）如何促成到 $A^{\text{tr}}_g$ 的满射态射的构造？
• RQ5 对 $g \leq 5$，热带 Schottky 簇的组合结构是什么？其与 $M^{\text{tr}}_g$ 和 $A^{\text{tr}}_g$ 的胞腔结构相比有何异同？

主要发现

• 证明了模空间 $A^{\text{tr}}_g$ 是豪斯多夫空间，纠正了早期表述中的拓扑疏漏。
• 通过 Fano 拟阵构造了 $A^{\text{tr}}_3$ 的有限指数覆盖 $\mathbb{FP}^6$，且 $\mathbb{FP}^6$ 的每个最大胞腔均满射到 $A^{\text{tr}}_3$ 的唯一最大胞腔。
• $\alpha: \mathbb{FP}^6 \to A^{\text{tr}}_3$ 是一个堆叠扇面的满射态射，通过粘合七个关于 $MK_4$ 拟阵的锥体的 $GL_3(\mathbb{Z})$-等变映射构造而成。
• 对 genus 2，利用均匀拟阵 $U^2_4$ 构造了 $A^{\text{tr}}_2$ 的有限指数覆盖 $\mathbb{FP}^3$，其四个最大胞腔每个均满射到 $A^{\text{tr}}_2$ 的最大胞腔。
• 这些覆盖的构造被证明源于模 $p=3$（genus 2）和 $p=2$（genus 3）的层结构，通过在次级锥分解中识别关于 $\pm$ 等价的射线实现。
• 对 $g \leq 5$，$M^{\text{tr}}_g$ 的胞腔格和热带 Schottky 簇的结构被显式计算，表格比较了 $M^{\text{tr}}_g$、Schottky 簇和 $A^{\text{tr}}_g$ 的胞腔数量。