多面体面的热带化

众所周知，任何热带多面体都是 Puiseux 级数域上普通多面体在赋值映射下的像。后者多面体被称为该热带多面体的提升。我们证明了任何纯热带多面体都是某些提升的面定义半空间在赋值映射下的像所给出的热带半空间的交集。我们考虑了给定多面体的几何性质，显式地构造了这一提升。此外，当热带多面体的生成元处于一般位置时，我们证明了上述性质对任何提升都成立。这解决了 Develin 和 Yu 的一个猜想。