Adelic algebraic group

Adelic algebraic group

In mathematics, an adelic algebraic group is a topological 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 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 G(A) is taken to be the subspace topology in "A""N", the Cartesian product of "N" copies of the adele ring.

An important example, the idele group "I"("K"), is the case of G = GL_1. Here the set of "ideles" (correctly, idèles) 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 GL_1 lies in two-dimensional affine space as the 'hyperbola' defined parametrically by

:{("t", "t"−1)},

the topology correctly assigned to the idele group is that induced by inclusion in "A""2"; composing with a projection, we see 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

:"I"("K")/"K"×

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.

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 first in the mid-1930s, by Claude Chevalley. This was to formulate class field theory for infinite extensions in terms of topological groups. Shortly afterwards the "adèles" (additive idèles) were used by André Weil, to formulate a proof of the Riemann-Roch theorem. 'Adèle' being a French girls' name, this joke was not acceptable to some, who preferred the term "répartitions". The general construction of adelic algebraic groups in the 1950s followed in short order the algebraic group theory founded by Armand Borel and Harish-Chandra, and at this point the terminology became fixed.

ee also

*Weil conjecture on Tamagawa numbers

External links

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


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Algebraic group — In algebraic geometry, an algebraic group (or group variety) is a group that is an algebraic variety, such that the multiplication and inverse are given by regular functions on the variety. In category theoretic terms, an algebraic group is a… …   Wikipedia

  • Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

  • Approximation in algebraic groups — In mathematics, strong approximation in linear algebraic groups is an important arithmetic property of matrix groups. In rough terms, it explains to what extent there can be an extension of the Chinese remainder theorem to various kinds of… …   Wikipedia

  • List of algebraic number theory topics — This is a list of algebraic number theory topics. Contents 1 Basic topics 2 Important problems 3 General aspects 4 Class field theory …   Wikipedia

  • Adele ring — In number theory, the adele ring is a topological ring which is built on the field of rational numbers (or, more generally, any algebraic number field). It involves all the completions of the field.The word adele is short for additive idele .… …   Wikipedia

  • Lattice (discrete subgroup) — In Lie theory and related areas of mathematics, a lattice in a locally compact topological group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of R n , this amounts …   Wikipedia

  • Representation theory — This article is about the theory of representations of algebraic structures by linear transformations and matrices. For the more general notion of representations throughout mathematics, see representation (mathematics). Representation theory is… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Séminaire Nicolas Bourbaki (1950–1959) — Continuation of the Séminaire Nicolas Bourbaki programme, for the 1950s. 1950/51 series *33 Armand Borel, Sous groupes compacts maximaux des groupes de Lie, d après Cartan, Iwasawa et Mostow (maximal compact subgroups) *34 Henri Cartan, Espaces… …   Wikipedia

  • Automorphic form — In mathematics, the general notion of automorphic form is the extension to analytic functions, perhaps of several complex variables, of the theory of modular forms. It is in terms of a Lie group G, to generalise the groups SL2(R) or PSL2 (R) of… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”