Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The title says it all.

In fact, i am only trying to prove that if $S$ is an irreducible smooth algebraic surface of degree 5 in $\mathbb{P}_{\mathbb{C}}^3$ (hence a four dimensional manifold over the reals), its first singular cohomology group $H_1(S ; \mathbb{Z})$ contains no two torsion.

I know only that by the short exact sequence of the sheaf of ideals and hodge theory that this group has no free part. But for the torsion part i have no idea.

Any help would be really appreciated, i would prefer hints over a complete answer!

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

Hint: this follows from the Lefschetz Hyperplane Theorem using the Veronese (or "d-uple") Embedding. See e.g. here for the details, if you like.

share|improve this answer
    
Awesome, thanks a lot! I did not know about that theorem (and the elegant way to apply it) before.. –  Joachim Dec 19 '12 at 21:21
1  
@Joachim: You're welcome. The Lefschetz Hyperplane Theorem is indeed a powerful and useful result in the topology of complex varieties. At some point you'll probably want to look up the "Hard Lefschetz Theorem" as well. –  Pete L. Clark Dec 19 '12 at 23:20
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.