Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The Universal Coefficients Theorem states that

$0\rightarrow H_n(X)\otimes G\rightarrow H_n(X;G)\rightarrow\operatorname{Tor}(H_{n-1}(X),G)\rightarrow 0$

splits, but not naturally. In all the algebraic topology contexts I've come across, "natural" implies commutativity, but I don't see what a "natural split" means. Can someone give me an explicit definition?

Edit:

From what I've read... if I understand this correctly, splitting naturally implies that if

$0\rightarrow A\rightarrow A\oplus C\rightarrow C\rightarrow 0$

and

$0\rightarrow A'\rightarrow A'\oplus C'\rightarrow C'\rightarrow 0$

and given maps $a:A\rightarrow A'$ and $c:C\rightarrow C'$, the map $A\oplus C\rightarrow A'\oplus C'$ has to be the map $(a,c)$ in order for the diagram to commute.

share|improve this question
1  
Here's a relevant discussion on math.MO –  t.b. Apr 18 '11 at 19:11
    
I already did see that discussion, but I still don't understand how the OP's question relates to the Universal Coefficients Theorem. I don't see how those induced maps on homology and homology with coefficients relate to the exact sequence in the UCT. (Also, I don't know what $\Sigma$ means, so that may help me.) –  user9402 Apr 18 '11 at 19:17
    
Ok, so here's the thing. The sequence splits, that is to say that the middle term is the direct sum of the two outer terms. If this splitting were natural in $X$, the map in the middle would have to be the direct sum of the outer maps for all maps $f: X \to Y$. Dylan asks about a map that induces the identity on the two outer terms in the UCT, but fails to be the identity in the middle, so this shows that the splitting isn't natural in $X$. –  t.b. Apr 18 '11 at 19:26
    
The $\Sigma$ means the suspension, denoted $S$ on wikipedia. –  t.b. Apr 18 '11 at 19:28
1  
Yes, what you say is correct. However, it becomes clearer if you write $0 \to A(X) \to B(X) \to C(X) \to 0$ and $0 \to A'(X) \to B'(X) \to C'(X) \to 0$ (the sequences depend naturally on $X$). Now they split. That is to say, $B(X) \cong A(X) \oplus C(X)$, for some isomorphism, but this isomorphism does not depend naturally on $X$. –  t.b. Apr 18 '11 at 19:53
show 1 more comment

1 Answer

It doesn't seem like anyone has said it the following way, yet, which might help clear things up:

What does it mean for an exact sequence to split? It means, among other things, that you have given a section of the last map in the sequence. Now, we have a functor from spaces to short exact sequences and we might ask whether or not we can lift this to a functor from spaces to short exact sequences together with a section (i.e. split short exact sequences.)

However, we cannot. The reason is that there are endomorphisms of spaces that induce the identity map on $H_*(X)$ but not on $H_*(X;G)$. This means, in particular, that the functor would give an endomorphism of exact sequences that is the identity on the ends but not in the middle. It is easy to check that no such endomorphism of a split exact sequence exists, and so the functor does not lift.

So perhaps a better thing to say is that the sequence does not split "functorially."

share|improve this answer
1  
Rather, one should remark that the word ‘natural’ here is being used in the same technical sense as in ‘natural transformation’ or ‘natural isomorphism’. –  Zhen Lin Mar 9 '13 at 0:32
    
@ZhenLin: Ah but to say that I would have to reformulate slightly. A natural transformation is some morphism of functors. In this case we have one morphism of functors, namely from $H_n(X;G)$ to $Tor(H_{n-1}(X), G)$. The claim is that there is no natural transformation the other way such that one of the compositions is the identity natural transformation. –  Dylan Wilson Mar 9 '13 at 0:56
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.