Homologiateoria ( muut kreikkalaiset sanat ὁμός "tasa-arvoinen, identtinen; yhteinen; keskinäinen" ja λόγος "oppi, tiede ") on matematiikan haara , joka tutkii joidenkin topologisten invarianttien , joita kutsutaan homologiaryhmiksi ja kohomologiaryhmiksi, rakentamista . Homologiateorioita kutsutaan myös homologiaryhmien erityisiksi konstruktioiksi.
Yksinkertaisimmassa tapauksessa topologinen avaruus liittyy Abelin homologiaryhmien sarjaan, joka on lueteltu luonnollisilla luvuilla . Ne ovat homotopiainvariantteja , ja toisin kuin homotopiaryhmät , ne ovat helpompia laskea ja geometrisesti selkeämpiä, mutta yksinkertaisesti yhdistetyissä tiloissa ne sisältävät saman määrän tietoa [1] .
Homologian määritelmä on kuitenkin vähemmän yksiselitteinen ja käyttää joitain teknisiä koneistoja [2] , ja siksi on olemassa useita erilaisia homologiateorioita - molemmat määritelty vain "hyville" topologisille avaruksille tai jotka vaativat lisärakennetta , ja monimutkaisempia, jotka on suunniteltu toimimaan patologisia esimerkkejä. Tällaisia patologisia tapauksia lukuun ottamatta ne kuitenkin yleensä osuvat yhteen: solutiloille tämä varmistetaan Steenrod-Eilenberg-aksioomilla .
Muita yleisiä homologiateorian käsitteitä ovat homologia Abelin ryhmän kertoimien kanssa, avaruusparin suhteellinen homologia ja kohomologia , joiden määritelmät ovat jossain mielessä kaksijakoisia homologian kanssa. Kohomologiat otetaan usein huomioon, koska niissä esiintyy kertolaskua , mikä muuttaa ne arvostetuksi algebraksi .
Kohomologioita kutsutaan myös invarianteiksi, jotka liittyvät muihin matemaattisiin objekteihin - ryhmiin , Lie-algebroihin , niveliin . Niitä yhdistää muodollinen samankaltaisuus – esimerkiksi ketjukompleksin homologian käsitteen läsnäolo heidän määritelmässään – ja joissakin tapauksissa sellaisten rakenteiden läsnäolo, jotka yhdistävät tällaiset objektit topologisiin tiloihin, joilla on sopiva homologia.
Muista, että avaruuden -: s homotoopiaryhmä on joukko kartoituksia -ulotteisesta pallosta kohti , katsotaan jatkuvaan muodonmuutokseen asti . Homologian määrittämiseksi pallojen kartoitukset korvataan -syklillä, jotka esitetään intuitiivisesti suljettuina (eli ilman rajoja) orientoituneina dimensiokalvoina sisällä , mutta jotka on formalisoitu eri määritelmissä eri tavalla. Jatkuvan muodonmuutoskyvyn ehto korvataan ehdolla, että syklien ero (niiden liitto, jossa toinen otetaan vastakkaisella suunnalla) on orientoitunut sykliraja, jonka ulottuvuus on vielä yksi.
Vakiomerkinnöissä -sykliryhmä on ( saksasta Zyklus - "sykli"), -boundary-ryhmä on ( englannin kielestä boundary - "raja") ja ilmaus "homologiat ovat syklejä rajoihin" kirjoitetaan seuraavasti
.Tämän idean formalisoimiseksi on välttämätöntä määritellä tiukasti syklit ja niiden rajat, mikä johtaa joihinkin vaikeuksiin ulottuvuuden sykleissä [1] . Ratkaisuna on määritellä välikäsite -ketjuryhmästä , joka koostuu muodollisista lineaarisista mappausten yhdistelmistä joihinkin standardielementteihin valitusta rakenteesta riippuen. Standardielementin raja määritellään lineaariseksi yhdistelmäksi standardielementtejä, joiden ulottuvuus on yksi pienempi ja joissa on sopivat suuntaukset, mikä saa aikaan reunuskartoituksen . Sitten -syklit määritellään -ketjuiksi, joilla on nollaraja (jotta rajan yhtäläisyys nollaan olisi järkevää, on otettava paitsi positiivisten, myös standardielementtien lineaariset yhdistelmät ja määritettävä rajakartta merkillä). Siten syklit ovat ydin ja reunat ovat reunanäytön kuva :
.Ehto, että kaikki rajat ovat syklejä, on ketjukompleksiehdon muodossa : ja topologisen avaruuden homologia on tämän kompleksin homologia.
Vakioelementtien ja reunanäytön valinta vaihtelee teorian mukaan. Singulaarisen homologian teoriassa tällaiset elementit ovat yksinkertaisia, ja rajakartta yhdistää simpleksin sen pintojen vuorottelevaan summaan. Yksinkertaisen homologian teoriassa yksinkertaisia komplekseja varten määriteltyjä ovat myös yksinkertaiset, mutta eivät kaikki, vaan ne sisältyvät valittuun yksinkertaiseen osioon. Solukompleksille määritellyssä soluhomologian teoriassa nämä ovat hyperpalloja sopivasta luurangosta, ja rajakartoitus on monimutkaisempaa.
Ne määritellään melko yksinkertaisesti, mutta niiden muuttumattomuuden ja toiminnallisuuden todistaminen on melko vaikeaa.
Homologioita voidaan määritellä sallimalla ketjujen yksinkertaisuuskertoimien olla minkä tahansa Abelin ryhmän elementtejä . Eli ryhmien sijaan harkitse ryhmiä .
Avaruuden homologiaryhmiä (yksinkertainen, yksikkö jne.), joiden kertoimet ovat ryhmässä , merkitään . Yleensä käytetään reaalilukujen ryhmää , rationaalilukua tai syklistä jäännösryhmää modulo - ja se otetaan yleensä - alkuluku numero on kenttä .
Toinen kuvaus. Hakeminen kompleksiin
Functor , saamme kompleksin
,jonka homologia on homologia kertoimien kanssa .
Ketjujen lisäksi voit ottaa käyttöön käsitteen cochains - ketjujen vektoriavaruuden kartoittaminen ryhmään . Eli cochainien tilaa .
Rajaoperaattori määritetään kaavalla: (jossa ). Tällaiselle rajaoperaattorille meillä on myös
, nimittäin .Siksi, kuten edellä sanottiin, voidaan ottaa käyttöön käsitteet cocycles , coboundaries ja cohomology .
Kohomologian käsite on kaksoiskäsite homologian käsitteen kanssa.
Jos on rengas , niin kohomologiaryhmässä määritellään luonnollinen kertolasku (Kolmogorov-Aleksanterin tulo tai -tulo), joka muuttaa tämän ryhmän asteittaiseksi renkaaksi , jota kutsutaan kohomologiarenkaaksi .
Tapauksessa, jossa on differentioituva monisto , kohomologiarengas voidaan laskea käyttämällä differentiaalimuotoja ( katso De Rhamin lause ).
Kohomologian käsitteen esittelivät Alexander ja Kolmogorov .
Otetaan kahden topologisen avaruuden tapaus . Ryhmä ketjuja (ketjut voivat olla joko kokonaislukukertoimilla tai kertoimilla missä tahansa ryhmässä ). Suhteellisia ketjuja kutsutaan tekijäryhmän elementeiksi . Koska aliavaruuden homologiaryhmän rajaoperaattori kääntää , on mahdollista määrittää osamääräryhmän rajaoperaattori (merkitään samalla tavalla) .
Niitä suhteellisia ketjuja, joihin rajaoperaattori muuntaa , kutsutaan suhteellisiksi silmukoiksi , ja ketjuja, jotka ovat sen arvoja, ovat suhteellisia rajoja . Koska absoluuttisissa ketjuissa sama pätee suhteellisiin ketjuihin, tästä eteenpäin . Tekijäryhmää kutsutaan suhteelliseksi homologiaryhmäksi .
Koska jokainen absoluuttinen sykli in on myös suhteellinen, meillä on homomorfismi Funktiaalisen ominaisuuden mukaan upottaminen johtaa homomorfismiin .
Voimme puolestaan rakentaa homomorfismin , jonka määrittelemme seuraavasti. Antaa olla suhteellinen ketju, joka määrittää syklin . Pidä sitä absoluuttisena ketjuna (elementteihin asti ). Koska tämä on suhteellinen sykli, se on yhtä suuri kuin nolla johonkin ketjuun asti . Asetamme yhtäläiseksi ketjun homologialuokan .
Jos otamme toisen absoluuttisen ketjun, joka määrittää saman suhteellisen syklin, niin meillä on , Missä . Meillä on , mutta koska se on raja , ja määrittelemme saman elementin homologiaryhmässä . Jos otamme toisen suhteellisen syklin , joka antaa saman elementin suhteellisessa homologiaryhmässä , jossa on suhteellinen raja, niin koska suhteellisten homologioiden raja on , jossa , siis , mutta , ja on raja in .
Siksi homologialuokka on yksilöllisesti määritelty. Operaattorin lineaarisuudesta on selvää, että se on homomorfismi. Joten meillä on homomorfismit:
; ja ;Voidaan todistaa, että tämä sekvenssi on tarkka , eli minkä tahansa homomorfismin kuva on yhtä suuri kuin seuraavan homomorfismin ydin.
Jo tunteman yksinkertaisen ja singulaarisen homologian lisäksi on olemassa muita homologia- ja kohemologiateorioita, esimerkiksi soluhomologia , Alexandrov-Cech- kohomologia , de Rham-kohomologia jne. Steenrod ja Eilenberg määrittelivät teorialle aksioomijärjestelmän. (ko)homologiasta. Ensin he määrittelevät ns. sallittu topologisten avaruusparien luokka, joka täyttää seuraavat ominaisuudet:
Steenrod-Eilenberg-homologiateoriassa jokainen sallittu pari ja mikä tahansa kokonaisluku k vastaavat Abelin ryhmää ja jatkuva parien kartoitus homomorfismia (Avaruus tunnistetaan parilla ) ja kanssa ) ja seuraavat aksioomit pätevät :
Singulaarihomologiaa varten sallittu pariluokka koostuu kaikista topologisten avaruuksien pareista. Aiemmin määritellyt singulaarihomologiaryhmät, joiden kartoitusryhmässä on kertoimet ja rajahomomorfismi , täyttävät kaikki nämä aksioomit. Jos otamme polyhedrien luokan hyväksyttävänä luokkana, voimme todistaa, että tällä aksioomijärjestelmällä määritellyt homologiat ovat yhtäpitäviä yksinkertaisten kanssa.
Samalla tavalla voimme ottaa käyttöön aksioomijärjestelmän kohemologialle, joka on täysin analoginen.
On vain syytä pitää mielessä, että kartoitus vastaa ( kontravarianssi ) ja että rinnakkaishomomorfismi lisää ulottuvuutta.
Steenrod-Eilenberg-aksioomien järjestelmässä ulottuvuusaksiooma ei ole yhtä tärkeä kuin muut.
(Ko)homologian teorioita, joissa voi olla nollasta poikkeavia (yhteis)homologiaryhmiä yhden pisteen dimensiotavaruudessa , kutsutaan satunnaisiksi tai yleistetyiksi. Tärkeimmät poikkeukselliset teoriat ovat Atiyahin K-teoria (on huomattava Hirzebruchin , Bottin ja Adamsin tärkeä panos tähän teoriaan ) ja R. Thoman bordismiteoria .