[论文解读] Scheme theoretic tropicalization

Oliver Lorscheid|arXiv (Cornell University)|Aug 31, 2015

Polynomial and algebraic computation参考文献 44被引用 24

一句话总结

本文通过有序蓝胚与赋值，引入了方案论意义上的热带化，统一并增强了现有的热带化框架。通过将热带化建模为在幂等有序蓝胚上的模空间问题，构建了一个方案结构，该结构可恢复并改进Berkovich、Kajiwara-Payne、Macpherson与Thuillier的热带化，作为有理点集，同时保留了Maclagan-Rincon权等组合数据。

ABSTRACT

In this paper, we introduce ordered blueprints and ordered blue schemes, which serve as a common language for the different approaches to tropicalizations and which enhances tropical varieties with a schematic structure. As an abstract concept, we consider a tropicalization as a moduli problem about extensions of a given valuation $v:k o T$ between ordered blueprints $k$ and $T$. If $T$ is idempotent, then we show that a generalization of the Giansiracusa bend relation leads to a representing object for the tropicalization, and that it has yet another interpretation in terms of a base change along $v$. We call such a representing object a scheme theoretic tropicalization. This theory recovers and improves other approaches to tropicalizations as we explain with care in the second part of this text. The Berkovich analytification and the Kajiwara-Payne tropicalization appear as rational point sets of a scheme theoretic tropicalization. The same holds true for its generalization by Foster and Ranganathan to higher rank valuations. The scheme theoretic Giansiracusa tropicalization can be recovered from the scheme theoretic tropicalizations in our sense. We obtain an improvement due to the resulting blueprint structure, which is sufficient to remember the Maclagan-Rincon weights. The Macpherson analytification has an interpretation in terms of a scheme theoretic tropicalization, and we give an alternative approach to Macpherson's construction of tropicalizations. The Thuillier analytification and the Ulirsch tropicalization are rational point sets of a scheme theoretic tropicalization. Our approach yields a generalization to any, possibly nontrivial, valuation $v:k o T$ with idempotent $T$ and enhances the tropicalization with a schematic structure.

研究动机与目标

• 将不同的热带化方法统一为使用有序蓝胚的单一框架。
• 为热带簇附加一个方案结构，以保留如Maclagan-Rincon权等组合不变量。
• 将热带化推广至任意赋值 $v: k \to T$，其中 $T$ 为幂等，超越以往的限制。
• 为热带化提供一个模理论解释，即作为扩张问题的表示对象。
• 在方案设定下，恢复并改进Giansiracusa、Foster-Ranganathan与Macpherson等人的现有构造。

提出的方法

• 引入有序蓝胚与有序蓝方案作为热带几何的基础语言。
• 将热带化定义为参数化两个有序蓝胚之间赋值 $v: k \to T$ 扩张的模空间问题。
• 在 $T$ 为幂等时，以广义形式使用Giansiracusa弯折关系，构造一个表示对象。
• 证明该表示对象通过沿赋值 $v$ 的基变换产生，从而与经典构造相联系。
• 将方案论热带化的有理点解释为对应于已知热带化（如Berkovich、Kajiwara-Payne）的点。
• 证明蓝胚结构可编码Maclagan-Rincon权，从而提供比以往方法更精细的不变量。

实验结果

研究问题

• RQ1 能否为热带化开发一个统一框架，以整合并增强现有构造？
• RQ2 如何为热带簇附加一个方案结构，以保留如权值等组合数据？
• RQ3 在幂等有序蓝胚上的广义设定下，Giansiracusa弯折关系的作用是什么？
• RQ4 Berkovich解析化与Kajiwara-Payne热带化能否作为单一方案对象的有理点被恢复？
• RQ5 方案论热带化如何推广至高秩赋值与非平凡赋值？

主要发现

• 方案论热带化被构造为赋值扩张模空间问题的表示对象，提供了一个通用框架。
• 当 $T$ 为幂等时，广义Giansiracusa弯折关系可产生一个定义良好的表示对象，用于热带化。
• 方案论热带化有理点集包含Berkovich解析化与Kajiwara-Payne热带化。
• 热带化上的蓝胚结构足以恢复Maclagan-Rincon权，这是先前方法未能捕捉到的改进。
• Macpherson解析化被实现为方案论热带化有理点集，提供了一种替代构造。
• Thuillier解析化与Ulirsch热带化也作为此类方案论热带化有理点集出现。