DOCSLIB.ORG

3. the Idele Class Group and Idelic Class Field Theory We Have Seen That for a Global Field K the Modulus M Appears As a Paramet

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
3. the Idele Class Group and Idelic Class Field Theory We Have Seen That for a Global Field K the Modulus M Appears As a Paramet 42 M. FLACH 3. The idele class group and idelic class field theory We have seen that for a global field K the modulus m appears as a parameter for the tower of ray class fields K(m). The content of class field theory is that the K(m) have an explicit Galois group and that their union is the maximal abelian extension of K (the union of all abelian extensions in a given algebraic closure). This same information can be repackaged in a more canonical construction which at the same time makes the relation to local class field theory much more transparent and allows to compute the Brauer group of the global field K. This is the role of the idele class group. It is a more elegant but slightly more abstract approach to class field theory since one has to operate with profinite or more general topological groups. Definition 3.0.2. Let K be a global field. Define the idele group of K as × × × AK = AK,S =: Kp S p with the direct limit topology where A× × × O× K,S := Kp Kp p∈S p∈/S has the product topology and S runs through all finite sets of places containing all archimedean ones. This is a locally compact group by Tychonoff’s theorem. × Remark 3.0.4. As is suggested by the notation AK is the unit group of the similarly defined adele ring AK for which we have no use in this course, except for Lemma 3.1 below. Since any element α ∈ K is integral at all but finitely many places we have a × × natural embedding K ⊆ AK . We also have an absolute value map |(αp)| := |αp|p p and K× lies in its kernel by the product formula. Definition 3.0.3. The idele class group CK of the global field K is the quotient group × × CK := AK /K . It is a (split) extension || 1 log 1 → CK → CK −−−→ R → 0 if K is a number field and ||/ q 1 log log( ) 1 → CK → CK −−−−−−−−→ Z → 0 1 if K has characteristic p and Fq is the algebraic closure of Fp in K. Here CK = ker(||). Proposition 3.1. The topology on K× induced from the locally compact topology × of AK is the discrete topology. Therefore CK is a locally compact abelian group. 1 Moreover, the group CK is actually compact. COURSE NOTES, GLOBAL CLASS FIELD THEORY CALTECH, SPRING 2015/16 43 Proof. It suffices to find a neighborhood of 1 containing no other element of K. O× × Take U = p∞ Kp p|∞ B(1,) where B(1,)={x ∈ Kp||x − 1|p <} is the ball of radius <1. Now look at 1 = α ∈ U ∩ K.Then0= α − 1 ∈OK and |α − 1|p <for all archimedean places. But this contradicts the product formula. Lemma 3.1. There is a constant C>0 with the following property: If a =(ap) ∈ × × AK with |a| >C then there exists α ∈ K such that |α|p ≤|ap|p. Proof. This is reminiscent of the Minkowski argument in the classical geometry of numbers. We use without proof that K is a discrete subgroup of AK (similar × argument to the one just given for AK ) and that AK /K is compact. Let c0 be the Haar measure of AK /K and and c1 that of the set W = {ξ ∈ AK ||ξp|p ≤ p} where p = 1 for non-archimedean p and p =1/10 for archimedean p.ForC = c0/c1 the set T = {ξ ∈ AK ||ξp|p ≤ p|ap|p} has measure c1 |ap|p >c1C = c0 p and therefore there must be a pair of distinct points t1,t2 of T with the same image × in AK /K.Thenα := t1 − t2 ∈ K and |α|p = |t1 − t2|p ≤|ap|p by the triangle inequality and its ultrametric sharpening. For an idele a with |a| >Cconsider the set × W = {ξ ∈ AK ||ξp|p ≤|ap|p} × which is compact since it is a product of compact sets. Now for b ∈ AK with |b| =1 −1 × −1 we also have |b a| >C, hence the Lemma gives α ∈ K with |α|p ≤|bp ap|p, i.e. αb ∈ W . 3.1. Class field theory using the idele group. In section we reformulate the main theorems of section 1 in terms of the idele group. We start by describing ray class groups Hm in terms of the idele class group. Given a modulus np m = mf m∞ = p p we define an open subgroup ⎧ ⎪O× p ⎪ Kp finite, np =0 ⎨⎪ pnp O p 1+ Kp finite, np > 0 U(np)= ⎪ 2 p ⎪Kp real and np =1 ⎩ × Kp p infinite, np =0 × of Kp for each place p, and then we define the open subgroup m U = U(np) p 44 M. FLACH × of AK . To a finite Galois extension L/K we can also associate an open subgroup A× × NL/K ( L )= NLP/Kp LP p where we choose a P | p and note that the local norm subgroup is independent of this choice. We remark that this is just the image of the norm map for the finite × × flat ring extension AL/AK and this map sends L to K . Hence there is also an induced map NL/K : CL → CK . m m Proposition 3.2. Denoting by U¯ the image of U in CK we have ¯ m × × m ∼ m m m CK /U = AK /K · U −→ J /P = H and × × × ∼ m m m CK /NL/K (CL)=AK /K · NL/K (AL ) = J /P · NL/K JL . Proof. We have × m ∼ m × AK /U = J × Kp /U(np) p∈S where S is the union of the set of primes dividing m and the infinite places. By weak approximation there is an exact sequence ×,m × × 1 → K → K → Kp /U(np) → 1 p∈S where K×,m = {α ∈ K×|α ≡ 1modm} is as in Lemma 1.6. Then ¯ m ∼ × m × ∼ m × × CK /U = AK /U · K = (J × Kp /U(np))/ im(K ) p∈S ∼ m ×,m = (J × 1)/ im(K ) = J m/P m = Hm. For a finite extension L/K we can choose a modulus m so that ⊆ × U(np) NLP/Kp LP m × for all places p and hence that U ⊆ NL/K (AL ). Weak approximation gives us the isomorphism (16) × × · ×,m −∼→ × × K /NL/K L K Kp /NLP/Kp (LP) p∈S COURSE NOTES, GLOBAL CLASS FIELD THEORY CALTECH, SPRING 2015/16 45 as in the proof of Lemma 1.6. Then we have CK /NL/K (CL) ∼ × × × =A /K · NL/K (A ) ⎛K L ⎞ ⎛ ⎞ ∼ ⎝ m × × ⎠ ⎝ m × × ⎠ · × = J Kp /U(np) / NL/K JL NLP/Kp (LP)/U(np) im(K ) p∈S p∈S ∼ m m ×,m × =(J × 1)/(NL/K JL × 1) · im(K · NL/K L ) m m m =J /(NL/K JL · P ). Hence we can view the Artin map for a finite abelian extension L/K as a map ρ˜ =˜ρL/K : CK → Gal(L/K) inducing an isomorphism ∼ CK /NL/K CL = Gal(L/K). × In particular, viewing Kp as a subgroup of CK , via the embedding × αp → (1,...,1,αp, 1,...) ∈ AK we get homomorphisms for all primes × ρ˜p : Kp → Gal(L/K) which clearly coincide with the local Artin map ρp defined in Ma160b if p is unrami- fied in L/K. It is not so clear whetherρ ˜p = ρp for all places p. One can now proceed in two ways. Either one shows thatρ ˜p takes values in Gal(LP/Kp) ⊆ Gal(L/K) and in fact induces an isomorphism × × ∼ Kp /NLP/Kp LP = Gal(LP/Kp) for any place p. This is done, for example, in Lang’s Algebraic Number Theory (Thm. 3 in Ch. XI,§4) and this is how local class field theory was discovered in the first place (by Hasse). However, the problem still remains to identify this map with ρp (and thereby show independence of the choice of K, for example). Perhaps, after one checks compatibilities with change of fields one can do this but I haven’t seen it anywhere in the literature. Alternatively, one can show that the global Artin map × ρ = ρp : AK → Gal(L/K), p defined as the product of local Artin maps, is trivial on K×. Since it is clearly × trivial on NL/K (AL ) and coincides withρ ˜ on the unramified primes we must have ρ =˜ρ and thereforeρ ˜p = ρp for all primes p. Theorem 3.1. Let K be a global field. Then one has: a) (Reciprocity) For every abelian extension L/K the map ρ is trivial on K×. b) (Isomorphism) For every abelian extension L/K the map ρ is surjective × × with kernel K NL/K (AL ). c) (Existence) For every open subgroup U ⊆ CK of finite index there is a unique abelian extension L/K with norm subgroup U. d) (Classification) There is an inclusion reversing bijection between abelian extensions L/K and open subgroups U of CK of finite index. 46 M. FLACH Proof. The first statement is unfortunately somewhat lengthy to prove, even though we already have the reciprocity theorem in its classical formulation. However, Theorem 1.6 only implies that ρ is trivial on K×,m. We shall give a proof in conjunction with the computation of the cohomology of the idele class group in × the next section. For b) note that ρ is trivial on NL/K (AL ) by local class field × × theory and hence trivial on K NL/K (AL ) by a). By Prop. 3.2 this subgroup has index [L : K]andρ is surjective since it restricts to the classical Artin map on the unramified primes.
Load more

