Leray-Hirschin lause Serre-jonon sovelluksena
Pyrhönen, Eeva (2025)
2025
Matematiikan ja tilastollisen data-analyysin maisteriohjelma - Master's Programme in Mathematics and Statistical Data Analytics
Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2025-12-03
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-2025120111149
https://urn.fi/URN:NBN:fi:tuni-2025120111149
Tiivistelmä
Tutkielmassa osoitetaan Leray-Hirschin lause, joka luo yhteyden fibraatioon liittyvien avaruuksien singulaaristen kohomologiamodulien välille. Esiteltävä todistus pohjautuu erityisten algebrallisten rakenteiden, spektraalijonojen, käyttöön.
Tutkielman alkupuolella valmistellaan todistuksen pienempiä yksityiskohtia. Aluksi esitellään spektraalijonon konstruoimista varten CW-kompleksien homotopiateoreettisia perusominaisuuksia sekä osoitetaan, että jokaista avaruutta vastaa homotopiaryhmältään isomorfinen CW-kompleksi. Tämän jälkeen kerrataan ja määritellään fibraatioihin liittyviä käsitteitä, erityisesti säiehomotopia ja fibraation suunnistuvuus. Myöhemmin osoittautuu, että näistä jälkimmäinen on Leray-Hirschin lauseen oletusten taustalla.
Spektraalijonoja käsittelevässä luvussa esitellään ensin spektraalijono algebrallisena rakenteena ja alustetaan niitä algebrallisia argumentteja, joita jonoa käytettäessä myöhemmin tarvitaan. Näistä oleellisimpia ovat spektraalijonon suppeneminen sekä spektraalijonojen keskinäinen vertailu spektraalijonokuvausten kautta. Luvun loppupuolella muodostetaan kohomologinen spektraalijono topologisen avaruuden suodatuksen pohjalta ja esitetään riittävä ehto sille, että näin määritelty spektraalijono todella suppenee.
Tutkielman lopussa johdetaan kohomologinen Serre-jono suunnistuville fibraatioille, missä CW-approksimaatiot mahdollistavat suppenevan spektraalijonon muodostamisen ilman fibraation maaliavaruuteen liittyviä lisäoletuksia. Todistuksetta esitellään kaksi jonon rakenteesta seuraavaa ominaisuutta: jonon luonnollisuus, joka helpottaa jonon vertailtavuutta sekä jonolle määriteltävä tulorakenne, joka puolestaan yksinkertaistaa jonon suppenemisen vahvinta muotoa, romahtamista, koskevia päättelyitä. Näistä ominaisuuksista seuraa lopulta myös Leray-Hirschin lause.
Tutkielman alkupuolella valmistellaan todistuksen pienempiä yksityiskohtia. Aluksi esitellään spektraalijonon konstruoimista varten CW-kompleksien homotopiateoreettisia perusominaisuuksia sekä osoitetaan, että jokaista avaruutta vastaa homotopiaryhmältään isomorfinen CW-kompleksi. Tämän jälkeen kerrataan ja määritellään fibraatioihin liittyviä käsitteitä, erityisesti säiehomotopia ja fibraation suunnistuvuus. Myöhemmin osoittautuu, että näistä jälkimmäinen on Leray-Hirschin lauseen oletusten taustalla.
Spektraalijonoja käsittelevässä luvussa esitellään ensin spektraalijono algebrallisena rakenteena ja alustetaan niitä algebrallisia argumentteja, joita jonoa käytettäessä myöhemmin tarvitaan. Näistä oleellisimpia ovat spektraalijonon suppeneminen sekä spektraalijonojen keskinäinen vertailu spektraalijonokuvausten kautta. Luvun loppupuolella muodostetaan kohomologinen spektraalijono topologisen avaruuden suodatuksen pohjalta ja esitetään riittävä ehto sille, että näin määritelty spektraalijono todella suppenee.
Tutkielman lopussa johdetaan kohomologinen Serre-jono suunnistuville fibraatioille, missä CW-approksimaatiot mahdollistavat suppenevan spektraalijonon muodostamisen ilman fibraation maaliavaruuteen liittyviä lisäoletuksia. Todistuksetta esitellään kaksi jonon rakenteesta seuraavaa ominaisuutta: jonon luonnollisuus, joka helpottaa jonon vertailtavuutta sekä jonolle määriteltävä tulorakenne, joka puolestaan yksinkertaistaa jonon suppenemisen vahvinta muotoa, romahtamista, koskevia päättelyitä. Näistä ominaisuuksista seuraa lopulta myös Leray-Hirschin lause.