The Beilinson regulator is a map of ring spectra (Q1649324)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Beilinson regulator is a map of ring spectra |
scientific article |
Statements
The Beilinson regulator is a map of ring spectra (English)
0 references
5 July 2018
0 references
The authors refine the Beilinson regulator from the algebraic \(K\)-theory of a variety to the absolute Hodge cohomology to a morphism of motivic \(E_\infty\)-ring spectra \(\mathbf{K} \to \mathbf{H}\) and show that the refinement is unique up to contractible choice. While the introduction of the article uses the language of \(E_\infty\)-structures, the article itself is written in the language of \(\infty\)-categories, so that an \(E_\infty\)-ring spectrum is simply called a commutative algebra object in spectra. The article is pleasantly self-contained. In particular, no knowledge of the differential algebraic \(K\)-theory mentioned as the work's main motivation is necessary. The second section recalls how the derived category of mixed \(\mathbb{R}\)-Hodge structures can be identified, on the level of \(\infty\)-categories, with the \(\infty\)-category of mixed Hodge complexes localized at quasi-isomorphisms. For the precise notion of mixed Hodge complex see Remark 2.5, which states that the present article follows Beilinson's convention rather than Deligne's. A concrete model for the \(\infty\)-category of mixed Hodge complexes is given as a symmetric monoidal dg-category with explicit internal Hom-objects. The third section constructs the functor \(\mathbf{IDR}\) from smooth algebraic varieties over the complex numbers to differential graded algebras such that the cohomology groups of \(\mathbf{IDR}(X)\) are the absolute Hodge cohomology of \(X\), as introduced by Beilinson. The fourth section recalls Robalo's symmetric monoidal \(\infty\)-category of motivic spectra, in particular its universal property. The motivic \(E_\infty\)-spectrum \(\mathbf{K}\) is described in Section 5, using \(\Sigma^\infty_+ \mathbb{P}^\infty [\beta^{-1}]\) as in the motivic Snaith theorem. The motivic absolute Hodge \(E_\infty\)-spectrum \(\mathbf{H}\) is described in Section 6, extending the logarithmic de Rham complex \(A_{\text{log}}\) to form an adjunction \((\tilde{A},R)\) between motivic spectra and Ind-objects of mixed Hodge complexes localized at quasi-isomorphisms. This is used to define \(\mathbf{H} := R(\mathbb{T}[\beta^{-1}])\) for a motivic spectrum \(\mathbb{T}[\beta^{-1}]\). The final Chapter 7 constructs the regulator refinement \(\mathbf{K} \to \mathbf{H}\), by applying the aforementioned adjunction to a natural equivalence \(\tilde{A}(\mathbf{K}) \to \mathbb{T}[\beta^{-1}]\). There are three appendices providing background material. Appendix A explains \(\infty\)-categories and weak equivalences, in particular Ind-completions as used in Section 3. Appendix B is on the interplay of commutative algebra structures on objects and the functors that they represent. Appendix C is on how to form localizations of commutative algebra objects such as \(\Sigma^\infty_+ \mathbb{P}^\infty [\beta^{-1}]\) from Section 5 or \(\mathbb{T}[\beta^{-1}]\) from Section 6.
0 references
Beilinson regulator
0 references
\(K\)-theory
0 references
absolute Hodge cohomology
0 references
ring spectra
0 references
motivic homotopy theory
0 references
0 references