Recommended publications
  • Arithmetic Duality Theorems
    Arithmetic Duality Theorems Second Edition J.S. Milne Copyright c 2004, 2006 J.S. Milne. The electronic version of this work is licensed under a Creative Commons Li- cense: http://creativecommons.org/licenses/by-nc-nd/2.5/ Briefly, you are free to copy the electronic version of the work for noncommercial purposes under certain conditions (see the link for a precise statement). Single paper copies for noncommercial personal use may be made without ex- plicit permission from the copyright holder. All other rights reserved. First edition published by Academic Press 1986. A paperback version of this work is available from booksellers worldwide and from the publisher: BookSurge, LLC, www.booksurge.com, 1-866-308-6235, [email protected] BibTeX information @book{milne2006, author={J.S. Milne}, title={Arithmetic Duality Theorems}, year={2006}, publisher={BookSurge, LLC}, edition={Second}, pages={viii+339}, isbn={1-4196-4274-X} } QA247 .M554 Contents Contents iii I Galois Cohomology 1 0 Preliminaries............................ 2 1 Duality relative to a class formation . ............. 17 2 Localfields............................. 26 3 Abelianvarietiesoverlocalfields.................. 40 4 Globalfields............................. 48 5 Global Euler-Poincar´echaracteristics................ 66 6 Abelianvarietiesoverglobalfields................. 72 7 An application to the conjecture of Birch and Swinnerton-Dyer . 93 8 Abelianclassfieldtheory......................101 9 Otherapplications..........................116 AppendixA:Classfieldtheoryforfunctionfields............126
    [Show full text]
  • Class Numbers of CM Algebraic Tori, CM Abelian Varieties and Components of Unitary Shimura Varieties
    CLASS NUMBERS OF CM ALGEBRAIC TORI, CM ABELIAN VARIETIES AND COMPONENTS OF UNITARY SHIMURA VARIETIES JIA-WEI GUO, NAI-HENG SHEU, AND CHIA-FU YU Abstract. We give a formula for the class number of an arbitrary CM algebraic torus over Q. This is proved based on results of Ono and Shyr. As applications, we give formulas for numbers of polarized CM abelian varieties, of connected components of unitary Shimura varieties and of certain polarized abelian varieties over finite fields. We also give a second proof of our main result. 1. Introduction An algebraic torus T over a number field k is a connected linear algebraic group over k such d that T k k¯ isomorphic to (Gm) k k¯ over the algebraic closure k¯ of k for some integer d 1. The class⊗ number, h(T ), of T is by⊗ definition, the cardinality of T (k) T (A )/U , where A≥ \ k,f T k,f is the finite adele ring of k and UT is the maximal open compact subgroup of T (Ak,f ). Asa natural generalization for the class number of a number field, Takashi Ono [18, 19] studied the class numbers of algebraic tori. Let K/k be a finite extension and let RK/k denote the Weil restriction of scalars form K to k, then we have the following exact sequence of tori defined over k 1 R(1) (G ) R (G ) G 1, −→ K/k m,K −→ K/k m,K −→ m,k −→ where R(1) (G ) is the kernel of the norm map N : R (G ) G .
    [Show full text]
  • Algebraic Number Theory II
    Algebraic number theory II Uwe Jannsen Contents 1 Infinite Galois theory2 2 Projective and inductive limits9 3 Cohomology of groups and pro-finite groups 15 4 Basics about modules and homological Algebra 21 5 Applications to group cohomology 31 6 Hilbert 90 and Kummer theory 41 7 Properties of group cohomology 48 8 Tate cohomology for finite groups 53 9 Cohomology of cyclic groups 56 10 The cup product 63 11 The corestriction 70 12 Local class field theory I 75 13 Three Theorems of Tate 80 14 Abstract class field theory 83 15 Local class field theory II 91 16 Local class field theory III 94 17 Global class field theory I 97 0 18 Global class field theory II 101 19 Global class field theory III 107 20 Global class field theory IV 112 1 Infinite Galois theory An algebraic field extension L/K is called Galois, if it is normal and separable. For this, L/K does not need to have finite degree. For example, for a finite field Fp with p elements (p a prime number), the algebraic closure Fp is Galois over Fp, and has infinite degree. We define in this general situation Definition 1.1 Let L/K be a Galois extension. Then the Galois group of L over K is defined as Gal(L/K) := AutK (L) = {σ : L → L | σ field automorphisms, σ(x) = x for all x ∈ K}. But the main theorem of Galois theory (correspondence between all subgroups of Gal(L/K) and all intermediate fields of L/K) only holds for finite extensions! To obtain the correct answer, one needs a topology on Gal(L/K): Definition 1.2 Let L/K be a Galois extension.
    [Show full text]
  • Questions and Remarks to the Langlands Program
    Questions and remarks to the Langlands program1 A. N. Parshin (Uspekhi Matem. Nauk, 67(2012), n 3, 115-146; Russian Mathematical Surveys, 67(2012), n 3, 509-539) Introduction ....................................... ......................1 Basic fields from the viewpoint of the scheme theory. .............7 Two-dimensional generalization of the Langlands correspondence . 10 Functorial properties of the Langlands correspondence. ................12 Relation with the geometric Drinfeld-Langlands correspondence . 16 Direct image conjecture . ...................20 A link with the Hasse-Weil conjecture . ................27 Appendix: zero-dimensional generalization of the Langlands correspondence . .................30 References......................................... .....................33 Introduction The goal of the Langlands program is a correspondence between representations of the Galois groups (and their generalizations or versions) and representations of reductive algebraic groups. The starting point for the construction is a field. Six types of the fields are considered: three types of local fields and three types of global fields [L3, F2]. The former ones are the following: 1) finite extensions of the field Qp of p-adic numbers, the field R of real numbers and the field C of complex numbers, arXiv:1307.1878v1 [math.NT] 7 Jul 2013 2) the fields Fq((t)) of Laurent power series, where Fq is the finite field of q elements, 3) the field of Laurent power series C((t)). The global fields are: 4) fields of algebraic numbers (= finite extensions of the field Q of rational numbers), 1I am grateful to R. P. Langlands for very useful conversations during his visit to the Steklov Mathematical institute of the Russian Academy of Sciences (Moscow, October 2011), to Michael Harris and Ulrich Stuhler, who answered my sometimes too naive questions, and to Ilhan˙ Ikeda˙ who has read a first version of the text and has made several remarks.
    [Show full text]
  • Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Athanasios Angelakis
    Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Athanasios Angelakis To cite this version: Athanasios Angelakis. Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves. Group Theory [math.GR]. Université de Bordeaux; Universiteit Leiden (Leyde, Pays-Bas), 2015. English. NNT : 2015BORD0180. tel-01359692 HAL Id: tel-01359692 https://tel.archives-ouvertes.fr/tel-01359692 Submitted on 23 Sep 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Proefschrift ter verkrijging van de graad van Doctor aan de Universiteit Leiden op gezag van Rector Magnificus prof. mr. C.J.J.M. Stolker, volgens besluit van het College voor Promoties te verdedigen op woensdag 2 september 2015 klokke 15:00 uur door Athanasios Angelakis geboren te Athene in 1979 Samenstelling van de promotiecommissie: Promotor: Prof. dr. Peter Stevenhagen (Universiteit Leiden) Promotor: Prof. dr. Karim Belabas (Universit´eBordeaux I) Overige leden: Prof.
    [Show full text]
  • Class Field Theory and the Local-Global Property
    Class Field Theory and the Local-Global Property Noah Taylor Discussed with Professor Frank Calegari March 18, 2017 1 Classical Class Field Theory 1.1 Lubin Tate Theory In this section we derive a concrete description of a relationship between the Galois extensions of a local field K with abelian Galois groups and the open subgroups of K×. We assume that K is a finite extension of Qp, OK has maximal ideal m, and we suppose the residue field k of K has size q, a power of p. Lemma 1.1 (Hensel). If f(x) is a polynomial in O [x] and a 2 O with f(a) < 1 then there is K K f 0(a)2 some a with f(a ) = 0 and ja − a j ≤ f(a) . 1 1 1 f 0(a) f(a) Proof. As in Newton's method, we continually replace a with a− f 0(a) . Careful consideration of the valuation of f(a) shows that it decreases while f 0(a) does not, so that f(a) tends to 0. Because K is complete, the sequence of a's we get has a limit a1, and we find that f(a1) = 0. The statement about the distance between a and a1 follows immediately. We can apply this first to the polynomial f(x) = xq − x and a being any representative of any element in k to find that K contains the q − 1'st roots of unity. It also follows that if L=K is an unramified extension of degree n, then L = K(ζ) for a qn − 1'st root of unity ζ.
    [Show full text]
  • LECTURES on HEIGHT ZETA FUNCTIONS of TORIC VARIETIES by Yuri Tschinkel
    S´eminaires & Congr`es 6, 2002, p. 227–247 LECTURES ON HEIGHT ZETA FUNCTIONS OF TORIC VARIETIES by Yuri Tschinkel Abstract.— We explain the main ideas and techniques involved in recent proofs of asymptotics of rational points of bounded height on toric varieties. 1. Introduction Toric varieties are an ideal testing ground for conjectures: their theory is sufficiently rich to reflect general phenomena and sufficiently rigid to allow explicit combinato- rial computations. In these notes I explain a conjecture in arithmetic geometry and describe its proof for toric varieties. Acknowledgments. — Iwould like to thank the organizers of the Summer School for the invitation. The results concerning toric varieties were obtained in collaboration with V. Batyrev. It has been a great pleasure and privilege to work with A. Chambert- Loir, B. Hassett and M. Strauch — Iam very much indebted to them. My research was partially supported by the NSA. 1.1. Counting problems Example 1.1.1.—LetX ⊂ Pn be a smooth hypersurface given as the zero set of a homogeneous form f of degree d (with coefficients in Z). Let N(X, B)=#{x | f(x)=0, max(|xj |) B} n+1 (where x =(x0,...,xn) ∈ Z /(±1) with gcd(xj) = 1) be the number of Q-rational points on X of “height” B. Heuristically, the probability that f represents 0 is about B−d and the number of “events” about Bn+1. Thus we expect that lim N(X, B) ∼ Bn+1−d. B→∞ 2000 Mathematics Subject Classification.—14G05, 11D45, 14M25, 11D57. Key words and phrases.—Rational points, heights, toric varieties, zeta functions.
    [Show full text]
  • ADELIC ANALYSIS and FUNCTIONAL ANALYSIS on the FINITE ADELE RING Ilwoo
    Opuscula Math. 38, no. 2 (2018), 139–185 https://doi.org/10.7494/OpMath.2018.38.2.139 Opuscula Mathematica ADELIC ANALYSIS AND FUNCTIONAL ANALYSIS ON THE FINITE ADELE RING Ilwoo Cho Communicated by P.A. Cojuhari Abstract. In this paper, we study operator theory on the -algebra , consisting of all ∗ MP measurable functions on the finite Adele ring AQ, in extended free-probabilistic sense. Even though our -algebra is commutative, our Adelic-analytic data and properties on ∗ MP MP are understood as certain free-probabilistic results under enlarged sense of (noncommutative) free probability theory (well-covering commutative cases). From our free-probabilistic model on AQ, we construct the suitable Hilbert-space representation, and study a C∗-algebra M generated by under representation. In particular, we focus on operator-theoretic P MP properties of certain generating operators on M . P Keywords: representations, C∗-algebras, p-adic number fields, the Adele ring, the finite Adele ring. Mathematics Subject Classification: 05E15, 11G15, 11R47, 11R56, 46L10, 46L54, 47L30, 47L55. 1. INTRODUCTION The main purposes of this paper are: (i) to construct a free-probability model (under extended sense) of the -algebra ∗ consisting of all measurable functions on the finite Adele ring A , implying MP Q number-theoretic information from the Adelic analysis on AQ, (ii) to establish a suitable Hilbert-space representation of , reflecting our MP free-distributional data from (i) on , MP (iii) to construct-and-study a C∗-algebra M generated by under our representa- P MP tion of (ii), and (iv) to consider free distributions of the generating operators of M of (iii).
    [Show full text]
  • A RECIPROCITY LAW for CERTAIN FROBENIUS EXTENSIONS 1. Introduction for Any Number Field F, Let FA Be Its Adele Ring. Let E/F Be
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 ARECIPROCITYLAW FOR CERTAIN FROBENIUS EXTENSIONS YUANLI ZHANG (Communicated by Dennis A. Hejhal) Abstract. Let E/F be a finite Galois extension of algebraic number fields with Galois group G. Assume that G is a Frobenius group and H is a Frobenius complement of G.LetF(H) be the maximal normal nilpotent subgroup of H. If H/F (H) is nilpotent, then every Artin L-function attached to an irreducible representation of G arises from an automorphic representation over F , i.e., the Langlands’ reciprocity conjecture is true for such Galois extensions. 1. Introduction For any number field F ,letFA be its adele ring. Let E/F be a finite Galois extension of algebraic number fields, G =Gal(E/F), and Irr(G)bethesetof isomorphism classes of irreducible complex representations of G. In the early 1900’s, E. Artin associated an L-function L(s, ρ, E/F ), which is defined originally by an Euler product of the local L-functions over all nonarchimedean places of F ,toevery ρ Irr(G). These L-functions play a fundamental role in describing the distribution of∈ prime ideal factorizations in such an extension, just as the classical L-functions of Dirichlet determine the distribution of primes in a given arithmetic progression and the prime ideal factorizations in cyclotomic fields. However, unlike the L-functions of Dirichlet, we do not know in general if the Artin L-functions extend to entire functions. In fact, we have the important: Artin’s conjecture. For any irreducible complex linear representation ρ of G, L(s, ρ, E/F ) extends to an entire function whenever ρ =1.
    [Show full text]
  • Math 676. a Lattice in the Adele Ring Let K Be a Number Field, and Let S Be a Finite Set of Places of K Containing the Set
    Math 676. A lattice in the adele ring Let K be a number field, and let S be a finite set of places of K containing the set S of archimedean 1 places. The S-adele ring AK;S = v S Kv v S Ov is an open subring of the adele ring AK , and it meets Q 2 × Q 62 the additive subgroup K in the subring OK;S of S-integers. In class we saw that K is discrete in AK and OK;S is discrete in AK;S . The purpose of this handout is to explain why each of these discrete subgroups is co-compact. The main input will be that OK;S is a lattice in v S Kv, a fact that we saw in an earlier handout (and that was a key ingredient in the proof of the S-unitQ theorem).2 1. The case of S-adeles We first study AK;S =OK;S . This is a locally compact Hausdorff topological group since AK;S is such a group and OK;S is a closed subgroup. Using the continuous projection to the S-factor, we get a continuous surjection AK;S =OK;S ( Kv)=OK;S Y v S 2 to a compact group, and the kernel is surjected onto by the compact group v S Ov, so the kernel is itself Q 62 compact. Hence, to infer compactness of AK;S =OK;S we use the rather general: Lemma 1.1. Let G be a locally compact Hausdorff topological group, and let H be a closed subgroup.
    [Show full text]
  • Algebraic Number Theory Notes
    Math 223b : Algebraic Number Theory notes Alison Miller 1 January 22 1.1 Where we are and what’s next Last semester we covered local class field theory. The central theorem we proved was Theorem 1.1. If L/K is a finite Galois extension of local fields there exists a canonical map, the local Artin map × × ab θL/K : K /NL (Gal(L/K)) We proved this by methods of Galois cohomology, intepreting both sides as Tate ! cohomology groups. To prove this, we needed the following two lemmas: • H1(L/K, L×) =∼ 0 • H2(L/K, L×) is cyclic of order [L : K]. This semester: we’ll do the analogous thing for L and K global fields. We will need × × × to replace K with CK = AK /K . Then the analogues of the crucial lemmas are true, but harder to prove. Our agenda this semester: • start with discussion of global fields and adeles. • then: class formations, axiomatize the parts of the argument that are common to the global and local cases. • algebraic proofs of global class field theory • then we’ll take the analytic approach e.g. L-functions, class number formula, Ceb- otarev density, may mention the analytic proofs • finally talk about complex multiplication, elliptic curves. 1 1.2 Global fields, valuations, and adeles Recall: have a notion of a global field K. equivalent definitions: • every completion of K is a local field. • K is a finite extension of Q (number field) or of Fp((t)) (function field). The set of global fields is closed under taking finite extensions.
    [Show full text]
  • On Tate and His Mathematics – a Glossary∗
    ARTICLE-IN-A-BOX On Tate and His Mathematics – A Glossary∗ The subject of number theory has developed into a sophisticated branch of mathematics, inter- acting deeply with other key areas. John Tate is a prime architect of this development, through his accomplishments spanning seven decades. The influence of Tate’s ideas on number theory – and, in fact, in mathematics as a whole – is so pervasive that it will be difficult to even define the notions involved in a way understandable to the uninitiated. Tate has been bestowed with many honours. Already, in 1956, he was awarded the Cole Prize of the American Mathematical Society for outstanding contributions to number theory. In 1995, he received the Steele Prize for Lifetime Achievement from the AMS and the Wolf Prize (shared with M. Sato) in 2002 for his “creation of fundamental concepts in algebraic number theory”. He was twice an invited speaker at the ICMs (1962-Stockholm and 1970-Nice). Tate was elected to the U.S. National Academy of Sciences in 1969. He was named a foreign member of the French Acad´emie des Sciences in 1992 and an honorary member of the London Mathematical Society in 1999. The Abel Prize was awarded to him in 2010. Essential mathematical ideas and constructions initiated by Tate and later named after him abound; some mathematical terms bearing his name are: Tate modules, Tate elliptic curves, Tate uniformization, Tate’s q, Lubin-Tate theory, Honda-Tate theory, Sato-Tate conjecture, Barsotti-Tate groups, Hodge-Tate decomposition, Tate cohomol- ogy, Poitou-Tate duality, Serre-Tate parameters, Tate cycles, Tate conjectures, Mumford-Tate group, Mumford-Tate conjectures, Tate twists, Tate motives, Tate spaces, Tate ring, Tate alge- bra, Tate residue, Cassels-Tate pairing, Neron-Tate heights, Shafarevich-Tate groups, Koszul- Tate resolution, etc.
    [Show full text]