# 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.

212 questions
3answers
670 views

3answers
8k views

### Spaces with same homotopy and homology groups that are not homotopy equivalent?

A common caution about Whitehead's theorem is that you need the map between the spaces; it's easy to give examples of spaces with isomorphic homotopy groups that are not homotopy equivalent. (See Are ...
1answer
244 views

### Equivariant homology of Hilb and torus stable curves

The torus equivariant homology of a compact homogeneous variety $G/B$ may be described by using the "skeleton" consisting of torus fixed points and the torus invariant curves that connect them. ...
2answers
803 views

### Proof of the ''trangression theorem''

Here is what I would call the transgression theorem. Let $X$ be a pointed space and $\Omega X$ its loop space. There are two maps $H_{p}(\Omega X) \to H_{p+1}(X)$ which should be the same. I am ...
2answers
951 views

### Deformation theory of co-$A_\infty$ structures.

The following question is related to my previous post on co-$A_\infty$ spaces (co-$A_\infty$ spaces), but goes in a somewhat different direction. Some Background: In trying to classify $A_\infty$ ...
4answers
4k views

### How to triangulate real projective spaces (as simplicial complexes in Mathematica)?

Hello! I have written a program in Mathematica 7, which calculates for a (finite abstract) simplicial complex all its homology groups. I would really like to test it on the projective spaces, but ...
2answers
797 views

### Simple examples of equivariant homology and bordism

I'm looking for simple examples of calculations of equivariant homology and of equivariant bordism. I have a finite group G acting on an CW-complex X. I would like to calculate the equivariant ...
3answers
2k views

0answers
249 views

### Homology of nice planar sets

Is there a quick and simple proof of the fact that the homology group of a nice (say with piecewise smooth boundary) planar domain is free abelian with a basis corresponding to the holes in the domain?...
1answer
1k views

### Homology is computable because it is stable under suspension

I've heard it said that the reason why the homology groups of a space are a computable invariant is because they are a stable invariant in the sense that they are stable under suspension. I'm ...
1answer
384 views

### When do submanifolds lie in the same homology class? [closed]

Hello, this may be a trivial question, but I am not very familiar with the topic. Let (M,g) be a Riemannian Manifold. (In fact, we don't need the metric here.) What exactly does it take for two k-...
3answers
960 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$: ...
0answers
417 views

1answer
674 views

2answers
963 views

### Proving homotopy invariance of cellular homology by constructing a chain homotopy

I'm trying to follow an argument in Lück's "Algebraische Topologie: Homologie und Mannigfaltigkeiten" (to which there apparently doesn't exist an english translation). The aim is to check homotopy ...
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?
3answers
1k views

### When are the homology and cohomology Hopf algebras of topological groups equal?

Suppose we have a topological group $G$, then the multiplication map $\mu$ and the diagonal map $\Delta$ provide the cohomology $H^\ast(G;R)$ (with Pontryagin coproduct and cup coproduct) and homology ...
2answers
878 views

### The word “torsion” and its connection to geometry and homology

In an $R$-module $M$, an element $m \in M$ is said to be torsion if $am = 0$ for some $a \in R$ with $a \neq 0$. Also, for a non-orientable (closed) surface such as the projective plane or the Klein ...
2answers
3k views

### Singular homology of a graph.

By a graph I will understand an undirected graph without multiple edges or loops. By a morphism of graphs I will understand a map $f$ between the underlying sets of vertices, such that if $x$ and $y$ ...
2answers
3k views

### Does this approach for the Poincaré conjecture work?

Several months ago a paper was posted at http://arxiv.org/abs/1001.4164 called "Another way of answering Henri Poincaré's fundamental question." The author gave a talk on it today at my institution. ...
1answer
374 views

3answers
4k 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.
4answers
469 views

### Examples of the varying strengths of topological invariants

In my first algebraic topology class, I remember being told that the simplest reason for homology was to distinguish spaces. For example, if is X=circle and a Y= wedge of a circle and a 2-sphere then ...
4answers
543 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 ...
1answer
265 views

### disagreement between two definitions of the singular boundary map

Hi everyone, I have a little problem with the definition of singular boundary map in singular homology theory. It appears to be some disagreement between two authors. The first one is Hatcher in his '...