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: Article (Published version)
Área (Departamento): Área Geometría y Topología (Dpto. Matemáticas)

Creative Commons You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. You may not use the material for commercial purposes.


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


Visitas y descargas

Este artículo se encuentra en las siguientes colecciones:
Articles



 Record created 2024-01-04, last modified 2024-07-31


Versión publicada:
 PDF
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)