Algebraic — problem sheet #3

1. (i) Show that AQ = R × (Zb ⊗ Q). (ii) Use Theorem 5.4 to show that for any extension L/K of number fields AL ' AK ⊗K L.

(iii) Let L/K be a finite extension of number fields, Show that the trace maps trLw/Kv : Lw → Kv define a continuous additive homomorphism trL/K : AL → AK , whose restriction to L is the trace map L → K. (iv) Repeat (iii) for the norm map and the idele group.

2. (i) Let F be a local field. If f ∈ S(F ) and g(x) = f(ax + b), compute gb in terms of fb. n (ii) Let F/Qp be finite. Compute the Fourier transform of the characteristic function of b+πF oF . Deduce that the Fourier transform maps S(F ) to itself, and that the Fourier inversion formula holds for S(F).

(iii) Verify that if F = R or C then ζ(f, s) = ΓF (s), where

( 2 e−πx if F = f(x) = R −2πxx¯ e if F = C

3. Let F/Qp be finite, and f ∈ S(F ). s −s (i) Show that if f(0) = 0, then ζ(f, s) ∈ C[q , q ], hence is analytic for all s ∈ C. (ii) Show that in general ζ(f, s) is analytic except for a simple pole at s = 0 with residue f(0)/ log q. If you like analysis, investigate the analyticity of ζ(f, s) for an arbitrary f ∈ S(F ) when F is archimedean.

4. Let L/K be an extension of number fields of degree n. Suppose that almost all places v of K split n completely in L (i.e. #{w|v} = n). By comparing ζL(s) and ζK (s) show that L = K. P 5. Let K be a number field, and S ⊂ ΣK a finite set of places. Let m = v∈S mv · (v) be a finite formal linear combination of places of K with positive coefficients mv. Define  F ∗ v complex, or v∈ / S real  v  ∗,+ ∗ Fv = R>0 v ∈ S real Uv,m = 1 + πmv O∗ v ∈ S finite  v v  ∗ Ov otherwise Q and set UK,m = v Uv,m

(i) Show that UK,m is an open subgroup of JK , and that every open subgroup of JK contains some UK,m. ∗ (ii) Show that Clm(K) = JK /K UK,m is finite. (It is called the ray class group modulo m.)

∗ Q mp (iii) Show that if K = Q and ∞ ∈ S then Clm(Q) ' (Z/NZ) , where N = p∈S p .

(iv)∗ Let Im(K) be the free abelian group on the finite places of K not in S, viewed as a subgroup of ∗ the group of fractional ideals of K. Let Pm(K) be the group of principal ideals xoK , where x ∈ K satisfies:

(a) for all finite v ∈ S, v(x − 1) ≥ mv; and (b) for all real v ∈ S, x is positive under the embedding K,−→ R determined by v. ∼ Show that there is a natural isomorphism θ : Clm(K) −→ Im(K)/Pm(K) — more precisely, that there is a unique isomorphism θ with the property that for every finite w∈ / S, if x = (xv) is the idele with −1 xw = πw and xv = 1 for all v 6= w, then θ(x) is the class of the Pw . [The −1 is a convenient normalisation. It is not the case that for every idele x, θ(x) is the class of the −1 fractional ideal cS(x) . Frohlich¨ used to call this the “fundamental mistake of class field theory”.] 1 ∗ ∗ ∗ 6. (Characters) (i) Let F/Qp be finite. A of F is a continuous homomorphism χ: F → C . ∗ ∗ Show that the kernel of any character is an open subgroup of F . (Hint: it’s enough to show that ker χ∩oF ∗ is open. First show that χ(oF ) ⊂ U(1); then observe that the open subset V = {z | |argz| < π/2} does not contain any non-trivial subgroup of U(1).) ∗ ∗ (ii) We say χ: F → C is unramified if χ(oF ) = 1. Show that a character is unramified if and only if it s is of the form χ(x) = |x| for some s ∈ C. (iii) [∗ from here on, increasing in number.] An idele class character or of a number ∗ ∗ field K is a continuous homomorphism χ: JK /K → C . Show that for any Hecke character χ, there ∗ ∗ exist continuous χv : Kv → C (v ∈ ΣK ) such that

(a) for almost all finite v, χv is unramified; ∗ Q (b) if x ∈ K , then v χv(x) = 1; Q (c) if x = (xv) ∈ JK then χ(x) = v χv(xv).

Conversely, show that for any family of characters (χv)v satisfying (a-b), there is a unique Hecke char- acter χ such that (c) holds.

(iii) Show that if for each infinite place v, χv(x) ∈ {±1}, then χ factors through some ray class group Clm(K), and in particular has finite order. 0 (iv) A Hecke character is said to be algebraic if there are integers mv, nv, nv such that:

mv ∗ ∗ (a) if v is real, χv(x) = x for all positive x ∈ Kv = R ; 0 nv nv ∗ ∗ (b) if v is complex, χv(z) = z z¯ for every z ∈ Kv ' C . Show that if K is totally real (i.e. has no complex places) and χ is an algebraic Hecke character, then m = m is independent of v, and that χ(x) = φ(x) |x|m for some Hecke character φ of finite order. v A ∗ Q d (Hint: show that there exists d ≥ 1 such that if ε ∈ oK is a unit, v|∞ χv(ε ) = 1. Then use the unit theorem.) √ x  (v) Let K = Q( −7) ⊂ C. Write w for the unique place over 7, and if x ∈ Ow, let 7 denote the Legendre symbol of (x mod πw) ∈ kw = F7. πv  Show that if v ∈ ΣK,f − {w} then there is a unique πv ∈ oK with Pv = (πv) and 7 = 1. Show that there is a unique Hecke character χ of K such that

• for all finite v 6= w, χv is unramified and χv(πv) = πv; ∗ x  • for all x ∈ Ow, χw(x) = 7 . 0 Show that χ is algebraic, and that (nv, nv) = (−1, 0) for the complex place v of K.

1Many people call these quasi-characters, and reserve the term “character” for a continuous homomorphism χ: F ∗ → U(1)