Let S be a complex K3 surface, and P⊂S a finite set of points in S. It is known that Hi(S,Z)≅Hi(S∖P,Z) for 0≤i≤2. Then the Euler characteristic computation implies that b3(S∖P)=|P|. I want to confirm that H3(S∖P,Z)≅Z|P|, that is, there is no torsion.
-
What do you get from the Universal Coefficient Theorem?– S. Carnahan ♦Sep 8, 2013 at 12:41
-
I don't think P yields any torsion in H2(S∖P,Z), so the UCT implies that H3(S∖P,Z)≅Hom(H3(S∖P,Z),Z), but does this help?– SohrabSep 8, 2013 at 12:53
-
I think it does, since Hom(T,Z) vanishes if T is torsion...– Dan PetersenSep 8, 2013 at 14:22
-
Sohrab, I think your Euler characteristic is off by one. Using Poincaré-Lefschetz duality will help give you a clean answer.– Tim PerutzSep 8, 2013 at 14:46
Add a comment
|