Abstract:Let $\mathfrak{A}$ be a finite abelian group. In this article, we classify harmonic $\mathfrak{A}$-covers of a tropical curve $\Gamma$ (which allow dilation along edges and at vertices) in terms of the cohomology group of a suitably defined sheaf on $\Gamma$. We give a realizability criterion for harmonic $\mathfrak{A}$-covers by patching local monodromy data in an extended homology group on $\Gamma$. As an explicit example, we work out the case $\mathfrak{A}=\mathbb{Z}/p\mathbb{Z}$ and explain how realizability for such covers is related to the nowhere-zero flow problem from graph theory.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to classify the harmonic A - covers of finite abelian groups on tropical curves (or metric graphs). Specifically, the authors describe these covers by introducing a suitable sheaf and use sheaf cohomology theory to classify these covers. In addition, they also provide a realizability criterion, that is, to determine which abelian harmonic covers can be tropicalized from algebraic covers on non - Archimedean fields.
### Main Problems
1. **Classifying Abelian Harmonic Covers**
- One of the main goals of the paper is to classify the abelian harmonic covers on a fixed metric graph \(\Gamma\). Given a finite abelian group \(A\), an **abelian harmonic cover** \(\phi: \Gamma' \to \Gamma\) is a harmonic map with an \(A\)-action on the fiber, and the dilation factor at a point \(p' \in \Gamma'\) is equal to the order of its stabilizer group.
- The authors achieve this classification by defining a sheaf called the **codilation sheaf** \(A_D\). The codilation sheaf \(A_D\) is constructed according to the \(A\)-dilation data \(D\), where \(D\) is an object that assigns a subgroup \(D(p)\subseteq A\) at each point \(p\in\Gamma\).
- **Main Result**: Theorem A shows that there is a natural one - to - one correspondence between the codilation cohomology group \(H^1(\Gamma, A_D)\) and the abelian harmonic covers with \(A\)-dilation data \(D\).
2. **Realizability Problem**
- Another main problem is to determine which abelian harmonic covers can be tropicalized from algebraic covers on non - Archimedean fields. This is called the **realizability problem**.
- The authors introduce the extended homology group \(H^1_{\text{ext}}(\Gamma, A)\), whose elements encode the local monodromy data of abelian harmonic covers. If the \(A\)-dilation data of an abelian harmonic cover is associated with a certain class in the extended homology group, then the cover is realizable.
- **Main Result**: Theorem B shows that an abelian harmonic cover \(\phi: \Gamma' \to \Gamma\) is realizable when the residue characteristic on the non - Archimedean field is zero or coprime to \(|A|\) if and only if its \(A\)-dilation data is associated with a certain class in the extended homology group \(H^1_{\text{ext}}(\Gamma, A)\).
### Formula Summary
- **Definition of the Codilation Sheaf \(A_D\)**:
\[
A_D(U_v)=A / C(v),\quad A_D(U_l)=A / C(l),\quad A_D(U_e)=A / C(e)
\]
where \(C(v) = D(v)\), \(C(l)=D(v)\) (\(v\) is the root vertex of the leg \(l\)), \(C(e)=D(v)+D(w)\) (\(e\) is the edge connecting vertices \(v\) and \(w\)).
- **Codilation Cohomology Group**:
\[
H^1(\Gamma, A_D)
\]
- **Extended Homology Group**:
\[
H^1_{\text{ext}}(\Gamma, A)
\]
### Application Example
- **Cyclic Covers**: In section 5, the authors specifically discuss cyclic covers of prime order. They find that its realizability criterion is closely related to the nowhere - zero flow problem in graph theory. In particular, Tutte's 5 - flow conjecture has an equivalent formulation, that is, the existence problem of everywhere - dilated \(\mathbb{Z}/5\mathbb{Z}\)-covers.
### Conclusion
This paper successfully solves the classification and realizability problems of abelian harmonic covers on tropical curves by introducing the codilation sheaf and the extended homology group. These results are not only of great significance in tropical geometry, but also for...