[Paper Review] A tropical Krull-Schmidt theorem

Tal Perri, Louis Rowen|arXiv (Cornell University)|Aug 20, 2014

Polynomial and algebraic computation15 references3 citations

TL;DR

This paper establishes a tropical Krull-Schmidt theorem for the $ν$-semifield of fractions $F(\Lambda)$ of a polynomial semiring over a $ν$-archimedean $ν$-semifield $F$, proving that the hyperdimension of an HS-kernel equals its height via convexity degree, and showing that $F(\Lambda)$ has Krull dimension $n$, with maximal chains of HS-kernels corresponding to HP-kernels.

ABSTRACT

We develop some algebraic structure notions such as composition series and convexity degree, along with some notions holding a geometric interpretation, like reducibility and hyperdimension, with the main objective being a tropical Krull-Schmidt theorem.

Motivation & Objective

• To develop a tropical analog of the Krull-Schmidt theorem in the context of semifield kernels for algebraic geometry over semirings.
• To establish a connection between algebraic invariants—hyperdimension and height—via the notion of convexity degree in $F(\Lambda)$.
• To prove that the dimension of $F(\Lambda)$ is $n$, the number of indeterminates, using chains of HS-kernels.
• To characterize irreducible HS-kernels as HP-kernels and show that every factor in a maximal chain is an HP-kernel.
• To provide a geometric interpretation of kernel decompositions through region kernels and local HS-representations of elements in $F(\Lambda)$.

Proposed method

• Introduces the concept of convexity degree $d_{\text{conv}}(L)$ for a kernel $L$, measuring the size of a maximal $F$-convexly independent set in $\operatorname{Conv}(L)$.
• Defines HS-kernels (hyperdimensional semisimple kernels) and HP-kernels (hyperdimensional prime kernels), which are irreducible in the lattice of kernels.
• Uses the Zariski correspondence for $\nu$-kernels to relate algebraic chains to geometric loci in the hyperspace-spectrum.
• Applies the Jordan-Hölder theorem for $\nu$-kernels to ensure uniqueness of composition series in the kernel lattice.
• Constructs chains of HS-kernels descending from a given kernel $L$, showing that the maximal length equals $d_{\text{conv}}(L)$.
• Uses the isomorphism $\prod_{i=1}^{j}L_i / \prod_{i=1}^{j-1}L_i \cong L_j / (L_j \cap \prod_{i=1}^{j-1}L_i)$ to analyze factor rings and confirm HP-kernel structure.

Experimental results

Research questions

• RQ1 Does the height of an HS-kernel in $F(\Lambda)$ equal its hyperdimension, as measured by convexity degree?
• RQ2 Can a tropical Krull-Schmidt theorem be established for $F(\Lambda)$, ensuring uniqueness of decomposition into irreducible components?
• RQ3 What is the dimension of $F(\Lambda)$, and how does it relate to the number of indeterminates $n$?
• RQ4 How do region kernels and local HS-representations of elements $f \in F(\Lambda)$ reflect the global algebraic structure?
• RQ5 Are all factors in a maximal chain of HS-kernels necessarily HP-kernels, and what does this imply for the spectrum of $F(\Lambda)$?

Key findings

• The height of any HS-kernel $L$ in $F(\Lambda)$ equals its convexity degree, i.e., $\operatorname{hgt}(L) = d_{\text{conv}}(L)$, as proven in Theorem 3.52.
• The hyperdimension of $F(\Lambda)$ is $n$, the number of indeterminates, as shown in Corollary 3.53: $\operatorname{Hdim}(F(\Lambda)) = d_{\text{conv}}(F(\Lambda)) = n$.
• Every factor in a maximal descending chain of HS-kernels is an HP-kernel, confirming the irreducibility of components in the decomposition.
• For any principal regular kernel $\langle f\rangle$, there exists a finite partition of $F^{(n)}$ into regions defined by region kernels $R_{i,j}$, over which $f$ has local HS-representations.
• The kernel $N_j = B_j \cdot R_{2,j}$ for $j=1,\dots,t$ satisfies $d_{\text{conv}}(N_j) = 0$, implying $\operatorname{Hdim}(F(\Lambda)/N_j) = n$, while $K_i = L_i \cdot R_{1,i}$ satisfies $\operatorname{d}_{\text{conv}}(K_i) = \operatorname{Hdim}(L_i) \geq 1$, so $\operatorname{d}_{\text{conv}}(F(\Lambda)/K_i) = n - \operatorname{HDim}(L_i) < n$.
• Each quotient $F(\Lambda)/L_i$ corresponds to an affine subspace in $F^{(n)}$ under logarithmic scale, providing an algebraic description of the 1-set of $f$.