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.

Suppose $k$ is a field and $A$, $B$ and $C$ are chain complexes of $k$-vector spaces, i.e., objects in $\mathbf{Ch}(k\text{-}\mathbf{Vect})$. Is there are chain complex version of the split lemma, i.e.:

If there is an inclusion chain map $i:A \to B$ and a projection chain map $p:B \to C$ and a short exact secence

$$ 0 \to A \overset{i}\to B \overset{p}\to C \to 0 $$

of chain complexes, where '$0$' means the chain complex of the zero vector space with the trivial differential. Then we can split the sequence,i.e. there are sections of chain complexes $s:C \to B$ and retracts $r:B \to A$ such that $p\circ s = id_C$, $r\circ i=id_A$ and the chain complex $B$ is naturally isomoph to $s(C)\oplus i(A)$?

==================

If the answer is 'yes' I would like to get a reference.

==================

Edit: The following example suggest that the answer is no in general:

Consider a chain complex of vector spaces $B$. Now in degree $k\in \mathbb{Z}$ we take the quotient vector space $C_k:=B_k/kern(d_{k}(B_{k}))$. Then we have the short exact sequence

$$ 0 \to kern(d_B) \to B \to C \to 0 $$

where $kern(B)$ is the complex that in degree $k$ is just $kern(d_{B,k})$.

Clearly the differential on $C_k$ is trivial. So a section $s:C \to B$ has to satisfy $0=s(0)=s(d_C(x))=d_B(s(x))$, but $s$ can't map any $x\in C$ to the zero vector because then $p\circ s \neq id_C$ in general.

share|improve this question
    
The differential on $C_k$, i.e., $d^{C_\bullet}_k \colon C_k \to C_{k-1}$, need not be trivial at all. –  Andrea Gagna Jun 3 '13 at 17:07
    
Since $Im(d_{B,k-1})\subset Kern(d_{B,k})$, it is trivial because $Kern(d_{B,k})$ is the zero vector in $C_{k}$. –  Mirco Jun 3 '13 at 17:09
1  
Wait. Are you using homological or cohomological notation? The subscript indexes are typical of homological notation. But what you have just written doesn't make sense that way. –  Andrea Gagna Jun 3 '13 at 17:16
    
$d_{B,k}: B_k \to B_{k-1}$ is a differential, i.e. a degree $-1$ map, that squares to zero. What have I written wrong here? –  Mirco Jun 3 '13 at 17:29
    
Ok there was a typo.You are right.It has to be $Im(d_{B,k+1})\subset kern(d_{B,k})$. –  Mirco Jun 3 '13 at 17:31
show 3 more comments

5 Answers 5

up vote 1 down vote accepted

Actually, I can completely understand your counter-example. The following one is the simple I can imagine.

Let $k$ be a field and $\mathbf{Ch}(k\text{-}\mathbf{Vect})$ the category of chains of $k$-vector spaces.

