Some notes on the Feigin-Losev-Shoikhet integral conjecture (Q951973)

Given a holomorphic vector bundle \(\mathcal E\) on a smooth connected compact complex manifold \(X\), \textit{B. Feigin, A. Losev}, and \textit{B. Shoikhet} [Riemann-Roch-Hirzebruch theorem and topological quantum mechanics. Preprint 2004. \url{arXiv:math.QA/0401400}] use a notion of completed Hochschild homology \(\widehat{HH}\) of \(\mathcal{D}\text{iff}(\mathcal E)\) such that \(\widehat{HH}_0(\mathcal{D}\text{iff}(\mathcal E))\) is isomorphic to \(H^{2n}(X,\mathbb C)\). On the other hand, they construct a linear functional on \(\widehat{HH}_0 (\mathcal{D}\text{iff}(\mathcal E))\). This therefore gives rise to a linear functional \(I_{\mathcal E}\) on \(H^{2n}(X,\mathbb C)\). They show that this functional is \(\int_X\) if \(\mathcal E\) has non-zero Euler characteristic. They conjecture that this functional is \(\int_X\) for all \(\mathcal E\). In this article it is proved that \(I_{\mathcal E}=I_{\mathcal F}\) for any pair \((\mathcal{E,F})\) of holomorphic vector bundles on \(X\). In particular, if \(X\) has one vector bundle with non-zero Euler characteristic, then \(I_{\mathcal E}=\int_X\) for every vector bundle \(\mathcal E\) on \(X\). In [loc. cit.] there is also used a notion of completed cyclic homology \(\widehat{HC}\) of \(\mathcal{D}\text{iff}(\mathcal E)\) such that \(\widehat{HC}_{-i}(\mathcal{D}\text{iff}(\mathcal E))\cong H^{2n-i}(X,\mathbb C)\oplus H^{2n-i+2}(X,\mathbb C)\oplus\cdots\). The construction yielding \(I_{\mathcal E}\) generalizes to give linear functionals on \(\widehat{HC}_{-2i}(\mathcal{D}\text{iff}(\mathcal E))\) for each \(i\geq 0\). The linear functional thus obtained on \(\widehat{HC}_{-2i}(\mathcal{D}\text{iff}(\mathcal E))\) yields a linear functional \(I_{\mathcal E,2i,2k}\) on \(H^{2n-2k}(X,\mathbb C)\) for \(0\leq k\leq i\). It is conjectured in [loc. cit.] that \(I_{\mathcal E,2,0}=\int_X\), and a further conjecture about \(I_{\mathcal E,2,2}\) is made. In this article we prove that \(I_{\mathcal E,2i,0}=I_{\mathcal E}\) for all \(i\geq 0\). In particular, if \(X\) has at least one vector bundle with non-zero Euler characteristic, then \(I_{\mathcal E,2i,0}=\int_X\). We also prove that \(I_{\mathcal E,2i,2k} = 0\) for \(k > 0\). The latter is stronger than what is expected in [loc. cit.] when \(i=k=1\).