f87874cb2b783d91.tex
1: \begin{abstract}
2: For a map $\varphi : \Gamma \rightarrow \Gamma^{\prime}$ between metric graphs and an isometric action on $\Gamma$ by finite group $K$, $\varphi$ is a {\it $K$-Galois covering} on $\Gamma^{\prime}$ if $\varphi$ is a morphism, the degree of $\varphi$ coincides with the order of $K$ and $K$ induces a transitive action on every fibre.
3: %For a map $\varphi : \Gamma \rightarrow \Gamma^{\prime}$ between metric graphs and an isometrical action on $\Gamma$ by finite group $K$, $\varphi$ is a {\it $K$-Galois} on $\Gamma^{\prime}$ if $\varphi$ is a morphism, the degree of $\varphi$ coincides with the order of $K$ and $K$ induces a transitive action on every fibre.
4: We prove that for a metric graph $\Gamma$ with an isometric action by finite group $K$, there exists a rational map, from $\Gamma$ to a tropical projective space, which induces a $K$-Galois covering on the image.
5: %We prove that for a metric graph $\Gamma$ with an isometrical action by finite group $K$, there exists a rational map, from $\Gamma$ to a tropical projective space, which induces a $K$-Galois covering on the image.
6: By using this fact, we also prove that for a hyperelliptic metric graph without one valent points and with genus at least two, the invariant linear system of the hyperelliptic involution $\iota$ of the canonical linear system, the complete linear system associated to the canonical divisor, induces an $\langle \iota \rangle$-Galois covering on a tree.
7: This is an analogy of the fact that a compact Riemann surface  is hyperelliptic if and only if the canonical map, the rational map induced by the canonical linear system, is a double covering on a projective line $\boldsymbol{P}^1$.
8: %This is an analogy of the fact that a compact Riemann surface  is hyperelliptic if and only if the canonical map, the rational map induced by the complete linear system associated to a canonical divisor, is a double covering on a projective line $\boldsymbol{P}^1$.
9: \end{abstract}
10: