Ramification Jump in Model Extensions of Degree p

An extension of complete dicrete valuation fields with imperfect residue fields is naturally viewed as an epimorphism between algebraic surfaces with a distinguished point. Each regular curve that meets this point with irreducible preimage gives rise to an extension of fields of functions. In this paper, the ramification jump of this extension is considered as a function of a jet of a curve. The Zarisky topology on the set of jets is introduced, and the lower semicontinuity and existence of a common value for the jump are proved. © 2014, Springer Science+Business Media New York.