Results 1 to 8 of 8

Math Help - Suspension homology

  1. #1
    Member
    Joined
    Dec 2009
    Posts
    171

    Suspension homology

    Let K be a complex, and let w_0 *K , w_1 * K be two cones whose polytopes intersect only in |K|.
    The complex S(K)=(w_0 * K )  \cup (w_1 * K ) is called "SUSPENSION" of K.
    Define:  \phi : C_p(K) \to C_{p+1} (S(K)) by the equation -
     \phi (c_p) = [w_o , c_p] - [w_1 , c_p ] .
    Show that $\phi$ induces a homomorphism:
     \phi _{*} : H_p(K) \to H_{p+1} (S(K)) .

    By the way, the homology groups here are the reduced ones... Which has no importance for p>0.
    [
    What I've tried:
    I thought I should define:
     \phi _{*} (c_p + B_p(K) ) = \phi (c_p) +B_{p+1} (S(K))
    but what should I prove in order for it to be a homomorphism? it presereves the operation of chain-addition by definition of the cone operation...So what is left to do? can someone help me?
    ]
    Thanks in advance
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Mar 2010
    From
    Beijing, China
    Posts
    293
    Thanks
    23

    Re: Suspension homology

    \phi is obviously a homomorphism. To verify it induces a homomorphism between the homology groups, we need only to show \phi(\partial{c}) ~ 0, that is \phi maps boundary chains to boundary chains. This is only a straightforward computation:
    It is easy to verify that \partial[w_0, c]=c-[w_0,\partial{c}], just write down c=[v_0,...,v_{p+1}] and \partial{c}=\sum_{k=0}^{p+1}(-1)^k [v_0,...,v_{k-1},v_{k+1},...,v_{p+1}] you can verify that.
    So we have \phi(\partial{c})=[w_0,\partial{c}]-[w_1,\partial{c}]
    =(c-\partial[w_0,c])-(c-\partial[w_1,c])
    =\partial([w_1,c]-[w_0,c])
    =\partial(-\phi(c)) ~ 0, we're done
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Dec 2009
    Posts
    171

    Re: Suspension homology

    Hi xxx9,

    Thanks for your answer. I've several questions regarding what you wrote:

    1) What we've actually proved is that \phi (Im \partial _p ) \subseteq Im(\partial _{p+1} S(X)) ) for all p>0. But what about the case of p=0? We don't need it because the reduced homology group of order 0 contains only the expression of  Im \partial _ 1 ?

    2) After we proved boundaries are copied into boundaries, shouldn't we prove it for cycles as well ? And then my  \phi _{\ast} will be obviously a homomorphism? If not, can you please explain me this last thing?


    Hope you'll be able to help me with this

    Thanks a lot again, you've been very helpful so far!
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Mar 2010
    From
    Beijing, China
    Posts
    293
    Thanks
    23

    Re: Suspension homology

    Actually what we have shown is \phi(\partial)=-\partial(\phi) for any p \ge 0, using this you can easily verify your 1) and 2), by just unwinding the definitions.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Dec 2009
    Posts
    171

    Re: Suspension homology

    I still can't get it... The definition of the cone boundary operator for p=0 isn't the same as in the case of p>0 ... So we've actually shown it for p>0 .
    From the fact that  \phi (\partial ) = - \partial ( \phi ) we can deduce that  \phi (B_p(X)) \subseteq B_{p+1} (S(X)) . Can you please explain why this is what we needed in order to prove  \phi _{\ast} ?

    I really need your help in this

    Thanks in advance
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    Mar 2010
    From
    Beijing, China
    Posts
    293
    Thanks
    23

    Re: Suspension homology

    How do you define \phi(0)?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Member
    Joined
    Dec 2009
    Posts
    171

    Re: Suspension homology

     w_0 - w_1 ?
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Member
    Joined
    Dec 2009
    Posts
    171

    Re: Suspension homology

    NVM, I got it !

    THanks a lot!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Catenary differential equation (suspension bridge)
    Posted in the Differential Equations Forum
    Replies: 1
    Last Post: July 13th 2011, 10:42 PM
  2. Suspension Bridge Parabola Problem
    Posted in the Pre-Calculus Forum
    Replies: 2
    Last Post: May 2nd 2011, 10:17 AM
  3. Parabola word problem about a suspension bridge
    Posted in the Pre-Calculus Forum
    Replies: 2
    Last Post: July 19th 2010, 04:35 PM
  4. Chain maps inducing the suspension isomorphism
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: May 22nd 2010, 05:26 AM
  5. Suspension Bridge
    Posted in the Pre-Calculus Forum
    Replies: 2
    Last Post: October 14th 2008, 08:56 PM

Search Tags


/mathhelpforum @mathhelpforum