15.01.2013 Views

Simplicial Structures in Topology

Simplicial Structures in Topology

Simplicial Structures in Topology

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

V.2 Closed Surfaces 183<br />

where i = 1,...,n (we note that the generators β(a) i 1 and β(b)i1 are cyclic – see the<br />

def<strong>in</strong>ition of block homology); similarly, the simplicial complex e2 is given an orientation<br />

by choos<strong>in</strong>g a generator β2. The cha<strong>in</strong> groupC1(e(nT 2 )) is the free Abelian<br />

group generated by β(a) i 1 and β(b)i 1 , i = 1,...,n; on the other hand, d2(β2) =0,<br />

s<strong>in</strong>ce the 1-blocks appear twice, and <strong>in</strong> opposite directions. Therefore,<br />

H1(nT 2 ;Z) ∼ = Z 2n<br />

(see Theorem (III.5.9)). In the case of nRP2 , we give the 1-blocks ei 1 an orientation<br />

by choos<strong>in</strong>g a generator β i 1 for each H1(ei 1 , • ei 1 ;Z), and a generator<br />

β2 ∈ H2(e2, • e2;Z) ∼ = Z .<br />

In this case, we have d2(β2)=2(∑ n i=1 β i 1 ); then, C1(e(nRP2 )) is the Abelian group<br />

generated by β 1 1 ,β2 1 ,∑ n i=1 β i 1 and s<strong>in</strong>ce 2(∑ni=1 β i 1 ) is a boundary,<br />

,...,β n−1<br />

1<br />

H1(nRP 2 ;Z) ∼ = Z n−1 × Z2 . �<br />

The connected sum enables us to jo<strong>in</strong> two surfaces, but there are other similar<br />

constructions. Let us consider the cyl<strong>in</strong>der I × S 1 and two immersions of the disk<br />

h1,h2 : D 2 → S <strong>in</strong> the surface S <strong>in</strong> such a way that D1 = h1(D 2 ) and D2 = h2(D 2 )<br />

are disjo<strong>in</strong>t. The space<br />

S ′ = S � (IntD1 ∪ IntD2) ⊔h (I × S 1 ),<br />

obta<strong>in</strong>ed by jo<strong>in</strong><strong>in</strong>g S � (IntD1 ∪ IntD2) and the cyl<strong>in</strong>der I × S 1 through the map<br />

h: {0,1}×S 1 → S � (IntD1 ∪ IntD2),<br />

def<strong>in</strong>ed by h(0,t)=h1(t) and h(1,t)=h2(t) for every t ∈ S 1 ⊂ D 2 , is still a surface.<br />

We say that S ′ is obta<strong>in</strong>ed by attach<strong>in</strong>g a handle to S. Unlike the connected<br />

sum, the attachment of a handle depends on the homotopy class of the attach<strong>in</strong>g<br />

function h. InFigs.V.13 and V.14, we see two different procedures for attach<strong>in</strong>g the<br />

Fig. V.13 Attach<strong>in</strong>g a handle<br />

(first method)<br />

handle. It can be proved (Exercise 2) that the attach<strong>in</strong>g <strong>in</strong> Fig. V.13 (first method)<br />

is equivalent to the connected sum with a torus, whereas the one <strong>in</strong> Fig. V.14

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

Saved successfully!

Ooh no, something went wrong!