The homology tag has no wiki summary.

**4**

votes

**2**answers

2k 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$ ...

**19**

votes

**2**answers

2k views

### Does this approach for the Poincare conjecture work?

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

**1**

vote

**1**answer

312 views

### When is there a deRham duality relation between the fundamental class and a top form.?

Hi, everyone:
I am reading a small expository paper on properties of CP2,
in which the intersection form is defined as an integral of
the wedge of two forms $w_1$, $w_2$, and these forms ...

**36**

votes

**11**answers

5k views

### Why torsion is important in (co)homology ?

I've once been told that "torsion in homology and cohomology is regarded by topologists as a very deep and important phenomenon". I presume an analogous statement could be said in the context of ...

**7**

votes

**3**answers

900 views

### Request: intermediate-level proof: every 2-homology class of a 4-manifold is generated by a surface.

Hi, everyone:
For the sake of context, I am a graduate student, and I have taken classes in
algebraic topology and differential geometry. Still, the 2 proofs I have found
are a little too terse for ...

**0**

votes

**2**answers

514 views

### Working with Intersection Forms in Homology. Computation.

Hi, everyone:
I am trying to work with the intersection form in 4-manifolds. Specifically,
I am working with $CP^2$ (complex projective 2-space.), whose form is given by $(1)$.
Now, I know how to ...

**10**

votes

**2**answers

1k views

### What would be the ramifications of homotopy theory being as easy as homology theory?

Greg Muller, in a post called Rational Homotopy Theory on the blog "The Everything Seminar" wrote
"I tend to think of homotopy theory a little bit like ‘The One That Got Away’ from mathematics as a ...

**20**

votes

**3**answers

1k views

### Are fundamental groups of aspherical manifolds Hopfian?

A group $G$ is Hopfian if every epimorphism $G\to G$ is an isomorphism. A smooth manifold is aspherical if its universal cover is contractible. Are all fundamental groups of aspherical closed smooth ...

**2**

votes

**1**answer

442 views

### Given a ramified cover of a Riemann surface, is there a good choice of basis for H_1 of the source?

Suppose we are given a map $f: X \to Y$ between two Riemann Surfaces, with branch points $p_1,p_2,\dots,p_n$ and known multiplicities at these points. Assuming we have a basis of $H_1(Y, ...

**1**

vote

**3**answers

3k views

### Homology of Surfaces with Holes

The classification theorem for surfaces says that the complete set of homeomorphism classes of surfaces is
{ $S_g : g \geq 0$ } $ \cup$ { $N_k : k \geq 1$ },
where $S_g$ is a sphere with $g$ ...

**18**

votes

**12**answers

5k views

### “Homotopy-first” courses in algebraic topology

A first course in algebraic topology, at least the ones I'm familiar with, generally gets students to a point where they can calculate homology right away. Building the theory behind it is generally ...

**2**

votes

**3**answers

1k views

### Homology with Coefficients

We can define the (first) homology of a surface $S$ by working with graphs embedded in $S$. That is, we take any (oriented) graph which is 2-cell embedded in $S$, and take cycles modulo boundaries in ...

**4**

votes

**2**answers

1k views

### De Rham homology

Suppose M is an arbitrary smooth manifold and D is its bundle of 1-densities.
On the category of finite-dimensional vector bundles over M and linear differential operators between them
there is a ...

**8**

votes

**4**answers

2k views

### homology with compact supports

In one of the exercises in McDuff and Salamon, they mention homology with compact supports. I know how to define *co*homology with compact supports, but I can't picture the homology version. How do ...

**5**

votes

**2**answers

752 views

### Intersection form in twisted homology (homology with local coefficients)

The answer to this question should be obvious, but I can't seem to figure it out. Suppose we have a surface $F$, and a representation $\rho : \pi_1(F)\to SU(n)$. We can define the homology with local ...

**2**

votes

**2**answers

511 views

### What can be said about the homotopy groups of a CW-complex in terms of its (co)homology?

One example is the Hurewicz theorem which tells us that (e.g) a CW-cx with only one 0-cell has a nontrivial fundamental group if H_1 is nontrivial. What other examples are there? (The CW-complexes I ...

**8**

votes

**1**answer

436 views

### Is it always possible to compute the Betti numbers of a nice space with a well-chosen Lefschetz zeta function?

Let $X$ be a smooth projective variety. If I've understood correctly, the Weil conjectures imply that it is possible to compute the Betti numbers of $X(\mathbb{C})$ by computing the local zeta ...

**9**

votes

**6**answers

2k views

### CW-structures and Morse functions: a reference request

The following is probably well known, but I wasn't able to locate a reference in the literature.
Let $f$ be a Morse function on a smooth compact manifold $M$ without boundary and let $\rho$ be a ...

**15**

votes

**3**answers

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.

**6**

votes

**4**answers

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

**7**

votes

**4**answers

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

**3**

votes

**1**answer

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

**7**

votes

**2**answers

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

**14**

votes

**3**answers

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

**33**

votes

**5**answers

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

**39**

votes

**4**answers

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

**4**

votes

**4**answers

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

**26**

votes

**3**answers

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

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

**21**

votes

**3**answers

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

**11**

votes

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

**24**

votes

**10**answers

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

**4**

votes

**2**answers

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

**26**

votes

**4**answers

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