Cebirsel Geometri
Cebirsel geometri, polinom denklemlerinin çözüm kümelerinin geometrisini incelemekte, bu varyeteler hakkındaki geometrik soruları üzerlerindeki fonksiyon halkalarının cebirine dönüştürerek ele almaktadır.
Tanım
Cebirsel geometri, polinom denklem sistemlerinin sıfır lokusları olarak tanımlanan geometrik nesnelerin (varyeteler ve şemalar), koordinat halkalarının değişmeli cebiri ve üzerlerindeki demetlerin kohomolojisi aracılığıyla incelenmesidir.
Kapsam
Bu alan, afin ve projektif varyeteleri ve bunların morfizmlerini, Nullstellensatz aracılığıyla geometri ile değişmeli cebir arasındaki sözlüğü, Grothendieck'in şemalara (schemes) yönelik geniş kapsamlı genellemesini, demetlerin (sheaves) ve kohomolojilerinin dilini, bölücüler (divisors), çizgi demetleri (line bundles) ve Riemann-Roch teoremi teorisini kapsamaktadır. Hem karmaşık sayılar üzerindeki klasik geometriyi hem de keyfi halkalar üzerinde geçerli şema-teorik temelleri incelemekte, komşu alanlarda ele alınan diferansiyel-geometrik ve tamamen topolojik yaklaşımları hariç tutmaktadır.
Alt konular
Temel sorular
- Nullstellensatz, varyetelerin geometrisini ideallerin ve halkaların cebirine nasıl dönüştürmektedir?
- Şemalar (schemes) neden varyeteleri genelleştirmektedir ve klasik varyetelerin yakalayamadığı neleri yakalamaktadırlar?
- Demetler (sheaves) ve kohomolojileri, bir varyete üzerindeki yerelden küresele bilgiyi nasıl organize etmektedir?
- Bölücüler (divisors) ve çizgi demetleri (line bundles), bir varyetenin kabul ettiği dönüşümleri ve içsel değişmezlerini nasıl kontrol etmektedir?
Anahtar kavramlar
- Afin ve projektif varyeteler; Nullstellensatz
- Morfizmler ve geometri-cebir sözlüğü
- Şemalar (schemes) ve bir halkanın spektrumu
- Demetler (sheaves), demet kohomolojisi ve tutarlı demetler
- Bölücüler (divisors), çizgi demetleri (line bundles) ve Riemann-Roch
Klinik önem
Cebirsel geometri, modern sayı teorisinin (Fermat'nın Son Teoremi'nin ispatı dahil), kodlama teorisi ve kriptografinin, fizikte sicim teorisi ve ayna simetrisinin ve polinom sistemleri aracılığıyla robotik ve istatistikteki hesaplama yöntemlerinin temelini oluşturmaktadır.
Tarihçe
19. yüzyıldaki eğriler çalışmasına ve 20. yüzyıl başlarındaki İtalyan ekolüne dayanmakta olup, bu alana Zariski ve Weil tarafından titiz cebirsel temeller kazandırılmış ve ardından 1960'larda Grothendieck tarafından şemalar (schemes), demetler (sheaves) ve kohomoloji aracılığıyla kökten yeniden inşa edilmiştir; ki bu, modern konuyu tanımlayan çerçevedir.
Öne çıkan isimler
- David Hilbert
- Alexander Grothendieck
- Robin Hartshorne
İlgili konular
Temel eserler
- hartshorne1977
- eisenbud1995
Sıkça sorulan sorular
- Cebirsel geometri ile değişmeli cebir arasındaki ilişki nedir?
- Tek bir sözlüğün iki yüzüdürler: geometrik nesneler (afin varyeteler ve afin şemalar) değişmeli halkalara karşılık gelmekte, geometrik işlemler ise cebirsel olanlara karşılık gelmektedir; bu nedenle değişmeli cebir, cebirsel geometrinin yerel motorudur.
- Grothendieck neden şemaları (schemes) tanıtmıştır?
- Şemalar (schemes), nilpotent elemanlara izin vermek için varyeteleri genişletmekte, keyfi taban halkaları üzerinde çalışmakta (sayı teorisi için kritik) ve tekdüze bir fonktöriyel çerçeve sağlamaktadır; bu da temel zorlukları çözmekte ve güçlü kohomolojik yöntemleri mümkün kılmaktadır.