Cohomology of the idèles II: the "Second Inequality"

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

Reference.

[37] VII.5; [38] VI.4. See also this blog post by Akhil Mathew

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_{T}^{0} (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.9 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_{T}^{- 1} (Gal (L / K), C_{L})

H^{1} (Gal (L / K), C_{L})

(or for that matter

H_{T}^{0} (Gal (L / K), L^{*});

see Theorem 7.2.10), 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.5. 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 extension and

m

a formal product of places of

K .

As in Definition 2.2.3, let

J_{K}^{m}

be the group of fractional ideals of

K

coprime to

m;

similarly, let

J_{L}^{m}

be the group of fractional ideals of

L

coprime to

m .

🔗

Let

I_{K}^{m}

be the subset of

α \in I_{K}

such that:

🔗

for each finite prime $p$ of $K,$ $α_{v} \equiv 1 (\mod p^{e})$ where $e$ is the exponent of $p$ in $m;$
for each real place $v$ in $m,$ $α_{v} > 0 .$

Define

I_{L}^{m}

similarly.

🔗

Let

P_{K}^{m}

be the subgroup of

J_{K}^{m}

consisting of principal ideals admitting a generator

α \in K^{*} \cap I_{L}^{m};

define

P_{L}^{m}

similarly. In this notation,

🔗

{Cl}^{m} (K) = J_{K}^{m} / P_{K}^{m}, {Cl}^{m} (L) = J_{L}^{m} / P_{L}^{m} .

🔗

The homomorphism

I_{K} \to J_{K}

from Definition 6.2.5 restricts to a homomorphism

I_{K}^{m} \to J_{K}^{m},

which in turn induces a surjective homomorphism

I_{K}^{m} / (K^{*} \cap I_{K}^{m}) \to {Cl}^{m} (K) .

On the other hand, as indicated in Remark 6.2.6, we have

K^{*} I_{K}^{m} = I_{K}

and hence

I_{K}^{m} / (K^{*} \cap I_{K}^{m}) ≅ C_{K},

yielding a surjection

C_{K} \to {Cl}^{m} (K) .

🔗

Lemma 7.2.2.

With notation as in Definition 7.2.1, the composition

🔗

C_{K} / {Norm}_{L / K} C_{L} ≅ I_{K}^{m} / (K^{*} {Norm}_{L / K} I_{L}^{m}) \to J_{K}^{m} / P_{K}^{m} {Norm}_{L / K} J_{L}^{m}

is an isomorphism for some

m .

🔗

Proof.

The map in question is surjective because

I_{K}^{m} \to J_{K}^{m}

is; we thus need to check injectivity for suitable

m .

Let

S

be the set of finite places of

K

which ramify in

L .

For each

v \in S,

apply local class field theory (see Theorem 4.1.5) to see that for

w

a place of

L

above

v,

the image of

{Norm}_{L_{w} / K_{v}} L_{w}^{*}

is an open subgroup

U_{v}

K_{v}^{*}

of finite index. We may then choose

m

to include every real place and each place in

S,

and to ensure that for each

v \in S,

(I_{K}^{m})_{v} \subseteq U_{v} .

We now prove the claim for such a choice of

m .

Given an element of

I_{K}^{m}

whose image in

J_{K}^{m}

belongs to

P_{K}^{m} {Norm}_{L / K} J_{L}^{m},

we can factor it as an element of

K^{*} \cap I_{K}^{m}

times an element of

{Norm}_{L / K} I_{L}^{m}

times an element

α \in I_{K}^{m}

such that for each finite place

v,

α_{v} \in o_{K_{v}}^{*} .

We see that

α \in {Norm}_{L / K} I_{L}^{m}

by looking separately at real places (which are okay because these places appear in

m

), complex places (which are okay for trivial reasons), finite places in

S

(which are okay by our choice of

m

), 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

🔗

[J_{K}^{m} : P_{K}^{m} {Norm}_{L / K} J_{L}^{m}] \leq [L : K] .

🔗

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.

🔗

Proposition 7.2.3.

Let

L

be a finite extension of

K

and let

M / K

be its Galois closure. Then the set

S

of prime ideals of

K

that split completely in

L

has Dirichlet density

\frac{1}{[M : K]}

(in the sense of Definition 2.4.8).

🔗

Proof.

A prime of

K

splits completely in

L

if and only if it splits completely in

M,

so we may assume

L = M

is Galois. Recall that the set

T

of unramified primes

q

L

of absolute degree 1 has Dirichlet density 1 (see Exercise 1 and Exercise 2); each such prime lies over an unramified prime

p

K

of absolute degree 1 which splits completely in

L .

The set

T

having Dirichlet density 1 means that

\sum_{q \in T} \frac{1}{Norm (q)^{s}} \sim \frac{1}{s - 1} s \to 1^{-} .

If we group the primes in

T

by which prime of

S

they lie over, then we get

[L : K] \sum_{p \in S} \frac{1}{Norm (p)^{s}} \sim \frac{1}{s - 1} s \to 1^{-} .

That is, the Dirichlet density of

S

\frac{1}{[L : K]} .

Example 7.2.4.

For

L / Q

a quadratic extension, Proposition 7.2.3 states that the set of prime ideals of

Q

that split completely in

L

has Dirichlet density

\frac{1}{2} .

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.

🔗

Subsection The Second Inequality

We are now ready to prove the Second Inequality.

🔗

Lemma 7.2.5.

With notation as in Definition 7.2.1, we have

🔗

[J_{K}^{m} : P_{K}^{m} {Norm}_{L / K} J_{L}^{m}] \leq [L : K] .

🔗

Proof.

Define the group

H := P_{K}^{m} {Norm}_{L / K} J_{L}^{m} \subseteq J_{K}^{m} .

The group

H

includes every prime of

K

coprime to

m

that splits completely in

L,

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

\frac{1}{[L : K]} .

On the other hand, by Dirichlet’s theorem for number fields (Remark 2.4.9), the same set has density

\frac{1}{[J_{K}^{m} : H]} .

We conclude that

[J_{K}^{m} : H] \leq [L : K],

as desired.

Remark 7.2.6.

Recall that Remark 2.4.9 depends on the nonvanishing of

L (1, χ)

when

χ

is a nontrivial character of a generalized ideal class group (Theorem 2.4.7). Without this, we can still deduce Lemma 7.2.5: the discrete Fourier analysis shows that the Dirichlet density of the set of primes in

H

equals

🔗

\frac{1 - \sum_{χ} m (χ)}{[J_{K}^{m} : H]}

where

χ

runs over all of the nontrivial characters of

{Cl}^{m} (K)

which are trivial on

H

and

m (χ)

denotes the order of vanishing of

L (s, χ)

s = 1 .

From the proof of Lemma 7.2.5, we must have

1 - \sum_{χ} m (χ) > 0,

whence

m (χ) = 0

for all nontrivial

χ

which are trivial on

H .

🔗

Turning this around, we can now deduce Theorem 2.4.7 provided that we can choose

L / K

(depending on

m

) so that

{Norm}_{L / K} J_{L}^{m} \subseteq P_{K}^{m},

as then

χ

runs over all nontrivial characters of

{Cl}^{m} (K) .

This will eventually follow from the adelic existence theorem (Theorem 6.4.4).

🔗

Corollary 7.2.7.

Let

L / K

be a Galois extension of number fields. Then

🔗

# H_{T}^{0} (Gal (L / K), C_{L}) \leq [L : K] .

🔗

Proof.

This follows from Lemma 7.2.5 by translating back into the language of idèles using Lemma 7.2.2.

Remark 7.2.8.

We do not consider Corollary 7.2.7 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.3) and the norm limitation theorem (Theorem 6.4.5), Corollary 7.2.7 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.7 in hand. See Remark 7.6.18.

🔗

Theorem 7.2.9. Second Inequality.

Let

L / K

be a Galois extension of number fields. Then:

🔗

the group $H^{1} (Gal (L / K), C_{L})$ is trivial;
the group $H^{2} (Gal (L / K), C_{L})$ is finite of order at most $[L : K] .$

🔗

Proof.

For

L / K

cyclic, combining Corollary 7.2.7 with the periodicity of Tate groups (Theorem 3.4.1) shows that

# H^{2} (Gal (L / K), C_{L}) \leq [L : K] .

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] .

For

L / K

solvable, we may proceed by induction on

[L : K] .

[L : K]

is not cyclic, choose an intermediate Galois subextension

K^{'} / K .

By the induction hypothesis,

H^{1} (Gal (L / K^{'}), C_{L})

vanishes, so we may apply the inflation-restriction exact sequence (Corollary 4.2.15) to see that for

i = 1, 2,

0 \to H^{i} (Gal (K^{'} / K), C_{K^{'}}) \overset{Inf}{\to} H^{i} (Gal (L / K), C_{L}) \overset{Res}{\to} H^{i} (Gal (L / K^{'}), C_{L})

is exact. This allows us to complete the induction.

For

L / K

general, put

G := Gal (L / K),

let

p

be a prime, and let

G_{p}

be a Sylow

p

-subgroup of

G .

Then for any

i > 0,

H^{i} (G, C_{L})

is killed by the order of

G

and

Res : H^{i} (G, C_{L}) \to H^{i} (G_{p}, C_{L})

is injective on

p

-primary components (both by the relationship between restriction and corestriction, from Example 3.2.24). 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).

🔗

Theorem 7.2.10. Hasse norm theorem.

Let

L / K

be a cyclic extension of number fields. Then an element

x \in K^{*}

belongs to

{Norm}_{L / K} L^{*}

if and only if for each (finite or infinite) place

v

K,

for some (and hence every) place

w

L

lying over

K,

x \in {Norm}_{L_{w} / K_{v}} L_{w}^{*} .

🔗

Proof.

We may interpret the statement as saying that

H_{T}^{0} (G, L^{*}) \to H_{T}^{0} (G, I_{L})

is injective. (For all but finitely places

v

K,

we have

x \in o_{K_{v}}^{*}

and so any

y \in L_{w}^{*}

with

{Norm}_{L_{w} / K_{v}} (y) = x

itself belongs to

o_{L_{w}}^{*} .

) We may deduce this injectivity from the fact that

H_{T}^{- 1} (G, C_{L}) = 1

thanks to the Second Inequality (Theorem 7.2.9) plus periodicity (Theorem 3.4.1).

Remark 7.2.11.

The conclusion of Theorem 7.2.10 fails completely if

L / K

is abelian but not cyclic. See Exercise 1.

🔗

Remark 7.2.12.

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

K .

🔗

It was then shown by Wang [56] that this statement fails in the following way: for any number field

K,

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 .

Worse yet, for some choices of

K,

16

is an

8

th power in

K_{v}

for every place

v

even though

16

is not an

8

th power in

K

(see Exercise 3).

🔗

Finally, Wang [57] 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. We will sharpen this result later; see Theorem 7.6.12.

🔗

Theorem 7.2.13. Albert-Brauer-Hasse-Noether theorem.

For any number field

K,

the map

🔗

H^{2} (Gal (\overset{―}{K} / K), {\overset{―}{K}}^{*}) \to ⨁_{v} H^{2} (Gal (\overset{―}{K_{v}} / K_{v}), {\overset{―}{K_{v}}}^{*})

is injective, where the sum runs over places

v

K .

🔗

Proof.

By Theorem 7.2.9, for each Galois extension

L / K

of number fields, we have the exact sequence

1 = H^{1} (Gal (L / K), C_{L}) \to H^{2} (Gal (L / K), L^{*}) \to ⨁_{v} H^{2} (Gal (L_{w} / K_{v}), L_{w}^{*})

for any Galois extension

L / K,

where

w

denotes some place of

L

above

K .

Taking the union over

K

and using the injectivity of the inflation maps (Lemma 1.2.3 plus Proposition 4.2.13) yields the stated conclusion.

🔗

Exercises Exercises

1.

Show that the Hasse norm theorem (Theorem 7.2.10) fails for

K = Q,

L = Q (\sqrt{13}, \sqrt{17}) .

(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 .

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,

even though it is not always an

8

th power in

K .

🔗

3.

Put

K = Q (\sqrt{7}) .

Show that

16

is an

8

th power in every completion of

K,

but not in

K

itself.

🔗

Hint.

Use Exercise 2 to deal with the places not above 2. For the places above 2, check that

Q_{2} (\sqrt{7}) = Q_{2} (\sqrt{- 1}) .

🔗

4.

Let

K

be a number field and choose

a, b, c \in K .

Prove that the equation

a x^{2} + b y^{2} + c z^{2} = 0

has a solution with

x, y, z \in K

not all zero if and only if for each place

v

K,

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.

We may assume that

a, c \neq 0 .

Then the equation has a nonzero solution in

K

if and only if

- c / a

is a norm from

K (\sqrt{- b / a})

K .

🔗

Prev Top Next