Abstract
This paper is devoted to the Cradle Theorem. It is a recursive description of a discrete vector field on the direct product of simplices \(\varDelta ^p \times \varDelta ^q\) endowed with the standard triangulation. The vector field provides an explicit deformation that is used to establish an algorithm for computing the Bousfield–Kan spectral sequence, more precisely to compute the homotopy groups \(\pi _n(\varOmega ^p G)\) for \(G\) a 1-reduced simplicial abelian group.
Similar content being viewed by others
Notes
An existence theorem is constructive if an explicit construction, in other words an algorithm, is given to exhibit the object the existence of which is claimed. The practical usefulness of this algorithm depends on its complexity. With respect to some dimension, we are quickly here in front of the P-NP problem. On the contrary, in some fixed dimension, the dependency with respect to some initial combinatorial object is polynomial. The previous work of the authors, see for example [3], illustrates the practical interest of these constructive methods.
Pedro Real’s algorithm computing the homotopy groups [5] uses the Whitehead tower, requiring an iterative use of Serre and Eilenberg–Moore spectral sequences, while Bousfield–Kan produces a unique spectral sequence, with a rich algebraic structure, leading in particular, if localized at a prime, to the module structure with respect to the corresponding Steenrod algebra, that is, the Adams spectral sequence.
References
May, J.P.: Simplicial Objects in Algebraic Topology. Van Nostrand Mathematical Studies. University of Chicago Press, Chicago (1967)
Goerss, P.G., Jardine, J.F.: Simplicial Homotopy Theory. Progress in Mathematics, vol. 174. Birkhäuser, Basel (1999)
Dousson, X., Rubio, J., Sergeraert, F., Siret, Y.: The Kenzo Program. Institut Fourier, Grenoble (1999). http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/. Accessed December 2014
Bousfield, A.K., Kan, D.M.: The homotopy spectral sequence of a space with coefficients in a ring. Topology 11, 79–106 (1972)
Real, P.: An algorithm computing homotopy groups. Math. Comput. Simul. 42, 461–465 (1996)
Bousfield, A.K., Kan, D.M.: Homotopy Limits, Completions and Localizations. Lecture Notes in Mathematics, vol. 304. Springer, Berlin (1972)
Romero, A., Sergeraert, F.: Effective homotopy of fibrations. Appl. Algebra Eng. Commun. Comput. 23, 85–100 (2012)
Forman, R.: Morse theory for cell complexes. Adv. Math. 134, 90–145 (1998)
Romero, A., Sergeraert, F.: Programming before theorizing, a case study. In: International Symposium on Symbolic and Algebraic Computation, ISSAC 2012, pp. 289–296. ACM, New York (2012)
Romero, A., Sergeraert, F.: Discrete Vector Fields and fundamental Algebraic Topology (2010). Preprint arXiv:1005.5685v1
Rubio, J., Sergeraert, F.: Introduction to Combinatorial Homotopy Theory (2008). http://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Trieste-Lecture-Notes.pdf
Romero, A., Sergeraert, F.: A combinatorial tool for computing the effective homotopy of iterated loop spaces, extended version (2014). Preprint http://www.unirioja.es/cu/anromero/actcehilsev.pdf. Accessed December 2014
Acknowledgments
The research was partially supported by Ministerio de Economía y Competitividad, Spain, project MTM2013-41775-P.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Romero, A., Sergeraert, F. A Combinatorial Tool for Computing the Effective Homotopy of Iterated Loop Spaces. Discrete Comput Geom 53, 1–15 (2015). https://doi.org/10.1007/s00454-014-9650-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-014-9650-1