Weibel's conjecture for twisted \(K\)-theory (Q2193662)

For any ring \(R\), the fundamental theorem for \(K_1\) and \(K_0\) gives an exact sequence \[0 \rightarrow K_1(R) \rightarrow K_1(R[t]) \oplus K_1(R[t^{-1}]) \overset{\kappa}{\rightarrow} K_1(R[t,t^{-1}]) \rightarrow K_0(R) \rightarrow 0.\] In particular, remark that \(K_0(R)\) is the cokernel of the map \(\kappa\). This allows a recursive definition of negative \(K\)-groups \(K_{-(i+1)}(R)\) as the cokernel of the map \[K_{-i}(R[t]) \oplus K_{-i}(R[t^{-1}]) \rightarrow K_{-i}(R[t,t^{-1}]).\] These negative \(K\)-groups satisfy the fundamental theorem and excision [\textit{H. Bass}, Mathematics Lecture Note Series. New York-Amsterdam: W.A. Benjamin, Inc. (1968; Zbl 0174.30302)]. Weibel's conjecture [\textit{C. A. Weibel}, Invent. Math. 61, 177--197 (1980; Zbl 0437.13009)] states that for any ring \(R\) of finite Krull dimension \(K_{-i}(R) =0\) whenever \(i>\text{dim}(R)\). The conjecture was confirmed for any Noetherian scheme of finite Krull dimension in [\textit{M. Kerz} et al., Invent. Math. 211, No. 2, 523--577 (2018; Zbl 1391.19007)]. In the paper under review, Weibel's conjecture is extended to some cases of twisted \(K\)-theory. In particular, the main result states that for a Noetherian \(d\)-dimensional scheme \(X\) and a sheaf of smooth proper connective quasicoherent differential graded algebras \(\mathcal{A}\) over \(X\), the negative \(K\)-theory \(K_{-i} \left( \text{Perf}(\mathcal{A})\right)\) vanishes for all \(i>d\). This result relies on two main ideas: \begin{itemize} \item[1.] The proof of Weibel's conjecture in [\textit{M. Kerz} et al., Invent. Math. 211, No. 2, 523--577 (2018; Zbl 1391.19007)] depends on pro cdh-descent for algebraic \(K\)-theory; \item[2.] Such descent was given for a general class of localizing invariants in [\textit{M. Land} and \textit{G. Tamme}, Ann. Math. (2) 190, No. 3, 877--930 (2019; Zbl 1427.19002)]; \end{itemize} In the paper under review, counterexamples to extensions of Weibel's conjecture to similar extensions are described.