Consider the short exact sequence of $k\text{-}\mathbf{Vect}$ $$0 \to k \to k\oplus k \to k \to 0\qquad(\star)$$ where the morphisms, given by the universal property of, resp., product and coproduct, are, resp., $\langle \text{id}_{k}, 0\rangle_\prod\colon k \to k\oplus k$ and $\langle 0, \text{id}_k\rangle_\coprod \colon k\oplus k \to k$; (i.e., resp., $x \mapsto (x, 0)$ and $(x_1, x_2)\mapsto x_2$.

Let $A_\bullet, C_\bullet$ and $B_\bullet$ be the exact complexes which have, resp., $\text{id}_k$ as $d^{A_\bullet}_1, d^{C_\bullet}_1$ morphisms and $\text{id}_{k\oplus k}$ as $d^{B_\bullet}_1$ morphism and for which $A_i \cong B_i\cong C_i \cong 0$, for every $i \in\mathbb Z\setminus\{0, 1\}$.

$(\star)$, as morphism of degree $0$ and $1$, induces a short exact sequence of exact complexes $$0_\bullet \to A_\bullet \to B_\bullet \to C_\bullet \to 0_\bullet$$

At degree $0$ and $1$ we consider, resp., the splittings $\langle 0, \text{id}_k\rangle_\prod$ and $\langle \text{id}_k, \text{id}_k\rangle_\prod$ (i.e., $x \mapsto (0, x)$ and $x\mapsto (x, x)$),both morphisms $k \to k\oplus k$.

Obviously, $$d^{B_\bullet}_1 \circ \langle 0, \text{id}_k\rangle_\prod = \text{id}_{k\oplus k}\circ\langle 0, \text{id}_k\rangle_\prod = \langle 0, \text{id}_k\rangle_\prod \neq \langle \text{id}_k, \text{id}_k\rangle_\prod = \langle \text{id}_k, \text{id}_k\rangle_\prod \circ \text{id}_k = \langle \text{id}_k, \text{id}_k\rangle_\prod \circ d^{C_\bullet}_1$$ directly by the universal property of product. As a matter of example, we have $$1_k \mapsto (0, 1_k)$$ on one hand and $$1_k \mapsto (1_k, 1_k)$$ on the other.

share|improve this answer
    
And $A_0\simeq A_1 = k$, $B_0 \simeq B_1 = k \oplus k$ and $C_0 \simeq C_1 = k$ ? –  Mirco Jun 3 '13 at 22:08
1  
Ah! I get it. Thanks for the afford. I appreciate. So in conclusion, the splitting lemma does not hold under the requirement that the splitting maps are chain complex morphisms. –  Mirco Jun 3 '13 at 22:25
    
Nice example b.t.w. –  Mirco Jun 3 '13 at 22:26
    
You are welcome. The one by Andrea Blass is also very cool and minimal. –  Andrea Gagna Jun 3 '13 at 22:50
add comment

Consider the following specific counterexample. $A$ is the complex with the 1-dimensional space $k$ in degree 0 and zero in all other degrees (so of course the differential is 0 in all degrees). $B$ has the one-dimensional space $k$ in degree 1 and the 2-dimensional $k^2$ in degree 0; the unique non-trivial differential is given by $x\mapsto(x,0)$. The injection of $A$ in $B$ is nontrivial only in degree 0, where it sends $x\mapsto (x,0)$. This is a chain map; all the maps that are required to agree are in fact zero. Let $C$ be the cokernel of this injection. So we can take $C_0=C_1=k$ ; the projection from $B$ to $C$ is the identity in degree 1 and is $(x,y)\mapsto y$ in degree 0; the differential of $C$ is zero in all degrees.

Now suppose a chain map $s:C\to B$ were a splitting of this projection. For it to be a chain map, we need that the maps $C_1\to C_0\to B_0$ and $C_1\to B_1\to B_0$ agree. But the first of these maps is zero because $C_1\to C_0$ is. Therefore, so is the second. Since $B_1\to B_0$ is a monomorphism (namely $x\mapsto(x,0)$), we conclude that the degree 1 part $C_1\to B_1$ of $s$ is zero. That's impossible, as it has to split the isomorphism $B_1\to C_1$.

share|improve this answer
add comment

Let $(A,d_A)$ and $(B,d_B)$ be $\mathbb Z$-graded complexes of modules over a ring. A morphism (of degree $0$) $\varphi: A \rightarrow B$ of complexes of modules is a collection of module maps $\varphi_i: A_i \rightarrow B_i$, compatible with the differentials on $A$ and $B$. What you are searching for is just a componentwise version of the splitting Lemma you state above.

For example in the above notation $0\rightarrow A \rightarrow A\oplus B \rightarrow B \rightarrow 0$ is a split short exact sequence of complexes of modules, with all maps (the natural inclusion and projection) of degree $0$ and compatible with differentials.

Check the nice book: http://books.google.ch/books/about/Basic_homological_algebra.html?id=Zdk7w3Jl64oC&redir_esc=y

In http://www.amazon.com/Methods-Homological-Algebra-Sergei-Gelfand/dp/3540435832 you can find an interesting application of the above formalism when dealing with cones and cylinders.

share|improve this answer
    
Are you sure? Because the maps $s$ and $r$ have to satisfy the additional assumtions $sd_C =d_Bs$ and $rd_B=d_Ar$ –  Mirco Jun 3 '13 at 16:29
    
Please look at my example I added to the question –  Mirco Jun 3 '13 at 16:38
add comment

If you think of a complex as a functor in $Fun(\mathbb{Z},Mod_R)$ (where $R$ is a commutative ring with identity,for semplicity) then you're simply asking for calculating biproducts pointwise. In fact a section for the complex is a section pointwise, so that you have biproducts at each n-level, from which you can conclude.

share|improve this answer
    
But in light of the example I gave above (later), it seems like it is NOT possible. Maybe I'm confused ... –  Mirco Jun 3 '13 at 16:43
add comment

@Mirco: I am sorry: I think I did not fully understand your question. I just wanted to say that with complexes you have to look at properties $componentwise$. If the split exists or not, and in which sense, this is another question. The tricky part is about differentials.

Let $0\rightarrow X\stackrel{f}{\rightarrow} Y \stackrel{g}{\rightarrow } Z \rightarrow 0$ be a short exact sequence of $\mathbb Z$-graded complexes of $R$-modules ($R$ is a ring). The sequence is said to be semi-split if there exists a morphism of $\mathbb Z$-graded $R$-modules $w: Z\rightarrow Y$ s.t. $g\circ w= 1_Z$. In other words, if $w$ exists, it does not need to commute with the differentials on $Y$ and $Z$, i.e. it is no morphism of complexes of $R$-modules, in general!

If you find a split $w$ like above, then you can identify $Y$ with $X \oplus Z$ as
$\mathbb Z$-graded $R$-modules using the componentwise splitting, as in the classical theory (forget about the differentials!). The differential on $X \oplus Z$ is in fact given by any $d_{X \oplus Z}=(d_X-h,d_Z)$ s.t. $h: X\rightarrow Z[1]$ is a degree $+1$ morphism of complexes of $R$-modules (so commutes with differentials: the differential on Z[1] is given by $d_{Z[1]}:=-d_Z$).

I hope that the role of differentials is a bit more clear. If not, please me know :) Avitus

