Analytic Torsion in the Derived Category I recently learned about analytic torsion and about the amazing Cheeger-Muller theorem identifying analytic and Reidemeister torsion for compact Riemannian manifolds.
Now analytic torsion is defined in terms of the eigenvalues of the Laplacian, acting on the de Rham complex; essentially, one takes the alternating product of the zeta-regularized determinants of the Laplacian, suitably normalized.  This is all reasonably natural.
What bothers me about this definition is that it depends so strongly on properties of the de Rham complex, which I see as just a (particularly nice) choice of acyclic resolution for the constant sheaves $\underline{\mathbb{R}}$ or $\underline{\mathbb{C}}$.  So my question is:

Is it possible to recover the analytic torsion from the derived category of sheaves over (a compact Riemannian manifold) $M$?

I would also be happy with any other "intrinsic" characterization of analytic torsion.

EDIT (3/15/2011):  This is profilesdroxford54's suggested recipe as I understand it:  (1) Take the determinant of any perfect complex resolving the constant sheaf, with its natural integral structure coming from the inclusion of the constant sheaf $\underline{\mathbb{Z}}$ in $\underline{\mathbb{R}}$; (2) Take the determinant of the de Rham complex with the integral structure given by zeta regularization; (3) The difference in the two integral structures is the analytic torsion (though I do not immediately see why there is a natural map between the two determinant lines, which is essential).  Of course this recipe does not free us from the de Rham complex, but it suggests a way to do so, which I'll flesh out in three more focused questions.

(1) Is there a good theory of the derived category of sheaves on a compact Riemannian manifold, with some extra structure (i.e. self-dual, as in the case of the de Rham complex over compact Riemannian manifolds, or equivalently, with an inner product)?  This seems to me like a very natural thing to study, so I am not as pessimistic as profilesdroxford54.
(2) In the framework of such a derived category (which must contain lots of infinite-dimensional objects, e.g. the de Rham complex) is there a good theory of the determinant, and does it agree with the zeta-regularized determinant?  Someone recently mentioned some determinantal theory in the infinite-dimensional derived setting to me, but I know next to nothing about this sort of thing; references are welcome.
(3) Why is there a canonical map (up to sign?) between this new determinant line and the usual one (which is necessary to compare integral structure)?

 A: What does depend on the "derived category" is the notion of determinant line.  Thus take any local system $\mathcal E$ of $R$-modules on $M$ (though one should probably work with constructible sheaves of some kind), then compute cohomology any way you want  -- de Rham, etc.  So long as the the cohomology is a perfect complex of $R$ modules, it has a determinant -- a free rank one projective $R$-module.
So far this has nothing to do with the Riemannanian structure.  Now suppose there is a second structure  -- say $M$ is Riemannian and $\mathcal E$ is a local system of inner product spaces, where $R$ is a subring of the reals.  Then you can view the DeRham cx of $\mathcal E$ as a perfect complex of (infinite dimensional) inner-product spaces, and the zeta normalization gives a way of defining the determinant of this as a one dimensional inner product space.
The torsion is the relationship between these two structures.  EG if $R={\mathbf Z}$ then it is the real number given by the length of a generator of the line.
To give this part of the construction a more "derived category" feel, one would need a notion of quasi-isomorphism "preserving inner products".  I am not sure anyone has really thought hard about this.
