\(L\)-functions at the origin and annihilation of class groups in multiquadratic extensions (Q2893040)

Let \(K\) be a composite of a finite number of quadratic extensions of a number field \(F\) with a Galois group \(G\) and let the finite set \(S\) contain the infinite primes of \(F\) and those primes of \(F\) which ramify in \(K\). Let \(S_K\) be the set of primes of \(K\) lying above those in \(S\) and \(\mathcal{O}_K^S\) be the ring of \(S_K\)-integers in \(K\). Let \(Cl_K^S\) denote the \(S_K\)-class group of \(K\), i.e. the group of the non-zero fractional ideals of \(\mathcal{O}_K^S\) modulo principal fractional ideals. Consider also the \(S\)-imprimitive equivariant \(L\)-function \(\theta_{K/F}^S(s)\). It is obtained from the equivariant Artin L-function of the extension \(K\) by removing from each Artin L-function building the equivariant function the Euler factors at the primes in \(S\).NEWLINENEWLINEThe author of the present paper finds a non-trivial annihilator of the class group \(Cl_K^S\) which is associated with any irreducible character of \(G\), it is an element of the group ring \(\mathbb{Z}(G)\), and in its expression it incorporates a certain regulator, an annihilator of the group of roots of unity of \(K\) and, most importantly, what may be considered the leading term of \(\theta_{K/F}^S(s)\) at \(s=0\).NEWLINENEWLINEIn addition to the relation of the considered problem with Brumer-Stark conjecture, the author points out the connection of his work to those of Burns and Macias Castillo ([\textit{D. Burns}, Invent. Math. 186, No. 2, 291--371 (2011; Zbl 1239.11128)], [\textit{D. Macias Castillo}, Int. J. Number Theory 8, No. 1, 95--110 (2012; Zbl 1300.11115)]). Although Burns proves more general result for annihilation, his proof is in a slightly different setting, and Macias Castillo's results for multiquadratic extensions are stronger but do not hold for all characters of \(G\) as in the present paper.