[Paper Review] Categories of layered semirings

Zur Izhakian, Manfred Knebusch+1 more|University of Regensburg Publication Server (University of Regensburg)|Jul 15, 2012

Logic, programming, and type systems14 references4 citations

TL;DR

This paper introduces a generalized framework for layered semirings that extends tropical algebra to noncancellative monoids, enabling finite arithmetic structures crucial for tropical geometry and valuation theory. The key contribution is a new construction (Theorem 3.6) that ensures distributivity in layered semirings via a 0-layer and refined sort transition maps, allowing finite examples and broader categorical applications.

ABSTRACT

We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended accordingly, to cover noncancellative monoids.

Motivation & Objective

• To extend the categorical framework of layered semirings to noncancellative monoids, enabling finite arithmetic structures in tropical geometry.
• To resolve the failure of distributivity in naive layered constructions by introducing a 0-layer and refined sort transition maps.
• To provide finite examples of layered semirings through truncation of valued monoids and sorting sets, supporting applications in arithmetic tropical geometry.
• To generalize the tropicalization functor to arbitrary rings, not just integral domains, via 0-excepted homomorphisms.
• To unify layered supervaluations with semiring morphisms under natural assumptions, linking to existing categories like STROP

Proposed method

• Constructs a layered semiring using a sorting set $L$ with a 0-layer and infinite layer, defining multiplication via sort transition maps to preserve distributivity.
• Introduces a new construction (Construction 3.5) and proves its validity via Theorem 3.6, ensuring distributivity even in noncancellative settings.
• Defines layered morphisms via a semiring homomorphism $\rho: L \to L'$ and a monoid homomorphism $\varphi: R \to R'$, with axioms M1–M3 preserving sort and equivalence relations.
• Applies truncation to both the valued monoid and sorting set to generate finite layered semirings, as demonstrated in Example 4.19.
• Uses Kapranov’s Lemma to define a Kapranov map that induces a layering functor for polynomial functions, compatible with existing tropicalization maps.
• Generalizes the theory beyond semirings by introducing 'layered monoids' in Appendix A, where addition is undefined between 0-layer and positive layers

Experimental results

Research questions

• RQ1 How can layered semirings be constructed to maintain distributivity when the underlying monoid is noncancellative?
• RQ2 Can finite tropical structures be constructed within the layered semiring framework, despite ordered monoids being inherently infinite?
• RQ3 How can the tropicalization functor be extended to rings that are not integral domains, using 0-excepted homomorphisms?
• RQ4 In what way do layered supervaluations become layered homomorphisms under natural assumptions, and how does this relate to the category STROP?
• RQ5 What modifications are required to the axiomatic system when the sorting set $L$ is no longer a semiring but only a multiplicative monoid?

Key findings

• Theorem 3.6 establishes that the proposed layered semiring construction (Construction 3.5) satisfies distributivity, even for noncancellative monoids, by introducing a 0-layer and refined sort transition maps.
• Example 4.19 demonstrates that truncation of both the valued monoid and sorting set yields finite layered semirings, enabling finite arithmetic applications.
• The Kapranov map, derived from Kapranov’s Lemma, provides a layering functor for polynomial functions that is compatible with the tropicalization map in [27].
• Theorem 7.8 and its corollary show that under natural assumptions, transmissions of layered supervaluations become layered homomorphisms, linking to the category STROP.
• In Appendix A, the authors construct a generalized framework for layered monoids without requiring a full semiring structure, by restricting addition to avoid distributivity breakdown in the 0-layer.
• The weakened axioms (wA2, wA3, wB) allow for a version of the theory without a 0-layer, broadening applicability to arithmetic contexts where zero is not required