Sınıf Cisim Kuramı
Sınıf cisim kuramı, cebirsel sayı kuramının zirve noktalarından biridir: bir sayı cisminin tüm değişmeli (abel) genişlemelerini, cismin kendi aritmetiği cinsinden sınıflandırmakta ve kuadratik karşılıklılık yasasını kapsamlı bir karşılıklılık yasasına genelleştirmektedir.
Tanım
Sınıf cisim kuramı, bir sayı cisminin sonlu değişmeli (abel) genişlemeleri ile idel sınıf grubunun (veya genelleştirilmiş ideal sınıf gruplarının) belirli bölüm grupları arasında bir denklik kurmaktadır; Artin karşılıklılık dönüşümü ise her genişlemenin Galois grubuna kanonik bir izomorfizm sağlamaktadır.
Kapsam
Bu konu, sınıf cisim kuramının ana teoremlerini klasik ve idelik formülasyonlarıyla ele almaktadır: genelleştirilmiş ideal sınıf gruplarından Galois gruplarına Artin karşılıklılık yasası ve Artin dönüşümü, kongrüans alt gruplarını değişmeli genişlemelerle eşleştiren varlık teoremi, iletkenler, maksimal dallanmamış değişmeli genişleme olarak Hilbert sınıf cismi, rasyonel sayıların değişmeli genişlemelerini siklotomik cisimler içinde gerçekleştiren Kronecker-Weber teoremi ve yerel sınıf cisim kuramının rolü incelenmektedir.
Temel sorular
- Artin dönüşümü aritmetik verileri Galois otomorfizmlerine nasıl göndermektedir ve neden bir karşılıklılık yasasıdır?
- İdel sınıf grubunun hangi alt grupları hangi değişmeli genişlemelere karşılık gelmektedir (varlık teoremi)?
- Hilbert sınıf cismi nedir ve Galois grubu ideal sınıf grubunu nasıl geri kazanmaktadır?
- Kronecker-Weber teoremi, rasyonel sayıların her değişmeli genişlemesini nasıl tanımlamaktadır?
Temel kuramlar
- Artin karşılıklılığı
- Bir değişmeli genişleme için, her dallanmamış asal sayıyı Frobenius'una gönderen Artin dönüşümü, genelleştirilmiş bir ideal sınıf grubundan Galois grubuna bir izomorfizme genişlemektedir; bu, kuadratik karşılıklılığın geniş bir genellemesidir.
- Varlık teoremi ve Hilbert sınıf cismi
- İdel sınıf grubunda sonlu indekse sahip her açık alt grup, tek bir değişmeli genişlemenin norm grubudur; Hilbert sınıf cismi ise maksimal dallanmamış olanıdır ve Galois grubu kanonik olarak ideal sınıf grubudur.
- Kronecker-Weber teoremi
- Rasyonel sayıların her sonlu değişmeli genişlemesi, birim kökler tarafından üretilen bir siklotomik cisimde yer almaktadır; bu, açık sınıf cisim kuramının ilk ve prototipik örneğidir.
Klinik önem
Sınıf cisim kuramı, Langlands programına ve Fermat'nın Son Teoremi'nin ispatının arkasındaki modülerlik sonuçlarına bir çerçeve sunmaktadır; karmaşık çarpım (complex multiplication) dahil olmak üzere açık formları, eliptik eğri ve izogeni tabanlı kriptografide kullanılan yapılandırmaları da yönlendirmektedir.
Tarihçe
Hilbert, 1900 civarında sınıf cisminin varlığını öne sürmüş ve yol gösterici problemler ortaya koymuştur. Takagi, 1920'de varlık teoremini ispatlamış, Artin 1927'de karşılıklılık yasasını oluşturmuş ve Chevalley'nin 1930'larda idelleri tanıtması, kurama modern adelik formunu kazandırarak Langlands programına zemin hazırlamıştır.
Öne çıkan isimler
- David Hilbert
- Teiji Takagi
- Emil Artin
- Helmut Hasse
İlgili konular
Temel eserler
- cox2013
Sıkça sorulan sorular
- Sınıf cisim kuramı kuadratik karşılıklılık ile nasıl ilişkilidir?
- Kuadratik karşılıklılık en basit durumdur: bir karekök eklenerek elde edilen değişmeli genişlemeyi tanımlamaktadır ve Artin karşılıklılığı bunu herhangi bir sayı cisminin tüm değişmeli genişlemelerine genelleştirmektedir.
- Hilbert sınıf cismi nedir?
- Bir sayı cisminin her yerde dallanmamış olan en büyük değişmeli genişlemesidir; Galois grubu doğal olarak cismin ideal sınıf grubuna izomorfiktir, bu nedenle derecesi sınıf sayısına eşittir.