1: \begin{abstract}

2: We show the problem of counting homomorphisms from the fundamental

3: group of a homology $3$-sphere $M$ to a finite, non-abelian simple

4: group $G$ is $\shP$-complete, in the case that $G$ is fixed and $M$ is

5: the computational input.  Similarly, deciding if there is a non-trivial

6: homomorphism is $\NP$-complete.  In both reductions, we can guarantee

7: that every non-trivial homomorphism is a surjection.  As a corollary, for

8: any fixed integer $m \ge 5$, it is $\NP$-complete to decide whether $M$

9: admits a connected $m$-sheeted covering.

10: 

11: Our construction is inspired by universality results in topological quantum

12: computation.  Given a classical reversible circuit $C$, we construct $M$

13: so that evaluations of $C$ with certain initialization and finalization

14: conditions correspond to homomorphisms $\pi_1(M) \to G$.  An intermediate

15: state of $C$ likewise corresponds to a homomorphism $\pi_1(\Sigma_g) \to

16: G$, where $\Sigma_g$ is a pointed Heegaard surface of $M$ of genus $g$.

17: We analyze the action on these homomorphisms by the pointed mapping class

18: group $\MCG_*(\Sigma_g)$ and its Torelli subgroup $\Tor_*(\Sigma_g)$.

19: By results of Dunfield-Thurston, the action of $\MCG_*(\Sigma_g)$ is as

20: large as possible when $g$ is sufficiently large; we can pass to the

21: Torelli group using the congruence subgroup property of $\Sp(2g,\Z)$.

22: Our results can be interpreted as a sharp classical universality property

23: of an associated combinatorial $(2+1)$-dimensional TQFT.

24: \end{abstract}

25: