Let $S$ be a complex K3 surface, and $P\subset S$ a finite set of points in $S$. It is known that $$ H^i(S,\mathbb{Z})\cong H^i(S\setminus P,\mathbb{Z}) $$ for $0\le i \le 2$. Then the Euler characteristic computation implies that $b_3(S\setminus P)=P$. I want to confirm that $$ H^3(S\setminus P,\mathbb{Z}) \cong \mathbb{Z}^{P}, $$ that is, there is no torsion.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
