# Questions tagged [homology]

Homology is a general way of associating a sequence of algebraic objects such as abelian groups or modules to other mathematical objects such as topological spaces.

**7**

votes

**2**answers

1k views

### Poincaré quasi-isomorphism

Suppose we have a simplicial combinatorial manifold (just a triangulated manifold) and its Poincaré dual cell complex.
Corresponding homology simplicial and homology cell complexes are quasi-...

**16**

votes

**3**answers

1k 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 ...

**51**

votes

**5**answers

10k 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 ...

**48**

votes

**4**answers

4k views

### Torsion in homology or fundamental group of subsets of Euclidean 3-space

Here's a problem I've found entertaining.
Is it possible to find a subset of 3-dimensional Euclidean space such that its homology groups (integer coefficients) or one of its fundamental groups ...

**5**

votes

**4**answers

1k views

### Are there two non-diffeomorphic smooth manifolds with the same homology groups?

I know that there definitely are two topological spaces with the same homology groups, but which are not homeomorphic. For example, one could take T^2 and S^{1}\vee S^{1}\vee S^{2} (or maybe S^{1}\...

**31**

votes

**3**answers

2k views

### For which spaces is homology (or cohomology) determined by the Eilenberg-Steenrod axioms

This is a spinoff of Can anyone give me a good example of two interestingly different ordinary cohomology theories? . By an ordinary homology theory, I mean a functor on topological spaces which ...

**6**

votes

**2**answers

452 views

### Can one calculate the (co)homology of the loopspace of a Lie group from its Lie algebra?

Compact connected simply-connected Lie groups have so much structure that you can calculate their cohomology from their Lie algebras using Lie algebra cohomology (certain Ext-groups) and similarly ...

**24**

votes

**3**answers

2k views

### Why is homology not (co)representable?

This is in the same vein as my previous question on the representability of the cohomology ring. Why are the homology groups not corepresentable in the homotopy category of spaces?

**14**

votes

**8**answers

2k views

### Smooth classifying spaces?

Take G to be a group. I care about discrete groups, but the answer in general would be welcome too. There are the various ways to construct the classifying space of G, bar construction, cellular ...

**64**

votes

**10**answers

19k views

### What is (co)homology, and how does a beginner gain intuition about it?

This question comes along with a lot of associated sub-questions, most of which would probably be answered by a sufficiently good introductory text. So a perfectly acceptable answer to this question ...

**6**

votes

**2**answers

849 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 (...

**45**

votes

**5**answers

4k views

### Does homology have a coproduct?

Standard algebraic topology defines the cup product which defines a ring structure on the cohomology of a topological space. This ring structure arises because cohomology is a contravariant functor ...