“Adelic algebraic group”的意思、由来-开放百科全书

词条

Adelic algebraic group

释义

Ideles
Tamagawa numbers
History of the terminology
References
External links

In abstract algebra, an adelic algebraic group is a semitopological group defined by an algebraic group G over a number field K, and the adele ring A = A(K) of K. It consists of the points of G having values in A; the definition of the appropriate topology is straightforward only in case G is a linear algebraic group. In the case of G being an abelian variety, it presents a technical obstacle, though it is known that the concept is potentially useful in connection with Tamagawa numbers. Adelic algebraic groups are widely used in number theory, particularly for the theory of automorphic representations, and the arithmetic of quadratic forms.

In case G is a linear algebraic group, it is an affine algebraic variety in affine N-space. The topology on the adelic algebraic group is taken to be the subspace topology in A^N, the Cartesian product of N copies of the adele ring. In this case, is a topological group.

Ideles

An important example, the idele group I(K), is the case of . Here the set of ideles (also idèles {{IPAc-en|ɪ|ˈ|d|ɛ|l|z}}) consists of the invertible adeles; but the topology on the idele group is not their topology as a subset of the adeles. Instead, considering that lies in two-dimensional affine space as the 'hyperbola' defined parametrically by

the topology correctly assigned to the idele group is that induced by inclusion in A²; composing with a projection, it follows that the ideles carry a finer topology than the subspace topology from A.

Inside A^N, the product K^N lies as a discrete subgroup. This means that G(K) is a discrete subgroup of G(A), also. In the case of the idele group, the quotient group

is the idele class group. It is closely related to (though larger than) the ideal class group. The idele class group is not itself compact; the ideles must first be replaced by the ideles of norm 1, and then the image of those in the idele class group is a compact group; the proof of this is essentially equivalent to the finiteness of the class number.

The study of the Galois cohomology of idele class groups is a central matter in class field theory. Characters of the idele class group, now usually called Hecke characters, give rise to the most basic class of L-functions.

Tamagawa numbers

For more general G, the Tamagawa number is defined (or indirectly computed) as the measure of

G(A)/G(K).

Tsuneo Tamagawa's observation was that, starting from an invariant differential form ω on G, defined over K, the measure involved was well-defined: while ω could be replaced by cω with c a non-zero element of K, the product formula for valuations in K is reflected by the independence from c of the measure of the quotient, for the product measure constructed from ω on each effective factor. The computation of Tamagawa numbers for semisimple groups contains important parts of classical quadratic form theory.

History of the terminology

Historically the idèles were introduced by {{harvs|txt|last=Chevalley|authorlink=Claude Chevalley|year=1936}} under the name "élément idéal", which is "ideal element" in French, which {{harvtxt|Chevalley|1940}} then abbreviated to "idèle" following a suggestion of Hasse. (In these papers he also gave the ideles a non-Hausdorff topology.) This was to formulate class field theory for infinite extensions in terms of topological groups. {{harvtxt|Weil|1938}} defined (but did not name) the ring of adeles in the function field case and pointed out that Chevalley's group of Idealelemente was the group of invertible elements of this ring. {{harvtxt|Tate|1950}} defined the ring of adeles as a restricted direct product, though he called its elements "valuation vectors" rather than adeles.

{{harvtxt|Chevalley|1951}} defined the ring of adeles in the function field case, under the name "repartitions". The term adèle (short for additive idèles, and also a French woman's name) was in use shortly afterwards {{harv|Jaffard|1953}} and may have been introduced by André Weil. The general construction of adelic algebraic groups by {{harvtxt|Ono|1957}} followed the algebraic group theory founded by Armand Borel and Harish-Chandra.

References

{{Citation | last1=Chevalley | first1=Claude | title=Généralisation de la théorie du corps de classes pour les extensions infinies. | language=French | jfm=62.1153.02 | year=1936 | journal=Journal de Mathématiques Pures et Appliquées | volume=15 | pages=359–371}}
{{Citation | last1=Chevalley | first1=Claude | title=La théorie du corps de classes | jstor=1969013 | mr=0002357 | year=1940 | journal=Annals of Mathematics |series=Second Series | issn=0003-486X | volume=41 | pages=394–418 | doi=10.2307/1969013}}
{{Citation | last1=Chevalley | first1=Claude | title=Introduction to the Theory of Algebraic Functions of One Variable | publisher=American Mathematical Society | location=Providence, R.I. | series=Mathematical Surveys, No. VI | mr=0042164 | year=1951}}
{{Citation | last1=Jaffard | first1=Paul | title=Anneaux d'adèles (d'après Iwasawa) | url=http://www.numdam.org/item?id=SB_1954-1956__3__23_0 | publisher=Secrétariat mathématique, Paris | series=Séminaire Bourbaki, | mr=0157859 | year=1953}}
{{Citation | last1=Ono | first1=Takashi | title=Sur une propriété arithmétique des groupes algébriques commutatifs | url=http://www.numdam.org/item?id=BSMF_1957__85__307_0 | mr=0094362 | year=1957 | journal=Bulletin de la Société Mathématique de France | issn=0037-9484 | volume=85 | pages=307–323}}
{{Citation | last1=Tate | first1=John T. | title=Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965) | publisher=Thompson, Washington, D.C. | isbn=978-0-9502734-2-6 | mr=0217026 | year=1950 | chapter=Fourier analysis in number fields, and Hecke's zeta-functions | pages=305–347}}
{{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Zur algebraischen Theorie der algebraischen Funktionen. | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002174502 | language=German | doi=10.1515/crll.1938.179.129 | year=1938 | journal=Journal für die Reine und Angewandte Mathematik | issn=0075-4102 | volume=179 | pages=129–133}}

External links

{{springer|first=A.S. |last=Rapinchuk|id=T/t092060|title=Tamagawa number}}

3 : Topological groups|Algebraic number theory|Algebraic groups

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。