On the equivariant Tamagawa number conjecture for Tate motives (Q1411965)

From MaRDI portal
Revision as of 01:11, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the equivariant Tamagawa number conjecture for Tate motives
scientific article

    Statements

    On the equivariant Tamagawa number conjecture for Tate motives (English)
    0 references
    4 November 2003
    0 references
    To a ``motif'' \(M\) (given by its cohomological realizations) are attached a complex function \(L(M, s)\) and all the data conjecturally describing the leading Taylor coefficient \(L^\ast (M)\) of this function at \(s = 0.\) Very roughly speaking, Beilinson's conjecture describes \(L^\ast (M) \in {\mathbb R}^\ast\) in terms of regulators up to a rational factor, and the Bloch-Kato conjecture gives this rational factor in terms of so-called Tamagawa numbers (commutative algebraic groups being replaced by motivic cohomology groups). A later reformulation by Fontaine and Perrin-Riou of this Tamagawa number conjecture in terms of complexes and determinants could be viewed (roughly speaking again) as some kind of very elaborate global-local principle bringing together the archimedean and \(p\)-adic worlds. Finally, the equivariant version (ETNC for short) proposed by Burns and Flach provides a coherent overview and refinement of many existing conjectures on the arithmetical interpretation of special values of \(L\)-functions in connection with Galois module structures. In this paper, the authors prove the ETNC for Tate motives, more specifically for pairs \((h^0 (\text{Spec} (L)) (r), {\mathbb Z} [{1 \over 2}] [\text{Gal} (L/K)]),\) \(r\) being a negative or null integer, \(L\) a finite abelian number field, \(K\) any subfield of \(L.\) The proof can be divided in two parts: 1) Go up the cyclotomic tower \({\mathbb Q}(\xi_{mp^\infty}), p \not= 2, p\nmid m,\) and prove a kind of ``equivariant Iwasawa main conjecture'' formulated by Kato in terms of complexes (thm. 6-1). This combines a systematic use of the Iwasawa theory of perfect complexes (in the spirit e.g. of Nekovar) together with more classical apparatus such as the theorem of Mazur-Wiles and results on \(\mu\)-invariants. 2) Prove the \(p\)-part of the ETNC (for the motif under consideration) by Iwasawa descent on complexes. In the case \(r < 0,\) descent is ``classical'' but relies heavily on fundamental results of Beilinson-Huber-Wildeshaus relating special values of Dirichlet \(L\)-functions to polylogarithms and cyclotomic elements in higher algebraic \(K\)-theory. In the case \(r = 0,\) which is notoriously more delicate due to the presence of ``trivial zeroes'' of \(p\)-adic \(L\)-functions, crucial use is made of results of Ferrero-Greenberg-Gross on the first derivative of \(p\)-adic \(L\)-functions at \(s = 0\) and valuative properties of certain canonical ``cyclotomic \(p\)-units'' shown by Solomon (\S \ 9). Note related work (but weaker results) by \textit{D. Benois} and \textit{T. Nguyen-Quang-Do} [Ann. Sci. Éc. Norm. Supér. (4) 35, 641--672 (2002; Zbl 1125.11351)] on the (original) Bloch-Kato conjecture for Tate motives over an abelian number field, and by \textit{A. Huber} and \textit{G. Kings} [Duke Math. J. 119, 393--464 (2003; Zbl 1044.11095)] for Dirichlet motives. Note also that the case \(p = 2\) has been dealt with by [\textit{M. Flach}, Stark's conjectures: recent work and new directions. Papers from the international conference on Stark's conjectures and related topics, Johns Hopkins University, Baltimore, MD, USA, August 5--9, 2002. Providence, RI: American Mathematical Society (AMS). Contemporary Mathematics 358, 79--125 (2004; Zbl 1070.11025)].
    0 references
    equivariant
    0 references
    complexes
    0 references
    determinants
    0 references
    0 references
    0 references

    Identifiers