Register to reply

Homology groups from Homotopy groups

by wodhas
Tags: groups, homology, homotopy
Share this thread:
Oct7-09, 07:18 PM
P: 6

I am trying to compute homology groups of a space while some of the homotopy groups are known..what is the best way to do that.

I hope that you can help.

Phys.Org News Partner Science news on
Apple to unveil 'iWatch' on September 9
NASA deep-space rocket, SLS, to launch in 2018
Study examines 13,000-year-old nanodiamonds from multiple locations across three continents
Oct7-09, 07:51 PM
P: 707
get more specific
Oct8-09, 04:08 AM
P: 6

I have the first 3 Homotopy groups which are generically non-trivial and I need to compute H_3

Oct14-09, 12:17 AM
P: 491
Homology groups from Homotopy groups

There's no way to do it in general. Looking at the two-sphere, you get an idea how complicated this relationship can be.
Dec22-09, 05:04 PM
P: 429
By abelianizing the first homotopy group, you obtain the first homology group (if the space is connected. If not, you can still use this to find the first homology group easily). This may help, although probably not.
Dec22-09, 09:10 PM
P: 707
Quote Quote by wodhas View Post

I have the first 3 Homotopy groups which are generically non-trivial and I need to compute H_3
I think you can not solve this problem in general. The relation of homotopy to homology is difficult. Why not send us the example you are working on?

Most theorems are known for simply connected spaces.

For a simply connected space the first non-zero homotopy group is the first non-zero homology group.

For a simply connected manifold there is an incredible theorem that says that the rational homotopy groups have the same dimension as vector spaces in each dimension as the number of generators in a minimal model of the de Rham complex.
Jan6-10, 06:23 AM
P: 707
For simply connected spaces, it seems easier to compute homotopy from homology - up to torsion.

Here is the recipe: From the rational homology construct a minimal model. The non-torsion part of the homotopy group in any dimension has the same number of generators as the minimal model in that dimension.

Example: An even dimensional sphere. Its rational homology is zero except in dimension 2n where it is Q. A minimal model has two generators x and y with x of degree 2n, y of degree 4n-1. (The differentials are dx = 0 and dy = x^2)

Thus the 2n sphere has rational homotopy with one generator in dimensions 2n and 4n-1 and zero in all other dimensions.

Example: The odd dimensional sphere. The minimal model has one generator in dimension 2n+1 and no others. So the rational homotopy is Q in dimension 2n+1 and zero in all other dimensions.

Register to reply

Related Discussions
Groups, Normalizer, Abstract Algebra, Dihedral Calculus & Beyond Homework 12
Fundamental groups and homotopy type Linear & Abstract Algebra 2
Centers of groups and products of groups Calculus & Beyond Homework 1
Wallpaper Groups, Free Groups, and Trees Introductory Physics Homework 13
Question On Homotopy Groups Differential Geometry 40