On the equivariant Tamagawa number conjecture for Abelian extensions of a quadratic imaginary field (Q2369282)

Let \(k\) be an imaginary quadratic field, \(p\) a prime which splits in \(k/{\mathbb Q}\) and does not divide the class number of \(k.\) For any finite abelian extension \(L\) of \(k\) and any subextension \(k \subseteq K \subseteq L,\) the author proves the \(p\)-part of the Equivariant Tamagawa Number Conjecture for the pair \((h^{0} (\text{Spec}(L)),\) \({\mathbb Z} [\text{Gal}\;(L/K)]).\) Recall that, roughly speaking, the ETNC describes the leading coefficient in the Laurent series of the equivariant Dirichlet \(L\)-function at \(s = 0\) as the determinant of a canonical complex. The strategy is close to that used by \textit{D. Burns} and \textit{C. Greither} [Invent. Math. 153, No. 2, 303--359 (2003; Zbl 1142.11076)] to prove the ETNC for Tate motives attached to abelian extensions of \({\mathbb Q}.\) Replace cyclotomic units by elliptic units and \(L\)-values by sums of logarithms of elliptic units (by Kronecker's limit formula). In this formulation, one may pass to the limit along a \({\mathbb Z}_p\)-extension and recover (an analogue of) a conjecture of Kato, which in turn can be deduced from the Main Conjecture (MC) of Iwasawa theory and the triviality of certain \(\mu\)-invariants. Iwasawa-theoretic descent methods then allow to achieve the proof of the ETNC. To give an idea of the technical difficulties, recall that the MC in the elliptic setting was proved by \textit{K. Rubin} [Invent. Math. 89, 527--560 (1987; Zbl 0628.14018)], but only in the semisimple case; the triviality of \(\mu\) was proved by \textit{R. Gillard} [J. Reine Angew. Math. 358, 76--91 (1985; Zbl 0551.12011)], but again only in the ordinary case when \(p\) is split in \(k/{\mathbb Q}\) ; and the descent considerations are particularly involved in the presence of ``trivial zeros'' of \(p\)-adic \(L\)-functions.