Homology of torus and Klein's bottle

  • Thread starter Thread starter ddo
  • Start date Start date
  • Tags Tags
    Torus
ddo
Messages
3
Reaction score
0

Homework Statement


I'm trying to calculate singular homology groups of the torus and Klein's bottle using the Mayer-Vietoris sequence.

The Attempt at a Solution



I represent both spaces as a rectangle with identified edges. Then I take the sets:
U=rectangle without the boundary
V=rectangle without the middlepoint
so U is contractible thus H_n(U)=0 for n>0, H_0(U)=Z
V=S1vS1 so H_1(V)=ZxZ, H_n(V)=0
and their intersection = S1, H_n(S1)=0, H_1(S1)=Z, H_0(S1)=Z
Now from the M-V sequence for n>2 we get an exact sequence
0->0x0->H_n(T)->0, so H_n(T)=0.
But I don't know what to do for smaller n...

Please help!
 
Physics news on Phys.org
Hi ddo! :smile:

Do you need to derive everything from the Mayer-Vietoris sequence? That looks quite hard.

The zero'th homology group is very easy since it is the number of path connected components.
The first homology group is also easy by calculating the fundamental group of S^1\times S^2...

The second homology group can be derived from Mayer Vietoris then.
 
Thank for your reply!
I suppose the Mayer-Vietoris hint was there to make the task easier :)
So H_0 is Z because there is only one connected component, H_1 is the abelianization of the fundamental group, both torus and Klein's bottle have abelian fundamental groups so for torus it's Z \times Z, for Klein's bottle Z \times Z_2.
Now M-V gives:
0 \to H_2(T) \to Z \to 0 \times (Z \times Z) \to H_1(T) \to Z
And I still don't know how to derive H_2(T)...
 
Write out the full Mayer-Vietoris. I'll do it for the torus

0\rightarrow H_2(X)\rightarrow \mathbb{Z}\rightarrow \mathbb{Z}\times\mathbb{Z}\rightarrow \mathbb{Z}\times\mathbb{Z}\rightarrow \mathbb{Z}\rightarrow \mathbb{Z}\times\mathbb{Z}\rightarrow \mathbb{Z} \rightarrow 0

Now, it is easy to see that H_2(X) is either 0 or \mathbb{Z}.

Now, reason from left to right as follows:
The end of the sequence is

\mathbb{Z}\times\mathbb{Z}\rightarrow \mathbb{Z} \rightarrow 0

So the the map is a surjection, and the kernel of the map is isomorphic to \mathbb{Z}.

Consider the next part of the sequence:

\mathbb{Z}\rightarrow \mathbb{Z}\times\mathbb{Z}\rightarrow \mathbb{Z}

The kernel of the right map equals the image of the left map. Thus the image of the left map is isomorphic to \mathbb{Z}. Thus the kernel of the left map is necessarily 0.

Now consider the next part of the sequence, etc.

Try to complete this argument.
 
\mathbb{Z}\times\mathbb{Z} \rightarrow\mathbb{Z}\rightarrow \mathbb{Z}\times\mathbb{Z}
The kernel of the right map is 0, so the image of the left map is 0, so the kernel of the left map is \mathbb{Z}\times\mathbb{Z}
Next:
\mathbb{Z}\times\mathbb{Z}\rightarrow \mathbb{Z}\times\mathbb{Z}\rightarrow \mathbb{Z}
The kernel of the right map is \mathbb{Z}\times\mathbb{Z}, so the image of the left map is \mathbb{Z}\times\mathbb{Z}, so the kernel of the left map is 0.
H_2(X)\rightarrow \mathbb{Z}\rightarrow \mathbb{Z}\times\mathbb{Z}\rightarrow \mathbb{Z}\times\mathbb{Z}
The kernel of the right map is 0, so the kernel of the middle map is \mathbb{Z}, so the image of the left map is also \mathbb{Z}, so H_2(X) can't be 0.
Is that correct?
 
Sounds good! So the second homology group is \mathbb{Z}!

The thing with the Klein Bottle should be analogous!
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top