4
$\begingroup$

Let $\Sigma$ be the set of all places of $\mathbf{Q}$. We’ll call, for any $v\in\Sigma$, a local field complete with respect to an absolute value lying over $v$ and of finite degree over $\mathbf{Q}_v$, a “$v$-adic field”, even when $v$ is archimedean.

Let $(K_v)_{v\in\Sigma}$ be a collection of $v$-adic fields such that:

  • $K_v/\mathbf{Q}_v$ is unramified for almost all $v$
  • the degree $(K_v : \mathbf{Q}_v)$ is uniformly bounded
  • add more as needed

It’s necessary to add more conditions. Do there exist conditions such that the answer to this question is “yes”?

Does there exist a number field $K/\mathbf{Q}$ such that each $K_v$ is the completion of $K$ at some place lying over $v$?

$\endgroup$
9
  • 4
    $\begingroup$ There are uncountably many such collections, but there are only countably many number fields. $\endgroup$
    – Aurel
    Commented Sep 22, 2018 at 20:46
  • 2
    $\begingroup$ No. Suppose $\Omega$ is all but one nonarchimedean place of $\mathbf Q$. If there were such a $K$ then all but one prime splits completely in $K$, so the density you ask about is 1 and that implies $K = \mathbf Q$: the density of primes that split completely in $K$ is $1/[\widetilde{K}:\mathbf Q]$ where $\widetilde{K}$ is the Galois closure of $K$ over $\mathbf Q$. $\endgroup$
    – KConrad
    Commented Sep 22, 2018 at 20:48
  • 2
    $\begingroup$ Are you asking these questions on MO recently for a specific reason, or out of idle curiosity? For a description of some known results about realizing a finite set of local fields as completions of a single number field, take a look at math.stanford.edu/~conrad/248APage/handouts/localglobal.pdf. $\endgroup$
    – KConrad
    Commented Sep 22, 2018 at 20:52
  • 9
    $\begingroup$ While there are some similarities with the author of the handout, that's not me. $\endgroup$
    – KConrad
    Commented Sep 22, 2018 at 21:59
  • 1
    $\begingroup$ @Aurel If $K$ is not Galois over $\mathbb{Q}$, then different primes of $K$ over the same prime of $\mathbb{Q}$ can have non-isomorphic completions, so $K$ can correspond to uncountably many sequences $(K_v)$. $\endgroup$ Commented Sep 22, 2018 at 22:51

1 Answer 1

3
$\begingroup$

Here is an explicit example where the answer is no. Start from the collection $K_p = \mathbf{Q}_p$ for every prime $p$. It obviously comes from the number field $\mathbf{Q}$. Now do the following strange thing: choose a non-empty set of primes $S$ of density 0, and replace $\mathbf{Q}_p$ by the unramified quadratic extension $\mathbf{Q}_{p^2}$ for each $p \in S$. If this new collection were to come from a number field $K$, then the set $\mathcal{P}$ of primes $p$ lying above some prime ideal $\mathfrak{p}$ in $K$ with inertia degree $f(\mathfrak{p}/p)=1$, would have density 1. Let $L$ be the Galois closure of $K$ and let $G=\mathrm{Gal}(L/\mathbf{Q})$ with its subgroup $H=\mathrm{Gal}(L/K)$. A prime $p$ which is unramified in $L$ belongs to $\mathcal{P}$ if and only if the conjugacy class of $\mathrm{Frob}_p$ in $G$ meets $H$. This means exactly that the action of $\mathrm{Frob}_p$ on $G/H$ has at least one fixed point. But a group acting transitively on a finite set of size $>1$ always contains an element which has no fixed point (a result due to Jordan I think, in any case it follows from the orbit-counting theorem). So if $n=[K:\mathbf{Q}]>1$ then the Cebotarev theorem for $L/\mathbf{Q}$ implies that $\mathcal{P}$ has density $<1$, a contradiction.

This example might look artificial, but the point is that (as noted in the comments) the Cebotarev theorem provides strong information about the distribution of splitting types of primes, at least in the case of Galois extensions of $\mathbf{Q}$ (it may be natural to consider this case first). But even having the correct densities is far from sufficient. As an example (taken from Serre's Lectures on $N_X(p)$, 3.4.4), take an elliptic curve $E$ over $\mathbf{Q}$ without complex multiplication and consider the condition $(A) : a_p(E)>0$ for primes $p$. It is expected that $(A)$ is independent of any condition of Cebotarev-type for number fields, and since the Sato-Tate conjecture is known for $E$, it should be possible to prove that a family of local fields modeled on condition $(A)$ cannot come from a number field. Actually, the condition $(A)$ is also natural in the sense that it is related to an automorphic form, but this is an automorphic form on $\mathrm{GL}_2$ and not $\mathrm{GL}_1$. And I guess there should be densities which are not naturally related to any automorphic form, since the set of automorphic forms is countable.

$\endgroup$

You must log in to answer this question.