17
$\begingroup$

When is an acyclic chain complex contractible?

I know an acyclic chain complex of free modules over a PID (or field) are always contractible, but what about over a more complicated ring, like a graded algebra over Z/p (for instance the mod p Steenrod Algebra)?

EDIT: I want to assume the chain complex is bounded below, but not necessarily that the ring is commutative. I suspect that it isn't always true for a non-commutative ring, but I don't really have a counter example.

Thanks everybody!

$\endgroup$
5
  • 1
    $\begingroup$ Doesn't this fact about a free and acyclic chain complex being contractible hold over a general commutative ring? I mean, it's mentioned in Spanier (Theorem 5 in section 3 of chapter 4) and I can't see anywhere in there that he's assumed he's working over a PID or a field. Here's a link: books.google.com/… $\endgroup$ Jul 25, 2012 at 2:14
  • $\begingroup$ Also worth noting that of course without the hypothesis of freeness this fails badly. For example, the complex $\dots 0 \rightarrow \mathbb{Z} \stackrel{x2}{\rightarrow} \mathbb{Z} \rightarrow \mathbb{Z}/2 \rightarrow 0\dots$ is acyclic because it's exact, but is not contractible because if it were then there would be a right-inverse to the "mod 2" map, i.e. a nonzero $\mathbb{Z}/2 \rightarrow \mathbb{Z}$. $\endgroup$ Jul 25, 2012 at 2:16
  • 5
    $\begingroup$ David, it's true if the complex is bounded below, but not in general. A simple example is when the ring is $Z/4Z$, every module is free of rank one, and every boundary map is multiplication by $2$. $\endgroup$ Jul 25, 2012 at 2:24
  • 1
    $\begingroup$ @David: Oh, cool. In my homological algebra class we just proved it for PIDs I think, but that's helpful. On the other hand, I'm afraid I care about a non-commutative ring. But thanks though. @Tom: Good point; I'll make an edit about the bounded condition and the fact that I care about noncommutative cases. $\endgroup$ Jul 25, 2012 at 2:39
  • $\begingroup$ @David: Spanier takes as base ring the integers: See Chap. 4, sect. 1: "Thus a chain complex $C$ consists of a sequence of abelian groups". In the proof of the quoted theorem 5, he uses that a submodule of a free modules is again free ("Because $C_{q-1}$ is free, so is $Z_{q-1}(C)$". This holds for PID but not for general comm. rings. $\endgroup$
    – Ralph
    Jul 25, 2012 at 5:58

1 Answer 1

20
$\begingroup$

There is a useful characterization in Brown: Cohomology of Groups, Prop. 0.3:

A chain complex $C$ over any ring is contractible iff it is acyclic and each short exact sequence $0 \to \ker(d_n) \to C_n \to \operatorname{im}(d_n) \to 0$ splits.

This immediately explains the OP's PID example: If $C$ is a complex of free modules over a PID, then $\operatorname{im}(d_n) \le C_{n-1}$ is also free and thus the sequence splits.

This observation can be axiomized as follows: A ring (with unit) is called hereditary, if each submodule of a projective module is again projective. As a corollary:

Each acyclic chain complex of projective modules over a hereditary ring is contractible.

An example of an non-commutative hereditary ring is given by the upper-triangular matrices over a field.

BTW: Tom's remark also follows easily from the criterion: Let all $C_n$ be free and $C_n=0$ for $n < 0$. Since $C_0$ is free, the short exact sequence $0 \to \ker(d_1) \to C_1 \to C_0 \to 0$ splits. Hence $\ker(d_1)=\operatorname{im}(d_2)$ is a direct summand of a free module and therefore projective. By induction then all of the short exact sequences split.

$\endgroup$
1
  • $\begingroup$ I couldn't have hoped for a simpler answer. Thank you. $\endgroup$ Jul 25, 2012 at 8:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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