Abstract:In this note, we provide several equivalent descriptions of the tropicalization of definable sets in a polynomially bounded o-minimal expansion of a real closed field. We show that the tropicalization can be described in multiple ways: as the image under the valuation map, as the image under the tropicalization map of the archimedean points in the o-minimal spectrum, in terms of initial degenerations of the definable set and initial nonnegativity cones, or via the real tropicalization of polynomials belonging to the corresponding nonnegativity cone. Moreover, we prove analogous results for the fine tropicalization of definable sets, where the valuation map is replaced by the RV sort map, which records not only the valuation of a point but also its angular component.
From: Lorenzo Baldi [view email]
[v1]
Fri, 12 Jun 2026 14:57:09 UTC (51 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。