Generalized non-commutative degeneration conjecture

DOI10.1134/S0081543815060012MaRDI QIDQ902044zbMATH OpenOpenAlexWikidataFDO

Publication date 7 January 2016

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1506.00311

cyclic Hochschild homology mixed Hodge structure Morita equivalence negative Hochshcild homology

Noncommutative algebraic geometry (14A22) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Applications of methods of algebraic (K)-theory in algebraic geometry (14C35)

Abstract: In this paper we propose a generalization of the Kontsevich--Soibelman conjecture on the degeneration of Hochschild-to-cyclic spectral sequence for smooth and compact DG category. Our conjecture states identical vanishing of a certain map between bi-additive invariants of arbitrary small DG categories over a field of characteristic zero. We show that this generalized conjecture follows from the Kontsevich--Soibelman conjecture and the so--called conjecture on smooth categorical compactification.

Review text

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.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Generalized non-commutative degeneration conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q902044)