The isotopy problem for the phase tropical line

Abstract

Let $H$ be the complex line $1+z_{1}+z_{2}=0$ in $(\mathbb{C}^{*})^{2}$ and $H_{trop}$ the associated phase tropical line. We show that $H$ and $H_{trop}$ are isotopic as topological submanifolds, by explicitly constructing an isotopy map.