Functoriality of the canonical fractional Galois ideal
arXiv:0803.2781 · doi:10.4153/CJM-2010-054-1
Abstract
The fractional Galois ideal of [Victor P. Snaith, Stark's conjecture and new Stickelberger phenomena, Canad. J. Math. 58 (2) (2006) 419--448] is a conjectural improvement on the higher Stickelberger ideals defined at negative integers, and is expected to provide non-trivial annihilators for higher K-groups of rings of integers of number fields. In this article, we extend the definition of the fractional Galois ideal to arbitrary (possibly infinite and non-abelian) Galois extensions of number fields under the assumption of Stark's conjectures, and prove naturality properties under canonical changes of extension. We discuss applications of this to the construction of ideals in non-commutative Iwasawa algebras.
29 pages. Updated to include a comment in the introduction about a problem with Proposition 3.6 that the authors have not been able to resolve