11
votes
0answers
360 views

Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains: $$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$ where the right hand side denotes the free abelian ...
1
vote
2answers
451 views

Theorem on composition of derived functors, question about proof

I got a question about a proof I found in Gelfand-Manin's "Methods of homological algebra" (Page 200): Theorem 1. Let $\mathcal{A}, \mathcal{B}, \mathcal{C}$ be three abelian categories, $F: ...
3
votes
1answer
357 views

Unbounded complexes, resolutions and computation of derived functors

Hey guys, let $F: \mathcal{A} \rightarrow \mathcal{B}$ be a left exact functor between abelian categories with enough injectives, let $K \in Kom(\mathcal{A})$ be an unbounded complex, I've heard that ...
2
votes
2answers
273 views

Obtaining derived functors from derived functors of similar complexes or “bluntly truncated” unbounded complexes (without adding 0's to the left)

I don't know if I'm actually using the right terminology here, to be clear I'm going to state explicitly what I'm trying to figure out to see if I can be pointed in the right direction: Let $F: ...
1
vote
2answers
385 views

Hyper(co)homology of exact (acyclic) complexes

Let $\mathcal{A}$ be an abelican category with enough injectives, let $K^\bullet \in Kom^+(\mathcal{A})$ be a complex, where $Kom^+(\mathcal{A})$ is the category of cochain complexes over ...
10
votes
1answer
320 views

finite complex with non-finitely generated homology with local coefficients

I am looking for an explicit example, if one exists, of a (pointed) finite connected CW-complex $X$ such that some homology group with local coefficients $H_n(X,{\mathbb Z}[\pi_1 X])$ is not a ...
1
vote
1answer
252 views

Coboundary map on the cochain complex of abelian cosimplicial groups?

Maybe I'm looking at the wrong places, but I can't find a definition of the coboundary map on the cochain complex of abelian cosimplicial groups. What I have in mind is something similar to the ...
18
votes
3answers
2k views

Homology theory constructed in a homotopy-invariant way

Singular homology sends homotopic morphisms on equal morphisms and weakly equivalent spaces on isomorphic objects. So singular homology is in fact defined on the homotopy category of topological ...
6
votes
3answers
520 views

Projective dimension of zero module

Is there any consensus on what the projective dimension of the zero module should be? Here are three statements one commonly encounters in textbooks, sometimes with or without the condition $M\neq 0$: ...
5
votes
1answer
1k views

quasi-isomorphism

Is the distinction between quasi-isomorphism and `weak homotopy equivalence' ONLY that the first means inducing an isomorphism in homology and the second to an isomorphism of homotopy groups?
13
votes
3answers
2k views

Does homology detect chain homotopy equivalence?

Is the following true: If two chain complexes of free abelian groups have isomorphic homology modules then they are chain homotopy equivalent.
7
votes
4answers
497 views

Realizing complexes with bases as cellular complexes

This is a question a friend of mine asked me some time ago. I suspect the answer is "no" but can't prove it. Every free complex of abelian groups is isomorphic to the reduced cellular complex of some ...
14
votes
3answers
952 views

Cohomology of associative algebras

Let $A$ be an associative algebra over a commutative ring $k$. I've read statements saying that Hochschild (co)homology is the "right" notion of (co)homology for associative algebras. When $A$ is ...
29
votes
5answers
4k views

What is a cohomology theory (seriously)?

This question has bugged me for a long time. Is there a unifying concept behind everything that is called a "cohomology theory"? I know that there exist generalized cohomology theories, Weil ...
4
votes
2answers
571 views

Differentials in the Lyndon-Hochschild spectral sequence

The Lyndon-Hochschild(-Serre) spectral sequence applies to group extensions in a manner analogous to the Serre-Leray spectral sequence applied to a fibration. Does anyone know of a good description ...