Effective homology of universal covers
Resumen: We present an algorithm for constructing the effective homology for the universal cover of simplicial sets with effective homology, provided that a nilpotency condition holds. This can be useful for computing higher homotopy groups, since this process can be seen as the first step in the Whitehead tower. Our algorithm can be applied to some spaces satisfying a particular condition. We also present implementations of this method in SageMath and Kenzo.
Idioma: Inglés
DOI: 10.1145/3614408.3614414
Año: 2023
Publicado en: ACM communications in computer algebra 57, 2 (2023), 47-50
ISSN: 1932-2232

Factor impacto CITESCORE: 0.7 - Computational Theory and Mathematics (Q4) - Computational Mathematics (Q4)

Factor impacto SCIMAGO: 0.336 - Computational Theory and Mathematics (Q3) - Computational Mathematics (Q3)

Financiación: info:eu-repo/grantAgreement/ES/DGA/E22-20R
Financiación: info:eu-repo/grantAgreement/ES/MICINN/PID2020-114750GB-C31/AEI/10.13039/501100011033
Tipo y forma: Artículo (Versión definitiva)
Área (Departamento): Área Geometría y Topología (Dpto. Matemáticas)

Creative Commons Debe reconocer adecuadamente la autoría, proporcionar un enlace a la licencia e indicar si se han realizado cambios. Puede hacerlo de cualquier manera razonable, pero no de una manera que sugiera que tiene el apoyo del licenciador o lo recibe por el uso que hace. No puede utilizar el material para una finalidad comercial.


Exportado de SIDERAL (2024-07-31-09:54:46)


Visitas y descargas

Este artículo se encuentra en las siguientes colecciones:
Artículos



 Registro creado el 2024-01-04, última modificación el 2024-07-31


Versión publicada:
 PDF
Valore este documento:

Rate this document:
1
2
3
 
(Sin ninguna reseña)