Cyclic homology, cdh-cohomology and negative \(K\)-theory (Q2389093): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2102414993 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0502255 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:15, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cyclic homology, cdh-cohomology and negative \(K\)-theory |
scientific article |
Statements
Cyclic homology, cdh-cohomology and negative \(K\)-theory (English)
0 references
14 July 2009
0 references
Let \(X\) be a \(d\)-dimensional scheme, essentially of finite type over a field \(F\) of characteristic zero. Proven is that \(K_m (X) = 0\) for \(m < -d\), where \(K\) denotes (negative) algebraic K-theory. Furthermore, \(X\) is shown to be \(K_{-d}\)-regular, where given a contravariant functor \(\mathcal{F}\) on schemes, a scheme \(X\) is called \(\mathcal{F}\)-regular if \({\mathcal{F}}(X) \to {\mathcal{F}}(X \times {\mathbb{A}}^r)\) is an isomorphism for all \(r \geq 0\). Letting cdh denote Voevodsky's cdh-topology [\textit{V. Voevodsky}, ``Homotopy theory of simplicial sheaves in completely decomposable topologies'', J. Pure Appl. Algebra 214, No.~8, 1399--1406 (2010; Zbl 1194.55020)], the authors of the current paper prove the main theorem in the following steps: [1.] \(K_{-d}(X) \simeq H^d_{\text{cdh}}(X; \, {\mathbb{Z}})\); [2.] \(H^d_{\text{Zar}}(X; \, {\mathcal{O}}_X) \to H^d_{\text{cdh}}(X; \, {\mathcal{O}}_X)\) is surjective; [3.] If \(X\) is smooth, then \(H^n_{\text{Zar}}(X; \, {\mathcal{O}}_X) \simeq H^n_{\text{cdh}}(X; \, {\mathcal{O}}_X)\) for all \(n\). Note that in characteristic zero, every scheme is locally smooth for the cdh-topology. Let {\textbf{HC}}\((X)\) denote the cyclic homology complex associated with the mixed complex {\textbf{C}}\((X)\). In particular, {\textbf{HC}} is a presheaf of complexes on Sch/\(F\) (schemes essentially of finite type over \(F\)). Let \({\mathbb{H}}_{\text{cdh}} (X; \, \xi)\) be a fibrant replacement of the presheaf \(\xi\) (in a suitable model structure). For a presheaf of spectra \(\xi\) on Sch/\(F\), \(\widetilde{C}_j\) is the cofiber of the map \[ \xi \to \xi (\, \underline{\;\;} \times {\mathbb{A}}^j). \] Since \(\widetilde{C}_j(\xi)\) is a direct factor of \(\xi (\, \underline{\;\;} \times {\mathbb{A}}^j)\), the functor \(\xi \to \widetilde{C}_j \xi\) preserves homotopy fibration sequences. Finally, let \({\mathcal{K}}(X)\) denote the non-connective \(K\)-theory spectrum of perfect complexes on \(X\). A key theorem in the paper under review is that there is an objectwise homotopy fibration sequence \[ \widetilde{C}_j {\mathbf{HC}} \to {\mathbb{H}}_{\text{cdh}}(\,\underline{\;\;}\, ;\, \widetilde{C}_j {\mathbf{HC}}) \to \widetilde{C}_j{\mathcal{K}}. \] A useful tool in moving between \(K\)-theory and cyclic homology is Cortiñas' infinitesimal \(K\)-theory [\textit{G. Cortiñas}, J. Reine Angew. Math. 503, 129--160 (1998; Zbl 0908.19004)], which in the present paper is proven to satisfy descent for the cdh-topology. Recall that a presheaf \(\xi\) of spectra on Sch/\(F\) satisfies cdh-descent if \(\xi\) satisfies the Mayer-Vietoris property for all elementary Nisnevich squares and for all abstract blow-up squares in Sch/\(F\).
0 references
algebraic \(K\)-theory of schemes
0 references
cdh-descent
0 references
infinitesimal \(K\)-theory
0 references