Homolojik Cebir (homological algebra)

Homolojik cebir, genel cebirsel ortamda homolojiyi inceleyen matematik dalıdır. Kökenleri 19. yüzyılın sonunda kombinatoryal topoloji (cebirsel topolojinin öncüsü) ve soyut cebir (modüller ve syzygies teorisi) araştırmalarına kadar izlenebilen nispeten genç bir disiplindir, özellikle Henri Poincaré ve David Hilbert tarafından oluşturulmuştur.

Homolojik cebir, homolojik fonksiyonların ve bunların gerektirdiği karmaşık cebirsel yapıların incelenmesidir; gelişimi kategori teorisinin ortaya çıkışıyla yakından bağlantılıydı. Merkezi bir kavram, homolojileri ve kohomolojileri yoluyla incelenebilen zincir kompleksleridir.

Homolojik cebir, bu komplekslerin içerdiği bilgileri çıkarma ve bunu halkaların, modüllerin, topolojik uzayların ve diğer ‘somut’ matematiksel objelerin homolojik değişmezleri biçiminde sunma araçlarını sağlar. Spektral dizi bunun için güçlü bir araçtır.

Homolojik cebir cebirsel topolojide çok büyük bir rol oynamıştır. Etkisi giderek genişledi ve şu anda değişmeli cebir, cebirsel geometri, cebirsel sayı teorisi, temsil teorisi, matematiksel fizik, operatör cebirleri, karmaşık analiz ve kısmi diferansiyel denklemler teorisini içeriyor. K-teorisi, Alain Connes'in değişmeli olmayan geometrisi gibi, homolojik cebir yöntemlerinden yararlanan bağımsız bir disiplindir.


(a) Homolojik cebirin temel sonucu olan snake lemmada kullanılan bir diyagram. (snake lemma, matematikte, özellikle homolojik cebirde uzun kesin diziler oluşturmak için kullanılan bir araçtır.)

(b) X, Y, Z objeleri ve f, g, g f morfizmleri içeren bir kategorinin şematik temsili (kategorinin üç kimlik morfizmi 1X, 1Y ve 1Z, açıkça temsil edilirse, sırasıyla X, Y ve Z harflerinden kendilerine doğru üç ok olarak görünecektir.)

 (c) Temsil teorisi cebirsel yapıların nesneler üzerinde nasıl ‘etkide bulunduğunu’ inceler; basit bir örnek, normal çokgenlerin yansımalardan ve dönmelerden oluşan simetrilerinin çokgeni nasıl dönüştürdüğüdür.

(d) Bu, A, B, C objelerinin ve f, g, g f olarak gösterilen morfizmlerin koleksiyonunu içeren bir kategoridir; döngüler kimlik oklarıdır.

 

https://en.wikipedia.org/wiki/Homological_algebra

18 Araluk 2023

 

GERİ (matematik anasayfa)