On Kato's local \(\varepsilon\)-isomorphism conjecture for rank-one Iwasawa modules (Q2509419): Difference between revisions

The significance of local \(\varepsilon\)-factors à la Deligne and Tate, or more generally that of the (conjectural) \(\varepsilon\)-isomorphism suggested in the work of \textit{T. Fukaya} and \textit{K. Kato} [in: Proceedings of the St. Petersburg Mathematical Society. Vol. XII. Transl. from the Russian. Providence, RI: American Mathematical Society (AMS). Translations. Series 2. American Mathematical Society 219, 1--85 (2006; Zbl 1238.11105)] is at least twofold. First, they are important ingredients to obtain a precise functional equation for \(L\)-functions or more generally for (conjectural) \(\varepsilon\)-isomorphisms of motives in the context of equivariant or noncommutative Tamagawa number conjectures. Secondly, they are essential in interpolation formulae of (actual) \(p\)-adic \(L\)-functions and for the relation between \(\varepsilon\)-isomorphisms and (conjectural, not necessarily commutative) \(p\)-adic \(L\)-functions. The main motivation for this article originates from Theorem 8.4 of [\textit{D. Burns} and the author, J. Inst. Math. Jussieu 10, No. 1, 59--118 (2011; Zbl 1213.11134)], which describes under what conditions the validity of a (noncommutative) Iwasawa Main Conjecture for a critical (ordinary at \(p\)) motive \(M\) over some \(p\)-adic Lie extension \(F_\infty\) of \(\mathbb{Q}\) implies parts of the equivariant Tamagawa number conjecture (ETNC) by \textit{D. Burns} and \textit{M. Flach} [Doc. Math., J. DMV Extra Vol., 133--163 (2007; Zbl 1156.11042)] for \(M\) with respect to a finite Galois extension \(F\subseteq F_{\infty}\) of \(\mathbb{Q}\). This paper contains a complete proof of Fukaya and Kato's \(\varepsilon\)-somorphism conjecture for invertible \(\lambda\)-modules (the case of \(V=V_0(r)\), where \(V_0\) is unramified of dimension 1). The obtained results rely heavily on Kato's proof, in an unpublished set of lecture notes, of (commutative) \(\varepsilon\)-isomorphisms for one-dimensional representations of \(G_{\mathbb{Q}_p}\), but apart from fixing some sign ambiguities in Kato's notes, the authors use the theory of \((\phi, \Gamma)\)-modules instead of syntomic cohomology. Also, for the convenience of the reader they give a slight modification or rather reformulation of it in the language of Fukuya and Kato and extend it to the (slightly noncommutative) semiglobal setting. They also present some direct applications concerning the Iwasawa theory of CM elliptic curves, in particular the local Iwasawa Main Conjecture for CM elliptic curves \(E\) over the extension of \(\mathbb{Q}_p\) which trivialises the \(p\)-power division points \(E(p)\) of \(E\). This article is well written and is really worth reading for anybody who would like to have an overview of the noncommutative Iwasawa theory.