Affine Schemes in Commutative Semiring Theory

• Affine schemes for commutative semirings are generalized geometric structures that replace rings with semirings, employing prime ideals, subtractive kernels, and congruences.
• They adapt classical Zariski topologies and structure sheaf constructions to support localization and gluing, enabling direct developments in tropical and idempotent geometry.
• Applications span non-archimedean geometry and F1-geometry, with tools like universal valuations and lattice-theoretic techniques unifying various spectrum approaches.

Affine schemes for commutative semirings generalize classical affine scheme theory by replacing the ring structure with that of a commutative semiring, and adapting the underlying geometric and algebraic data accordingly. This theory supports multiple generalizations—including those using prime ideals, prime (subtractive) kernels, and prime congruences—and enables direct development of tropical and idempotent schemes, with applications in non-archimedean geometry and “$\mathbb F_1$-geometry.” The subject has diverse foundations tied to congruence theory, lattice-theoretic and order-theoretic techniques, and the theory of idempotent semirings.

1. Commutative Semirings and Prime Objects

A commutative semiring $A$ consists of a set $A$ with two binary operations $+$ and $\cdot$ such that $(A, +)$ is a commutative monoid with identity $0_A$, $(A, \cdot)$ is a commutative monoid with identity $1_A$, distributivity holds, and $a \cdot 0_A = 0_A$ for all $A$0. Additively idempotent semirings (where $A$1 for all $A$2) play a central role in tropical geometry and idempotentification procedures (Boudreau et al., 2023, Gualdi et al., 20 Jan 2026).

Several prime-like objects are key for defining spectra:

• Prime ideals: $A$3 is a prime ideal if $A$4 implies $A$5 or $A$6.
• Subtractive (prime kernel) ideals: $A$7 is subtractive if, whenever $A$8 with $A$9, then $A$0. Prime subtractive ideals are called prime kernels. For rings, all ideals are subtractive, but not for general semirings (Gualdi et al., 20 Jan 2026).
• Prime congruences: A congruence $A$1 is an equivalence relation that is a subsemiring. The spectrum of prime congruences, $A$2, plays a parallel role to $A$3 in the classical case (Qiu, 2015).

2. Spectra and Zariski-Type Topologies

Multiple spectrum constructions underpin affine semiring geometry:

• Prime Ideal Spectrum: $A$4 is a prime ideal$A$5, with closed sets $A$6. The corresponding Zariski topology uses these closed sets or their basic open complements $A$7 (Gualdi et al., 20 Jan 2026).
• Prime Kernel Spectrum: $A$8 is a prime subtractive (kernel) ideal$A$9, with topology inherited from $+$0. The basic opens are $+$1 (Gualdi et al., 20 Jan 2026).
• Prime Congruence Spectrum: $+$2 is a prime congruence$+$3; the closed sets are $+$4 for congruences $+$5 (Qiu, 2015).

For idempotent semirings, spectrum theories often yield topologies with superior dimension-theoretic behavior and better connections to tropicalization (Gualdi et al., 20 Jan 2026).

3. Structure Sheaves, Gluing, and Localization

The structure sheaf formalism for affine schemes over semirings adapts classical gluing, localization, and stalk arguments:

• Spec(A)-schemes: The structure sheaf $+$6 is defined uniquely so that $+$7 (localization), and stalks are $+$8 (Gualdi et al., 20 Jan 2026).
• Spec$+$9(A)-schemes: The congruence-based construction employs basic opens $\cdot$0 with structure sheaf $\cdot$1 given by localizations at suitable multiplicative systems. This construction ensures that gluing and stalk properties directly mirror those of classical affine schemes (Qiu, 2015).
• Idempotent and kernel spectra: For $\cdot$2, one defines the sheaf by “kernel-localization,” i.e., inverting the saturated multiplicative system associated to an open in $\cdot$3, yielding sheaf $\cdot$4 (Gualdi et al., 20 Jan 2026). The idempotentization process also produces sheaves with stalks at $\cdot$5 given by localizations $\cdot$6, where $\cdot$7 is the semiring of finitely generated ideals (Boudreau et al., 2023).

These constructions are functorial, compatible with morphisms between semirings, and behave well under base change and localization.

4. Congruence Schemes, Algebraic Varieties, and the Congruence Nullstellensatz

Prime congruence schemes and their associated Zariski topologies extend classical algebraic geometry:

