Skip to main content
Post Undeleted by Saal Hardali
Post Deleted by Saal Hardali
Post Undeleted by Saal Hardali
Post Deleted by Saal Hardali
deleted 3 characters in body
Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

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 \mathcal{I}^n \to \mathcal{O}_X \to \mathcal{O}_X/\mathcal{I}^n \to 0$$

Here's what i'd like to be able to say:

Consider it now as an exact sequence of functors:

$$0 \to RHom(\mathcal{O}_X/\mathcal{I}^n,-) \to RHom(\mathcal{O}_X,-) \to RHom(\mathcal{I}^n,-) \to 0$$

Plugging in a sheaf gives a long exact sequence relating cohomologies of the complexes. Assuming $X$ affine and using the fact that $\lim_nRHom(\mathcal{I}^n,-) \cong RHom(\mathcal{O}_U,-)$ (and the long exact sequence) we see that local cohomology is isomorphic (after shift) to the onewhat you get by pushing-pulling (in derived sense) via the open immersion $U \to X$.

Is this argument valid? Is the conclusion even true?

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 \mathcal{I}^n \to \mathcal{O}_X \to \mathcal{O}_X/\mathcal{I}^n \to 0$$

Here's what i'd like to be able to say:

Consider it now as an exact sequence of functors:

$$0 \to RHom(\mathcal{O}_X/\mathcal{I}^n,-) \to RHom(\mathcal{O}_X,-) \to RHom(\mathcal{I}^n,-) \to 0$$

Plugging in a sheaf gives a long exact sequence relating cohomologies of the complexes. Assuming $X$ affine and using the fact that $\lim_nRHom(\mathcal{I}^n,-) \cong RHom(\mathcal{O}_U,-)$ (and the long exact sequence) we see that local cohomology is isomorphic (after shift) to the one you get by pushing-pulling (in derived sense) via the open immersion $U \to X$.

Is this argument valid? Is the conclusion even true?

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 \mathcal{I}^n \to \mathcal{O}_X \to \mathcal{O}_X/\mathcal{I}^n \to 0$$

Here's what i'd like to be able to say:

Consider it now as an exact sequence of functors:

$$0 \to RHom(\mathcal{O}_X/\mathcal{I}^n,-) \to RHom(\mathcal{O}_X,-) \to RHom(\mathcal{I}^n,-) \to 0$$

Plugging in a sheaf gives a long exact sequence relating cohomologies of the complexes. Assuming $X$ affine and using the fact that $\lim_nRHom(\mathcal{I}^n,-) \cong RHom(\mathcal{O}_U,-)$ (and the long exact sequence) we see that local cohomology is isomorphic (after shift) to what you get by pushing-pulling (in derived sense) via the open immersion $U \to X$.

Is this argument valid? Is the conclusion even true?

Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

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 \mathcal{I}^n \to \mathcal{O}_X \to \mathcal{O}_X/\mathcal{I}^n \to 0$$

Here's what i'd like to be able to say:

Consider it now as an exact sequence of functors:

$$0 \to RHom(\mathcal{O}_X/\mathcal{I}^n,-) \to RHom(\mathcal{O}_X,-) \to RHom(\mathcal{I}^n,-) \to 0$$

Plugging in a sheaf gives a long exact sequence relating cohomologies of the complexes. Assuming $X$ affine and using the fact that $\lim_nRHom(\mathcal{I}^n,-) \cong RHom(\mathcal{O}_U,-)$ (and the long exact sequence) we see that local cohomology is isomorphic (after shift) to the one you get by pushing-pulling (in derived sense) via the open immersion $U \to X$.

Is this argument valid? Is the conclusion even true?