Normal Varieties - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T02:54:11Z http://mathoverflow.net/feeds/question/37061 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/37061/normal-varieties Normal Varieties Robert Garbary 2010-08-29T15:25:49Z 2010-09-01T20:51:58Z <p>Let X be a complex normal variety and U a subvariety that is open in the analytic topology. Then the map $\pi_1(U) \to \pi_1(X)$ coming from the map $U \subset V$ is surjective - why is this?</p> <p>edited to include complex</p> http://mathoverflow.net/questions/37061/normal-varieties/37062#37062 Answer by Keerthi Madapusi Pera for Normal Varieties Keerthi Madapusi Pera 2010-08-29T15:49:41Z 2010-08-29T15:49:41Z <p>This isn't strictly what you're looking for, but I don't have the rep to leave this as a comment. In the algebraic situation, this follows from Grothendieck's general yoga, which says that the map of (etale) fundamental groups induced by $U\to X$ is surjective precisely when every connected (etale) cover of $X$ is still connected when pulled back to $U$. When $X$ is normal (or more generally, geometrically unibranch, if I'm not mistaken), then one checks easily that every connected etale cover of $X$ is still connected over the generic point of $X$ (I'm assuming $X$ itself is connected).</p> <p>I'm looking forward to Donu Arapura's geometric answer!</p> http://mathoverflow.net/questions/37061/normal-varieties/37422#37422 Answer by Dmitri for Normal Varieties Dmitri 2010-09-01T20:51:58Z 2010-09-01T20:51:58Z <p>I would like to risk an answer that does not use the language of algebraic geometry. For a pair (complex analytic variety $X$; closed anlalitic subvariety $Y$), $U=X\setminus Y$,<br> there exists a triangulation such that $Y$ is a subcomplex (see, for example Triangulations of algebraic sets - Hironaka 1974, can be found with google books). In other words $X$ is a simplicial complex, and $Y$ is a subcomplex. Now, if $X$ is normal its sinuglarities are in real codimension at least $4$. I.e. $X$ is a $PL$ manifold in codimension $4$. </p> <p>In order to show that the fundamental group of $X\setminus Y$ surjects onto the fundamental group of $X$, it is sufficient to show that every loop in $X$ can be homothoped into $X\setminus Y$. Since $Y$ it is contained in the simplicial subcomplex of codimesnion $2$ it is enougth to show that any loop in $X$ can be homothoped so it does not touch any simplex of codim $2$, but this is true for every $PL$ space that is a manifold in codim $2$. </p>