Graded version of local cohomology with respect to a pair of ideals (Q2412678)

As a generalization of the ordinary local cohomology modules with respect to an ideal, \textit{R. Takahashi} et al. [J. Pure Appl. Algebra 213, No. 4, 582--600 (2009; Zbl 1160.13013)] defined the local cohomology modules with respect to a pair of ideals. In the paper under review, the authors define the graded version of the local cohomology modules with respect to a pair of ideals, and prove some well-known results on local cohomology modules with respect to a pair of ideals in graded case. Let $R=\bigoplus_{d\geq 0}R_d$ be a positively graded ring of dimension $d$ which is an integral domain, and $R_0$ be a complete local ring. It is shown that if $I$ is a graded ideal of $R$ such that $\dim R/I>0$, and $J$ is an arbitrary ideal of $R$, then $H^d_{I,J}(R)/JH^d{I,J}(R)=0$. Let $R=\bigoplus_{d\geq 0}R_d$ be a standard positively graded commutative Noetherian ring, where $R_0,\mathfrak m_0$ is a local ring. Let $R_+=\bigoplus_{i>0}R_i$ be the irrelevant ideal of $R$, and $M=\bigoplus_{d\in\mathbb Z}M_d$ be a finitely graded $R$-module. It is proved that, if $J$ is a graded ideal of $R$, then $\dim M/(\mathfrak m_0R+J)M=\sup\{i|H^i_{R_+,\mathfrak m_0R+J}(M)\neq 0\}$. Recall that the cohomological dimension of $M$ with respect to a pair of ideals $(I,J)$ was defined in [\textit{L. Chu} and \textit{Q. Wang}, J. Math. Kyoto Univ. 49, No. 1, 193--200 (2009; Zbl 1174.13024)] as $\mathrm{cd}(I,J,M):=\sup\{i|H^i_{I,J}(M)\neq 0\}$. As a consequence, it follows that $\mathrm{cd}(R_+,\mathfrak m_0R,M)=\mathrm{cd}(R_+,M)$.