论文标题
通过Ganter算法的热带压实
Tropical compactification via Ganter's algorithm
论文作者
论文摘要
我们描述了欧几里得空间中多面体复合物的规范压实。当多面体复合物的衰退锥形成风扇时，压实的多面体复合物是热带复曲面品种的子空间。在这种情况下，该过程类似于Tori的亚变化的热带压缩。 我们对紧凑型的组合结构进行了分析，并表明可以通过Ganter的算法计算其Hasse图。我们的算法已在Polymake中实施并发货。
We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case, the procedure is analogous to the tropical compactifications of subvarieties of tori. We give an analysis of the combinatorial structure of the compactification and show that its Hasse diagram can be computed via Ganter's algorithm. Our algorithm is implemented in and shipped with polymake.
