Abelian tropical covers

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.


Introduction
One of the starting points of tropical geometry is the observation that there is a deep analogy between the classical geometry of Riemann surfaces and the geometry of metric graphs, or more generally, (abstract) tropical curves.
Let X be a Riemann surface and let B ⊆ X be a finite set.Ramified covers X ′ → X that are branched over B are topological coverings of X 0 = X \ B, and the Galois correspondence classifies such covers in terms of the fundamental group π 1 (X 0 , x 0 ) for some base point x 0 ∈ X 0 .This beautiful and classical story is explained in many standard textbooks on Riemann surfaces, such as [Mir95,Sza09,CM16].In particular, given a finite group G, Galois covers with deck group G (not necessarily connected) are in one-to-one correspondence with monodromy representations π 1 (X 0 , x 0 ) → G.If G = A is abelian, the universal coefficient theorem implies that the set of such covers is equal to (1) Hom π 1 (X 0 , x 0 ), A ≃ Hom H 1 (X 0 , Z), A ≃ H 1 (X 0 , A).
Replacing H 1 and π 1 with their étale counterparts, this correspondence holds over any algebraically closed field k whose characteristic is zero or relatively prime to |A|.
The natural tropical analogue of a non-constant holomorphic map of Riemann surfaces is a finite harmonic morphism Γ ′ → Γ of metric graphs (or tropical curves), which is a continuous map with finite fibers that pulls back harmonic functions on open subsets of Γ to harmonic functions on their preimages in Γ ′ .Contrary to the algebraic case, a harmonic morphism need not be a topological covering map (even after finitely many points are removed), as harmonic morphisms allow for dilation along edges.Namely, via the natural identification of edges with real intervals, the restriction of a harmonic morphism ϕ : Γ ′ → Γ to an edge e ′ ⊂ Γ ′ is given by [0, a] −→ [0, d • a], x −→ d • x.
The coefficient d ∈ Z >0 is known as the dilation factor of ϕ along e ′ .The behavior of a harmonic morphism at a vertex v ′ ∈ Γ ′ is controlled by another phenomenon that we call dilation at vertices, which assigns a dilation factor to each vertex as well (see Section 1 below).We also note that dilation should not be confused with the distinct phenomenon of ramification for morphisms of weighted graphs, which we discuss at the end of Section 1. Dilation phenomena are inherent properties of morphisms of metric graphs, and arise naturally in tropicalization constructions.For this reason, the fundamental group of a metric graph (specifically, its underlying topological space) cannot be used to classify its harmonic covers, and this classification problem is, to the best of our knowledge, currently open.
Classification of abelian tropical covers.Our first goal in this article is to classify abelian harmonic covers of a fixed metric graph Γ.Given a finite group G, a harmonic G-cover of Γ is a harmonic morphism ϕ : Γ ′ → Γ together with a fiberwise G-action, such that the dilation factor of ϕ at a point p ′ ∈ Γ ′ is equal to the order of its stabilizer group.If G = A is abelian, then ϕ admits a convenient cohomological description.Namely, for any p ∈ Γ the stabilizer groups of two points of ϕ −1 (p) are equal, hence the cover determines a family of subgroups D(p) ⊆ A indexed by p ∈ Γ, an object which we call the A-dilation datum of the harmonic cover.Choosing a graph model for Γ, the A-dilation datum D determines (by taking quotients) a sheaf of abelian groups A D on Γ that we call the codilation sheaf.
Theorem A (Theorem 2.3).Let Γ be a metric graph or tropical curve, let A be a finite abelian group, and let D be an A-dilation datum on Γ.There is a natural bijection between the sheaf cohomology group H 1 (Γ, A D ) and the set of harmonic A-covers with A-dilation datum D.
We refer to H 1 (Γ, A D ) as the dilated cohomology group of Γ with respect to the A-dilation datum D. One may consider Theorem A as a first step towards a tropical analogue of geometric class field theory.

