Valuations in algebraic field extensions

Abstract

Let $K\to L$ be an algebraic field extension and $\nu$ a valuation of $K$. The purpose of this paper is to describe the totality of extensions $\left\{{\nu }^{\prime }\right\}$ of $\nu$ to $L$ using a refined version of MacLane's key polynomials. In the basic case when $L$ is a finite separable extension and $rk\nu =1$, we give an explicit description of the limit key polynomials (which can be viewed as a generalization of the Artin--Schreier polynomials). We also give a realistic upper bound on the order type of the set of key polynomials. Namely, we show that if $charK=0$ then the set of key polynomials has order type at most $\mathbb{N}$, while in the case $charK=p>0$ this order type is bounded above by $([{\log }_{p}n]+1)\omega$, where $n=[L:K]$. Our results provide a new point of view of the the well known formula $\sum _{j=1}^s{e}_j{f}_j{d}_j=n$ and the notion of defect.

References in corpus (1)

• Famille admise associée à une valuation de K(X)

Cited by in corpus (11)

• Valuation Semigroups of Two Dimensional Local Rings
• Extending a valuation centered in a local domain to the formal completion
• MacLane-Vaquié chains of valuations on a polynomial ring
• Defect of an extension, key polynomials and local uniformization
• Rigidity of valuative trees under henselization
• An effective criterion for algebraic contractibility of rational curves
• Algebraicity of normal analytic compactifications of C^2 with one irreducible curve at infinity
• Realization of a certain class of semi-groups as value semi-groups of valuations
• Ramification theory and key polynomials
• Valuations on $K[x]$ approaching a fixed irreducible polynomial
• Extending valuations to formal completions