Questions tagged [sheaf-cohomology]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
60 votes
8 answers
13k 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
26 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
11 votes
1 answer
374 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.2k
9 votes
2 answers
3k views

Top cohomology detecting compactness

I am looking for a reference for the fact that the top cohomology $H^n(X;A)$ of an $n$-dimensional manifold $X$ is non-trivial precisely when $X$ is compact. I tried to ask this question on Math....
Earthliŋ's user avatar
  • 1,181
9 votes
1 answer
958 views

Construction of generalized Eilenberg-MacLane spaces

The Eilenberg-MacLane spaces $K(G,q)$ are readily generalized to study cohomology with local coefficients.The generalized Eilenberg-MacLane space $K_{\pi}(G,q)$ are spaces with only two nnvanishing ...
Xiaoyu Li's user avatar
8 votes
0 answers
566 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
  • 5,933
8 votes
1 answer
279 views

Injective model structure on sheaves of bounded complexes of $A$-modules

The following might be very well known for people who works with model categories, but I do not find the answer. Let $A$-be a ring. Denote $\mathbf{Ch}_+(A)$ the category of positive degree cochain ...
Tintin's user avatar
  • 2,741
6 votes
1 answer
675 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
1 answer
487 views

Cohomology and base change without Noetherian assumption

In the "The Rising Sea" by Vakil one can find the base change theorem for proper morphisms over a locally Noetherian base (28.1.6). He later indicates (28.2.M) how one could exchange the ...
Fabian Ruoff's user avatar
6 votes
1 answer
214 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