A case study of A8-structure
- Alcaraz, A.B. 1
- Rubio, J. 2
- Sergeraert, F. 3
-
1
Universidad del País Vasco/Euskal Herriko Unibertsitatea
info
Universidad del País Vasco/Euskal Herriko Unibertsitatea
Lejona, España
-
2
Universidad de La Rioja
info
-
3
Institut Fourier
info
ISSN: 1072-947X
Año de publicación: 2010
Volumen: 17
Número: 1
Páginas: 57-77
Tipo: Artículo
beta Ver similares en nube de resultadosOtras publicaciones en: Georgian Mathematical Journal
Proyectos relacionados
Resumen
The computer program Kenzo is used to study complex A∞-structures coming from iterated loop spaces. The methods of constructive algebraic topology, due to the authors, do produce chain complexes of finite type and chain equivalences with the Hopf algebras canonically associated to the loop spaces. These chain complexes of finite type are therefore endowed with A∞-structures. It is then experimentally observed, using the Kenzo program, that A∞-structures of arbitrarily high orders are nontrivial in these objects. This case study is a good illustration of the computing tools given to the topologists by the Kenzo program.