Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
6 votes
0 answers
452 views

Yoneda product on Ext

Let $M$ be a closed manifold and consider the constant sheaf $\mathbb{R}_M$. I have heard that the Yoneda product on $\operatorname{Ext}(\mathbb{R}_M, \mathbb{R}_M)= H^*(M; \mathbb{R})$ coincides with ...
user155668's user avatar
93 votes
3 answers
11k views

What is homology anyway?

Disclaimer: I don't feel qualified to ask this question and yet it's been troubling me for some time now and I lost my patience and decided to ask to get some kind of answer. If there are any stupid ...
Saal Hardali's user avatar
  • 7,789
4 votes
1 answer
895 views

When does derived pullback commute with infinite products?

Let $f:X \to Y$ be a morphism of reasonable schemes (qcqs). Let $f^*: D(Y) \to D(X)$ be the pullback defined on the derived unbounded categories of quasi-coherent sheaves. Question: When does $f^*$...
Saal Hardali's user avatar
  • 7,789
2 votes
1 answer
2k views

Does the Čech cohomology always yield long exact sequences from short ones?

Does the Čech cohomology always give rise to a long exact sequences given a short exact sequence of sheaves? Clearly that cannot occur for sheaves on a paracomact (perhaps also Hausdorff, I'm not ...
HeWhoHungers's user avatar
5 votes
1 answer
3k views

Question about hypercohomology / spectral sequence of a complex of "almost-acyclic" sheaves

I have a very particular situation involving a (non-exact) complex $K$ of coherent sheaves on a nonsingular projective variety $X$, and I need to compute the hypercohomology of the complex. The ...
user5395's user avatar
  • 545
20 votes
5 answers
2k views

Equivalence of ordered and unordered cech cohomology.

Given a topological space X and a finite cover X = $\cup X_i$, one can define Cech cohomology of a sheaf of abelian groups F with respect to the cover $\{X_i\}$ in two different ways: (Ordered): ...
David Zureick-Brown's user avatar