1: \begin{abstract}

2:   For each finite dimensional, simple, complex Lie algebra $\fg$ and

3:   each root of unity $\xi$ (with some mild restriction on the order)

4:   one can define the Witten-Reshetikhin-Turaev (WRT) quantum  invariant

5:   $\tau_M^\fg(\xi)\in \BC$ of oriented 3-manifolds $M$. In the present paper we construct an

6:   invariant $J_M$ of {\em integral homology spheres} $M$ with values in the

7:   cyclotomic completion $\Zqh$ of the polynomial ring $\modZ [q]$,

8:   such that the evaluation of $J_M$ at each root of unity gives the

9:   WRT quantum invariant of $M$ at that root of unity.  This result

10:   generalizes the case $\fg=sl_2$ proved by the first author.  It

11:   follows that $J_M$ unifies all the quantum invariants of $M$

12:   associated with $\fg$, and represents the quantum invariants as a

13:   kind of ``analytic function'' defined on the set of roots of unity.

14:   For example, $\tau_M(\xi)$ for all roots of unity are determined by

15:   a ``Taylor expansion'' at any root of unity, and also by the values

16:   at infinitely many roots of unity of prime power orders.  It follows

17:   that WRT quantum invariants $\tau _M(\xi)$ for all roots of unity are

18:   determined by the Ohtsuki series, which can be regarded as the

19:   Taylor expansion at $q=1$, and hence by the Le-Murakami-Ohtsuki

20:   invariant.  Another consequence is that the WRT quantum invariants

21:   $\tau_M^\fg(\xi)$ are algebraic integers.  The construction of the

22:   invariant $J_M$ is done on the level of quantum group, and does not

23:   involve any finite dimensional representation, unlike the definition

24:   of the WRT quantum invariant. Thus, our

25:   construction gives a unified, ``representation-free'' definition of

26:   the quantum invariants of integral homology spheres.

27: \end{abstract}

28: