Küresel olmayan alan - Aspherical space

İçinde topoloji, bir matematik dalı, bir küresel olmayan boşluk bir topolojik uzay hepsiyle homotopi grupları ${displaystyle pi _ {n} (X)}$ 0'a eşit olduğunda ${displaystyle n> 1}$.

Biri ile çalışırsa CW kompleksleri, bu durum yeniden formüle edilebilir: asferik bir CW kompleksi, bir CW kompleksidir. evrensel kapak dır-dir kasılabilir. Aslında, evrensel bir kapağın daraltılabilirliği aynıdır. Whitehead teoremi onun asferikliği olarak. Ve bu bir uygulamasıdır bir fibrasyonun tam sırası Bir mekanın daha yüksek homotopi grupları ve evrensel kapsamı aynıdır. (Aynı argümanla, eğer E bir yol bağlantılı alan ve ${displaystyle pcolon E o B}$ herhangi biri kapsayan harita, sonra E asferiktir ancak ve ancak B asferiktir.)

Her asferik boşluk X tanımı gereği bir Eilenberg – MacLane alanı tip ${displaystyle K (G, 1)}$, nerede ${displaystyle G = pi _ {1} (X)}$ ... temel grup nın-nin X. Ayrıca doğrudan tanımdan, asferik bir uzay bir alanı sınıflandırmak temel grubu için (bir topolojik grup ile donatıldığında ayrık topoloji ).

Örnekler

• Yukarıdaki tanımların ikincisini kullanarak, tüm yönlendirilebilir kompakt yüzeyler 0'dan büyük olan cinsi asferiktir (evrensel bir örtü olarak Öklid düzlemine veya hiperbolik düzleme sahip olduklarından).
• Bu, gerçek hariç tüm yönlendirilemeyen yüzeylerin projektif düzlem cins 1 veya daha yüksek yönlendirilebilir bir yüzeyle kaplanabildikleri için asferiktirler.
• Benzer şekilde, bir ürün herhangi bir sayıda daireler asferiktir. Herhangi bir tam, Riemann yassı manifoldu olduğu gibi.
• Hiç hiperbolik 3-manifold tanımı gereği hiperbolik 3-uzayının kapsadığı H³, dolayısıyla asferik. Herhangi olduğu gibi nEvrensel kaplama alanı hiperbolik olan manifold n-Uzay Hⁿ.
• İzin Vermek X = G/K olmak Riemann simetrik uzay negatif türden ve Γ olmak kafes içinde G özgürce hareket eden X. Sonra yerel simetrik uzay ${displaystyle Gamma ackslash G / K}$ asferiktir.
• Bruhat - Göğüs oluşturma basit cebirsel grup ile bir alanın üzerinde ayrık değerleme asferiktir.
• Bir tamamlayıcı düğüm içinde S³ asferiktir küre teoremi
• Anlamında pozitif olmayan eğriliği olan metrik uzaylar Aleksandr D. Aleksandrov (yerel olarak CAT (0) boşlukları ) asferiktir. Bu durumuda Riemann manifoldları, bu Cartan-Hadamard teoremi genelleştirilmiş olan jeodezik metrik uzaylar tarafından Mikhail Gromov ve Werner Ballmann. Bu asferik uzaylar sınıfı, daha önce verilen tüm örnekleri kapsar.
• Hiç nilmanifold asferiktir.

Semplektik olarak asferik manifoldlar

Bağlamında semplektik manifoldlar "küresel olmayan" kelimesinin anlamı biraz farklıdır. Spesifik olarak, semplektik bir manifoldun (M, ω) semplektik olarak asferik olduğunu söylüyoruz, ancak ve ancak

${displaystyle int _ {S ^ {2}} f ^ {*} omega = langle c_ {1} (TM), f _ {*} [S ^ {2}] açı = 0}$

her sürekli haritalama için

${displaystyle fcolon S ^ {2} o M,}$

nerede ${displaystyle c_ {1} (TM)}$ ilkini gösterir Chern sınıfı bir neredeyse karmaşık yapı ω ile uyumludur.

Tarafından Stokes teoremi asferik olan semplektik manifoldların da semplektik olarak asferik manifoldlar olduğunu görüyoruz. Bununla birlikte, asferik boşluklar olmayan, semplektik olarak asferik manifoldlar mevcuttur.^[1]

Bazı referanslar^[2] gereksinimi düşürmek c₁ "semplektik olarak asferik" tanımlarında. Bununla birlikte, yalnızca bu zayıf durumu karşılayan semplektik manifoldların "zayıf bir şekilde kesin" olarak adlandırılması daha yaygındır.

Ayrıca bakınız

• Döngüsel olmayan boşluk
• Temel manifold
• Whitehead varsayımı

Notlar

Referanslar

• Bridson, Martin R .; Haefliger, André, Pozitif olmayan eğriliğin metrik uzayları. Grundlehren der Mathematischen Wissenschaften, 319. Springer-Verlag, Berlin, 1999. xxii + 643 s.ISBN  3-540-64324-9 BAY1744486

Dış bağlantılar

• Asferik manifoldlar Manifold Atlas'ta.