Étale wild kernels of exceptional number fields (Q2506373): Difference between revisions

For a number field \(F\) and a prime \(p,\) the étale wild kernels \[ W K_{2j}^{\text{ét}} (F) := \text{Ker}\, \Bigl( H^2_{\text{ét}}{\mathcal O}_S, {\mathbb Z}_p (j+1)) \to \displaystyle\bigoplus_{v \in S} H^2_{\text{ét}} (F_v, {\mathbb Z}_p (j+1))\Bigl) \] (where \(S\) is the set of \(p\)-adic and infinite primes of \(F)\) are higher analogues of the \(p\)-part of the classical wild kernel for \(K_2.\) Concerning their arithmetical properties, the existing literature confines itself mainly to the case where the field \(F\) is non exceptional, i.e. where the group \(\Gamma (F) = \Gamma = \text{Gal}(F(\mu_{p^\infty})/F)\) contain no 2-torsion. In [Math. Z. 168, 181--205 (1979; Zbl 0421.12024)], \textit{P. Schneider} gave two characterizations of the étale wild kernels, namely \(W^{\text{ét}}_{2j} (F) \simeq (X_\infty (j))_{\Gamma}\) when \(F\) is non exceptional (here \(X_\infty\) is the classical unramified totally split Iwasawa module) and \(W K^{\text{ét}}_{2j}(F) = \text{div}\, (H^2(F, {\mathbb Z}(j+1)) \{ p \}\) when \(p \not= 2\) (here \(div\;(\ldotp)\) denotes the group of infinitely divisible elements).\ The author's main goal in this paper is to clarify the relationship between these three groups in the exceptional case. Roughly speaking, analogues of Schneider's isomorphisms remain valid for even \(j.\) For odd \(j,\) \(W K^{\text{ét}}_{2j} (F)\) contains naturally the group of divisible elements, and the quotient is explicitly known ; the kernel of the map \(X_\infty (j)_\Gamma \to W K^{\text{ét}}_{2j} (F)\) can be non trivial, but nothing more is known. Note a related result by \textit{C. Weibel} [J. Pure Appl. Algebra 206, No. 1--2, 222--244 (2006; Zbl 1096.19003)], who defines a higher algebraic kernel \[ W K_{2j} (F) \{ 2 \} := \text{Ker}\, \Bigl( K_{2j} ({\mathcal O}_S) \{ 2 \} \to \displaystyle\bigoplus_{v \in S'} H^0 (F_v, {\mathbb Z}/2^\infty (j)\Bigl) \] (where \(S' = S\) if \(j \equiv 1 \pmod 4\) and \(S'\) is the set of dyadic primes otherwise) and shows that \(W K_{2 j} (F) \{ 2 \}\) contains div \(K_{2j} (F) \{ 2 \},\) with equality except when \(F\) is special (i.e. \(\Gamma (F) \not= \Gamma (F_v)\) for all \(v),\) in which case the index is 2.