Supertropical Monoids: Basics, Canonical Factorization, and Lifting Ghosts to Tangibles
arXiv:1108.1880
Abstract
Supertropical monoids are a structure slightly more general than the supertropical semirings, which have been introduced and used by the first and the third authors for refinements of tropical geometry and matrix theory in [IR1]-[IR3], and then studied by us in a systematic way in [IKR1]-[IKR3] in connection with "supervaluations". In the present paper we establish a category $\STROP_m$ of supertropical monoids by choosing as morphisms the "transmissions", defined in the same way as done in [IKR1] for supertropical semirings. The previously investigated category of supertropical semirings is a full subcategory of Moreover, there is associated to every supertropical monoid a supertropical semiring in a canonical way. A central problem in [IKR1]-[IKR3] has been to find for a supertropical semiring the quotient by a "TE-relation", which is a certain kind of equivalence relation on the set compatible with multiplication (cf. [IK1, Definition 4.5]). It turns out that this quotient always exists in $\STROP_m$. In the good case, that is a supertropical semiring, this is also the right quotient in $\STROP.$ Otherwise, analyzing we obtain a mild modification of to a TE-relation such that in $\STROP.$ In this way we now can solve various problems left open in [IKR1], [IKR2] and gain further insight into the structure of transmissions and supervaluations. Via supertropical monoids we also obtain new results on totally ordered supervaluations and monotone transmissions studied in [IKR3].
48 pages