Space of prime congruences in tropical geometry

Abstract: We investigate spaces of prime congruences on tropical algebras and study their geometry, inspired by classical scheme theory. Our main strategy is to use tropical algebras associated to ordered monoids, which play the role of the monomial structure of these algebras. Using the space of prime congruences as local models, we introduce a tropical toric scheme which contains the usual tropical toric variety as a subspace. We show how the separatedness and properness of these schemes are captured by scheme-theoretic points. As an application of our framework, we obtain a necessary and sufficient condition for a prime congruence to be finitely generated.

• The paper establishes a bijective correspondence between prime congruences and combinatorial flag data, enabling a scheme-theoretic approach in tropical geometry.
• It constructs tropical toric schemes by gluing spectra of prime congruences and detailing their topological and stratification properties via monoidal flags.
• The study provides a precise criterion for finitely generated prime congruences, linking finite generation to flag length and offering practical insights for computations.

Authoritative Summary of "Space of prime congruences in tropical geometry" (2606.01726)

Introduction and Context

The paper develops an algebraic framework for understanding the geometric structure of tropical algebras via the lens of prime congruences, providing a scheme-theoretic approach analogous to classical algebraic geometry. In contrast to most existing work which focuses on tropical varieties as polyhedral complexes, this work proposes that the spaces of prime congruences encode significant geometric information, and constructs a formalism for tropical toric schemes using these spaces as local models. The notion of prime congruence, already studied in earlier work (e.g., [joo2018prime]), is extended and structurally classified using combinatorial data, providing both theoretical insight and practical criteria for the generation and dimension of congruences in tropical settings.

Framework and Key Definitions

The foundation of the approach is the reinterpretation of basic algebras in tropical geometry ($B$ and $T$) as semirings or, more generally, as $B$-algebras or $T$-algebras associated to ordered monoids. The main objects of study are the sets $CSpec S$ of all prime congruences on a semiring $S$ and their associated topologies, adapted from the Zariski topology of scheme theory.

Ordered Monoids and Tropical Algebras

Given a free abelian group $M$ with a specified order, the $B$-algebra $B[M]$ or its $T$-extension $T$0 is constructed via monomial supports, taking account of the monoidal ordering. This defines the algebraic base for studying congruences.

Prime Congruences and Their Classification

A prime congruence is an equivalence relation on a semiring that satisfies a version of the prime property via the twisted product, which ensures the quotient is totally ordered and cancellative. The paper proves that, for key tropical algebras, the space of prime congruences can be completely classified using combinatorial constructs called "flags," which are sequences of nested subspaces and orientations in $T$1. This classification removes deficiencies from previous matrix-based descriptions, which suffered from non-uniqueness.

Flag Classification and Stratification

The central technical innovation is the introduction of $T$2-flags as canonical combinatorial data uniquely corresponding to prime congruences on $T$3. An $T$4-flag is a chain of hyperplanes in $T$5 with specified orientations, subject to a compatibility condition ensuring they accommodate the tropical positive cone. This flag apparatus translates the inclusion and stratification structure of the spectrum of prime congruences into explicit combinatorial terms.

Main Theorems

• One-to-One Correspondence: There is a bijective correspondence between $T$6 and the set of all $T$7-flags, generalizing the description for all associated tropical algebras, including affine and Laurent settings (Theorem [A]).
• Inclusion Structure: The lattice of prime congruences is governed by truncations and restrictions of flags, directly translating algebraic inclusion to combinatorial operations.
• Stratification: The congruence spectra decompose into strata indexed by faces of the monoid (or the corresponding cone in toric settings), with each stratum described as a flag space over the corresponding substructure.

Tropical Toric Schemes

Adopting the flag framework, the paper constructs "tropical toric schemes" as global geometric objects glued from the spectra of prime congruences over each monoid algebra corresponding to cones in a fan. The classical tropical toric variety is embedded as the subspace of geometric points (corresponding to maximal height, i.e., height $T$8 in $T$9-dimensional toric settings). The work rigorously describes the topology, dimension theory, and the relationship between separatedness/properness in this non-classical setting.

Embedding and Dimensionality

• The tropical toric variety $B$0 embeds homeomorphically into the tropical toric scheme $B$1 as the locus where the dimension at each point realizes the maximal possible value (Theorem [B]).
• If the underlying fan is complete, the geometric points coincide with the closed points in the topological space, replicating the classical behavior.

Implications for Separation and Properness

The paper explores how flag data and scheme-theoretic properties (e.g., the uniqueness of geometric closures) reflect topological separation and properness, leading to precise, scheme-theoretic reformulations of these classical notions in the tropical setting.

Finitely Generated Congruences

A significant algebraic application is a complete characterization of when a prime congruence on a standard tropical algebra is finitely generated. The strong technical result is the following: for prime congruences on $B$2, being finitely generated is equivalent to the associated flag having length $B$3, with specific structural constraints on the corresponding submonoid (Theorem [C]). Explicitly, only maximal, geometric, or certain length $B$4 flags (with rational hyperplane support) yield finitely generated congruences. This provides not only an effective criterion for practical computations but also theoretical insight into the "sparseness" of finitely generated prime congruences in tropical geometry.

Implications and Future Directions

This work offers a rigorous algebraic stratification of tropical algebraic objects that parallels scheme theory, making the geometry of congruence spectra explicit, computable, and closely linked to combinatorial data. By unifying the algebraic, combinatorial, and geometric perspectives, it lays the groundwork for:

• Further investigation of moduli-type problems in tropical settings.
• Tropical versions of scheme-theoretic results, such as Nullstellensatz analogues, separation criteria, and morphism classification.
• Extensions to non-finitely generated monoids, degeneration/compactification questions, and applications to valuation-theoretic approaches in tropical and non-Archimedean geometry.

The adoption of the flag formalism for congruence spectra suggests new vistas for both the theoretical advancement and practical application of tropical geometry, potentially influencing algorithmic, combinatorial, and topological studies in tropical and idempotent algebraic geometry.

Conclusion

The paper systematically classifies spaces of prime congruences in tropical algebras via flag data, establishes a comprehensive structure theory for their topological and algebraic properties, constructs tropical toric schemes that generalize classical constructions, and provides sharp criteria for finite generation of prime congruences. This unification of combinatorial and scheme-theoretic methods reinforces the role of prime congruences as foundational objects in tropical geometry and opens avenues for further scheme-level developments in tropical and idempotent contexts.