Galois co-descent for étale wild kernels and capitulation. (English) Zbl 0951.11029

Kolster, Manfred; Movahhedi, Abbas

Ann. Inst. Fourier 50, No. 1, 35-65 (2000).

For a number field \(K\) and a prime \(p\), let us denote by \(S\) a finite set of primes containing the primes above \(p\) and the archimedian primes. For \(i\geq 2\), the higher étale wild kernels \[ WK_{2i-2}^{\text{ét}} (F):= \operatorname {Ker} (H_{\text{ét}}^2 ({\mathcal O}_F^S, \mathbb{Z}_p(i))\to \bigoplus_{v\in S} H^2(F_v, \mathbb{Z}_p(i))) \] are natural generalizations of the \(p\)-part of the classical wild kernel (inside \(K_2\)). They play a similar role in étale cohomology, étale \(K\)-theory and Iwasawa theory as the \(p\)-primary part \(A_F'\) of the \((p)\)-class group of \(F\).
In this paper, given a cyclic extension \(L/F\) of degree \(p\) and \(G= \operatorname {Gal} (L/F)\), the authors study Galois co-descent for \(WK_{2i-2}^{\text{ét}} (L)\). The analogous problem for the étale \(K\)-groups \(K_{2i-2}^{\text{ét}} ({\mathcal O}_L^S)\) had been settled previously by J. Assim [Manuscr. Math. 86, 499-518 (1995; Zbl 0835.11043)] in terms of primitive ramification.
But the difficulty here lies in the cokernel \(K_{2i-2}^{\text{ét}} ({\mathcal O}_L^S)/ WK_{2i-2}^{\text{ét}} (L)\), and it is overcome by interpreting this quotient in terms of a Brauer group. The authors show that the transfer map \(WK_{2i-2}^{\text{ét}} (L)_G\to WK_{2i-2}^{\text{ét}} (F)\) is onto except in a very special situation, and they give a formula for the order of the cokernel in the style of genus theory. As an application, they determine all Galois \(p\)-extensions \(F/\mathbb{Q}\) such that \(WK_2^{\text{ét}} (F)= 0\).
A related problem concerns the étale capitulation kernels \(\operatorname {Cap}_{i-1} (F_\infty)\) \((i\geq 2)\), where \(F_\infty= \bigcup_n F_n\) is the cyclotomic \(\mathbb{Z}_p\)-extension of \(F\). These capitulation kernels are defined as \[ \varprojlim_n \operatorname {Ker} (K_{2i-2}^{\text{ét}} ({\mathcal O}_n^S)\to K_{2i-2}^{\text{ét}} ({\mathcal O}_\infty^S)) \] (with obvious notations) and are higher analogs of \[ \operatorname {Cap}_0 (F_\infty)= \varprojlim_n \operatorname {Ker} (A_n')\to A_\infty'). \] For a totally real field \(F\), it is shown that \(\operatorname {Cap}_{i-1} (F_\infty) \simeq WK_{2i-2}^{\text{ét}} (F_n)\) for large \(n\) and all odd \(i\geq 3\), if and only if Greenberg’s conjecture holds for \(F(\mu_p)^+\). Therefore the codescent results for the étale wild kernels imply similar results for the capitulation kernels.

Reviewer: T.Nguyen Quang Do (Besançon)

MSC:

11R23	Iwasawa theory
11R34	Galois cohomology
11R70	\(K\)-theory of global fields

Keywords:

wild kernel; codescent; étale capitulation; étale cohomology; étale \(K\)-theory; Iwasawa theory; Greenberg’s conjecture

Citations:

Zbl 0835.11043

References:

[1]	[1] , Sur la p-nullité de certains noyaux de la K-théorie, Thèse, Université de Franche-Comté, 1994.
[2]	[2] , Codescente en K-théorie étale et corps de nombres, Manuscripta Math., 86 (1995) 499-518. · Zbl 0835.11043
[3]	[3] , Generalization of the Moore exact sequence and the wild kernel for higher K-groups, Compositio Math., 86 (1993), 281-305. · Zbl 0778.11066
[4]	[4] , Cohomologie de SLn et valeurs de fonctions zêta aux points entiers, Ann. Scuola Normale Sup. Pisa, Ser. 4, 4 (1977), 613-636. · Zbl 0382.57027
[5]	[5] , Étale K-theory and Iwasawa-theory of number fields, Thesis McMaster University, 1993.
[6]	[6] , , On Sylow 2-subgroups of K2OF for quadratic number fields F, J. Reine Angew. Math., 331 (1982), 104-113. · Zbl 0493.12013
[7]	[7] , p-adic L-functions and Iwasawa’s theory in: Algebraic Number Fields (ed. by A. Fröhlich), Academic Press, London, 1977, 269-353. · Zbl 0393.12027
[8]	[8] , , Algebraic and étale K-theory, Trans. AMS 292, No. 1 (1985), 247-280. · Zbl 0581.14012
[9]	[9] , (with an appendix by W. Sinnott), Regulators and Iwasawa modules, Invent. Math., 62 (1981), 443-457. · Zbl 0468.12005
[10]	[10] , , Sur les corps de nombres réguliers, Math. Z., 202 (1989), 343-365. · Zbl 0704.11040
[11]	[11] , On the Iwasawa invariants of totally real fields, Amer. J. Math., 98, (1976), 263-284. · Zbl 0334.12013
[12]	[12] , , Tame kernels under relative quadratic extensions and Hilbert symbols, J. Reine Angew. Math., 499 (1998) 145-188. · Zbl 1044.11100
[13]	[13] , On ℤl-extensions of algebraic number fields, Ann. of Math., 98 (1973), 246-326. · Zbl 0285.12008
[14]	[14] , Classes logarithmiques des corps de nombres, J. Théor. Nombres Bordeaux, 6 (1994), 301-325. · Zbl 0827.11064
[15]	[15] , On the Lichtenbaum-Quillen Conjecture in: Algebraic K-theory and Algebraic Topology (ed. by J.F. Jardine), Nato Proc. Lake Louise 407, Kluwer 1993, 147-166. · Zbl 0885.19004
[16]	[16] , Descente galoisienne et K2 des corps de nombres, K-theory, 7 (1993), 55-100. · Zbl 0780.12007
[17]	[17] , Deux théorèmes de comparaison en cohomologie étale ; applications, Duke Math. J., 69 (1993) 137-165. · Zbl 0789.14014
[18]	B. KAHN, The Quillen-Lichtenbaum Conjecture at the prime 2, preprint, 1997.0885.19004 · Zbl 0885.19004
[19]	[19] , An idelic approach to the wild kernel, Invent. Math., 103 (1991), 9-24. · Zbl 0724.11056
[20]	[20] , Remarks on étale K-theory and Leopoldt’s Conjecture in: Séminaire de Théorie des Nombres, Paris, 1991-1992, Progress in Mathematics 116, Birkhäuser 1993, 37-62. · Zbl 1043.19500
[21]	[21] , The Tate module for algebraic number fields, Math., USSR Izv., 6, No. 2 (1972), 263-321. · Zbl 0257.12003
[22]	A. S. MERKURJEV and A. A. SUSLIN, The group K3 for a field, Math., USSR Izv., 36, No. 3 (1991), 541-565.0725.19003 · Zbl 0725.19003
[23]	J. MILNOR, Introduction to Algebraic K-Theory, Annals of Mathematics Studies 72, Princeton University Press, Princeton, 1971.0237.1800550 #2304 · Zbl 0237.18005
[24]	A. MOVAHHEDI, Sur les p-extensions des corps p-rationnels, Thèse Paris 7, 1988. · Zbl 0723.11054
[25]	A. MOVAHHEDI et T. NGUYEN QUANG DO, Sur l’arithmétique des corps de nombres p-rationnels in Séminaire de Théorie des nombres, Paris 1988-1989, Birkhäuser 1990, 155-200.0703.11059 · Zbl 0703.11059
[26]	T. NGUYEN QUANG DO, Sur la ℤp-torsion de certains modules galoisiens, Ann. Inst. Fourier, 36-2 (1986), 27-46.0576.1201087m:11112AIF_1986__36_2_27_0 · Zbl 0576.12010
[27]	T. NGUYEN QUANG DO, Sur la cohomologie de certains modules galoisiens p-ramifiés, Théorie des nombres, J.-M. De Koninck et C. Levesque (éd.), C. R. Conf. Int., Quebec/Can. 1987, 740-754 (1989).0697.12009 · Zbl 0697.12009
[28]	T. NGUYEN QUANG DO, K3 et formules de Riemann-Hurwitz p-adiques, K-Theory, 7 (1993), 429-441.0801.1104994m:11139 · Zbl 0801.11049
[29]	T. NGUYEN QUANG DO, Analogues supérieurs du noyau sauvage in Séminaire de Théorie des Nombres, Bordeaux, 4 (1992), 263-271.0783.11042JTNB_1992__4_2_263_0 · Zbl 0783.11042
[30]	[30] , Approximating K*(ℤ) through degree five, K-Theory, 7 (1993), 175-200. · Zbl 0791.19003
[31]	[31] , K4 (ℤ) is the trivial group, preprint, 1998. · Zbl 0937.19005
[32]	J. ROGNES, C. WEIBEL, Two-primary Algebraic K-Theory of rings of integers in number fields, J. Amer. Math. Soc., to appear.0934.19001 · Zbl 0934.19001
[33]	P. SCHNEIDER, Über gewisse Galoiskohomologiegruppen, Math. Z., 168 (1979), 181-205.0421.1202481i:12010 · Zbl 0421.12024
[34]	J.-P. SERRE, Corps Locaux, Hermann, Paris, 1968.
[35]	J.-P. SERRE, Cohomologie Galoisienne, LNM 5, Springer, 1964.0128.26303 · Zbl 0128.26303
[36]	[36] , K-théorie des anneaux d’entiers de corps de nombres et cohomologie étale, Inv. Math., 55 (1979), 251-295. · Zbl 0437.12008
[37]	K. WINGBERG, On the product formula in Galois groups, J. Reine Angew. Math., 368 (1986), 172-183.0608.1201188e:11109 · Zbl 0608.12011