LECTURE NOTES, WEEK 7 MATH 222A,

MARTIN H. WEISSMAN

Abstract. We discuss the connection between , the , and quadratic class field theory. We also introduce the “adelic per- spective”.

1. Quadratic The main theorems of (local and global) quadratic class field theory are essen- tially proven in Serre’s course in arithmetic. We begin by making this connection explicit and clear. 1.1. Local quadratic class field theory. Serre proves the following result about the (quadratic) Hilbert symbol over Qp or R:

Theorem 1.1. The Hilbert symbol (·, ·)v is a non-degenerate bilinear form on the × ×2 F2-vector space Qv /Qv . × ×2 × Let Sv = Qv /Qv . If x ∈ Qv , then we writex ¯ for its image in the vector space Sv. This is a finite-dimensional F2-vector space. Its dimension is 1, 2, or 3, depending on whether v = ∞, 2 < v < ∞, or v = 2, respectively. It is not a deep theorem that Sv is isomorphic to its dual vector space – this is true for every finite-dimensional vector space, over any field. The deep theorem (non-degeneracy of the Hilbert symbol) is that the Hilbert symbol “induces” such 0 0 a duality. Let Hv : Sv → Sv (where Sv is the dual vector space) denote the linear map given by: Hv(a)(b) = (a, b)v.

Non-degeneracy means that Hv is an isomorphic of F2-vector spaces; this is what is proven in Serre. The following is the statement of local class field theory (over Qp or R):

Theorem 1.2. Let Gv = Gal(Q¯ v/Qv). Then, if A is any finite abelian group, then there is a group isomorphism: (A) recv : Hom(Gv,A) → Hom(Qv,A). Of course, to prove this theorem, it suffices to assume that A is cyclic, by the structure theorem for finite abelian groups. We can use the Hilbert symbol to prove this theorem in the quadratic case:

Theorem 1.3. Let Gv = Gal(Q¯ v/Qv). Then there is a group isomorphism: (2) recv : Hom(Gv, Z/2Z) → Hom(Qv, Z/2Z).

Proof. The construction of the “reciprocity” map recv goes as follows: 1 2 MARTIN H. WEISSMAN

• Begin with a nontrivial homomorphism γ : Gv → Z/2Z. Equivalently, we 0 may begin with a subgroup Gv of index two in Gv. 0 • Associated to the subgroup Gv of index two, we have a field extension Kv/Qv of degree two. • Associated to the field extension Kv/Qv of degree two, we have the sub- × × ×2 × group NKv ⊂ Qv . Note that Qv ⊂ NKv √ × × • If Kv = Qv( a), with a ∈ Qv , then b ∈ NKv if and only if (b, a)v = 1 (Chapter III, Section 1, Proposition 1 of Serre). In other words,

× ×2 NKv /Qv = ker(Hv(¯a)). By non-degeneracy of the Hilbert symbol, the kernel of the nonzero linear × × functional Hv(¯a) has codimension 1. Thus NKv has index 2 in Qv . × × • Associated to the subgroup NKv of index two in Qv , there is a unique × × homomorphism recv(γ) from Qv to Z/2Z, with kernel NKv . We construct an inverse to the reciprocity map as follows:

• Suppose that η ∈ Hom(Qv, Z/2Z) is a nontrivial homomorphism. Equiva- × lently, we may begin with a subgroup E of Qv of index 2. ×2 • Since E has index two, E ⊃ Qv . × ×2 • Thus, E is uniquely determined by an index two subgroup of Qv /Qv . Equivalently, E is uniquely determined by a codimension 1 subspace Ov of Sv. • By the non-degeneracy of the Hilbert symbol, every codimension 1 subspace of Sv arises as the kernel of Hv(¯a) for some 0 6=a ¯ ∈ Sv. × • Such an elementa ¯ lifts to an element a of Qv , unique up to multiplication ×2 by Qv . √ • Thus we get a quadratic field extension Kv = Qv( a). • Every quadratic field extension corresponds to a subgroup of Gv of index 2, and hence to a homomorphism from Gv to Z/2Z. To prove the theorem, it must be shown that this is an inverse to the recv, and that recv is a group homomorphism. We leave both of these facts as exercises for the reader. ¤

