dc.date.accessioned |
2021-06-08T07:20:30Z |
|
dc.date.available |
2021-06-08T07:20:30Z |
|
dc.date.issued |
2021-06-08 |
|
dc.identifier.uri |
http://hdl.handle.net/123456789/36097 |
|
dc.title |
Understanding the Dold-Kan Correspondence |
en |
ethesis.faculty |
Matemaattis-luonnontieteellinen tiedekunta |
fi |
ethesis.faculty |
Faculty of Science |
en |
ethesis.faculty |
Matematisk-naturvetenskapliga fakulteten |
sv |
ethesis.faculty.URI |
http://data.hulib.helsinki.fi/id/8d59209f-6614-4edd-9744-1ebdaf1d13ca |
|
ethesis.university.URI |
http://data.hulib.helsinki.fi/id/50ae46d8-7ba9-4821-877c-c994c78b0d97 |
|
ethesis.university |
Helsingin yliopisto |
fi |
ethesis.university |
University of Helsinki |
en |
ethesis.university |
Helsingfors universitet |
sv |
dct.creator |
Kurki, Joonas |
|
dct.issued |
2021 |
|
dct.language.ISO639-2 |
eng |
|
dct.abstract |
Tutkielman tarkoitus on todistaa Doldin-Kanin vastaavuuslause, jossa sanotaan, että simplisiaalisten vaihdannaisten ryhmien kategoria sAb ja ketjukompleksien kategoria Ch+ ovat ekvivalentit. Tutkielma myös käy läpi nämä lauseessa mainitut käsitteet aloittaen ensimmäisessä osiossa kategorioilla ja funktoreilla. Tämän osion tavoite on antaa tarpeeksi tietoa kategoriateoriasta, jotta kategorioiden välinen ekvivalenssi voidaan ymmärtää.
Toisessa osiossa näitä kategoriateorian aiheita käytetään määrittelemään simpleksikategoria, jonka objektit ovat järjestettyjä joukkoja n = { 0 -> 1 -> ... -> n }, jossa n on luonnollinen luku, ja jonka morfismit ovat järjestyksen säilyttävät kuvaukset näiden joukkojen välillä. Ideana on määritellä simplisiaaliset objektit, jotka ovat kontravariantteja funktoreita simpleksikategoriasta johonkin toiseen kategoriaan. Osiossa myös annetaan rakennekuvausten määritelmä, jotka ovat erityislaatuisia morfismeja simpleksikategoriassa. Näiden avulla pystytään määrittelemään kosimplisiaaliset (ja myöhemmin simplisiaaliset) identiteetit. Nämä identiteetit ovat keskeisiä laskelmissa, joita tutkielmassa tehdään myöhemmin. Niiden voi itseasiassa ajatella olevan perustyökalut simplisiaalisten objektien käsittelyssä.
Kolmannessa osiossa tutkielma esittelee ketjukompleksit ja ketjukuvaukset, jotka yhdessä muodostavat ketjukompleksien kategorian. Tämä luo perusteet neljättä osiota varten, jossa tavoite on muodostaa kolme erilaista ketjukompleksia mistä tahansa simplisiaalisesta vaihdannaisesta ryhmästä A. Nämä ketjukompleksit ovat Mooren kompleksi A*, degeneraatio-alkioiden virittämä ketjukompleksi DA* ja normalisoitu ketjukompleksi NA*. Näistä kaksi viimeisintä ovat molemmat Mooren kompleksin alikomplekseja. Myöhemmin osoitetaan, että on olemassa isomorfismi An = NAn +DAn näiden ketjukompleksien muodostavien vaihdannaisten ryhmien välillä. Tämä yhteys näiden ketjukompleksien välillä on tärkeä, ja se todistetaan ja sitä käytetään myöhemmin tutkielman seitsemännessä osiossa.
Tässä kohtaa tutkielmaa on saatu esiteltyä kaikki tarvittava tieto Doldin-Kanin vastaavuuslauseen ymmärtämistä varten. Täten alkaa ekvivalenssiin tarvittavien funktoreiden, joiden lause väittää olevan olemassa, muodostaminen. Funktori kategoriasta sAb kategoriaan Ch+ kuvaa simplisiaalisen vaihdannaisen ryhmän A sen normalisoidulle ketjukompleksille NA*, jonka määritelmä annettiin aiemmin. Tämä suunta ei vaadi erityisen paljoa ylimääräistä työtä, sillä suurin osa työstä tehtiin jo osioissa, joissa käsiteltiin ketjukomplekseja.
Toiseen suuntaan menevän funktorin määrittely vaatii puolestaan enemmän pohdintaa. Idea on kuvata ketjukompleksi K* simplisiaaliselle vaihdannaiselle ryhmälle, joka muodostetaan käyttäen suoria summia ja faktorisaatiota. Sen muodostaminen vaatii myös, että määritellään uusi funktori simpleksikategorian alikategoriasta, jossa on kaikki simpleksikategorian objektit mutta vain injektiot morfismeina, vaihdannaisten ryhmien kategoriaan Ab.
Kun nämä funktorit on määritelty, menee tutkielman jäljellä olevat osiot sen osoittamiseen, että nämä funktorit todella muodostavat ekvivalenssin kategorioiden sAb ja Ch+ välille. |
fi |
dct.abstract |
The goal of the thesis is to prove the Dold-Kan Correspondence, which is a theorem stating that the category of simplicial abelian groups sAb and the category of positively graded chain complexes Ch+ are equivalent. The thesis also goes through these concepts mentioned in the theorem, starting with categories and functors in the first section. In this section, the aim is to give enough information about category theory, so that the equivalence of categories can be understood.
The second section uses these category theoretical concepts to define the simplex category, where the objects are ordered sets n = { 0 -> 1 -> ... -> n }, where n is a natural number, and the morphisms are order preserving maps between these sets. The idea is to define simplicial objects, which are contravariant functors from the simplex category to some other category. Here is also given the definition of coface and codegeneracy maps, which are special kind of morphisms in the simplex category. With these, the cosimplicial (and later simplicial) identities are defined. These identities are central in the calculations done later in the thesis. In fact, one can think of them as the basic tools for working with simplicial objects.
In the third section, the thesis introduces chain complexes and chain maps, which together form the category of chain complexes. This lays the foundation for the fourth section, where the goal is to form three different chain complexes out of any given simplicial abelian group A. These chain complexes are the Moore complex A*, the chain complex generated by degeneracies DA* and the normalized chain complex NA*. The latter two of these are both subcomplexes of the Moore complex. In fact, it is later on shown that there exists an isomorphism An = NAn +DAn between the abelian groups forming these chain complexes. This connection between these chain complexes is an important one, and it is proved and used later on in the seventh section.
At this point in the thesis, all the knowledge for understanding the Dold-Kan Correspondence has been presented. Thus begins the forming of the functors needed for the equivalence, which the theorem claims to exist. The functor from sAb to Ch+ maps a simplicial abelian group A to its normalized chain complex NA*, the definition of which was given earlier. This direction does not require that much additional work, since most of it was done in the sections dealing with chain complexes.
However, defining the functor in the opposite direction does require some more thought. The idea is to map a chain complex K* to a simplicial abelian group, which is formed using direct sums and factorization. Forming it also requires the definition of another functor from a subcategory of the simplex category, where the objects are those of the simplex category but the morphisms are only the injections, to the category of abelian groups Ab.
After these functors have been defined, the rest of the thesis is about showing that they truly do form an equivalence between the categories sAb and Ch+. |
en |
dct.subject |
Category |
|
dct.subject |
Functor |
|
dct.subject |
Equivalence of categories |
|
dct.subject |
Simplicial abelian group |
|
dct.subject |
Chain complex |
|
dct.language |
en |
|
ethesis.isPublicationLicenseAccepted |
true |
|
ethesis.language.URI |
http://data.hulib.helsinki.fi/id/languages/eng |
|
ethesis.language |
englanti |
fi |
ethesis.language |
English |
en |
ethesis.language |
engelska |
sv |
ethesis.thesistype |
pro gradu -tutkielmat |
fi |
ethesis.thesistype |
master's thesis |
en |
ethesis.thesistype |
pro gradu-avhandlingar |
sv |
ethesis.thesistype.URI |
http://data.hulib.helsinki.fi/id/thesistypes/mastersthesis |
|
dct.identifier.ethesis |
E-thesisID:405767f6-2af6-4b85-a780-6deabf17aff7 |
|
dct.identifier.urn |
URN:NBN:fi:hulib-202106082544 |
|
dc.type.dcmitype |
Text |
|
ethesis.facultystudyline |
Matematiikka |
fi |
ethesis.facultystudyline |
Mathematics |
en |
ethesis.facultystudyline |
Matematik |
sv |
ethesis.facultystudyline.URI |
http://data.hulib.helsinki.fi/id/SH50_050 |
|
ethesis.mastersdegreeprogram |
Matematiikan ja tilastotieteen maisteriohjelma |
fi |
ethesis.mastersdegreeprogram |
Master's Programme in Mathematics and Statistics |
en |
ethesis.mastersdegreeprogram |
Magisterprogrammet i matematik och statistik |
sv |
ethesis.mastersdegreeprogram.URI |
http://data.hulib.helsinki.fi/id/MH50_001 |
|