Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Interpretation of 'homologous to' - Munkres analysis of homology grou

  1. Apr 20, 2014 #1
    I am reading James Munkres' book, Elements of Algebraic Topology.

    Theorem 6.2 on page 35 concerns the homology groups of the 2-dimensional torus.

    I would appreciate some help with interpreting the term 'homologous to' as it relates to a part of the proof of Munkres' Theorem 6-2 concerning the homology groups of the torus.

    The relevant part of the proof is as follows: (see end of my post for a complete copy of Theorem 6.2)

    attachment.php?attachmentid=68872&stc=1&d=1398048671.jpg

    It seems that in proving that [itex] H_1 (T) = \mathbb{Z} \oplus \mathbb{Z} [/itex] Munkres has shown that every 1-cycle of T is homologous to a 1-cycle c of the form [itex] c = n w_1 + m z_1 [/itex], and, further, that the only boundaries of such cycles are trivial i.e. there are no boundaries of these cycles.

    I basically follow the details of Munkres analysis ...

    BUT ... to show that [itex] H_1 (T) = \mathbb{Z} \oplus \mathbb{Z} [/itex] we should show that every on cycle is of the form [itex] c = n w_1 + m z_1 [/itex], and, ... ... etc ...

    ... and not just that every 1-cycle is homologous to such as cycle ie that for every cycle [itex] c_1 [/itex] we have:

    [itex] c - c_1 = \partial d [/itex] for some d ... ...

    or is this just the same ...

    Can someone please clarify this issue for me.

    The details of Theorem 6.2 and its proof are as follows:

    attachment.php?attachmentid=68870&stc=1&d=1398048268.jpg
    attachment.php?attachmentid=68871&stc=1&d=1398048268.jpg

    The definition of homologous is given in the following text from Munkres:

    attachment.php?attachmentid=68873&stc=1&d=1398048999.jpg

    Hope someone can help,

    Peter
     

    Attached Files:

    Last edited: Apr 20, 2014
  2. jcsd
  3. Apr 23, 2014 #2
    Very messy post. No wonder no one responded. Anyway, no, you don't need to prove that every cycle is of that form because that would be false. There are tons of cycles that are not of that form. The boundary of every single triangle in the diagram would be a cycle that is not of that form. You are modding out by boundaries of 2-cells, therefore they don't matter. Basically, you are adding a bunch of stuff that has been set equal to zero in order to push it to the edge. Pushing stuff into the boundary doesn't affect anything in homology because you mod out by that stuff.
     
  4. Apr 24, 2014 #3
    [itex] [/itex]

    Thanks homeomorphic, your post was most helpful to me ...

    My statement, implying that in order ".. to show that [itex] H_1 (T) = \mathbb{Z} \oplus \mathbb{Z} [/itex] we should show that every on cycle is of the form [itex] c = n w_1 + m z_1 [/itex] " was quite wrong as you point out ... there are indeed many cycles in L that are not of this form!

    Now, yes ... I think I follow your general clarification of what is going on in Munkres' Theorem 6.2, but I would really like to follow the specific logic of Munkres' argument that he presents in the proof of Theorem 6,2 as follows: (see statement and proof of Theorem 6.2 in the post above)

    ----------------------------------------------------------------------------------------------

    Using results (1)-(4), we can compute the homology of T. Every 1-cycle of T is homologous to a 1-cycle of the form [itex] c = n w_1 + m z_1 [/itex], by (1) and (3). Such a cycle bounds only if it is trivial: for if [itex] c = \partial d [/itex] for some d, then (2) applies to show that [itex] d = p \gamma [/itex] for some p; since [itex] \partial \gamma = 0 [/itex]. We conclude that:

    [itex] H_1 (T) = \mathbb{Z} \oplus \mathbb{Z} [/itex]

    and the (cosets of the) 1-cycles [itex] w_1 \text{ and } z_1 [/itex] form a basis for the 1-dimensional homology.

    ----------------------------------------------------------------------------------------------

    Munkres first statement is that any 1-cycle of T, say c', is homologous to a 1-cycle of the form [itex] c = n w_1 + m z_1 [/itex] ... that is:

    [itex] c' - c = \partial_2 d' [/itex] for some 2-chain d' ... ... ... ... (5)

    Munkres then states that such a cycle as c bounds only if it is trivial - that is:

    ... if [itex] c = \partial d [/itex] then [itex] c = 0 [/itex] ... ... ... ... (6)

    BUT then Munkres writes:

    "We conclude that:

    [itex] H_1 (T) = \mathbb{Z} \oplus \mathbb{Z} [/itex]"


    What is the rigorous logic for this conclusion ... why precisely does this conclusion follow from (5) and (6) above?


    Can someone please help me with this?

    Would appreciate help,

    Peter

    EDIT: It would help me enormously, for example, if someone could show me what [itex] Z_1 (T) [/itex] and [itex] B_1 (T) [/itex] were - indicating how these groups were derived from Munkres' analysis above!
     
    Last edited: Apr 24, 2014
  5. Apr 24, 2014 #4
    He's just saying you don't need to mod out by anything further once you push everything to the edge. If you have a 2-chain, the only way its boundary could be of the form n w_1 + m z_1 is if it is a multiple of all the 2-simplices added together (I'm being sloppy about orientation here). Argue by contradiction. If any of those 2-simplices is missing from the sum, you'll get terms that are not on the edge of the square when you apply the boundary operator (i.e. it wouldn't be of the form nw_1 + m z_1).

    Z_1(T) is all the guys that "close up" and formal sums of such things. B_1(T) is all the boundaries of the triangles and sums of those. It isn't just matter of knowing what those are and then modding out, though. That could get pretty ugly, so it is better to do what Munkres is doing and be more clever and indirect about it.
     
  6. Apr 24, 2014 #5

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    You may be overlooking some details. To say what homeomorphic said in other words, Munkres is just using the algebraic definition of homology as the quotient $$ Ker d_n/Im (d_{n+1})$$ (where the ## d_i## 's are the boundary operators) , a.k.a, cycles/boundaries, the algebraic (as modules here) quotient Z(T)/B(T). Since every cycle is of the form nw_1+ mz_1 for m,n integers, we get that $Z_1(T)$, the 1-cycles of T are isomorphic ( maybe they're related to homeomorphic ;) ) to ## \mathbb Z (+) \mathbb Z ## . Similarly, Munkres concluded that the (module of) bounding cycles is the trivial module B_1(T)= {0} . We then get, using the algebraic quotient definition, we get the quotient of modules: $$H_1(T)=Z_1(T)/B_1(T) =Z_1(T)$$ (notice the strange thing that , in a sense, you can divide by zero ).
     
  7. Apr 25, 2014 #6
    That doesn't sound quite right. Z_1(T) isn't Z plus Z in this case. Only AFTER modding out by the boundaries can we represent all cycles by guys carried by the boundary square, so we're already in homology (sort of). You're really modding out in stages, it seems. Mod out by enough to push everything to the boundary and see whether you've modded out by enough stuff. The conclusion is, yes, you modded out by enough stuff and you've arrived at the homology.

    One weird thing about homology is that it ends up being a topological invariant, even though it's defined in a non-invariant way. Specifically, the simplicial chain complex depends on your triangulation. It's got a copy of Z for each symplex in each dimension. And similarly, the group of cycles (and boundaries) is still not topologically invariant. It, too, depends on the triangulation. When you haven't yet modded out by the boundaries, it's as if the 2-skeleton is entirely absent. So, it looks to me like you get a copy of Z for each triangle in the 1-skeleton, if you really wanted to know what Z_1 is in this case. But you don't actually need to know what Z_1 is.

    And as I said, B_1 is all formal sums of 2-simplices in the triangulation.
     
  8. Apr 25, 2014 #7

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    Yes, I was taking some results for granted, and just dotting some t's, crossing some I, e.g., I accepted the fact that all cycles (are homologous to cycles) of the form ##m_1z_1+m_2z_2 ##; I did not go thru the argument in detail. And actually , if by topological invariant you mean preserved under homeomorphism, homology is even preserved under homotopy equivalence.
     
  9. Apr 25, 2014 #8
    My point is that that Z plus Z isn't really Z_1 with respect to the triangulation. Z_1 with respect to the triangulation would be the whole big thing generated by all the boundaries of the triangles. So, it's okay, as long as you don't call it Z_1. It's some quotient of Z_1, which turns out to be the homology.
     
  10. Apr 25, 2014 #9
    And technically, B_1 is not 0. It's just that the subgroup of B_1 generated by the boundary square is trivial.
     
  11. Apr 25, 2014 #10

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    Yes; I took the post from the point where Amateur wanted to know how Munkres had arrived to the homology _after_ the issues you mention had been addressed, which is what I understood Amateur wanted ; I did not address those issues myself.
     
  12. Apr 26, 2014 #11
    [itex] [/itex]

    Thanks WWGD and homeomorphic ... you have helped me to get a much better general picture of the homology groups involved ... but I am still trying to build a precise understanding of Munkres argument ...

    Let me state where I am with Munkres' arguments now ... and then pose a question ...


    We have that every 1-cycle c' of T is homologous to a 1-cycle of the form [itex] c = n w_1 + m z_1 [/itex] by (1) and (3) - so more precisely we have

    [itex] c' - c = \partial_2 d [/itex] for some boundary d

    [itex] \Longrightarrow [/itex] every 1-cycle [itex] c' = c + \partial_2 d [/itex]

    [itex] \Longrightarrow c' = n w_1 + m z_1 + \partial_2 d [/itex]

    (ie every 1-cycle is of the form [itex] c' = n w_1 + m z_1 + \text{ (some boundary) } [/itex]

    So now I should be able to give a precise argument from here ...

    But I only have a general picture ,,,

    One question I do have is how do you get from every cycle c' being of the form [itex] c' = n w_1 + m z_1 + \partial_2 d [/itex] to [itex] H_1 (T) = Z_1 (T) / B_1 (T) = \mathbb{Z} \oplus \mathbb{Z} [/itex] ...

    I can see how if every cycle c' was of the form [itex] c' = n w_1 + m z_1 [/itex] that [itex] Z_1(T) [/itex] would be equal to [itex] \mathbb{Z} \oplus \mathbb{Z} [/itex] since n and m each run through all the integers ... but of course the relation [itex] c' = n w_1 + m z_1 [/itex] is not true ... we actually have [itex] c' = n w_1 + m z_1 + \partial_2 d [/itex] ... so any help on this specific point would be welcome!


    It would also help me a great deal if I could actually describe the cosets of [itex] H_1 (T) = Z_1 (T) / B_1 (T) [/itex] ... but I am not really clear about the process going on ... or the nature of the cosets involved ...

    Thinking aloud ...

    If we have cycles [itex] c_1, c_2 \in Z_1 (T) [/itex] such that

    [itex] c_1 = 2 w_1 + 2 z_1 + \partial_2 d_1 [/itex]

    and

    [itex] c_2 = w_1 + z_1 + \partial_2 d_1 [/itex]

    then

    [itex] c_1 - c_2 = w_1 + z_1 [/itex] ...

    ... ? ... are these two cycles in the same coset ... ?

    I think I am confused at this stage ...

    Can you help me to describe the relevant cosets in a precise way?

    Peter
     
    Last edited: Apr 26, 2014
  13. Apr 28, 2014 #12

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    Sorry, homeomorphic, I do welcome the geometric perspective, but I thought Amateur wanted to (at least) temporarily by pass that. Please feel free to add to the geometric perspective, though; I do know we can work with the formal chain groups and formal chains , formally compute boundaries, and use the fundamental domain to narrow-down the set of homology cycles; I thought amateur wanted to take that for granted for a little while, but the geometric perspective is also nice to have.
     
  14. Apr 28, 2014 #13
    Actually, it IS true. But it's true in homology, not in Z_1. It's true when you mod out by boundaries. It's the same thing as if I said 1 = 1+3 mod 3.




    Cosets of B_1 in Z_1 are of the form 1-cycle + 1-boundary, where the 1-cycle is fixed and the boundaries vary over all possible boundaries. So, basically, you take your representative cycle and you add every possible boundary to it. Just as a coset in Z mod 3 would be something like...1-6, 1-3, 1, 1 + 3, 1+ 6, 1+9...

    Here, 1 is playing the role of your chosen, fixed cycle and the multiples of 3 are playing the role of the boundaries.



    I think if you think of the Z mod n analogy, the answer should be clear. Subtract 2 cosets...

    Edit: Did you mean to ask if c2, and c1-c2 are in the same coset? Then, yes, since they are both w1+z1 mod boundaries.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Interpretation of 'homologous to' - Munkres analysis of homology grou
Loading...