Paper detail

Indices of inseparability in towers of field extensions

Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension of degree $n=ap^ν$. The indices of inseparability $i_0,i_1,...,i_ν$ of $L/K$ were defined by Fried in the case char$(K)=p$ and by Heiermann in the case char$(K)=0$; they give a refinement of the usual ramification data for $L/K$. The indices of inseparability can be used to construct "generalized Hasse-Herbrand functions" $ϕ_{L/K}^j$ for $0\le j\leν$. In this paper we give an interpretation of the values $ϕ_{L/K}^j(c)$ for natural numbers $c$. We use this interpretation to study the behavior of generalized Hasse-Herbrand functions in towers of field extensions.