The differential analytic index in Simons-Sullivan differential \(K\)-theory (Q694719)

The Freed-Lott differential analytic \(K\)-theory \(\hat K_W{FL}(X)\) is defined as the abelian group with generators of type \(\mathcal E = (E,h,\nabla,\Phi)\) satisfying the natural conditions and the relations. The Freed-Lott character \(\widehat{ch}_{FL} : \hat{K}_{FL} \to \hat{H}^{\mathrm{even}}(X;\mathbb R/\mathbb Q)\) is defined as the sum \(\hat{ch}(\mathcal E,\nabla) + i_2(\Phi)\) of the ordinary Chern class of vector bundles with connection and the image \[ i_2(\omega)(z) = \int_z \omega \mod \mathbb Q, z\in Z_{\mathrm{even}}(X). \] The Freed-Lott analytic index map of a proper submersion from a compact manifold with a Riemannian metric and \(\mathrm{Spin}^c\) structure on the vertical subbundle, to a manifold \(B\) with Riemannian metric \(g^{TB}\) is viewed an homomorphism \(\mathrm{ind}^{\mathrm{an}}_{FL}: \hat{K}_{FL}(X) \to \hat{K}_{FL}(B)\) defined for an \(\mathcal E = (E,h^E, \nabla^E,\Phi)\) by \[ \mathrm{ind}^{\mathrm{an}}(\mathcal E) =\left({\mathrm{ker}}(D^E), h^{{\mathrm{ker}}(D^E)}, \nabla^{\mathrm{ker}(D^E)}, \pi_*(\Phi) + \tilde{\eta}(\mathcal E)\right), \] where \[ d\tilde{\eta}(\mathcal E) = \int_{X/B} \mathrm{Todd}\left(\hat\nabla^{T^{\mathrm{vert}}X}\right) \wedge {\mathrm{ch}}(\nabla) - {\mathrm{ch}}\left(\nabla^{{\mathrm{ker}}\left (D^E \right)}\right), \] for the Dirac operator \(D^E\) on the spherical bundle \(S^{\mathrm{vert}}X \otimes E\). From another side, the Simon-Sullivan differential analytic \(K\)-theory is defined as the \(K\)-theory of vector bundles with connections \(\hat{K}_{SS}(X) = K(\mathrm{Struct}(X))\) for the semi-ring of stable equivalent classes \((V,h^V,[\nabla^V])\) of vector bundles \(V\) with Hermitian structure \(h^V\) and with the corresponding Levi-Civita connection \(\nabla^V\) In the paper, as the first main result (Theorem 1) the author transfered Freed-Lott framework of the theory to the Simon-Sullivan differential analytic \(K\)-theory, defined the corresponding differential analytic index map through an explicit ring isomorphism. The Bismut's theorem provides \[ \hat{\mathrm{ch}}\left(\mathrm{ker}(D^E),\nabla^{\mathrm{ker}(D^E)}\right) + i_2(\tilde{\eta}) = \widehat{\int_{X/B}} \hat{\hat{A}}\left(T^{\mathrm{vert}}X,\nabla^{T^{\mathrm{vert}}X}\right)\ast\hat{\mathrm{ch}}\left(E,\nabla^E\right). \] The second main result is the differential analytic Grothendieck-Riemann-Roch theorem (Theorem 2): for a class \(\mathcal E = (E,h^E,[\nabla^E])\in \hat{K}_{SS}(X)\), one has \[ \hat{\mathrm{ch}}({\mathrm{ind}}^{\mathrm{an}}_{SS}(\mathcal E) =\widehat{\int_{X/B}}\widehat{\mathrm{Todd}}\left(\nabla^{T^{\mathrm{vert}}X}\right)\ast {\hat{\mathrm{ch}}}_{SS}(\mathcal E). \]