Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
133 views

Grothendieck spectral sequence (cohomology version) for posets with functor coefficient

In this paper, Quillen mentioned a spectral sequence as follows. Let $f:X\to Y$ is a poset map and $\mathcal{F}:X\to Ab$, where $Ab$ is the category of abelian groups, a functor which is contravariant ...
GURI920826's user avatar
6 votes
1 answer
328 views

Topology on cohomology of a sheaf of topological groups

Let $X$ be a topological space and $\mathcal{F}$ be a sheaf of commutative topological groups on $X$. I am interested in the following question: Is there a natural way to introduce topology on $H^i(X,...
 V. Rogov's user avatar
  • 1,170
3 votes
0 answers
671 views

Elementary reference for Borel-Moore/locally finite homology

There is a homology theory called "Borel-Moore" or "locally finite" homology, which can either be constructed by using locally-finite chains or by more advanced sheaf-theoretic ...
Calvin McPhail-Snyder's user avatar
1 vote
1 answer
634 views

Inception of modern view of Sheaf Cohomology in Mathematical Literature

From wikipedia entry on Sheaf Cohomology I have found the intriguing passage: 'The essential point is to fix a topological space X and think of cohomology as a functor from sheaves of abelian groups ...
user122465's user avatar
4 votes
2 answers
315 views

Equivalence of different cohomology groups

Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups: (1) singular cohomology $H_{sing}^*(X,A)$;...
asv's user avatar
  • 21.8k
5 votes
0 answers
377 views

Push forward of the constant sheaf for a Serre's fibration

Let $f\colon X\to Y$ be a proper continuous map of topological spaces which is a Serre's fibration. $X$ and $Y$ may be assumed to be locally compact, $Y$ is connected topological manifold of finite ...
asv's user avatar
  • 21.8k
9 votes
1 answer
1k 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
9 votes
2 answers
4k 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,211