Dominance and transmissions in supertropical valuation theory

Abstract

This paper is a sequel of [IKR1], where we defined supervaluations on a commutative ring R and studied a dominance relation Φ>=v between supervaluations φ and υ on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry. A supervaluation φ:R→U is a multiplicative map from R to a supertropical semiring U, cf. [IR1], [IR2], [IKR1], with further properties, which mean that φ is a sort of refinement, or covering, of an m-valuation (= monoid valuation) υ:R→M. In the most important case, that R is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [B], while φ>=υ means that υ:R→V is a sort of coarsening of the supervaluation φ. If φ(R) generates the semiring U, then φ>=υ if there exists a "transmission" α:U→V with φ=α∘φ. Transmissions are multiplicative maps with further properties, cf. [IKR1, §55]. Every semiring homomorphism α:U→V is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the paper we study surjective transmissions via equivalence relations on supertropical semirings, often much more complicated than congruences by ideals in usual commutative algebra.