Analytic torsion on manifolds Partial differential operators on manifolds mathematics