Lokalizasyon
Lokalizasyon, bir halkanın seçilmiş bir eleman kümesinin resmi olarak tersini alarak, bir asal idealin yakınındaki cebirsel davranışı ayrıştıran bir kesirler halkası üretir; bu, geometrik olarak yakınlaştırmanın cebirsel karşılığıdır.
Tanım
Bir değişmeli halkanın çarpımsal olarak kapalı bir kümedeki lokalizasyonu, o kümenin terslerinin resmi olarak eklenmesiyle elde edilen kesirler halkasıdır; bir asal idealin tümleyeninde lokalizasyon yapmak, benzersiz bir maksimal ideale sahip bir lokal halka vermektedir.
Kapsam
Bu konu, kesirler halkalarının ve modüllerinin inşasını, bir asal idealde lokalizasyonu ve ortaya çıkan lokal halkayı, lokalizasyonun kesinliğini, bir lokalizasyonun asalları ile halkanın asalları arasındaki yazışmayı ve yerel-küresel ilkeyi kapsamaktadır.
Temel sorular
- Bir halkanın elemanları resmi olarak nasıl tersine çevrilir?
- Lokal halka nedir ve bir asal idealde lokalizasyon nasıl bir lokal halka üretir?
- Bir lokalizasyonun asal idealleri, orijinal halkanın asal idealleriyle nasıl ilişkilidir?
- Yerel-küresel ilke, küresel ifadeleri yerel ifadelere nasıl indirger?
Temel kuramlar
- Kesirler Halkası ve Modülü
- Çarpımsal olarak kapalı bir kümenin tersini almak, o kümeyi birimlere gönderen halka dönüşümleri arasında evrensel bir özelliğe sahip bir kesirler halkası verir ve aynı yapı modülleri uyumlu bir şekilde lokalize etmektedir.
- Lokalizasyonun Kesinliği
- Lokalizasyon, enjeksiyonları, sürjeksiyonları ve kesin dizileri koruyan kesin bir fonktördür; bu da onu modülleri incelemek için özellikle iyi huylu bir araç haline getirmektedir.
- Yerel-Küresel İlke
- Bir modülün veya halkanın birçok özelliği, ancak her asal (veya maksimal) idealde lokalizasyon yapıldıktan sonra geçerli olmaları durumunda küresel olarak geçerlidir; bu nedenle yerel hesaplamalar küresel yapıyı belirlemektedir.
Klinik önem
Lokalizasyon, bir noktanın yakınındaki bir uzayı incelemenin cebirsel formülasyonudur: cebirsel geometride bir varyete üzerindeki noktaların lokal halkalarını ve yapı demetini (structure sheaf) inşa ederken, sayı teorisinde yerel-küresel yöntemlerin temelini oluşturan asal sayılardaki tam sayılar halkalarının lokalizasyonlarını üretmektedir.
Tarihçe
Lokalizasyon, bir tamlık bölgesinden kesirler cismine geçişi ve sayı teorisinin p-adik yapılarını genelleştirmiştir. Krull ve Chevalley 1930'larda ve 1940'larda lokal halkaları geliştirmişler, lokalizasyon ise Zariski ve Grothendieck'in değişmeli cebirin geometrik yeniden formülasyonuyla temel bir kavram haline gelmiştir.
Öne çıkan isimler
- Wolfgang Krull
- Claude Chevalley
- Oscar Zariski
- Alexander Grothendieck
İlgili konular
Temel eserler
- atiyah1969
- eisenbud1995
- matsumura1989
Sıkça sorulan sorular
- Bir asal idealde lokalizasyon yapmak ne anlama gelir?
- Asal idealde olmayan her elemanın tersini almak anlamına gelir; bu, benzersiz maksimal ideali o asal ideale karşılık gelen bir lokal halka bırakır. Geometrik olarak bu, halkanın asal idealin temsil ettiği noktanın yakınındaki davranışına odaklanmayı sağlamaktadır.
- Yerel-küresel ilke neden kullanışlıdır?
- Bir modülün sıfır olması veya bir dönüşümün izomorfizm olması gibi birçok özellik, lokalizasyon yapıldıktan sonra her bir asal idealde ayrı ayrı kontrol edilebilmektedir. Bu durum, zor küresel soruları daha basit yerel sorulara indirgemektedir ki bu, cebir ve sayı teorisinde tekrarlayan bir stratejidir.