From algebraic to tropical covers (and back again).
There is a natural tropicalization procedure that associates to a finite cover F : X ′ → X of smooth projective algebraic curves over a non-Archimedean field a harmonic morphism ϕ : Γ X ′ → Γ X between the dual tropical curves.In the literature one may find at least two ways to describe this process: one by restricting the associated map F an : X ′an → X an of Berkovich analytic spaces to the non-Archimedean skeletons, as in [ABBR15a,ABBR15b], the other from a moduli-theoretic point of view, as in [CMR16], using the moduli space of admissible covers.In Section 3 below we recall the latter approach, paying extra attention to the role of a finite automorphism group G.In particular, we describe how to associate to a G-cover F : X ′ → X of algebraic curves a harmonic G-cover ϕ : Γ X ′ → Γ X of tropical curves.
Describing finite harmonic covers that arise as tropicalizations of finite algebraic covers is a highly non-trivial task, known as the realizability problem.We refer the reader to [Cap14] and [CMR16] for details, including the connection to the still-open Hurwitz existence problem from the classical topology of Riemann surfaces (see [PP06] for a survey).In the abelian case, however, this problem admits a convenient homological solution, which we describe in Section 4. Given a tropical curve Γ and a finite abelian group A, we introduce the extended homology group H ext 1 (Γ, A) whose elements encode local monodromy data of harmonic A-covers of Γ.In particular, a class η ∈ H ext 1 (Γ, A) determines an associated A-dilation datum D η , and the realizable covers are exactly the ones that have such A-dilation data: Theorem B (Theorem 4.4).A harmonic A-cover Γ ′ → Γ of tropical curves is realizable over a non-Archimedean field of residue characteristic zero or coprime to |A| if and only if its A-dilation datum is associated to a class in the extended homology group H ext 1 (Γ, A).
In Section 5, we specialize to the case of cyclic covers of prime order.It turns out that our realizability criterion is closely related to the so-called nowhere-zero flow problem from graph theory.In particular, Tutte's 5-flow conjecture has an equivalent formulation in terms of the existence of everywhere-dilated Z/5Z-covers.
We briefly mention how our results may generalize to the case of a non-abelian group G.A harmonic G-cover Γ ′ → Γ determines the structure of a graph of groups on a model of Γ, and Bass-Serre theory classifies such covers in terms of an appropriately generalized fundamental group [Ser80,Bas93].However, there is no convenient generalization of the homological realizability criterion, and the difficulties stemming from the Hurwitz existence problem cannot be avoided.
Earlier and related works.Graphs and tropical curves with group actions have been studied by a number of authors.The simplest example is the case of tropical hyperelliptic curves, which are Z/2Z-covers of a tree (see [BN09], [Cha13], [Cap14], [ABBR15b], [Pan16], [BBC17], [Len17]).Expanding on this, Brandt and Helminck [BH20] consider arbitrary cyclic covers of a tree.Helminck [Hel17] looks at the tropicalization of arbitrary abelian covers of algebraic curves from a non-Archimedean perspective, as in [ABBR15a,ABBR15b].Our Section 3 provides a moduli-theoretic approach to the same topic (with possibly non-abelian group) in the spirit of [CMR16].
In a different direction, Jensen and Len [JL18] consider Z/2Z-covers of arbitrary tropical curves, and define the tropical Prym variety associated to such a cover.This object is equipped with a canonical polyhedral decomposition, leading to a combinatorial formula for its volume [LZ22,GZ23].A tropical version of Donagi's n-gonal construction is investigated in [RZ22].Applications to algebraic Prym-Brill-Noether theory are studied in [LU21] and [CLRW22].See [Len22] for a survey on tropical Prym varieties.In a similar vein, Song [Son19] considers G-invariant linear systems with the goal of studying their descent properties to the quotient.
In [Hel21] Helminck studies the fundamental group of a metrized curve complex in the sense of Amini and Baker [AB15] (which are also crucially used in [ABBR15a,ABBR15b]).In his framework he proves a result that amounts to identifying the fundamental group of a metrized curve complex with the étale fundamental group of the generic fiber of its smoothening.Theorem B could have been proved using this framework, but we decided to use the moduli-theoretic approach of [CMR16] via G-admissible covers in the sense of [ACV03].
Helminck's result provides a new perspective on an older result of Saïdi [Saï97], which identifies the étale fundamental group of the generic fiber with the profinite completion of the fundamental group of a suitable graph of groups (in the sense of Bass and Serre [Ser80,Bas93]) that encodes the fundamental group of a metrized curve complex.From a moduli-theoretic perspective, a similar observation seems to be inherent in both [BR11] and [Eke95].
From a moduli-theoretic perspective, studying degenerations of G-covers of algebraic curves is equivalent to studying the compactification of the moduli space of G-covers in terms of the moduli space of G-admissible covers, as constructed in [ACV03] and [BR11].In [BR11, Section 7] the authors have already introduced a graph-theoretic gadget to understand the boundary strata of this moduli space: so-called modular graphs with an action of a finite (not necessarily abelian) group G.
This idea seems to have appeared independently in other works as well: Chiodo and Farkas [CF17] study the boundary of the moduli space of level curves, which is equivalent to a component of the moduli space of G-admissible covers for a cyclic group G, and look at cyclic covers of an arbitrary graph.Their work has been extended to an arbitrary finite group G by Galeotti in [Gal19a,Gal19b].Finally, in [SvZ20], Schmitt and van Zelm apply a graph-theoretic approach to the boundary of the moduli space of G-admissible covers (for an arbitrary finite group G) to study their pushforward classes in the tautological ring of M g,n .
In [CMR16] Cavalieri, Markwig, and Ranganathan develop a moduli-theoretic approach to the tropicalization of the moduli space of admissible covers (without a fixed group operation).In [CMP20], Caporaso, Melo, and Pacini study the tropicalization of the moduli space of spin curves, which, in view of the results in [JL18], is closely related to our story in the case G = Z/2Z.
The problem of classifying covers of a graph with an action of a given group (not necessarily abelian) was studied by Corry in [Cor11,Cor12,Cor15].However, Corry considered a different category of graph morphisms, allowing edge contraction but not dilation.To the best of our knowledge, no author has considered the problem of classifying all covers of a given graph with an action of a fixed group.
Definition 1.1.A graph with legs G, or simply a graph, consists of the following data: (1) A finite set X(G).
(3) An involution ι : X(G) → X(G) whose fixed set contains the image of r.
The set X(G) is the union of the vertices V (G) and half-edges H(G) of the graph G, where V (G) is the image of r and H(G) = X(G)\V (G) is the complement.The involution ι preserves H(G) and partitions it into orbits of sizes 1 and 2; we call these respectively the legs and edges of G and denote the corresponding sets by L(G) and E(G).The root map assigns one root vertex to each leg and two root vertices to each edge (each vertex is rooted at itself).A loop is an edge whose root vertices coincide.An orientation on G is a choice of order (h, h ′ ) on each edge e = {h, h ′ } of G and defines source and target maps s, t : E(G) → V (G) by s(e) = r(h) and t(e) = r(h ′ ).We note that a leg does not have a vertex at its free end and is thus distinct from an extremal edge, and that legs do not require orienting.
Graphs with legs naturally appear in tropical moduli problems, where a leg represents the tropicalization of a marked point.An extremal edge, on the other hand, represents an irreducible component attached to the rest of the curve at a single node.
The tangent space T v G and valency val(v) of a vertex v ∈ V (G) are defined by so that a leg is counted once for valency, while a loop is counted twice.A morphism of graphs f : that commutes with the root and involution maps and that sends vertices to vertices, edges to edges, and legs to legs.By abuse of notation, we denote by f the corresponding maps on the vertices, half-edges, edges, and legs.We note that our graph morphisms are finite and do not allow edges or legs to contract to vertices.Non-finite morphisms are relevant to tropical geometry, but do not occur as quotients by finite group actions; so we do not consider them.
Let G and G ′ be graphs.A harmonic morphism (f, d f ) consists of a graph morphism f : G ′ → G and a degree assignment ) (a quantity that we denote by d f (e ′ )), and such that (2) In particular, the quantity appearing on the right hand side of (2) does not depend on the choice of h ∈ T f (v) G.The degree d f is also called the dilation factor of f .If G is connected, then the global degree of f is defined as ; a free harmonic morphism is a covering space in the topological sense.
1.2.Group quotients and harmonic Galois covers.An automorphism of a graph G is a morphism f : G → G that has an inverse; such a morphism can be made harmonic by setting d f = 1 everywhere.A priori, a non-trivial automorphism may flip edges, in other words exchange the two half-edges making up an edge.Such automorphisms do not give rise to a quotient, however, since we do not allow an edge to map to a leg.Hence we exclude them from consideration.
Definition 1.2.Let G be a graph and G a finite group.A G-action on G is a homomorphism from G to the automorphism group Aut(G), such that, for every g ∈ G and every e = {h, h ′ } ∈ E(G), we have g(h) ̸ = h ′ (so that either g(h) = h and g(h Given a G-action on a graph G, we can naturally form the quotient graph G/G in such a way that the quotient map f : G → G/G is harmonic of degree |G|. Definition 1.3.Let G be a graph and let G be a finite group.Given a G-action on G, we define the quotient graph G/G by setting X(G/G) = X(G)/G.The root and involution maps on G are G-invariant and descend to is a finite morphism.By the orbit-stabilizer theorem, we can promote f to a harmonic morphism of global degree deg We now define a harmonic Galois cover of a graph to be any harmonic morphism obtained in this way.
Definition 1.4.Let G be a graph and let G be a finite group of order d.A harmonic G-cover of G is a harmonic morphism f : G ′ → G of degree d together with a G-action on G ′ such that following axioms hold: ) and all g ∈ G. (ii) For all x ∈ X(G), the group G acts transitively on the fiber f −1 (x).
Let f : G ′ → G be a harmonic G-cover, and pick a vertex or half-edge x ∈ X(G).The group G acts transitively on the fiber f −1 (x), so we can identify the latter with G/G x ′ , where G x ′ is the stabilizer of some x ′ ∈ f −1 (x).On the other hand, for any 1.3.Metric graphs.Let G be a graph and let ℓ : E(G) → R >0 be an assignment of positive real lengths to the edges of G.The pair (G, ℓ), known as a model for G, determines a metric graph Γ by gluing a closed line segment [0, ℓ(e)] for each edge e ∈ E(G) and an open infinite interval [0, ∞) for each leg l ∈ L(G) in accordance with the structure of G.We equip Γ with the shortest-path metric.We note that the set of legs does not depend on the choice of model and that the metric graph Γ is compact if and only if G has no legs.
A model (G, ℓ) of a metric graph Γ is called simple if G has no loops or multi-edges.Given a simple model (G, ℓ) for Γ, we define the star cover of Γ as follows.For each leg l ∈ L(G), let U l ⊂ Γ be the interior of the corresponding infinite segment in Γ.For each vertex v ∈ V (G), let U v ⊂ Γ be the union of v and the interiors of all legs and edges incident to v. The distinct U l have empty intersections, and U l ∩ U v = U l if l is rooted at v and is empty otherwise.Finally, for distinct vertices v and w, the intersection U v ∩ U w is either the open edge connecting v and w, if there is such an edge, or is empty otherwise.Hence each element of U(G) is contractible, pairwise intersections are open intervals or empty, and all triple intersections are empty, making the star cover convenient for cohomological calculations.
We now define harmonic morphisms and Galois covers of metric graphs.Let Γ and Γ ′ be metric graphs with models G and G ′ , respectively.Let f : G ′ → G be a harmonic morphism of graphs satisfying the condition for all e ′ ∈ E(G ′ ).We define an associated continuous map ϕ : Γ ′ → Γ of metric graphs by mapping vertices to vertices, edges to edges, and legs to legs according to f .Along each edge and leg of Γ ′ , the map ϕ is linear with positive integer slope, or dilation factor, given by the degree d f (which we also denote d ϕ ).Condition (3) ensures that ϕ is continuous, and no condition is required along the infinite legs.
A harmonic morphism of metric graphs ϕ : Γ ′ → Γ is any continuous, piecewise-linear map obtained in this manner, with nonzero integer slopes given by the degree function d f of a harmonic morphism of graphs f : G ′ → G (and thus satisfying the balancing condition (2) at each vertex of Γ ′ ).This definition is equivalent to requiring that ϕ pulls back harmonic functions on Γ to harmonic functions on Γ ′ .We refer to the datum (G, G ′ , f : G ′ → G, d f ) as a model for ϕ.We say that ϕ is free if f is free, or equivalently, if ϕ is a covering isometry.
We similarly define harmonic Galois covers of metric graphs.
Definition 1.5.Let Γ be a metric graph and let G be a finite group of order d.A harmonic G-cover of Γ is a harmonic morphism ϕ : Γ ′ → Γ of degree d together with an operation of G on Γ ′ by invertible isometries such that following properties hold: (i) The harmonic cover ϕ is G-invariant, i.e. ϕ(g(p ′ )) = ϕ(p ′ ) for all p ′ ∈ Γ ′ and all g ∈ G.
(ii) For all p ∈ Γ, the group G operates transitively on the fiber ϕ −1 (p).
It is clear that a harmonic G-cover ϕ : Γ ′ → Γ of metric graphs admits a model f : G ′ → G that is a harmonic G-cover of finite graphs (the models G ′ and G need to be sufficiently fine to avoid edge-flipping).For any p ′ ∈ Γ ′ , the degree d ϕ (p ′ ) is equal to the order of the stabilizer group G p ′ .1.4.Weighted graphs, tropical curves and ramification.Graphs and metric graphs that arise as tropicalizations of algebraic curves come equipped with an additional vertex weight function that records local genera.These weights allow us to capture the auxiliary phenomenon of ramification for harmonic morphisms.We recall the definitions.
A weighted graph is a pair (G, g), where G is a finite graph and g : V (G) → Z ≥0 is a function, where g(v) is called the genus of the vertex v. Similarly, a tropical curve (Γ, g) is a metric graph Γ together with a function g : Γ → Z ≥0 with finite support.When choosing a model (G, ℓ) for a tropical curve (Γ, g), we assume that each point x ∈ Γ with g(x) > 0 corresponds to a vertex, and not to an interior point of an edge or a leg, so that (G, g) is a weighted graph.A harmonic morphism of tropical curves is a harmonic map of the underlying metric graphs.
Let (G, g) be a weighted graph.We define the Euler characteristic Now let f : G ′ → G be a harmonic morphism of weighted graphs (G ′ , g ′ ) and (G, g).We define the ramification degree of f at a vertex v ∈ V (G ′ ) to be the quantity We say that f is unramified if it satisfies the local Riemann-Hurwitz condition Ram f (v ′ ) = 0 for all v ′ ∈ V (G ′ ), where we note that, in contrast to the algebraic setting, it is possible for the ramification degree at a vertex to be negative.A harmonic morphism ϕ : Γ ′ → Γ of tropical curves is unramified if it has an unramified model.Our definition of ramification was introduced in [UZ19], and is equivalent to the standard definition found in [ABBR15a] or [CMR16].

Dilated cohomology and finite harmonic abelian covers
In this section, we give a cohomological classification of harmonic covers of a given metric graph with abelian structure group.For the remainder of this section, we fix a finite abelian group A.
Let ϕ : Γ ′ → Γ be a harmonic A-cover.For any point p ∈ Γ, the stabilizer subgroups of any two points in the fiber ϕ −1 (p) are conjugate and hence equal.Therefore this group depends only on p, and we denote it by D(p) ⊆ A and call it the dilation group of p.Similarly, choosing a finite graph model f : G ′ → G of ϕ, we denote by D(x) ⊆ A the stabilizer of any element of f −1 (x).The groups D(x) fulfil the semicontinuity property For larger open sets, we define the space of sections via the sheaf axioms.
The dilated cohomology group of the pair (Γ, D) is the sheaf cohomology group H 1 (Γ, A D ).We note that the sheaf A D depends on the choice of model (see Example 2.4 below), but the group H 1 (Γ, A D ) does not.
We now show that harmonic A-covers of Γ are in natural bijection with A D -torsors.We first recall the definition of torsors over a sheaf of abelian groups, and their description in terms of Čech cocycles.Let F be a sheaf of abelian groups on a topological space X.We may view F as a sheaf of F-sets, with each group acting on itself by translation.An F-torsor T on X is a locally trivial sheaf of F-sets, in other words a sheaf of F-sets such that X admits a cover by open sets U with the property that T | U and F| U are isomorphic as sheaves of F-sets.
It is well-known that the set of isomorphism classes of F-torsors on X is the sheaf cohomology group H 1 (X, F).We explicitly calculate this group for a codilation sheaf A D on a metric graph Γ as a Čech cohomology group.Choose an oriented simple model G for Γ, then the star cover U(G) = {U v , U l } is acyclic for A D .Let T be an A D -torsor, then we can find trivializations g v : T | Uv → A D | Uv .Each edge e ∈ E(G) corresponds to a nonempty intersection U e = U s(e) ∩ U t(e) , and the composed isomorphism g e = g t(e) | Ue • (g s(e) | Ue ) −1 : A| Ue → A| Ue is given by translation by an element of A(U e ) = A/C(e), which we also denote by g e .Hence the A D -torsor T determines a tuple (g e ) e∈E(G) , where g e ∈ A/C(e).Choosing different trivializations for T over the sets U v determines a different tuple (g e ), and composing the trivializations produces elements such that ge − g e = g t(e) − g s(e) in the common quotient group A/C(e).All triple intersections are empty, so the cocycle condition is trivially verified and the tuple (g e ) determines an element of Ȟ1 U(G), A D ∼ = H 1 (Γ, A D ), and we can reverse the construction to obtain T from (g e ).
We now state our main result, which shows that harmonic A-covers with fixed A-dilation datum D are classified by the dilated cohomology group H 1 (Γ, A D ).
Theorem 2.3.Let Γ be a metric graph and let D be an A-dilation datum on Γ.There is a natural one-to-one correspondence between A D -torsors on Γ and harmonic A-covers of Γ with associated A-dilation datum D.
Proof.Choose an oriented simple model G for Γ such that D is defined over G. Let ϕ : Γ ′ → Γ be a harmonic A-cover with A-dilation datum D and let f : G ′ → G be a model for ϕ.For any vertex v ∈ V (G), the fiber f −1 (v) is naturally a torsor over A D (U v ) = A/D(v).The fiber f −1 (e) over an edge e, however, is a torsor over A/D(e), not over A D (U e ) = A/C(e).The latter group is a quotient of the former, and we replace f −1 (e) by its quotient by C(e)/D(e).Similarly, for each leg l ∈ L(G) we take the quotient of f −1 (l) by C(l)/D(l).In this way, we obtain an A D -torsor on Γ.We observe that, generally speaking, the espace étalé of this torsor is not Hausdorff, since if D(v) ⊊ C(e) then the vertex v has more preimages than the adjacent edge e.
Conversely, let T be an A D -torsor over Γ.We construct a harmonic A-cover f : G ′ → G by resolving the espace étalé of T in a canonical way.Let (g e ) ∈ Ȟ1 (U(G), A D ) be a Čech cocycle representing T .We arbitrarily lift each g e ∈ A/C(e) to an element g e ∈ A/D(e).For each vertex v ∈ V (G), the fiber f −1 (v) is equal to A/D(v) as an A-set.For each edge e ∈ V (G) with source and target vertices v = s(e) and w = t(e), the fiber f −1 (e) is A/D(e).The gluing map f −1 (e) → f −1 (v) is the natural quotient map A/D(e) → A/D(v), while the gluing map f −1 (e) → f −1 (w) is translation by g e followed by taking the quotient.Finally, for each leg l ∈ L(G) with root vertex v, we set f −1 (l) = A/D(l), and the root map One may now verify that these constructions are inverses of each other, thereby completing the proof.

□
Example 2.4.In the following picture, on the left, we illustrate a harmonic Z/4Z-cover, for which the Z/4Z-dilation datum is given by D(u) = Z/2Z, D(v) = Z/4Z, and D(e) = 0.In this case we have C(e) = Z/4Z and thus (A D ) u = Z/2Z, (A D ) v = 0 , and (A D ) e = 0.The (non-Hausdorff) espace étalé of the associated A D -torsor is illustrated on the right.
Consider now a subdivision of the base with extra vertex w.Then the espace étalé of the associated codilation sheaf is given as follows: w We point out that the dilated cohomology group H 1 (Γ, A D ) only depends on the dilation factors at vertices and not on the dilation factors along the edges.The interpretation of a class in H 1 (Γ, A D ) in Proposition 2.3, however, does depend on the dilation along edges.That is, different choices of dilation factors would lead to different edge lengths in the corresponding harmonic covers.
We now determine when a harmonic A-cover ϕ : Γ ′ → Γ of tropical curves is unramified.Let f : G ′ → G be a model of ϕ, where G ′ and G are weighted graphs, and let v ′ ∈ V (G ′ ) be a vertex lying over v = f (v ′ ).The number of half-edges h ′ ∈ T v ′ (G ′ ) that are rooted at v ′ and that lie over a given half-edge h ∈ T v G is equal to the order of the corresponding quotient D(v) D(h) .A short calculation then shows that Ram f (v ′ ) = 0 if and only if Since g(v) and g(v ′ ) are non-negative integers, this condition imposes certain restrictions on the A-dilation datum of an unramified harmonic A-cover.As an example, we consider the simplest case of a cyclic cover of prime order.
Example 2.5.Let ϕ : Γ ′ → Γ be an unramified harmonic A-cover of tropical curves with Galois group A = Z/pZ, where p ≥ 2 is prime, and let f : G ′ → G be a model.For any element x ∈ X(G) we have either D(x) = Z/pZ or D(x) = 1, and we say that x is dilated or undilated, respectively.The set of dilated vertices and half-edges forms the dilation subgraph pZ} be the valency of v in G dil .Equation 5 then imposes the following conditions on g(v) and d(v): In other words, the dilation subgraph G dil is semistable, and additionally if p = 2 then each vertex of G dil has even valency (see Lemma 5.4 in [JL18]).

