A local-to-global principle for being a rational surface - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T22:01:39Z http://mathoverflow.net/feeds/question/10029 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/10029/a-local-to-global-principle-for-being-a-rational-surface A local-to-global principle for being a rational surface Chandan Singh Dalawat 2009-12-29T12:39:48Z 2010-08-26T10:33:18Z <p>Let $k$ be a number field and $F$ a $1$-variable function field over $k$ (a finitely generated extension of $k$, of transcendence degree $1$, in which $k$ is algebraically closed). If $F$ becomes the rational function field over every completion $k_v$ of $k$, then $F$ is the rational function field over $k$. This is a restatement of the local-to-global principle for the existence of rational points on $k$-conics.</p> <p>Now suppose that $F$ is a $2$-variable function field over $k$, and that $F$ becomes the rational functional field over every completion $k_v$ of $k$. Does it follow that $F$ is the rational function field over $k$ ? (In other words, if a $k$-surface is birational of ${\mathbb P}_2$ over every $k_v$, is it $k$-birational to ${\mathbb P}_2$ ?)</p> <p>I don't think the answer is known, but perhaps someone can put together what is known about the group of $\bar k$-automorphisms of the rational function field ${\bar k}(x,y)$ (the Cremona group) to decide one way or the other.</p> http://mathoverflow.net/questions/10029/a-local-to-global-principle-for-being-a-rational-surface/21192#21192 Answer by damiano for A local-to-global principle for being a rational surface damiano 2010-04-13T11:01:50Z 2010-04-13T11:01:50Z <p>I do not know about the local-to-global principle for testing rationality of a surface, but weakening "rational" to "unirational" it certainly fails. Indeed, del Pezzo surfaces violating the Hasse principle are examples of such a violation: I will sketch an argument below.</p> <p>Observe that </p> <ul> <li><p>a smooth del Pezzo surface of degree at least two over a local field containing a point is automatically unirational (with a uniform bound on the degree of unirationality): this is classical, see for instance Manin's book on Cubic forms, the only use of the field being local is to ensure the existence of a point not lying on any exceptional curve; </p></li> <li><p>a del Pezzo surface cannot be unirational over a field where it has no points: this is obvious (Lang-Nishimura).</p></li> </ul> <p>Therefore, any del Pezzo surface violating the Hasse principle is unirational in every completion of the base-field (since it has points everywhere locally), but cannot be unirational over the base-field (since it has no points).</p> <p>There are del Pezzo surfaces of degree four violating the Hasse principle: the following is a beautiful example of Birch--Swinnerton-Dyer of such a surface <em>S</em> in $\mathbb{P}^4$. $S \colon \,\left\{ \begin{array}{rcl} uv &amp; = &amp; x^2 - 5 y^5 \\ [5pt] (u+v)(u+2v) &amp; = &amp; x^2 - 5 z^5 . \end{array} \right.$</p> <p>Remarks. A del Pezzo surface of degree at least five cannot be a violation, since as soon as it satisfies the Hasse principle for points, it is rational. Hence, this example is "minimal" in this sense. In this case, the degree of unirationality of <em>S</em> over the completions of <em>Q</em> is at most two; I do not know if the surfaces over the various completions are in fact rational.</p> http://mathoverflow.net/questions/10029/a-local-to-global-principle-for-being-a-rational-surface/36687#36687 Answer by inkspot for A local-to-global principle for being a rational surface inkspot 2010-08-25T18:24:15Z 2010-08-26T10:33:18Z <p>It seems to me that there are irrational surfaces over $\mathbb Q$ that are $\mathbb Q_v$-rational for all $v$. (I couldn't find them in the literature, but didn't look very hard. Almost certainly they are to be found there, in papers by either Iskovskikh or Colliot-Thelene.) </p> <p>Take the affine surface $S$ given by $y^2+byz+cz^2=f(x)$, where $f$ is an irreducible cubic and $b^2-4c$ equals the discriminant $D(f)$ of $f$, up to a square in $\mathbb Q^*$, and $D(f)$ is not a square. According to Beauville-Colliot--Thelene--Sansuc--Swinnerton-Dyer $S$ is not $\mathbb Q$-rational, but is stably rational. (Irrationality is Iskovskikh I think, in fact.) Via projection to the $x$-line a projective model $V$ of $S$ is a conic bundle over $\mathbb P^1$ with $4$ singular fibers (one is at infinity). There is an embedding of $V$ into a weighted projective space $\mathbb P(2,2,1,1)$; the defining equation is $Y^2+bYZ+cZ^2=F(X,T)T$, where $F$ is the homogeneous version of $f$. By construction the Galois action on the $8$ lines that comprise the singular fibers is via the symmetric group $S_3$: the two lines in the fiber at infinity are conjugated, and the other six are permuted transitively. </p> <p>Claim: Assume that $D(f)$ is square-free and prime to $6$. Then $S$ is $\mathbb Q_v$-rational for all $v$. </p> <p>Proof: Suppose that the decomposition group $G_v$ at $v$ is cyclic. Whatever its order ($1,2$ or $3$) there are at least $2$ disjoint lines among the $8$ that are $G_v$-conjugate, so they can be blown down to give a conic bundle over $\mathbb P^1$ with at most $2$ singular fibres and a $\mathbb Q_v$-point; it is well known that such a surface is $\mathbb Q_v$-rational.</p> <p>Now suppose that $G_v= S_3$. Then $v$ is non-archimedean and $V$ has bad reduction there. In fact, exactly two of the singular fibers are equal modulo $v$; it follows that $G_v=S_3$ is impossible, and we are done.</p> <p>E.g., $f=x^3+x+1$, of discriminant $-31$, $c=8$, $b=1$.</p> <p>(This doesn't use stable rationality, but rather the fact that these surfaces, although irrational, are very close to being rational, in the sense that the action of $Gal_{\mathbb Q}$ on the lines is as small as possible subject to the surface being irrational, and the action of the decomposition groups is even smaller.)</p>