Divizörler ve Riemann-Roch
Divizörler, bir varyete üzerindeki fonksiyonların sıfırlarını ve kutuplarını kaydetmektedir; doğru demetleri (line bundles) bunları geometrik olarak paketlemekte ve Riemann-Roch teoremi, belirli kutup davranışına sahip fonksiyonları geometrik değişmezler (invariants) cinsinden saymaktadır.
Tanım
Bir varyete üzerindeki bir divizör, sıfırları ve kutupları kodlayan kodimensiyon-bir alt varyetelerin biçimsel bir birleşimidir; doğru demetleri ise bunların geometrik karşılıklarıdır ve Riemann-Roch teoremi, bir divizörün kesitler uzayının boyutunu, divizörün derecesi, cinsi (genus) ve kanonik divizör ile ilişkilendirmektedir.
Kapsam
Bu konu, Weil ve Cartier divizörlerini, doğrusal denkliği, divizör sınıf grubunu ve Picard grubunu, ayrıca divizörler ile doğru demetleri (tersinir demetler/invertible sheaves) arasındaki karşılığı ele almaktadır. Doğrusal sistemleri ve bunların tanımladığı izdüşümsel uzaya (projective space) olan haritaları, kanonik divizörü ve bir eğrinin cinsini (genus) işleyerek, eğriler için Riemann-Roch teoremi ve Serre dualitesinin rolü ile sonuçlanmaktadır. Yüksek boyutlu ve Grothendieck-Hirzebruch genellemeleri, doğal bir uzantı olarak belirtilmektedir.
Temel sorular
- Weil ve Cartier divizörleri, rasyonel fonksiyonların sıfır ve kutup davranışını nasıl kodlamaktadır?
- Doğrusal denkliğe kadar olan divizörler neden doğru demetleriyle aynı veriyi temsil etmektedir?
- Doğrusal sistemler, bir varyeteden izdüşümsel uzaya (projective space) olan haritaları nasıl belirlemektedir?
- Riemann-Roch teoremi neyi hesaplamaktadır ve Serre dualitesi nasıl devreye girmektedir?
Anahtar kavramlar
- Weil ve Cartier divizörleri; doğrusal denklik
- Divizör sınıf grubu ve Picard grubu
- Doğru demetleri (tersinir demetler/invertible sheaves) ve doğrusal sistemler
- Kanonik divizör ve bir eğrinin cinsi (genus)
- Riemann-Roch teoremi ve Serre dualitesi
Klinik önem
Divizörler ve Riemann-Roch, eğriler teorisinin hesaplama çekirdeğini oluşturmakta ve hata düzeltici Goppa kodlarının inşasının, eliptik eğrilerin aritmetiğinin ve cebirsel yüzeylerin ve yüksek boyutlu varyetelerin sınıflandırılmasının temelini oluşturmaktadır.
Tarihçe
Riemann'ın fonksiyon uzaylarının boyutu üzerine eşitsizliği (1857), öğrencisi Roch tarafından Riemann-Roch teoremine dönüştürülerek tamamlanmıştır; Hirzebruch'un 20. yüzyıl ortalarındaki genellemesi ve Grothendieck'in göreceli versiyonu, bu teoremi modern kohomolojik cebirsel geometriye yerleştirmiştir.
Öne çıkan isimler
- Bernhard Riemann
- Gustav Roch
- Friedrich Hirzebruch
İlgili konular
Temel eserler
- hartshorne1977
- eisenbud1995
Sıkça sorulan sorular
- Divizörler ile doğru demetleri arasındaki ilişki nedir?
- Düzgün bir varyete üzerinde, doğrusal denkliğe kadar olan divizörler, doğru demetlerinin izomorfizm sınıflarına tam olarak karşılık gelmektedir; bir divizörün Picard grubundaki sınıfı, kesitleri o divizör boyunca sıfırlanan doğru demetidir.
- Riemann-Roch teoremi neyi ifade etmektedir?
- Düzgün bir izdüşümsel eğri üzerindeki bir divizör için, divizörün derecesi ve eğrinin cinsi (genus) cinsinden, kutupları divizör tarafından sınırlanan rasyonel fonksiyonlar uzayının boyutunu vermektedir; bu temel bir sayma sonucudur.