  Given a smooth family of massless free fermions parametrized by a base
manifold $B$, we show that the (mathematically rigorous) Batalin-Vilkovisky
quantization of the observables of this family gives rise to the determinant
line bundle for the corresponding family of Dirac operators.