Moduli of admissible G-covers and their tropicalization
Let G be a fixed finite group, which, in this section, does not need to be abelian.In the following, we explain how harmonic G-covers of weighted graphs and tropical curves naturally arise as tropicalizations of algebraic G-covers from a moduli-theoretic perspective, expanding on [ACP15] and [CMR16] (recall that unramified harmonic morphisms of tropical curves are called tropical admissible covers in [CMR16]).We always work over Spec Z 1 |G| to avoid the wild world of non-tame covers.

3.1.
Compactifying the moduli space of G-covers.Let X → S be a family of smooth projective curves of genus g ≥ 2 with n marked disjoint sections s 1 , . . ., s n ∈ X(S).A G-cover of X is a finite morphism X ′ → X together with an operation of G on X ′ over X that is a principal G-bundle on the complement of the sections, as well as a marking s ′ ij ∈ X ′ (S) of the disjoint preimages of the s i , indexed by i = 1, . . ., n and j = 1, . . ., k i .Denote by H g,G the moduli space of connected G-covers of smooth curves of genus g (see e.g.[RW06] for a construction).There is a good notion of a limit object as X degenerates to a stable curve, as introduced in [ACV03].Definition 3.1.Let G be a finite group and let X → S be a family of stable curves of genus g ≥ 0 with n marked disjoint sections s 1 , . . ., s n .Let µ = (r 1 , . . ., r n ) be an n-tuple of natural numbers that divide |G|, and denote k i = |G|/r i for i = 1, . . ., n.An admissible G-cover of X consists of a finite morphism X ′ → X from a family of stable curves X ′ → S, an action of G on X ′ , and disjoint sections s ′ ij of X ′ over S for i = 1, . . ., n and j = 1, . . ., k i , subject to the following conditions: (i) The morphism X ′ → X is a principal G-bundle away from the nodes and sections of X.
(ii) The preimage of the set of nodes in X is precisely the set of nodes of X ′ .(iii) The preimage of a section s i is precisely given by the sections s ′ i1 , . . ., s ′ ik i .(iv) Let p be a node in X and p ′ a node of X ′ above p.Then p ′ is étale-locally given by x ′ y ′ = t for a suitable t ∈ O S and p is étale-locally given by xy = t r for some integer r ≥ 1 with (x ′ ) r = x and (y ′ ) r = y, and the stabilizer of G at p ′ is cyclic of order r and operates via for an r-th root of unity ζ ∈ µ r .(v) Étale-locally near the sections s i and s ′ ij , the morphism X ′ → X is given by O for appropriate choices of t i and t ′ ij , and the stabilizer of G along s ij is cyclic of order r i and operates via t ′ ij → ζt ′ ij , for an r i -th root of unity ζ ∈ µ r i .
We emphasize that the G-action is part of the data; so, in particular, an isomorphism between two admissible G-covers has to be a G-equivariant isomorphism.As explained in [ACV03], the moduli space H g,G (µ) of admissible G-covers of stable n-marked curves of genus g is a smooth and proper Deligne-Mumford stack over Spec Z[ 1 |G| ] that contains the locus H g,G (µ) of G-covers of smooth curves of ramification type µ as an open substack.The complement of H g,G (µ) is a normal crossing divisor.
Remark 3.2.Although closely related, the moduli space H g,G (µ) is actually not quite the same as the one constructed in [ACV03].The quotient which forgets about the order of the marked sections on s ′ ij of X ′ over S for i = 1, . . ., n and j = 1, . . ., k i , is equivalent to a connected component of the moduli space of twisted stable maps to BG in the sense of [AV02,ACV03], indexed by ramification profile and decomposition into connected components.Our variant of this moduli space H g,G (µ), with ordered sections on X ′ , has also appeared in [SvZ20] and in [JKK05] (the latter permitting admissible covers with possibly disconnected domains).
An object in H g,G (µ) is technically not an admissible G-cover X ′ → X but rather a G-cover X ′ → X of a twisted stable curve X .A twisted stable curve X → S is a Deligne-Mumford stack X with sections s 1 , . . ., s n : S → X whose coarse moduli space X → S is a family of stable curves over S with n marked sections (also denoted by s 1 , . . ., s n ) such that (1) The smooth locus of X is representable by a scheme.
(2) The singularities are étale-locally given by {x ′ y ′ = t}/µ r for t ∈ O S , where ζ ∈ µ r acts by ζ • (x ′ , y ′ ) = (ζx ′ , ζ −1 y ′ ).In this case the singularity in X ′ is locally given by xy = t r .(3) The stack X is a root stack r i s i /X along the section s i for all i = 1, . . ., n.
The two notions are naturally equivalent: given an admissible G-cover X ′ → X, the associated twisted G-cover is given by X ′ → [X ′ /G].Conversely, given a twisted G-cover X ′ → X in the corresponding connected component, the composition X ′ → X → X with the morphism to the coarse moduli space X is an admissible G-cover.We refer the interested reader to [BR11] for an alternative construction.

