Speaker
Alain Berthomieu
Description
Smooth K-theory is defined on a smooth manifold as an extension of
topological K-theory by differential forms. In the case of a proper
submersion, direct image for smooth K-theory is defines using Bismut
and al.'s eta-forms, which are differential forms entering in the transgression
of the local families index theorem. The construction of a direct image
in the case of a closed immersion should use corresponding objects
which are currents instead of smooth differential forms.