Existence of points on varieties which avoid a given number field. - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T15:20:15Z http://mathoverflow.net/feeds/question/99312 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/99312/existence-of-points-on-varieties-which-avoid-a-given-number-field Existence of points on varieties which avoid a given number field. David Zureick-Brown 2012-06-11T19:51:48Z 2012-06-12T07:26:12Z <p>Let C be a geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that</p> <ul> <li>$L \cap K' = K$, and</li> <li>$C(L) \neq \emptyset$?</li> </ul> <p>Note that the hypotheses on C are necessary -- the curve x^2 + y^2 = 0, with the origin removed, is not geometrically integral, but gives a counterexample for K = Q and K' = Q(i).</p> <p>Also, I can prove that this is true when C has prime gonality. It would be odd, though, for this to be a necessary hypothesis.</p> http://mathoverflow.net/questions/99312/existence-of-points-on-varieties-which-avoid-a-given-number-field/99318#99318 Answer by Lavender Honey for Existence of points on varieties which avoid a given number field. Lavender Honey 2012-06-11T22:52:30Z 2012-06-11T22:52:30Z <p>Yes, this follows from a Theorem of Moret-Bailly, see for example Corollary 1.5</p> <p><a href="http://math.stanford.edu/~conrad/vigregroup/vigre05/mb.pdf" rel="nofollow">http://math.stanford.edu/~conrad/vigregroup/vigre05/mb.pdf</a></p> <p>Roughly speaking, given a finite set $S$ of primes with $C(K_v)$ is non-empty, this produces a field $L$ with $C(L) \neq \emptyset$ and $L_v = K_v$ for all $v \in S$.</p> <p>To guarantee that $L \cap K' = K$, one may as well assume that $K'/K$ is Galois with Galois group $G$. Then for every conjugacy class $g \in G = \mathrm{Gal}(K'/K)$, let $v$ be a prime such that $\langle \mathrm{Frob}_v \rangle = \langle g \rangle \in G$ and $C(K_v) \ne \emptyset$. (The existence of such $v$ follows from Cebotarev, the Weil conjectures, and Hensel's Lemma.) If $S$ is the resulting set, then one may find $L$ with $C(L)$ non-empty and $L_v = K_v$ for all $v \in S$, and so (by Cebotarev) that $L \cap K' = K$.</p> <p>This theorem gets used all the time in "potential modularity" theorems.</p> http://mathoverflow.net/questions/99312/existence-of-points-on-varieties-which-avoid-a-given-number-field/99323#99323 Answer by Olivier Benoist for Existence of points on varieties which avoid a given number field. Olivier Benoist 2012-06-11T23:35:15Z 2012-06-12T07:26:12Z <p>I think this is a consequence of (variants of) Hilbert's irreducibility theorem. Let me explain why. Suppose that $C$ is a geometrically integral curve defined over a number field $K$. Let $K'/K$ be a normal finite extension. We will show that infinitely many points of $C$ are defined over a field disjoint from $K'$.</p> <p>Since both the hypotheses and the conclusion are birational invariants, we may suppose that $C$ is a closed subset of $\mathbb{A}_K^2$ (take an affine open of $C$, embed it in $\mathbb{A}^N$ for some $N$ and take a generic projection to $\mathbb{A}^2$). Choose a generic projection $p:C\to\mathbb{A}^1_K$. The curve $C$ is described by an equation $F(t,x)=0$, where $t$ is the coordinate of $\mathbb{A}^1_K$, and $F$ is an irreducible polynomial.</p> <p>Now, since $C$ is geometrically integral, $F_{K'}$ is still irreducible. By [Serre, Topics in Galois theory, Proposition 3.3.1], $x\mapsto F_{K'}(\lambda',x)$ is irreducible for every $\lambda'\in K'$ outside of a thin set. Hence, by [Serre, Topics in Galois theory, Proposition 3.2.1], $x\mapsto F_{K'}(\lambda,x)$ is irreducible for every $\lambda\in K$ outside of a thin set. Since $K$ is Hilbertian, this holds for infinitely many $\lambda\in K$.</p> <p>Let us fix such a $\lambda$. We denote by $q$ and $q'$, the points of $\mathbb{A}^1_K$ and $\mathbb{A}^1_{K'}$ with coordinate $\lambda$. By choice of $\lambda$, $x\mapsto F_{K'}(\lambda,x)$ hence also $x\mapsto F(\lambda,x)$ are irreducible polynomials. Hence $p_{K'}^{-1}(q')\subset C_{K'}$ (resp. $p^{-1}(q)\subset C$) consists of a unique (reduced) point $p'\in C_{K'}$ (resp. $p\in C$). Let $L$ and $L'$ be the residual fields of $p$ and $p'$. By construction, $p'=p\times_{q} q'$ so that $L'=L\otimes_K K'$. This implies that $L$ is disjoint from $K'$. </p>