A Canonical Quadratic Form on the Determinant Line of a Flat Vector Bundle
1 Department of Mathematics, Northeastern University, Boston, MA 02115, USA
2 Institut fur Mathematik, Universitat Zürich, Winterthurerstrasse 190, CH-8057 Zürich, Switzerland
Correspondence: Correspondence to be sent to: maximbraverman{at}neu.edu
We introduce and study a canonical quadratic form, called the torsion quadratic form, on the determinant line of the cohomology of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber–Turaev torsion. In fact, the torsion quadratic form can be viewed as an analytic analogue of the Poincaré–Reidemeister scalar product, introduced by Farber and Turaev. Moreover, it is also closely related to the complex analytic torsion defined by Cappell and Miller and we establish the precise relationship between the two. In addition, we show that up to an explicit factor, which depends on the Euler structure, and a sign the Burghelea–Haller complex analytic torsion, whenever it is defined, is equal to our quadratic form. We conjecture a formula for the value of the torsion quadratic form at the Farber–Turaev torsion and prove some weak version of this conjecture. As an application, we establish a relationship between the Cappell–Miller and the combinatorial torsions.