Homology of the Klein Bottle using M-V sequences

  • Context: Graduate 
  • Thread starter Thread starter quasar987
  • Start date Start date
  • Tags Tags
    Klein Sequences
Click For Summary

Discussion Overview

The discussion revolves around the computation of the homology of the Klein Bottle using Mayer-Vietoris sequences. Participants explore the implications of choosing specific bases for Z² and the relationships between kernel and image in the context of homology groups.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant questions how the conclusion about the homology follows from the choice of basis {(1,0), (1,-1)} for Z².
  • Another participant states that the homology group is Z + Z quotiented by the image of alpha, suggesting it is /(2f=0), which leads to Z + Z/2Z.
  • A participant inquires about the computation of the quotient \frac{\ker(d_n)}{\text{im}(d_{n+1})} and emphasizes the importance of expressing kernel and image in terms of the same basis.
  • One participant acknowledges the relevance of a short exact sequence and concludes that the image of alpha is 2Z, leading to the homology group H_1(K) being Z + Z/2Z.

Areas of Agreement / Disagreement

Participants express differing views on the necessity of discussing bases and the implications of the homology group computation. The discussion includes both agreement on certain mathematical properties and contention regarding the choice of basis and its impact on the conclusions drawn.

Contextual Notes

Some participants highlight the non-standard basis choice and its implications for the computation of homology, while others note that the image of alpha simplifies the analysis. There is an acknowledgment of the need for clarity in expressing kernel and image in the same basis for straightforward computations.

Who May Find This Useful

Readers interested in algebraic topology, specifically those studying homology theories and the properties of surfaces like the Klein Bottle, may find this discussion relevant.

quasar987
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32
Physics news on Phys.org
The homology group is Z + Z quotiented by the image of alpha. In the given bases label them e,f, what is this? It is <e,f>/(2f=0) i.e. Z + Z/2Z
 
How do you compute the quotient

\frac{\ker(d_n)}{\text{im}(d_{n+1})}

? If you can express \ker(d_n) and \text{im}(d_{n+1}) in terms of the same basis, then modding out is straight forward. That's why Wiki is choosing a non-standard basis for Z². Why don't you write out the sequence and the maps?
 
Last edited:
Thanks. I had forgotten that given a short exact sequence 0-->A-f->B-->C-->0, we have C=B/Im(f).

Actually, there is no need to talk about basis here since Im(alpha) is clearly just 2Z, so H_1(K)=(Z+Z)(2Z)=Z+Z/2Z.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
6K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
9K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
10K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K