Are rational varieties simply connected? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T17:30:33Z http://mathoverflow.net/feeds/question/120442 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/120442/are-rational-varieties-simply-connected Are rational varieties simply connected? Mohammad F.Tehrani 2013-01-31T18:46:52Z 2013-02-04T15:18:40Z <p>Is it true that every smooth rational variety X is simply connected? How is the proof? Would it be still true if X has mild (for example orbifold) singularities?</p> http://mathoverflow.net/questions/120442/are-rational-varieties-simply-connected/120444#120444 Answer by Vesselin Dimitrov for Are rational varieties simply connected? Vesselin Dimitrov 2013-01-31T18:56:48Z 2013-01-31T19:13:08Z <p>Yes! (I assume it was implicit in your question that the variety be <em>projective</em>?) </p> <p>More generally: any smooth, complex, rationally connected projective variety is simply connected. See Debarre's book ("Higher dimensional algebraic geometry").</p> <p>Alternatively, take a look at Debarre's Bourbaki talk ("Varietes rationnellement connexes"). The idea is that a rationally connected variety has no holomorphic forms, so by Hodge theory the structure sheaf $\mathcal{O}_X$ is acyclic, implying $\chi(X,\mathcal{O}_X) = 1$. If $f : Y \to X$ is a connected etale cover, then $Y$ is again rationally connected, so by the same argument $\chi(Y,\mathcal{O}_Y) = 1$, so $\deg{f} = 1$. So $X$ is simply connected.</p> <p>In positive characteristic the Hodge theory fails, so the argument as such doesn't stand, but you may still get the simple connectedness as a consequence of the fibration theorem of Graber-Harris-Starr-de Jong. See the mentioned Bourbaki expose.</p> http://mathoverflow.net/questions/120442/are-rational-varieties-simply-connected/120454#120454 Answer by ACL for Are rational varieties simply connected? ACL 2013-01-31T19:59:36Z 2013-02-03T20:27:55Z <p>In positive characteristic, the (étale) fundamental group of a rationally connected variety is finite (Kollár, Inventiones Math., 1993). </p> <p>And this happens: Let us assume that the base field has characteristic $p$, where $p\neq 5$ and $p\not\equiv 1\pmod 5$. Then, the hypersurface with equation $X_0^5+\dots+X_3^5=0$ in $\mathbf P^3$ is unirational; so is its quotient by the obvious action of $\mu_5$ (a surface of general type known as the Godeaux surface), which is therefore an unirational variety with fundamental group $\mathbf Z/5$.</p> <p>However, Ekedahl has proved that this group is prime to the characteristic. I discussed that in my Bourbaki Seminar talk, « <a href="http://front.math.ucdavis.edu/math.AG/0303052" rel="nofollow">Points rationnels et groupes fondamentaux, applications de la cohomologie $p$-adique</a> », <em>Astérisque</em> <strong>294</strong>, p. 125-146.</p> http://mathoverflow.net/questions/120442/are-rational-varieties-simply-connected/120467#120467 Answer by Dmitri for Are rational varieties simply connected? Dmitri 2013-01-31T21:26:50Z 2013-02-04T11:58:12Z <p>I decided to rewrite the answer so it is more clear.</p> <p>Smooth complex rational projective varieties are indeed simply-connected as is explained in the first answer to the question. My point is that from this fact it follows immediately that normal complex rational projective varieties are always simply-connected. Here is a proof.</p> <p><strong>Proof.</strong> Let $X$ be an normal complex projective variety and $X'\to X$ be a resolution of singularities. Then we have a homomorphism $\pi_1(X')\to \pi_1(X)$. I claim that is is surjective. In order to see this one just needs to know that every loop on $X$ can be lifted to $X'$ and this is true since all the fibres of $X'\to X$ are connected since $X$ is normal.</p> <p>So if $X$ is rational then $X'$ is smooth rational and $\pi_1(X)=\pi_1(X')=0$ </p> http://mathoverflow.net/questions/120442/are-rational-varieties-simply-connected/120659#120659 Answer by Laurent Moret-Bailly for Are rational varieties simply connected? Laurent Moret-Bailly 2013-02-03T09:23:18Z 2013-02-04T15:18:40Z <p>Every proper, normal, rational variety over an algebraically closed field is simply connected. Dmitri explains this via the smooth case and resolution of singularities, but this is true in any characteristic: see SGA 1, XI, Cor. 1.2.</p> <p>EDIT: As Dmitri and Vesselin observe, the "proof" in SGA1 is sketchy, to say the least. One can argue as follows: if $X$ is our variety, there is a birational morphism $U\to X$ where $U=\mathbb{P}^n\smallsetminus Z$ and $Z$ has codimension $\geq2$ in $\mathbb{P}^n$. By the purity theorem, $U$ is simply connected. So any étale covering of $X$ is generically trivial (because its pullback on $U$ is trivial), hence trivial since $X$ is normal.</p> <p>In fact, this proves that if $X$ and $Y$ (both proper and normal) are birationally equivalent, and $Y$ is regular and simply connected, then $X$ is simply connected. But this does not answer Vesselin's final question.</p>