Simplicial Structures in Topology
Simplicial Structures in Topology
Simplicial Structures in Topology
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
156 IV Cohomology<br />
If, start<strong>in</strong>g from a cocomplex (C ∗ ,∂ ∗ ),wedef<strong>in</strong>eCn := C −n and ∂n := ∂ −n ,<br />
it becomes clear that (C∗,∂) is a cha<strong>in</strong> complex and all concepts have their respective<br />
equivalents. Specifically, the cohomology of (C ∗ ,∂ ∗ ) is exactly the homology<br />
of the complex (C∗,∂ ). This gives us an <strong>in</strong>dication of how to write all results <strong>in</strong><br />
cohomological terms (and we shall do so from now on, without further comments).<br />
For every complex (C,∂) and for every Abelian group G, wemaydef<strong>in</strong>eacocomplex<br />
(C ∗ ,∂ ∗ ) where C n := Hom(Cn,G) is the homomorphism group from Cn<br />
<strong>in</strong>to G, and∂ n : C n → C n+1 is the map adjo<strong>in</strong>t to ∂n+1 : Cn+1 → Cn. This cocomplex<br />
cohomology is called cohomology of the complex (C,∂) with coefficients <strong>in</strong> G.<br />
We therefore assume that the complex (C,∂) is free and, so, both ZnC and BnC<br />
are also free; for every n, the sequence of free Abelian groups<br />
Zn(C) ��<br />
��<br />
Cn<br />
∂n ��<br />
��<br />
Bn−1(C)<br />
is short exact; hence, by Lemma (IV.1.4), the sequence<br />
Hom(Bn−1(C),G) ��<br />
��<br />
Hom(Cn,G)<br />
��<br />
��<br />
Hom(Zn(C),G)<br />
is exact. This enables us to construct the short exact complex sequence<br />
where<br />
(Hom( � B(C),G),0) ��<br />
��<br />
(Hom(C,G),∂)<br />
�B(C)={ � B(C) n<br />
} := {Bn−1(C)} .<br />
��<br />
��<br />
(Hom(Z(C),G),0)<br />
The Cohomology Long Exact Sequence Theorem, <strong>in</strong> its general form (<strong>in</strong> terms<br />
of cha<strong>in</strong> complexes), allows us to write the long exact sequence<br />
···<br />
��<br />
Hom(Zn−1(C),G)<br />
jn ��<br />
Hom(Zn(C),G)<br />
�<strong>in</strong>−1 ��<br />
Hom(Bn−1(C),G)<br />
�<strong>in</strong> ��<br />
Hom(Bn(C),G)<br />
hn ��<br />
n<br />
H (C;G)<br />
��<br />
···<br />
(where �<strong>in</strong> is the adjo<strong>in</strong>t of the <strong>in</strong>clusion <strong>in</strong> : Bn(C) → Zn(C)) that breaks down <strong>in</strong>to<br />
short exact sequences<br />
imhn<br />
��<br />
��<br />
n<br />
H (C;G)<br />
��<br />
��<br />
im �jn .<br />
S<strong>in</strong>ce we have the isomorphisms imhn ∼ = Hom(Bn−1(C),G)/kerhn and kerhn =<br />
im �<strong>in</strong>−1, wehaveimhn = coker(�<strong>in</strong>−1); besides, im �jn = ker �<strong>in</strong> and so these last short<br />
exact sequences become the short exact sequences<br />
coker(�<strong>in</strong>−1) ��<br />
��<br />
H n (C;G)<br />
��<br />
��<br />
ker �<strong>in</strong> .