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

Kolyvagin systems of Stark units

In this paper we construct, using Stark elements of Rubin [Ann. Inst. Fourier (Grenoble) 46 (1996), no. 1, 33-62], Kolyvagin systems for certain modified Selmer structures (that are adjusted to have core rank one in the sense of [Mem. Amer. Math. Soc. 168 (2004), no. 799] and prove a Gras-type conjecture, relating these Kolyvagin systems to appropriate ideal class groups, refining the results of Rubin [J. Reine Angew. Math. 425 (1992), 141-154].Comment: 27 pages, revised version, accepted for publication in J. Reine Angew. Math. (Crelle's

International Nonregimes: A Research Agenda1

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/146934/1/j.1468-2486.2007.00672.x.pd