Teoría de Campos de Clases

La teoría de campos de clases es el logro culminante de la teoría algebraica de números: clasifica todas las extensiones abelianas de un campo numérico en términos de la propia aritmética del campo, generalizando la reciprocidad cuadrática a una ley de reciprocidad de amplio alcance.

Definition

La teoría de campos de clases establece una correspondencia entre las extensiones abelianas finitas de un campo numérico y ciertos grupos cociente de su grupo de clases de ideles (o grupos de clases de ideales generalizados), con el mapa de reciprocidad de Artin proporcionando un isomorfismo canónico sobre el grupo de Galois de cada extensión.

Scope

Este tema cubre los teoremas principales de la teoría de campos de clases en sus formulaciones clásica e idelica: la ley de reciprocidad de Artin y el mapa de Artin desde grupos de clases de ideales generalizados a grupos de Galois, el teorema de existencia que empareja subgrupos de congruencia con extensiones abelianas, conductores, el campo de clases de Hilbert como la extensión abeliana no ramificada máxima, el teorema de Kronecker-Weber que realiza extensiones abelianas de los racionales dentro de campos ciclotómicos, y el papel de la teoría de campos de clases local.

Core questions

• ¿Cómo envía el mapa de Artin los datos aritméticos a los automorfismos de Galois, y por qué es una ley de reciprocidad?
• ¿Qué subgrupos del grupo de clases de ideles corresponden a qué extensiones abelianas (el teorema de existencia)?
• ¿Qué es el campo de clases de Hilbert y cómo recupera su grupo de Galois el grupo de clases de ideales?
• ¿Cómo describe el teorema de Kronecker-Weber cada extensión abeliana de los racionales?

Key theories

Reciprocidad de Artin

Para una extensión abeliana, el mapa de Artin que envía cada primo no ramificado a su Frobenius se extiende a un isomorfismo desde un grupo de clases de ideales generalizado sobre el grupo de Galois, una vasta generalización de la reciprocidad cuadrática.

Teorema de existencia y campo de clases de Hilbert

Cada subgrupo abierto de índice finito en el grupo de clases de ideles es el grupo de normas de una extensión abeliana única; el campo de clases de Hilbert es el máximo no ramificado, con el grupo de Galois canónicamente el grupo de clases de ideales.

Teorema de Kronecker-Weber

Cada extensión abeliana finita de los números racionales está contenida en un campo ciclotómico generado por raíces de la unidad, la primera y prototípica instancia de la teoría explícita de campos de clases.

Clinical relevance

La teoría de campos de clases enmarca el programa de Langlands y los resultados de modularidad detrás de la prueba del Último Teorema de Fermat; las formas explícitas, incluida la multiplicación compleja, también impulsan construcciones utilizadas en criptografía basada en curvas elípticas e isogenias.

History

Hilbert conjeturó la existencia del campo de clases y planteó problemas orientadores alrededor de 1900. Takagi demostró el teorema de existencia en 1920, Artin estableció la ley de reciprocidad en 1927, y la introducción de ideles por Chevalley en la década de 1930 dio a la teoría su forma adélica moderna, sentando las bases para el programa de Langlands.

Key figures

• David Hilbert
• Teiji Takagi
• Emil Artin
• Helmut Hasse

Seminal works

• cox2013

Frequently asked questions

¿Cómo se relaciona la teoría de campos de clases con la reciprocidad cuadrática?

La reciprocidad cuadrática es el caso más simple: describe la extensión abeliana obtenida al adjuntar una raíz cuadrada, y la reciprocidad de Artin la generaliza a todas las extensiones abelianas de cualquier campo numérico.

¿Qué es el campo de clases de Hilbert?

Es la extensión abeliana más grande de un campo numérico que no está ramificada en todas partes; su grupo de Galois es naturalmente isomorfo al grupo de clases de ideales del campo, por lo que su grado es igual al número de clases.