Related papers: Notes on local cohomology and duality
Let $R$ be commutative Noetherian ring and let $\fa$ be an ideal of $R$. For complexes $X$ and $Y$ of $R$--modules we investigate the invariant $\inf{\mathbf R}\Gamma_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for…
(1) Let $(A,\mathfrak{m})$ be complete Noetherian local ring of dimension $d$ and let $P$ be a prime ideal with $G_P(A) = \bigoplus_{n \geq 0}P^n/P^{n+1}$ a domain. Fix $r \geq 1$. If $J$ is a homogeneous ideal of $G_{P^r}(A)$ with…
Let $(R,\mathfrak{m})$ be a regular local ring containing a field $K$. Let $I$ be a Cohen-Macaulay ideal of height $g$. If $\text{char } K = p > 0$ then by a result of Peskine and Szpiro the local cohomology modules $H^i_I(R)$ vanish for $i…
Let $M$ be a finite module over a commutative noetherian ring $R$. For ideals $\fa$ and $\fb$ of $R$, the relations between cohomological dimensions of $M$ with respect to $\fa, \fb$, $\fa\cap\fb$ and $\fa+ \fb$ are studied. When $R$ is…
Let $(R,\fm)$ be a Cohen-Macaulay local ring. If $R$ has a canonical module, then there are some interesting results about duality for this situation. In this paper, we show that one can indeed obtain similar these results in the case $R$…
Let $\fa$ denote an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that if $\fa$ is principal or $R$ is complete local and $\fa$ a prime ideal with $\dim…
We find conditions on the local cohomology modules of multi-Rees algebras of admissible filtrations which enable us to predict joint reduction numbers. As a consequence we are able to prove a generalisation of a result of…
Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial…
Let $n$ be a non-negative integer, $R$ a commutative Noetherian ring, $\mathfrak{a}$ an ideal of $R$, $M$ and $N$ two finitely generated $R$-modules, and $X$ an arbitrary $R$-module. In this paper, we study cofiniteness and finiteness of…
Let $R$ be a noetherian ring, $\fa$ an ideal of $R$ such that $\dim R/\fa=1$ and $M$ a finite $R$--module. We will study cofiniteness and some other properties of the local cohomology modules $\lc^{i}_{\fa}(M)$. For an arbitrary ideal $\fa$…
For a commutative unital ring $R$ with fixed ideals $I$ and $J$, we introduce and study $I$-prime $R$-modules and $(I, J)$-prime $R$-modules together with their duals $I$-coprime $R$-modules and $(I,J)$-coprime $R$-modules respectively. We…
A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of…
Let $R$ be a commutative noetherian ring and $I$ an ideal of $R$. Assume that for all integers $i$ the local cohomology module $H_I^i(R)$ is $I$-cofinite. Suppose that $R_\mathfrak{p}$ is a regular local ring for all prime ideals…
Let $A$ be a complete local ring with a coefficient field $k$ of characteristic zero, and let $Y$ be its spectrum. The de Rham homology and cohomology of $Y$ have been defined by R. Hartshorne using a choice of surjection $R \rightarrow A$…
Let $R$ be a polynomial ring in finitely many variables over the integers, and fix an ideal $I$ of $R$. We prove that for all but finitely prime integers $p$, the Bockstein homomorphisms on local cohomology, $H^k_I(R/pR)\to…
Let $(R,\mathfrak m)$ denote an $n$-dimensional complete local Gorenstein ring. For an ideal $I$ of $R$ let $H^i_I(R), i \in \mathbb Z,$ denote the local cohomology modules of $R$ with respect to $I.$ If $H^i_I(R) = 0$ for all $i \not= c =…
We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein…
It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important…
We present an in-depth exploration of the module structures of local (co)homology modules (moreover, for complexes) over the completion $\widehat R^{\mathfrak a}$ of a commutative noetherian ring $R$ with respect to a proper ideal…
Let T be a commutative Noetherian local ring of dimension at least two and R=T[x_1,...,x_n] a polynomial ring in n variables over T. Consider R as a graded ring with deg T = 0 and deg x_i = 1 for all i. Let I=R_+ and f a homogeneous…