Refinements of the Chern-Dold character: cocycle additions in differential cohomology (Q505031)

Let \(E\) be a generalized cohomology theory. Then the Chern-Dold character is a natural transformation from an arbitrary generalized cohomology theory \(E\) to ordinary cohomology with coefficients in the graded coefficient vector space \(V^* = E^*(S^0)\otimes_{\mathbb Z} \mathbb R:\) \[ ch: E^*(X)\rightarrow H^*(X, V)= \prod_{i+j = \ast} H^i (X; V^j) \] for a topological space \(X\). Note that the graded coefficient vector space \(V\) depends on the fixed choice of generalized cohomology theory \(E\). In this paper the author constructs a refined Chern-Dold character between the cocycle categories in such a way that it preserves the algebraic structure (strict addition of singular cocycles, loop composition). Here, the category of singular cocycles \({\mathcal Z}^n (X)\) is viewed as a \(2\)-monoidal category in which both monoidal structures, given by addition of cocycles, coincide. He proves: Theorem 1: For any generalized cohomology theory \(E\) and representing spectrum \((E_n, {\epsilon}_n)\), there exists a natural family of \(2\)-monoidal functors \[ ch_X : \mathrm{Map}(X, E_n) \rightarrow {\mathcal Z}^n (X). \] On isomorphism classes of objects, these functors reduce to the ones noted above. Let \(E_n\) be a fixed choice of \(\Omega\)-spectrum representing the generalized cohomology theory \(E\). We know that a differential \(n\)-cocycle on a manifold \(M\) with respect to \(E\) consists of a continuous map \(c : M\rightarrow E_n\), a differential form \(\omega \in \Omega^n (M; V)\), and a cochain \(h \in C^{n-1}(M; V)\) satisfying \[ \delta h= \omega-c^* \iota_n \] where \(\iota_n \in Z^n (E_n; V)\) denotes the fundamental cocyle. Then he constructs natural \(2\)-monoidal structures on the categories of differential cocycles. So he proves also the following result. Theorem \(2\): For every choice of fundamental cocycles there exist reduced cochains \(A^n \in C^{n-1}(E_n \times E_n; V )\) satisfying coherence relations which give an abelian group structure on the Hopkins-Singer differential extension.