Equivariant Tamagawa numbers and Galois module theory. I
type: Item
instance of: scholarly article
zbMATH Open document ID: 1014.11070
DOI: 10.1023/A:1014502826745
published in: Compositio Mathematica
publication date: 2003-07-09T00:00:00Z
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 11G40
zbMATH DE Number: 1698562
zbMATH Keywords: Tamagawa numbers
zbMATH Keywords: Stark's conjecture
zbMATH Keywords: Galois structures
author: David Burns
MaRDI profile type: MaRDI publication profile
full work available at URL: a:1014502826745
OpenAlex ID: W1851564935
title: Equivariant Tamagawa numbers and Galois module theory. I
review text: In this important paper the author defines an element \(T\Omega(L/K,0)\) attached to a Galois extension \(L/K\) and provides links with many other constructions and conjectures. The Galois group \(G\) of \(L/K\) is permitted to be non-Abelian, and \(T\Omega(L/K,0)\) is an element of the relative K-group K\(^0(\mathbb Z[G], \mathbb R)\). It is conjectured that \(T\Omega(L/K,0)\) is always zero. The author proves the following: NEWLINENEWLINENEWLINE(1) The class \(T\Omega(L/K,0)\) comes from K\(^0(\mathbb Z[G], \mathbb Q)\) iff the Stark conjecture holds for \(L/K\), and if this case occurs, \(T\Omega(L/K,0)\) is zero iff the Strong Stark conjecture holds. NEWLINENEWLINENEWLINE(2) The nullity of \(T\Omega(L/K,0)\) is equivalent to the Lifted Root Number Conjecture of \textit{K. W. Gruenberg, J. Ritter} and \textit{A. Weiss} [cf. Proc. Lond. Math. Soc. (3) 79, 47--80 (1999; Zbl 1041.11075); Jahresber. Dtsch. Math.-Ver. 100, 36--44 (1998; Zbl 0929.11054)]; more precisely, the element \(\omega_{\varphi_S}\) defined by the latter authors agrees with \(T\Omega(L/K,0)\) up to a canonical involution. NEWLINENEWLINENEWLINE(3) The nullity of \(T\Omega(L/K,0)\) implies Chinburg's \(\Omega(3)\)-conjecture for \(L/K\). NEWLINENEWLINENEWLINE(4) The element \(T\Omega(L/K,0)\) (which was constructed globally, that is, without using any localization result for relative K-groups) agrees with an element, or rather, a family of elements indexed by all prime numbers \(p\) that were defined in an earlier preprint of the author and called equivariant Tamagawa numbers. NEWLINENEWLINENEWLINE(Comment: One now speaks of the conjecture that \(T\Omega(L/K,0)\) vanishes as ``the Equivariant Tamagawa number conjecture'' for a certain motive.) NEWLINENEWLINENEWLINEThe construction of \(T\Omega(L/K,0)\) fits into a larger framework; actually \(T\Omega(L/K,0)=\break T\Omega(L/K,M)\) where the motive \(M\) is specialised to \(\mathbb Q(0)_L\). The main ingredients are reduced determinants and refined …
reviewed by: Cornelius Greither
Recommended article: Q3159971
Recommended article: On the equivariant Tamagawa number conjecture for Tate motives
Recommended article: Q4432882
Recommended article: On equivariant Dedekind zeta-functions at \(s=1\)
description: scientific article; zbMATH DE number 1698562