Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
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|cite|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
@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

Your Answer


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.