Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $H$ be a smooth projective hypersurface in $\mathbb{P}^n(\mathbb{C})$ where $n\geq 3$. Then by the Lefschetz hyperplane theorem we have that $H^1(H,\mathbb{C})= H^1(\mathbb{P}^n(\mathbb{C}),\mathbb{C})=0$. It thus follows that $\pi_1(H)^{ab}$ is a finite abelian group.

Q.1 Do we have an example of an $H$ such that $\pi_1(H)$ is infinite?

Q.2 Is it possible to compute explicitly $\pi_1(H)$ (or more modestly $\pi_1(H)^{ab})$ in term of the defining equation of $H$ ?

share|improve this question

2 Answers 2

up vote 14 down vote accepted

Non-singular projective hypersurfaces are simply connected. By the Lefschetz theorem $\pi_k(X)\to\pi_k(\mathbf{P}^n(\mathbf{C}))$ is an isomorphism for $k\leq n-2$ where $X$ is a nonsingular complex hypersurface: as shown e.g. in Griffiths-Harris (chapter 1, second proof of the Lefschetz hyperplane theorem) if $M$ is a smooth complex manifold and $V$ is the zero locus of a section of a positive line bundle, then (assuming $V$ smooth) there is a smooth function on $M$ with $V$ as the zero locus and all critical points outside $V$ non-degenerate and of index $\geq \dim_{\mathbf{C}}M$; so $M$ is homotopy equivalent to $V$ with cells of dimension $\geq \dim_{\mathbf{C}}M$ glued to it.

share|improve this answer
    
Thanks algori, this is a key result to know. –  Hugo Chapdelaine Jan 6 '11 at 15:01

Let me supplement Algori's answer a bit. The statement for fundamental groups goes back to Zariski, I believe. Standard Morse theory proofs yield this and more ( Milnor's book gives a nice account). Over any field, there are similar results using the etale fundamental group. See for example SGA2, exp XII, cor. 3.5.

share|improve this answer

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.