3.2.
From algebraic to tropical G-covers.We now explain how to construct unramified harmonic G-covers of weighted graphs and tropical curves from algebraic G-covers.Definition 3.3.Let F 0 : X ′ 0 → X 0 be an admissible G-cover of stable nodal curves over an algebraically closed field k with n smooth distinct marked points on X 0 .The dual harmonic G-cover f : G ′ → G is defined as follows: (1) The graph G is the dual graph of X 0 , namely the irreducible components of X 0 correspond to the vertices of G, the nodes correspond to the edges, and the sections correspond to the legs.Similarly, G ′ is the dual graph of X ′ 0 .
(2) The vertex weights g : V (G ′ 0 ) → Z ≥0 and g : V (G 0 ) → Z ≥0 are the genera of the normalizations of the corresponding irreducible components.
(3) The legs of G 0 are marked l : {1, . . .n} ≃ L(G 0 ) according to the full order of the marked points.(4) The morphism F 0 : X ′ 0 → X 0 sends components to components, which defines the morphism f : V (G ′ ) → V (G) on the vertices.
(5) Every node p e ′ of X ′ 0 has a local equation x ′ y ′ = 0, and maps to a node p e of X 0 with local equation xy = 0 via (x ′ ) r = x and (y ′ ) r = y.This defines the map on the half-edges, and r = d f (e ′ ) gives the dilation factor.(6) Let u ′ ij be a uniformizer at s ′ ij on X ′ 0 .Locally near s ′ ij , the morphism F 0 is given by u ′ ij = u r i i for a choice of uniformizer u i at s i .The dilation factor d f (l ′ ij ) along the leg corresponding to s ′ ij is equal to r i .
The operation of G on X ′ 0 induces an operation of G on G ′ for which the map f : G ′ → G is G-invariant.By Definition 3.1 (iii) and (iv), the stabilizer of every edge e ′ i and of every leg l ′ ij is a cyclic group of order r i and r ij , respectively.Since F 0 : X ′ 0 → X 0 is a principal G-bundle away from the nodes, the operation of G on the fiber over each point in X 0 is transitive and so f : G ′ → G is a harmonic G-cover.Applying the Riemann-Hurwitz formula to the restriction of F 0 to each irreducible component of X ′ 0 , we observe that f is unramified.
Definition 3.4.Let X be a smooth projective curve of genus g over a non-Archimedean field K (whose residue characteristic is zero or coprime to |G|) with n marked points s 1 , . . ., s n over K. Let (F : X ′ → X, s ′ ij ) be a G-cover of X, where i = 1, . . ., n and j = 1, . . ., k i .By the valuative criterion for properness, applied to the stack H g,G (µ), there is a finite extension L of K such that X ′ L → X L extends to a family of admissible G-covers F : X ′ → X defined over the valuation ring R of L (with marked sections also denoted by s i and s ′ ij ).The dual harmonic G-cover ϕ : Γ X ′ → Γ X is defined as follows: (1) The graph models of the tropical curves Γ X ′ and Γ X are the dual graphs G X ′ and G X of the special fibers X ′ 0 and X 0 , respectively.(2) The edge length function ℓ : E(G X ) → R >0 associates to an edge e the positive real number r • val(t), where the corresponding node of X is étale-locally given by an equation xy = t r for t ∈ R. We similarly define the edge length function ℓ : E(G X ′ ) → R >0 .
(3) The restriction F 0 : X ′ 0 → X 0 of F to the special fibers is an admissible G-cover over k, and the underlying graph model for ϕ is the dual harmonic G-cover f : We note that the models G X ′ and G X depend on the choice of extension F, but the tropical curves Γ X ′ and Γ X do not.
The map ϕ : Γ X ′ → Γ X may also seen to be harmonic by [ABBR15a, Theorem A] upon identifying Γ X ′ and Γ X with the non-Archimedean skeletons of (X ′ ) an and X an , respectively.The morphism ϕ : Γ X ′ → Γ X is unramified because f is unramified.

