Chebotarëv data over number fields - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T06:31:14Z http://mathoverflow.net/feeds/question/53217 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53217/chebotarev-data-over-number-fields Chebotarëv data over number fields Chandan Singh Dalawat 2011-01-25T10:53:14Z 2011-02-22T04:20:16Z <p>Define a <em>Chebotarëv datum</em> over a number field $K$ to be a finite group $G$ together with a map $\mathfrak{p}\mapsto\gamma_{\mathfrak{p}}$ from a cofinite set of primes of $K$ into the set of conjugacy classes of $G$ such that for every conjugacy class $c\subset G$, the proportion of $\mathfrak{p}$ with $\gamma_{\mathfrak{p}}=c$ is $\operatorname{Card}c/\operatorname{Card}G$. </p> <p>Two Chebotarëv data $(G,\gamma)$, $(G',\gamma')$ over the same number field are said to be <em>equivalent</em> if there is an isomorphism $\varphi:G\to G'$ such that $\varphi(\gamma_{\mathfrak{p}})=\gamma'_{\mathfrak{p}}$ for almost all $\mathfrak{p}$. If so, we identify the two.</p> <p>Every finite galoisian extension $L$ of $K$ gives rise to a Chebotarëv datum $(\operatorname{Gal}(L|K),\gamma_{L|K})$ (<em>Chebotarëv's density theorem</em>).</p> <p>Moreover, if $L_1$ and $L_2$ are two finite galoisian extensions of $K$ for which the associated Chebotarëv data $(\operatorname{Gal}(L_i|K),\gamma_{L_i|K})$ are equivalent, then $L_1=L_2$ (see Lemma 1, p. 174, of <a href="http://www.ams.org/journals/bull/2011-48-02/S0273-0979-2011-01326-X/S0273-0979-2011-01326-X.pdf" rel="nofollow">Mazur's recent article</a>).</p> <p><strong>Question.</strong> Does every Chebotarëv datum over a given number field $K$ arise from some finite galoisian extension $L$ of $K$ ?</p> http://mathoverflow.net/questions/53217/chebotarev-data-over-number-fields/53227#53227 Answer by David Loeffler for Chebotarëv data over number fields David Loeffler 2011-01-25T12:02:22Z 2011-01-25T12:02:22Z <p>I think this is false for cardinality reasons. Take some exceedingly thin, but infinite, set of primes P. Then you can take any valid Chebotarev datum and change it arbitrarily at each prime in P, and it still remains a valid datum, since P is too thin to change the densities. If the group has at least two conjugacy classes, then there'll be uncountably many ways of changing it like this. Since the set of number fields is clearly countable, that's a contradiction.</p> http://mathoverflow.net/questions/53217/chebotarev-data-over-number-fields/53466#53466 Answer by François Brunault for Chebotarëv data over number fields François Brunault 2011-01-27T08:44:15Z 2011-01-27T08:44:15Z <p>In addition to David's answer, one can provide explicit counterexamples, at least in specific cases.</p> <p>For simplicity, take $K=\mathbf{Q}$ and $G={\pm 1}$. Define the Chebotarëv datum $\gamma$ by $\gamma(p) = -1$ if $p \equiv 1 \pmod{4}$ and $\gamma(p)=1$ if $p \equiv 3 \pmod{4}$. If $\gamma$ comes from a quadratic field $L$ of discriminant $D$, then there exists a quadratic character $\chi : (\mathbf{Z}/D\mathbf{Z})^* \to {\pm 1}$ such that $\gamma(p) = \chi(p)$ for almost all primes $p$. We now have a contradiction by looking at primes $p \equiv 1 \pmod{4D}$ (there are infinitely many such primes).</p> <p>In fact, by Dirichlet's theorem on primes in arithmetic progressions, the Chebotarëv datum $\gamma$ cannot be modified on a subset of natural density zero in order to come from a quadratic field.</p>