1.2. Adeles and Ideles. The statement of global class field theory is significantly more difficult than local class field theory. One side is expected: if G = Gal(Q¯ /Q), then we are interested in the group Hom(G, A), for any finite abelian group A. But we do not find an isomorphism from Hom(G, A) to Hom(Q×,A). In this case, we must replace Q× with the idele class group, which we explain here. Recall that for every “place” v (a or ∞), we have a field Qv (either × Qp or R). Within the multiplicative group Qp , we have the compact open subgroup × × × ∼ Zp , and Qp /Zp = Z as abelian groups. We write Z∞ = Q∞ = R, for convenience. Q The ring of adeles (with an a, and denoted A), is defined to be the subring of v Qv (the infinite product), whose elements (xv) satisfy:

xv ∈ Zv, for all but finitely many indices v. One may check easily that A is a ring. It squeezes between the following two rings: Y Y Zˆ × R = Zv ⊂ A ⊂ Qv. v∈V v∈V LECTURE NOTES, WEEK 7 MATH 222A, ALGEBRAIC NUMBER THEORY 3

Note that Q is a subring of A. Indeed, if q ∈ Q, then we may consider the sequence (qv), with qv = iv(q), where iv : Q ,→ Qv is the unique inclusion of fields, for all v. Note that (qv) is in A, since for every prime p not dividing the denominator of q, ip(qp) ∈ Zp. Let i: Q ,→ A denote the resulting embedding. Note that: i(Q) ∩ (Zˆ × R) = Z. The group of invertible elements of A is called the group of ideles (with an i), and denoted A× (though some people use I). The group A× can be seen as the Q × subgroup of sequences (xv) ∈ v Qv , satisfying: × xv ∈ Zv for all but finitely many indices v. The ideles squeeze between the following two abelian groups: Y Y ˆ× × × × × Z × R = Zv ⊂ A ⊂ Qv . v∈V v∈V The ring embedding i: Q ,→ A restricts to an embedding of abelian groups i: Q× ,→ A×. The quotient group A×/Q× is called the idele class group. In order to understand it, we first prove the following: Proposition 1.4. The group of ideles satisfies: A× = (Zˆ×R×)i(Q×).

× × Proof. Suppose that x = (xv) ∈ A . Let S be the set of places at which xv 6∈ Zv . Then S Qis finite, and ∞ 6∈ S, since x is an idele. Let np = val(xp), for all p ∈ S. −np Let q = p∈S p . Then we see that:

val(xpip(q)) = 0, ∀∞ 6= p ∈ V. Thus xi(q) ∈ Zˆ×R×, and we are done. ¤ Corollary 1.5. There is an isomorphism: A×/i(Q×) =∼ (Zˆ× × R×)/i(Z×). 1.3. Global Class Field Theory. The main theorem of global class field theory may now be stated, using the idele class group. We abuse notation, and just view Q× as a subgroup of A×, rather using the embedding i. Theorem 1.6. Let G = Gal(Q¯ /Q). Then, if A is any finite abelian group, then there is a group isomorphism: rec(A) : Hom(G, A) → Hom(A×/Q×,A). In the quadratic case, this follows from Theorems 3 and 4, of Chapter III, of Serre: Theorem 1.7. Let G = Gal(Q¯ /Q). Then there is a group isomorphism: (2) × × rec : Hom(G, Z/2Z) → Homcont(A /Q , Z/2Z). Proof. We begin by defining the homomorphism rec(2). • Suppose that γ ∈ Hom(G, Z/2Z) is nontrivial. Equivalently, we may choose a subgroup G0 ⊂ G, of index 2. Equivalently, we may choose a quadratic extension K of Q. 4 MARTIN H. WEISSMAN

