Computing All Maps into a Sphere

Given topological spaces X, Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y. We consider a computational version, where X, Y are given as finite simplicial complexes, and the goal is to compute [X, Y], that is, all homotopy classes of such maps. We solve this problem in the stable range, where for some d >= 2, we have dim X <= 2d - 2 and Y is (d - 1)-connected; in particular, Y can bathed-dimensional sphere S-d. The algorithm combines classical tools and ideas from homotopy theory (obstruction theory, Postnikov systems, and simplicial sets) with algorithmic tools froth effective algebraic topology (locally effective simplicial sets and objects with effective homology). In contrast, [X, Y] is known to be uncomputable for general X, Y, since for X = S-1 it includes a well known undecidable problem: testing triviality of the fundamental group of Y. In follow-up papers, the algorithm is shown to run in polynomial time for d fixed, and extended to other problems, such as the extension problem, where we are given a subspace A subset of X and a map A -> Y and ask whether it extends to a map X -> Y, or computing the Zeta(2)-index-everything in the stable range. Outside the stable range, the extension problem is undecidable.