Lubin-Tate resmi grup yasası - Lubin–Tate formal group law - Wikipedia

Matematikte Lubin-Tate resmi grup yasası bir resmi grup kanunu tarafından tanıtıldı Lubin ve Tate  (1965 ) izole etmek için yerel alan klasik teorinin bir parçası karmaşık çarpma nın-nin eliptik fonksiyonlar. Özellikle, yerel bir alanın tamamen dallanmış değişmeli uzantılarını oluşturmak için kullanılabilir. Bunu (resmi) dikkate alarak yapar endomorfizmler resmi grubun eliptik eğriler Ekstra endomorfizmler vermek için kullanılır değişmeli uzantılar nın-nin küresel alanlar.

Resmi grupların tanımı

İzin Vermek Zp yüzüğü olmak p-adic tamsayılar. Lubin-Tate resmi grup yasası benzersiz (1 boyutlu) resmi grup yasasıdır F öyle ki e(x) = pks + xp bir endomorfizmdir F, Diğer bir deyişle

Daha genel olarak, seçim e herhangi bir güç serisi olabilir ki

e(x) = pks + yüksek dereceli terimler ve
e(x) = xp modp.

Farklı seçenekler için bu tür tüm grup yasaları e bu koşulları sağlamak, kesinlikle izomorfiktir.[1] Bu koşulları, modulo'yu maksimum ideali Frobenius'a indirgemelerini ve başlangıçtaki türevin, asal eleman.

Her eleman için a içinde Zp benzersiz bir endomorfizm var f Lubin-Tate resmi grup yasasının f(x) = balta + yüksek dereceli terimler. Bu, yüzüğün hareketini verir Zp Lubin-Tate resmi grup yasası hakkında.

İle benzer bir yapı var Zp herhangi bir tam ile değiştirilir ayrık değerleme halkası sonlu kalıntı sınıf alanı, nerede p bir seçim ile değiştirilir tek tipleştirici.[2]

Misal

Burada resmi bir grubu özetliyoruz. Frobenius öğesi büyük önem taşıyan sınıf alanı teorisi,[3] üretmek maksimal çerçevelenmemiş uzantı karşılıklılık haritasının görüntüsü olarak.

Bu örnek için, formel bir grup homomorfizmi olan resmi grupların endomorfizmi kavramına ihtiyacımız var. f etki alanı ortak etki alanıdır. Resmi bir gruptan resmi bir grup homomorfizmi F resmi bir gruba G sabit terimi sıfır olan biçimsel gruplarla aynı halka üzerinde bir kuvvet serisidir ve öyle ki:

Resmi bir grup düşünün F (X, Y) yerel bir alandaki tamsayılar halkasındaki katsayılarla (örneğin Zp). Alma X ve Y benzersiz maksimal idealde olmak bize yakınsak bir güç serisi verir ve bu durumda F (X, Y) = X +F Y ve gerçek bir grup yasamız var. Örneğin eğer F (X, Y) = X + Y, o zaman bu olağan eklemedir. Bu, durum için izomorfiktir F (X, Y) = X + Y + XY, asal idealin bir öğesine 1 eklenmiş olarak yazılabilen öğeler kümesi üzerinde çarpma yaptığımız yerde. İkinci durumda f (S) = (1 + S)p-1, F'nin bir endomorfizmidir ve izomorfizm, f'yi Frobenius elementi ile özdeşleştirir.

Dallanmış uzantılar oluşturma

Lubin-Tate teorisi açık olarak önemlidir yerel sınıf alan teorisi. çerçevesiz kısım herhangi bir değişmeli uzatmanın kolayca inşa edildiğinden, Lubin – Tate dallanmış parçanın üretiminde değerini bulur. Bu, kendisiyle tekrar tekrar oluşturulmuş güç serisinin kökleri olarak kabul edilebilecekleri içeren tamsayılar halkası üzerinde bir modül ailesini (doğal sayılarla indekslenmiş) tanımlayarak çalışır. Bu tür modüllerin orijinal alana birleştirilmesiyle oluşturulan tüm alanların bileşimi dallanmış kısmı verir.

Bir Lubin – Tate uzatma yerel bir alanın K bir değişmeli uzantısıdır K dikkate alınarak elde edilmiştir pLubin-Tate grubunun bölünme noktaları. Eğer g bir Eisenstein polinomu, f(t) = t g(t) ve F Lubin-Tate resmi grubu,n bir kökü göstermek gfn-1(t)=g(f(f(⋯(f(t)) ⋯))). Sonra Kn) bir değişmeli uzantısıdır K Galois grubu izomorfik U/1+pn nerede U tamsayılar halkasının birim grubudur K ve p maksimum idealdir.[2]

Kararlı homotopi teorisi ile bağlantı

Lubin ve Tate, deformasyon teorisi bu tür resmi grupların. Teorinin daha sonraki bir uygulaması şu alanda olmuştur: kararlı homotopi teorisi belirli bir yapı ile olağanüstü kohomoloji teorisi belirli bir asal için inşaatla ilişkili p. Biçimsel gruplar için genel mekanizmanın bir parçası olarak, bir kohomoloji teorisi spektrum aynı zamanda adlarıyla da anılan Lubin – Tate resmi grubu için kurulmuştur. Morava E-teorisi veya tamamlandı Johnson-Wilson teorisi.[4]

Referanslar

Notlar

  1. ^ Manin, Yu. BEN.; Panchishkin, A.A. (2007). Modern Sayı Teorisine Giriş. Matematik Bilimleri Ansiklopedisi. 49 (İkinci baskı). s. 168. ISBN  978-3-540-20364-3. ISSN  0938-0396. Zbl  1079.11002.
  2. ^ a b Koch, Helmut (1997). Cebirsel Sayı Teorisi. Encycl. Matematik. Sci. 62 (1. baskı 2. baskı). Springer-Verlag. sayfa 62–63. ISBN  3-540-63003-1. Zbl  0819.11044.
  3. ^ Örneğin. Serre (1967). Hazewinkel, Michiel (1975). "Yerel sınıf alanı teorisi kolaydır". Matematikteki Gelişmeler. 18 (2): 148–181. doi:10.1016/0001-8708(75)90156-5. Zbl  0312.12022.
  4. ^ "Morava E-Teorisi ve Morava K-Teorisi (Ders 22)" (PDF). Jacob Lurie. 27 Nisan 2010. Alındı 27 Eylül 2020.

Kaynaklar

Dış bağlantılar