Pure Dimension and Projectivity of Tropical Polytopes

TL;DR

This paper explores the relationship between geometric properties of tropical convex sets and their algebraic structures, revealing new insights into tropical polytopes, projectivity, and idempotency through algebraic methods.

Contribution

It establishes a novel connection between pure dimension and projectivity in tropical convex sets, bridging tropical geometry and ring theory.

Findings

Link between pure dimension and projectivity of tropical convex sets

Geometric interpretation of idempotency in tropical matrices

Potential for applying algebraic techniques in tropical geometry

Abstract

We study how geometric properties of tropical convex sets and polytopes, which are of interest in many application areas, manifest themselves in their algebraic structure as modules over the tropical semiring. Our main results establish a close connection between pure dimension of tropical convex sets, and projectivity (in the sense of ring theory). These results lead to a geometric understanding of idempotency for tropical matrices. As well as their direct interest, our results suggest that there is substantial scope to apply ideas and techniques from abstract algebra (in particular, ring theory) in tropical geometry.