English

On the relationship between depth and cohomological dimension

Commutative Algebra 2019-02-20 v2 Algebraic Geometry

Abstract

Let (S,m)(S, m) be an nn-dimensional regular local ring essentially of finite type over a field and let II be an ideal of SS. We prove that if depthS/I3\text{depth} S/I \ge 3, then the cohomological dimension cd(S,I)\mathrm{cd}(S, I) of II is less than or equal to n3n-3. We also show, under the assumption that SS has an algebraically closed residue field of characteristic zero, that if depthS/I4\text{depth} S/I \ge 4, then cd(S,I)n4\mathrm{cd}(S, I) \le n-4 if and only if the local Picard group of the completion S/I^\widehat{S/I} is torsion. We give a number of applications, including sharp bounds on cohomological dimension of ideals whose quotients satisfy good depth conditions such as Serre's conditions (Si)(S_i).

Keywords

Cite

@article{arxiv.1502.06077,
  title  = {On the relationship between depth and cohomological dimension},
  author = {Hailong Dao and Shunsuke Takagi},
  journal= {arXiv preprint arXiv:1502.06077},
  year   = {2019}
}

Comments

The Proposition 2.3 of our previous version was not correct as stated. We thank Bhargav Bhatt for pointing this out. It has been fixed in this version. Some minor changes were also added to improve clarity

R2 v1 2026-06-22T08:34:31.278Z