Skip to main content

All Questions

Filter by
Sorted by
Tagged with
62 votes
8 answers
14k views

Sheaf cohomology and injective resolutions

In defining sheaf cohomology (say in Hartshorne), a common approach seems to be defining the cohomology functors as derived functors. Is there any conceptual reason for injective resolution to come ...
user avatar
28 votes
1 answer
3k views

Two points of view about Borel-moore homology

They are several ways to define the Borel-Moore homology on a locally compact space $X$. The first one is by analogy with the singular homology but instead of using finite chains, we use locally ...
C. Dubussy's user avatar
  • 1,017
11 votes
1 answer
406 views

Resolutions of unbounded complexes: Condition ($\ast$) in Spaltenstein's paper

In the paper "Resolutions of unbounded complexes" (Compositio Math., vol. 65, no. 2, pp. 121-154) N. Spaltenstein generalizes the 6 functor formalism to unbounded complexes of sheaves over ...
algori's user avatar
  • 23.5k
8 votes
0 answers
588 views

Can we use sheaf cohomology to say anything interesting for vector bundles with non-flat connections?

Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative: $$0 \to \mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \...
ಠ_ಠ's user avatar
  • 6,025
7 votes
1 answer
607 views

Converses to Cartan's Theorem B

Here is a phrasing of some Cartan Theorem B statements: Consider the following conditions: $X$ is a {Stein manifold, affine scheme, coherent analytic subvariety of $\mathbb{R}^n$, contractible ...
Tim's user avatar
  • 1,109
6 votes
1 answer
221 views

When is derived category of ringed space perfectly generated?

Let $(X,\mathcal{O})$ be a ringed space. Also assume that $X$ is nice, e.g. locally compact, Hausdorff, some type of finite dimension, ... We can then consider $\mathcal{D}(\mathcal{O}\text{-}Mod)$. ...
Rene Recktenwald's user avatar
6 votes
1 answer
760 views

The Yoneda pairing, hypercohomology, and cup product

Let $\mathcal{F}$ and $\mathcal{G}$ be coherent analytic sheaves on $\mathbb{P}^n$. Let $\mathcal{F}_\bullet$ be a locally free resolution of $\mathcal{F}$. In Principles of Algebraic Geometry by ...
Svinto's user avatar
  • 294
6 votes
0 answers
103 views

Is the derived category of sheaves localised at pointwise homotopy equivalences locally small?

In order to define the cup and cross products in sheaf cohomology, Iversen makes computations in an intermediate derived category. If $K(X;k)$ is the triangulated category of cochain complexes of ...
FShrike's user avatar
  • 1,021
1 vote
0 answers
141 views

Homeomorphic endomorphism of schemes inducing equivalence of sheaves

Let $F: X \to X$ to be an endomorphism of scheme $X$, which is additionally assumed to induce an universal homeomorphism on the underlying topological space $| X|$. Then it is known that this induces ...
user267839's user avatar
  • 6,028