3.3.
A modular perspective on tropicalization.Following the recipe in [CMR16, Section 3.2.3]one may construct a tropical moduli space H trop g,G (µ) as a generalized cone complex that parametrizes isomorphism classes of unramified harmonic G-covers with dilation type µ along the marked legs.
Let us now work over an algebraically closed non-Archimedean field K, whose residue characteristic is either zero or coprime to |G|.Denote by H an g,G (µ) the Berkovich analytic space1 associated to H g,G (µ).The process described in Section 3.2 above defines a natural tropicalization map that associates to an admissible G-cover X ′ → X of smooth curves over a non-Archimedean extension L of K an unramified tropical G-cover Γ X ′ → Γ X of the dual tropical curve Γ X of X.
Since the boundary of H g,G (µ) has normal crossings, the open immersion H g,G (µ) → H g,G (µ) is a toroidal embedding in the sense of [KKMSD73].Therefore, as explained in [Thu07, ACP15, Uli21], there is a natural strong deformation retraction ρ g,G : H an g,G (µ) → H an g,G (µ) onto a closed subset of H an g,G (µ) that carries the structure of a generalized cone complex, the non-Archimedean skeleton Σ g,G (µ) of H an g,G (µ).Expanding on [CMR16, Theorem 1 and 4], we have: Theorem 3.5.The tropicalization map trop g,G (µ) : H an g,G (µ) −→ H trop g,G (µ) factors through the retraction to the non-Archimedean skeleton Σ g,G (µ) of H an g,G (µ), so that the restriction to the skeleton is a finite strict morphism of generalized cone complexes.Moreover, the diagram (6) In other words, the restriction of trop g,G (µ) onto a cone in Σ g,G (µ) is an isomorphism onto a cone in H trop g,G (µ) and every cone in H trop g,G (µ) has at most finitely many preimages in Σ g,G (µ).Theorem 3.5, in particular, implies that the tropicalization map trop g,G (µ) is well-defined, continuous, and proper.
The proof is almost word for word the same as the one of [CMR16, Theorems 1 and 4].We need to observe that the construction in [CMR16] is compatible with the G-operation on both the algebraic and the tropical side.Moreover, using [Uli21, Section 4.5], one can extend the construction of a non-Archimedean skeleton from [Thu07, ACP15] to a possibly non-trivially valued base field K.We leave the details to the avid reader, since the statement of Theorem 3.5 is not strictly used in the remainder of this article.

