Questions tagged [local-cohomology]
The local-cohomology tag has no usage guidance.
47 questions
8
votes
1
answer
736
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 ...
- 225
8
votes
1
answer
394
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_{\...
- 409
7
votes
2
answers
734
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,355
5
votes
1
answer
615
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$, ...
- 3,101
5
votes
0
answers
94
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)\ ...
- 1,355
4
votes
1
answer
588
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. ...
- 409
4
votes
1
answer
318
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 < ...
- 225
4
votes
0
answers
131
views
Is there anything like a Čech complex for calculating local cohomology over *noncommutative* rings?
$\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\colim{colim}$Let $R$ be a ring, and consider a two-sided ideal $I = (r_1, r_2, \dots, r_j)$ in $R$. The corresponding $n$th local cohomology functor ...
- 1,335
3
votes
2
answers
247
views
For a Cohen-Macaulay module $M$ of dimension $t$ over a local CM ring of dimension $n$, is $\text{Ext}^{n-t}_R(M,\omega)$ Cohen-Macaulay?
Let $(R,\mathfrak m)$ be a local Cohen-Macaulay ring of dimension $n$ with a canonical module $\omega$. Let $M$ be a finitely generated $R$-module with $\text{depth } M=\dim M=t$. Using Bruns&...
- 361
3
votes
2
answers
376
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 ...
- 532
3
votes
1
answer
459
views
Does local cohomology commute with pullback?
Let $Y$ be a topological spaces and $Z \subset Y$ be locally closed, i.e. $Z=V \cap U^c$ for $U,V \subset Y$ open.
For any abelian sheaf $\mathcal{F}$ on $Y$ let $\Gamma_Z(Y,\mathcal{F}):=\ker(\...
- 473
3
votes
1
answer
318
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 ...
- 833
3
votes
2
answers
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 ...
- 3,079
3
votes
1
answer
592
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
...
- 651
3
votes
0
answers
112
views
Local cohomology with coefficients in ideals of parameters
I'm not an expert in local cohomology, but the following problems have come up in my work, and I'd like to get a sense of where things stand.
Let $\mathbb{A}^n=\operatorname{Spec} \mathbb{C}[x_1, \...
- 841
3
votes
0
answers
132
views
When is the following a formula for local cohomology?
Suppose $R$ is a Noetherian local ring, and $\kappa$ its residue field. For $R$ module $M$, we can consider the module
$$N:=\kappa \otimes_S RHom(\kappa,M)$$ where $S$ is the derived ring of ...
- 2,346
3
votes
0
answers
164
views
Trivial morphism between local cohomology groups
I have two questions concerning morphism between local cohomology groups which I think are related.
Let $G$ be a reductive group with Weyl group $W$ and $B \subset G$ a Borel. Let $X=G/B$ be the flag ...
- 473
3
votes
0
answers
197
views
Comparing long exact sequences for local cohomology
Let $X$ be a topological space, $Z_1,Z_2 \subset X$ closed subsets and $\mathcal{F} \in Sh(X)$.
Then we have, for example by Hartshorne Excercise III 2.4, the Mayer Vietoris sequence for local ...
- 473
3
votes
0
answers
62
views
Asymptotic stability of associated primes of graded local cohomology modules
This question concerns the asymptotic behaviour of associated primes of graded components of local cohomology modules. A survey of this can be found in M. Brodmann, Asymptotic behaviour of cohomology: ...
- 6,700
3
votes
0
answers
240
views
Smallest non-vanishing index of Local-Cohomology and Ext functor, as in the definition of depth, for not necessarily affine schemes
Let $(Z,\mathcal O_Z)$ be a closed subscheme of a Noetherian scheme $(X,\mathcal O_X)$. Then there is an ideal sheaf $\mathcal J$ on $X$ such that $i_*(\mathcal O_Z) \cong \mathcal O_X/\mathcal J$ , ...
- 642
3
votes
0
answers
224
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-...
- 31
3
votes
0
answers
258
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,101
2
votes
1
answer
187
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$ ...
- 409
2
votes
1
answer
288
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 ...
- 1,355
2
votes
1
answer
215
views
Surjection of a short exact sequence induced by spectral sequence (from paper of Schneider/Stuhler)
Let $K=\mathbb{Q}_p$ and $X$ a smooth separated rigid analytic variety over $K$ with coherent sheaf $\mathcal{F}$. Furthermore, $U \subset X$ is an open subvariety with admissible covering
$$ \dotsb \...
- 473
2
votes
1
answer
155
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)$. ...
- 833
2
votes
1
answer
279
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 ...
- 403
2
votes
0
answers
159
views
Mayer-Vietoris sequence from a bicartesian square of commutative rings
An article that I am reading quotes the following theorem (5.3 p.481, reformulated to focus on the commutative case) from Algebraic K-Theory by Hyman Bass:
Let $\require{AMScd}$
\begin{CD}
A @>p_2&...
2
votes
0
answers
126
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 ...
- 3,079
1
vote
1
answer
200
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?
- 127
1
vote
1
answer
106
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$ ...
- 73
1
vote
1
answer
507
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 \...
- 7,789
1
vote
1
answer
211
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 ...
- 189
1
vote
0
answers
135
views
Local cohomology and image of $1$ under the canonical map from Ext to local cohomology
Let $R$ be a commutative Noetherian local ring, and $S$ be an $R$-algebra. Let $x_1,\dots,x_t$ be elements, in the maximal ideal of $R$, which is a regular sequence on both $R$ and $S$, and let $I$ be ...
- 412
1
vote
0
answers
103
views
Reference for a clear version of multigraded Serre-Grothendieck-Deligne correspondence local cohomology
The Grothendieck-Serre-Deligne correspondence states the following. Let $ R $ be a Noetherian, graded ring and let $ T $ be $ \operatorname{Proj}(R) $. If $ \mathcal{F} $ is a coherent sheaf on $ T $...
- 912
1
vote
0
answers
152
views
Reference for application of local cohomology to complex manifolds with points removed
Reference request - I am looking at Dolbeault cohomology on compact complex manifolds (not Riemann surfaces) with points removed. I have been told that the key to doing this is to look at Local ...
- 1,143
1
vote
0
answers
250
views
Local cohomology: Polynomial ring vs Power series ring
I study algebraic topology and am currently examining the applications of local (co)homology in algebraic topology. We have the canonical inclusion of rings $\mathbb{Z}[x_1,\cdots,x_n]\subset \mathbb{...
user340793
1
vote
0
answers
113
views
Cohomological dimension and height of ideals
Let $I$ be an ideal in a Noetherian ring $R$. We define the cohomological dimension of $I$ to be $\operatorname{cd}(I)=\operatorname{sup}\{i\in \mathbb N:\operatorname{H}_I^i(R)\neq0\}$ and it is ...
- 131
1
vote
0
answers
199
views
Künneth formula for local cohomology with support
In "Differential operators on the flag varieties" (http://www.numdam.org/article/AST_1981__87-88__43_0.pdf) by Brylinski, he uses on page 53 a Künneth formula for local cohomology with ...
- 473
1
vote
0
answers
57
views
Sequence in local cohomology for multiple closed subsets
Let $X$ be topological space with closed subsets $A,B,C \subset X$ and $\mathcal{F} \in Sh(X)$.
I'm trying to understand
\begin{equation*}
H^i_{A\cap B}(X,\mathcal{F}) \oplus H^i_{A\cap C}(X,\mathcal{...
- 473
1
vote
0
answers
172
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$-...
- 5,562
1
vote
0
answers
296
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,...
- 21
1
vote
1
answer
234
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?
- 189
0
votes
1
answer
201
views
Are these two natural cohomology classes of a manifold constructed from a 1-cochain and a group extension equal?
Let $X$ be a manifold, $G$ and $A$ finite abelian groups and $\epsilon \in H^2(G,A)$ a group cohomology class (for the moment I am assuming there is no action of $G$ on $A$). Given $\alpha \in H^1(X,G)...
- 813
0
votes
1
answer
301
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'...
- 1,355
0
votes
1
answer
263
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 ...
- 21
0
votes
0
answers
261
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 ∈ ...
- 1,355