Afin ve Projektif Çeşitlilikler
Çeşitlilikler, polinom denklemlerinin geometrik çözüm kümeleridir; afin uzayda ve sonsuzdaki noktaların eklenmesiyle daha tekdüze bir ortam olan projektif uzayda incelenmektedir.
Tanım
Bir afin çeşitlilik, afin uzayda bir polinom koleksiyonunun ortak sıfır kümesidir; bir projektif çeşitlilik ise, geometrinin kompakt olduğu ve kesişim teorisinin iyi davrandığı projektif uzaydaki homojen polinomların benzer sıfır kümesidir.
Kapsam
Bu konu, afin çeşitlilikleri polinomların sıfır kümeleri, Zariski topolojisi ve Hilbert'in Nullstellensatz'ı tarafından sağlanan çeşitlilikler ile radikal idealler arasındaki karşılıklılık olarak geliştirmektedir. Koordinat halkası ve fonksiyon alanı, düzenli ve rasyonel haritalar ile Bézout teoreminin ve sonsuzda istisnai davranışın yokluğunun geçerli olduğu projektif uzaya ve projektif çeşitliliklere geçişi tanıtmaktadır. Boyut, indirgenemezlik ve tekil ile düzgün noktalar temel geometrik değişmezler olarak ele alınmaktadır.
Temel sorular
- Nullstellensatz, çeşitlilikler ile idealler arasındaki karşılıklılığı nasıl kesinleştirmektedir?
- Projektif uzay neden çeşitlilikler için doğal bir ortamdır ve sonsuzdaki noktaların eklenmesi neyi düzeltmektedir?
- Bir çeşitliliğin koordinat halkası ve fonksiyon alanı, onun cebirsel gölgeleri nasıl olmaktadır?
- Düzgün noktaları tekil noktalardan ayıran nedir ve boyut cebirsel olarak nasıl tanımlanmaktadır?
Anahtar kavramlar
- Afin çeşitlilikler ve Zariski topolojisi
- Hilbert'in Nullstellensatz'ı ve ideal-çeşitlilik karşılıklılığı
- Koordinat halkası, fonksiyon alanı ve rasyonel haritalar
- Projektif uzay ve projektif çeşitlilikler
- Boyut, indirgenemezlik ve düzgün ile tekil noktalar
Klinik önem
Çeşitlilikler, cebirsel geometri ve uygulamaları boyunca incelenen temel nesnelerdir; kriptografi ve sayı teorisindeki eliptik eğrilerden bilgisayar görüşünde kullanılan projektif modellere ve cebirsel istatistikte analiz edilen çözüm kümelerine kadar geniş bir yelpazede yer almaktadır.
Tarihçe
Polinom denklemleriyle eğrilerin ve yüzeylerin incelenmesi 19. yüzyıla dayanmaktadır; Hilbert'in Nullstellensatz'ı (1893) ve Zariski'nin 1930'lu ve 1940'lı yıllarda titiz topolojik ve cebirsel araçları tanıtması, çeşitliliği modern konunun başlangıç noktası olan kesin bir nesne olarak kurmuştur.
Öne çıkan isimler
- David Hilbert
- Oscar Zariski
- Robin Hartshorne
İlgili konular
Temel eserler
- hartshorne1977
- eisenbud1995
Sıkça sorulan sorular
- Hilbert'in Nullstellensatz'ı neyi ifade etmektedir?
- Cebirsel olarak kapalı bir cisim üzerinde, afin çeşitlilikler ile polinom halkasının radikal idealleri arasında bir birebir eşleme kurmaktadır; böylece geometrik içerme ve kesişim, idealler üzerindeki cebirsel işlemlere tam olarak karşılık gelmektedir.
- Neden afin uzay yerine projektif uzayda çalışılmaktadır?
- Projektif uzay, sonsuzdaki noktaları ekleyerek afin uzayı kompaktlaştırmaktadır; bu da çeşitlilikleri kompakt hale getirmekte, özel durumları (paralel doğruların kesişmesi gibi) ortadan kaldırmakta ve Bézout teoremi gibi net kesişim sonuçları sağlamaktadır.