Grupo algebraico adélico

En álgebra abstracta , un grupo algebraico adélico es un grupo semitopológico definido por un grupo algebraico G sobre un cuerpo de números K y el anillo de Adele A = A ( K ) de K. Consiste en los puntos de G que tienen valores en A ; la definición de la topología apropiada es sencilla solo en caso de que G sea un grupo algebraico lineal . En el caso de que G sea una variedad abeliana , presenta un obstáculo técnico, aunque se sabe que el concepto es potencialmente útil en conexión con los números de Tamagawa. Los grupos algebraicos adélicos se utilizan ampliamente en la teoría de números , particularmente para la teoría de representaciones automórficas y la aritmética de formas cuadráticas.

En caso de que G sea un grupo algebraico lineal, se trata de una variedad algebraica afín en el espacio N afín . La topología en el grupo algebraico adélico se toma como la topología del subespacio en A ^N , el producto cartesiano de N copias del anillo de Adele. En este caso, es un grupo topológico.${\estilo de visualización G(A)}$${\estilo de visualización G(A)}$

Históricamente, los idèles ( / ɪ ˈ d ɛ l z / ) fueron introducidos por Chevalley  (1936) bajo el nombre de "élément idéal", que es "elemento ideal" en francés, que Chevalley (1940) luego abrevió a "idèle" siguiendo una sugerencia de Hasse. (En estos artículos también le dio a los ideles una topología no hausdorffiana ). Esto fue para formular la teoría de campos de clases para extensiones infinitas en términos de grupos topológicos. Weil (1938) definió (pero no nombró) el anillo de adeles en el caso del campo de funciones y señaló que el grupo de Chevalley de Idealelemente era el grupo de elementos invertibles de este anillo. Tate (1950) definió el anillo de adeles como un producto directo restringido, aunque llamó a sus elementos "vectores de valoración" en lugar de adeles.

Chevalley (1951) definió el anillo de adeles en el caso del cuerpo de funciones, bajo el nombre de "reparticiones"; el término contemporáneo adèle significa 'idèles aditivos', y también puede ser un nombre de mujer francés. El término adèle se utilizó poco después (Jaffard 1953) y puede haber sido introducido por André Weil . La construcción general de grupos algebraicos adélicos por Ono (1957) siguió la teoría de grupos algebraicos fundada por Armand Borel y Harish-Chandra .

Un ejemplo importante, el grupo de elementos ideales (grupo de elementos ideales) I ( K ), es el caso de . Aquí el conjunto de elementos ideales consiste en los elementos ideales invertibles; pero la topología en el grupo de elementos ideales no es su topología como un subconjunto de los elementos ideales. En cambio, considerando que se encuentra en un espacio afín bidimensional como la ' hipérbola ' definida paramétricamente por$Estilo de visualización G=GL_{1}$$Estilo de visualización GL_{1}$

${\displaystyle \{(t,t^{-1})\},}$

La topología correctamente asignada al grupo ideal es la inducida por la inclusión en A ² ; componiendo con una proyección, se deduce que los ideal tienen una topología más fina que la topología del subespacio de  A .

Dentro de A ^N , el producto K ^N se encuentra como un subgrupo discreto . Esto significa que G ( K ) es un subgrupo discreto de G ( A ), también. En el caso del grupo ideal, el grupo cociente

${\displaystyle I(K)/K^{\times }\,}$

es el grupo de clases ideal . Está estrechamente relacionado con el grupo de clases ideal (aunque es más grande que él) . El grupo de clases ideal no es compacto en sí mismo; los ideals deben primero reemplazarse por los ideals de norma 1, y luego la imagen de aquellos en el grupo de clases ideal es un grupo compacto ; la prueba de esto es esencialmente equivalente a la finitud del número de clase.

El estudio de la cohomología de Galois de los grupos de clases idele es un tema central en la teoría de cuerpos de clases . Los caracteres del grupo de clases idele, ahora llamados caracteres de Hecke o caracteres de Größen, dan lugar a la clase más básica de funciones L.

Para un G más general , el número de Tamagawa se define (o se calcula indirectamente) como la medida de

G ( A )/ G ( K ).

La observación de Tsuneo Tamagawa fue que, a partir de una forma diferencial invariante ω en G , definida sobre K , la medida involucrada estaba bien definida : mientras que ω podía reemplazarse por c ω con c un elemento distinto de cero de K , la fórmula del producto para valoraciones en K se refleja en la independencia de c de la medida del cociente, para la medida del producto construida a partir de ω en cada factor efectivo. El cálculo de los números de Tamagawa para grupos semisimples contiene partes importantes de la teoría clásica de la forma cuadrática .

• Anillo de adeles

Este artículo incluye una lista de referencias , lecturas relacionadas o enlaces externos , pero sus fuentes no están claras porque carece de citas en línea . Ayúdenos a mejorar este artículo introduciendo citas más precisas. ( Marzo de 2016 ) ( Aprenda cómo y cuándo eliminar este mensaje )

• Chevalley, Claude (1936), "Généralisation de la théorie du corps de Classes pour les extensions infinies", Journal de Mathématiques Pures et Appliquées (en francés), 15 : 359–371, JFM  62.1153.02
• Chevalley, Claude (1940), "La théorie du corps de Classes", Annals of Mathematics , segunda serie, 41 (2): 394–418, doi :10.2307/1969013, ISSN  0003-486X, JSTOR  1969013, MR  0002357
• Chevalley, Claude (1951), Introducción a la teoría de funciones algebraicas de una variable , Mathematical Surveys, n.º VI, Providence, RI: American Mathematical Society , MR  0042164
• Jaffard, Paul (1953), Anneaux d'adèles (d'après Iwasawa), Séminaire Bourbaki, Secrétariat mathématique, París, MR  0157859
• Ono, Takashi (1957), "Sur une propriété arithmétique des groupes algébriques commutatifs", Bulletin de la Société Mathématique de France , 85 : 307–323, doi : 10.24033/bsmf.1491 , ISSN  0037-9484, MR  0094362
• Tate, John T. (1950), "Análisis de Fourier en cuerpos numéricos y funciones zeta de Hecke", Teoría algebraica de números (Proc. Instructional Conf., Brighton, 1965) , Thompson, Washington, DC, págs. 305–347, ISBN 978-0-9502734-2-6, Sr.  0217026
• Weil, André (1938), "Zur algebraischen Theorie der algebraischen Funktionen.", Journal für die Reine und Angewandte Mathematik (en alemán), 179 : 129–133, doi :10.1515/crll.1938.179.129, ISSN  0075-4102, S2CID  116472982

• Rapinchuk, AS (2001) [1994], "Número de Tamagawa", Enciclopedia de Matemáticas , EMS Press