On One Property of Bounded Complexes of Discrete \(\mathbb{F}_p[\pi]\)-modules
- Authors: Podkopaev O.B.1
-
Affiliations:
- National Research University Higher School of Economics
- Issue: Vol 51, No 4 (2018)
- Pages: 386-390
- Section: Mathematics
- URL: https://journal-vniispk.ru/1063-4541/article/view/186169
- DOI: https://doi.org/10.3103/S1063454118040131
- ID: 186169
Cite item
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.
Keywords
About the authors
O. B. Podkopaev
National Research University Higher School of Economics
Author for correspondence.
Email: opodkopaev@gmail.com
Russian Federation, St. Petersburg, 190008
Supplementary files
