Ext functor - Ext functor - Wikipedia

İçinde matematik, Ext functors bunlar türetilmiş işlevler of Hom functor. İle birlikte Tor işleci Ext, temel kavramlarından biridir homolojik cebir hangi fikirlerden cebirsel topoloji cebirsel yapıların değişmezlerini tanımlamak için kullanılır. grupların kohomolojisi, Lie cebirleri, ve birleşmeli cebirler tümü Ext açısından tanımlanabilir. İsim, ilk Ext grubu Ext'in1 sınıflandırır uzantılar birinin modül başka biri.

Özel durumda değişmeli gruplar Ext, tarafından tanıtıldı Reinhold Baer (1934). Tarafından adlandırıldı Samuel Eilenberg ve Saunders MacLane (1942) ve topolojiye uygulandı ( kohomoloji için evrensel katsayı teoremi ). Tüm modüller için yüzük Ext şu şekilde tanımlandı: Henri Cartan ve Eilenberg 1956 kitaplarında Homolojik Cebir.[1]

Tanım

İzin Vermek R yüzük ol ve izin ver R-Mod be kategori modül sayısı R. (Bunu ya sol demek için alabiliriz R-modüller veya sağ R-modüller.) Sabit R-modül Bir, İzin Vermek T(B) = HomR(Bir, B) için B içinde R-Mod. (Burada HomR(Bir, B) değişmeli grubudur Rdoğrusal haritalar Bir -e B; bu bir R-modül eğer R dır-dir değişmeli.) Bu bir sol tam işlevci itibaren R-Mod için değişmeli gruplar kategorisi Ab ve bu yüzden haklı türetilmiş işlevler RbenT. Ext grupları, tarafından tanımlanan değişmeli gruplardır.

bir ... için tamsayı ben. Tanım gereği bu şu anlama gelir: enjekte edici çözünürlük

terimi kaldır Bve oluştur cochain kompleksi:

Her tam sayı için ben, Extben
R
(Bir, B) kohomoloji konumunda bu kompleksin ben. Sıfırdır ben olumsuz. Örneğin, Dahili0
R
(Bir, B) çekirdek haritanın HomR(Bir, ben0) → HomR(Bir, ben1), hangisi izomorf Hom'aR(Bir, B).

Alternatif bir tanım functor'u kullanır G(Bir) = HomR(Bir, B), sabit R-modül B. Bu bir aykırı functor, sol tam functor olarak görülebilir. karşı kategori (R-Mod)op Ab. Ext grupları, doğru türetilmiş işlevler olarak tanımlanır RbenG:

Yani herhangi birini seçin projektif çözünürlük

terimi kaldır Birve cochain kompleksini oluşturun:

Sonrakiben
R
(Bir, B) bu kompleksin konumdaki kohomolojisidir ben.

Cartan ve Eilenberg, bu yapıların projektif veya enjekte edici çözünürlük seçiminden bağımsız olduğunu ve her iki yapının da aynı Ext grupları verdiğini gösterdi.[2] Ayrıca sabit bir halka için RExt, her değişkendeki bir functordur (karşıt değişken Bir, kovaryant içinde B).

