1

Let S be a complex K3 surface, and PS a finite set of points in S. It is known that Hi(S,Z)Hi(SP,Z) for 0i2. Then the Euler characteristic computation implies that b3(SP)=|P|. I want to confirm that H3(SP,Z)Z|P|, that is, there is no torsion.

4
  • 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(SP,Z), so the UCT implies that H3(SP,Z)Hom(H3(SP,Z),Z), but does this help?
    – Sohrab
    Sep 8, 2013 at 12:53
  • I think it does, since Hom(T,Z) vanishes if T is torsion... Sep 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 Perutz
    Sep 8, 2013 at 14:46

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.