Values at s=-1 of L-functions for relative quadratic extensions of number fields, and the Fitting ideal of the tame kernel

الأصل · EN

Fix a relative quadratic extension E/F of totally real number rields and let G denote the Galois group of order 2. Let S be a finite set of primes of F containing the infinite primes and all those which ramify in E, let Sₑ denote the primes of E and let Oₑˢ denote the ring of Sₑ-integers of E. Assume the truth of the 2-part of the Birch-Tate conjecture relating the order of the tame kernel K₂(Oₑˢ) to the value of the Dedekind zeta function of E at s=-1, and assume the same for F as well. We then prove that the Fitting ideal of K₂(Oₑˢ) as a Z[G]-module is equal to a generalized Stickelberger ideal. Equality after tensoring with Z[1/2][G] holds unconditionally.