\(p\)-adic étale cohomology. (English) Zbl 0613.14017

Bloch, Spencer; Kato, Kazuya

Publ. Math., Inst. Hautes Étud. Sci. 63, 107-152 (1986).

This paper gives the complete proofs of the results summarized by S. Bloch in Arithmetic and geometry, Pap. dedic. I. R. Shafarevich, Vol. I: Arithmetic, Prog. Math. 35, 13-26 (1983; Zbl 0584.14009). Let \(K\) be a field, complete with respect to a discrete valuation, of characteristic 0 and residue characteristic \(p>0\). Let \(V\) be a complete smooth variety over \(K\) and \(X\) a proper smooth model of \(V\) over the valuation ring \(\Lambda\) of \(K\). The central object of the paper are the étale cohomology groups \(H^ q(\bar V,{\mathbb{Q}}_ p)\), where \(\bar V\) is the extension of \(V\) to the algebraic closure \(\bar K\) of \(K\). They (more precisely: certain subquotients of them) are compared as Gal\((\bar K/K)\)-modules to suitable de Rham-Witt cohomology groups and crystalline cohomology groups. As a corollary the authors prove that \(H^ q(\bar V,{\mathbb{Q}}_ p)\) has a Hodge-Tate decomposition under the assumption that the reduction of \(\bar X\) be “ordinary”, a notion which for an abelian variety \(A\) coincides with the usual one (the group of \(p\)-torsion points has order \(p^{\dim A}\)).

Reviewer: F.Herrlich

MSC:

14F30	\(p\)-adic cohomology, crystalline cohomology
14F40	de Rham cohomology and algebraic geometry
14G20	Local ground fields in algebraic geometry
14C35	Applications of methods of algebraic \(K\)-theory in algebraic geometry

Keywords:

étale cohomology groups; de Rham-Witt cohomology groups; crystalline cohomology groups; Hodge-Tate decomposition

Citations:

Zbl 0584.14009

References:

[1]	Bass, H.; Tate, J., The Milnor ring of a global field, Springer Lecture Notes in Math., 342, 349-442 (1972)
[2]	Berthelot, P.,Cohomologie cristalline des schémas de charactéristique p > o, Springer Lecture Notes in Math.,407 (1974). · Zbl 0298.14012
[3]	Bloch, S., Algebraic K-theory and crystalline cohomology, Publ. Math. I.H.E.S., 47, 187-268 (1974) · Zbl 0388.14010
[4]	Bloch, S., Torsion algebraic cycles, K_2, and Brauer groups of function fields, Groupe de Brauer, Springer Lecture Notes in Math., 844, 75-102 (1981)
[5]	Bloch, S., p-adic étale cohomology, Arithmetic and Geometry, I, 13-27 (1983) · Zbl 0584.14009
[6]	Deligne, P., Cristaux ordinaires et coordonnées canoniques, Surfaces algébriques, Springer Lecture Notes in Math., 868, 80-137 (1981)
[7]	Gabber, O.,An injectivity property for étale cohomology, preprint, 1981. · Zbl 0828.14011
[8]	Gabber, O.,Gersten’s conjecture for some complexes of vanishing cycles, preprint, 1981. · Zbl 0827.19002
[9]	Gabber, O.,Affine analog of proper base change theorem, preprint, 1981. · Zbl 0816.13006
[10]	Illusie, L., Complexe de De Rham-Witt et cohomologie cristalline, Ann. Sci. Ec. Norm. Sup., 12, 501-661 (1979) · Zbl 0436.14007
[11]	Kato, K., A generalization of local class field theory by using K-groups, II, J. Fac. Sci. Univ. Tokyo, 27, 603-683 (1980) · Zbl 0463.12006
[12]	Kato, K., Galois cohomology of complete discrete valuation fields, Algebraic K-theory, Springer Lecture Notes in Math., 967, 215-238 (1982)
[13]	Katz, N., Serre-Tate local moduli, Surfaces algébriques, Springer Lecture Notes in Math., 868, 138-202 (1981) · Zbl 0477.14007
[14]	Merkurjev, A. S.; Suslin, A. A., K-cohomology of Severi-Brauer varieties and norm residue homomorphism, Math. U.S.S.R. Izvestiya, 21, 307-340 (1983) · Zbl 0525.18008
[15]	Milnor, J., Algebraic K-theory and quadratic forms, Inv. Math., 9, 318-344 (1970) · Zbl 0199.55501
[16]	Serre, J.-P.,Cohomologie Galoisienne, Springer Lecture Notes in Math.,5 (1965).
[17]	Soulé, C., K-théorie des anneaux d’entiers de corps de nombres et cohomologie étale, Inv. Math., 55, 251-295 (1979) · Zbl 0437.12008
[18]	Tate, J.,p-divisible groups, inProceedings of a Conference on local fields, Springer-Verlag, 1967, 158-183.
[19]	Tate, J., Relation between K_2 Galois cohomology, Inv. Math., 36, 257-274 (1976) · Zbl 0359.12011
[20]	Delione, P., La conjecture de Weil, II, Publ. Math. I.H.E.S., 52, 313-428 (1980)
[21]	Illusie, L.; Raynaud, M., Les suites spectrales associées au complexe de De Rham-Witt, Publ. Math. I.H.E.S., 57, 73-212 (1983) · Zbl 0538.14012
[22]	Serre, J.-P., Sur les corps locaux à corps résiduel algébriquement clos, Bull. Soc. Math. France, 8, 105-154 (1961) · Zbl 0166.31103