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
27 votes
0 answers
469 views

Are these comparison morphisms between Čech and Grothendieck cohomology the same?

For better or for worse, there is more than one approach to comparing Čech cohomology $\smash{\check{H}}^\bullet(\mathfrak{U},X;\mathscr{F})$ of a sheaf $\mathscr{F}$ on a space $X$ w.r.t the cover $\...
FShrike's user avatar
  • 1,020
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
6 votes
1 answer
441 views

Where can I find a definition of $\underline{H}^p(X, \mathscr{F})$?

Let $X$ be a topological space and $\mathscr{F}$ a sheaf on $X$. In the paper Tropical cycle classes for non-archimedean spaces and weight decomposition of de Rham cohomology sheaves by Yifeng Liu, ...
Jakob Werner's user avatar
  • 1,153
6 votes
1 answer
326 views

Spectral sequence generalizing Čech cohomology

Let $X$ be a 'nice' topological space. Let $\left(U_i\right)_{i\in I}$ be a finite open covering of $X$. Let $\mathcal{F}$ be a sheaf of abelian groups. For a subset $A\subset I$ denote $$U_A:=\cap_{...
asv's user avatar
  • 21.8k
5 votes
0 answers
380 views

Does the de Rham complex induce a functorial soft resolution of the category of cochain complexes of sheaves of vector spaces on a smooth manifold?

I apologize in advance if this is pretty straightforward; I'm a differential geometer and physicist by training so my homological algebra and homotopy theory are a bit weak. Question: Let $M$ be a ...
ಠ_ಠ's user avatar
  • 6,025
4 votes
4 answers
696 views

Canonical product in sheaf cohomology

EDIT: Let $\mathcal{F},\mathcal{G}$ be sheaves of abelian groups on a topological space $X$. Then there exists a canonical cup product $$H^i(X,\mathcal{F})\otimes_\mathbb{Z}H^j(X,\mathcal{G})\to H^{i+...
asv's user avatar
  • 21.8k
4 votes
1 answer
291 views

Exactness of $j_!$ in abelian category recollement

Consider a recollement situation, with notation the same as on the nLab page. That is, we have adjunctions $i^* \dashv i_* \dashv i^!$ and $j_! \dashv j^* \dashv j_*$ between the abelian categories $\...
ಠ_ಠ's user avatar
  • 6,025
3 votes
1 answer
459 views

Help understand a calculation involving RHom of sheaves on manifolds

I am reading a paper and there is some computation of RHom of sheaves that I don't understand. I hope this is the right place to ask. It is this paper, example 3.10 , page 25 arxiv.org/pdf/1005.1517v4....
Yaniv Ganor's user avatar
  • 1,893
3 votes
1 answer
515 views

For what kind of sheaves can we always extend a sheaf map from a closed subset to the whole space?

Let $X$ be a topological space. We know that a sheaf on $X$ is call soft if for any closed subset $Z$ of $X$, a section on $Z$ can be always extend to a section on $X$. Now we consider a similar ...
Zhaoting Wei's user avatar
  • 9,019