English

Eta forms and the odd pseudodifferential families index

K-Theory and Homology 2011-12-16 v2 Differential Geometry

Abstract

Let A(t)A(t) 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 ϕ\phi with base Y.Y. The standard example is A+itA+it where AA is a family, in the usual sense, of first order, self-adjoint and elliptic pseudodifferential operators and t\bbRt\in\bbR is the `suspending' parameter. Let π\cA:\cA(ϕ)Y\pi_{\cA}:\cA(\phi)\longrightarrow Y be the infinite-dimensional bundle with fibre at yYy\in Y consisting of the Schwartz-smoothing perturbations, q,q, making Ay(t)+q(t)A_y(t)+q(t) invertible for all t\bbR.t\in\bbR. The total eta form, η\cA,\eta_{\cA}, as described here, is an even form on \cA(ϕ)\cA(\phi) 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 τ\tau 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 AA 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 η\cA\eta_{\cA} 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

R2 v1 2026-06-21T12:57:26.972Z