Local cohomology modules of a regular affine domain

Abstract

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

Any comments or suggestions are most welcome