Tropical geometry over the tropical hyperfield

From MaRDI portal
Publication:2136369



Abstract: In this text, we merge ideas around the tropical hyperfield with the theory of ordered blueprints to give a new formulation of tropical scheme theory. The key insight is that a nonarchimedean absolute value can be considered as a morphism into the tropical hyperfield. In turn, ordered blueprints make it possible to consider the base change of a classical variety to the tropical hyperfield. We call this base change the scheme theoretic tropicalization of the classical variety. Our first main result describes the Berkovich analytification and the tropicalization of a classical variety as sets of rational points of scheme theoretic tropicalizations, including a characterization of the respective topologies. Our second main result shows that the Giansiracusa bend relations can be derived by a natural construction from the scheme theoretic tropicalization.


This paper expands and analyzes properties of the tropical hyperfield and ordered blueprints. The tropical hyperfield, introduced by \textit{O. Viro} [Proc. Steklov Inst. Math. 273, 252--282 (2011; Zbl 1237.14074)], is a delicate variant of the classical tropical semifield. The underlying set of the tropical hyperfield \(\mathbf{T}\) is \(\mathbb{R}_{\geq 0}\). Multiplication is the usual multiplication of real numbers and the hyperaddition is \[ a \boxplus b = \begin{cases} \{\max\{a, b\}\} \quad & \text{if} \, a \neq b \\ [0, a] \quad & \text{if} \, a=b \end{cases} \] The tropical hyperfield \(\mathbf{T}\) has multiple advantages over the classical tropical semifield. In particular, the hyperaddition of \(\mathbf{T}\) allows the author to interpret a nonarchimedean absolute value \(v: k \to \mathbb{R}_{\geq 0}\) as a morphisms into the tropical hyperfield. Therefore, he describes scheme theoretic tropicalization of a classical variety, simply as a base change of a classical variety over \(k\) to \(\mathbf{T}\). One of the results of this paper is that Berkovich analytification \(X^{\text{an}}\) and set theoretic tropicalization \(X^{\text{trop}}\) of a classical variety \(X\) can be described as a set of \(\mathbf{T}\)-rational points of scheme theoretic tropicalizations. In fact, in the following diagram, the natural bijections \(X^{\text{an}} \to \text{Trop}_v(\mathbf{X})(\mathbf{T})\) and \(X^{\text{trop}} \to \text{Trop}_v(Y)(\mathbf{T})\) are homeomorphisms with respect to Euclidean topologies that they inherit from \(\mathbf{T} = \mathbb{R}_{\geq 0}\) \[ \begin{tikzcd}[column sep = 3cm, row sep= 0.75cm] X^{\text{an}} \ar{r}{\text{trop}} \ar{d} & X^{\text{trop}} \ar{d} \\ \text{Trop}_v(\mathbf{X})(\mathbf{T}) \ar{r}{f^*} & \text{Trop}_v(Y)(\mathbf{T}) \end{tikzcd} \] Another interesting result of the paper is that the Giansiracusa bend relations in [\textit{J. Giansiracusa} and \textit{N. Giansiracusa}, Duke Math. J. 165, No. 18, 3379--3433 (2016; Zbl 1409.14100)] appear naturally from the scheme theoretic tropicalization by enforcing the relation \(1 + 1 = 1\).











This page was built for publication: Tropical geometry over the tropical hyperfield

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2136369)