Stably free modules over smooth affine threefolds (Q619691): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 0911.3495 / rank | |||
Normal rank |
Revision as of 16:22, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stably free modules over smooth affine threefolds |
scientific article |
Statements
Stably free modules over smooth affine threefolds (English)
0 references
26 January 2011
0 references
Let \(A\) be a Noetherian ring of dimension \(d\). A projective module \(P\) over \(A\) is called stably free if \(P\oplus F\) is free where \(F\) is a free module over \(A\). Under what conditions such a projective module is indeed free has been studied extensively. These are free if the rank of \(P\) is greater than \(d\) is a classical result by \textit{H. Bass} [Publ. Math., Inst. Hautes Étud. Sci. 22, 5--60 (1964; Zbl 0248.18025)]. It is easy to see that this is optimal. If the ring \(A\) is an affine algebra over an algebraically closed field, \textit{A.~A.~Suslin} proved that the same holds if the rank of the projective module is at least \(d\) [Dokl. Akad. Nauk SSSR 236, 808--811 (1977; Zbl 0395.13003)]. The reviewer showed that over such an algebra, in general, there exist stably free projective modules of rank \(d-2\) which are not free [Am. J. Math. 107, 1439--1444 (1985; Zbl 0594.13008)]. So, the only possibility that Suslin's theorem is not optimal is in the case of rank \(d-1\). If \(d=1,2\), it is easy to see that such modules are free. So, the first non-trivial case occurs when \(d=3\). In this paper, the author proves that if \(A\) is a smooth affine algebra of dimension three over an algebraically closed field of characteristic different from \(2,3\), then stably free projective modules of rank two are free. The reviewer believes that the author, possibly with others, has settled the case in all dimensions, though this may yet be unpublished.
0 references
stably free modules
0 references
Witt group
0 references
Gersten-Grothendieck-Witt spectral sequence
0 references
three-folds
0 references