1: \begin{abstract}

2: This paper investigates the cost of solving systems of sparse polynomial

3: equations by homotopy continuation. 

4: First, a space of systems of $n$-variate polynomial equations is

5: specified through $n$ monomial bases. The natural locus for the roots of

6: those systems is known to be a certain toric variety. This variety is

7: a compactification of $(\mathbb C\setminus\{0\})^n$, dependent on the

8: monomial bases. A toric Newton operator

9: is defined on that toric variety. Smale's alpha theory is

10: generalized to provide criteria of quadratic convergence. 

11: Two condition numbers are defined and

12: a higher derivative estimate is obtained in this setting. The Newton operator

13: and related condition numbers turn out to be invariant through a 

14: group action related to the momentum map. 

15: A homotopy algorithm is given, and is proved to terminate

16: after a number of Newton steps which is

17: linear on the condition length of the lifted homotopy path. This

18: generalizes a result from \ocite{Bezout6}.

19: \end{abstract}

20: