8
$\begingroup$

Given a finite abelian extension of number fields $L/K$, the prime ideals $\mathfrak{p}$ in $O_K$ split into primes $\mathfrak{P}$ in $O_L$. The number of primes $\mathfrak{p}$ splits into is necessarily a divisor $d$ of $[L:K]$. One can ask:

Question (1): Which primes in $O_K$ split completely in $O_L$?

Question (2): Given a divisor $d$ of $[L :K]$, which primes $\mathfrak{p}$ split into $d$ primes in $O_L$?

For $K = \mathbb{Q}$ and $L$ a cyclotomic extension of $\mathbb{Q}$, Question (2) seems genuinely more difficult than Question (1). A friend pointed this out to me in response to some notes that I put together titled A Prelude to the Study of Reciprocity Laws.

Let $p$ be a prime and let $$\Phi_{p}(x) = x^{p-1} + x^{p-2} + \ldots + x^2 + x + 1.$$

As I discuss in the notes, a prime $\ell$ divides a number of the form $\Phi_{p}(n)$ if and only if $\ell = p$ or $\ell \equiv 1 \pmod p$. In Section 7 of the notes, I show how this follows immediately from the basic theorems of modular arithmetic.

Let $\zeta_p$ be a root of the polynomial $\Phi_{p}(x)$. Then a prime $\ell \in \mathbb{Z}$, $\ell \neq p$ divides a number of the form $\Phi_{p}(n)$ if and only if $\ell$ splits completely in $\mathbb{Z}[\zeta_p]$. So the above theorem answers Question (1) in this case where $K = \mathbb{Q}$ and $L = \mathbb{Q}(\zeta_p)$ .

In my notes I (apparently) erroneously remark that the answer to Question (1) in this case implies quadratic reciprocity. In fact, quadratic reciprocity follows the answer to Question (2). I knew this, but thought that the answer to Question (2) follows formally from the answer to Question (1). My friend questioned whether this is true, and after spending a few hours on it, I realized that I can't see a way to use the answer to Question (1) to derive the answer to Question (2).

Is there a way to do this?

The proofs of the theorems of class field theory proceed by answering Question (2) directly, which is consistent with the above paragraph, but I always thought that the reason for this was that the only way to answer Question (1) in general was to answer Question (2). For this reason, I saw the questions as being of comparable difficulty. So I was surprised to see a case in which this doesn't seem to be true.

Aside from cyclotomic extensions of $\mathbb{Q}$, are there finite extensions of number fields $L/K$ for which it's easier to answer Question (1) than Question (2)?

A few potentially relevant thoughts:

  1. The imaginary quadratic case is similar to the cyclotomic case in the sense that one has an explicit construction of the number fields in question via complex multiplication, so it's natural to try to answer the latter question by looking at, e.g., the polynomials over $\mathbb{Z}[i]$ that generate the ray class fields of $\mathbb{Q}(i)$ and try to see if the prime divisors of their values at the Gaussian integers can be determined in a direct way analogous to as in the cyclotomic case.

  2. In the case where $[L : K]$ is a prime, Questions (1) and (2) are the same, because a prime splits completely if and only if it splits at all.

  3. The set of primes that splits completely in a number field uniquely determines the number field and so in principle determines the splitting behavior of the other primes.

$\endgroup$
10
  • 1
    $\begingroup$ Your second sentence is not true, unless $L/K$ is Galois. $\endgroup$ Dec 27, 2012 at 2:45
  • 1
    $\begingroup$ I'll be surprised if your questions can be answered in our lifetime. $\endgroup$ Dec 27, 2012 at 3:51
  • 1
    $\begingroup$ The only conjectural answer is the Langlands programme. $\endgroup$ Dec 27, 2012 at 4:53
  • 3
    $\begingroup$ The adjective abelian was not mentioned in the earlier version of your question. The answer for abelian extensions (of global fields) is contained in class field theory. $\endgroup$ Dec 27, 2012 at 5:41
  • 1
    $\begingroup$ Dear Jonah, Here are two forms of Artin reciprocity: (1) the usual form, where the kernel of the Artin map is described; this answers your 2nd question; (2) a weaker form, where we only describe the primes that split; this answers your 1st question. As you observe, in principal (2) should imply (1), since knowing the split primes determines the extensions, but it's not so easy to see how to relate the two. The answers here: mathoverflow.net/questions/11688 might be relevant. Regards, Matthew $\endgroup$
    – Emerton
    Dec 27, 2012 at 13:38

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.