• Choose a√ generator of K as a quadratic extension. Namely, we can write K = Q( a), for an element nonsquare element a ∈ Q×, uniquely deter- mined up to Q×2. × • Suppose that x = (xv) ∈ A . Then we may define: Y η(x) = (a, xv)v. v This infinite product is well-defined, since for all but finitely many places, × × a ∈ Zv and xv ∈ Zv , and hence (a, xv)v = 1 (if v 6= 2, ∞). This follows from Theorem 1, of Chapter III of Serre. • If x ∈ Q×, then we have η(x) = 1, by the Product Formula (Theorem 3, of Chapter III of Serre). • Hence η, originally a homomorphism from A× to Z/2Z, descends to a ho- momorphismη ¯ from A×/Q× to Z/2Z. • η depends only on a modulo squares in Q×2, and hence only on the original choice of γ. • Hence, associated to every γ ∈ Hom(G, Z/2Z), we have a well-defined element: rec(2)(γ) = η : A×/Q× → Z/2Z. Now, we show that rec(2) has an inverse: • Suppose that we are given a nontrivial continuous homomorphism: η : A×/Q× → Z/2Z. • Then, η is uniquely determined by its restriction to Zˆ× ×R×, and it is trivial on Z× = {±1}. It follows that η is uniquely determined by its restriction Q ˆ× × ηˆ to Z = p Zp . • There exists a family of homomorphisms ηp, one for each prime number, such that: Y ηˆ(ˆx) = ηp(xp), p

× for everyx ˆ = (xp) ∈ Zˆ . Moreover, there exists a finite set S, such that ηp is nontrivial, if and only if p ∈ S. • Let {ai} ⊂ Z be a finite set of rational numbers, such that every square × class in Zp , for every p ∈ S, is represented by at least one element ai. • Let ²i,p = ηp(ai), for every prime number p. Let ²i,∞ be the unique number, ±1, such that the product formula holds. Namely, we have: Y η(ai) = ²i,v = 1. v∈V • The three conditions of Theorem 4 of Chapter III of Serre are satisfied. Almost all of the ²i,p are equal to 1, since ηp is trivial for all but finitely many p. The product formula holds by construction. Finally, for every × v ∈ V , there exists an xv ∈ Qv with (ai, xv) = ²i,v, by the non-degeneracy of the local Hilbert symbol. • By Theorem 4 of Chapter III of Serre, there exists x ∈ Q×, such that:

²i,v = (ai, xv)v, for all i, v. LECTURE NOTES, WEEK 7 MATH 222A, ALGEBRAIC NUMBER THEORY 5

Q × × × • Letη ˜(y) = v(yv, xv)v, for all y ∈ A . Then we see thatη ˜: A /Q → Z/2Z is a well-defined homomorphism. As such, it is uniquely determined by its restriction to Zˆ× × R×, and hence by the family of homomorphisms η˜p = (yp, xp)p. • Sinceη ˜p is determined by its values on representatives for square classes, we have: η˜p = ηp, for all p ∈ S. • It follows that, for all i ∈ I, we have: Y η(ai) = (ai, x)v. v • By choosing the x ∈ Q× more carefully (a subtlety that I haven’t quite figured out), one should be able to further have: Y η(y) = (yv, xv)v, v for all y ∈ A×. • The element x ∈ Q×, which is not in Q×2 since η is nontrivial, yields a quadratic extension K/Q, and hence a homomorphism from G to Z/2Z. Exercise 1.8. Suppose that k is a field of characteristic zero. Let G = Gal(k/k¯ ), for some algebraic closure of k. Suppose that γ1, γ2 : G → Z/2Z are two group homomorphisms with nontrivial image. Let H1,H2 be the kernels of γ1, γ2, re- spectively. Let K ,K be the quadratic extensions of k, corresponding to H ,H , 1 2 √ 1 2 respectively. Choose generators x1, x2 ∈ k such that Ki = k( xi) for i = 1, 2. Let γ = γ1 + γ2. Let K be the extension of k corresponding to ker(γ). Prove ∼ √ that K = k( x1x2).

361B Baskin, Department of , University of California, Santa Cruz, CA 95064 E-mail address: [email protected]