Generalized non-commutative degeneration conjecture (Q902044)

The de Rham cohomology of a compact Kähler manifold \(X\) carries the Hodge decomposition \(H^n(X,\mathbb C)=\bigoplus_{p+q=n} H^{p,q}(X),\;H^{p,q}(X)=H^q(X,\Omega^p_X).\) This implies that for a smooth algebraic projective variety over a field \(k\) of characteristic \(0\), the spectral sequence \(E^{p,q}_2=H^q(Y,\Omega_Y^p)\Rightarrow H^{p+q}_{\text{DR}}(Y)\) degenerates at the second sheet. This result can be formulated as a degeneration of the Hochshild-to-cyclic spectral sequence of the DG (differential graded) category \(D^b_{\text{coh}}(X)\). Here the triangulated category \(D^b_{\text{coh}}(X)\) is identified with its DG enhancement. It is conjectured (1) by Kontsevich and Soibelman that such a degeneration takes place for any smooth compact DG category. The authors introduce the mixed Hochschild complex. On a small DG category \(\mathcal A\), its Hochschild homology is defined by \(\text{HH}_n(\mathcal A)=H^{-n}(I_{\mathcal A}\otimes^{\mathbf{L}}_{\mathcal A\otimes{\mathcal A}^{\text{op}}}I_{\mathcal A}).\) The Hochschild homology is multiplicative, and the bar resolution of the diagonal bimodule gives the Hochschild chain complex. Then a \textit{mixed complex} is a triple \((K_\bullet,b,B)\), where \(K_\bullet\) is a graded vector space, \(b:K_\bullet\rightarrow K_\bullet\) a differential of homological degree \(-1\), and \(B:K_\bullet\rightarrow K_\bullet\) is a differential of homological degree 1 such that \(bB+Bb=0\). Introducing the reasonable notation, it follows that if a DG functor \(F:\mathcal A\rightarrow\mathcal B\) is a Morita equivalence, then the induced map \(F^\ast:C_\bullet^{\text{red}}(\mathcal A)\rightarrow C_\bullet^{\text{red}}(\mathcal B)\) is a quasi-isomorphism of mixed complexes. With this background, the author define the \textit{negative cyclic complex} of \(\mathcal A\) as \(\text{CC}_\bullet^{-,{\text{red}}}(\mathcal A)=(\text{C}_\bullet^{\text{red}}(\mathcal A)[[u]],b+uB),\) with homology called the \textit{negative cyclic homology} denoted \(\text{HC}_\bullet^-(\mathcal A).\) Also, the \textit{cyclic complex of} \(\mathcal A\) is \(\text{CC}_\bullet^{\text{red}}(\mathcal A)=(\text{C}_\bullet^{\text{red}}(\mathcal A)\otimes_k(k[u^\pm]/uk[u]),b+uB),\) with homology called \textit{cyclic homology} denoted \(\text{HC}_\bullet\). Now the author can state the following conjecture (verbatim): (2) Let \(u\) denote a formal variable of cohomological degree 2. Let \(\mathcal A\) be a smooth compact DG category over a field of characteristic zero. Then the spectral sequence \(E_1=\text{HH}_\bullet(\mathcal A)\otimes_k(k[u^\pm]/uk[u])\Rightarrow\text{HC}_\bullet(\mathcal A)\) degenerates at the first sheet. It can be proved that the conjecture (2) in the case \(\mathcal A=D^b_{\text{coh}}(X)\) is equivalent to the conjecture (1). The author makes a certain generalization of the last conjecture, by stating identical vanishing of a particular constructed map between bi-additive invariants of small DG categories. Let \(\mathcal A\) be be a small DG category. Then there is a boundary map \(\delta:\text{HH}_n(\mathcal A)\rightarrow\text{HC}^-_{n+1}(\mathcal A),\) \(\text{HC}^-_\bullet\) denoting the negative cyclic cohomology. Consider the Waldhausen \(K\)-theory, and put \(K_n(\mathcal A)=K_n(\text{Perf}(\mathcal A))\) for all \(n\in\mathbb Z\). There is a functorial Chern character on \(K\)-theory with values in Hochshchild homology \(\text{ch}:K_n(\mathcal A)\rightarrow\text{HH}_n(\mathcal A),\;n\in\mathbb Z.\) The author conjecture (3) that for \(\mathcal B\) and \(\mathcal C\) small DG categories over a field \(k\) of characteristic \(0\), for \(\phi_n\) the composition \(\phi_n:K_n(\mathcal B\otimes\mathcal C)\rightarrow^{\text{ch}}(\text{HH}_\bullet(\mathcal B)\otimes\text{HH}_\bullet(\mathcal C))_n\rightarrow^{\text{id}\otimes\delta}(\text{HH}_\bullet(\mathcal B)\otimes\text{HH}_\bullet^-(\mathcal C))_{n+1},\) then \(\phi_n=0\) for \(n\leq 0.\) Then the conjecture (3) implies conjecture (2). There is another well known conjecture (4) that for any homotopically finite DG category \(\mathcal A\) there exists a smooth compact DG category \(\tilde{\mathcal A}\) and an object \(E\in\tilde{\mathcal A}\) such that \(\mathcal A\cong\tilde{\mathcal A}/E\) in the homotopy category of the Morita model structure \(\text{Ho}_{\text{M}}(\text{dgcat}_k).\) The main result in the article is the Theorem stating that the conjectures (2) and (4) implies the conjecture (3). The main content of the article is the proof of this theorem, which is explicitly proved.