1: \begin{abstract}

2: We consider two basic problems of algebraic topology, the \emph{extension problem}

3: and the \emph{computation of higher homotopy groups}, from the point of view of computability

4: and computational complexity.

5: 

6: The \emph{extension problem} is the following: Given topological spaces $X$ and $Y$, a subspace $A\subseteq X$, and a (continuous) map $f\:A\to Y$, decide whether $f$ can be extended to a continuous map $\bar{f}\:X\to Y$. All spaces are given as finite simplicial complexes and the map $f$ is simplicial.

7: 

8: Recent positive algorithmic results, proved in a series of companion papers, show that for $(k-1)$-connected $Y$, $k\ge 2$,

9: the extension problem is algorithmically solvable if the dimension of $X$

10: is at most $2k-1$, and even in polynomial time when $k$ is fixed.

11: 

12: Here we show that the condition $\dim X\leq 2k-1$ cannot be relaxed: for $\dim X=2k$, the extension problem with $(k-1)$-connected $Y$

13: becomes undecidable. Moreover, either the target space $Y$ or

14: the pair $(X,A)$ can be fixed in such a way that the problem remains

15: undecidable.

16: 

17: Our second result, a strengthening of a result of Anick, says that the computation of $\pi_k(Y)$ of a $1$-connected simplicial complex $Y$ is \#P-hard when $k$ is considered as a part of the input.

18: \end{abstract}

19: