The paper develops a new geometric framework for studying certain algebraic structures called semirings, which are like ordinary number systems but where subtraction is not necessarily allowed. The central object of study is the "congruence spectrum" of a semiring, which is a space built from special equivalence relations called prime congruences. This construction mirrors a classical tool in algebraic geometry called the spectrum of a ring, which turns algebraic objects into geometric spaces that can be studied with topological and sheaf-theoretic methods. The authors show that these congruence spectra have good topological properties, such as quasi-compactness, for a broad class of semirings.
The main focus is on tropical semirings, which replace ordinary addition and multiplication with operations like taking minimums and sums. These arise naturally in areas like optimization, combinatorics, and geometry. The authors study quotients of tropical polynomial and rational function semirings by congruences that capture which functions agree on a given geometric set. They prove reconstruction theorems showing that the algebraic structure can be fully recovered from the geometric space, and they establish a precise duality between algebraic and geometric categories, meaning the algebra and geometry faithfully encode each other.
As a concrete application, the paper analyzes tropical curves, which are piecewise-linear geometric objects that serve as combinatorial analogs of classical algebraic curves. The authors show that the congruence spectrum of the rational function semifield associated to a tropical curve with parallel rays can recover not just the shape of the curve, but also which rays point in the same direction and what the natural distances along the curve are. This is a strong result showing that the algebraic invariant captures subtle geometric information, pointing toward a robust tropical analog of classical algebraic geometry.