# Questions tagged [local-cohomology]

The local-cohomology tag has no usage guidance.

**4**

votes

**1**answer

155 views

### Difference between local cohomology and cohomology with support in a family

Let $X$ be a topological space. A collection of closed subsets of $X$ is called a family of supports (in the sense of Cartan) if: (1) the union of any two elements of $\Phi$ is an element of $\Phi$, ...

**2**

votes

**0**answers

84 views

### Local cohomology with supports in a constructible set

Let $X$ be a topological space (I'm interested in the case of $X$ being a complex algebraic variety with the Zariski topology) and $Z$ a constructible subset (i.e. a finite union of locally closed ...

**6**

votes

**1**answer

208 views

### Independence of embedding for higher sheaf cohomology of local cohomology on projective space

Suppose $Y$ is a projective variety over a field $k$. Fix an embedding $\iota: Y \hookrightarrow \mathbb{P}^n_k$ for some $n$, and consider the local cohomology sheaves $\mathcal{H}^j_Y(\omega_{\...

**1**

vote

**1**answer

260 views

### Relation between local cohomology and open immersions

Let $X$ be a noetherian scheme $U \subset X$ an open subset with complement $Z = X- U$. Assume $Z$ is cut out by the ideal sheaf $\mathcal{I} \subset \mathcal{O}_X$. We have exact sequences:
$$0 \to \...

**2**

votes

**1**answer

134 views

### Does local cohomology commute with taking the degree-zero component?

Let $S = \oplus_{d \geq 0} S_d$ be a graded (Noetherian) ring, let $I \subset S$ be a homogeneous ideal, and let $f \in S$ be a homogeneous element. Denote by $S_{(f)}$ the subring of degree-$0$ ...

**8**

votes

**2**answers

479 views

### invariants that can be measured by Local Cohomology

What invariants can be measured by Local Cohomology (and what application it has)?
As an example of what I mean:
Local Cohomology can measure invariants like depth and dim. So in some cases Local ...

**1**

vote

**0**answers

157 views

### Local cohomology commuting with fiber

Let $A$ be a nice commutative ring (say, $A=k[t_1,\ldots , t_n]$, ring of polynomials over an algebraically closed field $k$).
Let $M$ be an $A[x]$-module, which is finitely generated as an $A$-...

**2**

votes

**1**answer

129 views

### On conflicting descriptions for tor of a local cohomology group

Let $X$ be a smooth projective surface and $C$ a Cartier divisor on $X$. Denote by $\mathcal{H}^1_C(\mathcal{O}_X)$ the sheaf associated to the presheaf $U \mapsto H^1_{C \cap U}(\mathcal{O}_X|_U)$. ...

**3**

votes

**1**answer

254 views

### A basic question on local cohomology

I had posted this question on stackexchange but did not get any response, hence putting it up on mathoverflow.
Let $X$ be a smooth, projective variety, $i:X \hookrightarrow \mathbb{P}^n$ a closed ...

**0**

votes

**1**answer

205 views

### local cohomology and radical of ideal

Let $R$ be commutative ring with identity, $M$ an $R$-module, and $I$ an ideal of $R$ . One defines $I$-torsion functor $Γ_I$ as: $\Gamma_I(M)=\bigcup_{n\in N} (0:_MI^n).$ When $R$ is Noetherian, it'...

**0**

votes

**0**answers

192 views

### Local-cohomology and Hom

Let $f:R\to S$ be a flat homomorphism of commutative Noetherian rings. "Flat Base Change Theorem", compares the local cohomology modules $H^i_a(M) \otimes_R S$ and $H^i_{aS} (M\otimes_R S)$ for $i ∈ ...

**2**

votes

**1**answer

220 views

### Decide two indices of Ext functor

This question is from the proof of Theorem 11.34 in the book: Twenty-four Hours of Local Cohomology.
Let $R$ and $S$ be CM local ring and $R\to S$ a local homomorphism such that $S$ is a finite ...

**5**

votes

**0**answers

89 views

### How far finiteness dimension can be from edges? Example for $f_m(S/I)\ge depth S/I+2$

Let $ (R,m) $ be a commutative unital noetherian local ring (with $m$ as its maximal ideal), $ I $ an ideal of $ R $, and $ M $ a finite $R$-module with $\dim M\gt 0$. $f_I(M) = \inf\ \{i : H_I^i(M)\ ...

**2**

votes

**1**answer

248 views

### finiteness dimension

$R$ is a local Noetherian ring. $f_I(M)$, the finiteness dimension of a module $M$ relative to $I$, is defined in ...

**3**

votes

**2**answers

603 views

### local cohomology mayer-vietoris sequence

(I originally asked this question on Math.SE here. As suggested on meta.MathOverflow (posting an unanswered Math.SE question on MathOverflow), I've waited about a week before reposting it here. Note ...

**1**

vote

**1**answer

178 views

### local cohomology of Buchsbaum ring

Let $(R,m)$ be a Buchsbaum ring of dimension d. Can we say that $d$-th local cohomology $H_{m}^d(R)$ has finite length?

**2**

votes

**0**answers

190 views

### syzygy of a generalized cohen-macaulay module

Let $R$ be a local, noetherian ring of dimension $d$ and suppose it is generalized cohen-macaulay. Is it true that For any finitely generated $ R $-module $ M $, which is maximal generalized cohen-...

**1**

vote

**0**answers

232 views

### What is your expectation of the depth?

Let $S=k[x_1,...,x_9]$ be a polynomial ring over field $k$. Set $q_1=(x_1,x_2,x_5,x_6)$, $q_2=(x_1,x_2,x_6,x_7)$, $q_3=(x_2,x_3,x_7,x_8)$, $q_4=(x_1,x_5,x_6,x_7)$, $q_5=(x_1,x_6,x_7,x_8)$, $q_6=(x_2,...

**7**

votes

**1**answer

524 views

### example of Local cohomology

Let $S=k[x_1,...,x_n]$ be a polynomial ring over field $k$ with maximal ideal $m=(x_1,...,x_n)$. I wanna make a $3$-dimensional $S$-module $M$ such that $H^0_m(M)=H^1_m(M)=0$ and $H^2_m(M)\neq 0$ be ...

**4**

votes

**1**answer

282 views

### finiteness of local cohomology

Well-known Theorem:
Let $a$ be an ideal of the noetherian ring $R$ and let $M$ be a finitely generated
$R$-module. Let $i \in \Bbb N_0$ be such that $H^j_a
(M)$ is finitely generated for all $j < ...

**-1**

votes

**1**answer

234 views

### $H_{I}^{n}(M)\cong H_{I}^{n}(R)\otimes_R M.$

Let $R$ be a Noetherian ring and $I$ an ideal of $R$. If $n$ is the cohomological dimension of $I$, then why is the following isomorphism true:
$$H_{I}^{n}(M)\cong H_{I}^{n}(R)\otimes_R M.$$
The ...

**1**

vote

**1**answer

175 views

### Is there a prime of height $i$ in support of $H^i_I(R)$?

$I$ is an ideal of a local Noetherian ring $R$ and $i>0$ .
Clearly the height of primes in support of $H^i_I(R)$ is at least $i$
The question is if it
contains a prime of height $i$, specially ...

**1**

vote

**1**answer

184 views

### Relation between $H^i_I(-)$ and $H^i_J(-)$ when $I\subset J$

What is the relation between $H^i_I(-)$ and $H^i_J(-)$ (cohomological functors) when $I\subset J$ are ideals of a (local) noetherian ring?

**4**

votes

**1**answer

423 views

### Comparison for formal local cohomology

Let $(R, \mathfrak{m})$ be a local ring and $X = Spec(R)$. Let $Y = V(I)$ be a closed subscheme of $X$, defined by an ideal $I \subset R$, and let $P \in X$ (in fact, $P \in Y$) be the closed point. ...

**3**

votes

**0**answers

250 views

### On comparison of various linear topologies on a noetherian local ring

In what follows we will always use this notation:
$R$ will be a commutative noetherian ring with unity, $X=\mathrm{Spec}\:R$, $f\colon X\rightarrow X$ a self-morphism of schemes, $\varphi\colon R\...

**3**

votes

**1**answer

506 views

### Local Cohomology and Maximal-Cohen-Macaulay modules

Checking a recent article [this one, specifically section 3.1] I found the following claim (I'm paraphrasing, of course):
Let $A$ be a graded connected
noetherian algebra (not necessarily
...