1: \begin{abstract}

2: Suppose $X$ is the complex zero set of a finite collection of polynomials in 

3: $\Z[x_1,...,x_n]$. We show that deciding whether $X$ 

4: contains a point all of whose coordinates are $d\thth$ roots of unity 

5: can be done within $\np^\np$ (relative to the sparse encoding), under a 

6: plausible assumption on primes in arithmetic progression. In particular, 

7: our hypothesis can still hold even under certain failures of the Generalized 

8: Riemann Hypothesis, such as the presence of Siegel-Landau zeroes.  

9: Furthermore, we give a similar {\bf unconditional} complexity upper bound 

10: for $n\!=\!1$. 

11: Finally, letting $T$ be any algebraic 

12: subgroup of $\Csn$ we show that 

13: deciding $X \;  \text{\raisebox{.5mm}{\scalebox{1}[.5]{$\stackrel{?}

14: {\supseteq}$}}}\; T$ 

15: is $\conp$-complete (relative to an even more efficient encoding), 

16: unconditionally. 

17: We thus obtain new non-trivial families of multivariate 

18: polynomial systems where deciding the existence of complex roots can be done 

19: unconditionally in the {\bf polynomial hierarchy} --- a family of 

20: complexity classes lying between $\pspa$ and $\pp$, intimately connected 

21: with the $\pp\!\stackrel{?}{=}\!\np$ Problem. We also discuss 

22: a connection to Laurent's solution of Chabauty's Conjecture from arithmetic 

23: geometry.

24: \end{abstract}