On the vanishing of local cohomology modules (Q753873): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W2088288305 / rank
 
Normal rank

Latest revision as of 11:17, 30 July 2024

scientific article
Language Label Description Also known as
English
On the vanishing of local cohomology modules
scientific article

    Statements

    On the vanishing of local cohomology modules (English)
    0 references
    0 references
    0 references
    1990
    0 references
    Let \(A\) be a commutative ring, \(I\) an ideal of \(A\). We call \[ \mathrm{cd}(A,I)=\min \{k\mid H^ q_ 1(M)=0, \text{ for all }A\text{-modules } M\text{ and all }q>k\} \] the cohomological dimension of \(A\). The subject of the paper is to give bounds for \(\mathrm{cd}(A,I)\). First, it is given a new proof of a theorem by \textit{A. Ogus} [Ann. Math. (2) 98, 327--365 (1973; Zbl 0308.14003)] in the equicharacteristic zero case and by \textit{C. Peskine} and \textit{L. Szpiro} [Publ. Math., Inst. Hautes Étud. Sci. 42(1972), 47--119 (1973; Zbl 0268.13008)] in the equicharacteristic \(p>0\) case. This time the proof has nothing to do with the characteristic. Then, the authors give bounds which improve, with additional assumptions, the general results by \textit{G. Faltings} [J. Reine Angew. Math. 313, 43--51 (1980; Zbl 0411.13010)]. Namely, if \((A,\mathfrak m)\) is a regular local ring of dimension \(d\) and \(I\) is an ideal of \(A\), let \(b=\max \{\mathrm{ht}(P)\mid P\) minimal over \(I\}\). It is shown that: (a) If \(I\) is formally geometrically irreducible, then \[ \mathrm{cd}(A,I)\leq d-1-[(d-2)/b] \] and this is the best possible bound for all \(b\) and \(d\) such that \(0<b<d\). (b) If \(A/I\) is normal, then \[ \mathrm{cd}(A,I)\leq d-[d/(b+1)]-[(d-1)/(b+1)]. \] The authors also give a bound in the case where there is \(t\in\mathbb Z\) such that \(I_ P\) is generated up to the radical by \(t\) elements for all primes \(P\) with \(\dim(A/P)\geq 3\). Some special results are given in the case of regular local rings, extending further, in this case, the theorems of Ogus and Peskine-Szpiro cited above. Finally, these results are applied to give vanishing results for the relative singular homology groups with complex coefficients of subvarieties of projective space, using the fact that there is a relationship between the vanishing of local cohomology and the vanishing of relative singular homology. Examples are considered throughout the paper.
    0 references
    cohomological dimension
    0 references
    regular local rings
    0 references
    local cohomology
    0 references
    singular homology
    0 references
    anishing results for relative singular homology groups with complex coefficients
    0 references
    subvarieties of projective space
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references