No Arabic abstract
Let $A$ be a commutative Noetherian ring containing a field $K$ of characteristic zero and let $R= A[X_1, ldots, X_m]$. Consider $R$ as standard graded with $deg A=0$ and $deg X_i=1$ for all $i$. We present a few results about the behavior of the graded components of local cohomology modules $H_I^i(R)$ where $I$ is an arbitrary homogeneous ideal in $R$. We mostly restrict our attention to the Vanishing, Tameness and Rigidity problems.
Let $A$ be a regular ring containing a field $K$ of characteristic zero and let $R = A[X_1,ldots, X_m]$. Consider $R$ as standard graded with $deg A = 0$ and $deg X_i = 1$ for all $i$. Let $G$ be a finite subgroup of $GL_m(A)$. Let $G$ act linearly on $R$ fixing $A$. Let $S = R^G$. In this paper we present a comprehensive study of graded components of local cohomology modules $H^i_I(S)$ where $I$ is an emph{arbitrary} homogeneous ideal in $S$. We prove stronger results when $G subseteq GL_m(K)$. Some of our results are new even in the case when $A$ is a field.
Let $A$ be a regular domain containing a field $K$ of characteristic zero, $G$ be a finite subgroup of the group of automorphisms of $A$ and $B=A^G$ be the ring of invariants of $G$. Let $S= A[X_1,ldots, X_m]$ and $R= B[X_1, ldots, X_m]$ be standard graded with $ deg A=0$, $ deg B=0$ and $ deg X_i=1$ for all $i$. Extend the action of $G$ on $A$ to $S$ by fixing $X_i$. Note $S^G=R$. Let $I$ be an arbitrary homogeneous ideal in $R$. The main goal of this paper is to establish a comparative study of graded components of local cohomology modules $H_I^i(R)$ that would be analogs to those proven in a previous paper of the first author for $H_J^i(S)$ where $J$ is an arbitrary homogeneous ideal in $S$.
Let $R=K[X_1,ldots, X_n]$ where $K$ is a field of characteristic zero, and let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. We give standard grading on $R$ and $A_n(K)$. Let $I$, $J$ be homogeneous ideals of $R$. Let $M = H^i_I(R)$ and $N = H^j_J(R)$ for some $i, j$. We show that $Ext_{A_n(K)}^{ u}(M,N)$ is concentrated in degree zero for all $ u geq 0$, i.e., $Ext_{A_n(K)}^{ u}(M,N)_l=0$ for $l eq0$. This proves a conjecture stated in part I of this paper.
We study the conditions under which the highest nonvanishing local cohomology module of a domain $R$ with support in an ideal $I$ is faithful over $R$, i.e., which guarantee that $H^c_I(R)$ is faithful, where $c$ is the cohomological dimension of $I$. In particular, we prove that this is true for the case of positive prime characteristic when $c$ is the number of generators of $I$.
Let fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let cd_{fa}(M,N) denote the supremum of the is such that H^i_{fa}(M,N) eq 0. First, by using the theory of Gorenstein homological dimensions, we obtain several upper bounds for cd_{fa}(M,N). Next, over a Cohen-Macaulay local ring (R,fm), we show that cd_{fm}(M,N)=dim R-grade(Ann_RN,M), provided that either projective dimension of M or injective dimension of N is finite. Finally, over such rings, we establish an analogue of the Hartshorne-Lichtenbaum Vanishing Theorem in the context of generalized local cohomology modules.