Answers are grounded in this paper and cite their sources.
We prove a general finiteness statement for the ordered abelian group of tropical functions on skeleta in Berkovich analytifications of algebraic varieties. Our approach consists in working in the framework of stable completions of algebraic varieties, a model-theoretic version of Berkovich analytifications, for which we prove a similar result, of which the former one is a consequence.
No takes yet. Share an insight, caveat, or question.
Ducros et al. (2024) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: