Temel Grup ve Örtü Uzayları
Temel grup, bir uzaydaki döngülerin nasıl büzülebileceğini ve büzülemeyeceğini kaydetmektedir; örtü uzayı kuramı ise bu grubun alt gruplarını, orijinal uzayı saran uzayların eksiksiz bir geometrik sözlüğüne dönüştürmektedir.
Tanım
İşaretli bir uzayın temel grubu, elemanları noktada tabanlanmış döngülerin homotopi sınıfları olan ve işlem olarak birleştirmeyi (concatenation) kullanan gruptur; bir örtü uzayı ise yerel olarak tabanın kopyalarının önemsiz bir yığını olan bir haritadır ve kuramı bu tür haritaları temel grubun alt gruplarıyla ilişkilendirmektedir.
Kapsam
Bu konu, yolların homotopisini, bir noktada tabanlanmış döngü sınıflarının grubu olarak temel grubu ve van Kampen teoremi aracılığıyla hesaplanmasını tanıtmaktadır. Örtü uzaylarını, kaldırma kriterini ve temel grubun alt grupları ile evrensel örtü (universal cover) ve güverte dönüşümleri (deck transformations) dahil olmak üzere bağlantılı örtüler arasındaki Galois benzeri yazışmayı geliştirmektedir. Çemberin örtülerinin sınıflandırılması ve grafiklerin ve yüzeylerin temel gruplarının hesaplanması gibi uygulamalar da bu kapsamda yer almaktadır.
Temel sorular
- Temel grup, döngülerin büzülmesini engelleyen delikleri nasıl tespit etmektedir?
- Van Kampen teoremi, bir uzayın temel grubunu örtüşen parçaların temel gruplarından nasıl oluşturmaktadır?
- Bağlantılı örtü uzayları ile temel grubun alt grupları arasında kesin yazışma nedir?
- Bir harita bir örtü aracılığıyla ne zaman kaldırılır ve evrensel örtü (universal cover) hangi rolü oynamaktadır?
Anahtar kavramlar
- Yolların homotopisi ve döngü birleştirmesi (loop concatenation)
- Temel grup ve taban noktası koruyan haritalar altındaki işlevselliği (functoriality)
- Van Kampen teoremi
- Örtü uzayları, kaldırma kriteri ve güverte dönüşümleri (deck transformations)
- Evrensel örtü (universal cover) ve örtüler için Galois yazışması
Klinik önem
Temel grup, çemberi diskten ayıran ve monodromi, Riemann yüzeyleri kuramı ve düz demetlerin (flat bundles) sınıflandırmasının temelini oluşturan ilk ve en erişilebilir cebirsel değişmezdir; örtü uzayı kuramı ise Galois kuramı ve grup eylemleriyle bölümler için topolojik bir model teşkil etmektedir.
Tarihçe
Poincaré, temel grubu Analysis Situs (1895) adlı eserinde tanıtmıştır; 1930'lardaki Seifert-van Kampen teoremi, yapıştırma yoluyla hesaplanabilir hale getirmiş ve örtüler ile alt gruplar arasındaki güverte dönüşümleri (deck transformations) aracılığıyla resmileştirilen sistematik yazışma, günümüzde müfredatta standart olan Galois kuramı ile analojiyi kurmuştur.
Öne çıkan isimler
- Henri Poincaré
- Egbert van Kampen
- Allen Hatcher
İlgili konular
Temel eserler
- hatcher2002
- bredon1993
Sıkça sorulan sorular
- Çemberin temel grubu neden tam sayılardır?
- Çember üzerindeki bir döngü, yön için işaretle birlikte, etrafında kaç kez dolandığına göre homotopiye kadar sınıflandırılmaktadır; bu dolanma sayısı (winding number), birleştirme (concatenation) altında toplanabilir olup, tam sayılarla bir izomorfizm sağlamaktadır.
- Evrensel örtü (universal cover) nedir?
- Uygun bir uzayın basitçe bağlantılı örtü uzayıdır; örtü uzayı sözlüğünde önemsiz alt gruba karşılık gelmekte ve temel grubu güverte dönüşümleri (deck transformations) grubu olarak taşımaktadır.