English

Local cohomology modules of a regular affine domain

Commutative Algebra 2025-11-11 v1

Abstract

For a Noetherian commutative ring RR, let HIi(R)H^i_I(R) be the i i-th local cohomology module of RR with respect to II. In \cite{Hel-08}, Hellus posed the question of identifying rings RR such that injdimRHIi(R)=dimR(SuppRHIi(R))\operatorname{injdim}_R H^i_I(R)=\operatorname{dim}_R(\operatorname{Supp}_R H^i_I(R)). In this paper, we show that a regular affine domain over a field of characteristic 00 satisfies this condition. In fact, we prove that injdimRHIi(R)dimR(SuppRHIi(R))1\operatorname{injdim}_R H^i_I(R)\geq \operatorname{dim}_R(\operatorname{Supp}_R H^i_I(R))-1 when RR is a differentiably admissible KK-algebra. Indeed, we establish both of these conclusions for a substantially broad class of functors known as Lyubeznik functors. We also prove that if RR is a polynomial ring over a differentiably admissible KK-algebra, then AssRHIi(R)\operatorname{Ass}_R H^i_I(R) is finite for all i0i\geq 0 and for every ideal II of RR.

Keywords

Cite

@article{arxiv.2511.05871,
  title  = {Local cohomology modules of a regular affine domain},
  author = {Sayed Sadiqul Islam},
  journal= {arXiv preprint arXiv:2511.05871},
  year   = {2025}
}

Comments

Any comments or suggestions are most welcome