Tropical geometry over the tropical hyperfield (Q2136369)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tropical geometry over the tropical hyperfield
scientific article

    Statements

    Tropical geometry over the tropical hyperfield (English)
    0 references
    0 references
    10 May 2022
    0 references
    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\).
    0 references
    tropical scheme theory
    0 references
    tropical hyperfield
    0 references
    ordered blueprint
    0 references
    Berkovich spaces
    0 references
    Giansiracusa tropicalization.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references