Differential \(K\)-homology and explicit isomorphisms between \(\mathbb{R/Z}\)-\(K\)-homologies (Q267505)

Let denote by \(X\) a smooth compact manifold. A \(K\)-cycle is a quadruple \((M.(E,\nabla^E),f,\phi)\) consisting of a a smooth closed \(\mathrm{Spin}^c\)-manifold \(M\), a smooth Hermitian vector bundle \(E\) over \(M\) with a unitary connection \(\nabla^E\), a smooth map \(f: M \to X\) and finally, a class of current \(\phi \in \Omega_*(X)/\mathrm{im}(\partial)\) (Definition 2.1). The disjoint operation is well settled on the set of differential \(K\)-cycles over \(X\). For a \(K\)-clycle \(\xi = (M,(E,\nabla^E),f,\phi)\), the \textit{opposite} \(K\)-cycle is defined as \(\xi_- = (M^-, (E,\nabla^E),f,-\phi)\). A \textit{modification} of \(\xi = (M,(E,\nabla^E),f,\phi)\) is defined as the \(K\)-cycle \(\xi^V = (\hat M, (\hat E \otimes \pi^*E,(\nabla^{\hat V}\otimes \pi^(*\nabla^E),f\circ \pi,\phi)\), with \(\mathrm{Spin}^c\)-structure induced by the \(\mathrm{Spin}^c\)-structures on \(TM\) and \(V \otimes 1_M\), where \(V\) is \(\mathrm{Spin}^c\)-vector bundle an of even rank over \(M\), \(1_M\) -- the trivial rank-one real vector bundle over \(M\), \(\hat M = \partial \mathbb D(V \oplus 1_M)\) - the boundary of the unit disk bundle of \(V \oplus 1_M\), \(\pi\) -- the projection bundle of \(V \oplus 1_M\). The \(\mathrm{Spin}^c\)-structure on \(T\hat M\) is obtained and the decomposition \(\mathcal S = \mathcal S^+ \oplus \mathcal S^-\) of spinor bundle on \(\hat M\) with a unitary connection \(\nabla^{\mathcal S^+} \oplus \nabla^{\mathcal S^-}\), \(\nabla^{\hat V}\) is the unitary connection on \(\hat V\) induced by \(\nabla^{\mathcal S^+}\). Two differential \(K\)-cycles \(\xi =(M,(E,\nabla^E),f,\phi)\) and \(\xi' =(M,(E',\nabla^{E'}),f,\phi')\) are \textit{equivalent}, if they are related by a cobordism relation: there exists a smooth compact \(\mathrm{Spin}^c\)-manifold \(W\), a smooth Hermitian vector bundle \(\mathcal E\) over \(W\) with a connection \(\nabla^{\mathcal E}\) and a smooth map \(g: W \to X\) such that \[ \xi \amalg {\xi'_-}^V = (\partial W, (\mathcal E|_{\partial W}, \nabla^{\mathcal E}|_{\partial W}, g|_{\partial W}, [\int_W \mathrm{Td}(W) \mathrm{ch}(\nabla^{\mathcal E})g^*]), \] where \(M^-\) has the reversed \(\mathrm{Spin}^c\)-structure, \(\mathrm{Td}(W)\) is the \(\mathrm{Spin}^c\)-Todd class of the Levi-Civita conneciton on \(M\) and \(\mathrm{ch}(\nabla^{\mathcal E})\) - the Chern class of \(\nabla^{\mathcal E}\). As usually, the \textit{abelian \(\mathbb Z_2\)-graded differential \(K\)-homology group} \(\check{K}_*(X)= \check{K}_{\mathrm{ev}}(X) \oplus \check{K}_{\mathrm{od}}(X)\) is the group of equivalent classes of differential \(K\)-homology cycles the operation of direct sum \((M,(E,\nabla^E),f,\phi)\amalg (M,(E',\nabla^{E'}),f,\phi')\sim (M, (E \oplus E', \nabla^E \oplus \nabla^{E'}), f, \phi + \phi') \) (Definition 2.2). This differential \(K\)-homology functors \(\check{K}_*(X)= \check{K}_{\mathrm{ev}}(X) \oplus \check{K}_{\mathrm{od}}(X)\) admit nice properties, including the unique pairing with Freed-Lott differential \(K\)-theory functors (Theorem 2.6): there is a unique pairing \(\mu: \hat K(X) \otimes \check{K}_{\mathrm{od}}(X) \to \mathbb R/\mathbb Z\) up to torsion in \(\hat K^{-1}(X, \mathbb R/\mathbb Z)\). The curvature of a differential \(K\)-cycle \((M,(E,\nabla^E),f,\phi)\) is the real-valued current \(R(M,(E,\nabla^E),f,\phi) = \int_M \mathrm{Td}(M)\mathrm{ch}(\nabla^E)f^* - \partial \phi\) and provides a homomorphism \(R: \check{K}_*(X) \to \Omega_*(X).\) The \textit{flat \(K\)-homology group} \(\check{K}_*^f ( X )\) is defined as the kernel \(\check{K}_*^f(X) = \ker(R : \check{K}_*( X )\to \Omega_*( X ))\) (Definition 2.8). The author introduced an extension of \textit{geometric \(K\)-homology} by continuous current data, called differential \(K\)-homology, which encodes Deeley \(\mathbb R/\mathbb Z\)-\(K\)-homology as a flat theory: the well-defined homomorphism \(\gamma: K_*(X, \mathbb R/\mathbb Z) \to \check{K}_*^f( X )\) is an isomorphism (Theorem 3.8).