5b65b3080042cf80.tex
1: \begin{abstract} Recently it was shown that, for every fixed $k\ge 2$,
2: given a finite simply connected simplicial complex $X$, the $k$th homotopy
3: group $\pi_k(X)$ can be computed in time polynomial in the number $n$
4: of simplices of $X$. We prove that this problem is $W[1]$-hard w.r.t.~the 
5: parameter $k$ even for $X$ of dimension~$4$, and thus very unlikely to 
6: admit an algorithm with running time bound $f(k)n^C$ for an absolute 
7: constant~$C$. We also simplify, by about 20 pages, a 1989 proof by Anick
8: that, with $k$ part of input, the computation of the rank of $\pi_k(X)$ is 
9: \#P-hard.
10: \end{abstract}
11: