How does one prove that the complete intersection of a quadric and a cubic of $\mathbb P^5$ is unirational? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T05:13:53Z http://mathoverflow.net/feeds/question/116206 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/116206/how-does-one-prove-that-the-complete-intersection-of-a-quadric-and-a-cubic-of How does one prove that the complete intersection of a quadric and a cubic of $\mathbb P^5$ is unirational? rita 2012-12-12T21:37:34Z 2012-12-13T09:14:26Z <p>The question is stated in the title, but I would like to add some motivation.</p> <p>I've been teaching a course on complex tori and abelian varieties this semester and I would like to end it by showing some significant application of abelian varieties in algebraic geometry. I've come across a very beautiful recent proof by Beauville that a certain specific sextic threefold as in the title is not rational and I have decided give an outline of it in my last lecture. Beauville refers to a paper of Enriques of 1912 for the proof of unirationality. I've got Enriques paper but I cannot make sense of it, so I'm looking either for another reference or for a sketch of proof.</p> <p>Just in case it helps, here's what I've been able to understand from Enriques' proof. Let $V_6=Q_2\cap C_3$ be the threefold, where $Q_2$ is a smooth quadric and $C_3$ a smooth cubic. Let $P\in V_6=Q_2\cap C_3$ be a point. Then $Q_2$ contains two families of planes through $P$, each parametrized by a $\mathbb P^1$. If $H$ is such a plane $H\cap C_3$ is a plane cubic $C_H$ and we can associate with $P$ the residual intersection $Q_H$ with $C_H$ of the tangent line to $C_H$ at $P$. As $H$ varies in one of the families of planes through $P$, $Q_H$ describes a rational curve $K$ in $V_6$. Of course, as $P$ varies, the curves $K$ fill up $V_6$. At this point, Enriques just claims that the curves $K$ thus defined correspond to the lines through a point in $\mathbb P^3$''.</p> http://mathoverflow.net/questions/116206/how-does-one-prove-that-the-complete-intersection-of-a-quadric-and-a-cubic-of/116222#116222 Answer by Sándor Kovács for How does one prove that the complete intersection of a quadric and a cubic of $\mathbb P^5$ is unirational? Sándor Kovács 2012-12-13T01:50:37Z 2012-12-13T08:19:15Z <p><strong>EDIT:</strong> here is a short, but non-elementary argument to prove that the threefold in question is uniruled:</p> <p>The canonical class of your complete intersection is $(-6+2+3)H=-H$ where $H$ is the hyperplane section. Therefore this is a Fano and hence uniruled by the <a href="http://www.jstor.org/stable/1971387" rel="nofollow">Miyaoka-Mori criterion</a>, which is essentially an application of Bend and Break.</p> http://mathoverflow.net/questions/116206/how-does-one-prove-that-the-complete-intersection-of-a-quadric-and-a-cubic-of/116257#116257 Answer by Francesco Polizzi for How does one prove that the complete intersection of a quadric and a cubic of $\mathbb P^5$ is unirational? Francesco Polizzi 2012-12-13T09:04:38Z 2012-12-13T09:14:26Z <p>You can look at the short paper by Conte, Marchisio end Murre <a href="http://cab.unime.it/mus/429/" rel="nofollow"><em>On the k-unirationality of the cubic complex</em></a> (2007). </p> <p>It contains a proof of the unirationality of $V_6$ over a field $k$ of any characteristic $\neq 2,3$, under the assumption that $V_6$ has a $k$-rational point $p$ and that one of the two planes through $p$ on the quadric is also rational over $k$.</p> <p>In the introduction, the authors write "we follow closely Enriques construction, our only contribution being to fully explain and justify his statements". </p>