TY - JOUR
T1 - Metric uniformization of morphisms of Berkovich curves
AU - Temkin, Michael
N1 - Publisher Copyright:
© 2017 Elsevier Inc.
PY - 2017/9/7
Y1 - 2017/9/7
N2 - We show that the metric structure of morphisms f: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 point z of type 1 to the skeleton, the restriction f|l gives rise to a profile piecewise monomial function φy:[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 Y. In addition, we extend the classical theory of higher ramification groups to arbitrary real-valued fields and show that φy coincides with the Herbrand function of H(y)/H(f(y)). This gives a curious geometric interpretation of the Herbrand function, which also applies to non-normal and even inseparable extensions.
AB - We show that the metric structure of morphisms f: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 point z of type 1 to the skeleton, the restriction f|l gives rise to a profile piecewise monomial function φy:[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 Y. In addition, we extend the classical theory of higher ramification groups to arbitrary real-valued fields and show that φy coincides with the Herbrand function of H(y)/H(f(y)). This gives a curious geometric interpretation of the Herbrand function, which also applies to non-normal and even inseparable extensions.
KW - Berkovich curves
KW - Herbrand function
KW - Wild ramification
UR - http://www.scopus.com/inward/record.url?scp=85024123507&partnerID=8YFLogxK
U2 - 10.1016/j.aim.2017.07.010
DO - 10.1016/j.aim.2017.07.010
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85024123507
SN - 0001-8708
VL - 317
SP - 438
EP - 472
JO - Advances in Mathematics
JF - Advances in Mathematics
ER -