Counter example added. Let $f:A\rightarrow B$ be a morphism of complexes. Then the short exact sequence $0\rightarrow B\rightarrow C(f)\rightarrow A\rightarrow 0$ is semisplit, denoting by $C(f)$ the cone of $f$, i.e. the complex $C(f)=(A[1]\oplus B,d)$, with differential $d(a,b)=(-d_A(a),f(a)+d_B(b))$. The splittings $r: C(f)\rightarrow B$ and $s: A[1]\rightarrow C(f)$ are the "usual" ones.

$C(f)$ is isomorphic to $A[1]\oplus B$ as $\mathbb Z$-graded module but not as complex. The split $r: C(f)\rightarrow B$ is not a morphism of complexes.

share|improve this answer
    
Ok. But I'm not sure how this relates to my question. The differential $d_{X\oplus Z}$ you mentioned,is different from then original $d_Y$, so $(X\oplus Z,d_{X\oplus Z})$ is in general a different complex, not chain isomorph to $(Y,d_Y)$. Or is there any natural ismorphism,I just don't see? –  Mirco Jun 3 '13 at 20:23
    
But anyway,is the homotopy $h$ given in a natural way? –  Mirco Jun 3 '13 at 20:26
    
Remember that I'm asking for chain maps $s$ and $r$! –  Mirco Jun 3 '13 at 20:34
    
I added a counterexample in my answer: I hope it helps –  Avitus Jun 5 '13 at 20:19
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.