{"id":707,"date":"2015-11-24T16:01:33","date_gmt":"2015-11-24T21:01:33","guid":{"rendered":"http:\/\/blogs.ams.org\/beyondreviews\/?p=707"},"modified":"2019-01-31T23:07:28","modified_gmt":"2019-02-01T04:07:28","slug":"hello-adele","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/beyondreviews\/2015\/11\/24\/hello-adele\/","title":{"rendered":"Hello, Adele"},"content":{"rendered":"
\"\"

From adele.com.<\/p><\/div>\n

There has been a lot of news lately about Adele, which I found very exciting because adeles are important in mathematics. \u00a0In number theory, it is helpful to complete the rational numbers (in the sense of topology), since then you can do analysis. \u00a0The standard completion yields the real numbers. \u00a0However\u00a0there is extra arithmetical information to be found in the $p$-adic<\/a> completions. \u00a0But how do you know which $p$ to pick? \u00a0Why not pick all of them at once! \u00a0The adeles<\/a> give you a way to do that (and to throw in the real numbers, too.) \u00a0They play a central role in class field theory<\/a>. \u00a0Also, in the study of algebraic groups, introducing the adeles leads to adelic algebraic groups<\/a>. \u00a0(The previous link gives some history on the naming of the adeles.) \u00a0 A few key people who used adeles, as well as the ideles, early on are Claude Chevalley<\/a>, Armand Borel<\/a>, Andr\u00e9 Weil<\/a>, John Tate<\/a>, and\u00a0Kenkichi Iwasawa<\/a>. \u00a0(They used different names for the ring until the world settled on Weil’s name for it.) \u00a0The next time you hear\u00a0“Hello”, followed by a pause, I hope you will join me in saying, “It’s\u00a0$\\mathbb{R}\\times \\prod’_{p}\\mathbb{Q}_p$”.
\n<\/p>\n

Here are some reviews of papers on adeles.<\/p>\n

MR0670072<\/strong> (83m:10032)<\/strong>
\nWeil, Andr\u00e9<\/a>
\nAdeles<\/span> and algebraic groups.<\/span>
\nWith appendices by M. Demazure and Takashi Ono. Progress in Mathematics, 23.<\/a> Birkh\u00e4user, Boston, Mass.,<\/em> 1982. iii+126 pp. ISBN: 3-7643-3092-9
\n10C30 (12A82 12A85 20G35)<\/a><\/p>\n

This important work when it first “appeared” in 1961 introduced the ad\u00e8les<\/span> into the study of arithmetic problems in algebraic groups. The question of Tamagawa numbers of algebraic groups was first systematically formulated here. The book is divided into two parts. The first part\u2014Chapters I and II\u2014deals with the geometry and measure on the space of adelic points of an algebraic variety. These materials are not easily available elsewhere. In the second part\u2014Chapters III and IV\u2014the author studies the zeta function of division algebras and central simple algebras and then uses the Poisson summation formula to calculate the Tamagawa numbers of “most” classical groups (for complete results on classical groups see articles by J. G. M. Mars [Ann. of Math. (2) 89<\/span> (1969), 557\u2013574; MR0263828 (41 #8427)<\/a>], the author [Acta Math. 113<\/span> (1965), 1\u201387; MR0223373 (36 #6421)<\/a>] and R. P. Langlands [Algebraic groups and discontinuous subgroups<\/span> (Boulder, Colo., 1965), pp. 143\u2013148, Proc. Sympos. Pure Math., Amer. Math. Soc., Providence, R.I., 1966; MR0213362 (35 #4226)<\/a>]). The book ends with an appendix by Demazure proving that the Tamagawa number of the exceptional group $G_2$<\/span> is 1, and the appendix by Ono on recent results for groups over number fields has a useful bibliography. The reader who is acquainted with the author’s book [Basic number theory<\/span>, third edition, Springer, New York, 1974; MR0427267 (55 #302)<\/a>] will find some familiar material here. It is worth pointing out that the author’s conjecture (Appendix 2, Section 2) on Tamagawa numbers has not yet been completely solved.<\/p>\n

Reviewed by K. F. Lai<\/span><\/p>\n

\n

MR0141670<\/strong> (25 #5067)<\/strong>
\nBorel, Armand<\/a>; Harish-Chandra<\/a>
\nArithmetic subgroups of algebraic groups.<\/span>
\nBull. Amer. Math. Soc.<\/em><\/a> 67 <\/strong>1961 579\u2013583.
\n22.55 (20.65)<\/a><\/p>\n

The authors bring to light all the basic qualitative theorems on the arithmetic of algebraic groups which stimulate and support further quantitative investigations. These theorems cover the qualitative results of Siegel, Ramanathan and Weil for classical groups and that of the reviewer for solvable groups. Actually, these known ideas or results, in particular, the notion of Siegel domains, are used and generalized by the techniques of the Lie theory, e.g., Iwasawa’s KAN-decomposition of a reductive group compatible with a Cartan involution. Let $G$<\/span> be a connected complex algebraic group defined over ${bf Q}$<\/span>. For a subring $B$<\/span> of ${bf C}$<\/span>, one denotes by$G_B$<\/span> the subgroup of elements of $G$<\/span> which have coefficients in $B$<\/span>, and whose determinant is a unit of $B$<\/span>. One calls an open subset $U$<\/span> of $G_{{bf R}}$<\/span>fundamental if:
\n(i) $G_{{bf R}}=UG_{{bf Z}}$<\/span>;
\n(ii) $KU=U$<\/span> for suitable maximal compact subgroup $K$<\/span> of $G_{{bf R}}$<\/span>;
\n(iii) $U^{-1}Ucap xG_{{bf Z}}y$<\/span>is finite for any $x,yin G_{{bf Q}}$<\/span>.
\nTheorem 1 states the existence of such $U$<\/span>. The construction of $U$<\/span> is a generalization of Hermite’s procedure in the case of indefinite quadratic forms, thereby a lemma on the rational representation of reductive groups (Lemma 2) is crucial. (iii) implies the finite generation of $G_{{bf Z}}$<\/span>. Theorem 2, which the reviewer will not state explicitly, is a generalization of the classical fact that the number of classes of integral forms with a given non-zero determinant is finite. Theorem 3 gives a criterion for the compactness of the homogeneous space $G_{{bf R}}\/G_{{bf Z}}colon G_{{bf R}}\/G_{{bf Z}}$<\/span> is compact if and only if the identity component of $G$<\/span> has no nontrivial characters defined over ${bf Q}$<\/span> and every unipotent element of $G_{{bf Q}}$<\/span> belongs to the radical of $G_{{bf Q}}$<\/span> [see also Mostow and Tamagawa, #5069]. The details of this paper have been published in Ann. of Math. (2) 75<\/span> (1962), 485\u2013535.<\/p>\n

Reviewed by T. Ono<\/span><\/p>\n

MR0141671<\/strong> (25 #5068)<\/strong>
\nBorel, Armand<\/a>
\nSome properties of adele groups attached to algebraic groups.<\/span>
\nBull. Amer. Math. Soc.<\/em><\/a> 67 <\/strong>1961 583\u2013585.
\n22.55 (20.65)<\/a><\/p>\n

\n

This is the adelized version of the theorems reviewed above [#5067]. Let $G$<\/span> be a connected algebraic group defined over ${bf Q}$<\/span> and denote by $G_A$<\/span> the adelization of $G$<\/span>. Using the terminologies introduced by the reviewer [Ann. of Math. (2) 70<\/span> (1959), 266\u2013290; MR0114817 (22 #5635)<\/a>], the author proves that:
\n(i)\u00a0$(G)$<\/span> is of type $(F)$<\/span> and of type $(M)$<\/span>;
\n(ii) $G$<\/span> is of type $(C)$<\/span> if and only if every unipotent element of $G_{{bf Q}}$<\/span> belongs to the radical of $G_{{bf Q}}$<\/span>;
\n(iii) $G_A\/G_{{bf Q}}$<\/span> is compact if and only if $G$<\/span> is of type $(C)$<\/span> and $X_{{bf Q}}(G)=1$<\/span> (Theorem 1).
\nTheorem 2 is the adelization of Theorem 2 in the paper reviewed above [loc. cit.]: Assuming $G$<\/span> reductive, let $picolon Grightarrowtext{GL},(m,{bf C})$<\/span> be a rational representation, defined over ${bf Q}$<\/span>, and $vin{bf Q}^m$<\/span> a point whose orbit is closed. Then $vpi_A(G_A)cap{bf Q}^m$<\/span> is the union of a finite number of orbits of $G_{{bf Q}}$<\/span>. Theorem 2 implies the following Theorem 3: Assuming $G$<\/span> reductive, the principal homogeneous spaces over ${bf Q}$<\/span> which have rational points in all ${bf Q}_p$<\/span>(including $p=infty$<\/span>) form a finite number of isomorphism classes. Details of proofs of these theorems are not given.<\/p>\n

Reviewed by T. Ono<\/span><\/p>\n<\/div>\n

\n

MR1213914<\/strong> (95e:14016)<\/strong>
\nIwasawa, Kenkichi<\/a>
\nAlgebraic functions.<\/span> (English summary)<\/span>
\nTranslated from the 1973 Japanese edition by Goro Kato. Translations of Mathematical Monographs, 118.<\/a> American Mathematical Society, Providence, RI,<\/em> 1993. xxii+287 pp. ISBN: 0-8218-4595-0
\n14H05 (14-01 30F10 33E05)<\/a><\/p>\n

This book contains an exposition of the classical theory of algebraic functions in one variable (or equivalently, the theory of compact Riemann surfaces). The author divides the book into two parts: in the first part he gives an exposition of the algebraic theory and in the second part presents the analytic theory.<\/p>\n

The aim of the algebraic part of the book is to give the proof of the Riemann-Roch (RR) theorem. The notion of valuation is introduced in Chapter 1 and the proof of the RR theorem is given in the second chapter using the notion of ad\u00e8les<\/span>. The proof presented by Iwasawa is based on A. Weil’s proof [J. Reine Angew. Math. 179<\/span>(1938), 129\u2013133; Zbl 19<\/span>, 247]. Iwasawa gives two definitions of differentials: the definition of Weil in terms of ad\u00e8les<\/span> and the definition of Hasse in terms of power series. The equivalence between these definitions is proved. The final appendix of the book is devoted to explaining the theory of residues of meromorphic functions as developed by J. T. Tate [Ann. Sci. \u00c9cole Norm. Sup. (4) 1<\/span> (1968), 149\u2013159; MR0227171 (37 #2756)<\/a>].<\/p>\n

In Chapters 3, 4 and 5 Iwasawa gives an exposition of the analytical theory of compact Riemann surfaces and the theory of abelian integrals and abelian functions. The proof of the existence of analytic functions and differentials with given singularities is presented following H. Weyl’s method [Die Idee der Riemannschen Fl\u00e4che<\/span>, Teubner, Leipzig, 1913; Jbuch 44<\/span>, 492]. In Chapter 5 Iwasawa gives an elementary introduction to the theory of abelian integrals, Jacobian varieties and theta functions, proving the classical theorems of Abel and Jacobi. The preface of the book contains very interesting historical remarks on the theory of algebraic functions. For a modern reader this is a useful book which can help in understanding the historical developement of the theory of algebraic curves or Riemann surfaces, both from the algebraic and the analytical point of view. The book is written in an elementary way, and is accessible to graduate students.<\/p>\n

Reviewed by Jos\u00e9 M. Mu\u00f1oz Porras<\/a><\/span><\/p>\n

\n

MR0049950<\/strong> (14,252b)<\/strong> Reviewed<\/a>
\nTate, John<\/a>
\nThe higher dimensional cohomology groups of class field theory.<\/span>
\nAnn. of Math. (2)<\/em><\/a> 56, <\/strong>(1952). 294\u2013297.
\n10.0X<\/a>
\nJournal<\/a> Article<\/a><\/p>\n

It is shown that the Galois cohomology group $H^r(G,A)$<\/span> in the id\u00e8le-class group $A$<\/span> of an algebraic number field (or the multiplicative group of a $p$<\/span>-adic number field) is canonically isomorphic to $H^{r-2}(G,Z)$<\/span> where $Z$<\/span> is the additive group of rational integers $(r>2)$<\/span>. Let first $G$<\/span> be a finite group and $A$<\/span> any abelian\u00a0$G$<\/span>-group. Let $alpha$<\/span> be a 2-cohomology class of $G$<\/span> in $A$<\/span>, and $overline A$<\/span> be the Artin splitting group for $alpha$<\/span>. It is proved that the following two axioms are equivalent:
\n(1) $H^1(U,A)=0$<\/span>, and $H^2(U,A)$<\/span> is cyclic of the same order as $U$<\/span>, generated by the restriction of $alpha$<\/span> to $U$<\/span>, for all subgroups $U$<\/span>of $G$<\/span>;
\n(2) $H^1(U,overline A)=H^2(U,overline A)=0$<\/span> for all subgroups $U$<\/span> of $G$<\/span>.
\nThe proof depends on two exact sequences $overline A\/Asimeq I$<\/span>,\u00a0$R\/Isimeq Z$<\/span>, where $R$<\/span> is the group ring of $G$<\/span> over $Z$<\/span>, considered as a $G$<\/span>-module, and $I$<\/span> is its ideal generated by the elements $sigma-1 (sigmain G)$<\/span>. These exact sequences entail exact sequences for 0-, 1-, 2-cohomology groups in $I,A,overline A$<\/span> and in $Z,I,R$<\/span>, respectively. They together lead to the theorem. Combined with the fact that (2) implies the vanishing of higher cohomology groups, due to Serre, Lyndon, Hochschild and the reviewer [cf. Hochschild and Nakayama, Ann. of Math. (2) 55<\/span>, 348\u2013366 (1952); MR0047699 (13,916d)<\/a>], it leads to the fact that $H^r(G,A)$<\/span> is isomorphic with $H^{r-2}(G,Z)$<\/span>; the isomorphism is given by cup product with $alpha$<\/span>. As the fundamental (or canonical) Galois 2-cohomology class $alpha$<\/span> in the id\u00e8le-class group satisfies (1) [Hochschild and Nakayama, loc. cit.], the statement at the opening of the review follows. The vanishing of $H^3(G,A)$<\/span> in this class field theory case, proved independently by Hochschild, is a particular instance. The author promises a subsequent paper in which negative-dimensional cohomology groups will be introduced and the reciprocity law will be regarded as another special case of the result.<\/p>\n

Reviewed by T. Nakayama<\/span>
\n<\/span><\/p>\n

\n

MR0002357<\/strong> (2,38c)<\/strong>
\nChevalley, C.<\/a>
\nLa th\u00e9orie du corps de classes.<\/span> (French)<\/strong>
\nAnn. of Math. (2)<\/em><\/a> 41, <\/strong>(1940). 394\u2013418.
\n10.0X<\/a>
\nJournal<\/a> Article<\/a><\/p>\n

The words “class field theory” have by now obtained a very general meaning. They are used whenever an extension field of an algebraic number field is determined by the original field. Class field theory in the original sense dealt with all finite abelian extension fields of a given field and their connections with the class groups in the original field. The author deals with all finite or infinite abelian extension fields and their connections with the original field; the words “class group,” however, hardly occur in the whole paper. Another striking difference of this paper from earlier work on class field theory [e.g., the author’s thesis, J. Fac. Sci. Univ. Tokyo 2,<\/span> 365\u2013476 (1933)] is the exclusion of analytical methods. The theory of the $zeta$<\/span>-functions which for so long a time seemed necessary can now be omitted. On the other hand, topological methods play an important part in this new presentation of class field theory. [The use of topological methods in this connection was also suggested by D. van Dantzig, Ann. \u00c9cole Norm. (3) 53,<\/span> 275\u2013307 (1936), especially 281.] A topology is introduced into two groups: (1) The Galois group $G$<\/span> of the maximum abelian extension field $A$<\/span> of the given field $K$<\/span> (that is, the field composed of all abelian extension fields of $K$<\/span>). This group is made into a topological group following the method of Krull, who noticed that the Galois groups of $A$<\/span> with respect to all finite abelian extension fields of $K$<\/span> form a complete system of neighborhoods for the unit element of $G$<\/span>. This topological group is compact and therefore the results of Pontrjagin concerning abelian compact groups can be applied to it. (2) The fundamental group $I$<\/span> consisting of the so-called “id\u00e8les” of $K$<\/span>. The introduction of the id\u00e8les enables the author to dispose entirely of the congruence groups [see also C. Chevalley, J. Math. Pures Appl. (9) 15,<\/span> 359\u2013371 (1936)]. An id\u00e8le is a sequence of non-zero $frak\u00a0p$<\/span>-adic numbers (where $frak p$<\/span> runs through all different finite and infinite prime ideals of $K$<\/span> taken in some fixed order), of which only a finite number are not $frak p$<\/span>-adic units. The product of two id\u00e8les is obtained by multiplying the coordinates. If $alpha$<\/span> is any non-zero number of $K$<\/span>, the sequence all of whose elements are $alpha$<\/span> is an id\u00e8le since there is only a finite number of $frak p$’<\/span>s for which $alpha$<\/span> is not a $frak p$<\/span>-adic unit. These special id\u00e8les form a subgroup $P$<\/span> of all id\u00e8les, the principal id\u00e8les. It is isomorphic with the multiplicative group of all non-zero numbers of $K$<\/span>. For the id\u00e8les a norm is defined which satisfies the usual axioms and which agrees with the definition of norm for numbers. Furthermore, a topology is introduced in $I$<\/span> which, though weaker than the $p$<\/span>-adic topology, is more suitable for the present purposes. The character group of $I$<\/span> is of great importance. In particular, a character of $I$<\/span> which is identically equal to 1 on $P$<\/span> is called a differential in analogy to the differentials in the case of algebraic function-fields [see A. Weil, J. Reine Angew. Math. 179,<\/span> 129\u2013133 (1938)]. The main result is the proof of the existence of an isomorphism between the character group of $G$<\/span> and the group of differentials of $K$<\/span>. This isomorphism can be constructed explicitly. Since, according to Pontrjagin, the character group of the compact group $G$<\/span> determines the group $G$<\/span> itself, the group $G$<\/span> therefore also is determined by $K$<\/span> and can indeed be constructed explicitly. This last fact can be considered as the content of Artin’s general law of reciprocity.<\/p>\n

Reviewed by O. Todd-Taussky<\/span><\/p>\n

<\/div>\n
<\/div>","protected":false},"excerpt":{"rendered":"

There has been a lot of news lately about Adele, which I found very exciting because adeles are important in mathematics. \u00a0In number theory, it is helpful to complete the rational numbers (in the sense of topology), since then you … Continue reading →<\/span><\/a><\/p>\n

<\/div>\n","protected":false},"author":86,"featured_media":1982,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[24],"tags":[],"class_list":["post-707","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-short-posts"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/beyondreviews\/files\/2018\/03\/waespi_A_ad005n.jpg","jetpack_shortlink":"https:\/\/wp.me\/p6C2KK-bp","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/707","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/users\/86"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/comments?post=707"}],"version-history":[{"count":24,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/707\/revisions"}],"predecessor-version":[{"id":2346,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/707\/revisions\/2346"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/media\/1982"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/media?parent=707"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/categories?post=707"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/tags?post=707"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}