Eta forms and the odd pseudodifferential families index
Abstract
Let be an elliptic, product-type suspended (which is to say parameter-dependant in a symbolic way) family of pseudodifferential operators on the fibres of a fibration with base The standard example is where is a family, in the usual sense, of first order, self-adjoint and elliptic pseudodifferential operators and is the `suspending' parameter. Let be the infinite-dimensional bundle with fibre at consisting of the Schwartz-smoothing perturbations, making invertible for all The total eta form, as described here, is an even form on which has basic differential which is an explicit representative of the odd Chern character of the index of the family: % d\eta_{\cA}=\pi_{\cA}^*\gamma_A, \Ch(\ind(A))=[\gamma_{A}]\in H^{\odd}(Y). \tag{*}\label{efatoi.5} % The 1-form part of this identity may be interpreted in terms of the invariant (exponentiated eta invariant) as the determinant of the family. The 2-form part of the eta form may be interpreted as a B-field on the K-theory gerbe for the family with \eqref{efatoi.5} giving the `curving' as the 3-form part of the Chern character of the index. We also give `universal' versions of these constructions over a classifying space for odd K-theory. For Dirac-type operators, we relate with the Bismut-Cheeger eta form.
Cite
@article{arxiv.0905.0150,
title = {Eta forms and the odd pseudodifferential families index},
author = {Richard Melrose and Frédéric Rochon},
journal= {arXiv preprint arXiv:0905.0150},
year = {2011}
}
Comments
37 pages, added references, clarified the relationship with the Bismut-Cheeger eta forms; Surv. Differ. Geom., 15, Int. Press, Sommerville, MA, 2010