Local differents of algebraic and finite extensions of valued fields

AbstractThe properties of discriminants and differents were studied first by Dedekind and Hilbert in finite algebraic extensions of fields of algebraic numbers. From a local point of view, that is equivalent to a study of the p-adic case, where the results of Dedekind and Hilbert can be formulated as follows. Dedekind's theorem: The g.c.d. Δ(Kk) of differents of integral bases of a finite algebraic extension Kk (which I call an algebraic different if Kk and the g.c.d δ(Kk) of differents of integral elements of Kk (which I call an arithmetic different of Kk) coincide; Hilbert's theorem (which is the basis of Herbrand's ramification theory of intermediate extensions): If K ⊃ L ⊃ k, δ(Kk) = δ(KL) δ(Lk). These results are easily generalizable to the “classical case” of henselian valued basic fields, i.e., the case when the valuation is discrete and the residual extension Kk of Kk is separable. But, in the general case of extensions Kk of valued fields (where k may be assumed to be henselian), Dedekind's and Hilbert's theorems are not always true: the algebraic different Δ(Kk) divides the arithmetic different δ(Kk), but generally δ(Kk) ≠ Δ(Kk), and Hilbert's theorem holds only for the algebraic different. When the valuation is discrete, I call an extension Kk dedekindian when δ(Kk) = Δ(Kk) and hilbertian if, for every intermediate field L of Kk (i.e., K ⊇ L ⊇ k), Hilbert's theorem δ(Kk) = δ(KL) δ(Lk) for arithmetic differents holds. When the valuation is dense, the situation is more complicated, because of the existence of two kinds of ideals (principal and other), and it is convenient to define dedekindian and hilbertian extensions in a slightly different manner and to introduce somewhat wider classes of extensions called quasi-dedekindian and quasi-hilbertian. I study the relations between Δ(Kk) and δ(Kk), and, in particular, I give a complete characterization of dedekindian extensions for both discrete and dense valuations; I also give examples of non-dedekindian and non-hilbertian extensions. In Section 4, some connections with the ramification theory (both for normal and non-normal extensions) are studied and a weak analog of Hilbert's theorem [δ(Kk) δ(Lk) divides δ(Kk)] is proved