Topologia algébrica não-abeliana
Autor(a) principal: | |
---|---|
Data de Publicação: | 2014 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | http://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022014-095205/ |
Resumo: | O presente trabalho é uma apresentação de aplicações de estruturas da álgebra de dimensões altas para a teoria de homotopia. Mais precisamente mostramos que existe uma equivalência entre as categorias dos cat$^n$-grupos e a dos $n$-cubos cruzados de grupos, ambas equivalentes a categoria das $n$-categorias estritas internas à categoria de grupos, e uma certa subcategoria da categoria dos $n$-cubos fibrantes, os chamados $n$-cubos de Eilenberg-MacLane. Além disso existe uma equivalência entre uma localização dessa subcategoria e a categoria homotópica dos $(n+1)$-tipos homotópicos, o que sugere a utilidade de usar as estruturas algébricas apresentadas como invariantes topológicas. O teorema central dessa teoria, o teorema generalizado de Seifert-van Kampen, diz que o funtor dos $n$-cubos de fibração aos cat$^n$-grupos usado para mostrar a equivalência mencionada preserva o colimite de certos diagramas e que nesses casos conectividade é preservada, o que permite certas computações. Apresentaremos definições das estruturas algébricas mencionadas além de como calcular certos colimites na categoria de $n$-cubos cruzados de grupos, demonstraremos os teoremas principais da teoria e mostramos como usar esses resultados para generalizar resultados clássicos da topologia algébrica como o teorema de Blakers-Massey, o teorema de Hurewicz e a fórmula de Hopf para homologia de grupos. |
id |
USP_88932261c01dc3c63a45a73f8e32b688 |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-11022014-095205 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Topologia algébrica não-abelianaNon-abelian algebraic topology$n$-Cubos cruzados de gruposalgebraic topologycat$^n$-groupscat$^n$-gruposCrossed $n$-cubes of groupsGeneralized Seifert-van Kampen theoremhomotopy theory.teorema generalizado de Seifert-van Kampenteoria de homotopia.topologia algébricaO presente trabalho é uma apresentação de aplicações de estruturas da álgebra de dimensões altas para a teoria de homotopia. Mais precisamente mostramos que existe uma equivalência entre as categorias dos cat$^n$-grupos e a dos $n$-cubos cruzados de grupos, ambas equivalentes a categoria das $n$-categorias estritas internas à categoria de grupos, e uma certa subcategoria da categoria dos $n$-cubos fibrantes, os chamados $n$-cubos de Eilenberg-MacLane. Além disso existe uma equivalência entre uma localização dessa subcategoria e a categoria homotópica dos $(n+1)$-tipos homotópicos, o que sugere a utilidade de usar as estruturas algébricas apresentadas como invariantes topológicas. O teorema central dessa teoria, o teorema generalizado de Seifert-van Kampen, diz que o funtor dos $n$-cubos de fibração aos cat$^n$-grupos usado para mostrar a equivalência mencionada preserva o colimite de certos diagramas e que nesses casos conectividade é preservada, o que permite certas computações. Apresentaremos definições das estruturas algébricas mencionadas além de como calcular certos colimites na categoria de $n$-cubos cruzados de grupos, demonstraremos os teoremas principais da teoria e mostramos como usar esses resultados para generalizar resultados clássicos da topologia algébrica como o teorema de Blakers-Massey, o teorema de Hurewicz e a fórmula de Hopf para homologia de grupos.The present work is a presentation of applications to homotopy theory of structures in higher dimensional algebra. More precisely we show how the categories of crossed $n$-cubes of groups and of cat$^n$-groups, both equivalent to the category of strict $n$-categories internal to the category of groups, are equivalent to a subcategory of the category of fibrant $n$-cubes, namely the Eilenberg-MacLane $n$-cubes. There is also an equivalence between a localization of the category of Eilenberg-MacLane $n$-cubes and the homotopy category of homotopy $(n+1)$-types, which suggests the usefulness of the presented algebraic structures as topological invariants. The central theorem of this theory, the generalized Seifert-van Kampen theorem, states that the functor from $n$-cube of fibrations to the cat$^n$-groups used to show the aforementioned equivalence preserves the colimit of certain diagrams, and in these cases connectivity is preserved, which permits some computations. We present definitions of the relevant algebraic structures and also how to calculate certain colimits in the category of crossed $n$-cubes of groups, we demonstrate the main theorems of the theory and then we show how to generalize classical results in algebraic topology like the Blakers-Massey theorem, Hurewicz theorem and Hopf\'s formula for the homology of groups.Biblioteca Digitais de Teses e Dissertações da USPGoncalves, Daciberg LimaVieira, Renato Vasconcellos2014-02-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022014-095205/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2016-07-28T16:11:47Zoai:teses.usp.br:tde-11022014-095205Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:11:47Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Topologia algébrica não-abeliana Non-abelian algebraic topology |
title |
Topologia algébrica não-abeliana |
spellingShingle |
Topologia algébrica não-abeliana Vieira, Renato Vasconcellos $n$-Cubos cruzados de grupos algebraic topology cat$^n$-groups cat$^n$-grupos Crossed $n$-cubes of groups Generalized Seifert-van Kampen theorem homotopy theory. teorema generalizado de Seifert-van Kampen teoria de homotopia. topologia algébrica |
title_short |
Topologia algébrica não-abeliana |
title_full |
Topologia algébrica não-abeliana |
title_fullStr |
Topologia algébrica não-abeliana |
title_full_unstemmed |
Topologia algébrica não-abeliana |
title_sort |
Topologia algébrica não-abeliana |
author |
Vieira, Renato Vasconcellos |
author_facet |
Vieira, Renato Vasconcellos |
author_role |
author |
dc.contributor.none.fl_str_mv |
Goncalves, Daciberg Lima |
dc.contributor.author.fl_str_mv |
Vieira, Renato Vasconcellos |
dc.subject.por.fl_str_mv |
$n$-Cubos cruzados de grupos algebraic topology cat$^n$-groups cat$^n$-grupos Crossed $n$-cubes of groups Generalized Seifert-van Kampen theorem homotopy theory. teorema generalizado de Seifert-van Kampen teoria de homotopia. topologia algébrica |
topic |
$n$-Cubos cruzados de grupos algebraic topology cat$^n$-groups cat$^n$-grupos Crossed $n$-cubes of groups Generalized Seifert-van Kampen theorem homotopy theory. teorema generalizado de Seifert-van Kampen teoria de homotopia. topologia algébrica |
description |
O presente trabalho é uma apresentação de aplicações de estruturas da álgebra de dimensões altas para a teoria de homotopia. Mais precisamente mostramos que existe uma equivalência entre as categorias dos cat$^n$-grupos e a dos $n$-cubos cruzados de grupos, ambas equivalentes a categoria das $n$-categorias estritas internas à categoria de grupos, e uma certa subcategoria da categoria dos $n$-cubos fibrantes, os chamados $n$-cubos de Eilenberg-MacLane. Além disso existe uma equivalência entre uma localização dessa subcategoria e a categoria homotópica dos $(n+1)$-tipos homotópicos, o que sugere a utilidade de usar as estruturas algébricas apresentadas como invariantes topológicas. O teorema central dessa teoria, o teorema generalizado de Seifert-van Kampen, diz que o funtor dos $n$-cubos de fibração aos cat$^n$-grupos usado para mostrar a equivalência mencionada preserva o colimite de certos diagramas e que nesses casos conectividade é preservada, o que permite certas computações. Apresentaremos definições das estruturas algébricas mencionadas além de como calcular certos colimites na categoria de $n$-cubos cruzados de grupos, demonstraremos os teoremas principais da teoria e mostramos como usar esses resultados para generalizar resultados clássicos da topologia algébrica como o teorema de Blakers-Massey, o teorema de Hurewicz e a fórmula de Hopf para homologia de grupos. |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014-02-07 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022014-095205/ |
url |
http://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022014-095205/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1809090604506808320 |