2014/10/25 by Temkin, Michael
#Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.1410.6892
We show that the metric structure of morphisms f\colon Y→ X between quasi-smooth compact Berkovich curves over an algebraically closed field admits a finite combinatorial description. In particular, for a large enough skeleton Γ=(ΓY,ΓX) of f, the sets Nf,≥ n of points of Y of multiplicity at least n in the fiber are radial around ΓY with the radius changing piecewise monomially along ΓY. In this case, for any interval l=[z,y]⊂ Y connecting a rigid point z to the skeleton, the restriction f|l gives rise to a profile piecewise monomial function φy\colon [0,1]→[0,1] that depends only on the type 2 point y∈ΓY. In particular, the metric structure of f is determined by Γ and the family of the profile functions \φy\ with y∈ΓY(2). We prove that this family is piecewise monomial in y and naturally extends to the whole Yhyp. In addition, we extend the theory of higher ramification groups to arbitrary real-valued fields and show that φy coincides with the Herbrand's function of H(y)/H(f(y)). This gives a curious geometric interpretation of the Herbrand's function, which applies also to non-normal and even inseparable extensions.