1: \begin{abstract}

2: A central problem of algebraic topology is to understand the \emph{homotopy groups}

3: $\pi_d(X)$ of a topological space $X$. For the computational version of the problem, it is

4: well known that there is no algorithm to decide whether the \emph{fundamental group} 

5: $\pi_1(X)$ of a given finite simplicial complex $X$ is trivial. On the other hand, there are 

6: several algorithms that, given a finite simplicial complex $X$ that is \emph{simply connected}

7: (i.e., with $\pi_1(X)$ trivial), compute the higher homotopy group $\pi_d(X)$ for any 

8: given $d\geq 2$. %The first such algorithm was given by Brown, and more recently, \v{C}adek et al. 

9: %showed that the problem can be solved in polynomial time if $d$ is \emph{fixed}.

10: 

11: However, these algorithms come with a caveat: They compute the isomorphism type of

12: $\pi_d(X)$, $d\geq 2$ as an \emph{abstract} finitely generated abelian group given by 

13: generators and relations, but they work with very implicit representations of the elements of $\pi_d(X)$.

14: Converting elements of this abstract group into explicit geometric maps from the $d$-dimensional sphere $S^d$

15: to $X$ has been one of the main unsolved problems in the emerging field of computational homotopy theory.

16: 

17: Here we present an algorithm that, given a~simply connected space $X$, 

18: computes $\pi_d(X)$ and represents its elements as simplicial maps from a suitable triangulation 

19: of the $d$-sphere $S^d$ to $X$. For fixed $d$, the algorithm runs in time exponential in $\size(X)$, 

20: the number of simplices of $X$. Moreover, we prove that this is optimal: For every fixed $d\geq 2$, 

21: we construct a family of simply connected spaces $X$ such that for any simplicial map 

22: representing a generator of $\pi_d(X)$, the size of the triangulation of $S^d$ on which the map is defined,

23: is exponential in $\size(X)$.

24: \end{abstract}

25: