The setup of abstract class field theory

Section 5.1 The setup of abstract class field theory

Reference.

[38], IV.4-IV.6. Remember that Neukirch’s cohomology groups are all Tate groups, so he doesn’t put the subscript “T” on them.

🔗

Subsection Abstract multiplicative groups and the class field axiom

We first introduce an abstract analogue of the groups

K^{*},

for

K

a finite extension of

k,

and the norm maps between them. This enables us to state a key cohomological assumption.

🔗

Definition 5.1.1.

Let

k

be a field, let

\overset{―}{k}

be an algebraic extension of

k,

and put

G := Gal (\overset{―}{k} / k) .

Let

A

be a

G

-module; for any subextension

K

\overset{―}{k} / k,

define

A_{K} = A^{Gal (\overset{―}{k} / K)} .

(In the example where

k

is a local field, we will take

\overset{―}{k}

to be the separable closure and

A = {\overset{―}{k}}^{*} .

)

🔗

Remark 5.1.2.

In this discussion, we are not going to make any explicit use of the field

k;

we are really just working with the profinite group

G .

One could extend this discussion to a general profinite group

G,

as is done in [38], by “pretending” that the profinite group corresponds to a field and its extensions via the Galois correspondence. That is, a “field extension” of

k

corresponds to a closed subgroup of

G;

a “finite extension” of

k

corresponds to an open subgroup of

G;

and so on.

🔗

Definition 5.1.3.

For

L / K

a finite extension of subextensions of

\overset{―}{k} / k,

define the norm map

{Norm}_{L / K} : A_{L} \to A_{K}

{Norm}_{L / K} (a) = \prod_{g} a^{g},

where

g

runs over a set of right coset representatives of

G_{L}

G_{K} .

In the Galois case this coincides with the norm map used in the definition of the Tate cohomology groups, except that we are using multiplicative notation rather than additive notation.

🔗

For

L / K

an infinite extension of subextensions of

\overset{―}{k} / k,

we don’t have a well-defined norm map from

A_{L}

A_{K} .

By convention, however, we still write

{Norm}_{L / K} A_{L}

to mean the intersection of

{Norm}_{M / K} A_{M}

over all finite subextensions

M

L / K .

🔗

Definition 5.1.4.

Set notation as in Definition 5.1.1. We say that

A

satisfies the class field axiom if for every cyclic extension

L / K

of finite subextensions of

\overset{―}{k} / k,

🔗

# H_{T}^{i} (Gal (L / K), A_{L}) = {\begin{cases} [L : K] & i = 0 \\ 1 & i = - 1. \end{cases}

Note that in general, it is not enough to impose this condition when

K = k .

🔗

Since

L / K

is cyclic here, Theorem 3.4.1 implies that the groups

H_{T}^{i} (Gal (L / K), A_{L})

repeat with period 2. It will sometimes be convenient to work with

i = 1

instead of

i = - 1,

or with

i = 2

instead of

i = 0,

in order to have cohomology groups instead of Tate groups.

🔗

Under the class field axiom and the other conditions of abstract class field theory, for each finite Galois extension

L / K

of finite subextensions of

\overset{―}{k} / k,

we will define a canonical isomorphism

🔗

r_{L / K} : Gal (L / K)^{ab} \to A_{K} / {Norm}_{L / K} A_{L}

(Theorem 5.3.9), which will moreover satisfy some compatibilities as we vary the field extension (Proposition 5.2.10, Proposition 5.2.10). Since we’ve already checked the class field axiom in the example where

k

is a local field and

A = {\overset{―}{k}}^{*},

this will recover the local reciprocity law (Theorem 4.1.2).

🔗

Subsection Abstract ramification theory

We next encode the key aspects of ramification theory into an abstract framework. At the moment this has nothing to do with the abstract units; the relationship will be made when we introduce abstract valuations a bit later.

🔗

Definition 5.1.5.

With notation as in Definition 5.1.1, let

d : G \to \hat{Z}

be a continuous surjective homomorphism. The example we have in mind is when

k

is a local field and

d

is the surjection of

G

onto

Gal (k^{unr} / k) ≅ \hat{Z} .

🔗

Define the Weil group of

k

as the subgroup

d^{- 1} (Z)

G .

This group will play an important role in the construction of the reciprocity map (see Definition 5.2.1).

🔗

We now set some more notation to mimic the example case.

🔗

Definition 5.1.6.

Define the inertia group

I_{k}

to be the kernel of

d .

Define the maximal unramified extension

k^{unr}

k

to be the fixed field of

I_{k} .

Likewise, for any subextension

K

\overset{―}{k} / k,

put

I_{K} := G_{K} \cap I_{k}

and let

K^{unr} = k^{unr} K

be the fixed field of

I_{K} .

🔗

We say an extension

L / K

of subextensions of

\overset{―}{k} / k

is unramified if

L \subseteq K^{unr} .

This implies that

G_{L}

contains

I_{K},

necessarily as a normal subgroup, and that

G_{L} / I_{K} \subseteq G_{K} / I_{K}

injects via

d

into

\hat{Z} .

Hence

G_{L} / I_{K}

is abelian and any finite quotient of it is cyclic; in particular,

G_{K}

is normal in

G_{L}

and

Gal (L / K) = G_{L} / G_{K}

is cyclic. (Note also that

K^{unr}

is the compositum of

K

and

k^{unr};

see Example 5.1.9.)

🔗

K \neq k,

then

d

need not map

G_{K}

onto

\hat{Z},

so it will be convenient to renormalize things.

🔗

Definition 5.1.7.

Put

🔗

d_{K} := \frac{1}{[\hat{Z} : d (G_{K})]} d;

then

d_{K} : G_{K} \to \hat{Z}

is surjective and induces an isomorphism

Gal (K^{unr} / K) ≅ \hat{Z} .

🔗

Given a finite extension

L / K

of subextensions of

\overset{―}{k} / k,

define the inertia degree (or residue field degree)

🔗

f_{L / K} := [d (G_{K}) : d (G_{L})]

and the ramification degree

🔗

e_{L / K} := [I_{K} : I_{L}] .

By design we have multiplicativity:

🔗

e_{M / K} = e_{M / L} e_{L / K}, f_{M / K} = f_{M / L} f_{L / K} .

🔗

L / K

is Galois, we have an exact sequence

🔗

1 \to I_{K} / I_{L} \to Gal (L / K) \to d (G_{K}) / d (G_{L}) \to 1,

from which we deduce the “fundamental identity”:

🔗

e_{L / K} f_{L / K} = [L : K] .

The fundamental identity also holds if

L / K

is not Galois: let

M

be a Galois extension of

K

containing

L,

then apply the fundamental identity to

M / L

and

M / K

and use multiplicativity.

🔗

Subsection Abstract valuation theory

We next introduce an abstract analogue of the valuation maps on unit groups, which tie

d

and

A

together in a crucial way. The catch is that these valuations will be valued not in

Z

but only in

\hat{Z};

however, this is okay because we only need them to normalize the definition of the reciprocity map.

🔗

Definition 5.1.8.

With notation as in Definition 5.1.1 and Definition 5.1.5, a henselian valuation of

A_{k}

with respect to

d

is a homomorphism

v : A_{k} \to \hat{Z}

such that:

🔗

the group $Z = im (v)$ contains $Z$ and satisfies $Z / n Z ≅ Z / n Z$ for all positive integers $n;$
for every finite extension $K$ of $k,$ $v ({Norm}_{K / k} A_{K}) = f_{K / k} Z .$

🔗

In this case, for each finite subextension

K

\overset{―}{k} / k,

we obtain a henselian valuation

v_{K} : A_{K} \to Z

by setting

🔗

v_{K} = \frac{1}{f_{K / k}} {Norm}_{K / k} .

Then

v_{K} (a) = v_{K^{g}} (a^{g})

for any

a \in A

and

g \in G,

and for

L / K

a finite extension of finite subextensions of

\overset{―}{k} / k,

v_{K} ({Norm}_{L / K} (a)) = f_{L / K} v_{L} (a)

for any

a \in A_{L} .

🔗

Example 5.1.9.

By design, the previous conditions are satisfied in the case where:

🔗

$k$ is a local field of characteristic 0 and $\overset{―}{k}$ is its algebraic closure;
$A = {\overset{―}{k}}^{*}$ (the class field axiom is confirmed by Lemma 1.2.3 for $H_{T}^{1}$ and Proposition 4.2.11 for $H_{T}^{0}$ );
$d : Gal (\overset{―}{k} / k) \to \hat{Z}$ the map coming from the identification of $Gal (k^{unr} / k)$ with $\hat{Z};$
$v : A_{k} \to \hat{Z}$ is the composition of the valuation $k^{*} \to Z$ with the inclusion $Z \to \hat{Z} .$

One piece of content in this statement is the assertion that for any finite extension

K

k,

K^{unr} \subseteq K k^{unr} .

This holds because for any finite unramified extension

L

K,

we can write

L = K L_{0}

where

L_{0}

is the unramified extension of

k

with the same residue field as

L .

🔗

Example 5.1.10.

A basic example of these constructions occurs for

k

finite; see Exercise 1. A closely related example can be obtained from Example 5.1.9 by replacing the algebraic closure of

k

with its maximal unramified subextension.

🔗

Remark 5.1.11.

Suppose that we have an instance of Definition 5.1.8. Then for any

c \in {\hat{Z}}^{*},

the map

v

is also a henselian valuation of

A_{k}

with respect to

c d,

but the definition of the reciprocity map will be affected; see Exercise 3.

🔗

Now suppose further that

c Z = Z .

Then

c v

is also a henselian valuation of

A_{k}

with respect to

c d,

and in this case the definition of the reciprocity map will be unaffected; see Exercise 4.

🔗

Subsection Cohomology of units

Before defining the reciprocity map, we collect some direct consequences of the class field axiom. These are very similar to arguments we used in the proof of local reciprocity except that there, we used the cohomology of unramified extensions to establish the class field axiom, whereas here we are moving information in the opposite direction!

🔗

Hypothesis 5.1.12.

For the remainder of Chapter 5, fix

k, A, d, v

as in Definition 5.1.1, Definition 5.1.5, and Definition 5.1.8. In particular,

A

satisfies the class field axiom (Definition 5.1.4) and

v

is a henselian valuation of

A_{k}

with respect to

d .

🔗

Definition 5.1.13.

For any finite subextension

K

\overset{―}{k} / k,

define the unit subgroup

U_{K}

as the set of

u \in A_{K}

with

v_{K} (u) = 0;

this definition extends naturally to infinite subextensions. We say that

π \in A_{K}

is a uniformizer for

K

v_{K} (π) = 1 .

🔗

Proposition 5.1.14.

Under Hypothesis 5.1.12, let

L / K

be an unramified extension of finite subextensions of

\overset{―}{k} / k .

🔗

The groups $H_{T}^{i} (Gal (L / K), U_{L})$ are all trivial.
The group $H_{T}^{0} (Gal (L / K), A_{L})$ is cyclic, generated by any uniformizer $π_{L}$ for $L .$

🔗

Proof.

We’ll drop

Gal (L / K)

from the notation, because it’s the same group throughout the proof. Keep in mind that an unramified extension is always Galois and cyclic, so we can apply periodicity of Tate groups (Theorem 3.4.1) and Herbrand quotients.

Consider the short exact sequence

0 \to U_{L} \to A_{L} \to A_{L} / U_{L} \to 0 .

In this sequence,

A_{L} / U_{L}

is isomorphic to

Z = im (v)

with trivial group action, so

H_{T}^{0} (Z) = Z / Norm (Z)

is cyclic of order

[L : K]

generated by

π_{L}

and

H_{T}^{- 1} (Z) = \ker (Norm)

is trivial. The long exact sequence in Tate groups looks like

\begin{matrix} 1 = H_{T}^{- 1} (A_{L} / U_{L}) \to H_{T}^{0} (U_{L}) \to H_{T}^{0} (A_{L}) \\ \to H_{T}^{0} (A_{L} / U_{L}) \to H_{T}^{1} (U_{L}) \to H_{T}^{1} (A_{L}) = 1 \end{matrix}

and by the long exact sequence, the two ends of the middle arrow

H_{T}^{0} (A_{L}) \to H_{T}^{0} (A_{L} / U_{L})

have the same order. It is thus enough to show that

H_{T}^{1} (U_{L}) = 1,

as then this map will be an isomorphism.

Here is where we use that

L / K

is unramified, not just cyclic: any uniformer of

K

is also a uniformizer of

L,

which allows us to split the surjection

A_{L} \to A_{L} / U_{L}

Gal (L / K)

-modules (as in Corollary 4.2.6). This in turn means that

H_{T}^{1} (U_{L})

is a direct summand of

H_{T}^{1} (A_{L}),

and the latter vanishes by the class field axiom.

Corollary 5.1.15.

Under Hypothesis 5.1.12, for

L / K

an unramified extension of finite subextensions of

\overset{―}{k} / k,

then

U_{K} = {Norm}_{L / K} U_{L} .

(Remember, this makes sense even if

L / K

is not finite!)

🔗

Proof.

Apply the

H_{T}^{0}

case of Proposition 5.1.14 to each finite subextension of

L / K .

🔗

Exercises Exercises

1.

Show that the hypotheses of abstract class field theory (i.e., the class field axiom and the conditions on a henselian valuation) are satisfied in the following case:

🔗

$k$ is a finite field and $\overset{―}{k}$ is its algebraic closure;
$d : Gal (\overset{―}{k} / k) \to \hat{Z}$ is the usual isomorphism;
$A$ is the group $Z$ with the trivial action;
$v : A_{k} \to \hat{Z}$ is the inclusion of $Z$ into its profinite completion.

🔗

Prev Top Next