Projective modules over rings of global sections of flasque sheaves (Q920153)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Projective modules over rings of global sections of flasque sheaves |
scientific article |
Statements
Projective modules over rings of global sections of flasque sheaves (English)
0 references
1990
0 references
Let (X,\({\mathcal O})\) be a quasicompact ringed space for which the sheaf \({\mathcal O}\) is flasque and locally Serre. (A ring is Serre if all projective modules of finite type are free.) The present paper proves (corollary 1.3) that the global sections functor \(\Gamma\) gives an equivalence of categories between the category of locally free (left) \({\mathcal O}\)-modules of finite rank and the category of projective finitely generated (left) \(\Gamma\) (\({\mathcal O})\)-modules. A sufficient condition is given (corollary 2.2) for \(\Gamma\) (\({\mathcal O})\) to be Serre. From this the author concludes (theorem 3.1) that the face ring of a finite simplicial complex over an arbitrary field is Serre, thus reproving a result of \textit{T. Vorst} [Math. Z. 184, 425-433 (1983; Zbl 0504.13008)].
0 references
flasque sheaves
0 references
flabby sheaf
0 references
freeness of projective module
0 references
Serre ring
0 references
global sections
0 references
face ring
0 references