Lifting harmonic morphisms. II: Tropical curves and metrized complexes (Q2018354)

The article is concerned with lifting theorems for morphisms of tropical curves. Let \(K\) be a complete algebraically closed field with a non-trivial valuation \(\mathrm{val}\), valuation ring \(R\), maximal ideal \(\mathfrak{m}_R\), residue field \(k\) and valuation group \(\Lambda \subseteq \mathbb{R}\). Some of the main theorems are: ``Theorem. Assume \(\mathrm{char}(k) = 0\) and let \(\varphi: \Sigma' \to \Sigma\) be a finite harmonic morphism of \(\Lambda\)-metrized complexes of \(k\)-curves. Then there exists a finite morphism of triangulated punctured curves lifting \(\varphi\).'' ``Theorem. Any finite harmonic morphism \(\bar{\varphi}: \Gamma' \to \Gamma\) of \(\Lambda\)-metric graphs is liftable if \(\mathrm{char}(k) = 0\).'' ``Theorem. Let \(\Gamma\) be a metric graph. Linear equivalence of divisors on \(\Gamma\) is the additive equivalence relation generated by (the retraction to \(\Gamma\) of) fibers of finite harmonic morphisms from a tropical modification of \(\Gamma\) to a metric graph of genus zero.'' For part I, see [the authors, ``Lifting harmonic morphisms. I: Metrized complexes and Berkovich skeleta'', \url{arXiv:1303.4812}].