Homotopía étale de un topos

Mostrar todas las versiones(3)

En esta tesis se extienden los invariantes homotópicos desarrollados por M. Artin y B. Mazur para topos localmente conexos al caso de un topos arbitrario. Dado un topos localmente conexo E –γ→ S [fórmula aproximada, revisar la misma en el original], Artin y Mazur definen el tipo homotópico étale πE...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Data, Matías Ignacio
Otros Autores:	Dubuc, Eduardo Julio
Formato:	Tesis doctoral publishedVersion
Lenguaje:	Español
Publicado:	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2020
Materias:	HIPERCUBRIMIENTOS PROYECCIONES CUBRIENTES TIPO HOMOTOPICO ETALE 2-PRO-OBJETO GRUPOIDE FUNDAMENTAL DE UN TOPOS HYPERCOVERS COVERING PROJECTIONS ETALE HOMOTOPY TYPE 2-PRO-OBJECT FUNDAMENTAL GROUPOID OF A TOPOS
Acceso en línea:	https://hdl.handle.net/20.500.12110/tesis_n6822_Data
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	tesis:tesis_n6822_Data
record_format	dspace
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language	Español
orig_language_str_mv	spa
topic	HIPERCUBRIMIENTOS PROYECCIONES CUBRIENTES TIPO HOMOTOPICO ETALE 2-PRO-OBJETO GRUPOIDE FUNDAMENTAL DE UN TOPOS HYPERCOVERS COVERING PROJECTIONS ETALE HOMOTOPY TYPE 2-PRO-OBJECT FUNDAMENTAL GROUPOID OF A TOPOS
spellingShingle	HIPERCUBRIMIENTOS PROYECCIONES CUBRIENTES TIPO HOMOTOPICO ETALE 2-PRO-OBJETO GRUPOIDE FUNDAMENTAL DE UN TOPOS HYPERCOVERS COVERING PROJECTIONS ETALE HOMOTOPY TYPE 2-PRO-OBJECT FUNDAMENTAL GROUPOID OF A TOPOS Data, Matías Ignacio Homotopía étale de un topos
topic_facet	HIPERCUBRIMIENTOS PROYECCIONES CUBRIENTES TIPO HOMOTOPICO ETALE 2-PRO-OBJETO GRUPOIDE FUNDAMENTAL DE UN TOPOS HYPERCOVERS COVERING PROJECTIONS ETALE HOMOTOPY TYPE 2-PRO-OBJECT FUNDAMENTAL GROUPOID OF A TOPOS
description	En esta tesis se extienden los invariantes homotópicos desarrollados por M. Artin y B. Mazur para topos localmente conexos al caso de un topos arbitrario. Dado un topos localmente conexo E –γ→ S [fórmula aproximada, revisar la misma en el original], Artin y Mazur definen el tipo homotópico étale πE que es un pro-objeto en la categoría homotópica de los conjuntos simpliciales H. La construcción consiste esencialmente en aplicarle el funtor de componentes conexas γ! al diagrama cofiltrante de los hipercubrimientos del topos salvo homotopía simplicial. Dado un punto S—p→E[fórmula aproximada, revisar la misma en el original] se obtienen pro-grupos de homotopía. Este invariante determina la cohomología con coeficientes constantes (grupo para n = 1, grupo abeliano para n > 1) del topos y permite calcularla como un colímite filtrante. Más aún en el caso de un topos punteado conexo y localmente conexo, el pro-grupo fundamental representa torsores. Debido a la ausencia del funtor de componentes conexas γ! en el caso general, se deben considerar todas las indexaciones simpliciales posibles de un hipercubrimiento como parte del pro-objeto. Esto nos lleva a estudiar las categorías de familias y familias simpliciales de un topos. Mediante esta última se logra definir un pro-objeto que es isomorfo en el caso localmente cone-xo al definido por Artin y Mazur. Se demuestra que en el caso general este invariante determina la cohomología con coeficientes constantes (grupo para n = 1, grupo abeliano para n > 1) del topos y se tiene una fórmula como un colímite filtrante. Luego se utiliza esta construcción para estudiar el Grupoide Fundamental del topos. Considerando a las homotopías entre morfismos de hipercubrimientos se construye un 2-pro-grupoide. Se demuestra que este 2-pro-grupoide determina la categoria de proyecciones cubrientes (definidas por E. J. Dubuc en The fundamental progroupoid of a general topos, JPAA 212) como un 2-colímite y que representa torsores, dando una nueva construcción del Grupoide Fundamental de un topos que generaliza el caso localmente conexo.
author2	Dubuc, Eduardo Julio
author_facet	Dubuc, Eduardo Julio Data, Matías Ignacio
format	Tesis doctoral Tesis doctoral publishedVersion
author	Data, Matías Ignacio
author_sort	Data, Matías Ignacio
title	Homotopía étale de un topos
title_short	Homotopía étale de un topos
title_full	Homotopía étale de un topos
title_fullStr	Homotopía étale de un topos
title_full_unstemmed	Homotopía étale de un topos
title_sort	homotopía étale de un topos
publisher	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate	2020
url	https://hdl.handle.net/20.500.12110/tesis_n6822_Data
work_keys_str_mv	AT datamatiasignacio homotopiaetaledeuntopos AT datamatiasignacio etalehomotopyofatopos
_version_	1782023424592314368
spelling	tesis:tesis_n6822_Data2023-10-02T20:22:21Z Homotopía étale de un topos Étale homotopy of a topos Data, Matías Ignacio Dubuc, Eduardo Julio HIPERCUBRIMIENTOS PROYECCIONES CUBRIENTES TIPO HOMOTOPICO ETALE 2-PRO-OBJETO GRUPOIDE FUNDAMENTAL DE UN TOPOS HYPERCOVERS COVERING PROJECTIONS ETALE HOMOTOPY TYPE 2-PRO-OBJECT FUNDAMENTAL GROUPOID OF A TOPOS En esta tesis se extienden los invariantes homotópicos desarrollados por M. Artin y B. Mazur para topos localmente conexos al caso de un topos arbitrario. Dado un topos localmente conexo E –γ→ S [fórmula aproximada, revisar la misma en el original], Artin y Mazur definen el tipo homotópico étale πE que es un pro-objeto en la categoría homotópica de los conjuntos simpliciales H. La construcción consiste esencialmente en aplicarle el funtor de componentes conexas γ! al diagrama cofiltrante de los hipercubrimientos del topos salvo homotopía simplicial. Dado un punto S—p→E[fórmula aproximada, revisar la misma en el original] se obtienen pro-grupos de homotopía. Este invariante determina la cohomología con coeficientes constantes (grupo para n = 1, grupo abeliano para n > 1) del topos y permite calcularla como un colímite filtrante. Más aún en el caso de un topos punteado conexo y localmente conexo, el pro-grupo fundamental representa torsores. Debido a la ausencia del funtor de componentes conexas γ! en el caso general, se deben considerar todas las indexaciones simpliciales posibles de un hipercubrimiento como parte del pro-objeto. Esto nos lleva a estudiar las categorías de familias y familias simpliciales de un topos. Mediante esta última se logra definir un pro-objeto que es isomorfo en el caso localmente cone-xo al definido por Artin y Mazur. Se demuestra que en el caso general este invariante determina la cohomología con coeficientes constantes (grupo para n = 1, grupo abeliano para n > 1) del topos y se tiene una fórmula como un colímite filtrante. Luego se utiliza esta construcción para estudiar el Grupoide Fundamental del topos. Considerando a las homotopías entre morfismos de hipercubrimientos se construye un 2-pro-grupoide. Se demuestra que este 2-pro-grupoide determina la categoria de proyecciones cubrientes (definidas por E. J. Dubuc en The fundamental progroupoid of a general topos, JPAA 212) como un 2-colímite y que representa torsores, dando una nueva construcción del Grupoide Fundamental de un topos que generaliza el caso localmente conexo. In this thesis we extend the homotopy invariants developed by M. Artin and B. Mazur for locally connected topoi to the case of an arbitrary topos. Given a locally connected topos E –γ→ S[fórmula aproximada, revisar la misma en el original], Artin and Mazur define the étale homotopy type Ver(E) which is a pro-object in the homotopy category of simplicial sets H. The construction consist essentially of applying the connected components functor γ! to the cofiltered diagram of hypercovers up to simplicial homotopy. Given a point S—p→E[fórmula aproximada, revisar la misma en el original] one gets homotopy pro-groups. This invariant determines the cohomology with constant coefficients (group for n = 1, abelian group for n > 1) of the topos, and gives a computation as a filtered colimit. Moreover, in the case of a pointed connected locally connected topos, the fundamental pro-group represents torsors. Due to the absence of the connected components functor γ! in the general case, we have to consider all posible simplicial indexations of a hypercover as part of the pro-object. This requires an study of the categories of families and simplicial families of a topos, through which we are able to define a pro-object that in the locally connected case is isomorphic to the one defined by Artin and Mazur. We prove that in the general case this invariant determines the cohomology with constant coefficients (group for n = 1, abelian group for n > 1) of the topos, and gives a computation as a filtered colimit. Then we use this construction to study the Fundamental Groupoid of the topos. Considering the homotopies between morphisms of hypercovers we construct a 2-pro-groupoid. We prove that this 2-pro-groupoid determines the category of covering projections (as defined by E. J. Dubuc in The fundamental progroupoid of a general topos, JPAA 212) as a 2-colimit and moreover represents torsors, which gives a new construction of the Fundamental Groupoid of a topos which generalizes the locally connected case. Fil: Data, Matías Ignacio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2020-05-20 info:eu-repo/semantics/doctoralThesis info:ar-repo/semantics/tesis doctoral info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n6822_Data

Homotopía étale de un topos

Ejemplares similares