Prime ideals in the Boolean polynomial semiring

1. Problem Statement and Context

The paper addresses the classification of prime ideals in the polynomial semiring $B[x]$, where $B = \{0, 1\}$ is the Boolean semifield (an additively idempotent semifield where $1+1=1$).

• Background: In classical commutative algebra over fields, the classification of prime ideals in polynomial rings is well-established. However, in the context of idempotent semirings (crucial for tropical geometry), the lack of additive inverses makes the structure of ideals significantly different and more complex.
• Specific Gap: Previous work by F. Alarcón and D. Anderson ([1]) provided a partial classification of prime ideals in $B[x]$. They established a correspondence between prime ideals containing the ideal $\langle x \rangle$ and "prime subsets" of natural numbers $\mathbb{N}$. For ideals not containing $\langle x \rangle$, they conjectured that every prime ideal $P$ is of the form $J_A$ (defined via a prime subset $A$).
• The Conjecture to Disprove: The authors aim to disprove the conjecture that all prime ideals in $B[x]$ not containing $\langle x \rangle$ are of the form $J_A$ for some prime subset $A \subseteq \mathbb{N}$.

2. Methodology and Definitions

The authors employ a structural analysis of the relationship between prime ideals and subsets of $\mathbb{N}$.

• Prime Subsets: A subset $A \subseteq \mathbb{N}$ is defined as prime if $a+b \in A \implies a \in A$ or $b \in A$.
  • Key Lemma: $A$ is a prime subset if and only if its complement $N \setminus A$ is a semigroup in $\mathbb{N}$.
• Parametrization by Semigroups: Since semigroups in $\mathbb{N}$ are finitely generated, the complement $N \setminus A$ is generated by a set $\{b_1, \dots, b_s\}$. The authors define a parameter $d = \gcd(b_1, \dots, b_s)$. This allows the partitioning of all prime subsets into classes $[d]$ indexed by positive integers $d$.
• Ideal Construction:
  • $I_A = \langle x, \{1+x^a \mid a \in A\} \rangle$: Ideals containing $\langle x \rangle$.
  • $J_A$: Ideals not containing $\langle x \rangle$, originally defined by Alarcón and Anderson.
  • Property $\star$: A polynomial $f(x) = 1 + x^{m_1 d} + \dots + x^{m_r d}$ satisfies property $\star$ if at least one exponent is in $A$, not all are in $A$, and there exists a specific difference condition regarding the exponents relative to $A$.

3. Key Contributions and Results

A. Disproof of the Alarcón-Anderson Conjecture

The authors construct a counterexample (Example 2.4) to the conjecture that all prime ideals not containing $\langle x \rangle$ are of the form $J_A$.

• They define an ideal $J = \langle 1+x, \{1+x^a+x^{a+1} \mid a \ge 0\} \rangle$.
• They prove $J$ is a prime ideal.
• They show that $J$ cannot be represented as $J_A$ for any prime subset $A$, thereby demonstrating that the classification in [1] was incomplete.

B. Complete Classification of Prime Ideals in $B[x]$

The paper provides a complete classification of prime ideals in $B[x]$ based on the parameter $d$ derived from the associated prime subset $A$.

Theorem A (Parametrization):
For any prime ideal $P \subseteq B[x]$, the set $A_P = \{a \mid 1+x^a \in P\}$ is a prime subset of $\mathbb{N}$. This establishes a surjective map from prime ideals to prime subsets.

Theorem B (Main Classification):
Let $A$ be a non-empty prime subset, $N \setminus A = \langle a_1, \dots, a_r \rangle$, and $d = \gcd(a_1, \dots, a_r)$. Let $J$ be a prime ideal not containing $\langle x \rangle$.

1. Case $d \notin A$: The ideal is uniquely determined by the subset: $J = J_A$.
2. Case $d \in A$: The ideal is either $J = J_A$ OR it is of the form:
   $$J = \langle \{1 + x^m + x^{m+a} \mid a \in A, m \ge 0\}, Q \rangle$$
   where $Q$ is a subset of irreducible polynomials satisfying property $\star$.

This result proves that when $d \in A$, there are "extra" prime ideals beyond the standard $J_A$ construction, specifically generated by polynomials satisfying the specific combinatorial conditions of property $\star$.

C. Multivariable Case ($B[x_1, \dots, x_n]$)

The authors extend their analysis to the multivariable case but note that a complete classification remains an open problem.

• They generalize the construction of $I_A$ for subsets $A \subseteq \mathbb{N}^n$.
• They prove that $I_A$ is prime if and only if $A$ is a prime subset of $\mathbb{N}^n$.
• They demonstrate that the construction $J_A$ (used in the univariate case) fails to be an ideal in the multivariable setting.
• They provide examples of distinct prime ideals in $B[x, y]$ where the associated set $A$ is empty, highlighting the increased complexity and the existence of "closed" prime ideals (related to congruences) that do not fit the simple $I_A$ or $J_A$ patterns.

4. Significance

• Resolution of an Open Problem: The paper definitively resolves the classification of prime ideals in the one-variable Boolean polynomial semiring, correcting a previous conjecture.
• Structural Insight: It reveals that the structure of prime ideals in idempotent semirings is richer than previously thought, depending heavily on the arithmetic properties (specifically the GCD of the generators of the complement semigroup) of the associated prime subsets.
• Tropical Geometry Relevance: Since Boolean semirings are the foundation of tropical geometry (where the max-plus algebra is often used), understanding the ideal structure is vital for defining and analyzing tropical varieties. The paper clarifies that "k-ideals" (subtractive ideals) are too restrictive and that "closed" or "tropical" ideals require a more nuanced classification involving the specific combinatorics of exponents.
• Future Directions: The work sets the stage for the multivariable case, identifying that the univariate classification does not directly generalize and that new phenomena (like the failure of $J_A$ to be an ideal) arise in higher dimensions.

Summary of Theorems

• Theorem 3.1: Establishes the bijection between prime ideals and prime subsets of $\mathbb{N}$ via the set of exponents $a$ where $1+x^a \in P$.
• Theorem 4.11 & 4.12: Characterize the ideals in the case $d \in A$, showing they are either the standard $J_A$ or generated by $J_A$ plus specific irreducible polynomials satisfying property $\star$.
• Theorem 4.13: Proves that if $d \notin A$, the ideal is strictly $J_A$.
• Theorem 5.1: Generalizes the $I_A$ construction to $n$ variables, proving primality conditions for the multivariable case.