Related papers: Congruences on tropical rational function semifiel…

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…

We prove that the rational function semifield of a tropical curve is finitely generated as a semifield over the tropical semifield $\boldsymbol{T} := ( \boldsymbol{R} \cup \{ - \infty \}, \operatorname{max}, +)$ by giving a specific finite…

We investigate Krull dimensions of semirings and semifields dealt in tropical geometry. For a congruence $C$ on a tropical Laurent polynomial semiring $\boldsymbol{T}[X_1^{\pm}, \ldots, X_n^{\pm}]$, a finite subset $T$ of $C$ is called a…

We prove that a semiring isomorphism between the rational function semifields of two tropical curves induces an expansive map between those tropical curves. This semiring isomorphism and the expansive map respect zeros and poles of rational…

In the previous works, the rational function semifields of abstract tropical curves were characterized. In this paper, we give a contravariant categorical equivalence between the category of abstract tropical curves with morphisms and the…

We introduce the semiring of values $\Gamma$ with respect to the tropical operations associated to an algebroid curve. As a set, $\Gamma$ determines and is determined by the well known semigroup of values $S$ and we prove that $\Gamma$ is…

We prove that an injective $\boldsymbol{T}$-algebra homomorphism between the rational function semifields of two tropical curves induces a surjective morphism between those tropical curves, where $\boldsymbol{T}$ is the tropical semifield…

A tropical curve \Gamma is a metric graph with possibly unbounded edges, and tropical rational functions are continuous piecewise linear functions with integer slopes. We define the complete linear system |D| of a divisor D on a tropical…

We study whether a given tropical curve $\Gamma$ in $\mathbb{R}^n$ can be realized as the tropicalization of an algebraic curve whose non-archimedean skeleton is faithfully represented by $\Gamma$. We give an affirmative answer to this…

This article discusses the concept of rational equivalence in tropical geometry (and replaces the older and imperfect version arXiv:0811.2860). We give the basic definitions in the context of tropical varieties without boundary points and…

For a semifield extension $T /S$, an action of a finite group $G$ on $T$ is Galois if $(1)$ the $G$-invariant subsemifield of $T$ is $S$ and $(2)$ subgroups of $G$ whose invariant semifields coincide are equal. We show that for a finite…

In this paper we present two intrinsic algebraic definitions of tropical variety motivated by the classical Zariski correspondence, one utilizing the algebraic structure of the coordinate semiring of an affine supertropical algebraic set,…

In this paper we continue the program to develop the algebraic foundations of tropical (algebraic) geometry. We give strong characterizations of prime congruences containing a given congruence on a toric semiring. We give four applications…

We continue, in this second article, the study of the the algebraic tools which play a role in tropical algebra. We especially examine here the polynomial algebras over idempotent semi-fields. this work is motivated by the development of…

We show that any locally planar tropical curve $\Gamma \subset \mathbb{R}^n$ (with unit edge weights) can be realized as the limit of the rescaled moment map images of a family of special Lagrangian submanifolds in $T^*T^n$ with respect to…

We first develop the local theory of functions on $\mathbb R^n$ defined by tropical Laurent polynomials. We study the structure of the semiring of functions, where two functions are identified when they coincide on a neighborhood of a fixed…

This is a follow-up paper of arXiv:1805.00115, where rational curves in surfaces that satisfy general positioned point and cross-ratio conditions were enumerated. A suitable correspondence theorem provided in arXiv:1509.07453 allowed us to…

For a projective curve $C$ and the canonical divisor $K_C$ on $C$, it is classically known that the canonical ring $R(C) = \oplus_{m=0}^\infty H^0(C, m K_C)$ is finitely generated in degree at most three. In this article, we study whether…

We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as $\mathbb{T} = (\mathbb{R}\cup…

For a rational map $\phi$ from a metric graph $\varGamma$ to a tropical projective space $\boldsymbol{TP^n}$ defined by a ratio of rational functions $f_1, \ldots, f_{n + 1}$, an automorphism $\sigma$ of $\varGamma$ induces a permutation of…