Abstract
The aim of this paper is to prove the following assertion: let π be a profinite group and K* be a bounded complex of discret \(\mathbb{F}_p[\pi]\)-modules. Suppose that Hi(K*) are finite Abelian groups. Then, there exists a quasi-isomorphism L* → K*, where L* is a bounded complex of discrete \(\mathbb{F}_p[\pi]\)-modules such that all Li are finite Abelian groups. This is an analog for discrete \(\mathbb{F}_p[\pi]\)-modules of the wellknown lemma on bounded complexes of A-modules (e.g., concentrated in nonnegative degrees), where A is a Noetherian ring, which states that any such complex is quasi-isomorphic to a complex of finitely generated A-modules, that are free with a possible exception of the module lying in degree 0. This lemma plays a key role in the proof of the base-change theorem for cohomology of coherent sheaves on Noetherian schemes, which, in turn, can be used to prove the Grothendieck theorem on the behavior of dimensions of cohomology groups of a family of vector bundles over a flat family of varieties.
Similar content being viewed by others
References
A. Grothendieck J. Dieudonne Éléments de Géométrie Algébrique, Vol. III: Étude Cohomologique des Faisceaux Cohérents. Seconde Partie (Inst. des Hautes Études Scientifiques, Paris, 1963), in Ser.: Publications Mathématiques de l’I. H. É. S.
D. Mumford Abelian Varieties (Oxford Univ. Press, 1974; Mir, Moscow. 1986).
J.-P. Serre Galois Cohomology (Springer-Verlag, Berlin, 1997; Mir, Moscow, 1968).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © O.B. Podkopaev, 2018, published in Vestnik Sankt-Peterburgskogo Universiteta: Matematika, Mekhanika, Astronomiya, 2018, Vol. 51, No. 4, pp. 631–636.
About this article
Cite this article
Podkopaev, O.B. On One Property of Bounded Complexes of Discrete \(\mathbb{F}_p[\pi]\)-modules. Vestnik St.Petersb. Univ.Math. 51, 386–390 (2018). https://doi.org/10.3103/S1063454118040131
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S1063454118040131