Congruence spectra and geometric reconstruction of T-algebras
Abstract
We develop a geometric theory of congruence spectra for semirings. We define the congruence spectrum for a semiring as the set of prime congruences on it, equip it with the Zariski topology, and construct a structure sheaf. For a class of semirings including B-algebras, we establish quasi-compactness of their congruence spectra. We then prove reconstruction results for congruence spectra of quotients K/E(V), where V is a subset of Euclidean space, K is a tropical Laurent polynomial semiring, a tropical Laurent polynomial function semiring, or a tropical rational function semifield, and E(V) is the congruence of pairs of elements of K that agree on V. The global sections of the structure sheaf recover K/E(V), and the corresponding algebraic and geometric categories are contravariantly equivalent. For finite unions of R-rational polyhedral sets V, we completely classify the prime congruences on K / E(V). As an application, we study rational function semifields of tropical curves with parallel rays. We show that their congruence spectra recover the underlying curves together with the parallelism of rays and their intrinsic metrics.
Related
- Congruence lattices of $2$-valued unary algebras
- On the Reconstruction of SAS from Other Triangle Congruence Criteria, Part II: Eliminating the Pons Asinorum
- On the Reconstruction of SAS from Other Triangle Congruence Criteria
- Spectra of Beurling algebras of abelian groups
- Superstrip Algebras and Nonperturbative Spectra in Fermionic Theories
BibTeX
@misc{song2026congruence,
title = {{Congruence spectra and geometric reconstruction of $\boldsymbolT$-algebras}},
author = {JuAe Song},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.28495},
eprint = {2609.28495},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.28495},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Congruence spectra and geometric reconstruction of T-algebras
AU - JuAe Song
PY - 2026
DA - 2026/10/09
PB - arXiv
DO - 10.48550/arxiv.2609.28495
UR - https://arxiv.org/abs/2609.28495
AB - We develop a geometric theory of congruence spectra for semirings. We define the congruence spectrum for a semiring as the set of prime congruences on it, equip it with the Zariski topology, and construct a structure sheaf. For a class of semirings including B-algebras, we establish quasi-compactness of their congruence spectra. We then prove reconstruction results for congruence spectra of quotients K/E(V), where V is a subset of Euclidean space, K is a tropical Laurent polynomial semiring, a tropical Laurent polynomial function semiring, or a tropical rational function semifield, and E(V) is the congruence of pairs of elements of K that agree on V. The global sections of the structure sheaf recover K/E(V), and the corresponding algebraic and geometric categories are contravariantly equivalent. For finite unions of R-rational polyhedral sets V, we completely classify the prime congruences on K / E(V). As an application, we study rational function semifields of tropical curves with parallel rays. We show that their congruence spectra recover the underlying curves together with the parallelism of rays and their intrinsic metrics.
ER -