# Questions tagged [local-cohomology]

The tag has no usage guidance.

44 questions
Filter by
Sorted by
Tagged with
187 views

97 views

### On $\text{depth}_S\left(\dfrac {S}{JS+xS}\right)$, when $\text{depth}_R(R/J)=0$, and $R\to S$ is a certain flat map of local rings

Let $(R, \mathfrak m) \xrightarrow{\phi} (S,\mathfrak n)$ be a flat homomorphism of local rings such that $\mathfrak n=\mathfrak m S +xS$ for some $x\in \mathfrak n \setminus \mathfrak n^2$. Let $J$ ...
330 views

### Is there an elementary reason that this colocalisation map of complexes is a quasi-isomorphism?

A fact about triangulated categories is that (exact) localisation functors and so-called colocalisation functors come in pairs, making an exact localisation triangle. I've tried to come up with less ...
182 views

159 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$ ...
650 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
170 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$-...
150 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)$. ...
296 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 ...
285 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'...
248 views

277 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 ...
1k 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
194 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?
211 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
277 views

260 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
195 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
229 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?
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. ...