The Mukai pairing. II: The Hochschild-Kostant-Rosenberg isomorphism. (Q556865)

The author continues the study of the Hochschild structure of a smooth space \(X\) he began in his previous paper [The Mukai pairing, I: The Hochschild structure, preprint, \texttt{math.AG/0308079}]. The aim is to relate the Hochschild structure \(<HH^{\ast}(X), HH_{\ast}(X)>\), defined as \[ HH^i(X) = {\roman{Hom}}_{{\mathbf{D}}^b_{\text{coh}}(X \times X)}({\mathcal O}_{\Delta}, {\mathcal O}_{\Delta}[i]), \] \[ HH_i(X) = {\roman{Hom}}_{{\mathbf{D}}^b_{\text{coh}}(X \times X)}(\Delta_! {\mathcal O}_X[i], {\mathcal O}_{\Delta}), \] where \(\Delta\) is the diagonal embedding and \({\mathcal O}_{\Delta}\) is the structure sheaf of the diagonal of \(X \times X\), to the harmonic strucutre \(<HT^{\ast}(X), H\Omega_{\ast}(X)>\), defined as \[ HT^i(X) = \bigoplus_{p+q = i} H^p (X, \bigwedge^q T_X), \] \[ H\Omega_i(X) = \bigoplus_{q-p = i} H^p (X,\Omega^q_X). \] Both of these structures consist of a graded ring \(HH^{\ast}(X)\) (respectively \(HT^{\ast}(X)\)) and a graded \(HH^{\ast}(X)-\) (respectively \(HT^{\ast}(X)-\)) module \(HH_{\ast}(X)\) (respectively \(H\Omega_{\ast} (X)\)). The author introduces a generalization of the Mukai vector (the directed Mukai vector) and a generalized Mukai pairing on complex cohomology that applies to arbitrary manifolds. This pairing has good functorial properties: if a Fourier-Mukai functor \(\Phi: {\mathbf{D}}^b(X) \to {\mathbf{D}}^b(Y)\) has a left adjoint \(\Psi: {\mathbf{D}}^b(Y) \to {\mathbf{D}}^b(X)\), then the induced functors \(\Phi_{\ast}\) and \(\Psi_{\ast}\) on cohomology are adjoint with respect to the generalized Mukai pairing. In the case of a smooth quasi-projective variety, the Hochschild-Kostant-Rosenberg isomorphism induces isomorphisms \(I^{\text{HKR}}: HT^{\ast}(X) \to HH^{\ast}(X)\) and \(I_{\text{HKR}}: HH_{\ast}(X) \to H\Omega_{\ast}(X)\) of graded vector spaces. There is a natural Chern character map \(\text{ch}: K_0(X) \to HH_{\ast}(X)\) and the author proves that \(I_{\text{HKR}} \circ \text{ch}\) gives the usual Chern character map. In the last part of the paper the author recalls a modified definition \((I^K, I_K)\) of the Hochschild-Kostant-Rosenberg isomorphisms using the characteristic class \(\hat{A}_X\). This leads to the conjecture that \((I^K, I_K)\) form an isomorphism between the Hochschild and the harmonic structures of \(X\).