I've been working through some notes on differential cohomology for the past few months. I feel like I have a pretty decent grasp on the concepts and its construction, at least for differential extensions of ordinary cohomology, like Deligne cohomology.
My friend recently asked me about some of the uses of differential cohomology and I was unable to provide a good answer. What are some results of differential cohomology? Or some theorems that have been proven using these new tools from differential cohomology? I'd also be happy with some computations computed using differential cohomology. This is a general question not specific to Deligne cohomology, so answers pertaining to any differential cohomology theory (like differential K-theory) are very much encouraged.
Thanks!