Appendix: On a theorem of Bloch and Kato (letter to B. Perrin- Riou) (Q1319400)

Let \(p\) be a prime number, \(k\) a perfect field of residue characteristic \(p\), \(K\) the fraction field of the ring of Witt vectors \(W(k)\), \(G_ K = \text{Gal}(\overline K/K)\) for an algebraic closure \(\overline K\) of \(K\). Furthermore one has the now well-known [cf. \textit{S. Bloch} and \textit{K. Kato}, The Grothendieck Festschrift, Vol. I, Prog. Math. 86, 333-400 (1990; Zbl 0768.14001)] \(R\), \(B^ +_{\text{cris}}\), \(B_{\text{cris}}\), \(B^ +_{\text{dR}}\), \(B_{\text{dR}}\), \(\ldots\), etc. with action of Frobenius as usual. One also has a ring \(S\) (written \({\mathcal R}\) in the just cited paper) which may be identified with a closed subring of \(W(R)\). The exponential map \(a \mapsto \exp (pa)\) gives a short exact sequence \(0 \to S \to S^* \to U \to 0\). The projection \(S^* \to U\) admits a section, called Coleman's isomorphism Col, with image (contained in) \(\widehat U = \{x \in S^* \mid N_ fx = x\}\) in the notation of Bloch and Kato (loc. cit.). This can be sharpened a little bit. For any \(r \geq 1\) one has a canonical homomorphism (Coates- Wiles) \(\Psi^ r_{\text{CW}} : S^* \to K (r) = K \cdot t^ r\). Choose a generator of the multiplicative \(\mathbb{Z}_ p(1)\) determined by \(\varepsilon = (\varepsilon^{(n)})_{n \in \mathbb{N}} \in R\), let \(K_ n = K(\varepsilon^{(n)})\) and \(L = \bigcup K_ n\), \(G_ L = \text{Gal} (\overline K/L)\) and \(\Gamma = G_ K/G_ L\). The formalism of \(B^ +_{\text{cris}}\) and its filtration \(\text{Fil}^ r\) leads to homomorphisms (injective for \(r \geq 1)\), \(\delta^ r : K \to \Hom_ \Gamma (G_ L, \mathbb{Q}_ p (r))\). The paper gives, in a leisurely style, the results of the author's musings and new insights on (the proof of) a theorem of Bloch and Kato (loc.cit.) expressing the morphisms \(\overline \delta^ r : K \to \Hom_ \Gamma (U, \mathbb{Q}_ p (r))\), \(r \geq 1\) and \(p>2\) prime, where \(\overline \delta^ r\) is the composition of \(\delta^ r\) and the map induced by \(\imath_ 0 : U \to G_ L\) as provided by class field theory in the limit (where now we assume the residue class field to be finite), and the Coates-Wiles homomorphisms \(\Phi_{\text{CW}}^ r\) of Bloch and Kato (loc. cit.). Here \(\Phi^ r_{\text{CW}} = r! \cdot \Psi^ r_{\text{CW}} \circ \text{Col}\). The map \(K(r) \to \mathbb{Q}_ p(r)\), \(x \otimes t^ r \mapsto \text{Tr}_{K/ \mathbb{Q}_ p} (x) \otimes t^ r\), gives rise to a homomorphism \(T : \Hom_ \Gamma (U,K(r)) \to \Hom_ \Gamma (U, \mathbb{Q}_ p (r))\). The mentioned relation is given by: Let \(r \geq 1\) and \(a \in K\), then \(\displaystyle {\overline \delta^ r(a) = T(a \cdot \Phi_{\text{CW}}^ r)/(r - 1)!}\).