Abstract:We prove that the congruence on the tropical rational function semifield in $n$-variables associated with a subset $V$ of $\boldsymbol{R}^n$ is finitely generated if and only if the closure of $V$ is a finite union of $\boldsymbol{R}$-rational polyhedral sets. With this fact, we characterize rational function semifields of tropical curves.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the finitely - generated congruence problem over the tropical rational function semifield. Specifically, the author proves that the congruence \(E(V)\) on the tropical rational function semifield \(T(X_1,\ldots,X_n)\) associated with a subset \(V\) of \(\mathbb{R}^n\) is finitely - generated if and only if the closure of \(V\) (in the usual sense) is a union of a finite number of \(\mathbb{R}\)-rational polyhedral sets.
### Main Conclusions
1. **Theorem 1.1**:
- Let \(V\) be a subset of \(\mathbb{R}^n\). Then \(E(V)\) is finitely - generated if and only if the closure of \(V\) (in the usual sense) is a union of a finite number of \(\mathbb{R}\)-rational polyhedral sets.
2. **Corollary 1.2**:
- For a congruence \(E\) on \(T(X_1,\ldots,X_n)\), if \(E\) is finitely - generated, then \(E(V(E))\) is also finitely - generated. Here \(V(E)\) is the congruence variety associated with \(E\) and is located in \(\mathbb{R}^n\).
3. **Corollary 1.3**:
- Let \(V\) and \(W\) be subsets of \(\mathbb{R}^n\) and \(\mathbb{R}^m\) respectively. When the quotient \(T\)-algebras \(T(X_1,\ldots,X_n)/E(V)\) and \(T(Y_1,\ldots,Y_m)/E(W)\) are isomorphic as \(T\)-algebras, \(E(V)\) is finitely - generated if and only if \(E(W)\) is finitely - generated.
4. **Corollary 1.4**:
- Let \(V\) be a union of a finite number of \(\mathbb{R}\)-rational polyhedral sets in \(\mathbb{R}^n\). Then there exist \(f_1,f_2\in T[X_1,\ldots,X_n]\) such that:
\[
E(V)_1=\left\{(g,h)\in T[X_1,\ldots,X_n]\times T[X_1,\ldots,X_n]\mid\exists k\in\mathbb{Z}_{> 0}:(g\odot f_2^{\odot k},h\odot f_2^{\odot k})\in\langle(f_1,f_2)\rangle\right\}
\]
and for any \(x\in T^n\), \(f_1(x)\geq f_2(x)\). In particular, if \(f_2\) is taken as a constant tropical monomial of a real number, then \(E(V)_1 = \langle(f_1,f_2)\rangle\) holds.
### Applications of Theorem 1.1
- Theorem 1.1 gives a characterization of the rational function semifield \(\text{Rat}(\Gamma)\) of tropical curves. Specifically, if the rational map \(\phi\) of the complete linear system induced by effective divisors to \(\mathbb{R}^n\) is injective, then \(T(X_1,\ldots,X_n)/E(\text{Im}(\phi))\) is isomorphic as a \(T\)-algebra to \(\text{Rat}(\Gamma)\) (and thus also isomorphic as a semifield over \(T\)). This shows that \(\phi\) contains \(\text{R}\)