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.

206 VI Homotopy Groups<br />

to the simplicial complex D, where each ci is the barycenter of the simplex {c,bi}<br />

and each di is the barycenter of the triangle {c,bi,bi+1} (here the <strong>in</strong>dex i = 0...n is<br />

understood as modulo n). See <strong>in</strong> Fig. VI.2 such a subdivision, for n = 6. Let then<br />

b 3<br />

d 3<br />

d 4<br />

b 2<br />

b 4<br />

c 3<br />

d 2<br />

c2<br />

c 1<br />

c 4 c5<br />

b 1<br />

d 1<br />

c 0<br />

d 0<br />

b 0<br />

d5 Fig. VI.2 Barycentric subdi-<br />

b5 vision of D2 M =(Z,Θ) be the simplicial complex of the barycentric subdivision.<br />

The space obta<strong>in</strong>ed by glu<strong>in</strong>g |M| ∼ = D 2 to |K| is still X; note that, naturally, X<br />

may be viewed as the geometric realization of an abstract simplicial complex W. We<br />

now consider the 2-simplex σ = {b0,c0,d0} (<strong>in</strong>dicated <strong>in</strong> Fig. VI.2) and the pushout<br />

|W � σ|∩|σ| iW �σ ��<br />

iσ<br />

��<br />

|σ|<br />

iW �σ<br />

|W � σ|<br />

By Theorem (VI.1.13), we conclude that π(X,a0) is a pushout of the diagram<br />

π(|W � σ|∩|σ|,a0) π(iW�σ )<br />

��<br />

π(iσ)<br />

��<br />

π(|σ|,a0)<br />

and thus π(X,a0) is obta<strong>in</strong>ed from the free product<br />

together with the relations<br />

��<br />

��<br />

X<br />

π(|σ|,a0) ∗ π(|W � σ|,a0)<br />

π(iW�σ )(c)(π(iσ )(c)) −1 ,<br />

iσ<br />

π(|W � σ|,a0)

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

Saved successfully!

Ooh no, something went wrong!