The integral logarithm in Iwasawa theory: an exercise (Q614483)

Let \(l\) be an odd prime number and let \(\Lambda = \mathbb{Z}_l[[T]]\) denote the power series ring in one variable over the \(l\)-adic integers. Moreover, let \(H\) be a finite abelian \(l\)-group and consider the group ring \(\Lambda_{\wedge}[H]\), where \(\Lambda_{\wedge}\) denotes the completion of the localization of \(\Lambda\) at the prime ideal \(l \cdot \Lambda\). The integral logarithm of Iwasawa theory in this setting is a map \(\mathbb{L}: \Lambda_{\wedge}[H]^{\times} \to \Lambda_{\wedge}[H]\) defined by \[ \mathbb{L}(e) = \frac{1}{l} \mathrm{log} \frac{e^l}{\psi(e)}, \] where \(\psi\) is the \(\mathbb{Z}_l\)-algebra homomorphism on \(\Lambda_{\wedge}[H]\) induced by \(\psi(g) = g^l\) for \(g \in \Gamma \times H\); here, \(\Gamma\) denotes the cyclic pro-\(l\) group generated by \(1+T\). Note that \(\mathbb{L}\) has played a crucial role in the proof of the main conjecture of (non-commutative) Iwasawa theory. In the paper under review the unit group \(\Lambda_{\wedge}[H]^{\times}\) is described as well as the kernel and cokernel of \(\mathbb{L}\). More precisely, let us denote the roots of unity in \(\mathbb{Z}_l\) by \(\mu_{l-1}\) and put \[ \Xi = \{x = \sum_{k \in \mathbb{Z}} x_k T^k \in \Lambda_{\wedge}: x_k = 0 \text{ if } l | k\}, \] \[ \Xi_s = \{x = \sum_{k \geq s}x_k T^k \in \Xi\} \mathrm{ for } s \in \mathbb{Z}. \] Then one has \[ \mathrm{ker}(\mathbb{L}) = \mu_{l-1} \times \Gamma \times H \] and \(\mathrm{cok}(\mathbb{L})\) fits into a split exact sequence \[ (\Xi / \Xi_1 \oplus \mathbb{Z}_l) \otimes_{\mathbb{Z}_l} H \hookrightarrow \mathrm{cok}(\mathbb{L}) \twoheadrightarrow \Xi / (\mathbb{Z} \xi(\mathbb{L}(T)) \oplus \Xi_2), \] where \(\xi: \Lambda_{\wedge} = \Xi \oplus (l-\psi)\Lambda_{\wedge} \to \Xi\) is the natural projection. The main tool to achieve this is an integral exponential \(\mathbb{E}\) on \(T^2 \Lambda\) defined by \[ \mathbb{E}(y) = \mathrm{exp}\left(\sum_{i \geq 0} \frac{\psi^i(y)}{l^i}\right) \in \mathbb{Q}_l[[T]] \] for \(y \in T^2 \Lambda\). In fact, the image of \(\mathbb{E}\) is contained in \(1 + T^2 \Lambda\) and \(\mathbb{E}\) and \(\mathbb{L}\) are inverse to each other. This is also used to describe the units of \(\Lambda_{\wedge}\): \[ \Lambda_{\wedge}^{\times} = T^{\mathbb{Z}} \times \mu_{l-1} \times \Gamma \times \mathbb{E}(\Xi_2) \times (1 + l \Lambda_{\wedge}) \]