Homología efectiva y sucesión espectral de Eilenberg-Moore

In this memoir the computability of the effective homology of fibrations is studied. In Chapter 0, the basic notations about effective homology, simplicial sets and computability are introduced. In Chapter 1, an "effective version" of the Eilenberg-Moore spectral sequence is defined. Using...

Descripción completa

Detalles Bibliográficos
Autor: Rubio García, Julio [0000-0002-4282-3692]
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:1988
País:España
Institución:Universidad de La Rioja (UR)
Repositorio:RIUR. Repositorio Institucional de la Universidad de La Rioja
OAI Identifier:oai:portal.dialnet.es:doc/5c13b144c8914b6ed37762a6
Acceso en línea:https://investigacion.unirioja.es/documentos/5c13b144c8914b6ed37762a6
Access Level:acceso abierto
id ES_fa82f331d1cf5ebacad80686edcfb1a9
oai_identifier_str oai:portal.dialnet.es:doc/5c13b144c8914b6ed37762a6
network_acronym_str ES
network_name_str España
repository_id_str
spelling Homología efectiva y sucesión espectral de Eilenberg-MooreRubio García, Julio [0000-0002-4282-3692]In this memoir the computability of the effective homology of fibrations is studied. In Chapter 0, the basic notations about effective homology, simplicial sets and computability are introduced. In Chapter 1, an "effective version" of the Eilenberg-Moore spectral sequence is defined. Using this spectral sequence, we give in Chapter 2 an algorithm computing the effective homology of the fiber for a simplicial fibration E? B where B is simply connected and the effective homology of E and B are known. In the last Chapter, by using the above results and the acyclic models method, we find an algorithm computing the effective homology of the simplicial loop space of a simply connected simplicial set whose effective homology is known.On décrit dans ce mémoire un ensemble d'algorithmes qui nous on permis de developper un logiciel Lisp calculant l'homologie entière des espaces de lacets itérés. Dans le chapitre 1, on introduit une machine théorique (inspirée du X-calcul).où il faut interpréter les resultats de calculabilité démontrés dans les chapitres suivants. Le deuxième chapitre est consacré à étudier les propriétés de l'homologie effective et la théorie dite de perturbation homologique. Le lien entre l'algèbre et la topologie, autrement dit le théorème d'Eilenberg-Zilber est traité dans le troisième chapitre. On y inclut aussi une comparaison entre le théorème d'Eilenberg-Zilber tordu et le résultat de E. Brown sur l'existence des cochaînes de torsión. En utilisant les résultats précédents, on donne dans le chapitre 4 un algorithme de calcul de l'homologie effective des espaces de lacets itérés. Le point clé de cet algorithme est la transformation de la suite spectrale d'Eilenberg-Moore en un vrai procédé de calcul. Enfin, le chapitre 5 es consacré à décrire quelques détails d'implémentation du logicial et à donner une liste d'exemples des groupes d'homologie qui ont été déjà calculés sur machine. Domínguez Murillo, EladioSergeraert, Francis1988info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://investigacion.unirioja.es/documentos/5c13b144c8914b6ed37762a6reponame:RIUR. Repositorio Institucional de la Universidad de La Riojainstname:Universidad de La Rioja (UR)Españolinfo:eu-repo/semantics/openAccessoai:portal.dialnet.es:doc/5c13b144c8914b6ed37762a62026-06-14T12:47:17Z
dc.title.none.fl_str_mv Homología efectiva y sucesión espectral de Eilenberg-Moore
title Homología efectiva y sucesión espectral de Eilenberg-Moore
spellingShingle Homología efectiva y sucesión espectral de Eilenberg-Moore
Rubio García, Julio [0000-0002-4282-3692]
title_short Homología efectiva y sucesión espectral de Eilenberg-Moore
title_full Homología efectiva y sucesión espectral de Eilenberg-Moore
title_fullStr Homología efectiva y sucesión espectral de Eilenberg-Moore
title_full_unstemmed Homología efectiva y sucesión espectral de Eilenberg-Moore
title_sort Homología efectiva y sucesión espectral de Eilenberg-Moore
dc.creator.none.fl_str_mv Rubio García, Julio [0000-0002-4282-3692]
author Rubio García, Julio [0000-0002-4282-3692]
author_facet Rubio García, Julio [0000-0002-4282-3692]
author_role author
dc.contributor.none.fl_str_mv Domínguez Murillo, Eladio
Sergeraert, Francis
description In this memoir the computability of the effective homology of fibrations is studied. In Chapter 0, the basic notations about effective homology, simplicial sets and computability are introduced. In Chapter 1, an "effective version" of the Eilenberg-Moore spectral sequence is defined. Using this spectral sequence, we give in Chapter 2 an algorithm computing the effective homology of the fiber for a simplicial fibration E? B where B is simply connected and the effective homology of E and B are known. In the last Chapter, by using the above results and the acyclic models method, we find an algorithm computing the effective homology of the simplicial loop space of a simply connected simplicial set whose effective homology is known.
publishDate 1988
dc.date.none.fl_str_mv 1988
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://investigacion.unirioja.es/documentos/5c13b144c8914b6ed37762a6
url https://investigacion.unirioja.es/documentos/5c13b144c8914b6ed37762a6
dc.language.none.fl_str_mv Español
language_invalid_str_mv Español
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:RIUR. Repositorio Institucional de la Universidad de La Rioja
instname:Universidad de La Rioja (UR)
instname_str Universidad de La Rioja (UR)
reponame_str RIUR. Repositorio Institucional de la Universidad de La Rioja
collection RIUR. Repositorio Institucional de la Universidad de La Rioja
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869425217798930432
score 15.301629

Similares en LA Referencia