Artin karşılıklılık yasası - Artin reciprocity law

Artin karşılıklılık yasasıtarafından kurulan Emil Artin bir dizi makalede (1924; 1927; 1930), genel bir teoremdir sayı teorisi küreselin merkezi bir parçasını oluşturan sınıf alanı teorisi.[1] Dönem "karşılıklılık yasası ", genelleştirdiği daha somut sayı teorik ifadelerinden oluşan uzun bir diziyi ifade eder. ikinci dereceden karşılıklılık yasası ve karşılıklılık yasaları Eisenstein ve Kummer -e Hilbert's için ürün formülü norm sembolü. Artin'in sonucu şunlara kısmi bir çözüm sağladı: Hilbert'in dokuzuncu problemi.

Beyan

İzin Vermek LK olmak Galois uzantısı nın-nin küresel alanlar ve CL için durmak idèle sınıf grubu nın-nin L. İfadelerinden biri Artin karşılıklılık yasası kanonik bir izomorfizm var mı? küresel sembol haritası [2][3]

ab, bir grubun değişmeli hale gelmesini belirtir. Harita adı verilen haritaları bir araya getirerek tanımlanır yerel Artin sembolü, yerel karşılıklılık haritası ya da norm kalıntı sembolü[4][5]

farklı yerler için v nın-nin K. Daha kesin, yerel haritalar tarafından verilmektedir üzerinde v- bir idèle sınıfının bileşeni. Haritalar izomorfizmlerdir. Bu içeriğidir yerel karşılıklılık hukukuana teoremi yerel sınıf alan teorisi.

Kanıt

Küresel karşılıklılık yasasının kohomolojik bir kanıtı, önce şunu belirleyerek elde edilebilir:

oluşturur sınıf oluşumu Artin ve Tate anlamında.[6] Sonra biri bunu kanıtlıyor

nerede belirtmek Tate kohomoloji grupları. Kohomoloji grupları üzerinde çalışmak, θ bir izomorfizmdir.

Önem

Artin'in karşılıklılık yasası, değişmeli hale getirme mutlak Galois grubu bir küresel alan K dayalı olan Hasse yerel-küresel ilkesi ve kullanımı Frobenius elemanları. İle birlikte Takagi varoluş teoremi, tanımlamak için kullanılır değişmeli uzantılar nın-nin K aritmetiği açısından K ve davranışını anlamak için arşimet olmayan yerler onların içinde. Bu nedenle, Artin karşılıklılık yasası, küresel sınıf alan teorisinin ana teoremlerinden biri olarak yorumlanabilir. Kanıtlamak için kullanılabilir Artin L fonksiyonları vardır meromorfik ve kanıtı için Chebotarev yoğunluk teoremi.[7]

Artin, 1927'de genel mütekabiliyet yasasının yayınlanmasından iki yıl sonra, homomorfizm transferi I. Schur ve karşılıklılık yasasını çevirmek için kullandı. müdürlük sorunu sonlu değişmeli olmayan grupların aktarımlarının çekirdeklerini belirleme görevine, ideal cebirsel sayı alan sınıfları için.[8]

Global alanların sonlu uzantıları

Bir için Artin haritasının tanımı sonlu değişmeli uzantısı L/K nın-nin küresel alanlar (örneğin sonlu değişmeli uzantısı gibi ) açısından somut bir tanıma sahiptir ana idealler ve Frobenius elemanları.

Eğer bir asal K sonra ayrıştırma grupları asalların yukarıda Gal'de eşittir (L/K) çünkü ikinci grup değişmeli. Eğer dır-dir çerçevesiz içinde L, ardından ayrıştırma grubu kalıntı alanlarının uzantısının Galois grubuna kanonik olarak izomorfiktir bitmiş . Bu nedenle Gal'de kanonik olarak tanımlanmış bir Frobenius öğesi vardır (L/K) ile gösterilir veya . Eğer Δ, göreceli ayırt edici nın-nin L/K, Artin sembolü (veya Artin haritasıveya (küresel) karşılıklılık haritası) nın-nin L/K üzerinde tanımlanmıştır asal-Δ kesirli ideal grubu, , doğrusallıkla:

Artin karşılıklılık yasası (veya küresel karşılıklılık hukuku) bir modül c nın-nin K Artin haritası bir izomorfizma neden olacak şekilde

nerede Kc,1 ... ışın modülo c, NL/K ile ilişkili norm haritası L/K ve kesirli idealler L asal c. Böyle bir modül c denir modülü tanımlama L/K. En küçük tanımlayıcı modüle denir şef L/K ve tipik olarak gösterilir

Örnekler

İkinci dereceden alanlar

