Semi-topological \(K\)-theory using function complexes
type: Item
instance of: scholarly article
title: Semi-topological \(K\)-theory using function complexes
zbMATH Open document ID: 1003.19003
DOI: 10.1016/S0040-9383(01)00023-4
author: Eric M. Friedlander
author: Mark E. Walker
published in: Topology
publication date: 2003-01-14T00:00:00Z
review text: Recall that for a quasi-projective variety \(X\) over a field \(k\), an element of \(K_{0}(X)\) is defined to be algebraically equivalent to zero provided that it lies in the image of \(t_{0}^{*} - t_{1}^{*} : K_{0}(X \times T) \longrightarrow K_{0}(X)\) for some smooth, connected \(k\)-variety \(T\) with \(k\)-rational points \(t_{0}, t_{1}\). The authors denote by \(K_{0}^{\text{semi}}(X)\) the quotient of \(K_{0}(X)\) by the subgroup of elements algebraically equivalent to zero. Now suppose that \(X\) is a weakly normal, quasi-projective complex variety. Using techniques from the theory of spaces which are ``algebras'' over \(E_{\infty}\)-operads (the \(E_{\infty}\)-operad in question here is a sort of complex analytic version of the classical linear isometries operad) the authors construct an infinite loopspace \({\mathcal K}^{\text{semi}}(X)\) having \(K_{0}^{\text{semi}}(X)\) as its space of components and sitting, as an infinite loopspace between the infinite loospace of Quillen algebraic K-theory \({\mathcal K}(X)\) and that of topological K-theory of the underlying analytic space \({\mathcal K}_{\text{top}}(X^{\text{an}})\). Just as \({\mathcal K}_{\text{top}}(X^{\text{an}})\) is related to Betti cohomology and \({\mathcal K}(X)\) is related to motivic cohomology via the Atiyah-Hirzebruch and Bloch-Lichtenbaum-Suslin spectral sequences, respectively, the authors conjecture that \({\mathcal K}^{\text{semi}}(X)\) is related to morphic cohomology. They make a number of conjectures about the relationships between these three types of K-theory and prove several of the standard K-theory properties (e.g. Mayer-Vietoris, projective bundle theorem, etc.) for \({\mathcal K}^{\text{semi}}(X)\). This paper is one of a series by the authors on this topic and in a footnote they announce that they have been able, using work of Voevodsky-Suslin, to verify all their conjectures [\textit{E. M. Friedlander} and \textit{M. E. Walker}, Am. J. Math. 123, No.~5, 779-810 (2001; Zb…
Mathematics Subject Classification ID: 19E15
Mathematics Subject Classification ID: 55N20
Mathematics Subject Classification ID: 14C05
Mathematics Subject Classification ID: 18D50
zbMATH DE Number: 1750417
zbMATH Keywords: K-theory
zbMATH Keywords: morphic cohomology
zbMATH Keywords: Segre classes
zbMATH Keywords: motivic cohomology
reviewed by: Victor P. Snaith
MaRDI profile type: Publication
Recommended article: Q5718774
Recommended article: Q4278117
Recommended article: Q5386120
Recommended article: Techniques, computations, and conjectures for semi-topological \(K\)-theory
Recommended article: Q4427532
Recommended article: Semi-topological K-theory for certain projective varieties
Recommended article: On the \(K\) functor, and topological algebras
Recommended article: Topological and bivariant K-theory
Recommended article: Semi-topological \(K\)-homology and Thomason's theorem
Recommended article: On the Kunneth Formula and Functorial Dependence in Algebraic Topology
description: scientific article; zbMATH DE number 1750417