Realizability of abelian harmonic covers
In this section, we return to the abelian case and fix a finite abelian group A. We show that the A-dilation datum of a harmonic A-cover ϕ : Γ ′ → Γ that is obtained by tropicalizing an algebraic A-cover has a simple cohomological description.Conversely, we show that any harmonic A-cover whose A-dilation datum admits such a description comes from an algebraic A-cover.This gives us an elementary necessary condition for realizability (see Corollary 4.5), and other similar conditions can be readily found.
We begin by giving the definition of realizability for weighted graphs and for tropical curves.
Definition 4.1.Let k be an algebraically closed field.
(1) An unramified harmonic A-cover of weighted graphs f : G ′ → G is realizable over k if there exists an admissible A-cover X ′ 0 → X 0 of stable nodal curves over k whose dual harmonic A-cover is f .(2) An unramified harmonic A-cover of tropical curves ϕ : Γ ′ → Γ is realizable over k if there exist a non-Archimedean field K whose residue field is k and a Galois A-cover F : X ′ → X of smooth projective curves over K such that ϕ is the tropicalization of F .
4.1.From Galois covers to extended homology.Let K be a non-Archimedean field with valuation ring R and residue field k, whose characteristic p is either zero or coprime to |A|.Let F : X ′ → X be a finite A-cover of smooth projective curves over K (where X ′ may be disconnected), which is ramified precisely at n ′ marked ramification points p ′ 1 , . . ., p ′ n ′ ∈ X ′ over a collection of marked branch points p 1 , . . ., p n ∈ X.Let F : X ′ → X be an extension of X ′ → X to a family of admissible A-covers over R (where we may have to replace K by a finite extension, as above).Let ϕ : Γ X ′ → Γ X be the induced tropical harmonic A-cover with model f : G X ′ → G X (which depends on the choice of F extending F ).
Let v ∈ V (G X ) be a vertex, then the smooth locus X * v of the irreducible component X v is a genus g(v) curve over k with val(v) punctures.The A-cover F −1 (X * v ) → X * v is determined by a monodromy representation m v : π ét 1 (X * v , x 0 ) → A. Since A is abelian, the choice of base point is irrelevant, and the representation can be recorded by a tuple of elements of A in the following way.Let Π g(v),val(v) = α 1 , . . ., α g(v) , β 1 . . ., β g(v) , γ 1 , . . ., γ val be the fundamental group of a genus g(v) Riemann surface with val(v) punctures, where the γ j are small loops around the punctures.By a theorem of Grothendieck (see e.g.[Sza09, Theorem 4.9.1]), the étale fundamental group π ét 1 (X * v , x 0 ) is the profinite completion of Π g(v),val(v) when p = 0 and the prime-to-p profinite completion of Π g(v),val(v) when p > 0. Since |A| is coprime to p, every continuous homomorphism π ét 1 (X * v , x 0 ) → A (where A is equipped with the discrete topology) is uniquely determined by a homomorphism φ : Π g(v),val(v) → A that factors as Hence the monodromy representation m v : π ét 1 (X * v , x 0 ) → A is uniquely determined by the images ξ(v) i = φ(α i ) ∈ A and ξ(v) g(v)+i = φ(β i ) ∈ A for i = 1, . . ., g(v), of the α i and β i , which may be arbitrary, as well as the images η(h) = φ(γ j ) ∈ A for j = 1, . . ., val(v), Conjecture 5.2.Let k be an algebraically closed field with char k ̸ = 5.Every nodal curve over k with no separating nodes has an admissible Z/5Z-cover that is ramified at each node.
and by assumption the G-action does not identify the two half-edges of any edge of G. Therefore E(G/G) = E(G)/G and L(G/G) = L(G)/G, and the quotient map Furthermore, for any edge e = {h, h ′ } ∈ E(G) we have D(h) = D(h ′ ), and we denote this group by D(e).This motivates the following definition.Definition 2.1.An A-dilation datum D on a finite graph G is a choice of a subgroup D(v) ⊆ A for every v ∈ V (G) and D(h) ⊆ A for every h ∈ H(G), such that D(h) ⊂ D(v) if h is rooted at v and such that D(h) = D(h ′ ) = D(e) for any edge e = {h, h ′ } ∈ E(G).We note that if e ∈ E(G) is an edge with root vertices u, v ∈ V (G), then D(e) ⊆ D(u) ∩ D(v).An A-dilation datum D on a metric graph Γ is an A-dilation datum on some model G of Γ, which defines a subgroup D(p) ∈ A for each p ∈ Γ.An A-dilation datum on a metric graph Γ together with a choice of simple model naturally gives rise to a dual sheaf of abelian groups.Definition 2.2.Let D be an A-dilation datum on a simple model G of a metric graph Γ.We define the codilation sheaf A D on Γ as follows.For a vertex v ∈ V (G), we denote C(v) = D(v).Similarly, for a leg l ∈ L(G) we denote C(l) = D(v), where v = r(l).Finally, for an edge e ∈ E(G) with root vertices v and w, we denote C(e) = D(v) + D(w) ⊆ A. We note that D(e) ⊆ C(e) for any edge e ∈ E(G) and D(l) ⊆ C(l) for any leg l ∈ L(G).Now let U(G) = {U v , U l } be the star cover of Γ associated to G. The sections of A D over the open cover and the induced intersections are A D (U v ) = A/C(v), A D (U l ) = A/C(l), and A D (U e ) = A/C(e), where U e = U v ∩ U w if e is the (unique) edge between v and w.The restriction maps are induced by the inclusions D(v) = C(v) ⊆ C(e) and D(v) = C(v) = C(l) for an edge e or a leg l rooted at a vertex v. Given a connected open set U ⊆ Γ, we set A D