DOCSLIB.ORG

Arxiv:Math/0508078V1 [Math.NT] 3 Aug 2005 H Aosgopgal( Group Galois the Endwe Hr Sawi Ru,Ta S Ntecmaaieynarr Comparatively the in Is, That Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:Math/0508078V1 [Math.NT] 3 Aug 2005 H Aosgopgal( Group Galois the Endwe Hr Sawi Ru,Ta S Ntecmaaieynarr Comparatively the in Is, That Theory THE WEIL GROUP OF A HYPER-CLASS FORMATION KAREN ACQUISTA Abstract. In the setting of generalized class field theory, one has a field K • with a hyper-class formation C , a complex of GK -modules that plays the role 0 • of a class formation. Letting C(L) denote H (GL, C ), there is a distinguished cohomology class in H2(Gal(L/K), C(L)), the hyper-fundamental class. In this paper, we prove that a group extension of Gal(L/K) by C(L) whose corresponding cohomology class is the hyper-fundamental class satisfies the classical axioms of a Weil group. Classically, a Weil group is associated to a field K with a class formation C. For any finite Galois extension L/K, it is constructed as a group extension of the Galois group Gal(L/K) by the formation module CGL , whose corresponding cohomology class is the canonical generator of H2(Gal(L/K), CGL ). That is, the Weil group is a “twisted product” of the Galois group and the formation module, with a multiplication law defined using a 2-cocycle representing the fundamental class. The Weil group of a local or global field appears in a variety of arithmetic settings, see Tate [19]; most recently, Lichtenbaum [11] has used the Weil group to construct a new cohomology theory for global fields that appears to capture integral arithmetic information. Weil-´etale cohomology groups are expected to be finitely generated over Z, and contain more information than their ´etale counterparts. Also, special values of the zeta functions appear to be genuine Euler products in this cohomology theory. The main drawback of the Weil-´etale cohomology theory is that it is only defined when there is a Weil group, that is, in the comparatively narrow setting of class field theory. In the 1980’s, Bloch, Kato, Saito, and Parshin obtained many new results about abelian extensions of fields beyond the classical scope of local and global fields, see Raskind [15] for a survey. In the setting of generalized class field theory in which we will place ourselves, we are given a field K with a hyper-class formation C•, a complex of G -modules that plays the role of a class formation. The purpose of arXiv:math/0508078v1 [math.NT] 3 Aug 2005 K this note is to show that given a hyper-class formation, one can construct a Weil group for any finite Galois extension, in the classical sense. In this exposition, we first review the theory of hyper-class formations as was introduced by Koya [7], and prove some results about the Tate cohomology groups Hq(G, A•). Here, G is a finite group, and A• is bounded complex of G-modules. Usingb the classical tool of dimension-shifting, we obtain a surprising general result: there exists a G-module A such that for any subgroup H ⊆ G and any q ∈ Z, Hq(H, A•) ≃ Hq(H, A), see Proposition 1.14. This resultb can be usedb to obtain a new proof of the Tate- Nakayama Theorem for complexes (Theorem 1.15); we also easily see, as in the Date: September 22, 2018. 1 2 KAREN ACQUISTA classical setting, that a hyper-class formation gives rise to a description of the abelianized Galois group. Next, we include a treatment of the axiomatic construction of the Weil group of a class formation, along the lines of Chapter 14 of Artin-Tate [2]. Then, we construct a Weil group associated to a field K with a hyper-class formation C•. Letting C(L) 0 • 2 denote H (GL, C ), there is a distinguished element of H (Gal(L/K), C(L)), the image of the fundamental class, see Definition 2.4. In Theorem 2.9, we prove that a group extension of Gal(L/K) by C(L) corresponding to this distinguished class is a Weil group for L/K; dimension-shifting for complexes plays a key role in the proof. As in the classical setting, the “Artin map” coming from the hyper-class formation can be recovered by abelianizing the Weil group. Lastly, we discuss some examples of hyper-class formations, and their associated Weil groups. The first new example is associated to a 2-local field, a complete discrete valuation field with residue field a local field. Koya [7] showed that Licht- enbaum’s weight two motivic complex is a hyper-class formation. We explain the relationship between a Weil group for a 2-local field and a Weil group for its residue field. We have similar results for the Weil group associated to an unramified exten- sion of a complete discrete valuation field with residue field a global field. The best description of the Weil group of a local or global field can only be obtained after passing over a limit of all finite extensions. Conditions are given in Chapter 14 of Artin-Tate [2] ensuring the existence of a compatible system of Weil groups associated to a topological class formation. Unfortunately, these nontrivial topological considerations prevent us from giving such a construction for our new examples of Weil groups. If K is a 2-local field, there does not appear to be a natural way to make K2(K) into a locally compact topological group, see Fesenko [3] for one approach. For the purposes of arithmetic applications, it will be crucial to find a way to pass to the limit. Notations: In this exposition, we place ourselves in the derived category when- ever it is appropriate. This gives rise to minor differences in the statements of certain Definitions and Theorems, compared to Koya [7]. Let G be a group. The derived category of G-modules is the category of com- plexes of G-modules, up to quasi-isomorphism. If A•, then the homology of A•, denoted Hq(A•), is an invariant of the class of A• in the derived category. Given an element A• of the derived category of G-modules, we say that A• is bounded below if Hq(A•) vanishes for q small enough. Let A• be a bounded below element of the derived category of G-modules. An injective resolution is a complex I• of injective G-modules that represents A•. Given any bounded below complex A•, one can find a complex I• of injectives and a quasi-isomorphism A• −→ I•; this will also be called an injective resolution. Injective resolutions are used to compute right derived functors. The truncation functor, denoted τ≤n , is compatible with quasi-isomorphisms. That is, truncation is well-defined in the derived category. The functor of taking G-invariants will be denoted Γ(G, −); its derived functor will be denoted RΓ(G, −). It has the property that: Hq(RΓ(G, A•)) = Hq(G, A•), for all q ∈ Z. These notations are compatible with Weibel, see [20] for details. THE WEIL GROUP OF A HYPER-CLASS FORMATION 3 1. Hyper-class formations Let K be a field, and GK its absolute Galois group. The following definition was introduced by Koya [7]: • Definition 1.1. Let C be a bounded below element in the derived category of GK - modules, acyclic in positive degrees. Suppose that for every finite Galois extension 2 • • L/K, there is an isomorphism invL : H (GL, C ) → Q/Z. We say that (C , {invL}) is a hyper-class formation for K if the following axioms are satisfied: 1 • (1) For every open subgroup GL of GK , H (GL, C ) = 0. ′ (2) For every pair of open subgroups GL ⊂ GK′ of GK , with m = [L : K ], the following diagram commutes: 2 • Res 2 • H (GK′ , C ) −−−−→ H (GL, C ) invK′ invL · Qy/Z −−−−→m Qy/Z. Example 1.2. Any class formation gives rise to a hyper-class formation, by con- sidering the formation module as a complex concentrated in degree zero. There are three main examples of fields with class formations from the classical theory: local fields, global fields, and finite fields. For a local field, the multiplicative group of the separable closure is a class formation; for a global field, the idele class group is a class formation; and, for a finite field, the trivial Galois module Z is a class formation. Example 1.3. In [7], Koya gave the first new example of hyper-class formation that is a genuine complex. Let K be a 2-local field, that is, a complete discrete valuation field with residue field a local field. Then Lichtenbaum’s weight two motivic complex Zet´ (2,K) is a hyper-class formation for K. This complex was first constructed by Lichtenbaum in [10]; it is a two-term complex of GK -modules, concentrated in degrees −1 and 0. Its homology is K2(Ksep) in degree 0, and ind K3 (Ksep) in degree −1. The weight two motivic complex fits into a conjectural framework, see Lichten- baum [9]; in this setting, the weight one motivic complex Zet´ (1,K) is the multi- plicative group of the separable closure, and Zet´ (0,K) is the trivial Galois module Z, both considered as complexes concentrated in degree zero. So, one should think of the hyper-class formation for a 2-local field as the natural extension of the class field theory for local and finite fields. Example 1.4. More generally, if K is an n-local field, that is, a complete discrete valuation field with residue field an (n − 1)-local field, then the weight n motivic complex is a hyper-class formation for K, see Saito [16] and Spiess [18]. If C is a class formation, then CGL is a class module for Gal(L/K), in the sense of Neukirch-Schmidt-Wingberg [14].
Load more

Recommended publications
  • Langlands, Weil, and Local Class Field Theory
    LANGLANDS, WEIL, AND LOCAL CLASS FIELD THEORY DAVID SCHWEIN Abstract. The local Langlands conjecture predicts a relationship between Galois repre- sentations and representations of the topological general linear group. In this talk we explain a special case of the program, local class field theory, with a goal towards its nonabelian generalization. One of our main conclusions is that the Galois group should be replaced by a variant called the Weil group. As number theorists, we would like to understand the absolute Galois group ΓQ of Q. It is hard to say briefly why such an understanding would be interesting. But for one, if we understood the open, index-n subgroups of ΓQ then we would understand the number fields of degree n. There are much deeper reasons, related to the geometry of algebraic varieties, why we suspect ΓQ carries deep information, though that is more speculative. One way to study ΓQ is through its n-dimensional complex representations, that is, (con- jugacy classes of) homomorphisms ΓQ ! GLn(C): Starting with a 1967 letter to Weil, Langlands proposed that these representations are related to the representations of a completely different kind of group, the adelic group GLn(AQ). This circle of ideas is known as the Langlands program. The Langlands program over Q turned out to be very difficult. Even today, we cannot properly formulate a precise conjecture. So to get a start on the problem, mathematicians restricted attention to the completions of Q, namely Qp and R, and studied the problem there. As over Q, Langlands conjectured a relationship between n-dimensional Galois rep- resentations ΓQp ! GLn(C) and representations of the group GLn(Qp), as well as an analogous relationship over R.
    [Show full text]
  • 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]
  • 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]
  • Weil Groups and $ F $-Isocrystals
    Weil groups and F -Isocrystals Richard Crew The University of Florida December 19, 2017 Introduction The starting point for local class field theory in most modern treatments is the classification of central simple algebras over a local field K. On the other hand an old theorem of Dieudonn´e[6] may interpreted as saying that when K is absolutely unramified and of characteristic zero any such algebra is the endomorphism algebra of an isopentic F -isocrystal on the completion Knr of a maximal unramified extension of K. In fact the restrictions on K can be removed by a suitably generalizing the notion of F -isocrystal, so one is led to ask if there approach to local class field theory based on the structure theory of F -isocrystals. One aim of this article is to carry out this project, and we will find that it gives a particularly quick approach to most of the main results of local class field theory, the exception being the existence theorem. We will not need many of the more technical results of group cohomology such as the Tate-Nakayama theorem or the “ugly lemma” of [4, Ch. 6 §1.5], and the formal properties of the norm residue symbol follow from the construction rather than the usual cohomological formalism. In this approach one sees a close relation between two topics not normally associated with each other. The first is a celebrated formula of Dwork for the norm residue symbol in the case of a totally ramified abelian extension. A generalization of Dwork’s formula valid for any finite Galois extension can be unearthed from the exercises in chapter XIII of [10].
    [Show full text]
  • On the Non-Abelian Global Class Field Theory
    See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/268165110 On the non-abelian global class field theory Article · September 2013 DOI: 10.1007/s40316-013-0004-9 CITATION READS 1 19 1 author: Kazım Ilhan Ikeda Bogazici University 15 PUBLICATIONS 28 CITATIONS SEE PROFILE Some of the authors of this publication are also working on these related projects: The Langlands Reciprocity and Functoriality Principles View project All content following this page was uploaded by Kazım Ilhan Ikeda on 10 January 2018. The user has requested enhancement of the downloaded file. On the non-abelian global class field theory Kazımˆ Ilhan˙ Ikeda˙ –Dedicated to Robert Langlands for his 75th birthday – Abstract. Let K be a global field. The aim of this speculative paper is to discuss the possibility of constructing the non-abelian version of global class field theory of K by “glueing” the non-abelian local class field theories of Kν in the sense of Koch, for each ν ∈ hK, following Chevalley’s philosophy of ideles,` and further discuss the relationship of this theory with the global reciprocity principle of Langlands. Mathematics Subject Classification (2010). Primary 11R39; Secondary 11S37, 11F70. Keywords. global fields, idele` groups, global class field theory, restricted free products, non-abelian idele` groups, non-abelian global class field theory, ℓ-adic representations, automorphic representations, L-functions, Langlands reciprocity principle, global Langlands groups. 1. Non-abelian local class field theory in the sense of Koch For details on non-abelian local class field theory (in the sense of Koch), we refer the reader to the papers [21, 23, 24, 50] as well as Laubie’s work [37].
    [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]
  • The Local Langlands Correspondence for Tamely Ramified
    Introduction to Local Langlands Local Langlands for Tamely Ramified Unitary Groups The Local Langlands Correspondence for tamely ramified groups David Roe Department of Mathematics Harvard University Harvard Number Theory Seminar David Roe The Local Langlands Correspondence for tamely ramified groups Introduction to Local Langlands Local Langlands for Tamely Ramified Unitary Groups Outline 1 Introduction to Local Langlands Local Langlands for GLn Beyond GLn DeBacker-Reeder 2 Local Langlands for Tamely Ramified Unitary Groups The Torus The Character Embeddings and Induction David Roe The Local Langlands Correspondence for tamely ramified groups Local Langlands for GL Introduction to Local Langlands n Beyond GL Local Langlands for Tamely Ramified Unitary Groups n DeBacker-Reeder What is the Langlands Correspondence? A generalization of class field theory to non-abelian extensions. A tool for studying L-functions. A correspondence between representations of Galois groups and representations of algebraic groups. David Roe The Local Langlands Correspondence for tamely ramified groups Local Langlands for GL Introduction to Local Langlands n Beyond GL Local Langlands for Tamely Ramified Unitary Groups n DeBacker-Reeder Local Class Field Theory Irreducible 1-dimensional representations of WQp Ù p q Irreducible representations of GL1 Qp The 1-dimensional case of local Langlands is local class field theory. David Roe The Local Langlands Correspondence for tamely ramified groups Local Langlands for GL Introduction to Local Langlands n Beyond GL Local Langlands for Tamely Ramified Unitary Groups n DeBacker-Reeder Conjecture Irreducible n-dimensional representations of WQp Ù Irreducible representations of GLnpQpq In order to make this conjecture precise, we need to modify both sides a bit.
    [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]
  • Geometric Structure in Smooth Dual and Local Langlands Conjecture
    GEOMETRIC STRUCTURE IN SMOOTH DUAL AND LOCAL LANGLANDS CONJECTURE ANNE-MARIE AUBERT, PAUL BAUM, ROGER PLYMEN, AND MAARTEN SOLLEVELD Contents 1. Introduction1 2. p-adic Fields2 3. The Weil Group5 4. Local Class Field Theory5 5. Reductive p-adic Groups6 6. The Smooth Dual7 7. Split Reductive p-adic Groups8 8. The Local Langlands Conjecture9 9. The Hecke Algebra { Bernstein Components 12 10. Cuspidal Support Map { Tempered Dual 14 11. Extended Quotient 15 12. Approximate Statement of the ABPS conjecture 16 13. Extended quotient of the second kind 16 14. Comparison of the two extended quotients 18 15. Statement of the ABPS conjecture 19 16. Two Theorems 23 17. Appendix : Geometric Equivalence 25 17.1. k-algebras 26 17.2. Spectrum preserving morphisms of k-algebras 27 17.3. Algebraic variation of k-structure 28 17.4. Definition and examples 28 References 30 1. Introduction The subject of this article is related to several branches of mathematics: number theory, representation theory, algebraic geometry, and non-commutative geometry. We start with a review of basic notions of number theory: p-adic field, the Weil group of a p-adic field, and local class field theory (sections 2-4). In sections 5, 6, 7, we recall some features of the theory of algebraic groups over p-adic fields and of their representations. In particular, we introduce the smooth dual Irr(G) of a reductive group G over a p-adic field F . The smooth dual Irr(G) is the set of equivalence classes of irreducible smooth representations of G, and is the main Paul Baum was partially supported by NSF grant DMS-0701184.
    [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]
  • Introduction to the Langlands Program
    Proceedings of Symposia in Pure Mathematics Volume 61 (1997), pp. 245–302 Introduction to the Langlands Program A. W. Knapp This article is an introduction to automorphic forms on the adeles of a linear reductive group over a number field. The first half is a summary of aspects of local and global class field theory, with emphasis on the local Weil group, the L functions of Artin and Hecke, and the role of Artin reciprocity in relating the two kinds of L functions. The first half serves as background for the second half, which discusses some structure theory for reductive groups, the definitions of automorphic and cusp forms, the Langlands L group, L functions, functoriality, and some conjectures. Much of the material in the second half may be regarded as a brief introduction to the Langlands program. There are ten sections: 1. Local Fields and Their Weil Groups 2. Local Class Field Theory 3. Adeles and Ideles 4. Artin Reciprocity 5. Artin L Functions 6. Linear Reductive Algebraic Groups 7. Automorphic Forms 8. Langlands Theory for GLn 9.LGroups and General Langlands L Functions 10. Functoriality 1. Local Fields and Their Weil Groups This section contains a summary of information about local fields and their Weil groups. Four general references for this material are [Fr¨o], [La], [Ta3], and [We4]. By a local field is meant any nondiscrete locally compact topological field. Let F be a local field. If α is a nonzero element of F , then multiplication by α is an automorphism of the additive group of F and hence carries additive Haar measure to a multiple of itself.
    [Show full text]
  • Math 223B - Algebraic Number Theory
    Math 223b - Algebraic Number Theory Taught by Alison Miller Notes by Dongryul Kim Spring 2018 The course was taught by Alison Miller on Mondays, Wednesdays, Fridays from 12 to 1pm. The textbook was Cassels and Fr¨ohlich's Algberaic Number Theory. There were weekly assignments and a final paper. The course assistance was Zijian Yao. Contents 1 January 22, 2018 5 1.1 Global fields and adeles . .5 2 January 24, 2018 7 2.1 Compactness of the adele . .7 3 January 26, 2018 9 3.1 Compactness of the multiplicative adele . .9 3.2 Applications of the compactness . 10 4 January 29, 2018 11 4.1 The class group . 12 5 January 31, 2018 13 5.1 Classical theorems from compactness . 13 6 February 2, 2018 15 6.1 Statement of global class field theory . 15 6.2 Ray class field . 16 7 February 5, 2018 17 7.1 Image of the reciprocity map . 17 7.2 Identifying the ray class group . 18 8 February 7, 2018 19 8.1 Properties of the ray class field . 19 1 Last Update: August 27, 2018 9 February 9, 2018 21 9.1 Ideles with field extensions . 21 9.2 Formations . 22 10 February 12, 2018 23 10.1 Class formation . 24 11 February 14, 2018 25 11.1 Consequences of the class formation axiom . 25 11.2 Strategy for verifying the axioms . 26 12 February 16, 2018 28 12.1 Cohomology of the ideles . 28 13 February 21, 2018 31 13.1 First inequality . 31 14 February 23, 2018 33 14.1 Algebraic weak Chebotarev .
    [Show full text]