Equivariant eta forms and equivariant differential \(K\)-theory (Q2239328)

This paper is well written, well organized and well illustrated. It makes a valuable contribution in the study of equivariant differential \(K\)-theory. For a smooth manifold \(X\) and compact Lie group \(G\), the author provides a geometric model for equivariant differential \(K\)-theory \(\hat{K}_G(X)\) (see Definition 4.3), and shows that \(X\mapsto\hat{K}_G(X)\) is a multiplicative extension of the equivariant \(K\)-theory \(K_G\) (see Proposition 4.11, Theorem 4.12) and explicit an analytic pushforward map on \(\hat{K}_G\); this is done using ideas from the (ordinary) smooth \(K\)-theory of Bunke-Schick, and the functorial property of the equivariant eta form (see Lemma 3.16, Theorem 3.18), based on the analytical techniques of Bismut-Lebeau related to the well-known embedding formula for Atiyah-Patodi-Singer eta invariants.