Eğer bir karesiz tam sayı, ve , sonra {± 1} ile tanımlanabilir. Ayırıcı Δ L bitmiş dır-dir d veya 4d olup olmadığına bağlı olarak d ≡ 1 (mod 4) ya da değil. Artin haritası daha sonra asal sayılarda tanımlanır p Δ ile bölünmeyen

nerede ... Kronecker sembolü.[9] Daha spesifik olarak, kondüktör Δ'nin pozitif veya negatif olmasına göre temel ideal (Δ) veya (Δ) ∞,[10] ve Artin haritası, idealden Δ'ye (n) Kronecker sembolü ile verilir Bu bir asal olduğunu gösterir p bölünmüş veya inert L göre 1 veya -1'dir.

Siklotomik alanlar

İzin Vermek m > 1 tek bir tamsayı veya 4'ün katı olsun. olmak ilkel mbirliğin kökü ve izin ver ol minci siklotomik alan. ile tanımlanabilir σ göndererek aσ kural tarafından verilen

Orkestra şefi dır-dir (m)∞,[11] ve Artin haritası bir asalm ideal (n) basitçe n (mod m) içinde [12]

İkinci dereceden karşılıklılık ile ilişkisi

İzin Vermek p ve farklı garip asallar olun. Kolaylık sağlamak için (her zaman 1'dir (mod 4)). Ardından, ikinci dereceden karşılıklılık şunu belirtir:

İkinci dereceden ve Artin karşılıklılık yasaları arasındaki ilişki kuadratik alan incelenerek verilir. ve siklotomik alan aşağıdaki gibi.[9] İlk, F alt alanı Löyleyse H = Gal (L/F) ve sonra İkincisi 2. sıraya sahip olduğundan, alt grup H içindeki kareler grubu olmalıdır Artin sembolünün temel bir özelliği, her asal-ideal için (n)

Ne zaman n = pbu gösteriyor ki ancak ve ancak, p modulo ℓ içinde Hyani eğer ve sadece p bir kare modulo ℓ.

Açısından ifade L-fonksiyonlar

Karşılıklılık yasasının alternatif bir versiyonu, Langlands programı, bağlanır Artin L fonksiyonları bir değişmeli uzantılarıyla ilişkili sayı alanı idèle sınıf grubunun karakterleriyle ilişkili Hecke L işlevleri ile.[13]

Bir Hecke karakteri (veya Größencharakter) bir sayı alanının K olarak tanımlanır quasicharacter boş sınıf grubunun K. Robert Langlands Hecke karakterlerini şöyle yorumladı: otomorfik formlar üzerinde indirgeyici cebirsel grup GL(1) üzerinden adeles yüzüğü nın-nin K.[14]

İzin Vermek bir abelyan Galois uzantısı olmak Galois grubu G. Sonra herhangi biri için karakter (yani tek boyutlu kompleks temsil Grubun G), bir Hecke karakteri var nın-nin K öyle ki

sol taraf, σ karakterli uzantı ile ilişkili Artin L fonksiyonudur ve sağ taraf, χ, Bölüm 7.D 'nin Hecke L fonksiyonudur.[14]

Artin karşılıklılık yasasının bir eşitlik olarak formülasyonu L-fonksiyonlar, bir genellemenin formülasyonuna izin verir nboyutsal temsiller, ancak doğrudan bir yazışma hala eksiktir.

Notlar

  1. ^ Helmut Hasse, Sınıf Alan Teorisinin Tarihi, içinde Cebirsel Sayı Teorisi, Cassels ve Frölich tarafından düzenlenmiştir, Academic Press, 1967, s. 266–279
  2. ^ Neukirch (1999) s. 391
  3. ^ Jürgen Neukirch, Algebraische Zahlentheorie, Springer, 1992, s. 408. Aslında, karşılıklılık yasasının daha kesin bir versiyonu dallanmanın kaydını tutar.
  4. ^ Serre (1967) s. 140
  5. ^ Serre (1979) s. 1997
  6. ^ Serre (1979) s. 164
  7. ^ Jürgen Neukirch, Algebraische Zahlentheorie, Springer, 1992, Bölüm VII
  8. ^ Artin, Emil (Aralık 1929), "Idealklassen in oberkörpern und allgemeines reziprozitätsgesetz", Abhandlungen aus dem Mathematischen Seminer der Universität Hamburg, 7 (1): 46–51, doi:10.1007 / BF02941159.
  9. ^ a b Lemmermeyer 2000, §3.2
  10. ^ Milne 2008, örnek 3.11
  11. ^ Milne 2008, örnek 3.10
  12. ^ Milne 2008, örnek 3.2
  13. ^ James Milne, Sınıf Alan Teorisi
  14. ^ a b Gelbart, Stephen S. (1975), Adele grupları üzerinde otomorfik formlar, Matematik Çalışmaları Yıllıkları, 83, Princeton, NJ: Princeton University Press, BAY  0379375.

Referanslar