A Geometric Model for Real and Complex Differential K-theory

We construct a differential-geometric model for real and complex differential K-theory based on a smooth manifold model for the K-theory spectra defined by Behrens using spaces of Clifford module extensions. After writing representative differential forms for the universal Pontryagin and Chern characters we transgress these forms to all the spaces of the spectra and use them to define an abelian group structure on maps up to an equivalence relation that refines homotopy. Finally we define the differential K-theory functors and verify the axioms of Bunke-Schick for a differential cohomology theory