15.01.2013 Views

Simplicial Structures in Topology

Simplicial Structures in Topology

Simplicial Structures in Topology

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

66 II <strong>Simplicial</strong> Complexes<br />

An <strong>in</strong>f<strong>in</strong>ite sequence of Abelian groups<br />

···<br />

��<br />

Gn+1<br />

fn+1 ��<br />

Gn<br />

fn ��<br />

Gn−1<br />

is said to be exact if and only if, for every n ∈ Z,imfn+1 = ker fn.<br />

The exact sequences with only three consecutive nontrivial groups<br />

... ��<br />

0<br />

��<br />

Gn+1<br />

fn+1 ��<br />

Gn<br />

fn ��<br />

Gn−1<br />

��<br />

0<br />

��<br />

···<br />

��<br />

...<br />

are particularly important; <strong>in</strong> that case, fn+1 is <strong>in</strong>jective and fn is surjective. These<br />

sequences are called short exact sequences. The previous short exact sequence is<br />

also written up <strong>in</strong> the form<br />

Gn+1 ��<br />

fn+1 ��<br />

Gn<br />

fn ��<br />

��<br />

Gn−1.<br />

The concept of short exact sequence of groups can be easily exported to the<br />

category C of cha<strong>in</strong> complexes: a sequence of cha<strong>in</strong> complexes<br />

(C,∂) ��<br />

f<br />

��<br />

′ ′<br />

(C ,∂ )<br />

g<br />

��<br />

��<br />

′′ ′′<br />

(C ,∂ )<br />

is exact if every horizontal l<strong>in</strong>e of its representative diagram<br />

.<br />

��<br />

∂n+2<br />

.<br />

fn+1<br />

Cn+1 ��<br />

��<br />

C ′ n+1<br />

��<br />

Cn<br />

��<br />

∂n+1<br />

∂n<br />

��<br />

��<br />

��<br />

fn ��<br />

C ′ n<br />

��<br />

∂ ′ n+2<br />

∂ ′ n+1<br />

∂ ′ n<br />

fn−1<br />

Cn−1 ��<br />

��<br />

C ′ n−1<br />

��<br />

.<br />

.<br />

∂n−1<br />

��<br />

.<br />

.<br />

∂ ′ n−1<br />

gn+1 ��<br />

��<br />

gn ��<br />

��<br />

gn−1 ��<br />

��<br />

.<br />

��<br />

C ′′<br />

n+1<br />

��<br />

C ′′<br />

n<br />

��<br />

∂ ′′<br />

n+2<br />

∂ ′′<br />

n+1<br />

∂ ′′<br />

n<br />

C ′′<br />

n−1<br />

��<br />

.<br />

.<br />

∂ ′′<br />

n−1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!