Değişmeli bir yüzük için R ve R-modüller Bir ve B, Extben
R
(Bir, B) bir R-modül (bu Hom'u kullanarakR(Bir, B) bir R-modül bu durumda). Değişmeli olmayan bir halka için R, Extben
R
(Bir, B) genel olarak sadece değişmeli bir gruptur. Eğer R bir bir halka üzerinde cebir S (bu özellikle şu anlama gelir: S değişmeli), sonra Extben
R
(Bir, B) en az bir S-modül.

Ext Özellikleri

Ext gruplarının bazı temel özellikleri ve hesaplamaları burada verilmiştir.[3]

  • Dahili0
    R
    (Bir, B) ≅ HomR(Bir, B) herhangi R-modüller Bir ve B.
  • Sohbetler ayrıca şunları da tutar:
    • Ext ise1
      R
      (Bir, B) = 0 hepsi için B, sonra Bir yansıtmalı (ve dolayısıyla Extben
      R
      (Bir, B) = 0 hepsi için ben > 0).
    • Ext ise1
      R
      (Bir, B) = 0 hepsi için Bir, sonra B enjekte edici (ve dolayısıyla Extben
      R
      (Bir, B) = 0 hepsi için ben > 0).
  • hepsi için ben ≥ 2 ve tüm değişmeli gruplar Bir ve B.[4]
  • Eğer R değişmeli bir halkadır ve sen içinde R değil sıfır bölen, sonra
herhangi R-modül B. Buraya B[sen] gösterir sen-torsiyon alt grubu B, {xB: ux = 0}. Alma R yüzük olmak tamsayılar arasında, bu hesaplama hesaplamak için kullanılabilir herhangi sonlu oluşturulmuş değişmeli grup Bir.
  • Önceki örnek genelleştirildiğinde, ilk modül bir değişmeli halkanın herhangi bir sayı ile bölümü olduğunda Ext grupları hesaplanabilir. düzenli sıra, kullanmak Koszul kompleksi.[5] Örneğin, eğer R ... polinom halkası k[x1,...,xn] bir tarla üzerinde k, sonraki*
    R
    (k,k) dış cebir S bitmiş k açık n Ext'de jeneratörler1. Dahası, Ext*
    S
    (k,k) polinom halkasıdır R; bu bir örnek Koszul ikiliği.
  • Türetilmiş functorlerin genel özelliklerine göre, iki temel kesin diziler Ext için.[6] İlk olarak, bir kısa kesin dizi 0 → KLM → 0 / R-modüller, formun uzun bir kesin dizisini indükler
herhangi R-modül Bir. Ayrıca, kısa bir tam dizi 0 → KLM → 0, formun uzun bir kesin dizisini indükler
herhangi R-modül B.

Uzantılar ve uzantılar

Uzantıların eşdeğerliği

Ext grupları, adlarını modüllerin uzantılarıyla olan ilişkilerinden alır. Verilen R-modüller Bir ve B, bir Uzantısı Bir tarafından B kısa tam bir dizidir R-modüller

İki uzantı

Olduğu söyleniyor eşdeğer (uzantıları olarak Bir tarafından B) varsa değişmeli diyagram:

EquivalenceOfExtensions.png

Unutmayın ki Beş lemma orta okun bir izomorfizm olduğunu ima eder. Bir uzantısı Bir tarafından B denir Bölünmüş eşdeğer ise önemsiz uzantı

Arasında bire bir yazışma var denklik sınıfları uzantılarının Bir tarafından B ve Ext öğeleri1
R
(Bir, B).[9] Önemsiz uzantı, Ext'in sıfır elemanına karşılık gelir1
R
(Bir, B).

Baer uzantılarının toplamı

Baer toplamı Ext üzerindeki değişmeli grup yapısının açık bir açıklamasıdır1
R
(Bir, B), uzantıların eşdeğerlik sınıfları kümesi olarak görülür. Bir tarafından B.[10] Yani iki uzantı verildiğinde

ve

ilk olarak geri çekmek bitmiş ,

Sonra bölüm modülü

Baer toplamı E ve E ′ uzantı

ilk harita nerede ve ikincisi .

Kadar uzantıların eşdeğerliği, Baer toplamı değişmeli ve kimlik öğesi olarak önemsiz uzantıya sahiptir. Bir uzantının negatifi 0 → BEBir → 0, aynı modülü içeren uzantıdır Eama homomorfizm ile EBir negatifiyle değiştirilir.

Abelian kategorilerinde Ext yapısı

Nobuo Yoneda değişmeli grupları tanımladı Extn
C
(Bir, B) nesneler için Bir ve B herhangi birinde değişmeli kategori C; bu, eğer kararlar açısından tanıma uygundur C vardır yeterli projektif veya yeterince enjekte. İlk olarak, Dahili0
C
(Bir,B) = HomC(Bir, B). Sonraki, Ext1
C
(Bir, B) uzantıların denklik sınıfları kümesidir. Bir tarafından BBaer toplamı altında değişmeli bir grup oluşturuyor. Son olarak, daha yüksek Ext grupları Extn
C
(Bir, B) denklik sınıfları olarak tanımlanır n-uzantılar, kesin diziler

altında denklik ilişkisi iki uzantıyı tanımlayan ilişki tarafından oluşturulur

haritalar varsa hepsi için m {1, 2, ..., içinde n} böylece ortaya çıkan her kare gidip gelme yani eğer varsa zincir haritası ξ → ξ 'üzerindeki kimlik Bir ve B.

Baer ikisinin toplamı n-yukarıdaki gibi uzantılar bırakılarak oluşturulur ol geri çekmek nın-nin ve bitmiş Bir, ve ol dışarı itmek nın-nin ve altında B.[11] O zaman uzantıların Baer toplamı

Türetilmiş kategori ve Yoneda ürünü

Önemli bir nokta, bir değişmeli kategorideki Ext gruplarının C ile ilişkili bir kategorideki morfizm kümeleri olarak görülebilir C, türetilmiş kategori D(C).[12] Türetilmiş kategorinin nesneleri, içindeki nesnelerin kompleksleridir. C. Özellikle, birinin sahip olduğu

nerede bir nesne C sıfır derece yoğunlaşmış bir kompleks olarak görülüyor ve [ben] bir kompleksi değiştirmek anlamına gelir ben sola doğru adımlar. Bu yorumdan bir bilineer harita bazen denir Yoneda ürünü:

bu, türetilmiş kategorideki morfizmlerin bileşimidir.

Yoneda ürünü ayrıca daha temel terimlerle de tanımlanabilir. İçin ben = j = 0, ürün, kategorideki haritaların bileşimidir C. Genel olarak, ürün iki Yoneda uzantısının birbirine eklenmesiyle tanımlanabilir.

Alternatif olarak, Yoneda ürünü çözünürlükler açısından da tanımlanabilir. (Bu, türetilmiş kategorinin tanımına yakındır.) Örneğin, let R yüzük olmak R-modüller Bir, B, Cve izin ver P, Q, ve T projektif kararları olmak Bir, B, C. Sonrakiben
R
(Bir,B) grubu ile tanımlanabilir zincir homotopi zincir haritalarının sınıfları PQ[ben]. Yoneda ürünü, zincir haritaları oluşturarak verilir:

Bu yorumlardan herhangi biri ile Yoneda ürünü çağrışımsaldır. Sonuç olarak, bir dereceli yüzük, herhangi R-modül Bir. Örneğin, bu, halka yapısını verir grup kohomolojisi çünkü bu olarak görülebilir . Ayrıca Yoneda ürününün ilişkilendirilmesine göre: herhangi biri için R-modüller Bir ve B, modül bitti .

Önemli özel durumlar

  • Grup kohomolojisi tarafından tanımlanır , nerede G bir grup M bir temsil nın-nin G tam sayılar üzerinde ve ... grup yüzük nın-nin G.
  • Lie cebiri kohomolojisi tarafından tanımlanır , nerede bir Lie cebiri değişmeli bir halka üzerinden k, M bir -modül ve ... evrensel zarflama cebiri.
  • Bir topolojik uzay X, demet kohomolojisi olarak tanımlanabilir Burada Ext, değişmeli kategorisinde alınır. kasnaklar üzerinde değişmeli grupların X, ve demet mi yerel olarak sabit değerli fonksiyonlar.
  • Değişmeli bir Noetherian için yerel halka R kalıntı alanı ile k, a'nın evrensel zarflama cebiridir dereceli Lie cebiri π * (R) bitmiş k, olarak bilinir homotopy Lie cebiri nın-nin R. (Kesin olmak gerekirse, ne zaman k vardır karakteristik 2, π * (R) "düzeltilmiş Lie cebiri" olarak görülmelidir.[13]Dereceli Lie cebirlerinin doğal bir homomorfizmi vardır. André – Quillen kohomolojisi D*(k/R,k) π * (R), eğer bir izomorfizmdir k karakteristik sıfırdır.[14]

Ayrıca bakınız

Notlar

  1. ^ Weibel (1999); Cartan & Eilenberg (1956), bölüm VI.1.
  2. ^ Weibel (1994), bölüm 2.4 ve 2.5 ve Teorem 2.7.6.
  3. ^ Weibel (1994), Bölüm 2 ve 3.
  4. ^ Weibeil (1994), Lemma 3.3.1.
  5. ^ Weibel (1994), bölüm 4.5.
  6. ^ Weibel (1994), Tanım 2.1.1.
  7. ^ Weibel (1994), Önerme 3.3.4.
  8. ^ Weibel (1994), Lemma 3.3.8.
  9. ^ Weibel (1994), Teorem 3.4.3.
  10. ^ Weibel (1994), Corollary 3.4.5.
  11. ^ Weibel (1994), Vists 3.4.6. Bazı küçük düzeltmeler yazım hatası.
  12. ^ Weibel (1994), bölüm 10.4 ve 10.7; Gelfand & Manin (2003), Bölüm III.
  13. ^ Sjödin (1980), Gösterim 14.
  14. ^ Avramov (2010), bölüm 10.2.

Referanslar

  • Avramov, Luchezar (2010), "Sonsuz ücretsiz çözünürlükler", Değişmeli cebir üzerine altı ders, Birkhäuser, s. 1-108, doi:10.1007/978-3-0346-0329-4_1, ISBN  978-3-7643-5951-5, BAY  2641236
  • Baer, ​​Reinhold (1934), "Erweiterung von Gruppen und ihren Isomorphismen", Mathematische Zeitschrift, 38 (1): 375–416, doi:10.1007 / BF01170643, Zbl  0009.01101
  • Cartan, Henri; Eilenberg, Samuel (1999) [1956], Homolojik cebir, Princeton: Princeton University Press, ISBN  0-691-04991-2, BAY  0077480
  • Eilenberg, Samuel; MacLane, Saunders (1942), "Grup uzantıları ve homoloji", Matematik Yıllıkları, 43 (4): 757–931, doi:10.2307/1968966, JSTOR  1968966, BAY  0007108
  • Gelfand, Sergei I .; Manin, Yuri Ivanovich (2003), Homolojik cebir yöntemleri, Berlin, New York: Springer-Verlag, doi:10.1007/978-3-662-12492-5, ISBN  978-3-540-43583-9, BAY  1950475
  • Sjödin, Gunnar (1980), "Hopf cebirleri ve türevleri", Cebir Dergisi, 64: 218–229, doi:10.1016 / 0021-8693 (80) 90143-X, BAY  0575792
  • Weibel, Charles A. (1994). Homolojik cebire giriş. İleri Matematikte Cambridge Çalışmaları. 38. Cambridge University Press. ISBN  978-0-521-55987-4. BAY  1269324. OCLC  36131259.
  • Weibel, Charles A. (1999), "Homolojik cebirin tarihi" (PDF), Topoloji tarihi, Amsterdam: North-Holland, s. 797–836, ISBN  9780444823755, BAY  1721123