On the fundamental group of hypersurfaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T15:44:09Z http://mathoverflow.net/feeds/question/51301 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/51301/on-the-fundamental-group-of-hypersurfaces On the fundamental group of hypersurfaces Hugo Chapdelaine 2011-01-06T12:43:27Z 2011-01-06T14:05:30Z <p>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.</p> <p>Q.1 Do we have an example of an $H$ such that $\pi_1(H)$ is infinite?</p> <p>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$ ?</p> http://mathoverflow.net/questions/51301/on-the-fundamental-group-of-hypersurfaces/51305#51305 Answer by algori for On the fundamental group of hypersurfaces algori 2011-01-06T13:05:17Z 2011-01-06T14:05:30Z <p>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.</p> http://mathoverflow.net/questions/51301/on-the-fundamental-group-of-hypersurfaces/51310#51310 Answer by Donu Arapura for On the fundamental group of hypersurfaces Donu Arapura 2011-01-06T13:45:06Z 2011-01-06T13:45:06Z <p>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.</p>