The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
2answers
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
2answers
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
1answer
310 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
11answers
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
3answers
893 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
2answers
513 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
2answers
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
3answers
989 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
1answer
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
3answers
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
12answers
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
3answers
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
2answers
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
4answers
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
2answers
749 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
2answers
506 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
1answer
435 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
6answers
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 ...
14
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.
6
votes
4answers
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
4answers
501 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
1answer
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
2answers
979 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
3answers
988 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 ...
32
votes
5answers
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
4answers
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
4answers
794 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
3answers
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
2answers
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 ...
20
votes
3answers
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
7answers
1k 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 ...
23
votes
10answers
6k 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
2answers
593 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
4answers
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 ...