[论文解读] Amoebas, tropical varieties and compactification of Teichmuller spaces

Daniele Alessandrini|ArXiv.org|May 12, 2005

Polynomial and algebraic computation参考文献 13被引用 3

一句话总结

本文提出了一种新颖的热带几何方法，通过阿莫巴（amoebas）与马斯洛去量化（Maslov dequantization）对佩奇纳（Teichmüller）空间进行紧化，将边界构造为球面上的一个多面体子集，其锥体构成一个热带簇。该方法在边界上建立了自然的分段线性结构，与瑟斯顿（Thurston）原始构造等价，并为迹函数之间的多项式关系的热带化提供了理论框架。

ABSTRACT

In this paper we try to look at the compactification of Teichmuller spaces from a tropical viewpoint. We describe a general construction for the compactification of algebraic varieties, using their amoebas, and we describe the boundary via tropical varieties. When we apply this construction to the Teichmuller spaces we see that they can be mapped in a real algebraic hypersurface in such a way that the cone over the boundary is a subpolyhedron of a tropical hypersurface. We want to show how some properties of the boundary becomes straightforward if looked at from this point of view. For example there is a PL structure that appears naturally on the boundary, and it is shown to be equivalent to the one defined by Thurston. Also we may see easily that every polynomial relation among trace functions on Teichmuller space may be turned automatically in a tropical relation among intersection forms over the boundary.

研究动机与目标

• 开发一种利用热带几何与阿莫巴对佩奇纳空间进行新紧化的方法。
• 为瑟斯顿边界上的分段线性结构提供几何与代数上的解释。
• 证明佩奇纳空间上迹函数之间的多项式关系自然诱导出边界上的热带关系。
• 通过赋值理论将摩根–沙伦（Morgan–Shalen）紧化推广，用类似热带的边界点替代无穷远点。

提出的方法

• 本文使用马斯洛去量化将实代数簇变形为热带半域，以研究其渐近行为。
• 将簇的阿莫巴定义为对数映射下的像，并利用其渐近行为通过赋值构造边界。
• 边界被构造为从坐标环上的实赋值映射 $ U_{\mathbb{R}} $ 的像，限制在生成集上非零值。
• 通过移除坐标为零的点并以赋值极限定义的新点来实现紧化，形成球面上的闭子集。
• 证明该边界的锥体为一个热带簇，具体为热带超曲面的一个子多面体。
• 该方法依赖于赋值理论与拟赋值序列，以表征理想点及其在边界上的像。

实验结果

研究问题

• RQ1 如何利用热带几何与阿莫巴自然地描述佩奇纳空间的边界？
• RQ2 瑟斯顿边界上的分段线性结构与热带簇的多面体结构之间有何关系？
• RQ3 佩奇纳空间上迹函数之间的多项式关系能否系统地转化为边界上的热带关系？
• RQ4 与经典的摩根–沙伦构造相比，该新紧化在结构与几何解释上如何？

主要发现

• 佩奇纳空间的边界被证明同胚于实赋值映射 $ U_{\mathbb{R}} $ 的像，建立了赋值理论与紧化之间的直接联系。
• 边界的分段线性结构自然继承自热带簇的多面体结构，证实其与瑟斯顿原始的PL结构等价。
• 佩奇纳空间上迹函数之间的每条多项式关系均诱导出边界上交形式的相应热带关系，为已知结果提供了理论基础。
• 紧化被实现为球面上的闭子集，且边界的锥体为一个热带簇，具体为热带超曲面的一个子多面体。
• 该构造通过用基于赋值的零坐标点替代方式，推广了摩根–沙伦紧化。
• 对于不可约簇，边界 $ B(V^\prime) $ 恰好为像 $ U_{\mathbb{R}}(S_{\mathbb{R}}^\prime) $，且该表征通过不可约分支的并集推广至可约情形。