Analytic and Reidemeister torsion for representations in finite type Hilbert modules

For a closed Riemannian manifold (M, g) we extend the definition of analytic and Reidemeister torsion associated to a unitary representation of pi(1)(M) On a finite dimensional vector space to a representation on a A-Hilbert module W of finite type where A is a finite von Neumann algebra. If (M, W) is of determinant class we prove, generalizing the Cheeger-Miiller theorem, that the analytic and Reidemeister torsion are equal. In particular, this proves the conjecture that for closed Riemannian manifolds with positive Novikov-Shubin invariant, the L(2)-analytic and L(2)-Reidemeister torsions are equal.