Questions tagged [local-cohomology]
The local-cohomology tag has no usage guidance.
44
questions
0
votes
1
answer
187
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)...
- 829
3
votes
0
answers
101
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, \...
- 821
0
votes
1
answer
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$ ...
- 63
3
votes
2
answers
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 ...
- 68
2
votes
1
answer
182
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 \...
- 471
1
vote
0
answers
236
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
89
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
240
views
Does a ring homomorphism induce a morphism in local cohomology?
Let $\rho:R\longrightarrow S$ be a homomorphism of Noetherian rings and, for the ideals $I\subset R$ and $J\subset S$, we have $\rho(I)\subseteq J$. Does this induce a morphism in local cohomology ...
2
votes
0
answers
130
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&...
3
votes
0
answers
130
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 ...
- 1,805
1
vote
0
answers
188
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 ...
- 471
3
votes
2
answers
171
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&...
- 149
3
votes
0
answers
151
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 ...
- 471
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{...
- 471
3
votes
0
answers
168
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 ...
- 471
3
votes
1
answer
415
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(\...
- 471
3
votes
0
answers
52
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,632
3
votes
0
answers
217
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$ , ...
- 612
4
votes
1
answer
448
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,071
2
votes
0
answers
109
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,001
8
votes
1
answer
352
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_{\...
- 379
1
vote
1
answer
411
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,419
2
votes
1
answer
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$ ...
- 379
7
votes
2
answers
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,389
1
vote
0
answers
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$-...
- 5,422
2
votes
1
answer
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)$. ...
- 823
3
votes
1
answer
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 ...
- 823
0
votes
1
answer
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'...
- 1,389
0
votes
0
answers
248
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,389
2
votes
1
answer
262
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 ...
- 393
5
votes
0
answers
93
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,389
2
votes
1
answer
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 ...
- 1,389
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,001
1
vote
1
answer
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?
- 127
2
votes
0
answers
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-...
- 21
1
vote
0
answers
277
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
8
votes
1
answer
665
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
4
votes
1
answer
313
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
0
votes
1
answer
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 ...
- 21
1
vote
1
answer
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 ...
- 189
1
vote
1
answer
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?
- 189
4
votes
1
answer
546
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. ...
- 379
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,071
3
votes
1
answer
560
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