Algorithmic construction of the Postnikov tower for diagrams of simplicial sets /
Hlavním cílem této práce je popis algoritmu, který pro konečný diagram jednoduše souvislých simpliciálních množin, zkonstruuje jeho n-patrovou Postnikovovu věž. Při použití Elmendorfovy věty je tento výsledek aplikovatelný i na algoritmické výpočty v ekvivariantní algebraické topologii. Dále uvádíme...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2016
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/211334/prif_d/ |
| Shrnutí: | Hlavním cílem této práce je popis algoritmu, který pro konečný diagram jednoduše souvislých simpliciálních množin, zkonstruuje jeho n-patrovou Postnikovovu věž. Při použití Elmendorfovy věty je tento výsledek aplikovatelný i na algoritmické výpočty v ekvivariantní algebraické topologii. Dále uvádíme algoritmus, který pro dané simpliciální zobrazení mezi konečnými simpliciálními prostory rozhoduje, zda je toto homotopické s triviálním zobrazením. The aim of the thesis is to provide an algorithm that given a finite diagram of simplicial sets, where all elements in the diagram are simply connected, constructs its n-stage Postnikov tower. The Elmendorf's theorem shows that this result is applicable to algorithmic computations in equivariant algebraic topology. Further, we present an algorithm that decides if a simplicial between finite simplicial sets is homotopic to a trivial map under the assumption that the target space is simply connected. |
|---|---|
| Popis jednotky: | Vedoucí práce: Martin Čadek |
| Fyzický popis: | 67 stran |