• Given $\cdot$8 (semirings), $\cdot$9, and a congruence $(A, +)$0 on $(A, +)$1, one defines, for $(A, +)$2, the $(A, +)$3-vanishing locus $(A, +)$4 (Qiu, 2015).
• If $(A, +)$5 is a prime congruence, the collection of $(A, +)$6 satisfies the axioms of the closed subsets of a topology, with explicit union and intersection formulas involving the twist-product of pairs in $(A, +)$7.
• The theory establishes a Galois correspondence between congruences on $(A, +)$8 and $(A, +)$9-closed sets in $0_A$0, including a version of the Nullstellensatz for congruences: the congruence of vanishing on $0_A$1, $0_A$2, and the $0_A$3-radical of $0_A$4 interact as expected, and in favorable conditions (e.g., $0_A$5 or $0_A$6 a $0_A$7-semifield), strict equalities as in the classical Nullstellensatz are obtained.
• There is an interpretation akin to Hilbert's Nullstellensatz in terms of morphisms between suitably quotiented $0_A$8-algebras and $0_A$9-semirings: $(A, \cdot)$0 (Qiu, 2015). Irreducible $(A, \cdot)$1-varieties correspond to prime congruences on $(A, \cdot)$2 containing $(A, \cdot)$3.

5. Idempotentization, Subtractive Ideals, and Lattice-Theoretic Structures

Idempotentization (or “tropicalization”) of affine schemes replaces the ring by its idempotent semiring of finitely generated ideals $(A, \cdot)$4; addition and multiplication correspond to sum and product of ideals. The global sections of the idempotentized structure sheaf are identified with $(A, \cdot)$5. On a Noetherian ring $(A, \cdot)$6, this yields a homeomorphism between the spectrum of subtractive $(A, \cdot)$7-prime ideals of $(A, \cdot)$8 and the usual $(A, \cdot)$9 (Boudreau et al., 2023).

Key lattice-theoretic correspondences arise:

• For an $1_A$0-module $1_A$1, the poset of $1_A$2-submodules is isomorphic to the poset of $1_A$3-ideals of the semiring of finitely generated submodules of $1_A$4.
• The set of subtractive ideals $1_A$5 embeds as a topological retract of the space of all congruences $1_A$6. With the coarse-lower topology, $1_A$7 (sending $1_A$8 to the generated congruence) and $1_A$9 (sending a congruence $a \cdot 0_A = 0_A$0 to $a \cdot 0_A = 0_A$1) satisfy $a \cdot 0_A = 0_A$2 (Boudreau et al., 2023).
• Similarly, subtractive-closure yields a retraction $a \cdot 0_A = 0_A$3, identifying $a \cdot 0_A = 0_A$4 as a closed subspace of $a \cdot 0_A = 0_A$5 with the coarse-upper topology.

This structure underpins the well-behaved nature of spectra defined using subtractive ideals and relates to both topological and order-theoretic aspects of tropical schemes.

6. Universal Valuations and Unification of Spectra

Universal valuations provide a natural bridge between spectrum constructions:

• For an $a \cdot 0_A = 0_A$6-algebra $a \cdot 0_A = 0_A$7, the canonical $a \cdot 0_A = 0_A$8-valuation $a \cdot 0_A = 0_A$9 (where $A$00 is the semiring of finitely generated $A$01-subsemimodules of $A$02) has the property that any $A$03-valuation $A$04 factors through $A$05 uniquely (Gualdi et al., 20 Jan 2026).
• The induced map $A$06 is a homeomorphism, so the ideal-theoretic and kernel-theoretic (i.e., subtractive) approaches coincide after idempotentization of the coordinate algebra.
• This suggests that, in the presence of idempotentization, geometric objects parametrized by affine schemes for commutative semirings can be functorially interpreted in terms of $A$07-valuations and tropical points.

The universal-valuation framework unifies the disparate approaches to semiring schemes and clarifies the categorical relations between them.

7. Examples and Applications

Selected examples illustrate the range of these theories:

• For $A$08, $A$09 includes all $A$10 (for $A$11 prime), $A$12, and $A$13, but $A$14 is just the former two, reflecting more geometric behavior (Gualdi et al., 20 Jan 2026).
• For the Boolean semiring $A$15, $A$16 is a two-point Sierpiński space; $A$17 is infinite.
• For tropical semirings ($A$18), both $A$19 and $A$20 are $A$21.
• For $A$22, $A$23 contains both arithmetic and geometric primes, while $A$24 via hardening (Gualdi et al., 20 Jan 2026).
• In idempotentization, for $A$25, $A$26 is the semiring of finitely generated ideals of $A$27, with localizations over distinguished opens matching the localization of ideals in $A$28 (Boudreau et al., 2023).

These results highlight both the versatility of affine schemes over semirings and nuances regarding the spectra, sheaf theory, and categorical structures compared to classical algebraic geometry.