Skip to main content

Notes on class field theory

Section 7.2 Cohomology of the idèles II: the “Second Inequality”

Reference.

[36] VII.5; [37] VI.4. See also this blog post by Akhil Mathew
 1 
amathew.wordpress.com/2010/06/05/the-algebraic-proof-of-the-second-inequality-i/
.
In Section 7.1, we proved that for \(L/K\) a cyclic extension of number fields, the Herbrand quotient \(h(C_L)\) of the idèle class group of \(L\) is equal to \([L:K]\) (Theorem 7.1.1) and deduced that \(\#H^0_T(\Gal(L/K), C_L) \geq [L:K]\) (the “First Inequality”; Theorem 7.1.2). This time we’ll prove the reverse inequality, and even a somewhat stronger statement (see Theorem 7.2.10 below).
For this step, we have no local analogue to draw upon: the corresponding assertion in local class field theory is covered by Theorem 90 (Lemma 1.2.3). Unfortunately, there seems to be no direct approach to computing either \(H^{-1}_T(\Gal(L/K), C_L)\) or \(H^1(\Gal(L/K), C_L)\text{,}\) so some alternate strategy is needed.
We take an analytic approach motivated by the proof of Dirichlet’s theorem on primes in arithmetic progressions; see Lemma 7.2.7. There is also an algebraic approach, but we prefer to postpone discussing it until we are ready to tackle the existence theorem, as these two topics share similar ideas; see Theorem 7.4.14.

Subsection Back to ideals

For the analytic proof, we need to recast the Second Inequality back into classical, ideal-theoretic language. In this argument, there is no need to assume that \(L/K\) is cyclic.

Definition 7.2.1.

Let \(L/K\) be a finite Galois extension and \(\gothm\) a formal product of places of \(K\text{.}\) As in Definition 2.2.3, let \(J^{\gothm}_K\) be the group of fractional ideals of \(K\) coprime to \(\gothm\text{;}\) similarly, let \(J^{\gothm}_L\) be the group of fractional ideals of \(L\) coprime to \(\gothm\text{.}\)
Let \(I^{\gothm}_K\) be the subset of \(\alpha \in I_K\) such that:
  1. for each finite prime \(\gothp\) of \(K\text{,}\) \(\alpha_v \equiv 1 \pmod{\gothp^e}\) where \(e\) is the exponent of \(\gothp\) in \(\gothm\text{;}\)
  2. for each real place \(v\) in \(\gothm\text{,}\) \(\alpha_v > 0\text{.}\)
Define \(I^{\gothm}_L\) similarly.
Let \(P^{\gothm}_K\) be the subgroup of \(J^{\gothm}_K\) consisting of principal ideals admitting a generator \(\alpha \in K^* \cap I^{\gothm}_L\text{;}\) define \(P^{\gothm}_L\) similarly. In this notation,
\begin{equation*} \Cl^{\gothm}(K) = J^{\gothm}_K/P^{\gothm}_K, \qquad \Cl^{\gothm}(L) = J^{\gothm}_L / P^{\gothm}_L. \end{equation*}
The homomorphism \(I_K \to J_K\) from Definition 6.2.5 restricts to a homomorphism \(I_K^{\gothm} \to J_K^{\gothm}\text{,}\) which in turn induces a surjective homomorphism \(I_K^{\gothm}/(K^* \cap I_K^{\gothm}) \to \Cl^{\gothm}(K)\text{.}\) On the other hand, as indicated in Remark 6.2.6, we have \(K^* I_K^{\gothm} = I_K\) and hence \(I_K^{\gothm}/(K^* \cap I_K^{\gothm}) \cong C_K\text{,}\) yielding a surjection \(C_K \to \Cl^{\gothm}(K)\text{.}\)

Proof.

The map in question is surjective because \(I_K^{\gothm} \to J_K^{\gothm}\) is; we thus need to check injectivity for suitable \(\gothm\text{.}\) Let \(S\) be the set of finite places of \(K\) which ramify in \(L\text{.}\) For each \(v \in S\text{,}\) apply local class field theory (see Theorem 4.1.5) to see that for \(w\) a place of \(L\) above \(v\text{,}\) the image of \(\Norm_{L_w/K_v} L_w^*\) is an open subgroup \(U_v\) of \(K_v^*\) of finite index. We may then choose \(\gothm\) to include every real place and each place in \(S\text{,}\) and to ensure that for each \(v \in S\text{,}\) \((I_K^{\gothm})_v \subseteq U_v\text{.}\)
We now prove the claim for such a choice of \(\gothm\text{.}\) Given an element of \(I_K^{\gothm}\) whose image in \(J^{\gothm}_K\) belongs to \(P^{\gothm}_{K} \Norm_{L/K} J^{\gothm}_L\text{,}\) we can factor it as an element of \(K^* \cap I_K^{\gothm}\) times an element of \(\Norm_{L/K} I_L^{\gothm}\) times an element \(\alpha \in I_K^{\gothm}\) such that for each finite place \(v\text{,}\) \(\alpha_v \in \gotho_{K_v}^*\text{.}\) We see that \(\alpha \in \Norm_{L/K} I_L^{\gothm}\) by looking separately at real places (which are okay because these places appear in \(\gothm\)), complex places (which are okay for trivial reasons), finite places in \(S\) (which are okay by our choice of \(\gothm\)), and finite places not in \(S\) (which are okay because these places are unramified in \(L\)).
With Lemma 7.2.2 in hand, we can reduce the Second Inequality to proving that
\begin{equation*} [J^{\gothm}_K : P^{\gothm}_{K} \Norm_{L/K} J^{\gothm}_L] \leq [L:K]. \end{equation*}

Subsection A special case of Chebotaryov density

We will need a special case of the Chebotaryov density theorem, which fortunately we can prove without already having all of class field theory. We use the notion of Dirichlet density for sets of prime ideals in a number field; see Definition 2.4.8 and the remainder of the discussion in Section 2.4.

Proof.

A prime of \(K\) splits completely in \(L\) if and only if it splits completely in \(M\text{,}\) so we may assume \(L=M\) is Galois. Recall that the set \(T\) of unramfied primes \(\gothq\) of \(L\) of absolute degree 1 has Dirichlet density 1 (see Exercise 1 and Exercise 2); each such prime lies over an unramified prime \(\gothp\) of \(K\) of absolute degree 1 which splits completely in \(L\text{.}\)
The set \(T\) having Dirichlet density 1 means that
\begin{equation*} \sum_{\gothq \in T} \frac{1}{\Norm(\gothq)^s} \sim \frac{1}{s-1} \qquad s \searrow 1 \end{equation*}
(\(s\) approaching 1 from above, that is). If we group the primes in \(T\) by which prime of \(S\) they lie over, then we get
\begin{equation*} [L:K] \sum_{\gothp \in T} \frac{1}{\Norm(\gothp)^s} \sim \frac{1}{s-1}. \end{equation*}
That is, the Dirichlet density of \(S\) is \(1/[L:K]\text{.}\)

Example 7.2.4.

For \(L/\QQ\) a quadratic extension, Proposition 7.2.3 states that the set of prime ideals of \(\QQ\) that split completely in \(L\) has Dirichlet density \(1/2\text{.}\) As this splitting is governed by a congruence condition thanks to quadratic reciprocity, this assertion also follows from Dirichlet’s theorem on primes in arithmetic progressions.
This gives the following result about splitting of primes, which may be of independent interest.

Proof.

For \(\chi: J^{\gothm}_K/P^{\gothm}_K \to \CC^*\) a character, we defined in Definition 2.4.4 the \(L\)-function
\begin{equation*} L(s, \chi) = \prod_{\gothp \not| \gothm} \frac{1}{1 - \chi(\gothp) \Norm(\gothp)^{-s}}\text{.} \end{equation*}
\begin{equation*} \log L(s, 1) \sim \log \zeta_K(s) \sim \log \frac{1}{s-1} \qquad s \searrow 1, \end{equation*}
while if \(\chi\) is not the trivial character, by Theorem 2.4.5, \(L(s, \chi)\) is holomorphic at \(s=1\text{.}\) If \(L(s, \chi) = (s-1)^{m(\chi)} g(s)\) where \(g\) is holomorphic and nonvanishing at \(s=1\text{,}\) then \(m(\chi) \geq 0\text{,}\) and
\begin{equation*} \log L(s, \chi) \sim m(\chi) \log(s-1) = - m(\chi) \log \frac{1}{s-1}. \end{equation*}
By discrete Fourier analysis (or equivalently orthogonality of characters),
\begin{equation*} \sum_{\chi: J^{\gothm}_{K}/H \to \CC^*} \log L(s, \chi) \sim [J^{\gothm}_K:H] \sum_{\gothp \in H} \frac{1}{\Norm(\gothp)^{-s}}. \end{equation*}
We conclude that the set of primes in \(H\) has Dirichlet density
\begin{equation*} \frac{1 - \sum_{\chi \neq 1} m(\chi)}{[J^{\gothm}_K:H]}; \end{equation*}
this is \(1/[J^{\gothm}_{K}:H]\) if the \(m(\chi)\) are all zero and 0 otherwise.

Remark 7.2.6.

Using Theorem 2.4.7 one can see that in the proof of Lemma 7.2.5, we must have \(m(\chi) = 0\) for all \(\chi \neq 1\text{;}\) consequently, the set of primes in \(H\) cannot in fact have density 0. However, we will not need this refinement for the proof of the Second Inequality.
From the proof of Lemma 7.2.5, we see incidentally that at most one of the \(m(\chi)\) can be nonzero, in which case it equals \(1\text{.}\) This already implies that \(m(\chi) = 0\) when \(\chi\) is of order greater than 2, as in this case \(\chi\) is distinct from its complex conjugate \(\overline{\chi}\) but \(m(\chi) = m(\overline{\chi})\text{.}\)

Subsection The Second Inequality

We are now ready to prove the Second Inequality.

Proof.

Define the group \(H = P^{\gothm}_K \Norm_{L/K} J^{\gothm}_L \subseteq J^{\gothm}_K\text{.}\) The group \(H\) includes every prime of \(K\) that splits completely, since such a prime is the norm of any prime of \(L\) lying over it. Thus on one hand, by Proposition 7.2.3 the set of primes in \(H\) has Dirichlet density at least \(1/[L:K]\text{.}\) On the other hand, by Lemma 7.2.5 the same set has density either zero or \(1/[J^{\gothm}_K:H]\text{.}\) We conclude that \([J^{\gothm}_K:H] \leq [L:K]\text{,}\) as desired.

Proof.

Remark 7.2.9.

We do not consider Corollary 7.2.8 to be a component of the Second Inequality because it is not needed in order to verify the class field axiom (and we will not reproduce it in the algebraic approach). In fact, once we complete the proofs of the reciprocity law (Theorem 6.4.1) and the norm limitation theorem (Theorem 6.4.3), Corollary 7.2.8 will also follow from those two statements together.
On the other hand, if one wants to avoid abstract class field theory, then it is helpful to have Corollary 7.2.8 in hand. See Remark 7.6.19.

Proof.

For \(L/K\) cyclic, combining Corollary 7.2.8 with the periodicity of Tate groups (Theorem 3.4.1) shows that \(\#H^2(\Gal(L/K), C_L) \leq [L:K]\text{.}\) Combining with the First Inequality (Theorem 7.1.2) yields that \(H^1(\Gal(L/K), C_L)\) is trivial and \(\#H^2(\Gal(L/K), C_L) = [L:K]\text{.}\)
For \(L/K\) solvable, we may proceed by induction on \([L:K]\text{.}\) If \([L:K]\) is not cyclic, choose an intermediate subextension \(K'/K\) . By the induction hypothesis, \(H^1(\Gal(L/K'), C_{K'})\) vanishes, so we may apply the inflation-restriction exact sequence (Corollary 4.2.16) to see that for \(i=1,2\text{,}\)
\begin{equation*} 0 \to H^i(\Gal(K'/K), C_{K'}) \stackrel{\Inf}{\to} H^i(\Gal(L/K), C_L) \stackrel{\Res}{\to} H^i(\Gal(L/K'), C_L) \end{equation*}
is exact. This allows us to complete the induction.
For \(L/K\) general, put \(G = \Gal(L/K)\text{,}\) let \(p\) be a prime, and let \(G_p\) be a Sylow \(p\)-subgroup of \(G\text{.}\) Then for any \(i>0\text{,}\) \(H^i(G,C_L)\) is killed by the order of \(G\) and
\begin{equation*} \Res: H^i(G, C_L) \to H^i(G_p, C_L) \end{equation*}
is injective on \(p\)-primary components (both by the relationship between restriction and corestriction, from Example 3.2.22). Since \(G_p\) is solvable, we may deduce both assertions from the solvable case.

Subsection Aside: the Hasse norm theorem

We record a byproduct of the Second Inequality (not needed in what follows).

Proof.

By the Second Inequality (Theorem 7.2.10), \(H^{-1}_T(G, C_L) = 1\text{.}\) This implies that \(H^0_T(G, L^*) \to H^0_T(G, I_L)\) is injective. Now if \(x \in K^*\) belongs to \(\Norm_{L_w/K_v} L_w^*\text{.}\) then it defines the zero class in \(H^0_T(G, I_L)\text{,}\) so by the previous logic it must also define the zero class in \(H^0_T(G, L^*)\text{;}\) this proves the claim.

Remark 7.2.13.

Another related fact is the Grunwald-Wang theorem. It was originally announced (and published) in an incorrect form by Grunwald [16], who asserted that for \(K\) a number field and \(n\) a positive integer, an element \(x \in K^*\) is an \(n\)-th power if and only if it is an \(n\)-th power in \(K_v\) for all but finitely many places \(v\) of \(K\text{.}\)
It was then shown by Wang [53] that this statement fails in the following way: the element 16 is an \(8\)th power in \(K_v\) for any place \(v\) not lying above \(2\) (see Exercise 2) but need not be an \(8\)th power in \(K\text{.}\)
Finally, Wang [55] established a corrected version of the theorem, which shows that the original statement is “nearly” true. For example, it holds as written whenever \(n\) is odd.

Subsection The Albert-Brauer-Hasse-Noether theorem

We record another byproduct of the Second Inequality, called the Albert-Brauer-Hasse-Noether theorem.

Proof.

This follows from Theorem 7.2.10 via the exact sequence
\begin{equation*} 1 = H^1(\Gal(L/K), C_L) \to H^2(\Gal(L/K), L^*) \to \bigoplus_v H^2(\Gal(L_w/K_v), L_w^*) \end{equation*}
for any Galois extension \(L/K\text{,}\) where \(w\) denotes some place of \(L\) above \(K\text{.}\)

Exercises Exercises

1.

Show that the Hasse norm theorem (Theorem 7.2.11) fails for \(K = \QQ\text{,}\) \(L = \QQ(\sqrt{13}, \sqrt{17})\text{.}\) (This example is due to Serre and Tate.)
Hint.
Prove that every square in \(L\) is a local norm, but \(5^2\) is not a global norm.

2.

Show that in any field \(K\) of characteristic not equal to 2, \(16\) is an \(8\)th power in \(K\) if and only if one of \(-1, 2, -2\) is a square in \(K\text{.}\) Then deduce that for \(K\) a number field, \(16\) is an \(8\)th power in \(K_v\) for any place \(v\) not lying above \(2\text{,}\) even though it is not always an \(8\)th power in \(K\text{.}\)

3.

Put \(K = \QQ(\sqrt{7})\text{.}\) Show that \(16\) is an \(8\)th power in every completion of \(K\text{,}\) but not in \(K\) itself.

4.

Let \(K\) be a number field and choose \(a,b,c \in K^*\text{.}\) Prove that the equation \(ax^2 + by^2 + c^2 = 0\) has a solution with \(x,y,z \in K\) not all zero if and only if for each place \(v\) of \(K\text{,}\) there exists a solution with \(x,y,z \in K_v\) not all zero. (This is a special case of the Hasse-Minkowski theorem.)
Hint.
The equation has a solution in \(K\) if and only if \(-c\) is a norm from \(K(\sqrt{-b/a})\) to \(K\text{.}\)